Two adults take a few children to the park. Tickets for adults are 5 yuan per person, and tickets for children are 3 yuan per person. The total cost of buying tickets is 22 yuan. How many children do these two adults bring?
两个大人带几个小孩去公园游玩，大人门票每人5元，小孩门票每人3元，买门票一共花了22元，则这两个大人带了多少个小孩．
<gadget id="calculator">2 * 5</gadget>
<output>10</output>

<gadget id="calculator">22 - 10</gadget>
<output>12</output>

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

<result>4</result>