O transporte de urnas eletrônicas para locais de difícil acesso, como é o caso do estado do Amazonas, exige um estudo de viabilidade de rotas. Considere que, na figura acima, que ilustra o mapa do estado do Amazonas, tenha sido inserido um sistema de eixos cartesianos xOy, com origem na cidade de Canutama. Considere também as coordenadas das seguintes cidades: Canutama = (0, 0), Manaus = (6, 6), Humaitá = (2, -1), Envira = (-7, -2), Manicoré = (5, 1), Taraquá = (-6, 9). A partir dessas informações, julgue o item a seguir.

A cidade de Taraquá está no interior do círculo descrito pela equação x² + y² + 6x - 6y - 31 = 0.