AIPS: An Olympiad-level AI System for  Algebraic Inequalities