ForAll[v5, Exists[v4, ForAll[v3, Exists[v2, ForAll[v1, Exists[v0, Or[((0*v3)+(-10*v1)+(-4*v2)+(-3*v4)+(-8*v4)+(-9*v2))<=-2, And[((1*v4)+(-8*v1)+(0*v3)+(9*v2)+(-2*v5)+(-8*v4))<=5, Or[Or[And[((-8*v4)+(-8*v3)+(9*v4)+(-8*v5)+(8*v2)+(7*v3))<=5, ((-5*v5)+(-5*v2)+(-7*v3)+(-7*v1)+(-1*v4)+(-6*v1))<=-6], And[((-7*v3)+(8*v0)+(7*v5)+(8*v5)+(3*v2)+(5*v1))<=-5, ((7*v2)+(8*v5)+(-6*v0)+(-7*v3)+(-1*v4)+(5*v0))<=4]], And[And[((8*v1)+(4*v4)+(-3*v3)+(-4*v4)+(0*v3)+(-6*v5))<=8, ((0*v4)+(-2*v3)+(-10*v3)+(9*v1)+(8*v1)+(5*v3))<=3], And[((-1*v5)+(-6*v2)+(4*v3)+(-9*v2)+(-10*v5)+(-3*v3))<=6, ((5*v0)+(-7*v5)+(3*v0)+(5*v5)+(-3*v3)+(1*v4))<=7]]]]]]]]]]]
