Write restrictions before manipulating an equation. A denominator must be nonzero; a real even root needs a nonnegative argument. Cancelling factors preserves the expression only on its original domain. Squaring can introduce candidates because a square loses sign information; verify every candidate in the unsquared relation.
Solving a system requires the same ordered pair to satisfy all relations. Substitution or elimination can expose one, no or infinitely many linear solutions. For an inequality, multiplication or division by a negative reverses direction. For a factored quadratic inequality, order roots and test interval signs, including endpoints only when equality is allowed.
A function assigns one output to each permitted input. Evaluate the inner function first in a composition, preserving domain restrictions. Read a slope as change in output per input unit and an intercept as the output at input zero only when that input is meaningful. A verbal model should name variables and keep quantities in compatible units.
For Quantitative Comparison, preserve all allowed values. A variable with x²=4 could be −2 or 2 unless constrained. One counterexample can reject a universal relationship; several favourable substitutions cannot prove it for every real value. Algebraic structure can establish a relationship without exhaustive numerical sampling.