solve_univariate_inequality is denominator-aware