CAS: solve without simplify fails

[parisse]

Normally you don't need to simplify before solving. But here there is special code to solve linear equations a*x+b=0 and it does not contain simplification for a, I will improve that. Never seen this before, because nobody ever tried to solve 0=0 with that kind of input.