Wangzhuang Coal Mine produces 2.5 million tons of coal this year, an increase of 25% over last year. How many tons of coal was produced last year?
王庄煤矿今年产煤250万吨，比去年增产25%．去年产煤多少万吨？
<gadget id="calculator">25 / 100</gadget>
<output>1/4 = around 0.25</output>

<gadget id="calculator">1 + (1/4)</gadget>
<output>5/4 = around 1.25</output>

<gadget id="calculator">250 / (5/4)</gadget>
<output>200</output>

<result>200</result>