What is the difference between 25.7 minus the product of 12.5 and 0.8?
25.7减去12.5与0.8的积，差是多少？
<gadget id="calculator">12.5 * 0.8</gadget>
<output>10</output>

<gadget id="calculator">25.7 - 10</gadget>
<output>15.7</output>

<result>15.7</result>