Add to both sides of an equation:

Add the corresponding sides of two equations:

Add the number to both sides of an inequality:

Add to each side of an equation with three expressions:

Combine an equation and an inequation:

Combine an equation and an inequality:

Add to each part of a generalized inequality:

Add to several inequalities expressed using Piecewise:

Add to an equation inside ConditionalExpression:

Derive the quadratic formula:

Multiply both sides by :

Add to both sides:

Factor the left-hand side:

Take the positive square root of both sides:

Cancel the square root of the square:

Add to both sides:

Divide both sides by to obtain the quadratic formula for with positive square root:

True and False are considered trivial equations:

AddSides transforms equations to equivalent equations:

Solve gives values for the variables that make the equation true:

Reduce can be used to rewrite an equation in the form var==value:

Simplify includes the functionality of AddSides:

AddSides[eq,x] is the inverse of SubtractSides[eq,x]: