CREATE TABLE shop (shop_id DECIMAL, shop_name TEXT, location TEXT, open_date TEXT, open_year DECIMAL)
CREATE TABLE device (device_id DECIMAL, device TEXT, carrier TEXT, package_version TEXT, applications TEXT, software_platform TEXT)
CREATE TABLE stock (shop_id DECIMAL, device_id DECIMAL, quantity DECIMAL)

What are the carriers of devices whose software platforms are not 'Android'?
SELECT carrier FROM device WHERE software_platform <> 'Android'
SELECT "carrier" FROM "device" WHERE "software_platform" <> 'Android'