Question: Are Guadarrama National Park and Teide National Park both in the Spanish mainland?
Sentence (from "Teide National Park"): Teide National Park (Spanish: "Parque nacional del Teide" , ] ) is a national park located in Tenerife (Canary Islands, Spain).
Relevant evidence: Yes