Сколько красных карандашей в коробке

В коробке — синие, красные и зелёные карандаши — всего 20 штук. Синих карандашей в 6 раз больше, чем зелёных; красных карандашей меньше, чем синих. Сколько красных карандашей в коробке?