Os operadores dos guindastes do Porto de Itaqui são todos igualmente eficientes. Em um único dia, seis desses operadores, cada um deles trabalhando durante 8 horas, carregam 12 navios.

Com referência a esses operadores, julgue o item seguinte.

Em um mesmo dia, 8 desses operadores, trabalhando durante 7 horas, carregam mais de 15 navios.