MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers