Yang Lin's family used 12 tons of water in July, saving 3 tons compared with June. How much was the saving?
杨林家七月份用水12吨，比六月份节约了3吨，节约了多少．
<gadget id="calculator">12 + 3</gadget>
<output>15</output>

<gadget id="calculator">3 / 15</gadget>
<output>1/5 = around 0.2</output>

<result>1/5 = around 0.2</result>