I'd be lost without computer algebra systems, but the fact that I can often solve equations they can't just because I know what the equations mean drives home just how far these programs remain from being able to solve every problem that (in some sense) “ought” to be easy.