Solving Diophantine Problems