
False
Let j(s) = -10*s**2 + 11*s + 40*s**3 - 2 - 88*s**3 + 47*s**3. Does 9 divide j(-12)?
False
Suppose z - 4*z - 14 = i, -5*z = -3*i - 14. Let g = 56 + i. Is 6 a factor of g?
True
Let x be (-6)/24*1 + (-197)/(-4). Suppose 5*a - 263 = b - x, 5*a - 194 = -4*b. Does 6 divide a?
True
Let l(h) = -2*h**2 + 4*h - 15. Let w(j) = -3*j**2 + 7*j - 31. Let r(x) = -5*l(x) + 3*w(x). Is 12 a factor of r(-7)?
True
Suppose -14*d + 16*d - p = 395, 4*p + 992 = 5*d. Is 49 a factor of d?
True
Let u(r) = -3*r + 24. Let k be u(8). Suppose k = 4*a - 3*a - 60. Is a a multiple of 12?
True
Let p(o) = -o**2 + 3*o + 6. Let w be p(4). Suppose v = 5 - w. Suppose v*y = -4*c + 219, 3*c - 8 - 156 = -2*y. Is 27 a factor of c?
True
Suppose 2*b - 5 = -1. Is 6 a factor of 8/20*(27 - b)?
False
Let q(o) = -4*o**2 + 3*o**2 - 12 - 8*o + 3. Let n be q(-9). Is (168/n)/((-2)/6) a multiple of 13?
False
Let x(p) = p**2 + 3*p - 1. Let s be x(-3). Does 9 divide s + 39*(5 - 4)?
False
Let g be 3 + 6*3/(-6). Suppose 0*o + 6*o - 12 = g. Is 21 a factor of (o + 29)*(-2)/(-2)?
False
Let i(z) = 4*z**2 + z + 1. Let q be i(-1). Suppose -21 = -c + q*h, -4*h = -2*c - 0*c + 42. Let o = -14 + c. Is o a multiple of 2?
False
Let x(b) = 2*b + 4. Let k be x(-2). Suppose -3*z - 11 + 44 = k. Suppose -y = -3*q + 83, 4*y + z - 3 = 0. Is 7 a factor of q?
False
Suppose 5 = -5*a + 10. Is a*(-2)/(-14) + (-7416)/(-126) a multiple of 4?
False
Let c = 15 + 0. Let m be 408/9 + 10/c. Does 12 divide 7/(7/m) - -2?
True
Suppose 4*z + 1 + 3 = 0. Let u(t) be the first derivative of -25*t**2/2 - 2*t + 17. Is u(z) a multiple of 19?
False
Suppose -10*h + 9011 + 5899 = 0. Is 64 a factor of h?
False
Does 40 divide (0 + 4 - -306)*(-4)/(-1)?
True
Is -6*(-1189)/4 - 15/(-6) a multiple of 40?
False
Let a(r) = -r**2 + 4*r + 85. Does 2 divide a(7)?
True
Let y(l) = 81*l + 24. Is 29 a factor of y(4)?
True
Suppose 3*m - 709 = 4205. Is m a multiple of 39?
True
Suppose -g + 5*o = 2, -2*g + 2*o + 3 = -9. Let v be 120*2/g*3. Suppose -16*b + v = -11*b. Is b a multiple of 5?
False
Suppose -2*d = -2*d + 6*d. Suppose d = -2*x + 2, 5*c - 197 = -0*c - 2*x. Does 9 divide c?
False
Suppose 0 = -2*g - 3*g + 165. Is (g - 20) + 0 + -4 a multiple of 6?
False
Let q be (-30)/(-9)*243/15. Let u(w) = -2*w - 7. Let i be u(-6). Suppose i*n - d - 264 - q = 0, n = 2*d + 69. Is 19 a factor of n?
False
Let o(b) = -166 + 166 + 176*b. Is 11 a factor of o(1)?
True
Suppose -2*h = 5*g - 6, 2*h = -3*g - 2*h - 2. Let y be 4/g - 60/(-5). Suppose 3*t = y + 16. Is 10 a factor of t?
True
Suppose 2*z = -o + 3135, -61*z = -59*z + 3*o - 3125. Does 10 divide z?
True
Let p = 245 - 218. Suppose 0 = 4*t + t - 20. Suppose -57 = -t*f + 4*q - 7*q, -q = 2*f - p. Is 6 a factor of f?
True
Let r(t) = -t**3 + 13*t**2 + t - 15. Let p be r(12). Suppose 687 + p = 6*l. Is 10 a factor of l?
False
Suppose -34*d + 204 = -30*d. Let j = -35 + d. Does 6 divide j?
False
Suppose 0 = 3*u - 3 - 3. Is u + 3 + -4 - -139 a multiple of 35?
True
Let t(m) = m**3 - 45*m**2 + 7*m + 65. Is t(45) a multiple of 29?
False
Suppose -12420 = -9*i - 9*i. Does 67 divide i?
False
Let o be (-3 - 1)*12/(-4). Let h(u) be the third derivative of u**4/12 - u**3/3 + 81*u**2 + 3. Is h(o) a multiple of 22?
True
Let z = -41 - -214. Let x = z + -85. Is 40 a factor of x?
False
Suppose 5*m + 52*a - 53*a = 785, -5*m + 785 = 2*a. Is m a multiple of 15?
False
Let l(q) = -q + 5. Let b be l(-4). Suppose 1 = 2*z - b. Suppose -2*y - 16 = z*t - 108, y = 3*t - 64. Does 11 divide t?
False
Let c(j) = -2*j + 14. Let u be c(10). Let z = 22 + u. Is 8 a factor of z?
True
Let t = 2019 - -2035. Suppose -t = -18*q - 292. Is q a multiple of 29?
False
Let v(f) = -2*f**2 + 24*f - 17. Let h(a) = -a**2 + 12*a - 9. Let d(z) = 5*h(z) - 3*v(z). Is d(12) even?
True
Let g = -1157 + 1962. Suppose 3*z = -2*y + 458, -2*y - g = -5*z + 3*y. Is 36 a factor of z?
False
Let m be 5/((-20)/56) + 4. Let v be 6/7*(m + 3). Does 6 divide ((-54)/21)/(v/28)?
True
Let l(p) = -780*p**3 - p**2 + 1. Is l(-1) a multiple of 10?
True
Let k = -1497 - -2704. Is 38 a factor of k?
False
Let g(i) = -3*i - 6. Let b be g(-10). Let v = b + -49. Let a = -14 - v. Is 4 a factor of a?
False
Suppose -3*l + 84 = 5*j - 2112, 0 = -2*l + 5*j + 1439. Is l a multiple of 3?
False
Is 4 a factor of (-9)/(-3) - 5380/(3 - 13)?
False
Suppose 2*c = -c + 6. Suppose 228 = c*a + 4*q, q + 0*q + 411 = 4*a. Is a a multiple of 18?
False
Let r(u) = u**3 + 9*u**2 + 16*u - 7. Let s = -3 + -2. Is 8 a factor of r(s)?
False
Let a be 0*(28/(-8) - -4). Suppose 5*k - 34 = k + 2*n, a = 5*k - n - 44. Is k a multiple of 9?
True
Suppose -3*k + 5*v + 1050 = 2*k, 0 = -v. Is 35 a factor of k?
True
Let p be -28*(-1)/4*2. Suppose -4*y = -p - 82. Suppose 2*w - y = -0*w. Is w a multiple of 12?
True
Suppose -17*h + 301 + 328 = 0. Is 6 a factor of h?
False
Let l(j) = 36 - 20*j + 4*j + 8*j + 3. Does 36 divide l(-13)?
False
Is (11 + -1 + -9)*2267 a multiple of 7?
False
Let g(z) = z**3 + z**2 - z + 30. Let r be g(0). Let w = r - 20. Is w a multiple of 5?
True
Does 40 divide (-28 + 25)/(6/(-160))?
True
Suppose -a - 17 = -4*h - 6, 4*h + 5*a = -7. Suppose -4*k = -3*m - 140, -4*k = h*m - 6*m - 140. Let l = k + -31. Does 2 divide l?
True
Let p(z) = -43*z**3 + 25*z**2 + 21*z - 5. Is 11 a factor of p(-4)?
False
Let j be 4/(32/30)*-4. Let u(w) = -w - 5. Let q be u(j). Is 4/q*(145 + -5) a multiple of 28?
True
Let l = 8 + 35. Suppose 91*a = 93*a + 52. Let n = l + a. Is n a multiple of 17?
True
Is 10/5*-168*10/(-8) a multiple of 42?
True
Suppose -26*c = 21*c - 6345. Does 10 divide c?
False
Let h = 333 - 52. Does 33 divide h?
False
Suppose s - 12 + 1 = 0. Let o = s + 6. Let f = -4 + o. Does 8 divide f?
False
Let t(l) = -16*l + 4*l + 6*l + 2*l. Suppose -3*y - 3*x - 28 = -1, y + 11 = -2*x. Does 12 divide t(y)?
False
Let y(w) = w**2 + 14*w + 59. Is y(-14) a multiple of 18?
False
Let h(d) = 3*d - 4. Let n(c) = -c + 1. Let l(u) = -2*h(u) - 7*n(u). Let t be l(-7). Is 20/(-6)*t/4 a multiple of 3?
False
Suppose 2*o - 48 - 2 = 0. Let x = 76 + o. Does 47 divide x?
False
Does 17 divide 1 + 135 - 0*(-3)/(-12)?
True
Let v(i) = 5*i**2 + 3*i + 10. Let s = 0 - 5. Is v(s) a multiple of 15?
True
Suppose -10*t + 3 = -9*t. Let l(w) = -23*w + 17*w - t + 19*w. Does 23 divide l(2)?
True
Suppose -283 = -3*f - a, 2*f + 4*a = a + 198. Suppose 2*q - 3*h = 19, -5*q - 2*h = -q - 14. Suppose 13 - f = -q*s. Is s a multiple of 16?
True
Let g(u) = -3*u - 21. Let f be g(-8). Does 11 divide 49 - (-5)/(-5) - f?
False
Let m = 0 - 1. Let i(n) be the first derivative of -13*n**2 - 2*n - 3. Is i(m) a multiple of 8?
True
Let m(u) = u**3 + 8*u**2 - 10*u + 4. Let s = 5 - 4. Let n be (-1)/(s/(-24)*-3). Does 14 divide m(n)?
True
Suppose -103*l - 1521 = -112*l. Is 8 a factor of l?
False
Suppose 2*g - 3*l - 1128 + 166 = 0, 0 = -4*g + l + 1904. Suppose 5*z - 5*t + 7*t - g = 0, -4*t = 2*z - 190. Is z a multiple of 7?
False
Suppose 2*x - 5 = 5*j, 4*j = j - 3*x - 24. Is (-36)/(-8)*(-56)/j a multiple of 14?
True
Let c be 3/(-4)*(-5 + -83). Let u = 96 - c. Is u a multiple of 6?
True
Suppose 5*f + 64 = -3*g - 521, g = -2*f - 233. Let c = -58 - f. Does 7 divide c?
True
Suppose 4*x - 1340 = -4*t, 3*t - 2*x = x + 1005. Does 5 divide t?
True
Let y(z) = 2*z**2 - 6*z - 5. Let a(b) be the second derivative of -b**5/20 - 5*b**4/12 - 7*b**3/6 - 2*b**2 + 5*b. Let f be a(-4). Is 25 a factor of y(f)?
True
Suppose -p + 612 = 2*p. Suppose -132 = -4*b + p. Does 14 divide b?
True
Suppose 3963 = -12*c + 16*c + 3*d, 2*c + d - 1981 = 0. Is 22 a factor of c?
True
Let f = 22 - 41. Let y = 28 + f. Suppose -8*j = -y*j + 48. Is j a multiple of 23?
False
Let r(o) = -o**3 + 7*o**2 - 4*o + 4. Let m = 22 - 19. Suppose 2*f = 5*q + 12, -m*f + 19 = -2*q + 1. Is 9 a factor of r(f)?
False
Suppose 16*j - 273 = 1727. Is j a multiple of 16?
False
Let x(m) = 6*m + 3. Let g be x(0). Suppose -3*q + 5*q = -48. Is 13 a factor of (-304)/q - (-1)/g?
True
Is (-8)/3*(-90)/(-60) - -1005 a multiple of 13?
True
Let v be (-2)/(-2)*2*(-8)/16. Is (-29 - -28)*(-77 - v) a multiple of 4?
True
Suppose 0 = 12*y - 12348 - 1824. Does 30 divide y?
False
Let k = 14 + -12. Suppose -o = -4*p - 3, -3*o - 3*p - 18 = -k*o. Does 29 divide ((-232)/(-12))/((-6)/o)?
True
Suppose 3*c + 0*c - 15 = 0. Let m(x) = 19*x + 10. Let y be m(c). Suppose -2*s - 9 = -y. Is 16 a fac