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
LogicalExpand — expand out logical combinations of equations
Thread — convert to
CoefficientArrays — convert equations to matrices