O dobro da idade de João é igual a 40 qual é idade de João