Question: Are Guadarrama National Park and Teide National Park both in the Spanish mainland?
Sentence (from "Guadarrama National Park"): Sierra de Guadarrama National Park (in Spanish: "Parque Nacional de la Sierra de Guadarrama") is a national park in Spain, covering nearly 34,000 hectares, the fifth largest in Spain's national parks system.
Relevant evidence: Yes