Add diophantine eq