All the levels are generated procedurally. The fixed ones, however, use - as you correctly guessed - a fixed seed, so that they repeat always identically (that is, other than for the background colors, which always change). That is necessary to makes scores comparable. (Side note: when the FIXED LEVELS option is off, the scores never make it to the hiscores chart.)