Problem: in the set of positive integers from 1 to 100 , what is the sum of all the odd multiples of 5 ?
Rationale: "reduce 1 - 100 5 - 15 - 25 - 35 - 45 - - 55 - - 65 - - 75 - - 85 - - 95 are valid multiples . add them - - > 500 e"
annotated_formula: divide(multiply(100, multiply(const_3, 5)), 5)