Carlos poderá aposentar-se quando a soma de sua idade com o número de anos que ele trabalhou for 100. Quando Carlos fez 41 anos, ele já havia trabalhado 15 anos. Qual é a idade mínima que ele deverá ter para poder se aposentar?