Problem: 12 men work 8 hours per day to complete the work in 10 days . to complete the same work in 8 days , working 10 hours a day , the number of men required ?
Rationale: "that is , 1 work done = 12 × 8 × 10 then , 12 8 × 10 = ? × 10 × 8 ? ( i . e . no . of men required ) = 12 × 8 × 10 / 10 × 8 = 12 days b )"
annotated_formula: divide(multiply(multiply(12, 10), 8), multiply(8, 10))