No final de ano, duas repartições públicas resolveram fazer uma festa em conjunto, e a divisão das despesas seria proporcional ao número de pessoas de cada repartição. Na repartição XPTO havia 10 servidores, e na repartição OTPX havia 15 servidores. Se a despesa total da festa for de R$ 12 500,00, o valor, em reais, a ser pago pela repartição XPTO é de