There are 215 comic books and popular science books in the school library. The number of comic books is 4 times that of popular science books. How many comic books are there?
学校图书馆共有连环画和科普书215本，连环画的本数是科普书的4倍，连环画有多少本．
<gadget id="calculator">4 + 1</gadget>
<output>5</output>

<gadget id="calculator">215 / 5</gadget>
<output>43</output>

<gadget id="calculator">43 * 4</gadget>
<output>172</output>

<result>172</result>