Here's a demo of an interactive equation solver for sympy/Python:

https://youtu.be/O837G7cj5fE?si=6YjfNFviozCLSYut

The example is a simple kinematics exercise from a college physics text.

I'd be curious to know if there are any other systems like this.

Code is in a branch here:

https://github.com/dharmatech/combine-equations.py/tree/eq-g...