Although Diophantine equations provide classic examples of undecidability, Mathematica
in practice succeeds in solving a remarkably wide range of such equations—automatically applying dozens of often original methods, many based on the latest advances in number theory.
find particular solutions to Diophantine equations
general reduction of Diophantine equations and inequalities
solve Frobenius equations
solve simultaneous linear congruences