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.
Giải hệ phương trình đòi hỏi cùng một cặp thứ tự phải thỏa mãn tất cả các hệ thức. Thế số hoặc cộng trừ đại số có thể tiết lộ một, không hoặc vô số nghiệm tuyến tính. Đối với bất phương trình, nhân hoặc chia với số âm sẽ đảo chiều bất đẳng thức. Đối với bất phương trình tam thức đã phân tích thành nhân tử, sắp xếp các nghiệm và kiểm tra dấu của từng khoảng, bao gồm cả điểm biên chỉ khi phép bằng được phép.
Hàm gán một giá trị đầu ra cho mỗi đầu vào cho phép. Evaluating (tính) hàm bên trong trước trong một tổ hợp, bảo toàn các ràng buộc miền xác định. Đọc hệ số góc như là sự thay đổi của đầu ra theo mỗi đơn vị đầu vào và đọc tung độ giao điểm là đầu ra tại đầu vào bằng 0 chỉ khi đầu vào đó có ý nghĩa. Mô hình bằng lời nên đặt tên cho các biến và giữ các đại lượng trong cùng đơn vị đo lường tương thích.
Đối với So sánh Định lượng, hãy bảo toàn tất cả các giá trị cho phép. Một biến với x²=4 có thể là −2 hoặc 2 nếu không bị ràng buộc. Một phản ví dụ có thể bác bỏ một mối quan hệ phổ quát; nhiều phép thế thuận lợi không thể chứng minh nó đúng với mọi giá trị thực. Cấu trúc đại số có thể thiết lập mối quan hệ mà không cần lấy mẫu số học toàn diện.