 Does 21 divide v/2*-9*12?
False
Let s = 7 + -2. Let a = -2 + s. Is a even?
False
Let y = 142 - 38. Is y a multiple of 19?
False
Let u(g) = g**3 - 6*g**2 - 4*g + 9. Let r(x) = x**3 - 7*x**2 - 3*x + 10. Let a(n) = -2*r(n) + 3*u(n). Is 17 a factor of a(6)?
False
Let s = -3 + 8. Suppose 0*k - 3*k + 141 = 4*o, 180 = s*o + 5*k. Does 22 divide 3 - 11/(o/(-90))?
False
Let u be (15/6)/(-5)*38. Let x = -10 - u. Does 9 divide x?
True
Suppose -s - 4*q + 2 = 2*s, q + 5 = 2*s. Suppose s*g - 4*g = -14. Does 7 divide g?
True
Suppose 4*g = -4*r + 19 + 1, -4*g - 1 = -3*r. Is 2 a factor of g/3 + 88/12?
True
Let x be 47/3 + (-2)/3. Let c be (x/2)/(4/8). Let j = -4 + c. Does 4 divide j?
False
Let k(q) = -q + 2. Let i be k(3). Let x(d) = -4*d**3 + d**2 + d + 1. Does 4 divide x(i)?
False
Let z(n) = 4 - 3 + 5*n**2 - n**3 + 5*n - 1 + 1. Is z(5) a multiple of 9?
False
Suppose -4 = -2*j - 4*f, 2*j - 6 - 8 = f. Is j a multiple of 3?
True
Let q(t) = t**3 + 4*t**2 - 5*t + 2. Is q(4) a multiple of 23?
False
Let p = 85 + -60. Does 9 divide p?
False
Let q = -13 + 9. Let s be 6/1 - q/(-2). Suppose s*o - 2*p = 3*p + 172, -2*p + 215 = 5*o. Does 15 divide o?
False
Let t(v) = 25*v**2 + 1 - 3*v**2 + v**2. Is t(1) a multiple of 18?
False
Let b be (-56)/35 + (-2)/5. Let n(z) = -z + 1. Is n(b) a multiple of 3?
True
Suppose 0 = 20*y - 17*y - 60. Does 5 divide y?
True
Suppose 4*y - 18 - 90 = 0. Is 4 a factor of y?
False
Suppose -4*x = 0, -68 = -l - l - x. Is l a multiple of 29?
False
Suppose -3*u = 3, -2*w - 3*w + 319 = u. Does 32 divide w?
True
Does 11 divide (4 + (-28)/10)/(1/110)?
True
Suppose 42 = -3*v + 114. Does 6 divide v?
True
Let p = 168 + 56. Is p a multiple of 28?
True
Suppose 2*o + 65 = 5*c, 3*c - 91 - 4 = 4*o. Let u = 31 + o. Is u a multiple of 7?
False
Let m(k) = -4*k + 2. Let n be m(2). Let b(w) = 16*w - 22. Let x(y) = -5*y + 7. Let u(a) = n*b(a) - 20*x(a). Does 16 divide u(6)?
True
Let m(j) = -j**3 - 2*j**2 - j - 2. Let o be m(-2). Does 11 divide (-2 + o/1)*-12?
False
Suppose -3*b - 5*g - 11 - 13 = 0, -g = 3. Let d be 22/55 - (7/(-5))/(-1). Is 9 a factor of 38 + -1 + (b - d)?
False
Let i = -21 - -29. Suppose 0 = 4*z + 3*m + 3 + 7, -2*m - i = 4*z. Is 10 a factor of (11/(-4))/(z/4)?
False
Suppose -2*q - 2*b + 2 = 0, -2*q + q + 3*b = -9. Suppose -4*a + 5 = -q*a. Suppose 0 = -5*j - a*i + 110, 5*i - 15 = 2*i. Is j a multiple of 13?
False
Let d(m) = 3*m + 4. Is d(12) a multiple of 8?
True
Let h be -2*(-1 - 0) + 1. Suppose -4 = -h*t + t. Suppose 2*v = -2, 3*v = 4*q + t*v - 45. Does 11 divide q?
True
Let o = 22 - 19. Suppose m - 484 = -o*m. Does 34 divide m?
False
Is 7/14*27*2 a multiple of 9?
True
Suppose 23*v - 18*v - 430 = 0. Is v a multiple of 19?
False
Let i be -2*(-4 - 20/(-8)). Suppose -i = 2*t - 51. Does 23 divide t?
False
Suppose -3*b - 24 = -5*b. Let d = -9 + b. Suppose 2*v - 6 = 0, l = 6*l - d*v - 61. Does 9 divide l?
False
Let t = -7 + 7. Is 12 a factor of (-10)/5 - (-38 - t)?
True
Is 41 a factor of 3084/28 - 3 - (-1)/(-7)?
False
Suppose 125 + 7 = 4*k. Suppose s = 9 + k. Is 14 a factor of s?
True
Let j(t) = -t**3 - t**2 - t + 18. Let n be j(0). Let q = n + -4. Is q a multiple of 9?
False
Let z be -1 + 2 - -2 - 1. Is -1*-5*z/2 a multiple of 2?
False
Let j = -8 - -2. Let r be 3/j*2 + 27. Suppose 0 = -0*p + p - r. Is p a multiple of 11?
False
Let z(a) = -a**2 + 5*a - 4. Let p be z(3). Suppose -p*i = 4*b - 24, -5*i + 3*b + 16 = 2*b. Suppose -2 - 30 = -i*g. Is g a multiple of 7?
False
Does 28 divide (-11)/((-55)/300) + -4?
True
Suppose -3*q + 1 = -2*q. Does 4 divide -1 + (3 - -18) - q?
False
Let j be (5 + -2)/((-2)/(-2)). Suppose -m + j = 3*m + 3*y, 0 = -4*m - 4*y + 4. Suppose 5*x + 0*x - 155 = -5*b, m = -2*x + b + 47. Is x a multiple of 9?
False
Let m = -6 + 24. Suppose v - 8 = -o - v, -5*o - 3*v + 5 = 0. Let p = o + m. Does 16 divide p?
True
Is 8 a factor of 141 + (4 - 7) + (0 - 2)?
True
Let t(s) = -s**3 + 12*s**2 - 5*s + 4. Is t(6) a multiple of 19?
True
Suppose -k = 4*k - 40. Let q be 8/12*k*3. Does 13 divide (q/(-6))/((-6)/45)?
False
Suppose 3*z = -5*j + 6*z + 459, j = 3*z + 99. Is 6 a factor of j?
True
Let b be (-1)/5 + (-1)/(-5). Suppose 4*z - 22 - 42 = 0. Suppose z = -b*u + u. Is 8 a factor of u?
True
Let h = 10 - 1. Is h a multiple of 3?
True
Let l(v) = 14*v**2 - 2*v + 3. Let i be l(2). Suppose -3*p = i + 8. Does 7 divide (0 + p)*4/(-12)?
True
Suppose o - 6*o = -20. Suppose 3*m - 5*m + 2 = -o*f, 0 = -f - m + 1. Suppose f = w + w - 12. Does 3 divide w?
True
Let c = 65 + 57. Is 10 a factor of c?
False
Is 19 - (-2)/3*-6 a multiple of 6?
False
Let c(n) be the third derivative of n**5/60 + 3*n**4/8 + n**3/3 + 3*n**2. Let q be c(-10). Suppose 0 = -v + 6 + q. Does 13 divide v?
False
Let f(d) = -16*d**3 - 2*d**2 + 3*d + 2. Does 29 divide f(-2)?
True
Suppose -12*z - 3*z = -3435. Is z a multiple of 14?
False
Let r = 8 - 5. Let g(m) = -7*m**3 + 35*m**3 + 3*m - 1 + m**r - m. Is 10 a factor of g(1)?
True
Let c = -81 - -180. Is c a multiple of 11?
True
Suppose -t + 5 = -0. Suppose 4*p + 4*o - 275 = -99, t*o = 5*p - 240. Suppose -3*c = -47 - p. Is c a multiple of 8?
False
Let z = 3 - 7. Does 3 divide z*-1*(-2 + 3)?
False
Suppose -3*n + 67 = -17. Let i = n - 15. Is 9 a factor of i?
False
Let m(z) = -6 + 3 - 8*z - 1 + z**3 + 7*z**2. Let u be m(-6). Let c = u + -41. Is c a multiple of 14?
False
Let s = -2 + 2. Let d be 2*((s - -15) + -1). Suppose 0*i + 4*i - d = 4*b, 0 = -5*i - b + 35. Is i a multiple of 7?
True
Let v = 2 - 6. Let p(i) = i**3 + 3*i**2 - 6*i - 5. Let q be p(v). Suppose q*b - 32 - 13 = 0. Is 15 a factor of b?
True
Suppose -6 = a - 5*a + j, -5*a - 5*j + 20 = 0. Suppose -a*n = n - 147. Does 13 divide n?
False
Let q be 24/1 + 0/3. Let a = -14 + q. Let i = a - 4. Does 5 divide i?
False
Let v(m) = 10*m + 12. Is 11 a factor of v(1)?
True
Suppose 0 = 2*s - 10, -2*y + 5*s + 4 - 27 = 0. Suppose -21 = -z - y. Is 5 a factor of z?
True
Suppose -g - 2*f - 3*f = -6, 0 = -2*g + 5*f + 42. Is 13 a factor of g?
False
Let u = 2 - 2. Let q be (u + -1)/((-2)/20). Let r = 25 - q. Is r a multiple of 5?
True
Is (-276)/(-3) - (1 - (3 - 4)) a multiple of 30?
True
Let h be 14/(-49) + 46/14. Let u = h - -3. Is 2 a factor of u?
True
Suppose 2*c - 70 = -c - 2*b, -2*c + 55 = 3*b. Is 6 a factor of c?
False
Suppose -106 = -2*y + 36. Does 21 divide y?
False
Suppose -144 = -5*w + 2*w. Does 12 divide w?
True
Let t(f) = f**3 + 4*f**2 + f + 2. Let d be t(-4). Let m = 0 - d. Is 33/(-2 + 1 + m) a multiple of 12?
False
Let n = 21 + -12. Suppose -4*c = -5*c + n. Is c a multiple of 9?
True
Let t(u) = -u + 35. Is t(10) a multiple of 11?
False
Suppose 5*m - 3*i - 414 = 251, -2*m + 266 = 2*i. Is m a multiple of 19?
True
Suppose 10*y + 24 - 394 = 0. Is y a multiple of 19?
False
Let o be (-3 + 2 + 1)*-1. Suppose -c + 4*v + 2 = o, -v + 3 = 1. Is c a multiple of 10?
True
Suppose 65 = 4*s - 435. Is s a multiple of 15?
False
Let f be 0*3/24*4. Suppose 0 = -2*a - f*d + d + 30, -5*a - 4*d = -49. Is 11 a factor of a?
False
Is (-22)/((-9)/(36/8)) even?
False
Let o(t) = -t**2 - 7*t - 6. Let m be o(-6). Suppose v + 3*r + m - 4 = 0, 2 = -r. Is v a multiple of 5?
True
Suppose 229 = 8*h - 155. Is 4 a factor of h?
True
Suppose w + 2*w + 3*r - 27 = 0, 2*r = -5*w + 30. Suppose -3*j + j + w = 0. Suppose -2*o + 5*n = -27, j*o = -2*o + n + 63. Does 15 divide o?
False
Let a = 1 + 1. Suppose -4*u = 2*w - 112, -a*u = w + u - 56. Suppose w = -0*v + 4*v. Is 11 a factor of v?
False
Suppose 2*l - 3*l = -5. Suppose -l*v + 285 = -0*v. Does 15 divide v?
False
Suppose -9*y = -8*y - 5*n - 27, 2*y + 3*n = 67. Is y a multiple of 16?
True
Suppose -x + 4*t + 12 = 0, -4*x + 8*t + 24 = 4*t. Suppose x*z - 2*z - 30 = -2*y, z - 4 = 0. Is y a multiple of 6?
False
Let v = 27 + -16. Is 4 a factor of v?
False
Let v be 4/6 + 125/15. Let b = v - 2. Suppose -2*d + 37 = b. Is d a multiple of 5?
True
Suppose 113 = -4*k - 127. Is 15 a factor of (-1 - 1)*k/8?
True
Let n(p) = p**3 - 3*p**2 - 2*p - 3. Let y be n(4). Suppose 5*o - y*d = 20, 0 = -3*o + 5*d + 12 + 8. Suppose -5*a + 23 + 17 = o. Is a a multiple of 4?
True
Let i(q) = -2*q - 11 + 7 + 2*q + q**2 + 2*q. Does 5 divide i(-6)?
True
Does 11 divide -6*1*10/(-4)?
False
Let r = 15 + -10. Suppose 2*q - 2 = -4*b, r*b + 5*q + 2 + 3 = 0. Is b even?
True
Suppose -3 = 3*u, 141 = -k + 6*k - u. Suppose -15 = -g + k