Add Diophantine equation.