Ответ:

Пусть девочек было x, тогда мальчиков — 2x.

x + 2x = 1200, значит, 3x = 1200 и x = 400.

Мальчиков: 2 · 400 = 800.

Ответ: 800 мальчиков.