What are the carriers of devices whose software platforms are not "Android"?
create table device (carrier varchar, software_platform varchar, PRIMARY KEY (carrier))
select carrier from device where software_platform <> 'android'