a mathematical expression that includes at least one variable