I was watching day 376 today and around 1:06:13 (

) Casey started search for an algebra solver. In the end, he tried a few but couldn't find one that seemed to work. I was wondering if anyone here uses a solver that works for them? In the stream he mentioned mathematica (which is fairly expensive) so I was wondering if there was a cheaper one out there? Or if mathematica is worth the price?

P.S. I would be using it for game development purposes and the ones Casey looked at were sagemath, YACAS and one other one that just looked awful. His reason for not using sage math was because it needed to use a virtual machine? So he never actually tried it.