I found something very strange with my "compare every number with every other number" program. Turns out the u of the cell in (0,n) where a=b and b=a^2b is always divisible by the b we're looking for. That is so weird.
The u for a=a and b=ab^2 is divisible by a. I'm starting to think this might be explainable with the algebra or something.