Made for learning the substitution idea slowly and safely.
Every problem is checked by a validator: x and y are always whole numbers bigger than zero.