A média dos salários de 500 funcionários de uma empresa
é igual a R$ 2.800,00. Para 12% dos funcionários homens
foi dado, a cada um, aumento de R$ 200,00, e a soma
dos aumentos dados para as mulheres foi R$ 8.500,00,
de maneira que a média dos salários dos 500 funcionários
passou a ser R$ 2.831,40. O número de mulheres nessa
empresa é