Solving difference equations in sequences: Universality and Undecidability