The weight of a whale is 12 tons more than 37.5 times the weight of an elephant. It is known that the weight of a whale is 162 tons. How many tons does an elephant weigh?
一只鲸的体重比一只大象体重的37.5倍还多12吨．已知鲸的体重是162吨，大象的体重是多少吨？
<gadget id="calculator">162 - 12</gadget>
<output>150</output>

<gadget id="calculator">150 / 37.5</gadget>
<output>4</output>

<result>4</result>