>>94 n進数であるという事はあまり関係なく

x = Σ an*ΠAj ただしan<ΠAj に必ず解があるかという問題のような気がしますが?