Polynomial equation for which integer (or rational) solutions are sought. Examples: linear ax+by=c, Pell x²−Dy²=1. Solvability often involves gcd and modular arithmetic.. This concept is typically introduced in College. Equations are mathematical statements showing that two expressions are equal.