ple of 8?
True
Suppose 0 = 2*n + 5*g - 1214, 0 = g - 4*g. Does 43 divide n?
False
Suppose -3017 = -9*n + 1708. Is n a multiple of 25?
True
Suppose -15*s = -14*s - 5. Suppose -3*y = -s*y + 192. Is (-3)/(((-27)/y)/3) a multiple of 13?
False
Suppose -15*b = -16*b + 9. Let j(z) = -3*z**2 + 3*z - 6*z**2 + z**3 + 8 - 2*z. Does 3 divide j(b)?
False
Suppose 2*b + 10*b = 1992. Is 31 a factor of b?
False
Let v = -14 - -18. Suppose 5*n - 96 - 127 = -v*p, -2*p + 110 = 2*n. Is p a multiple of 22?
False
Suppose -2*z + 14 = 4*i + 38, -5*z = 4*i + 30. Is z + (-1397)/(-6) - 4/(-24) a multiple of 21?
True
Let a(h) = 6*h**2 + 3*h. Let d be a(-2). Suppose 23*q - d*q = 400. Is 10 a factor of q?
True
Let b(z) = 32*z - 8. Is 4 a factor of b(3)?
True
Suppose 3*m - 5*m - 14 = 0. Let d(i) = -6*i**2 - i**2 - 4 - 9*i - 36*i**3 + 35*i**3 - 5. Is d(m) a multiple of 15?
False
Let d(b) = -14857*b**2 + 3*b + 2. Let n be d(-1). Let s = n - -26438. Is 10 a factor of 4/(-22) + s/165?
True
Let k(l) be the first derivative of -l**4/4 - 2*l**3 + 3*l**2 - 12*l + 11. Does 6 divide k(-8)?
False
Suppose -18 = -9*c + 3*c. Is 40 a factor of 100/c*72/15?
True
Is 68 - (6 + -8 + 9) a multiple of 61?
True
Suppose 42*b - 6 = 39*b. Does 35 divide 270 + 2 - (b - 2)?
False
Let f(t) = 12*t**2 - 3*t + 1380. Is f(0) a multiple of 15?
True
Suppose 3*w + 3*o + 7741 = 7*w, 2*o = -6. Is 15 a factor of w?
False
Let v be 13*(-2 + (4 - 0)). Suppose 0 = 19*k - 17*k - v. Is 5 a factor of k?
False
Suppose 5*r - 75 = -k + 8, -4 = 4*r. Does 14 divide k?
False
Let l be (-5)/((-25)/153) - (-4)/10. Let x = 100 - l. Is x a multiple of 11?
False
Let o be 11 - (2 + -2)/(-4). Let q(h) = -h**3 + 12*h**2 - 12*h + 15. Let l be q(o). Suppose l*c = 6*w - w + 61, -4*c = w - 79. Does 7 divide c?
False
Let x = 850 - -12. Let b be x/10 - (-9)/(-45). Suppose b = 5*h + 2*w - 198, -3*w = -6. Is h a multiple of 14?
True
Suppose 3*a - 1908 = 2*a. Is 106 a factor of a?
True
Suppose 0 = 3*i - 14 - 4. Does 4 divide (-36)/(-2) + (i - 5)?
False
Let k(v) be the second derivative of -v**3/6 - 9*v**2/2 - 3*v. Let n be k(-10). Let a(h) = 59*h - 1. Is 12 a factor of a(n)?
False
Let f(a) = -2*a**2 + a**3 + 16 + 4*a - 3*a + a**2 + 13*a**2. Let n be f(-12). Let i(g) = g**2 + g - 7. Does 13 divide i(n)?
True
Let c(q) = -512*q + 300. Is c(-3) a multiple of 51?
True
Suppose -2*f - 4*x + 2*x = -76, 5*x = 3*f - 138. Let j(w) = w**3 - w**2 + w - 4. Let b be j(3). Let p = f - b. Is p a multiple of 8?
True
Let k = 851 - -207. Is 6 a factor of k?
False
Let u = -589 - -746. Is u a multiple of 6?
False
Let f(w) = 4*w + w**2 + 17*w**3 + 15*w**3 - 4 + 3*w**2. Let o(a) = 225*a**3 + 27*a**2 + 27*a - 27. Let h(x) = -27*f(x) + 4*o(x). Is 18 a factor of h(1)?
True
Suppose -3*o - 10 = 17. Let v(m) = 2*m**2 - 8*m - 8*m**2 + 15*m**2 + m**3 + 2*m. Is 18 a factor of v(o)?
True
Let s(l) = 2*l**2 + 28*l + 74. Is s(-22) a multiple of 34?
False
Let w(m) = -8*m + 42. Does 14 divide w(0)?
True
Let b = 3 + -6. Let h be 2 - -5 - 3/b. Suppose 2*i - 52 = h. Does 15 divide i?
True
Does 15 divide 2/11*1 - (-3198390)/1529?
False
Suppose -r + 5*r - 8 = 0. Suppose -r*u - u + 6 = 0. Suppose -u*g = -10 + 4. Is g even?
False
Let c = -50 + 50. Suppose f - 78 - 125 = c. Is 29 a factor of f?
True
Suppose -7*k + 3*k + 12 = 4*a, 4*k = a + 12. Suppose -2*n + 12 = 2. Let w = a + n. Is w even?
False
Let p(l) = 2*l**2 + 2*l + 3. Let f(u) = -2*u - 6. Let n be f(-6). Let q(t) = -t + 4. Let v be q(n). Does 7 divide p(v)?
True
Suppose -1053 = -2*r - 3*u, -u + 509 = r - 3*u. Suppose 6*d - 2*d = 5*t + r, 0 = -3*t + 15. Does 20 divide d?
False
Let a(v) = -v + 54. Let r be a(-24). Let g be (1 - -1) + -17*1. Let q = g + r. Is q a multiple of 21?
True
Let y = 55 - 15. Does 20 divide y?
True
Suppose -3*u - 5*n = -324, 8*u - 3*n - 216 = 6*u. Is 9 a factor of u?
True
Let p(m) be the second derivative of 41*m**3/6 - m**2/2 - 6*m. Is 12 a factor of p(2)?
False
Suppose -4*b + 600 = b - 4*y, 2*b + 2*y - 240 = 0. Suppose b = 25*p - 21*p. Is 6 a factor of p?
True
Suppose -y = -2*o - 1, 2*o - 3*y + 3 = -0. Suppose o*s - 5*s = 0. Suppose s = -3*j + 5*f + 116, j + 4*f + 34 = 2*j. Is j a multiple of 21?
True
Let q = -70 - -72. Suppose -2*v - q*y + 62 = 0, v - 21 = -4*y + 1. Does 17 divide v?
True
Suppose -4*z = 5*u - 7*u - 3666, -4*u = 3*z - 2755. Is 13 a factor of z?
False
Suppose -3*q = -4*q + 2. Suppose 5*j + q*f - 898 = 0, 2*f + 181 = j + f. Is 10 a factor of j?
True
Let g = 5992 - 3492. Is g a multiple of 25?
True
Suppose 4*b - 1952 = 4*k, 0*k = 2*k - 4. Is b a multiple of 35?
True
Let m(j) = 10*j - 4. Let b be m(-3). Let u = b - -63. Is 8 a factor of u?
False
Let f(v) = -2*v**3 + 7*v**2 - 3*v + 1. Let t be f(5). Let n = t - -169. Is n a multiple of 20?
True
Suppose 3*s - 494 = 5*y, -3*s + 3*y + 145 = -353. Is 6 a factor of s?
True
Suppose 0 = -c + 20 - 12. Let s = 63 - c. Does 5 divide s?
True
Suppose 3*l - 49*t = -51*t + 266, -4*l + 354 = 2*t. Does 22 divide l?
True
Let c(d) = d**2 - 16*d + 21. Let a be c(15). Suppose a*x - 36 = 3*x. Let i = x + -8. Does 3 divide i?
False
Is 18 a factor of 306/4*-24*3/(-9)?
True
Let r(v) = v**3 + 22*v**2 - 27*v - 124. Does 16 divide r(-15)?
True
Suppose 19*p - 315 = 1509. Does 8 divide p?
True
Let r(v) = v. Let z(b) = -25*b**2 - 2*b + 2. Let u(j) = r(j) - z(j). Does 12 divide u(-2)?
False
Let o = 132 + 8. Is 5 a factor of o?
True
Let f be 62/(-10) - (-3)/15. Suppose -2*y + 0*y = 3*j + 14, -1 = 5*y - j. Is 19 a factor of y/2*f - -54?
True
Let w = 454 - 389. Is 5 a factor of w?
True
Let j = -252 + 489. Is j a multiple of 13?
False
Suppose z = -z, 0 = -q + 5*z - 1. Let g(i) = -8*i**3 + i. Let l(u) = -7*u**3 - u**2 + u. Let k(o) = 3*g(o) - 2*l(o). Is k(q) a multiple of 3?
False
Let g(x) be the third derivative of 1/2*x**3 + 0*x + 8*x**2 + 1/8*x**4 + 0 - 1/60*x**5. Does 2 divide g(3)?
False
Suppose -5181 = -13*g + 4179. Is g a multiple of 40?
True
Suppose -2*x - 3 = 3*u + x, 0 = 2*x + 4. Let i be 296/(-48) - u/(-6). Let f(r) = -5*r - 14. Is 16 a factor of f(i)?
True
Suppose -3*d + 15 = 2*d. Suppose 0*q - d*q = 39. Let i = q + 22. Does 3 divide i?
True
Does 7 divide (-2964)/(-10) + (-140)/(-25) + -6?
False
Suppose -7*y + 2*y = -10. Suppose y = 2*f, 2*f = -h - 0*h + 282. Is 14 a factor of h?
True
Let j = -2209 + 3551. Is j a multiple of 61?
True
Let q(r) = -r**2 - 8*r - 5. Let b be q(-3). Is 28 a factor of 112*(0 + 5/b)?
True
Suppose 2*v + 6*v = 16. Suppose v*p = 6*p - 188. Is p a multiple of 9?
False
Suppose 108*i - 221301 = 41*i. Is i a multiple of 122?
False
Let t = 387 + -6. Is 12 a factor of t?
False
Suppose 5*v + 28 - 3 = 0, 0 = -g - 5*v - 19. Suppose 0 = -4*u + 7*u - g. Suppose u*z - 19 = 19. Does 4 divide z?
False
Let f be (-3)/(-12) - 15/(-4). Let d be 2 + (-9)/(1 - f). Suppose -2*a + 44 = -5*q, a - d*q = -0*q + 32. Is a a multiple of 11?
False
Let n(w) = w**2 + 3*w - 10. Let l be n(-7). Let c be (-694)/(-6) - (-6)/l. Suppose -5*q + 0*k = 3*k - c, 4*q + 2*k = 92. Is 18 a factor of q?
False
Let f(i) = -i + 5. Let u be f(2). Suppose -u*h + 8 + 58 = 0. Does 15 divide h?
False
Suppose 735*q - 2934 = 729*q. Does 28 divide q?
False
Suppose 6*z + 1192 = 6808. Is 19 a factor of z?
False
Let j(b) = b**3 - 15*b**2 - 10*b. Suppose -32 + 121 = 5*n - 3*a, 3*n + 5*a = 33. Is 32 a factor of j(n)?
True
Let z be (7 - (-23)/(-2))/(3/(-4)). Suppose z*r = -95 + 335. Is r even?
True
Does 21 divide 714/(-136)*4/(-1)?
True
Let a(f) = -3*f**3 + 5*f**2 - 7*f + 12. Let w(p) = -2*p**3 + 2*p**2 - 3*p + 6. Let h(y) = 3*a(y) - 5*w(y). Is h(-5) a multiple of 28?
False
Let t(g) = -g**3 - 14*g**2 - 13*g + 17. Let w be t(-13). Suppose -6*a + w = -49. Is 3 a factor of a?
False
Suppose -4*c + 5 = -7. Let l(q) = 6*q + c - q**3 - 2*q + 4*q**2 + 0*q. Is 18 a factor of l(-2)?
False
Suppose 36 = 12*m - 3*m. Is -2 - m/((-8)/62) a multiple of 13?
False
Suppose 5*d = 2*y - 24, -2*y - 4*d = -0*d + 12. Let c(n) = 12*n**2 - 3*n + 2. Let s be c(y). Let g = s - -16. Is 10 a factor of g?
True
Suppose 3*m = 3*a - 0*m - 111, -4*a - 4*m = -180. Is a a multiple of 7?
False
Suppose -h + 3*u + 19 = 0, -5*u + 35 = h + 8. Let x be (2/(-6))/((-4)/72). Let w = h - x. Is w a multiple of 4?
True
Suppose -5*o + 45 = 4*z, -7*z + 3*z - 3*o + 35 = 0. Suppose -5*l + z*c = -370, 4*l - c = -137 + 442. Is 11 a factor of l?
True
Suppose 