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