Equation and inequality solvers walk through every step — distribute, combine, isolate, factor, square, take logs, check domains — and explain why each move is legal. Sequence explorers open four modes onto the same sequence: list, range, membership test, and direct lookup, with parametric variants for arithmetic and geometric.