Bug in Symbolic Solver
This thread was broken off of this original topic thread.
BTW, does anyone know, why Primes symbolic can't solve this simple system of equations?
The new symbolic in Prime 6 claims that no solution was found and the legacy one (muPad) runs quite long and then we see

A similar useless result in MC15 which uses MuPad, too.
The system can be easily solved by hand and we get

Guess MC11 with Maple under the hood for symbolic does not show that problem of not being able to solve this system.

