Question 841192
*[invoke linear_equation_solver "6n-12=n+3", "n"]