We study conjugacy classes of solutions to systems of equations and
inequations over torsion-free hyperbolic groups, and describe an algorithm to
recognize whether or not there are finitely many conjugacy classes of solutions
to such a system. The class of immutable subgroups of hyperbolic groups is
introduced, which is fundamental to the study of equations in this context. We
apply our results to enumerate the immutable subgroups of a torsion-free
hyperbolic group.