Awk is field-based, meaning it's best for parsing out sections of files that appear in fields or other regularly-spaced patterns. While it is possible to use it here, sed is a much better choice for operating on lines.
This will print all lines from #8 to the end of the file:
sed -n '8,$p' file.txt
Another simple option is tail.
tail -n +8 file.txt