+ j = 0. Does 17 divide s(j)?
False
Let i(h) = 10*h**3 + h**2 - 1. Let j be i(-1). Suppose -z - 4*z - 19 = 3*v, 4*z - 5*v - 7 = 0. Is (-13 + z)*4/j a multiple of 4?
False
Let o(y) = 6*y + 12. Is 2 a factor of o(1)?
True
Suppose 0 = 4*a - 2*w - 68, -85 = -3*a - 2*a + 2*w. Suppose u = -2*g + 4*u - a, -u - 1 = g. Let d = g - -19. Is d a multiple of 15?
True
Let o(b) = -6 + 8 + 9*b - 4*b. Let i be o(4). Suppose 2*w - i = -4*f, -w + f + 61 = 2*w. Is w a multiple of 10?
False
Let p be 3/(-4) + 23/4. Suppose -12 = p*u - 42. Suppose u*f = 4*f - 3*g - 3, 3*g = f - 12. Is 2 a factor of f?
False
Let u = -65 - -33. Is u/24*6/(-4) a multiple of 2?
True
Let b = 29 - 9. Is b even?
True
Let l(h) = h**2 + 3*h + 7. Is 13 a factor of l(-8)?
False
Is (-70)/(-4)*48/3 a multiple of 14?
True
Let f = -22 + 27. Does 5 divide f?
True
Let x(n) be the first derivative of n**3 - 2*n**2 + 7. Is x(4) a multiple of 8?
True
Suppose -3*o - 4*r = -9*r - 26, 4 = -4*o - 3*r. Suppose 0 = -b + 3*y + 29, -o*y = -b - 5*y + 5. Is b a multiple of 7?
False
Suppose 9*g = 169 + 578. Does 12 divide g?
False
Suppose 105 = -11*z + 6*z. Let p = z - -50. Is p a multiple of 8?
False
Suppose 0 = 2*c - 3*c + 38. Does 8 divide c?
False
Let m = 10 - 8. Suppose -3*u + 2*u - 125 = -m*h, 0 = h + u - 55. Is h a multiple of 21?
False
Let n = 106 - 75. Does 20 divide n?
False
Let p = 59 - 2. Suppose -4*s = -s - p. Is s a multiple of 15?
False
Let s(i) = i**3 + 6*i**2 - 4*i - 6. Let b be (-12)/8*(5 - 1). Is s(b) a multiple of 10?
False
Let j = 200 - 109. Is 27 a factor of j?
False
Suppose 8 = -4*f - 5*t, 5*t - 25 - 23 = 4*f. Let o(g) = g**2 + 3*g + 2. Let w be o(f). Suppose -d = -3*d + w. Is 7 a factor of d?
False
Let q(g) = 17*g**2 + 6*g + 6. Does 43 divide q(-2)?
False
Suppose 4*n - 6 = -2*p - 0, -5*n + 3*p + 13 = 0. Let d be (-2 - (-2 - n)) + -2. Suppose 3*h - h = -4*c + 104, c = d. Is 18 a factor of h?
False
Let t(y) be the third derivative of y**6/120 + y**5/20 - y**4/6 - 2*y**3/3 - y**2. Let r be (1 - (-5 + 3))*-1. Is 4 a factor of t(r)?
True
Suppose 3*k + 0*k = 3*a - 6, 5*k + 22 = a. Let t = 20 + -16. Is 180/t*a/(-5) a multiple of 21?
False
Suppose 3*q + 133 = 2*j, -q + 0*j - 31 = 2*j. Is 22 a factor of (q/(-4))/(4/16)?
False
Let o = -321 + 501. Suppose -5*b - 24 = -4*s - o, 0 = b + 2*s - 34. Suppose -u - u = -b. Is 16 a factor of u?
True
Suppose 2*u - 3*v = -u + 240, 0 = 3*u + 3*v - 240. Does 16 divide u?
True
Let x = 19 - -30. Does 15 divide x?
False
Suppose -3 = 2*q - q. Let b(p) = -1 - p - 4*p**2 + 5*p**2 - 4 + 6. Is 5 a factor of b(q)?
False
Let g be (4/(-3) - -1)*-3. Suppose 0 = 2*d - 8, 2*i + 7 + g = -2*d. Let a(w) = w**2 + 7*w + 8. Is a(i) a multiple of 12?
False
Suppose 0 = -3*m + 438 - 114. Is m a multiple of 6?
True
Let h(y) = -y**3 + 3*y**2 - y + 1. Let b be h(2). Let i = -115 + 168. Suppose 2*j - b*o = o + 8, 0 = -2*j - 5*o + i. Is j a multiple of 14?
True
Suppose 2*c + x = -c + 331, 2*c - 223 = -3*x. Suppose 2*y = -5*b + c, 0*y + 2*b = -3*y + 165. Is 23 a factor of y?
False
Let a be 1 + 0*(-2)/6. Suppose 1 + a = c. Suppose 0 = 5*g + c*l - 5 - 62, l = -5*g + 66. Is 5 a factor of g?
False
Let k(x) = x**3 - 3*x**2 - 3*x - 2. Let s be k(4). Suppose s = -2*m + 14. Let j = 1 + m. Does 7 divide j?
True
Suppose -z = z - 68. Suppose -2*q + 5*i = -z, 4*i = i. Suppose 3*h - q - 1 = 0. Is h a multiple of 4?
False
Let x(v) be the third derivative of -v**6/120 - v**5/20 + v**3/2 + 4*v**2. Let u be x(-3). Suppose -28 = u*q - 7*q. Does 7 divide q?
True
Let c = 4 + -2. Suppose -c*y = -0*y - 3*g + 9, 11 = -2*y + 5*g. Let j(w) = -9*w. Is j(y) a multiple of 13?
False
Suppose 4 = p, 0 = 7*d - 3*d - 2*p - 152. Does 9 divide d?
False
Let g be (172/3)/((-2)/(-3)). Let x = g - 56. Is x a multiple of 11?
False
Let h(w) = 4*w**2 + 14*w + 8. Does 8 divide h(4)?
True
Suppose -37 = t - 208. Is 31 a factor of t?
False
Suppose -3*f + 4*s + 112 = 0, -s = -2*f + 9 + 74. Is 11 a factor of f?
True
Suppose -8 = -3*h - 20. Let s = 16 + h. Does 10 divide (s/10)/(6/100)?
True
Let a(p) be the first derivative of p**2 - 19*p + 6. Is 2 a factor of a(13)?
False
Let y be (-4)/(-6) - (-16)/12. Suppose 28 = a - y*i - 2*i, 4*i + 44 = 3*a. Suppose -o - 2*o + 134 = t, 0 = -2*t - a. Is 14 a factor of o?
False
Suppose 0 = -2*l - 2*l - 2512. Does 12 divide l/(-26) - (-2)/(-13)?
True
Suppose -2*b = -4*o - b + 136, 85 = 3*o - 5*b. Suppose -4*c + 3*p + 116 = o, -3*p + 24 = c. Is 6 a factor of c?
False
Suppose 4*r + 45 = v, 0 = 2*r + 5*v - 2 - 3. Let u = r - -6. Is -1 - u - (6 + -9) even?
True
Suppose -2*q + 0*q - 8 = 0. Let k(z) = -14*z - 4. Is 13 a factor of k(q)?
True
Suppose 321 = 8*f - 47. Is f a multiple of 23?
True
Suppose -3*q - 166 = -m - 4*m, q = 4*m - 130. Is m even?
True
Suppose -44 + 6 = -2*l. Suppose -l = -2*u + 23. Is u a multiple of 14?
False
Let v(j) be the second derivative of -j**3/6 + 4*j**2 + j. Let y be v(8). Suppose -2*f - 78 = -4*t, 0*f + 2*f + 6 = y. Does 9 divide t?
True
Let m(z) be the second derivative of -z**3/3 - 5*z**2/2 + 2*z. Let l be m(-6). Suppose 5*s = 22 - l. Does 2 divide s?
False
Suppose -4*u = -89 - 11. Is u a multiple of 6?
False
Let p = 19 + 7. Does 13 divide (-3)/(2 - 55/p)?
True
Suppose -d + 204 = 2*d. Suppose -3*a + a + d = 0. Is a a multiple of 12?
False
Suppose 0 = 4*x + 4*b - 132, -x - 5*b + 103 = 2*x. Let w = 53 - x. Is w a multiple of 11?
True
Suppose 4*r = -5*c + 510, c = -0*c - 5*r + 123. Is c a multiple of 26?
False
Suppose -5*b + 61 = -14. Suppose y - b = 4*m, -3*y - 8 + 1 = m. Does 9 divide 22/y*(-4)/8?
False
Suppose -p + 152 + 192 = 0. Suppose 0 = 4*a - 2*i + 336, -4*a = i + i + p. Is 16 a factor of a/(-2) - 3/(-6)?
False
Let n(o) = o + 1. Let x(p) = 6*p + 2 + 0*p - 4*p. Let d(z) = 3*n(z) - 2*x(z). Does 5 divide d(-6)?
True
Let u(v) = v**2 - 2*v + 96. Is 24 a factor of u(0)?
True
Let k(s) = -18*s - 1. Let d be k(-2). Suppose -5*b - d = 2*m, -b + 2*m - 7 = -2*m. Let f = 16 + b. Does 9 divide f?
True
Let k = 6 - 7. Does 4 divide (-2 + k)*(-16)/6?
True
Let b(p) = -p**2 + 7*p - 3. Let i be b(6). Suppose 0*o + 123 = i*o. Is o a multiple of 23?
False
Let n be (3 + -3)/(1*3). Let y be n + 6/3 + 12. Let l = -1 + y. Does 6 divide l?
False
Let l(s) = s**3 + 4*s**2 - 4*s + 5. Suppose -p = p - 20. Let a be 44/(-10) - (-4)/p. Is 10 a factor of l(a)?
False
Does 7 divide (-2 + (25 - 2))/1?
True
Let h(j) = j**3 + 5*j**2 - 7*j - 4. Let i be h(-6). Suppose 20 + 34 = i*p. Does 6 divide p?
False
Let s(k) = k**2 - 8*k + 2. Is 6 a factor of s(11)?
False
Suppose -k + 13 = -11. Does 8 divide k?
True
Suppose -2*m = -3*m + 7. Let b(a) = 2*a**2 - 9*a - 1. Does 17 divide b(m)?
True
Let h = 5 - -4. Is h even?
False
Suppose 4*o + 2*z = -16, -2*z + 8 = -4*z. Let c = o + 26. Is c a multiple of 15?
False
Suppose 0 = -6*y - 6*y + 1236. Is y a multiple of 24?
False
Let z = -222 + 365. Does 15 divide z?
False
Does 21 divide ((-4)/2 - 16)*35/(-10)?
True
Let c = -1 - -3. Suppose s - 18 = c*b, 4*s - 2*s + b - 51 = 0. Is 8 a factor of s?
True
Let m = 13 - 8. Suppose -4*f - 5*p - m = -48, -f + 5*p + 42 = 0. Is 16 a factor of f?
False
Let s(q) = 2*q - 10. Let x be s(8). Does 12 divide x/(-21) + (-170)/(-7)?
True
Let z(u) = u**3 + 9*u**2 - 14*u - 11. Let b be z(-9). Suppose -3*l + b = 2*l. Is l a multiple of 5?
False
Suppose 649 = 5*j + 2*q, 0 = -4*j - q + 105 + 413. Suppose 5*o = j - 29. Is o a multiple of 10?
True
Is 8 a factor of -3 - 5/((-20)/52)?
False
Let h be 597/5 + (-6)/15. Suppose 2*u - 3*w + 23 - h = 0, 4*u - 5*w - 190 = 0. Is 15 a factor of u?
True
Let b(d) = d**3 - d**2 - d + 1. Let q be b(2). Suppose -q*j + 6 + 18 = 3*u, 2*j - 6 = -u. Is u a multiple of 5?
True
Let q(r) = r**3 + 5*r**2 + 17*r - 4. Does 16 divide q(4)?
True
Let n be (-285)/12 - 4/16. Let o = 34 + n. Is 10 a factor of o?
True
Let c = -6 + 8. Let n(s) = 3*s**3 - 3 + 0*s**3 + 3*s - 6*s**3 + 4*s**3. Is n(c) a multiple of 4?
False
Let m = 62 + -17. Is 9 a factor of m?
True
Let z = 6 + -7. Let h be z/(2/(-22) + 0). Suppose -y + 12 + h = 0. Is y a multiple of 13?
False
Let v = 32 - 15. Is v a multiple of 9?
False
Let z(s) = -3*s**3 - 6*s**2 - 2*s + 8. Does 34 divide z(-4)?
False
Let h = -180 + 69. Is 14 a factor of ((-16)/(-24))/((-2)/h)?
False
Let f(x) = x**2 + x + 1. Let n be f(-2). Suppose n*s + 6*v - 2*v - 46 = 0, 4*v - 28 = -2*s. Is 18 a factor 