Calculate when you want an answer. Solve algebraically when you seek patterns.
If the problem was "show that for any two points, you can find a third point along the y-axis that is collinear with them," then symbolic logic is the right way to go. But if you have the points, just plugging them in simplifies the problem dramatically and makes it easier to visualize by drawing a picture. Drawing a picture of the generic case is hard.
Doing calculations opens up the door to simplifications that may not have been there in the symbolic algebra. There may be some very ugly $ab^2\ln(\sin c)$ term that causes so much ugliness, but was really nothing more than a combination of constants that equals 2. There may be shortcuts here. Sometimes the numbers provide very clean relationships, such as when two numbers turn out to be pretty much a multiple of 2 pi from each other. You can leverage symmetries that only appear in the special cases.
There may also be shortcuts because you can avoid pathological cases which make the math monsterous. If you'll note, in my first paragraph, I suggested somethign to show which was false. I didn't include any wording to account for there being a vertical line between the two points that never crossed the y axis. Nor did I consider the case where both points are on the y axis, such that every third point qualified.
You have to be careful. Consider this famous "proof":
- let a and b be equal nonzero values: $a = b$
- multiply by a: $a^2 = ab$
- subtract $b^2$: $a^2 - b^2 = ab - b^2$
- factor: $(a + b)(a - b) = b(a - b)$
- divide by $a-b$: $a + b = b$
- Substitute b for a, as they are equal: $b + b = b$
- Combine: $2b = b$
- Divide by b: $2 = 1$ QED
This is a rather famous false proof. One has to remember that division by $a-b$ is only defined if $a-b$ is nonzero, and in this construction $a-b$ is always zero. If we used numbers:
- Let a and b both equal 3: $3 = 3$
- Multiply by a (which is 3): $9 = 9$
- subtract $b^2$ (which is 9): $0 = 0$
- factoring is a bit irrelevant with the individual numbers
- Divide by $a - b$ (which is 0): $\frac{0}{0}=\frac{0}{0}$
Wow, we found that problem fast!
The way we do math has changed over the years, due to the quantity of data that is available and the amount of processing power we have available. The focus has indeed drifted away from the symbolic manipulation. That mirrors the way everybody does math in real life these days, with calculators literally a tap away.
Myself, I'm not a physicist. I'm an engineer. We'll take the symbolic logic just far enough, and then plug it into a simulation. Why? You really don't want to try to solve some of our equations these days by hand. In fact, most interesting ones are recognized to not have a closed form solution.
The approach I advocate today is to bring in symbology when you want to use it as a shortcut. For example, consider the finding of roots of quadratic equations. Teach students to complete the square, with numbers. Teach them to do this over and over. When they get tired of it, then you point out that you can put on your symbolic algebra hat, sharpen your pencil (no mistakes!), and prove that you can solve these problems by deriving the quadratic equation once and then merely plugging in values from there!
More than once, while Engineering, I relied on symbolic manipulation to show that some pathological case we were spending lots of money on can never possibly occur because the math shows it can never occur. I did that because it was the shortcut.
This approach is consistent with a story I was told from how they did apprenticeships in German machine shops. Obviously the Germans are known worldwide for their precise machining with powerful tools that drive tolerances as close to 0 as one can get. When an apprentice is brought into one of these shops, they are handed a length of square bar stock. They are handed a file and told "make it circular." And the plug away at the problem, learning how to make a circle. Then they are invited to learn what circular really means, showing them the ridiculous tolerances one may have, and hand techniques that can be done to make them circular. Then, once they have a circular bar that passes standards, they are told to make it square. And they file away for a bit, before they are taught what square really means. Only then are they introduced to the lathe and the mill, which are machine tools designed to solve circularness and squareness for all sorts of circumstances.