Ciao, innanzitutto in questo ciclo for la condizione è errata:
for (int i = K-1; i <= 0; i--)
Infatti la variabile i deve essere >= 0, e non <= (un indice negativo non ha senso in un array). Tanto più che la variabile i viene inizializzata a 4, che è maggiore di zero, per cui quel ciclo non viene mai eseguito.
In secondo luogo questa parte di codice è errata:
for (array1[i]%7 == 0)
{
cout <<"il valore è divisibile per 7" <<;
}
Infatti se la tua intenzione era quella di scrivere un ciclo allora la sintassi è sbagliata. Inoltre la scelta di utilizzare un ciclo è proprio errata, in quanto l'esercizio ti richiede di
fare alcune operazioni (stampa dell'elemento i-esimo) solamente se una determinata condizione è vera o falsa (se quell'elemento non è multiplo di 7).