[justzisguyuknow]

Some of them are licensed official tracks from the actual producers, but for the unofficial ones I think the karaoke companies have music writers who just encode synths to roughly match the track.