Oi, faça uma pergunta sobre is 712  a rational number