The Wolfram Language's symbolic architecture allows it to represent any equation as a symbolic expression that can be manipulated using any of the Wolfram Language's powerful collection of symbolic operations.

Reduce — general algebraic reduction of equations, inequalities, etc.

Simplify — simplify each side of an equation

Series — series expand each side of an equation

N — evaluate each side of an equation numerically

AddSides — add to both sides of an equation or inequality

SubtractSides  ▪  MultiplySides  ▪  DivideSides  ▪  ApplySides

LogicalExpand — expand out logical combinations of equations

Thread — convert {a,b}=={u,v} to {a==u,b==v}

CoefficientArrays — convert equations to matrices

ReplaceAll (/.) — substitute equation solutions into any expression