The naughty man used 25 tons of water in July, and saved water (1/10) in August compared with July. How many tons of water was used in August?
淘气家七月份用水25吨，八月份比七月份节约用水(1/10)，八月份用水多少吨？
<gadget id="calculator">1 / 10</gadget>
<output>1/10 = around 0.1</output>

<gadget id="calculator">25 * (1/10)</gadget>
<output>5/2 = around 2.5</output>

<gadget id="calculator">25 - (5/2)</gadget>
<output>45/2 = around 22.5</output>

<result>45/2 = around 22.5</result>