Em Python, uma variável pode receber valores de tipos diferentes sem declaração de tipo?

Resposta

Verdadeiro.

Explicação:
Variáveis são nomes ligados a objetos e podem ser reatribuídas a objetos de tipos diferentes.
Isso caracteriza a tipagem dinâmica, sem necessidade de declaração estática de tipos em tempo de execução.

Há anotações de tipo usadas por ferramentas estáticas, mas o intérprete não as impõe em execução.
Todo objeto possui tipo, determinável por type(), que define operações válidas.