If we simply check for `Poly`, things like `diophantine(x)` or `diophantine(x+y)` won't work.

    In [8]: isinstance(x+y, sympy.polys.polytools.Poly)
    Out[8]: False

User will always has to call `diophantine` with a `Poly` object.