There are 25 male workers and 20 female workers in a workshop. If 15 new male workers are recruited, how many new female workers should be recruited to keep the ratio of male and female workers constant?
某车间有男工25人，女工20人，如果新招男工15人，要使男、女工人数的比不变，应新招女工多少人？
<gadget id="calculator">25 / 20</gadget>
<output>5/4 = around 1.25</output>

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

<gadget id="calculator">15 - 25</gadget>
<output>-10</output>

<gadget id="calculator">25 + (-10)</gadget>
<output>15</output>

<gadget id="calculator">15 / (5/4)</gadget>
<output>12</output>

<result>12</result>