- 40*s = -38*s + 263, 169 = 3*n - 4*s. Is n a multiple of 17?
True
Let w = 44 - -19. Does 5 divide w?
False
Let j be ((-1735)/(-4) - -5) + (-6)/8. Let p = -282 + j. Is p a multiple of 13?
True
Suppose 3*p = -37 + 37. Suppose -5*j + 0*j - 3*d = -145, p = -4*j - 3*d + 113. Does 7 divide j?
False
Let k(r) be the third derivative of r**6/12 - r**5/30 + r**4/8 - r**3/2 - 2*r**2. Let c be k(2). Suppose 2*d + c = h - 0, 4*d + 405 = 5*h. Does 27 divide h?
False
Is -54*7/(-1 + 0) a multiple of 63?
True
Suppose -309 = -4*p + 551. Let a = -137 + p. Is 13 a factor of a?
True
Let f(c) = -c**2 + 5*c + 20. Let m be f(8). Is 4185/36 + 1/m a multiple of 29?
True
Suppose 0 = -4*b + 7*b - 3. Let k be 25/5*(b + 0). Suppose 36 = 7*g - k*g. Does 9 divide g?
True
Suppose b + 796 = 2*h, 0 = 5*h - 8*b + 10*b - 1999. Is h a multiple of 19?
True
Let t be (-2)/5 + (-99)/15. Let k(u) = -u**3 - 7*u**2 + 3*u + 5. Let x be k(t). Let b = x + 49. Does 33 divide b?
True
Let a(o) = 955*o + 12. Does 21 divide a(1)?
False
Suppose -5*g - 14 = -3*u, 5*g + 5*u = 2*u + 4. Does 18 divide 36 - 2 - (g + -2 - -4)?
False
Suppose 2*i + 1460 = 4*i. Suppose 6*z + 34 = i. Does 28 divide z?
False
Let w = -6 + 64. Let m = w - 37. Is 5 a factor of m?
False
Let w(d) = d**2 - 6*d - 7. Let a(s) = s**2 - 7*s - 8. Let y(n) = -3*a(n) + 4*w(n). Is y(-9) a multiple of 52?
True
Let l(v) = -v**2 + 6*v + 3. Let x be l(5). Let r(d) = 11*d - 23. Is 7 a factor of r(x)?
False
Let u(k) be the third derivative of -k**4/24 + 25*k**3/2 - 6*k**2. Let f be u(0). Suppose -1 = -2*b + f. Does 13 divide b?
False
Let m be (-49)/(-2) - (-8)/(-16). Suppose -14 - m = -v. Suppose -v = -3*l + 16. Does 5 divide l?
False
Let x = -95 + 91. Let c(d) = -d**3 + d**2 + 5*d - 5. Is c(x) a multiple of 45?
False
Let k be 4/(-10) - 12/20. Let o(m) = -m**3 - 4*m**2 - 3*m - 3. Let t be o(-5). Let r = t - k. Does 20 divide r?
False
Suppose 6*p = 7*p + 62. Let a = -41 - p. Suppose -5*m + 69 = 5*f - a, -52 = -3*m - 2*f. Is m a multiple of 4?
True
Let h = 6 - 6. Suppose d = 2*d + 5*q - 12, h = -d - q + 32. Is -1 + 4 - (0 - d) a multiple of 20?
True
Let c(v) = -v**2 - 5*v. Let z be c(-3). Is (-91)/(-2) - ((-9)/z)/(-3) a multiple of 14?
False
Let a(t) = -19*t - 34 - 13*t**2 + 9*t**2 + t**2 + 2*t**2. Is a(-14) a multiple of 12?
True
Suppose x - n = 3*x + 24, 4*n - 73 = 5*x. Let c = -10 - x. Suppose c*w + 2*s - 4*s = 58, 0 = 3*w - 4*s - 50. Is w a multiple of 4?
False
Let y(h) = -h**2 - 40*h - 7. Does 30 divide y(-35)?
False
Suppose 2*z - 4*z = -64. Suppose 3*d - z = 10. Suppose -5*g + 6 = -d. Does 2 divide g?
True
Let o(l) = 4*l + 1. Let f(q) = q. Let g(y) = -9*f(y) + 2*o(y). Let n be g(-6). Suppose -2 - n = -p. Is p a multiple of 6?
False
Let i(j) = -j**3 + 29*j**2 + 42*j + 6. Does 14 divide i(30)?
False
Let x be (-3)/(3 - 0) - -3. Suppose 36 = 3*z - x*u - 11, -5*z + 5*u = -75. Does 9 divide z?
False
Let u be (116/6)/((-4)/(-330)). Suppose 5*r = 4*g - 1285, -5*r + u = 7*g - 2*g. Suppose 0*s - 2*s + 128 = 2*a, -5*s + g = 4*a. Does 14 divide s?
False
Let q = -67 - -51. Suppose 0 = -5*x + 106 + 79. Let b = x + q. Is 7 a factor of b?
True
Let r(m) = 3*m**2 + 20*m + 52. Is 14 a factor of r(-8)?
True
Let o(i) = -i**3 - i + 119. Let g be o(0). Suppose 0 = a + 5*d + 9 - g, a - 137 = 4*d. Does 20 divide (a/(-4))/(6/(-24))?
False
Does 16 divide (-5)/(-10) - 13741/(-26)?
False
Let j(m) = 2*m**2 - m + 102. Let f be j(0). Let k = f - 75. Is 3 a factor of k?
True
Suppose -4*z = -3*z - 4*v - 414, 0 = 2*v. Is z a multiple of 23?
True
Let r(x) = -2*x**2 + 3*x - 24. Let c(l) = 3*l**2 - 2*l + 23. Let k(h) = 3*c(h) + 4*r(h). Is k(-10) a multiple of 2?
False
Let b be 1*0/(-2 + 1). Suppose 4*z = 4*m - 3*m - 32, -4*m - 2*z + 56 = b. Suppose 0 - m = -4*q. Does 2 divide q?
True
Suppose 18*g - 35*g = -13651. Is g a multiple of 50?
False
Let l = 101 - 6. Let p = l - 46. Is 7 a factor of p?
True
Let k(n) = -3*n - n**3 - 2*n**2 + 2*n**3 + 5*n + 2. Let v be k(-2). Is 11 a factor of (v/4)/(6/(-32))?
False
Let m = -222 + 2536. Is 13 a factor of m?
True
Let s = 27 - 23. Let p be s + 4 - 3 - 1. Is (-78)/p*8/(-6) a multiple of 5?
False
Let g(u) = 101*u - 50*u - 54*u - 19. Let v(w) = -11*w**2 - w. Let a be v(1). Does 3 divide g(a)?
False
Let x(l) = l**3 - 2*l**2 + l - 5. Let f = -9 + 11. Suppose 0 = 3*k + 4*n - 23, -k + 10 = f*n + 1. Does 22 divide x(k)?
False
Let q = -283 - -403. Does 12 divide q?
True
Let d = 52 - 108. Let x = d + 112. Is 9 a factor of x?
False
Suppose -837 = -3*n - 5*j, 589 = 4*n + 4*j - 527. Is n a multiple of 31?
True
Let a = 19 - 81. Let r = 96 + a. Is 8 a factor of r?
False
Suppose -6*h + 5*k + 19 = -7*h, 3*k = -2*h - 10. Let n(x) = 20*x - 4. Let d(t) = 20*t - 5. Let c(m) = -5*d(m) + 6*n(m). Does 16 divide c(h)?
False
Let m(t) = -t**3 + 17*t**2 - 29*t - 13. Let l be m(15). Suppose x - 35 = -3*g, x - 5 = -l*g + 27. Does 2 divide x?
True
Suppose -2*k + 3 = 2*n + 3*n, 5*k - 4*n - 24 = 0. Suppose -3*w - 64 = -k*g - w, g - 2 = 4*w. Does 7 divide g?
False
Suppose 3*h - 2*y = 206, 2*h + 9*y - 7*y = 154. Does 5 divide h?
False
Let r = -69 + 367. Is r a multiple of 4?
False
Let h(w) = -w**2 - 7*w - 4. Let u be h(-5). Let r(i) be the second derivative of -i**4/12 + 4*i**3/3 - 2*i**2 + 63*i. Is r(u) a multiple of 8?
True
Let f(l) = 3*l**2 - 18*l - 27. Let n(z) = -4 + 2 + z**2 - 2 - 6*z - 5. Let d(a) = -3*f(a) + 8*n(a). Does 2 divide d(7)?
True
Suppose -4*d + 3*v + 24 = -2*d, 36 = 3*d + 5*v. Let f = d + 0. Does 2 divide f?
True
Let q(n) = 8*n**2 - n - 12. Suppose -5 - 7 = 3*g. Is q(g) a multiple of 15?
True
Suppose 0 = 2*v + 5*d - 3*d - 812, v - 2*d = 415. Does 26 divide v?
False
Suppose 0*y = -3*y + 129. Let t = 52 - y. Is t a multiple of 9?
True
Let z = 140 - 9. Let m = -27 + z. Is 13 a factor of m?
True
Suppose 5*h + 30 = -k, 4*k = -5*h - 29 - 61. Let m be -40 + (-5)/((-10)/(-4)). Let x = k - m. Is 22 a factor of x?
True
Let r(n) = 2*n**2 + 15*n + 3. Let m(x) = -x - 12. Let i be m(-4). Is 2 a factor of r(i)?
False
Let j = 31 + -44. Let h = 15 + j. Does 2 divide h?
True
Suppose 1125 = 4*b + 5*b. Is 13 a factor of b?
False
Let g be 2*-1 - (2 - 48). Suppose -4*p + 3*j + 116 = 0, -4*j = 2*p - 2*j - g. Is p a multiple of 7?
False
Suppose 2*m = 7*m + 35. Let u(y) = -y**2 + 2*y - 31. Let i(g) = -3*g**2 + 7*g - 93. Let h(b) = m*u(b) + 2*i(b). Is 29 a factor of h(0)?
False
Suppose -2*i + 6*i + 16 = 0, -o + 699 = 4*i. Does 5 divide o?
True
Suppose -5*z + 3*z + 5616 = 5*s, 3351 = 3*s - 5*z. Does 17 divide s?
True
Let x be (150/(-9))/(8/(-12) + 0). Let q = x + 23. Is 12 a factor of q?
True
Suppose -213*r + 217*r = 1728. Is 72 a factor of r?
True
Let j(u) be the third derivative of 11*u**5/30 + u**3/6 - 5*u**2. Does 15 divide j(-1)?
False
Does 53 divide (159/4)/((-9)/(-48))?
True
Let a(g) = -g**3 - 4*g**2 - g - 10. Let c be a(-4). Is (-54)/(-10) + c - 1006/(-10) a multiple of 9?
False
Let h(s) = 3*s. Let w(j) = -j - 1. Let d(i) = 5*h(i) + 4*w(i). Does 2 divide d(3)?
False
Suppose 4*l - 2 = 6. Let s be -1 - -4*l/(-4). Does 16 divide s + (-105)/6*-2?
True
Let r(c) = -120*c - 52. Let v be r(-10). Suppose -v = -13*b - 95. Is b a multiple of 10?
False
Let l(n) = -n**2 - 6*n + 10. Let d(f) = 1. Let u(q) = 6*d(q) - l(q). Let p be u(-8). Suppose 0 = -4*t - o - 0*o + 28, 3*o + p = 0. Is 8 a factor of t?
True
Suppose 0*i - i + 25 = 0. Let o = -4 - -8. Suppose v - i = -o*b, 7*v + b = 2*v + 163. Is 18 a factor of v?
False
Let v(s) = s**3 + 8*s**2 + 2*s. Let l be 2/(-2) + 1 + 3. Suppose -15 = l*k - 6. Does 12 divide v(k)?
False
Let y(f) be the second derivative of -f**5/20 + 11*f**4/12 - 13*f**3/6 + 9*f**2/2 - 4*f. Let x be y(10). Let q = -9 - x. Is q a multiple of 4?
True
Suppose -6 = -5*z + 2*z. Suppose -4*h - 4*t + 48 = 0, -z*h + 3*t + 24 = h. Is 5 a factor of h?
True
Suppose 6*r - 4*r = 5*y + 537, -507 = -2*r - y. Does 9 divide r?
False
Let s = 19 - 20. Let l = 1 - s. Suppose -l*r - 42 = -5*r. Does 14 divide r?
True
Suppose -4*r - 2*h = -8, 0*h = -4*r - 5*h + 8. Suppose 0 = -4*j + 11 + 9. Suppose j*u - 11 = r*f, 4*f - 30 = -f + u. Is f even?
False
Let a(t) = 2*t - t**2 - 10*t - 3 - 1 - 5*t. Is 8 a factor of a(-8)?
False
Suppose -3*h + 2*h = -2*t + 1991, 3*h = -4*t + 3957. Is t a multiple of 58?
False
Suppose -2*k = 2*k - 20. Suppose -5*l - y + 233 = -4, 5*y = -k*l + 225. Is 27 a fac