Two ropes with a length of 20 meters and 14 meters respectively, after using up the same section, the remaining length of the short one is (1/4) of the remaining length of the long one, how many meters is the length of the used part of the rope?
两根分别长20米和14米的绳子，都用去同样的一段后，短的那根剩余长度是长的那根剩余长度的(1/4)，绳子用去部分长多少米．
<gadget id="calculator">1 / 4</gadget>
<output>1/4 = around 0.25</output>

<gadget id="calculator">20 * (1/4)</gadget>
<output>5</output>

<gadget id="calculator">14 - 5</gadget>
<output>9</output>

<gadget id="calculator">1 - (1/4)</gadget>
<output>3/4 = around 0.75</output>

<gadget id="calculator">9 / (3/4)</gadget>
<output>12</output>

<result>12</result>