11.  Does 18 divide h? 
True
Let x = -6 + 8.  Suppose x*s + 3*s = 50.  Does 5 divide s? 
True
Suppose -2*p = -4 - 56.  Is p a multiple of 9? 
False
Let g(u) = 5*u**2 + 2*u - 1.  Let v = -4 - -4.  Let j be -1 + -2 + 4 - v. Does 3 divide g(j)? 
True
Let i(s) = 2*s**3 + 2*s - 1.  Let a be i(1).  Suppose 33 = a*l - 6.  Let w = -2 + l. Does 11 divide w? 
True
Suppose -6 = 3*x - 4*d, -2 = -2*d + 4.  Suppose -22 = -v - x. Does 10 divide v? 
True
Let i = 5 - 0.  Let l be 2 + (-1)/(2/(-2)).  Suppose -5*f - i*x + 70 = 0, 2*x - 1 - l = 0.  Is f a multiple of 6? 
True
Suppose -32 = -5*q + 13.  Is q a multiple of 2? 
False
Let v be (-2)/2*-3 + 0.  Suppose 3*l = -3*h + 87, 50 + 93 = 5*l + v*h.  Let y = -17 + l. Is 5 a factor of y? 
False
Suppose 2*p - 1 = -3.  Does 9 divide p*9/3 + 27? 
False
Let n(p) = -2*p**2 - p - 10.  Let r be n(-5).  Let y = r + 97.  Is 18 a factor of y? 
False
Let l(z) = z**2 + 5*z + 3.  Let g be l(-4).  Let p be 12/(3 - 0) + g. Let i = p - -1.  Is i even? 
True
Let n = 17 - 11.  Let a(l) = -l - 2*l + n*l + l. Is a(4) a multiple of 10? 
False
Suppose 8*u - 2*u = 540.  Does 20 divide u? 
False
Let q(m) be the third derivative of m**6/120 - m**5/12 - m**4/6 + 2*m**3/3 - 2*m**2.  Let l be 4/18 - (-104)/18.  Does 8 divide q(l)? 
True
Let w = 28 - 13.  Suppose 0 = -6*p + 4*p + 4.  Let a = w - p. Is 5 a factor of a? 
False
Suppose 0 = 77*y - 76*y - 56.  Is 8 a factor of y? 
True
Let t(b) be the first derivative of 3*b**2/2 + b - 5.  Is t(3) a multiple of 4? 
False
Suppose 3*l + 426 = 4*j, 2*j - l = 7*j - 523.  Is j a multiple of 22? 
False
Let g(m) = 4*m**2 + 3*m - 3.  Let b(h) = h - 1.  Let v be 8/3 - 1/(-3).  Let c be b(v).  Is 19 a factor of g(c)? 
True
Let x be (-1)/(-2) - 36/(-8).  Suppose -b = k - 47, -b - 2*k = x - 48.  Does 9 divide b? 
False
Let l(x) = 20*x**3 - 20*x**2 - 32*x - 22.  Let i(s) = 8*s**3 - 8*s**2 - 13*s - 9.  Let f(v) = 12*i(v) - 5*l(v).  Is 17 a factor of f(-2)? 
False
Let z be 2/(-7) - (-103)/(-7).  Let p = -99 + 60.  Let u = z - p. Is 12 a factor of u? 
True
Let o be 12/(-16)*-76*1.  Suppose o = 4*h - 7.  Is h a multiple of 8? 
True
Suppose 2*z + 3*b + 2 = 4, -2*z = 2*b.  Let x be (z/4)/(1/(-4)).  Is 7 a factor of 468/33 + x/(-11)? 
True
Suppose 0 = 5*z + 20 - 925.  Does 14 divide z? 
False
Suppose 0 = -5*s - 59 - 56.  Let f = s - -44.  Let v = f - -1.  Does 11 divide v? 
True
Suppose 16 = 2*t + 2*t.  Suppose t = 3*x - 2.  Suppose m - 13 = -3*w - 4, -4*m - x*w + 76 = 0.  Does 9 divide m? 
False
Let p = 17 + 128.  Let j = -15 + p. Suppose 3*s = -2*s + j. Does 13 divide s? 
True
Does 12 divide 8/(-6)*(-19 - -10)? 
True
Suppose 3*a = -a.  Suppose a = 5*k - 2*l - 25, 0*k + 26 = 3*k + l. Is 3 a factor of k? 
False
Suppose 4*m + 4 = -3*s - 56, -2*m - 18 = s. Suppose 2*z - 93 = -13.  Let p = z + s. Is 7 a factor of p? 
False
Let r(x) = 0*x + x - 5 + x. Is 7 a factor of r(6)? 
True
Suppose 8*t = 9*t - 5, 0 = r - 5*t + 19.  Is 5 a factor of r? 
False
Let h be -1 + 1 + (9 - -26).  Suppose 30 = -5*v - h. Let w = 43 - v. Is w a multiple of 20? 
False
Let y be -11 + 1 + (3 - 4).  Is 24/(-4 - y/2) a multiple of 8? 
True
Is 13 a factor of (-1340)/(-25) + -2 + (-2)/(-5)? 
True
Let l = 52 - 32.  Is 20 a factor of l? 
True
Let m be 14 + 0/2 - 2.  Suppose 4*s + 0*s + m = 0.  Let a = s - -15.  Does 10 divide a? 
False
Let d(a) = a**2 - 2*a - 1.  Let v(c) = -c**2 + 7*c - 1.  Let i be v(6).  Let y be d(i).  Suppose y = w - 2*f, -5*f + 22 = 2*w - 3*f.  Is 9 a factor of w? 
False
Let g(v) = -v**3 - 5*v**2 + v - 5.  Does 7 divide g(-6)? 
False
Suppose 3*j + 3*o - 3 = 0, -7*j + 3*j = -3*o + 24.  Suppose 1 + 23 = 3*t.  Is 2 + -1 + (t - j) a multiple of 7? 
False
Let f be -11 - (0 + 1*-2).  Let o = f + 15.  Suppose -o = c - 26.  Is c a multiple of 13? 
False
Does 3 divide (-24)/32 - (-1)/(12/381)? 
False
Is 5 a factor of (14/21)/(4/102)? 
False
Suppose -5*b + 211 = -179.  Is 13 a factor of b? 
True
Let y be 10*5/((-75)/(-42)).  Let c = y + 6.  Is c a multiple of 10? 
False
Let v = 7 + 3.  Let m be 4 + -2 - (-44)/2.  Let p = m - v. Is p a multiple of 8? 
False
Suppose 4*c + 23 = 5*c.  Does 23 divide c? 
True
Suppose f + 15 = 83.  Suppose -2*m - 45 = -2*h - m, -2*m - f = -3*h.  Does 11 divide h? 
True
Let l(i) = -i**2 - 11*i + 4.  Let g = -13 - -3.  Is l(g) a multiple of 7? 
True
Let g = -18 - -28.  Let w = -6 + g. Suppose -w = -v + 24.  Is 9 a factor of v? 
False
Let t be (-6 - (-2 - 1))*2.  Let g(a) be the third derivative of -a**6/120 - a**5/15 + 5*a**4/24 + 3*a**2.  Does 21 divide g(t)? 
True
Let g = 3 - 1.  Let i be (g*-2)/(4/(-30)).  Let j = i - 14.  Is 16 a factor of j? 
True
Let q be ((-16)/(-20))/(2/80).  Let n = -18 + q. Suppose 2*z + 0 = n. Is 3 a factor of z? 
False
Suppose -3*t - 5*m + 11 = 0, 0*t + 3*m + 1 = 2*t.  Does 8 divide t + (3 + -3 - -24)? 
False
Suppose -b + f + 60 = 0, -3*b + 0*f - 5*f + 204 = 0.  Let w = 17 - 12.  Suppose -b = -w*l + 7.  Does 7 divide l? 
True
Does 12 divide (-2)/3*-12*(-57)/(-2)? 
True
Let v be -7 - 3*3/(-3).  Does 28 divide 0 - (-87 + (-1 - v))? 
True
Let i be ((-12)/1)/((-9)/(-12)).  Is (44/i)/((-1)/4) a multiple of 4? 
False
Let h = 27 - 3.  Let t be (-1 + 5)*(-54)/h.  Let c = 16 + t. Does 3 divide c? 
False
Let a(z) be the first derivative of -z**2/2 + 16*z - 59.  Suppose -2*g = g. Does 13 divide a(g)? 
False
Suppose 3*q - 150 = -3*o, -o + 2*q = -q - 42.  Does 6 divide o? 
True
Suppose -l + 0 + 35 = 0.  Is 7 a factor of l? 
True
Suppose j + j + 5*l = -20, 0 = -5*j + 5*l + 20.  Suppose j = y + y - 12.  Is y a multiple of 3? 
True
Suppose 102 = -5*x + 292.  Suppose 3*w = 2 + 4.  Suppose -b + x = -5*u, 0*b + 2*u - 28 = -w*b.  Does 18 divide b? 
True
Let w be 2/10 - 8/(-10).  Is 22 a factor of w + (4 - (-2 + -76))? 
False
Let i be -4 + (0 - 48)/(-3).  Suppose -2*g + g = -3.  Suppose 39 = g*n + i. Is n a multiple of 8? 
False
Suppose 9 + 24 = 3*l.  Does 6 divide l? 
False
Suppose -2*c = 7 - 3.  Let v be ((-1)/1 + 7)*-3.  Is 4 a factor of v/(-4) - c/(-4)? 
True
Suppose 3*t - 40 = 2*t.  Is 11 a factor of t? 
False
Let x(f) = -21*f**3 + f + 1.  Is x(-1) a multiple of 3? 
True
Suppose 2*l - 24 = -2*d, -l - 2*d + 12 = 2*d.  Suppose -2*b - 3*w + 28 = 0, 4*b - 5*w = -0*w + l. Is b a multiple of 5? 
False
Suppose 2*t + 271 = -0*t - 3*d, 397 = -3*t + 5*d.  Let f = t + 88.  Let p = f + 68.  Is p a multiple of 11? 
True
Is -1 + -2 - (-567)/21 a multiple of 12? 
True
Suppose 30 = -5*r - 5*u, -r - r + u - 27 = 0.  Let j = r - -24.  Is 11 a factor of j? 
False
Suppose 4*o + 37 = -2*z + 333, -o = -4*z + 619.  Does 14 divide z? 
True
Let n be 324/10 - 6/15.  Let f(w) = -w**3 + 11*w**2 - 10*w - 12.  Let u be f(9).  Let c = u - n. Is 14 a factor of c? 
True
Suppose 0 = -18*y + 16*y.  Suppose y = -5*p + 2*p + 48.  Is p a multiple of 10? 
False
Suppose 12*o - 324 = 8*o.  Is o a multiple of 8? 
False
Let w = 151 + -97.  Is 12 a factor of w? 
False
Suppose 9*h - 35 = 4*h.  Let v = -5 + h. Suppose v*a = 7*a - 30.  Is 3 a factor of a? 
True
Let l(h) = h**3 + 6*h**2 + 2.  Does 11 divide l(-5)? 
False
Let v(z) = -z**3 + 7*z**2 + z - 4.  Let s be v(7).  Suppose -s*q = -2*q - 9.  Suppose 0 = -n + 19 + q. Is n a multiple of 14? 
True
Suppose -3 = -0*b - b. Suppose b*h + 129 = -5*i, -2*h + 6 = -5*i - 108.  Let n = -13 - i. Is 11 a factor of n? 
True
Let l be (-2)/((4/(-47))/(-2)).  Let n = l + 95.  Suppose -p = -4*p + n. Is p a multiple of 9? 
False
Suppose 5*z - 12 = s, -3*z + 24 = z + 4*s.  Suppose -5*b + b = f, -z*f = -b.  Suppose 3*y - 26 = -2*u, 2*y - u - 15 = -f*y.  Is 7 a factor of y? 
False
Suppose 25 = -5*s + 5*l - 10, 0 = 4*s + 2*l - 2.  Let i be -3*-56*s/6.  Let b = -39 - i. Is 17 a factor of b? 
True
Suppose 4*i = -2*r + 10, -i - i = -4.  Is ((-1)/(r/18))/(-1) a multiple of 18? 
True
Let u be (-4 - -3) + (-202)/(-2).  Suppose 5*n - 6 = -4*t + 130, 5*n - 5*t - u = 0.  Is n a multiple of 12? 
True
Let u = 195 + -101.  Is 31 a factor of u? 
False
Let s(b) = -20*b**2 - 4 - 9*b**2 + 3 - 3*b.  Let o be s(-2).  Is (-1)/(1 + 114/o) a multiple of 15? 
False
Let a = 2 - 2.  Suppose 37*j - 8 = 35*j.  Let m = j + a. Does 3 divide m? 
False
Suppose 0 = 2*x + 2*x - 8.  Suppose -4*w + 102 = -x*w.  Is w a multiple of 17? 
True
Let z(q) = 21*q - 29.  Is z(6) a multiple of 33? 
False
Suppose 5*a = -y + 144, 3*a = -y + a + 153.  Is y a multiple of 20? 
False
Suppose 3*z = -5*g + 20, 2*z + 4*g - 16 = 4*z.  Suppose z = 2*h - 131 - 125.  Suppose 0*m - h = -4*m.  Is 12 a factor of m? 
False
Let a(s) = -s**3 + 8*s**2 - 4*s - 6.  Is a(7) a multiple of 5? 
True
Suppose 254 = 22*r - 20*r.  Is r a 