I'd take a look at AoPS first because that is very likely where you'll eventually want to end up. If it seems like too much of a jump, Jacobs Algebra seems to work well for younger students. It has some of the discovery elements of AoPS without being as much of a stretch.