A TV set used to cost 10,000 yuan each, but now it is 25% cheaper than before. How much is it now?
一种电视机，原来每台10000元，现在比原来便宜25%，现在多少元？
<gadget id="calculator">25 / 100</gadget>
<output>1/4 = around 0.25</output>

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

<gadget id="calculator">10_000 * (3/4)</gadget>
<output>7_500</output>

<result>7_500</result>