Problem: the sum of ages of 5 children born 3 years different each is 65 yrs . what is the age of the elder child ?
Rationale: "let the ages of children be x , ( x + 3 ) , ( x + 6 ) , ( x + 9 ) and ( x + 12 ) years . then , x + ( x + 3 ) + ( x + 6 ) + ( x + 9 ) + ( x + 12 ) = 65 5 x = 35 x = 7 . x + 12 = 7 + 12 = 19 b"
annotated_formula: divide(add(add(add(add(const_2.0, const_4), add(3, const_4)), add(const_4, const_4)), 65), 5)