Можно.

А вообще, это вопрос религии, как инициализировать в данном случае минимальный элемент. Можно как автор, поскольку "Элементы массива могут принимать целые значения от 0 до 1000", т.е. берется заведомо больший. Можно проинициализировать это значение максимальным значением в типе (min := MaxInt;, а можно как и вы, предположить, что первый элемент массива является минимальным и начинать сравнивать его с остальными. Тем более, что ""Гарантируется, что в исходном массиве есть хотя бы один элемент, значение которого чётно и не кратно трем."", т.е. выбранное первоначально значение будет заменено другим, если m[1] таковым не является