Escreva restrições antes de manipular uma equação. O denominador deve ser diferente de zero; uma raiz par real exige argumento não negativo. Cancelar fatores preserva a expressão apenas no seu domínio original. Elevar ao quadrado pode introduzir candidatos porque o quadrado perde informação de sinal; verifique cada candidato na relação sem elevar ao quadrado.
Resolver um sistema exige que o mesmo par ordenado satisfaça todas as relações. Substituição ou eliminação podem revelar uma, nenhuma ou infinitas soluções lineares. Para uma inequação, multiplicar ou dividir por um número negativo inverte o sentido. Para uma inequação quadrática fatorada, ordene as raízes e teste os sinais dos intervalos, incluindo os pontos finais apenas quando a igualdade for permitida.
Uma função atribui uma saída para cada entrada permitida. Avalie a função interna primeiro em uma composição, preservando restrições de domínio. Interprete a inclinação como variação da saída por unidade de entrada e o intercepto como a saída na entrada zero apenas quando essa entrada for significativa. Um modelo verbal deve nomear variáveis e manter quantidades em unidades compatíveis.
Para Comparação Quantitativa, preserve todos os valores permitidos. Uma variável com x²=4 poderia ser −2 ou 2, a menos que seja restrita. Um único contraexemplo rejeita uma relação universal; várias substituições favoráveis não a provam para todo valor real. A estrutura algébrica pode estabelecer uma relação sem amostragem numérica exaustiva.
