Proving Non-negativity of Quadratic Inequalities for All x | Problems