It is known that the product of two factors is 12.5, if one of the factors is 5, what is the other factor.
已知两个因数的积是12.5，如果其中一个因数是5，另一个因数是多少．
<gadget id="calculator">12.5 / 5</gadget>
<output>2.5</output>

<result>2.5</result>