The reason b and m should be relatively simple is related to the Chinese stopping theorem. Basically the problem:
3 * x mod 12
Can be considered as a complex problem involving
3*x mod 3 and 3*x mod 4 = 2^2
Now, if b is not coprime to 12, this is like trying to divide by zero. So the answer does not exist!
. , , , . GF (p ^ n), p , n - , - p ^ n. 12 , . , b, m.