Telefona gönder: Síntesis de aritmética racional