ich würde das sinngemäß so lösen (nicht getestet):
$var = 5 +2;
echo str_replace ( '$var', $var, file_get_contents( "text.txt" ));
Die vier Zeichen $var der Textdatei werden ersetzt durch den Wert in der Variablen $var.
Sicherheitshalber die einfachen Gänsefüße benutzen, sonst interpretiert PHP das doch noch als Variable. text.txt ist dann schon eine kleine Template-Datei.
Linuchs