Just out of curiosity. Given any two expressions that use a variable $x$, can replacing the $x$ with, say, an $11$ and evaluating both expressions always prove that they're equal if the results for both are the same?
If no, how? If yes, can this be used when I need to formally prove if two expressions are equal despite it looking really silly?