For a lot of explanations for why something is an inverse function, my textbook will say

"For each value of x only one value of y can be calculated, therefore, the inverse is a function"

But how can you tell that

y=(x+4)/3

only has one value of y for every value of x without testing it out a million times?