значение У принимает целое число то Р является составным,
а если иначе то Р является простым числом.
не оформлено
Неравенство набрано криво

теперь правильно будет без контрпримеров
Имейте ввиду, что

и

- это разные символы.
Далее, приводите тему в соответствие с правилами дискуссионного раздела:
Цитата:
3.1. Дискуссионная тема должна иметь максимально четкую формулировку и обоснования, принятые в той дисциплине, к которой они относятся. В математических разделах все понятия и обозначения должны быть точно определены, все утверждения должны быть четко и однозначно сформулированы и строго доказаны. ... Тема, формулировка которой признается нечеткой или неоднозначной, может быть отправлена в карантин до исправления. Незнание автором темы критериев, отличающих научно строгие формулировки от нестрогих, не является основанием для исключительного отношения к теме.
Если при каком либо целом значении

не превышающем

формулы

значение У принимает целое число то Р является составным,
а если иначе то Р является простым числом.
Доказывайте.
Вообще то на простоту проверяют только нечетные числа!
Это условие отсутствует в стартовом посте.
Желательно также обосновать новизну теста и обязательно нужно привести асимптотику времени работы алгоритма.