Problem: there are two positive numbers in the ratio 5 : 8 . if the larger number exceeds the smaller by 15 , then find the smaller number ?
Rationale: "let the two positive numbers be 5 x and 8 x respectively . 8 x - 5 x = 15 3 x = 15 = > x = 5 = > smaller number = 5 x = 25 . answer : a"
annotated_formula: divide(multiply(15, 5), const_4)