Problem: a man ' s regular pay is $ 3 per hour up to 40 hours . overtime is twice the payment for regular time . if he was paid $ 174 , how many hours overtime did he work ?
Rationale: "at $ 3 per hour up to 40 hours , regular pay = $ 3 x 40 = $ 120 if total pay = $ 168 , overtime pay = $ 174 - $ 120 = $ 54 overtime rate ( twice regular ) = 2 x $ 3 = $ 6 per hour = > number of overtime hours = $ 54 / $ 6 = 9 ans is c"
annotated_formula: divide(subtract(174, multiply(3, 40)), multiply(3, const_2))