Issue694 Add tests from "Review of CAS mathematical capabilities", by Michael Wester

I added several tests to the sympy/core/tests/test_wester.py in agreement with the requirements of Issue 694 (Add tests from "Review of CAS mathematical capabilities", by Michael Wester)