We are, in theory, using AoPS Pre-Algebra for homeschooling this year, but so far DS9 hasn't really taken to it. Because he usually didn't see the "trick" in the problems immediately, he became frustrated and gave up. But I otherwise really like the format of the book.

Our fallback, for now, is Khan Academy, which DS sees as less daunting.