 Is 14 a factor of k(i)?
False
Suppose 0*k = 5*k - 1290. Is 14 a factor of k?
False
Let r = 6 - 3. Suppose r*v + 3*b = 135, -3*v - 5*b + 81 = -56. Suppose -q - q = -v. Does 11 divide q?
True
Suppose -3*l + 0*n + 11 = -2*n, 0 = -3*l - 2*n + 7. Is l a multiple of 3?
True
Is 11 a factor of (-55)/1*(-4)/10?
True
Let r be (-1)/(-1*(-2)/4). Let c be 2 - (0/2)/(-2). Does 16 divide (r + 1)*c - -34?
True
Let m = -84 + 50. Let s = m - -57. Let x = 8 + s. Does 21 divide x?
False
Let a(n) be the second derivative of n**8/6720 + n**7/360 + n**6/120 + n**5/30 - n**4/6 + n. Let u(t) be the third derivative of a(t). Is 2 a factor of u(-6)?
True
Suppose x - 3*u + 6 = 1, 3*x = 5*u - 3. Is (-18)/x*24/(-9) a multiple of 12?
True
Let o = -6 - -4. Is 10 a factor of -3 + 25/1 + o?
True
Suppose -16 + 1 = -5*i. Suppose 2*n - 50 = 2*b, b - 5*b - 128 = i*n. Let g = b + 67. Is 13 a factor of g?
False
Suppose -4*t - 5*x = 35, 5*t + 68 = -x - 2. Let a = 1 - t. Does 6 divide a?
False
Let c = -62 + 157. Does 30 divide c?
False
Suppose m + 2*n = 5*n - 9, -n = 0. Let i(p) = p**2 + 8*p + 5. Is i(m) a multiple of 4?
False
Let c(b) = 6*b**3 + 2*b**2 - 1. Is 3 a factor of c(1)?
False
Let f(i) = -i + 1. Let j(x) = 5*x - 10. Let b(v) = -6*f(v) - j(v). Is 3 a factor of b(0)?
False
Suppose -4*z - 2*u + 281 = 3*u, -2*z = 2*u - 140. Suppose -z - 1 = -5*l. Does 8 divide l?
False
Is 16 a factor of 3*4/(-36)*-48?
True
Suppose 4*c + 3*u + 15 = c, u + 5 = c. Suppose c = -2*m + 6*m - 52. Is m a multiple of 7?
False
Let i be (9/(-6) + 1)*2. Let p = i + 2. Does 8 divide 16*(3/p)/3?
True
Let d(q) be the second derivative of q**5/4 - q**4/6 + q**3/3 - 2*q. Let y be d(2). Is y/(-5)*(-20)/6 a multiple of 10?
False
Suppose 641 = -4*m + 8*m - 3*j, 0 = -4*m + j + 651. Is 12 a factor of m?
False
Let t(z) = 62*z**2 + z. Does 7 divide t(1)?
True
Let q(g) = 6*g + 6. Let a(n) = 13*n + 11. Let f(p) = -3*a(p) + 7*q(p). Is f(7) a multiple of 11?
False
Is 9 a factor of 3/(18/192) + 1*4?
True
Let t(l) = -11*l + 3*l + l - 23*l. Does 15 divide t(-2)?
True
Let y(k) = k**3 - 8*k**2 + 4*k + 15. Let m be y(7). Suppose -37 - 48 = -5*z - 3*b, -4*z = -3*b - 95. Let f = z + m. Is f a multiple of 8?
False
Suppose -67 - 33 = -5*b. Does 7 divide b?
False
Let v = 3 + 2. Suppose 2*h - 5 = -5*g - h, 2*g = v*h - 29. Does 13 divide (-45 + 6)*g/2?
True
Let x(b) = 54*b**3 + b**2. Let u be x(1). Let o = u + -30. Is 10 a factor of o?
False
Let q = -8 + 11. Suppose -5*v - 4*i + 19 = -17, -q*v = -2*i - 4. Does 4 divide v?
True
Let h be 58/7 + 2/(-7). Let s = h - 7. Let z(b) = 46*b**3 + 1. Is 15 a factor of z(s)?
False
Suppose 4*o = 6*o + 8, -3*d + 4*o + 25 = 0. Suppose -x = x + 3*s - 53, -x = d*s - 25. Does 14 divide x?
True
Is (0 - 6)*((-22)/(-12) - 3) even?
False
Let o be 980/21 - (-2)/(-3). Let k = 97 - 27. Let v = k - o. Is v a multiple of 19?
False
Suppose 0 = 4*c - 5*c + 4. Let m(w) = c + 14*w - 1 + 1 - 1. Is 21 a factor of m(3)?
False
Let n(g) = -g**2 + 30*g - 16. Does 52 divide n(14)?
True
Let o(d) = d**2 + d - 2. Let h be o(0). Is 19 a factor of 1*(74 - (1 - h))?
False
Suppose 3*s - 3*d + d - 15 = 0, 0 = 4*d + 12. Suppose -s*k + 9 = 2*h - 10, 3*h - k = 56. Is 5 a factor of h?
False
Suppose 4*p = 2*a + a - 159, a = 4*p + 157. Let l = 56 + p. Suppose -z - 2 = -l. Does 13 divide z?
False
Let v(d) = -d**3 + 11*d**2 - d - 14. Let w be v(10). Does 25 divide ((-1)/2 - -1)*w?
False
Let q be 3/4 + 26/8. Suppose -3*y + q*y + 5*g + 52 = 0, -3*y - 76 = -g. Let f = 40 + y. Is f a multiple of 13?
True
Suppose -7*j + 11*j - 76 = 0. Let k = j + -7. Does 12 divide k?
True
Suppose -4*l - 79 = -5*p, -5*p + l = -71 - 5. Suppose 0 = -3*w - 2*w + p. Suppose w*m - 3*x - 61 = -4*x, 4*x - 92 = -4*m. Is 9 a factor of m?
False
Let i = 16 + -6. Is 7 a factor of (-15)/i*(-56)/6?
True
Let o(k) = -k**3 + 5*k**2 + 3*k + 10. Let d be o(6). Does 9 divide 10*14/d*-2?
False
Let g be ((-18)/(-4))/(2/4). Let n = 18 - g. Let c = 11 + n. Is 10 a factor of c?
True
Suppose -2*p + 2*g = 4*g - 146, 4*g + 116 = 2*p. Is p a multiple of 10?
False
Suppose -5*u + 22 = -3, 5*i + 5*u - 90 = 0. Is i a multiple of 2?
False
Let y be (-1)/(6/(-9) + 1). Let t(a) = 9*a - 1. Let z be t(y). Is (2 + -5)*z/6 a multiple of 6?
False
Suppose -4*j = -0*j + 108. Does 2 divide j/(-6) + 2/4?
False
Let u(j) = 5*j**3 + 15*j**2 + 4*j - 3. Let w(n) = 11*n**3 + 31*n**2 + 7*n - 5. Let i(c) = -13*u(c) + 6*w(c). Is i(10) a multiple of 4?
False
Let x(k) = -276*k**2 + k - 1. Let f be ((-6)/(-9)*-3)/(-2). Let h be x(f). Is 9/(-15) + h/(-10) a multiple of 9?
True
Let q be 69/21 + 6/(-21). Is 10 a factor of 61/q + 2/(-6)?
True
Suppose q - 3*l - 18 = -0*q, 56 = 4*q + 4*l. Does 12 divide q?
False
Let f(v) = v**3 + 9*v**2 + 8*v + 7. Is 23 a factor of f(-6)?
False
Let g(r) = -r**2 - 2*r + 2. Let c be 2/4 + 13/(-2). Let n(v) = -2*v**2 - 3*v + 2. Let d(w) = c*n(w) + 7*g(w). Does 7 divide d(-2)?
True
Let k(t) = -t**3 + 5*t**2 + 2*t + 6. Let m be k(5). Let b(u) = -u**3 + 2*u**2 - u - 1. Let z be b(2). Let p = z + m. Is p a multiple of 13?
True
Let d be (-3)/(6/2) + 1. Suppose d = 4*o - 8 - 336. Suppose -25 = 4*c - l - o, -5*c = -3*l - 78. Is 15 a factor of c?
True
Let p be ((-10)/6)/(2/(-6)). Suppose -p*d = 3 + 12. Is 2/(-6) - 19/d a multiple of 3?
True
Let j(t) = -10 - 6*t**2 - t**3 - 3*t - 2*t + 4 + 3*t. Does 2 divide j(-6)?
True
Suppose 354 + 121 = 5*q. Suppose 3*y = -3*i - 32 + q, -2*i = -5*y - 7. Does 16 divide i?
True
Suppose -4*s - 2*g + 24 = 8, s - 5*g = 4. Let d be 2/s + 330/4. Suppose b - 5*b - d = -5*y, y + b = 13. Does 8 divide y?
False
Let y(m) = -m**3 - 2*m**2 + 5*m - 6. Suppose -z + 10 = -3*z. Is y(z) a multiple of 22?
True
Let j = -59 + 151. Is j a multiple of 14?
False
Let t = 101 - 35. Does 14 divide t?
False
Let b = -47 - -112. Does 13 divide b?
True
Let z(d) = d - 3. Let t be z(-7). Is 7*t/(-6)*3 a multiple of 9?
False
Is 1/(-3)*146*-3 a multiple of 28?
False
Let p(b) = 4*b**3. Is 16 a factor of p(2)?
True
Suppose -5*r - 5 = -0*r, -4*m + 2*r = -246. Suppose q - m = -17. Is 22 a factor of q?
True
Suppose s + 2*s = 0. Suppose -g + 10 = -s*g. Let k = -4 + g. Is 2 a factor of k?
True
Let p be 2/3*12/8. Suppose 4*n + w + 13 - p = 0, -4*w = 2*n + 6. Let l = 11 - n. Is 12 a factor of l?
False
Let g(v) = 3*v - 3. Suppose -3 - 3 = -2*l. Does 3 divide g(l)?
True
Suppose -3*i = -2*o + 3*o - 30, -12 = -4*i. Is 13 a factor of o?
False
Suppose y + 1 = -1. Let v = 1 - y. Suppose 3*d + j - 29 = 0, -v*j - 21 = -5*d + 2*d. Is d a multiple of 9?
True
Suppose q - 81 = -2*q + 3*h, 3*q + 3*h - 111 = 0. Does 9 divide q?
False
Suppose o - 21 + 3 = 5*b, -3*o - b = -6. Suppose 0*t - 45 = -o*t. Is 9 a factor of t?
False
Let s = 210 + -130. Does 13 divide s?
False
Suppose 0 = a + a. Suppose a = -2*v + 56. Suppose l - v = -10. Is 9 a factor of l?
True
Let d be (2/(-4))/((-1)/6). Let j = 23 + -28. Is (-6)/j*60/d a multiple of 12?
True
Let q be -3 - (-2 - (2 + -8)). Let f = q + 19. Suppose 2*j + 4*u = 32, 2*u - 3*u + f = j. Does 4 divide j?
True
Suppose 0 = 3*l - 9 - 12. Let u = l - -26. Does 22 divide u?
False
Suppose 4*f - 90 = 182. Is 17 a factor of f?
True
Suppose 9*r - 4*r - 35 = 0. Is r a multiple of 3?
False
Let o = 75 - 24. Does 14 divide o?
False
Suppose -4*p + 17 + 503 = 4*y, y + 656 = 5*p. Is 12 a factor of p?
False
Let c = -14 - -20. Does 4 divide c?
False
Let a be -1 + (-5)/((-20)/88). Let n = a - 0. Is n a multiple of 17?
False
Let b(p) = 5*p + 1. Let y(o) = o**3 + 3*o**2 + o + 4. Let g be 1 + 1 - (4 - -1). Let t be y(g). Is b(t) a multiple of 3?
True
Let l = -144 - -157. Is l a multiple of 3?
False
Is 33 a factor of (-24)/(-204) - (-5164)/34?
False
Let s = -6 - -44. Is 18 a factor of s?
False
Suppose -d + 13 = 5*g, 3*d + g + 2*g = 27. Is d a multiple of 6?
False
Let a = 23 - 16. Is a even?
False
Suppose -2*r = 2*r - 16. Suppose -5*q + 115 = b, r*q - 4*b = b + 63. Is 10 a factor of q?
False
Let y(b) = 2*b - 9. Let j = 5 + 2. Let x be y(j). Let w = 8 - x. Is w a multiple of 2?
False
Let j = 8 - -9. Is 17 a factor of j?
True
Does 6 divide 2/(10*-1) + 812/35?
False
Let g(y) be the third derivative of 7*y**5/60 - y**4/24 + 3*y**2. Is g(1) a multiple of 6?
True
Let o(g) = 41*g**2 - 3*g + 1. Is 18 a factor of o(1)?
False
Suppose -3*d = -3*q + 18, -3*d + 7 = 3*q + 1. Suppose -8*t + q*t = 0. Suppose t*s + 3*s = 1