This fact motivates an extension of the SMT problem to non-linear theories, such as determining whether the following equation is satisfiable:
This fact suggests extending the SMT problem to handle non-linear equations, such as assessing the satisfiability of the following equation: