v = -50, 0*v + 43 = 3*r + 2*v. Suppose 3*q + 2*q + r = 0. Does 21 divide b(q)?
False
Suppose -u = 2*k + 2*u - 826, 2*k - 826 = 2*u. Suppose -4*s + 3*h + k = 0, -2*h - 407 = -4*s - h. Is s a multiple of 11?
False
Let h = -50 - -50. Suppose -7*r = -h*r - 140. Is 4 a factor of r?
True
Let u(l) = -230*l - 314. Is u(-6) a multiple of 82?
True
Let t(w) = -w**2 + 50*w - 321. Does 62 divide t(28)?
False
Let k(s) = -42*s + 74. Is k(-4) a multiple of 22?
True
Let h be (-2)/((-3 + 5)/(-8)). Let m be (-2)/h + (-100)/(-16). Suppose m*f = 154 - 22. Does 11 divide f?
True
Let p be 52 + -1*(-2 + 3). Let f = p - 76. Let h = f - -69. Does 11 divide h?
True
Let h = -213 + 276. Is h a multiple of 9?
True
Let n(v) = -5*v - 12 + 79*v**2 + 17*v - 75*v**2. Is n(-6) a multiple of 19?
False
Suppose -2 = -p + 2. Suppose p*a - 6*a = -48. Is 15 a factor of a?
False
Let m(z) be the third derivative of z**5/30 - z**4/12 + z**3/6 - 4*z**2. Let n be m(2). Suppose 3*p = n*p - 102. Is p a multiple of 17?
True
Suppose -103*u + 38780 + 4171 = 0. Is 16 a factor of u?
False
Let w be 16/10*(-8925)/(-30). Let i = w + -330. Is 27 a factor of i?
False
Let m(g) = 2*g**2 + g - 1. Let f be m(-3). Let l = 9 - f. Let i = 60 - l. Does 13 divide i?
True
Let l(k) = -11*k**3 - 26*k**2 - 41*k. Let s(o) = 20*o - 4*o**2 + 3*o**2 + 14*o**2 - 9*o**3 + 14*o**3. Let g(y) = -4*l(y) - 9*s(y). Is 12 a factor of g(-12)?
True
Let i = -140 - -81. Let n = 92 + i. Suppose 0*g - g - f + 6 = 0, 5*f + n = 2*g. Does 6 divide g?
False
Let b(a) = 337*a**3 - 2*a + 1. Does 42 divide b(1)?
True
Let r(b) = -4*b - 7. Let j be r(-3). Suppose 0 = j*p + 4*h - 300, 0*h - 2*h - 10 = 0. Is 25 a factor of p?
False
Is ((-16)/(-44))/(-2) - 20222/(-22) a multiple of 57?
False
Suppose -32*b = -10245 - 15995. Is b a multiple of 15?
False
Let c(j) = 3*j - 16*j + 869 - 861. Does 20 divide c(-4)?
True
Let t(r) = 3*r**3 + 2*r**2 + 5*r - 28. Let u(l) = -2*l**3 - l**2 - 3*l + 14. Let z(i) = -5*i. Let v be z(1). Let n(q) = v*u(q) - 3*t(q). Does 7 divide n(0)?
True
Suppose 4*b - 8*b = -320. Is b - 4*2/(-4) a multiple of 41?
True
Let k(x) = 149*x + 1. Let f be k(1). Suppose -3*n - 2*p + 22 = 0, -6*n - 2*p + 14 = -4*n. Is 15/(-20) + f/n a multiple of 5?
False
Does 6 divide 19210/25 - 12/(-20)?
False
Let l = -6 + 8. Suppose 0*n = -l*n + 8. Suppose 0 = -f + 4, f + 57 = n*t + 13. Does 8 divide t?
False
Let x = -37 - -41. Suppose -x = -4*v + 140. Is 12 a factor of v?
True
Let p be 1/2*(0 + -2). Let i = p + 4. Is 3 a factor of 6/(-3 + (i - -2))?
True
Let w(m) = -m**2 + 5*m - 4. Let h be w(4). Let q be (h + 1)/(3/6). Suppose -5*v + 27 = -4*v - 5*y, q*v - 3*y = 54. Is v a multiple of 12?
False
Let g = -185 + 240. Does 11 divide g?
True
Let c be (28/(-10) - -2)/(2/85). Let q = 2 - c. Does 12 divide q?
True
Let v(u) be the second derivative of -u**3/6 - u**2 - 3*u. Let j be v(-6). Suppose 0 = j*y - 0*y - 96. Is 18 a factor of y?
False
Let l = 30 + -27. Let a(k) = 20*k - 3. Is a(l) a multiple of 19?
True
Let t(w) be the second derivative of -w**5/20 + 3*w**4/4 + 3*w**3/2 - 3*w**2 - 7*w. Is t(9) a multiple of 15?
True
Let y(q) = 3*q**3 + 48*q**2 - q + 35. Is y(-15) a multiple of 29?
True
Suppose 2*f - 11 = -5*u, -4*u = f + 2*f - 13. Suppose 0 = f*m - 3, -m = 3*v + 2*m - 111. Is 6 a factor of v?
True
Does 71 divide -3 + -2 + 14 - -1198?
True
Let b = 26 + -26. Suppose b*c + c = -1. Does 18 divide c/4 + 273/4?
False
Suppose -u - 77 + 23 = 0. Let d = 31 + u. Let l = d - -41. Is 9 a factor of l?
True
Let n = 325 + -298. Does 7 divide n?
False
Let f = 30 - 24. Let q(n) = -n**2 + 9*n - 9. Is q(f) a multiple of 9?
True
Suppose -5*t - 6 = -2*t, -3*t = -4*u + 714. Suppose 0*h - h - d = u, 5*h + 903 = d. Is 10 a factor of 1/((-2)/h*3)?
True
Let j = 13 - -31. Suppose -11*z = -15*z + 20. Suppose 0 = -z*k + 2*s + 55, 4*k - j = -5*s + s. Does 11 divide k?
True
Let j = -51 + 53. Is 8 a factor of 23/((-2)/j + 2)?
False
Suppose 321 = -5*s + 5*n - 794, -s - 235 = 5*n. Let y = -125 - s. Is y a multiple of 20?
True
Suppose 0*q + a = 4*q - 9, 5*a = -5. Suppose 3*d - 5*d = q*z - 32, -3*z - 5*d = -52. Does 10 divide z?
False
Let x = 525 - 541. Let y be (-64)/3 + 3/9. Let s = x - y. Is s even?
False
Suppose -841*j + 2080 = -833*j. Does 26 divide j?
True
Suppose 10 = 4*y + y. Suppose -2*h - b = -66 - 5, 0 = 4*h - y*b - 154. Does 7 divide h?
False
Let w(z) = -z**3 - z**2 - 4*z - 2. Let q(d) = 2*d - 3. Let i be q(-5). Let h(a) = a**2 + 12*a - 16. Let v be h(i). Does 5 divide w(v)?
False
Let l = -984 - -1409. Is 17 a factor of l?
True
Suppose 0 = -0*y - 4*y + 2*y. Suppose -5*b + o + 615 = 0, 5*o + y*o = -b + 149. Does 31 divide b?
True
Let a(t) = 3*t**2 - 59*t + 26. Is 35 a factor of a(27)?
False
Suppose -327 = -g - 2*g. Suppose 0*p + 4*h = -3*p + g, -3*h - 230 = -5*p. Let u = -25 + p. Does 18 divide u?
True
Suppose 3*d + 791 = -4*p, 0 = 4*p - 0*p + 20. Let m = -129 - d. Is m a multiple of 16?
True
Let a = -26 - -137. Let j = a - 95. Does 2 divide j?
True
Let w(x) = -5 + 33*x**3 - 16*x**3 - 18*x**3 - 8*x**2 + 2*x. Let s be w(-9). Does 11 divide (s/(-8))/((-6)/72)?
False
Suppose -35*z = -37*z + 54. Let r = z - -19. Does 23 divide r?
True
Let p = -3 + -6. Let c be (7 + -4)/p*-186. Let q = c - 29. Is q a multiple of 8?
False
Let j(y) = y**2 - 2*y - 3. Let b be j(4). Suppose -3*o + 260 = -b*p, o - 4*o + 224 = 4*p. Let w = -44 + o. Is 12 a factor of w?
True
Let o be (-58)/5 - 6/15. Let b = 26 - 23. Does 19 divide b + o/2 + 22?
True
Let t = -44 - -50. Let u(w) = w + 14. Is u(t) a multiple of 3?
False
Let o(l) = 3*l**2 - 8*l + 2. Let g be o(-5). Suppose -548 = -3*j - d + g, 4*j = 2*d + 870. Is 20 a factor of j?
True
Let u(o) = -3*o**3 + 19*o**2 + 9*o + 4. Let d(y) = -5*y**3 + 29*y**2 + 13*y + 6. Let x(a) = 5*d(a) - 8*u(a). Let q be x(-6). Does 18 divide q - (2 - 0) - -52?
True
Let t be (1/2)/(9/108). Suppose -2 = t*n - 8. Does 6 divide ((-8)/5)/(n/(-15))?
True
Suppose -3*j + k = -225, 7*k = -3*j + 2*k + 225. Let x = -39 + j. Is x a multiple of 35?
False
Suppose 0 = 16*c - 236 - 500. Is 17 a factor of c?
False
Let w(k) = k**2 + 4*k + 5. Let h be w(-4). Suppose 220 = 5*l + 2*u, -l + u = -h*l + 179. Is l a multiple of 18?
False
Let n(q) = -q**3 + 12*q**2 - 3*q - 14. Let j be n(13). Is 34 a factor of 6/4*j/(-9)?
False
Let f(v) = 1 + 2 + 0 - 4 - 49*v. Let h be (-15)/9 + 8/12. Is 11 a factor of f(h)?
False
Suppose -2*o = -2*a - 34, 4*o + 4*a = 15 + 29. Suppose -o*n + 1080 = -10*n. Does 27 divide n?
True
Is (-14)/63*-105*(-612)/(-20) a multiple of 74?
False
Let m = 104 - 84. Suppose 3*t - 7*t = -m, 5*k - 5*t = 755. Is 26 a factor of k?
True
Let r be (-702)/(-11) + 6/33. Let c = r - 22. Suppose 4*s + 4*t = 156, -s - 2*t = 2*t - c. Is s a multiple of 10?
False
Let x = 38 + -31. Let b = x + -1. Is 5 a factor of b?
False
Is (-186)/(-8)*((1 - -12) + -1) a multiple of 25?
False
Let n(s) = s**3 - 9*s**2 + 4*s + 4. Let q be n(7). Let p = q + 79. Does 7 divide p?
False
Is 8 a factor of 2210 + (-5)/(5 - -5)*-6?
False
Suppose -2*s - 678 = -4*y, 30*y + 2*s = 31*y - 165. Is y a multiple of 17?
False
Let r(c) = c**2 + 13*c - 48. Is r(-17) a multiple of 5?
True
Let n = 9488 + -6518. Does 6 divide n?
True
Suppose 0 = -8*f - 126 - 418. Let n = f + 113. Is 15 a factor of n?
True
Does 23 divide 1486/38 + ((-10)/(-19))/(-5)?
False
Let z = 209 + -10. Let b(j) = 27*j - 1. Let c be b(-3). Let a = c + z. Does 26 divide a?
False
Is 13 a factor of ((-3)/(-8)*-2)/(29/(-1972))?
False
Let f(j) = -j**2 - 3*j + 2. Let m be f(-3). Suppose -3*t + 266 = m. Is t a multiple of 4?
True
Suppose 0 = 88*p - 83*p - 1240. Does 31 divide p?
True
Suppose 133 = 3*b - 3*g - 2*g, -4*g = -3*b + 134. Is 7 a factor of -4 + b/2 + 2?
True
Suppose -15*n + 13*n + 60 = 0. Let s = n + -11. Is s a multiple of 19?
True
Let x = 898 + -635. Suppose 2*u = 21 + x. Does 16 divide u?
False
Let b be 2/(-1) - 230/(-10). Suppose -2*s - 2*q + 189 + b = 0, -2*q - 390 = -4*s. Does 22 divide s?
False
Let p be 7/2 - (-8)/(-16). Suppose -2*c + p*x + 324 - 23 = 0, -x + 3 = 0. Suppose 2*u + c = 5*s, 5*s + 3*u - 14 = 4*s. Is s a multiple of 9?
False
Suppose -126*w - 741 = -69*w. Suppose -72 = -0*g - 3*g. Let s = g + w. Is s a multiple of 11?
True
Suppose f - 1 = -5*t + 8, 4*f - 36 = -2*t. Is (-16)/(-12)*f/2 a multiple of 6?
True
Is 17672/20 - (-6)/15 a multiple of