12 tons of water was used in April, and the saving in May was 1/6 compared with that in April. How many tons of water was used in May?
四月份用水12吨，五月份比四月份节约(1/6)，五月份用水多少吨？
<gadget id="calculator">1 / 6</gadget>
<output>1/6 = around 0.166667</output>

<gadget id="calculator">1 - (1/6)</gadget>
<output>5/6 = around 0.833333</output>

<gadget id="calculator">12 * (5/6)</gadget>
<output>10</output>

<result>10</result>