Problem: four machines , each working at the same constant rate , together can complete a certain job in 12 days . how many additional machines , each working at the same constant rate , will be needed to complete the job in 8 days ?
Rationale: "another solution which is faster is since each machine works at a constant rate . the time needs to bought down from 12 to 8 . so the new time is 2 / 3 of the original time . thus to achieve this we need the rate to be 3 / 2 of original . so 3 / 2 * 4 = 6 so we need 6 - 4 = 2 more machines . answer : a"
annotated_formula: subtract(divide(multiply(12, add(const_4, const_1)), 8), add(const_4, const_1))