prompt: Harvey's started out with 25 steaks. Then he sold some, and only had 12 steaks left. He sold 4 more steaks, at 10 dollars. How many steaks did he sell in all?
messages.content: Harvey's started out with 25 steaks. Then he sold some, and only had 12 steaks left. He sold 4 more steaks, at 10 dollars. How many steaks did he sell in all?
messages.role: user
messages.content: Harvey sold 25-12 = <<25-12=13>>13 steaks at first.
  Harvey then sold more steaks for a total of 13+4 = <<13+4=17>>17 steaks.
  #### 17
messages.role: assistant