Tulis batasan sebelum memanipulasi persamaan. Penyebut harus berbeda dari nol; akar genap real memerlukan argumen nonnegatif. Mencoret faktor hanya mempertahankan ekspresi pada domain aslinya. Pengkuadratan dapat memperkenalkan kandidat karena kuadrat menghilangkan informasi tanda; verifikasi setiap kandidat dalam relasi tak-dikuadratkan.
Menyelesaikan sistem membutuhkan pasangan berurutan yang sama untuk memenuhi semua relasi. Substitusi atau eliminasi dapat mengungkapkan satu, tidak ada, atau tak hingga banyak solusi linear. Untuk ketaksamaan, perkalian atau pembagian dengan bilangan negatif membalikkan arah. Untuk ketaksamaan kuadrat terfaktor, urutkan akar dan uji tanda interval, termasuk titik akhir hanya jika kesamaan diperbolehkan.
Fungsi menetapkan satu output untuk setiap input yang diizinkan. Evaluasi fungsi dalam terlebih dahulu dalam komposisi, pertahankan batasan domain. Baca kemiringan sebagai perubahan output per unit input dan intersep sebagai output pada input nol hanya ketika input tersebut bermakna. Model verbal harus menamai variabel dan menjaga kuantitas dalam satuan yang kompatibel.
Untuk Perbandingan Kuantitatif, pertahankan semua nilai yang diizinkan. Variabel dengan x²=4 bisa −2 atau 2 kecuali dibatasi. Satu contoh penyangkal dapat menolak hubungan universal; beberapa substitusi menguntungkan tidak dapat membuktikannya untuk setiap nilai real. Struktur aljabar dapat menetapkan hubungan tanpa pengambilan sampel numerik menyeluruh.