The price of a TV set has been reduced by 525 yuan after a 15% discount. What is the original price of this TV set?
一台电视机打八五折后降价了525元，这台电视机原价是多少元．
<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">525 / (3/20)</gadget>
<output>3_500</output>

<result>3_500</result>