A certain brand of TV is now on sale at a 15% discount, which is 600 yuan cheaper than the original price. How much is the original price?
某品牌的电视机，现在打八五折出售，比原价便宜600元，原价是多少元？
<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">600 / (3/20)</gadget>
<output>4_000</output>

<result>4_000</result>