The original price of a video recorder was 2,000 yuan, and Dad bought it at a 15% discount. How much money did he save?
一台录像机原价2000元，爸爸按八五折购买，节省了多少钱？
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">1 - (17/20)</gadget>
<output>3/20 = around 0.15</output>

<gadget id="calculator">2_000 * (3/20)</gadget>
<output>300</output>

<result>300</result>