[eru]

Something like 'f(x) = y + 3' can make perfect sense, depending on context.

For example, that could describe a constant function that doesn't depend on x, and y is a free variable that gets its value from context.

Or y could implicitly be a function of x. That happens a lot in calculus or physics.