You can easily make diophantine work with Eq().