Maurício tem 4 carrinhos a mais que seu primo Leonardo e os dois juntos têm a mesma quantidade de Felipe. Se Felipe tem o dobro da quantidade de Mateus, que tem 13 carrinhos. Quantos carrinhos Maurício tem?