Shared note

Solving ax + b = c in two moves, extending the same moves to simple inequalities, the flip-the-sign rule, and checking a solution by substitution.