CREATE TABLE companies (id DECIMAL, name TEXT, headquarters TEXT, industry TEXT, sales_billion DECIMAL, profits_billion DECIMAL, assets_billion DECIMAL, market_value_billion TEXT)
CREATE TABLE office_locations (building_id DECIMAL, company_id DECIMAL, move_in_year DECIMAL)
CREATE TABLE buildings (id DECIMAL, name TEXT, city TEXT, height DECIMAL, stories DECIMAL, status TEXT)

Which buildings do not have any company office? Give me the building names.
SELECT name FROM buildings WHERE NOT id IN (SELECT building_id FROM office_locations)
SELECT "name" FROM "buildings" WHERE NOT "id" IN (SELECT "building_id" FROM "office_locations")