Simple linear equations
All of these have solutions of the usual kind. Solving any kind of equation with one variable consists of transforming the right side of the main equivalence ("=="). Each of the ones in this set has a single solution, so the right side will have the form x = . . . , where x is the equation’s variable.
Pressing “Clear work” removes all but the problem statement, and “Solve” generates a pre-made solution. You can still edit the proof after that.