so.. the left-hand-side does indeed simplify to x+7, so the equation does check out.
however, notice something, for the equation of x+7, when x = 6, we get (6) + 7 which is 13.
BUT for the rational, we get
so, even though the siimplification is correct, the rational or original expression is constrained in its domain.