Is Random Broken in iOS Playlists?

I have about 2,000 songs rotating on and off my phone out of my iTunes library on my desktop Mac. If I use iTunes to make a random list of 25 jazz tunes which haven't played in, say, a week, it looks fine in iTunes. But when I launch Music on my phone, instead of a random list, iOS is selecting songs alphabetically by artist.

Yes, I have "selected by random" checked off in iTunes.

Can anyone help?