I've become very confused whilst doing a few practice questions for a digital signal processing exam. Whilst a linear system can be defined as:
x_{1}[n] \rightarrow y_{1}[n]
x_{2}[n] \rightarrow y_{2}[n]
a.x_{1}[n] + b.x_{2} \rightarrow a.y_{1}[n] + b.y_{2}
The more I think about it the more I don't really get how any system won't be linear with those conditions. Maybe I'm just not thinking of the right systems.

Anyway, here are the four systems I have to analyse:
y[n] = n^{3}.x[n]
y[n] = x[n^{2}]
y[n] = x[n] . x[n]
y[n] = A.x[n] + B
As far as I can see all equations can fit into the linear proof, but this just doesn't seem to make sense. Can someone help out and give a worked example of one which is and one which isn't linear time invariant, as I can't seem to find anything of that sort in my notes or on the internet. Thanks.