(Elven Ampitheater isn't a spell.)

Elven Ampitheater enters the battlefield tapped unless you control one or more creatures.

, : Tap target artifact with converted mana cost X or less.

, Pay 1 life, Sacrifice Elven Ampitheater: Search your library for a Mountain or Forest card and put it onto the battlefield, then shuffle your library.