question: What is the avg seek time for a device that is less than 3231?
answer: SELECT avg_seek_time_[ms] FROM table_name_26 WHERE device < 3231
context: CREATE TABLE table_name_26 (avg_seek_time_ VARCHAR, ms VARCHAR, device INTEGER)