Question 6635
*[invoke explain_simplification "3s + (-1/2)(6 + 24(-1/3 + 1/4*s))"]