user: Question: What is the average down (up to kbit/s) when the provider is willy.tel and the up (kbit/s) is more than 1984?
Columns: ['DSL Type', 'Provider', 'Resale', 'Down (up to kbit/s)', 'Up (up to kbit/s)']
Types: ['text', 'text', 'text', 'real', 'real']
Sample row: ['ADSL2+', 'Deutsche Telekom AG', 'no', 16000.0, 1180.0]
SQL:

assistant: SELECT AVG("Down (up to kbit/s)") FROM "Table" WHERE "Provider" = 'willy.tel' AND "Up (up to kbit/s)" > 1984.0;