Problem: a work which could be finished in 7 days was finished 3 days earlier after 10 more men joined . the number of men employed was ?
Rationale: "x - - - - - - - 7 ( x + 10 ) - - - - 6 x * 7 = ( x + 10 ) 6 x = 60 \ answer : c"
annotated_formula: divide(multiply(multiply(3, const_2), 10), subtract(7, multiply(3, const_2)))