List the names of buildings that have no company office.
CREATE TABLE companies (
    id number,
    name text,
    headquarters text,
    industry text,
    sales_billion number,
    profits_billion number,
    assets_billion number,
    market_value_billion text
)

CREATE TABLE office_locations (
    building_id number,
    company_id number,
    move_in_year number
)

CREATE TABLE buildings (
    id number,
    name text,
    city text,
    height number,
    stories number,
    status text
)
SELECT name FROM buildings WHERE NOT id IN (SELECT building_id FROM office_locations)
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: List the names of buildings that have no company office. ### Input: CREATE TABLE companies (
    id number,
    name text,
    headquarters text,
    industry text,
    sales_billion number,
    profits_billion number,
    assets_billion number,
    market_value_billion text
)

CREATE TABLE office_locations (
    building_id number,
    company_id number,
    move_in_year number
)

CREATE TABLE buildings (
    id number,
    name text,
    city text,
    height number,
    stories number,
    status text
) ### Response: SELECT name FROM buildings WHERE NOT id IN (SELECT building_id FROM office_locations)