alfa identification
The Alfa Formula car is definitely not an F1. If there is an Alfa engine in there, it is probably coming from a national formula alfa type of series.
The grey Alfa is 2000 GTV Bertone Coupe, while the red one is the classic alu bodied Twin Spark 1600 GTA Sprint, although there have been many replica's, made of the steel bodied sister of the car. The badge though says GTA, but positive identification can probably be only done through the chassis number.
"I find the whole business of religion profoundly interesting, but it does mystify me that otherwise intelligent people take it seriously." Douglas Adams