Redirect to https://devhubby.com/thread/how-to-use-inequalities-in-julia-with-sympy?