Problem: a constructor estimates that 8 people can paint mr khans house in 3 days . if he uses 4 people instead of 8 , how long will they take to complete the job ?
Rationale: "explanation : use formula for a work members ã — days = constant 8 ã — 3 = 4 ã — a a = 6 so answer is 6 days answer : a"
annotated_formula: divide(const_1, multiply(divide(const_1, multiply(const_4.0, 8)), 3))