A comissão de formatura do curso de Matemática de uma faculdade fará um churrasco para arrecadar dinheiro, que será utilizado na realização da festa de formatura. O líder da comissão ficou encarregado de comprar a carne do churrasco, e a comissão lhe informou que todos os 40 convites haviam sido vendidos. Ele, então, fez uma estimativa de que cada mulher comerá, em média, 0,3 kg de carne e que cada homem comerá, em média, 0,5 kg de carne; assim, ele comprou 15 kg de carne para o churrasco. A quantidade de homens na lista de convidados da comissão de formatura é igual a