The ax term in ax+b>= 0 is matrix multiplication, not scalar. I would try
ax
ax+b>= 0
a = IdentityMatrix[9]; b = Table[0, 9]; a . Array[x, 9] + b
