You can try with solve or solve_ineq, see http://doc.sagemath.org/html/en/reference/calculus/sage/symbolic/relation.html