When symbolic terms are involved, inequalities are not applied on them