There are 45 red and green pencils in total. The number of red pencils is 4 times that of green pencils. How many green pencils are there?
一共有红、绿两种铅笔45支，红铅笔是绿铅笔的4倍，绿铅笔有多少支．
<gadget id="calculator">4 + 1</gadget>
<output>5</output>

<gadget id="calculator">45 / 5</gadget>
<output>9</output>

<result>9</result>