Solve linear equations and inequalities, manipulate formulas, represent solution sets, and check for equivalent or invalid steps.