Тетрадь стоит 25 рублей. Сколько рублей заплатит покупатель за 32 тетради, если при покупке более 30 тетрадей магазин делает скидку 20% от стоимости всей покупки?