Метод IsPrime проверяет число простое оно или нет. То есть делится только на себя. В цикле перебираются все цифры от 2 до числа-1. Совершается деление. Если остаток при делении равен нулю, то число делится. Возвращается false сразу и метод завершается. Если цикл проходит до конца и завершается, то число не делилось ни на одно др, значит число простое и возвращается true. Программа начинается с main метода строка 15. Потом создается объект, в котором в данном случае нет смысла. Лучше сделать static метод, привязанный к классу, а не к объекту, если на то пошло.
После return метод возвращает результат. Если был return false, то до return true уже дело не дойдет.