Add interactive Mathematica solver