Да, число, следующее за простым числом, всегда будет составным числом, поскольку простые числа имеют только два делителя - 1 и само число, а следующее за простым числом число уже будет иметь больше чем два делителя.