Mauro e Carlos trabalham na mesma empresa. Certo dia, Mauro saiu de casa para o trabalho às 7h 20min, enquanto que Carlos, que mora mais perto, saiu de casa 15 minutos mais tarde. Quando Mauro chegou na empresa, às 8h 15min, Carlos já estava lá há 7 minutos. Nesse dia, quantos minutos Carlos levou para ir de casa até o trabalho?