Записывать ограничения перед преобразованием уравнения. Знаменатель не должен быть равен нулю; вещественный корень четной степени требует неотрицательного подкоренного выражения. Сокращение множителей сохраняет выражение только на его исходной области определения. Возведение в квадрат может дать ложные кандидаты, так как квадрат теряет информацию о знаке; необходимо проверить каждого кандидата в исходном (не возведенном в квадрат) соотношении.
Решение системы требует, чтобы одна и та же упорядоченная пара удовлетворяла всем соотношениям. Метод подстановки или сложения может выявить одно, ни одного или бесконечно много линейных решений. Для неравенства умножение или деление на отрицательное число меняет знак неравенства. Для факторизованного квадратного неравенства упорядочьте корни и проверьте знаки на интервалах, включая концевые точки только если допустимо равенство.
Функция ставит в соответствие одному входному значению один выход. При вычислении композиции сначала применяйте внутреннюю функцию, соблюдая ограничения области определения. Наклон (slope) читается как изменение выхода на единицу входа, а пересечение (intercept) — как выход при нулевом входе, но только если этот вход имеет смысл. Вербальная модель должна называть переменные и сохранять величины в совместимых единицах измерения.
Для задания сравнения количественных величин сохраните все допустимые значения. Переменная, для которой x²=4, может быть равна −2 или 2, если нет ограничений. Один контрпример может опровергнуть универсальную зависимость; несколько благоприятных подстановок не могут доказать её для каждого действительного числа. Алгебраическая структура может установить зависимость без исчерпывающей числовой проверки.