Find all files with the extension ".txt" in the "/dev" directory that have been modified more than 10 minutes ago and search for the word "random" in them, displaying the line number of each occurrence.
find /dev -name "*.txt" -mmin +10 | xargs grep -n random