Quatro agentes penitenciários fizeram um determinado número total de horas extras no último mês. Sabe-se que Luís fez 1/5 desse total, que Mário fez o triplo de Luís, que João fez 1/3 do que Luís fez e que Otávio fez 5 horas extras. Pode-se concluir, então, que o número de horas extras que Mário fez nesse mês foi