Actually, yes. The rules for manipulating 'expressions' with 'variables' in school algebra describe what are called "free objects" over some set of "generators". The whole setting generalizes pretty well.