Below is an instruction that describes a task, paired with an input that provides further context. Write a response that appropriately completes the request.

### Instruction:

Convert text to sql: Which buildings do not have any company office? Give me the building names. | buildings : id , name , city , height , stories , status | companies : id , name , headquarters , industry , sales_billion , profits_billion , assets_billion , market_value_billion | office_locations : building_id , company_id , move_in_year | office_locations.company_id = companies.id | office_locations.building_id = buildings.id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select name from buildings where id not in ( select building_id from office_locations )