José e Maria são dois funcionários públicos em um mesmo município que iniciaram suas atividades no dia 2 de
janeiro, porém em anos distintos. Sabe-se que, há exatos
3 anos, o tempo de serviço público de Maria nesse município correspondia ao dobro do tempo de serviço público
de José, nesse mesmo município. Se hoje, somando-se
os tempos de serviço público desses dois servidores,
têm-se 12 anos, no dia 2 de janeiro de 2020, Maria completará de tempo de serviço público nesse município