Mathematica has a powerful symbolic engine

Variables can take on values or expressions and Mathematica can handle both

Expressions can be tricky

Functions are also tricky

Transformation rules keeps your expressions symbolic