Resolver uma equação é encontrar todos os valores permitidos que transformam a sentença em uma afirmação verdadeira. Substituir o resultado verifica a solução.
Para x+5=12, x=7 é solução porque 7+5=12.
Uma equação pode ter uma solução, várias, nenhuma ou infinitas, dependendo de sua estrutura e do conjunto considerado.
Uma manipulação pode introduzir ou perder soluções; por isso verificar não é opcional em problemas mais avançados.