Context: CREATE TABLE table_name_20 (league INTEGER, name VARCHAR, total VARCHAR)
Question: What is average for Benito Lorenzi league when total is smaller than 143?
Answer: SELECT AVG(league) FROM table_name_20 WHERE name = "benito lorenzi" AND total < 143