Solve only returns solutions that have been checked, but if it can't decide
it returns the solution. But if it can't decide, I doubt that a simple
simplify is going to do it either. In any case, why is this test here? It
gives 3 unique solutions in master (which is not what this issue 4129 is
about). AFAICT, only the first test is needed. If a test doesn't add
coverage to the suite, it doesn't belong there.

Note, too, that the solution should be written as [-Rational(3, 2), S.Half]
for the first test (and similarily for the other if it is indeed needed).