Add diophantine equations