Problem: one - third less than 25 % of 180 is equal to :
Rationale: "lots of ways to tackle this . 25 % of 180 = 45 1 / 3 of 45 = 15 so , 1 / 3 less than 45 is equal to 45 - 15 = 30 answer : b"
annotated_formula: subtract(multiply(divide(25, const_100), 180), multiply(divide(const_1, const_3), multiply(divide(25, const_100), 180)))