Problem: in a weight - lifting competition , the total weight of joe ' s two lifts was 450 pounds . if twice the weight of his first lift was 300 pounds more than the weight of his second lift , what was the weight , in pounds , of his first lift ?
Rationale: "this problem is a general word translation . we first define variables and then set up equations . we can define the following variables : f = the weight of the first lift s = the weight of the second lift we are given that the total weight of joe ' s two lifts was 450 pounds . we sum the two variables to obtain : f + s = 450 we are also given that twice the weight of his first lift was 300 pounds more than the weight of his second lift . we express this as : 2 f = 300 + s 2 f – 300 = s we can now plug in ( 2 f – 300 ) for s into the first equation , so we have : f + 2 f – 300 = 450 3 f = 750 f = 250 answer is a ."
annotated_formula: divide(add(450, 300), const_3)