richardr1126/spider-context-instruct huggingface dataset:
### Instruction:

Convert text to sql: How many customers have email that contains "gmail.com"? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select count ( * ) from customer where email like '%gmail.com%'

### Instruction:

Convert text to sql: Count the number of customers that have an email containing "gmail.com". | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select count ( * ) from customer where email like '%gmail.com%'
### Instruction:

Convert text to sql: What is the first name and last name employee helps the customer with first name Leonie? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select employee.firstname , employee.lastname from customer join employee on customer.supportrepid = employee.employeeid where customer.firstname = 'Leonie'

### Instruction:

Convert text to sql: Find the full names of employees who help customers with the first name Leonie. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select employee.firstname , employee.lastname from customer join employee on customer.supportrepid = employee.employeeid where customer.firstname = 'Leonie'
### Instruction:

Convert text to sql: What city does the employee who helps the customer with postal code 70174 live in? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select employee.city from customer join employee on customer.supportrepid = employee.employeeid where customer.postalcode = '70174'

### Instruction:

Convert text to sql: Find the cities corresponding to employees who help customers with the postal code 70174. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select employee.city from customer join employee on customer.supportrepid = employee.employeeid where customer.postalcode = '70174'
### Instruction:

Convert text to sql: How many distinct cities does the employees live in? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select count ( distinct city ) from employee

### Instruction:

Convert text to sql: Find the number of different cities that employees live in. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select count ( distinct city ) from employee
### Instruction:

Convert text to sql: Find all invoice dates corresponding to customers with first name Astrid and last name Gruber. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select invoice.invoicedate from customer join invoice on customer.customerid = invoice.customerid where customer.firstname = 'Astrid' and lastname = 'Gruber'

### Instruction:

Convert text to sql: What are the invoice dates for customers with the first name Astrid and the last name Gruber? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select invoice.invoicedate from customer join invoice on customer.customerid = invoice.customerid where customer.firstname = 'Astrid' and lastname = 'Gruber'
### Instruction:

Convert text to sql: Find all the customer last names that do not have invoice totals larger than 20. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select lastname from customer except select customer.lastname from customer join invoice on customer.customerid = invoice.customerid where invoice.total > 20

### Instruction:

Convert text to sql: What are the last names of customers without invoice totals exceeding 20? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select lastname from customer except select customer.lastname from customer join invoice on customer.customerid = invoice.customerid where invoice.total > 20
### Instruction:

Convert text to sql: Find the first names of all customers that live in Brazil and have an invoice. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select distinct customer.firstname from customer join invoice on customer.customerid = invoice.customerid where customer.country = 'Brazil'

### Instruction:

Convert text to sql: What are the different first names for customers from Brazil who have also had an invoice? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select distinct customer.firstname from customer join invoice on customer.customerid = invoice.customerid where customer.country = 'Brazil'
### Instruction:

Convert text to sql: Find the address of all customers that live in Germany and have invoice. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select distinct customer.address from customer join invoice on customer.customerid = invoice.customerid where customer.country = 'Germany'

### Instruction:

Convert text to sql: What are the addresses of customers living in Germany who have had an invoice? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select distinct customer.address from customer join invoice on customer.customerid = invoice.customerid where customer.country = 'Germany'