se 0 = -4*s - s - 5. Let z(d) = 57*d**2 - 1. Let v be z(s). Suppose -7 = -3*q + v. Is q a multiple of 10?
False
Suppose -2*y + 6 = w, -22 = -5*w - 3*y + 1. Suppose 2*s = w*l - 252, -5*l - s + 315 = 3*s. Does 18 divide l?
False
Does 7 divide 6*1141/21 - 4?
True
Suppose h + 18 = -26. Let i = h + 47. Is i a multiple of 3?
True
Let a(x) = 3*x - 4. Let q be a(4). Suppose 2*w = -2*f + 8, 0 = -3*w + w - f + q. Suppose l + w*l = -2*n + 221, 3*l - 123 = 2*n. Does 11 divide l?
False
Suppose -5*b + 21 = -3*g - 19, 4*b + 5*g + 5 = 0. Suppose -b*k + 276 = 3*o - 289, 0 = -3*o + 5*k + 515. Does 13 divide o?
False
Suppose 3*j + 3*t - 4293 = -768, j - 1181 = -3*t. Does 19 divide j?
False
Let d(b) = 3*b - 11. Let v be d(5). Suppose 0 = -v*j + 12, 94 = 3*y - 3*j + 40. Is 10 a factor of y?
False
Suppose 6*v = v + 20, 3*c - 18 = -3*v. Suppose -c*b - 1 = -7. Suppose -b*s + 9 = -15. Is s a multiple of 8?
True
Suppose -3*f + 2*f = -1. Is 6/f*(-220)/(-33) a multiple of 40?
True
Let i(c) = -c**3 - c + 123. Does 3 divide i(0)?
True
Let n(p) = 88*p**2 - 6*p - 5. Does 7 divide n(-1)?
False
Suppose -5129 = -11*s + 6047. Does 20 divide s?
False
Is 33 a factor of (-2)/4 + 3369/6?
True
Suppose 80082 + 39882 = 39*f. Does 51 divide f?
False
Suppose -8*q + 4*q = -40. Let f be 795/6*12/q. Suppose -2*y - 6 + f = -5*l, -4 = 4*l. Is 15 a factor of y?
False
Let t = 137 + -283. Let n = -20 - t. Does 9 divide n?
True
Let m(i) = -1 + 6*i**2 + i**3 - 8*i - 3*i**2 + 7*i. Let d be m(-3). Suppose -35 = -d*p - 9. Is p a multiple of 11?
False
Suppose -3*v - g + 890 = 0, v + 15*g - 13*g - 290 = 0. Does 6 divide v?
False
Suppose 186*j = 184*j - 8. Is 15*2/2 + j even?
False
Let h(s) = -s**2 + 50*s + 61. Let z be h(24). Suppose 12*g + z = 2077. Is 29 a factor of g?
True
Let s(q) = q - 126. Let d be s(29). Let o = -31 - d. Is 11 a factor of o?
True
Suppose -497*c = -500*c + 1512. Is c a multiple of 14?
True
Let o = -1028 + 2021. Is 77 a factor of o?
False
Suppose -s = 5*j - 309, -s = -j - 2*j - 301. Is 21 a factor of s?
False
Suppose -7*w - 1260 = -52*w. Is 8 a factor of w?
False
Let f = 3 + -19. Let w = f - -46. Does 14 divide w/2 - (3 - 2)?
True
Suppose -g + 108 = 3*k + 2*g, -4*g = -4*k + 112. Is 15 a factor of ((-615)/(-10))/(12/k)?
False
Suppose 0 = -2*o + o - 5*r + 28, -4*o + 4*r = 8. Suppose q - 115 = 5*d - 4*q, 5*q + 101 = -o*d. Let u = 8 - d. Does 7 divide u?
True
Let y = -135 - -729. Does 9 divide y?
True
Suppose -531 = 7*u - 16*u. Is u a multiple of 3?
False
Let u(a) = -a**2 + 17*a - 46. Does 2 divide u(8)?
True
Let l(d) = -104*d - 165. Is 20 a factor of l(-5)?
False
Suppose -3*j = 2*j - 85. Let y = j + -15. Let b(d) = 3*d - 4. Does 2 divide b(y)?
True
Suppose 5*p = -4*j + 8779, -5*j - 3*p = -0*p - 10977. Is 12 a factor of j?
True
Let v(j) = 188*j**2 + 14*j + 32. Is v(-2) a multiple of 54?
True
Suppose 0*z = 3*z - 6. Suppose -z*u - 24 - 8 = 0. Let p = -2 - u. Is 7 a factor of p?
True
Let a(s) be the first derivative of 81*s + 2 + 0*s**2 - 1/3*s**3. Does 21 divide a(0)?
False
Suppose -5*p = -11*p + 2412. Is (-8)/20 + p/5 a multiple of 8?
True
Let n = -20 - -12. Let p be (-4)/n - 1/2. Is 11 a factor of 0 - -33*(p + 1)?
True
Let u be 4 - (0 - -4) - 1. Let x(v) = -37*v**3 + v**2 - v - 1. Does 19 divide x(u)?
True
Suppose 3*a + 3 = 4*a. Suppose c + a*c + 204 = 0. Let s = c - -91. Does 25 divide s?
False
Suppose -2*i + 99 = -3*z, 7 = -3*z - 8. Suppose -i*d = -37*d - 250. Does 8 divide d?
False
Let r = 44 + -65. Let k = r + 4. Let o = k - -61. Does 22 divide o?
True
Suppose -4*n = 3*a, -2*a = -n - 2*n + 17. Suppose -5*u = n*l - 130, -2*u + 60 + 23 = -5*l. Is u a multiple of 6?
False
Let b(q) = 7*q + 19. Suppose 0 = 2*o + 2*t - 18, o + 3*t - 15 = -t. Does 17 divide b(o)?
True
Let f(b) = -67*b - 35. Is 5 a factor of f(-3)?
False
Suppose 9 = -3*v - 4*n, 5*n + 16 = -3*v + 4. Let l = 0 + v. Let t = l + 14. Does 9 divide t?
False
Let d = 26 - -94. Does 20 divide d?
True
Suppose -3*m + 14 + 688 = 0. Is m a multiple of 19?
False
Let y(o) = -o**2 - 23*o + 22. Let d(k) = -k**2 - 23*k + 22. Let n(t) = -4*d(t) + 5*y(t). Is 37 a factor of n(-13)?
False
Suppose -3*d = 3*w - 213, -25*w + 20*w + 281 = 4*d. Suppose 0 = 3*j + 5*a - 25, -a - 2*a + 15 = 0. Suppose j = y - f - 17, -d = -4*y - f - f. Does 6 divide y?
True
Suppose 7*w = 672 + 9156. Does 13 divide w?
True
Let o(p) = 7*p - 24. Let f be o(4). Is f/18 - (-3 - 770/18) a multiple of 18?
False
Is 43 a factor of (-48776)/(-63) + (-8)/(-144)*-4?
True
Is (154/(-33))/((-1)/48) a multiple of 3?
False
Suppose 5*s - 15 = 615. Suppose -39*j = -36*j - s. Does 22 divide j?
False
Let b = -2011 + 3034. Does 30 divide b?
False
Let x = -175 + 194. Does 6 divide x?
False
Suppose 0 = -9*f + 13*f - 12. Suppose 2*r = -r + 1110. Suppose u - 2*m = 5*u - r, -285 = -f*u - 4*m. Does 25 divide u?
False
Let i(s) = 197*s**2 + s. Let f be i(1). Suppose -g = 2*g - f. Is g a multiple of 14?
False
Suppose -2*r + t + 47 = 0, -3*t + 31 = 3*r - 44. Let o be r/(-36) - (-140)/3. Suppose 2*q = -o + 124. Does 39 divide q?
True
Let r(n) = n**2 - 8*n + 27. Suppose 0 = -5*y - 3*i + 100, 2*y + 4*i = -2*y + 88. Is r(y) a multiple of 20?
True
Let s(z) = -z**3 - 4*z**2 - 8*z - 11. Let i be s(-3). Let d be (-1)/1 + (-2)/(-2). Suppose -3*n + 4*p + 68 = 0, -p - i - 1 = d. Does 11 divide n?
False
Let k = 7 + -5. Does 22 divide (5 - -5)/(k/22)?
True
Let h = 129 - -106. Does 6 divide h?
False
Suppose 5*w + s + 872 = 7*w, 0 = 3*w + 2*s - 1315. Is 14 a factor of w?
False
Let b(q) = 7*q**2 + 2*q - 2. Suppose -4*a + f = 4, 2*a + 3*f + 7 = -9. Let s be b(a). Suppose s + 29 = 3*h. Is h a multiple of 17?
True
Let v be 2 + (4 - 0)*1. Suppose -2*r = 8, -w - v*r = -r - 25. Is w a multiple of 9?
True
Suppose 2*x + 154 = 5*b, -4*b + 119 = 3*x + 5. Is 2 a factor of ((-4)/6)/((-4)/b) + 0?
False
Let q(v) be the second derivative of -v**3 + 7*v**2/2 + v. Let k be q(-8). Suppose -k = 5*j - 315. Is j a multiple of 23?
False
Suppose -3*h + 30 - 114 = -5*z, 3*z - 5*h = 60. Let u be 36/z - (-2)/(-5). Suppose 0 = -u*v + 3*a + 48, -98 = -4*v + 3*a - 2. Is v a multiple of 24?
True
Let b be 57 - -1 - (2 - 4). Suppose 3*j + 4*o - 253 + 65 = 0, j - b = -2*o. Let c = j - 33. Does 7 divide c?
True
Let c be ((24/9)/4)/((-4)/(-18)). Suppose 0 = -c*b - 3, 0 = 3*g + 7*b - 3*b - 386. Is 26 a factor of g?
True
Suppose -s + p = -3, 4*s + p - 17 = -0*s. Suppose -7*w = -s*w. Suppose w*l + 2 = -l, 87 = 5*v - l. Is v a multiple of 17?
True
Is 10 a factor of (-2247)/(-9) + (-28)/42?
False
Suppose -3*k - k = 272. Let s be (-11 + 10)*(29 - -2). Let l = s - k. Is l a multiple of 16?
False
Let o(x) = 127*x**2 - 7*x + 3. Is 46 a factor of o(2)?
False
Let n(f) be the second derivative of f**5/20 - f**4/2 - f**3 - 2*f**2 + 13*f. Let k = 2 + 6. Is n(k) a multiple of 15?
False
Suppose r - 43 = 11. Is r even?
True
Let w be ((-1)/(-5))/((-2)/(-20)). Suppose 136 = -w*m + 6*m. Let i = m + -22. Does 12 divide i?
True
Suppose -28*u + 3068 = -1832. Does 5 divide u?
True
Let d(g) = g**3 + 8*g**2 - 9*g - 5. Let p be ((-6)/(-4))/(9/(-156)). Let q = p + 18. Is d(q) a multiple of 13?
False
Suppose -k = k + 2*k. Is 13 a factor of 85 - (k - 4/(-1))?
False
Suppose -15 = -40*w + 35*w. Suppose -w = -c + 29. Is 13 a factor of c?
False
Suppose 4*h = b + 34, 5*b + 36 = 4*h + 3*b. Let r = h + -4. Suppose 36 = r*s - 3*s. Is s a multiple of 17?
False
Let u = 21 - -3. Let a be u/56 - 806/(-14). Let x = a - 10. Does 10 divide x?
False
Let d(s) = 6*s - 23. Let t(g) = -3*g + 12. Let h(q) = 3*d(q) + 5*t(q). Let l = -23 + 28. Is h(l) even?
True
Is (54 - 2) + 0 + 4 a multiple of 49?
False
Suppose 0 = 2*u + 2*n - 36, 5*u - 5*n + 28 - 138 = 0. Suppose 0 = -3*d - m + 125, 0 = 4*d - 3*d - 4*m - u. Is d a multiple of 4?
True
Suppose -2*s - 3*z = -5*s, 0 = -5*s + 3*z + 8. Let p(h) = 69*h + 10. Does 22 divide p(s)?
True
Let i(q) = q - 9. Let t(l) = 2*l - 10. Let n(w) = -3*i(w) + 2*t(w). Suppose 3*p - 25 + 10 = 0. Is 6 a factor of n(p)?
True
Suppose 3*z + 8 = -h, -2*z - 5*h - 37 = -10. Let s = -13 - z. Does 3 divide s/10*(-10)/4?
True
Suppose 0 = -9*d + 11*d - 132. Let n = d + -39. Is n a multiple of 27?
True
Let a(p) = 7*p + 5. Let r be a(-3). Let j = r - -19. Suppose -i - j = -36. Is i a multiple of 11?
True
Does 14 divide (-13 - 1)/(1525/(-190) + 8)?
True
Does 15 divide (12/(-10))/(28