Problem: mary sold boxes of butter cookies . ann sold 5 times as much as she did . 18 boxes of cookies were sold that day , how many boxes did mary sell ?
Rationale: # of boxes of cookies mary sold = x ann sold 5 times more = 5 x x + 5 x = 18 6 x = 18 x = 18 / 6 = 3 answer : a
annotated_formula: divide(18, add(5, const_1))