Quantifier Elimination for Statistical Problems