Pošljite SMS: Síntesis de aritmética racional