Yes it's terribly buggy. Incorrect answers sometimes depending on release versions and solve gets stuck all the time. I tend to use Xcas/GIAC instead where I can. Also bundled on my calculator (HP Prime).
It's so bad that the university I "loosely associate" with have their own patched version to fix a load of problems with it.