\(x\pmod 8 \equiv 2\\ x+8\pmod 8 \equiv 2\\ x+9\pmod 8 \equiv 3\)
Guest #2 is actually wrong. Note that x is an positive integer and 8 is also a positive integer. The remainder won't be a fraction.
This could be solved using modulus maths like Guest #1 and I did.