Support for multivariable inequalities

[Dev AM]

I can't find any way to solve y^2+x^2<1, there is a way to solve this or not? If not, it would be really interesting to have this function.

[Axel Kramer]

Please use the Github issue tracker to open a new issue if this issue shouldn't be closed Github issues