Suppose -3*z = 5*p - 209, -5*p - z = -5*z - 223. Let d = 27 - 55. Let l = p + d. Is 8 a factor of l?
False
Let j = -792 - -1491. Is j a multiple of 36?
False
Suppose 3136 = 8*v + 6*v. Is 28 a factor of v?
True
Let l = -15 + 36. Let a(k) = 25*k + 6 - 4*k**2 + 3*k**2 - k**3 - 2 - l*k. Is 9 a factor of a(-4)?
True
Suppose 2*g - 3*g - 5*b = 32, 5*g = b - 82. Let o = g - -27. Does 6 divide o?
False
Suppose 8 = 4*j + z + 3*z, 0 = 5*z. Suppose -2*a - 4 = j. Is 3 a factor of (2 - 10 - a)*-1?
False
Suppose 4*t + 1 - 27 = -3*m, 3*t - 15 = 0. Suppose 2*y - 108 = -m*y. Is y a multiple of 12?
False
Suppose -2*g = -4*j + g + 215, -2*j + g = -109. Suppose -j = 5*l - 221. Suppose -2*b = -5*b + l. Is 11 a factor of b?
True
Suppose 7*c = 5*c + 24. Let z be -10 - 3/((-9)/c). Let x = z + 28. Is 5 a factor of x?
False
Suppose -404*q = -397*q - 1344. Does 4 divide q?
True
Let u(d) = -6*d - 10. Let s(k) = 9*k + 15. Let r(x) = 5*s(x) + 8*u(x). Let w be ((-3)/4)/((-2)/(-8)). Is r(w) a multiple of 3?
False
Suppose p + 1070 = 5*m, -7*p + 11*p = m - 214. Is 9 a factor of m?
False
Suppose -9*h = -12*h + 81. Let f = h - 2. Does 8 divide f?
False
Suppose 28*w = -2*w + 2160. Is w a multiple of 12?
True
Suppose -9 = -5*f + 41. Let p(h) = 11*h**2 - 19 - f*h**2 + 2 + h. Does 11 divide p(9)?
False
Is (-1 - -4)*(-2)/(-6)*74 a multiple of 46?
False
Let y = 15 + 37. Let u = y + -16. Is 8 a factor of u?
False
Suppose -5*z - 27 = p - 2*p, 21 = 3*p - 3*z. Suppose -71 = 4*y - p*r + 75, 0 = y + 2*r + 44. Does 13 divide -4 - -1 - (y - 4)?
True
Let k = 0 - -169. Is k a multiple of 8?
False
Let v(s) = -70 - 4*s + 59 + 0*s + 5*s. Let r be v(5). Let f(y) = y**3 + 7*y**2 - 6*y + 7. Is 16 a factor of f(r)?
False
Suppose -3*r = -0*r - 6. Suppose -3*t + 7*t = 8. Suppose r*g + i = 24, 5*g + 0*g - t*i = 60. Is g a multiple of 6?
True
Suppose -4*d = 14 + 34. Let o = d + 14. Suppose -35 - o = -w. Is 19 a factor of w?
False
Is (-2)/(-12) + (-38538)/(-108) a multiple of 7?
True
Suppose 29*l - 24*l - 21037 = -3*w, 5*l - 28041 = -4*w. Is 17 a factor of w?
True
Let c = -11 - -39. Let t = c + 6. Let l = -6 + t. Is 11 a factor of l?
False
Let w(t) = t + 15. Let l be w(-12). Suppose 108 = l*v - 4*v. Let d = 168 + v. Is 12 a factor of d?
True
Suppose -16708 = -4*u - 2*a, 5*u - a - 20855 = 4*a. Does 25 divide u?
True
Suppose 5*j = 4*j - 5. Let m be 55/22*(-4)/j. Is (-5 - -4)/(m/(-6)) even?
False
Let x(d) = 668*d - 384. Is 9 a factor of x(3)?
True
Suppose 4 = 8*a - 76. Suppose 2*w + a*w = 324. Is w a multiple of 3?
True
Let z(u) = 3*u - 10. Let j be -2 + (-2 - (0 - -16)). Let g be (50/j)/(2/(-4)). Is z(g) a multiple of 2?
False
Suppose a + 3919 = 60*u - 58*u, -u + 1952 = -2*a. Is 30 a factor of u?
False
Suppose 4*k - 240 = 5*a - a, -3*k - a = -184. Is k a multiple of 17?
False
Suppose -12 = -6*f + 6. Suppose -4*i - 60 = -3*x - i, 54 = f*x - 5*i. Does 23 divide x?
True
Let p be -15 - 0 - (1 + 0). Let u = p - -55. Suppose -w + 10 = -u. Is 12 a factor of w?
False
Suppose -2*w + 656 = 6*w. Suppose 0 = 5*h + 4*g - 455, -h - 4*g = -5*g - w. Is h a multiple of 26?
False
Let y = -176 + 666. Does 10 divide y?
True
Let o = 1 - -1. Suppose -o*r - 2*y = -48, 79 + 23 = 5*r - y. Is r a multiple of 7?
True
Let f = -1367 - -2687. Does 6 divide f?
True
Let i = -20 + 20. Is 38 a factor of (128 - (2 - -7))/(i + 1)?
False
Let v = 192 - 95. Does 77 divide v?
False
Suppose -2*k - 11 = -5, -1 = -2*j + 3*k. Let z(b) = -31*b + 3. Is z(j) a multiple of 14?
False
Let d(l) = 10*l - 4. Let k(o) = 3*o + 12. Let v be k(-6). Let q(s) = -11*s + 3. Let u(p) = v*d(p) - 5*q(p). Is u(-8) a multiple of 16?
False
Is 84314/26 - (-36)/234 a multiple of 69?
True
Let j(h) = 7*h**3 - 3*h + 2. Let g be j(1). Let d(i) = 2*i**2 - 9*i + 2. Is d(g) a multiple of 3?
False
Let r(h) be the first derivative of -h**5/60 + 17*h**4/24 + 10*h**3/3 - 7. Let j(i) be the third derivative of r(i). Does 3 divide j(6)?
False
Let o be (-2)/5 + 1806/(-10). Let h = 256 + o. Is h a multiple of 15?
True
Let c(j) = j**2 + 3*j - 2. Let n = 30 - 26. Is c(n) a multiple of 13?
True
Let s = -875 - -1235. Is s a multiple of 15?
True
Let h = 3313 - 2259. Does 11 divide h?
False
Let s = 339 + -309. Is s a multiple of 2?
True
Let d be 1*5/15*(-1 - -283). Let j = 158 - d. Does 8 divide j?
True
Let h = 58 + -198. Does 24 divide -3 - (-6 - -3) - (h + -4)?
True
Suppose -h + 3 + 5 = j, 2*h = 10. Suppose -z + 92 = j*x, 2*z - 2*x = -0*x + 176. Let l = -59 + z. Does 8 divide l?
False
Suppose -2*p - a + 20 = 0, -4*a - 19 - 57 = -5*p. Suppose 2*n - p = -n. Suppose -164 = -5*g - 2*t + 171, -n*g - 5*t + 285 = 0. Is 16 a factor of g?
False
Suppose 56*m + 4420 = 60*m. Is 13 a factor of m?
True
Let i = 406 + -146. Is 52 a factor of i?
True
Let m = 504 - 462. Is 2 a factor of m?
True
Let b = -36 + 68. Suppose 7*x - 2*x + 18 = -3*f, 0 = -2*x. Is (b/f)/((-5)/15) a multiple of 9?
False
Let q = -11 + 16. Suppose q*f - 589 = 11. Is f a multiple of 24?
True
Suppose 2*x - 8*x + 30 = 0. Suppose 143 - 28 = x*d. Is 22 a factor of d?
False
Suppose -f = f - 6. Suppose 4*w = 0, -f = -5*q - 5*w + 7. Suppose -q*u + 22 = -94. Is 29 a factor of u?
True
Let c(z) = 25*z**2 + 10*z - 52. Does 21 divide c(-9)?
False
Suppose 89*r = 97*r - 24. Let t(i) = -5*i - 1. Let f be t(-1). Suppose f*p - 14 = r*p. Is 13 a factor of p?
False
Suppose p + 2 - 4 = 0. Suppose -29 = -p*y - 11. Suppose -4*j = -y*j + 140. Is j a multiple of 23?
False
Let k(j) = -j**2 - 12*j - 1. Let u be k(-10). Suppose 0 = -8*f + 1 + 63. Let d = f + u. Is 27 a factor of d?
True
Suppose s + 18 = 4*s. Suppose 2*f - s*f = 0. Let z(c) = -c**3 - c**2 + 2*c + 21. Is z(f) a multiple of 6?
False
Suppose 3*j - 8 = -j. Suppose -u = -j*u + 50. Does 18 divide u?
False
Suppose 2*t - p = 4*p + 380, 4*p = -2*t + 362. Does 5 divide t?
True
Let x = -72 + 77. Let t be 2/(2/(-3))*-1. Suppose 2*s = d + 56, t*s - x*d - 9 - 75 = 0. Is 28 a factor of s?
True
Suppose -4*v = -2*g - 3*g - 62, 2*g + 23 = v. Does 5 divide (-8)/g - (-1606)/55?
True
Let a(t) = 5*t**2 - 33*t - 85. Is a(26) a multiple of 14?
False
Suppose 0 = -2*h - 35 + 97. Is 11 a factor of h?
False
Suppose 0 = 11*j - 6*j. Suppose j = 5*p - 5*s + 4*s - 572, -2*p + 4*s = -236. Does 19 divide p?
True
Suppose -6*i = -4*i - 40. Let t be (3/2)/(6/i). Suppose t*w - 3*n - 189 = 0, 0*n = -4*w + 2*n + 150. Does 11 divide w?
False
Does 15 divide (-12)/8*-1*(539 + -5)?
False
Let p = 336 - 150. Let o = 131 - p. Let d = o + 103. Does 24 divide d?
True
Suppose -5*h = 4*s - 1495, -9*h + 5*h = 5*s - 1205. Is 6 a factor of h?
False
Let v = 97 - 34. Suppose 6*f = v + 123. Does 8 divide f?
False
Let m = 26 - 19. Suppose u = m*u - 336. Does 33 divide u?
False
Suppose 0 = 5*w - s - 1241, w - s - 176 = 73. Is w a multiple of 6?
False
Let m = 108 - 75. Is 28 a factor of (218/3)/(22/m) - 0?
False
Suppose 4*o = 23*v - 25*v + 140, -3*o = -v + 95. Does 10 divide v?
True
Suppose -4*q + 5*g + 13587 = 0, -2*g = -69 + 59. Is 41 a factor of q?
True
Let w(q) = 2*q**3 - 4*q**2 + q - 2. Suppose 0*k = -2*k + 6. Let v be w(k). Suppose 4*p - v = 3*p. Does 4 divide p?
False
Suppose 9*c = 5*d + 7*c - 1468, -3*d = c - 883. Is 3 a factor of d?
True
Suppose -g = 2, 3*i + g - 2 = -4*g. Is 8 a factor of 666/21 - i/(-14)?
True
Let q(a) = 2*a + 15. Let o be q(-6). Suppose o*z - 147 = -v - 0*v, 4*v - 245 = -5*z. Does 16 divide z?
False
Let n(y) = -13*y + 2. Let q(v) = 64*v - 10. Let a(i) = -14*n(i) - 3*q(i). Does 9 divide a(-3)?
False
Let f(z) = -5 + 8 + z + 6*z**2 - 4*z**3 + 3*z**3 + z**2. Let v be f(7). Suppose 3*l = 3, -6 - v = -2*n + 4*l. Does 10 divide n?
True
Suppose v - 4 = 3*t + 5*v, -t + 2*v + 2 = 0. Let n(d) = -d**3 + d**2 + d + 4. Does 2 divide n(t)?
True
Suppose -41*u = -111144 + 9054. Does 66 divide u?
False
Let c(x) = -x**3 + 6*x**2 - 9*x + 5. Let o be c(3). Suppose 49 = a + g, a - 295 = -4*a + o*g. Is 14 a factor of a?
False
Let z be (-16)/(-56) - 2250/(-14). Let q = 119 + z. Is q a multiple of 20?
True
Let g(o) = -24*o + 3. Let t be g(-9). Suppose 333 = 4*c - t. Does 36 divide c?
False
Let h(l) = l**2 - 8*l - 7. Let f be h(8). Let z = 11 + f. Does 23 divide 3/6*z - -44?
True
Let k = 79 + -71. Suppose 333 + 459 = k*c. Is c a multiple of 11?
True
Let t(a) = 16*a**2 - 52*a - 404. Is 13 a factor of t(-10)?
True
Let z = 109 + -69. Is z a multiple of 4?
T