I like G-Dwarf's answer. (Not that Mike's is bad, either.) One of the most elementary hurdles I see with symbolic math is realizing that variables can have any value. I'm guessing you've tried to show her that, for fixed m and b, y and x can be any of many different pairs of values? (That's where I'd start.)