Логика предикатов. нужно решение

Зороастри́зм (авест. vahvī- daēnā- māzdayasna- — «Благая вера почитания Мудрого», перс. «بهدین»‎ — behdin, «Благая вера») — одна из древнейших религий, берущая начало в откровении пророка Спитамы Заратустры (авест.  Zaraθuštra, также известен как Зардушт пехл.  Zardu(x)št и Зороастр др.-греч. Ζωροάστρης), полученном им от бога Ахура Мазды (Асура Мазды) . В основе учения Заратустры — свободный нравственный выбор человеком благих мыслей, благих слов и благих деяний. В древности и в раннем средневековье зороастризм был распространён преимущественно на территории Большого Ирана.

Задача 6. Отметки

В дневнике Поли в текущей четверти стоит 16 отметок по математике; в дневнике Тани — такое же число отметок по тому же предмету. Поля получила пятёрок столько же, сколько Таня четвёрок, четвёрок столько же, сколько Таня троек, троек столько же, сколько Таня двоек, и двоек столько же, сколько Таня – пятёрок. При этом средний в этой четверти у девочек одинаковый. Сколько двоек получила Поля?

Задача 7. Вычёркиваем цифры

Сколько существует 2015-значных чисел таких, что при вычёркивании его любой одной цифры получается 2014-значное число, и это 2014-значное число является делителем исходного числа (Напомним, что многозначное число не может начинаться с нуля и что на ноль ничего не делится, кроме, быть может, нуля)?

Задача 8. Тупые углы

На плоскости из одной точки отложено 24 лучей. Какое наибольшее количество тупых углов могут образовывать пары этих лучей?

Задача 10. Лестница

Дана клетчатая фигура в виде лестницы, содержащей n ступенек (на рисунке приведён пример для n=11).

Сколько значений n, удовлетворяющих неравенству 300<n<1600, для которых данную лестницу можно разрезать на уголки из трёх клеток?

Уголок из трёх клеток — клетчатая фигура, состоящая из трёх клеток, одна из которых имеет общие границы с двумя другими, причём эти общие границы являются соседними сторонами