A batch of coal was shipped from a factory, and 12.5 tons of coal was used every day, which was used up in 8 days. If 10 tons of coal is used every day, how many days can it be used?
某厂运来一批煤，每天用煤12.5吨，8天用完．如果每天用煤10吨，可以多用几天？
<gadget id="calculator">8 / 10</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">12.5 * (4/5)</gadget>
<output>10</output>

<gadget id="calculator">10 - 8</gadget>
<output>2</output>

<result>2</result>