Question 147726
*[invoke substitution "2x+4=8+x", "x", 4 ]

The solver above shows that zero equals zero, but this is what you were looking for. So, x = 4 is a solution to the equation "2x+4 = 8 + x".