A whale weighs 40 tons and an elephant weighs 5 tons. How many times is the weight of a whale an elephant?
一头鲸重40吨，一头大象重5吨，鲸的重量是大象的几倍？
<gadget id="calculator">40 / 5</gadget>
<output>8</output>

<result>8</result>