In general, it is not clear https://mathoverflow.net/questions/410297 in integers. In this question, let us assume that an equation $$ P(x_1,\dots,x_n)=0 $$ is solved if we have proved that its integer solution set $S \subset {\mathbb Z}^n$ can be represented as the finite union $S=S_1 \cup \dots \cup S_m$, where each $S_i$ is either a polynomial family or a family defined by recurrence relations. Here, $S \subset {\mathbb Z}^n$ is a polynomial family if there exists polynomials $P_1,\dots,P_n$ in some variables $u_1,\dots,u_k$ and integer coefficients such that $(x_1,\dots,x_n) \in S$ if and only if there exists integers $u_1,\dots,u_k$ such that $x_i=P_i(u_1,\dots,u_k)$ for $i=1,\dots,n$. Following Zidane https://mathoverflow.net/questions/316708/ , let us define size $H$ of the equation $P=0$ as a result of substitution 2 instead of all variables, absolute values instead of all coefficients, and evaluating. All equations with $H \leq 8$ are easy to solve. However, simple-looking equation $xy-zt=1$ with $H=9$ has been open for decades. In 2010, Vaserstein https://annals.math.princeton.edu/wp-content/uploads/annals-v171-n2-p07-s.pdf proved that * The solution set to $xy-zt=1$ is a polynomial family with $46$ parameters. As a corollary of this, Vaserstein solved the following families of equations * $xy-zt=D$ for any integer $D$; * $yz=x^2+D$ for any integer $D$; * $x_1x_2+x_3x_4+Q(x_5,\dots,x_n)=D$ for quadratic form $Q$ and integer $D$. In addition, the following equations/families has been solved: * Equations in the form $dyz=ax^2+bx+c$ for integers $a,b,c,d$ has been solved in the answer to question https://mathoverflow.net/questions/412451/ * All equations with $H \leq 12$. I was also able to solve all equations with $H=13$ except of the following ones. $$ x^3 + 1 = yz $$ $$ x^2y=z^2 \pm 1 $$ $$ x^2y=tz+1 $$ $$ x^2 \pm y^2 \pm 1 = zt $$ $$ x^2 \pm 1 = yzt $$ $$ x_1x_2x_3+x_4x_5=1 $$ For each of the listed equations, the **question** is to find all integer solutions. Specifically, check whether the set of all integer solutions is a finite union of polynomial families and/or families defined by recurrence relations. You do not need to write the resulting families explicitly, because, as example $xy-zt=1$ indicates, they may be quite complicated. See here https://mathoverflow.net/questions/400714 for a version of this question where we only want to check whether any integer solution exists, and here https://mathoverflow.net/questions/411958 for a version where we also check whether the solution set is finite or infinite (and find all solutions if there are finitely many).