Title: Reverse Engineering of Algebraic Inequalities