Дерилейка (нежил.)

Бывшая мордовская деревня. Основана во второй половине 18 в. Во время Генерального межевания, по данным на 1790 г., деревня показана в одной меже со Старым Тешнярем, Мувалом и другими мордовскими селениями, перечень см. в статье Старый Тешнярь. Располагалась на правой стороне р. Ирилейки (нынешней Дерилейки), земельные угодья находились по правому берегу Чуры. (РГАДА, ф. 1355, оп. 1, е. хр. 1032, л. 8).