<human>:  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?
<bot>: How many steaks did Harvey sell at first? ** Harvey sold 25-12 = <<25-12=13>>13 steaks at first.
How many steaks did he sell in all? ** Harvey then sold more steaks for a total of 13+4 = <<13+4=17>>17 steaks.
#### 17