The original price of a washing machine is 800 yuan, and the store sells it at a 25% discount during the National Day. How much is it cheaper?
一台洗衣机的原价是800元，国庆期间商店打七五折出售，便宜了多少钱？
<gadget id="calculator">75 / 100</gadget>
<output>3/4 = around 0.75</output>

<gadget id="calculator">1 - (3/4)</gadget>
<output>1/4 = around 0.25</output>

<gadget id="calculator">800 * (1/4)</gadget>
<output>200</output>

<result>200</result>