0). Does 9 divide f + (-16)/6*-21?
False
Suppose 28*i - 25*i = 2*p + 117, 196 = 5*i - 3*p. Does 4 divide i?
False
Let n(x) be the first derivative of 19*x**3/3 + 6*x**2 + 8*x - 23. Is n(-4) a multiple of 22?
True
Let o be (10/3)/(((-8)/15)/8). Does 6 divide ((-12)/16)/1*2*o?
False
Suppose -6720 = -33*b + 21*b. Is b a multiple of 49?
False
Let m = 2018 - 1100. Is 25 a factor of m?
False
Let t(r) = -11*r - 3. Suppose 0*v + 6 = -2*v. Let h be (4/v)/((-14)/(-21)). Is 19 a factor of t(h)?
True
Let v(b) = b**2 - 17*b - 14. Let f be v(18). Suppose f*o - 260 = o - 2*l, 5*l = -25. Is 15 a factor of o?
True
Let g(b) = -2 + 1 + 6. Let w(j) = j - 19. Let a(z) = 9*g(z) + 2*w(z). Is 17 a factor of a(8)?
False
Let d be (-6)/(-9)*3 - -4. Suppose 3*k = d, s + 3*k = 2*k + 146. Is s a multiple of 12?
True
Let t = -25 - -35. Let i be (9 - t)/(2/494). Let f = -147 - i. Is f a multiple of 25?
True
Suppose 17*t - 2099 - 4106 = 0. Does 27 divide t?
False
Suppose 3937 = 18*f + 607. Is f a multiple of 37?
True
Let o = 1350 + -833. Is o a multiple of 18?
False
Let u(w) = -w**3 + 15*w**2 - 16*w - 5. Let b be u(9). Let r = b - 209. Does 11 divide r?
False
Let i = 871 + -392. Suppose 451 = 6*l - i. Is l a multiple of 29?
False
Suppose r - 10 = -3*r + 3*v, 4*r + 5*v - 26 = 0. Suppose 3*f - 3*d - 6 = 0, -r*d = -f - d. Suppose 0 = 4*y + 1 + f, 27 = 2*n - 3*y. Is 3 a factor of n?
True
Suppose 6300 = -4*k + 13*k. Does 12 divide k/4 + 5 + 0?
True
Let i = -37 - -48. Suppose i = 8*a - 109. Is 5 a factor of a?
True
Let o = 48 + 101. Is o a multiple of 40?
False
Suppose -373041 = -55*p - 150731. Does 23 divide p?
False
Suppose -2*h - 6 - 2 = 0. Let t be (15/(-2))/(h/56). Suppose 2*c + 105 = 3*s, -2*s - 2*c + t = s. Does 12 divide s?
False
Let i = -149 - -161. Is 28/6*i/(-3 - -7) a multiple of 3?
False
Suppose 0 = 6*h - 11*h - u + 1042, h - 206 = u. Is h a multiple of 8?
True
Let s(n) be the third derivative of n**5/60 + n**3/2 + 8*n**2. Let v be s(2). Let y = v + 0. Is y a multiple of 3?
False
Suppose -10 = -4*o + 3*o - s, -5*s = -2*o + 6. Suppose 0 = -o*q + 5*q + 9. Suppose -17 = -q*i - 5. Does 2 divide i?
True
Suppose a = -5*k + 993, 2*k + 4*a + 43 = 451. Does 11 divide k?
True
Suppose 18 = 2*v - 432. Is 6 a factor of v?
False
Let w(k) = -2*k**3 - 4*k**2 - 3*k - 3. Let b be 168/(-35)*10/(-3). Suppose -4*d = 2*v - 0*d + 12, 3*v = -4*d - b. Does 25 divide w(v)?
False
Suppose -4*o - 8 = 0, 3*o = 2*r - 5*r + 3. Suppose -l + b + 80 = 0, -r*l + 230 = -3*b - 2*b. Is l a multiple of 17?
True
Suppose -5*i - 26*q + 22*q + 8302 = 0, -5*i - 2*q = -8296. Is 9 a factor of i?
False
Suppose -3*x = -4*x + 2. Suppose -3 = -3*y, -b - 3 = -y - x*y. Suppose b*j + 300 = 5*j. Is j a multiple of 30?
True
Let d be (4 - 164/20) + (-1)/(-5). Let y = 13 + d. Does 3 divide y?
True
Suppose 24*j - 680 = 14*j. Is 17 a factor of j?
True
Suppose 2*h + 2*q + 588 = 5*h, h - 201 = -q. Does 6 divide h?
True
Let i be 34/3*3/2. Suppose 0 = -0*n + 2*n + 20. Let b = i - n. Does 23 divide b?
False
Let w(c) = -185*c**3 - 2*c**2 - 2*c - 1. Let v be w(-1). Does 23 divide (-1*(-6)/(-4))/((-4)/v)?
True
Let x be (-1)/5 + 26/5. Suppose 5*f = m + 803, -4*f + 369 + 286 = -x*m. Does 8 divide f?
True
Let a = -88 + 213. Let d = -81 + a. Does 8 divide d?
False
Suppose 14*v = 24*v - 2040. Suppose -7*s = -11*s + v. Is s a multiple of 19?
False
Let m be (3 + (-31)/(-5))*30/2. Let h = m - 66. Does 9 divide h?
True
Suppose -1287 = -g - 3*s, -32*g + 1287 = -31*g - 4*s. Is 31 a factor of g?
False
Let k = -13 - -12. Let x be (k - 0)/(6/(-660)). Suppose 6*p - p - x = 0. Is 8 a factor of p?
False
Let l = -5 + 3. Let f(x) = -94*x - 5. Let d(o) = -19*o - 1. Let h(t) = 22*d(t) - 4*f(t). Is 12 a factor of h(l)?
False
Let l(x) = -46*x**3 - 3*x**2 - 4*x - 1. Let f = 22 + -23. Is l(f) a multiple of 11?
False
Let t(o) = o**3 + 6*o**2 + o - 6. Is 2 a factor of t(5)?
True
Suppose -262 - 1178 = -4*t. Is t a multiple of 18?
True
Suppose -32*n + 34*n = 3*d - 2492, 3 = -3*n. Is 10 a factor of d?
True
Let c(q) = 7*q + 1. Let s be c(1). Suppose 3*p + 1 = 5*g, -3*p + s = 5*g - 11. Suppose 0 = -2*o + p*o - 23. Does 12 divide o?
False
Let b(n) = -19*n**3 + n**2 + 6*n + 42. Is b(-5) a multiple of 18?
True
Let d(o) = -66*o + 2. Suppose 6*j = 10*j + 8. Is d(j) a multiple of 10?
False
Suppose -10*u + 20*u - 10440 = 0. Does 18 divide u?
True
Let w be ((-16)/(-10))/(22/(-55)). Does 4 divide w - -15 - 6/(-2)?
False
Let o = -616 - -1384. Let j be ((-1)/(-2))/((-8)/o). Let z = -32 - j. Does 16 divide z?
True
Suppose 3*j - 636 = -4*g, 4*j = 7*j - 3*g - 636. Does 65 divide j?
False
Suppose g - 510 = -g. Let m = -127 + g. Suppose -m + 24 = -4*x. Is 8 a factor of x?
False
Suppose -2*r - 108 = -6*r. Let i = -11 + r. Does 18 divide 0/7 + i*2?
False
Let o be ((-8)/6)/((-2)/6*2). Is o/9 + (856/36 - -2) a multiple of 22?
False
Let m(f) = -f**3 + 8*f**2 + 10. Let s be m(7). Suppose -2*x - 6 = 0, -5*x + 7 = -3*c - s. Is 8 a factor of (18/(-7))/(c/252)?
True
Let t be (-16)/(-56) + (-66)/(-14). Suppose -3*y = a + 654, 2*a + 2*a + t*y = -2616. Does 18 divide a/(-18) - 3/9?
True
Let d = -1800 - -3046. Suppose t - 8*t = -d. Is t a multiple of 12?
False
Let b(m) be the second derivative of 3*m**3/2 + 18*m**2 - 16*m. Is 9 a factor of b(7)?
True
Suppose 2*h = 7*h - 5. Let g be (-1 + h)/((-18)/9). Suppose g = 3*a - 3*p - 93, 5*a + 77 = -5*p + 212. Is a a multiple of 11?
False
Let z be (-5 - (4 - 6)) + -10. Does 20 divide 3 - (4 + 3*z)?
False
Let u = 9 + -3. Let n be u/(3 - 5) + 8. Suppose -n*m - l = -334, 3*m + 3*l - 19 = 179. Is m a multiple of 14?
False
Suppose 4*o - 2542 = -2*t - 3*t, -5*t + 3*o + 2556 = 0. Is t a multiple of 59?
False
Let p(u) be the first derivative of -5*u**2 - 18*u - 22. Is 7 a factor of p(-7)?
False
Let l(j) = 7*j - 3. Suppose -5*t = m - 7, -5*m - 35 + 10 = -5*t. Suppose -k + t = -1. Is l(k) a multiple of 9?
True
Suppose 554 = -7*k - 412. Let p = -78 - k. Does 30 divide p?
True
Let n(y) = 4*y - 33. Let d be n(8). Does 22 divide 2 + (173/1 - d)?
True
Let f be (4 - 11)*2/(-7). Suppose f*h = -2*h + 320. Does 8 divide h?
True
Is 25 a factor of 9/21 - (-1 + 221/(-7))?
False
Let y = -17 + 35. Suppose -m + 0*x = -2*x + y, 0 = 3*m - 5*x + 49. Let v(t) = t**3 + 7*t**2 - 12*t - 11. Is v(m) a multiple of 5?
False
Suppose 0*w - 4*w - 196 = 0. Let t = 133 + w. Suppose 0 = 5*k - t - 1. Is 5 a factor of k?
False
Let v(z) = 6*z**2 + z + 12. Let g be v(5). Suppose -5*s - 3*p + 72 = -3*s, 5*s = -p + g. Is s a multiple of 15?
False
Is -3 + (-64)/(-20) + 870/25 even?
False
Suppose -5*p + 97 = 5*o - 48, o - p - 39 = 0. Is 34 a factor of o?
True
Suppose -302 = -1809*t + 1807*t. Suppose -3 - 7 = -2*r + a, -4*a - 24 = -4*r. Suppose -5*q = r*z - 202, -3*z - 2*q = 2*q - t. Is z a multiple of 8?
False
Let u(q) = -66*q - 18. Let y be ((-8)/(-6))/(40/(-60)). Is u(y) a multiple of 19?
True
Let z be 1*5*(2 - (-9 + 10)). Suppose -z*k + 140 = 5. Is 27 a factor of k?
True
Let k = -7 - -57. Suppose k = 2*m + 3*m. Suppose -1 = -z + m. Is z a multiple of 6?
False
Does 97 divide (-1 + -678)*3*16/(-14)?
True
Let a(g) = -4*g**2 - 20*g + 5. Let m(v) = -3*v**2 - 20*v + 4. Let p(t) = 4*a(t) - 5*m(t). Is 17 a factor of p(17)?
True
Let w be 5/10*-3*-2. Suppose -2*j + 140 = 5*i - 4, 4*i - w*j = 129. Does 10 divide i?
True
Let d(i) = 6*i + 7*i - 8 - 2*i + 0*i. Is d(4) a multiple of 12?
True
Let t = 35 - 99. Let g = t - -132. Is 17 a factor of g?
True
Let t = 358 - -69. Is 37 a factor of t?
False
Let p = 14 + -12. Suppose p*q + 3*k = 6*q - 92, -k = -q + 23. Is 4 a factor of q?
False
Let v = -63 - -68. Is 10 a factor of (-2)/1 + ((-2375)/v)/(-5)?
False
Suppose 4*o - 651 = 201. Is o a multiple of 71?
True
Suppose h = 23 + 27. Let u = -283 - -372. Let d = u - h. Does 9 divide d?
False
Suppose -w = -2*w - 4. Let z be (-20)/(-11) + w/(-22). Suppose -z*s = -38 + 12. Is 13 a factor of s?
True
Let n = -12 - -15. Let i = n - -2. Suppose -i*t = -2*t - 39. Is t a multiple of 2?
False
Suppose 3*k = 1055 - 293. Let q = 440 - k. Does 28 divide q?
False
Let f = 26 + -17. Suppose 3*m = 15 - f. Does 3 divide 13 - (1 + m - 1)?
False
Let d(z) be the third derivative of -z**6/40 + z**5/30 + 8*z**2. Does 6 divide d(-2)?
False
Suppose -2*i - 60 = -0*i. Let g = 15 - -88. Let q = i + g. Is 11 a factor of q?
False
Let l = 80 - 34. Is 