Miguel tem uma coleção de carrinhos composta por 8 carrinhos amarelos, 5 carrinhos brancos e 7 carrinhos verdes. Ele colocou todos esses carrinhos em sua mochila e foi até a casa de seu avô. Considerando que, ao chegar lá, Miguel retirou aleatoriamente um carrinho de sua mochila, a probabilidade de o carrinho retirado ser verde é de