-w. Let x = -101 - l. Let b = x - -66. Is b a multiple of 11?
False
Suppose 3*g + g - 22 = -x, -g + 1 = -2*x. Let f(i) = 5*i**2 - 3*i + 4*i**x + i**3 + i - 2*i - 13. Is f(-9) a multiple of 10?
False
Suppose -2*k - k = -4*f + 51, -4*k + 16 = 4*f. Suppose 0 = 2*j - 5*g - 9, -4*g = 5*j - f*g - 15. Suppose -a + j*a = -3*c + 5, -a - 5*c = -5. Does 2 divide a?
False
Suppose 3*j - 125 = 70. Let h = j - 25. Does 14 divide h?
False
Let q = 1 + 3. Suppose 0 = -2*n + 4*g + 48, -q*n = -3*n - 3*g - 26. Suppose -n = -h - 4. Is 6 a factor of h?
False
Let f(o) = o**2 + 5*o + 4. Let a be f(-5). Let w = a - 1. Is w a multiple of 3?
True
Suppose 0 = -4*f - 3*s + 19, 2*s - 22 = -5*f - 0*s. Let x(c) = c**3 - 6*c**2 + c + 2. Let z be x(6). Suppose -5*t = -f*t - z. Is t a multiple of 4?
True
Let m(o) = o**2 + o - 9. Suppose b + 3*b - 32 = 0. Does 21 divide m(b)?
True
Let t(q) = -q**3 + q**2 - q + 1. Let d be t(1). Is 3 a factor of (0 - d) + -2 + 7?
False
Let w = 9 - 5. Suppose w*y - 156 = -0*y. Does 21 divide y?
False
Suppose 2*k = 3*f - 7*f + 198, -159 = -3*f - 5*k. Let m = -16 + f. Suppose -r + m = -18. Does 19 divide r?
False
Suppose -s - 58 - 1 = 0. Let q = s + 117. Is q a multiple of 12?
False
Let p(t) = -t**2 - 18*t - 1. Is 5 a factor of p(-16)?
False
Is 16 a factor of (-1)/(3 - -1) - (-597)/4?
False
Suppose j = -2*j + 12. Suppose -j*g = 2*m - 200, 3*g + 15 - 158 = -5*m. Is g a multiple of 16?
False
Suppose 0 = 5*p - 8*p + 150. Suppose -4*j = 5*o - 189, -p = 3*j - 4*j - 4*o. Is 15 a factor of j?
False
Let v = 3 + -7. Let n = v + 3. Does 14 divide (0 - 2*14)*n?
True
Does 23 divide (11 - 9)*(-1 - (-75 + -1))?
False
Let x(t) be the first derivative of 15*t**2/2 + t - 6. Is x(2) a multiple of 12?
False
Let b(k) = -k + 19. Let l(f) = 2*f - 39. Let s(j) = -11*b(j) - 6*l(j). Let r be s(0). Does 5 divide (-8)/2*r/(-20)?
True
Let j = -4 - -7. Let c(u) = 8*u - 10*u**2 + u**2 - 3*u - u**j - 11. Is c(-10) a multiple of 21?
False
Let z(n) = n**2 + n**3 + n + 7*n**2 - 4*n**2. Let i be 6*(-2)/(-4)*-1. Does 3 divide z(i)?
True
Does 32 divide ((-5269)/3)/(-11) + (-1)/(-3)?
True
Suppose 3*j = 2*v + 2*j + 1, 0 = 4*v - 3*j + 7. Let t = 36 - v. Is 17 a factor of t?
True
Let r be (24/30)/(2/10). Let w be 2*(-1)/((-2)/r). Let v = w + 3. Is 3 a factor of v?
False
Let o = -51 + 99. Is o a multiple of 12?
True
Let x(n) = -15*n + 4. Let r be x(-4). Suppose -2*c = -5*c, -c - r = -2*d. Is d a multiple of 16?
True
Let j(y) = y**2 - y - 5. Let a be j(-4). Let s be 65/a - (-2)/(-6). Suppose i = -m + 6, -2*i = -s*m - 14 - 16. Is 9 a factor of i?
True
Let p = 13 - 8. Let g(w) = 5 + 2*w + 2*w - 4. Is g(p) a multiple of 15?
False
Let r(g) = -g + 10. Let t be r(9). Suppose -3*m = -4*n + 34 - t, 2*m + 16 = 2*n. Is 9 a factor of n?
True
Is (-958)/(-5) + 4/10 a multiple of 16?
True
Let g(m) = m**3 - 2*m**2 - 3*m - 2. Suppose 3*s = -s + 2*y + 6, -5*y = -3*s - 6. Let z be g(s). Does 3 divide 30/4 + 1/z?
False
Let h = 72 + -18. Does 14 divide (0 + h)*4/6?
False
Let q(g) = -g**2 - 6*g - 4. Let l be q(-4). Suppose u + l*b + 90 = 0, b = 2*u - 3*b + 120. Let v = u + 132. Is 16 a factor of v?
False
Suppose -2*c = 4*t - 298, -5*t + 5*c + 348 + 62 = 0. Is t a multiple of 11?
True
Suppose p - 5 = -0*p. Suppose -p*k = -w - 1 - 8, 0 = 3*w + 12. Does 8 divide k/2*(2 - -36)?
False
Let p = -56 - -95. Does 13 divide p?
True
Let x = 7 + -7. Suppose x = -g + 3 - 4. Is 0 - (g - (-30)/(-2)) a multiple of 6?
False
Let j(b) = 5 - 4*b + b**2 + 2*b - b. Let z be j(6). Let g = z - 12. Is g a multiple of 11?
True
Suppose 3*u - 96 = -3*c + 531, -4*u + 841 = -c. Does 21 divide u?
True
Let l(t) = -t**2 - 6*t + 10. Let y be l(-7). Suppose 24 = y*g - 3. Is 9 a factor of g?
True
Let v(f) = -5*f - 5. Let j(o) = -o**3 + 3*o**2 - 2*o + 1. Let n(z) = -z**3 - 2*z**2 - 2*z - 1. Let b be n(-2). Let t be j(b). Does 13 divide v(t)?
False
Suppose -4*z = -4*d + 2*d + 30, 5*d = 5*z + 45. Let o = z + 8. Is (-12)/2*o/(-3) a multiple of 4?
True
Suppose -3*j = -4*w - 0*w + 9, -3 = 3*w + j. Let k be 2/(-6)*w - -105. Suppose -5*c = -2*c - k. Is c a multiple of 17?
False
Suppose -312 = -36*u + 28*u. Is 6 a factor of u?
False
Let n(s) = 17*s + 3. Let j be n(4). Suppose -3*t + j = -x, -3*t - x - 11 = -84. Is t a multiple of 12?
True
Let u(j) = -2*j**2 - 33*j + 22. Is u(-16) a multiple of 3?
False
Suppose -n + 4*i - 48 = 0, 2*n - 5*i + 195 = -3*n. Let u = 69 + n. Does 11 divide u?
True
Suppose -4*b + 31 = -85. Suppose -t + 0*u + b = u, t - 29 = 5*u. Is 7 a factor of t?
False
Suppose 50 = -5*b + 5*g, 0 = -5*b + 4*g - 0*g - 53. Suppose 5 = -6*p + 5*p. Let x = p - b. Does 4 divide x?
True
Suppose -2*n = -0*n + 120. Let m = -23 - n. Is m a multiple of 13?
False
Let g(s) = s**2 - 7*s + 5. Is 4 a factor of g(8)?
False
Suppose 4*z + 2*a + 110 = -0*a, -2*a + 130 = -4*z. Let y be 2/(-5) + (-372)/z. Let n = 28 - y. Does 8 divide n?
True
Suppose 0 = -3*c + f + f + 64, 3*c + 4*f = 34. Let n = c + 26. Is n a multiple of 11?
True
Suppose w = -3*w - 48. Let s be 869/(-121) - (-4)/22. Let t = s - w. Is t a multiple of 3?
False
Let f = 20 + 7. Is f a multiple of 27?
True
Let t = -91 - -134. Is 43 a factor of t?
True
Let j = -13 + 3. Let z(c) = -c**2 + 3*c + 3. Let b be z(4). Is 8 a factor of 32/j*b*5?
True
Suppose 3*z - 4*d - 46 = 103, -z + 49 = -2*d. Let x = -27 + z. Does 12 divide x?
True
Let x be 3/(-3) - (2 - 3). Suppose n - 4*b - 15 = x, 3*b + 3 = -2*n - 11. Is 2 a factor of 14/5 - n/5?
False
Let q = 76 + 7. Suppose 3*m = -o + 14, o = -3*o - 3*m + q. Does 8 divide o?
False
Suppose 0 = 2*w - 1 - 1. Suppose -q - k - 3 = 0, 0 = 3*q + k - w. Suppose -2*a + 2*g + q*g = -2, -2*a + 5*g = 3. Is a a multiple of 11?
True
Let q be -2 + 3 - (1 - -1). Let o(k) = k**2 - 8*k + 9. Let b be o(7). Is (21 + b/q)*1 a multiple of 7?
False
Is (-21)/(-28) + 2/8 + 61 a multiple of 6?
False
Suppose -63 - 80 = -p. Does 11 divide p?
True
Let t = 10 + -8. Suppose -t*j + 30 = 3*j. Is j a multiple of 6?
True
Let p(c) = -c**2 - 9*c - 10. Let s be p(-7). Suppose -s*k = -k - 21. Let h = 14 + k. Is 11 a factor of h?
False
Suppose 3*h - 5*q = -2*q + 273, 5*q - 249 = -3*h. Is h a multiple of 8?
True
Suppose -30 = -2*q - 2*h, 0 = 5*q + 2*h - 5*h - 67. Is q a multiple of 2?
True
Suppose -49 = 2*z - 189. Is 16 a factor of z?
False
Suppose 2*o - o = 20. Suppose -o = -2*r + 68. Does 19 divide r?
False
Let x(z) = -46*z**3 - z**2 + 1. Let g be x(-1). Let o = -71 + g. Let i = o + 41. Is 16 a factor of i?
True
Suppose 11 = -5*w - 9. Does 17 divide 37 + -6*(-2)/w?
True
Suppose -118 = 5*s + 37. Let i = s - -52. Suppose i - 7 = x. Is 14 a factor of x?
True
Let l = 5 - 2. Suppose -5*y + 115 = p - l*p, -3 = 3*y. Let u = p - -84. Is 12 a factor of u?
True
Let b(z) = 9*z**2 + 8*z - 54. Is b(6) a multiple of 9?
False
Suppose 5*u - 36 = 2*u. Does 3 divide u?
True
Let z(x) = -x**3 + 12*x**2 + 4*x + 1. Let o be z(12). Suppose -4*k + 153 = o. Is k a multiple of 10?
False
Let k(l) = l**3 - 2*l**2 + 8*l - 10. Is k(4) a multiple of 19?
False
Let a(z) = z**3 + 9*z**2 + 5*z + 6. Let t be a(-8). Suppose 6 = -3*u + t. Suppose -2*m + 40 = 4*l, u*m - 65 = 3*m - 3*l. Is 10 a factor of m?
True
Suppose -5*g + 115 + 75 = 0. Is 24 a factor of g?
False
Suppose y + 5*t - 25 = 0, 3*t = 5*y - 2*t - 35. Is 24 a factor of (24/y)/(3/60)?
True
Suppose 12 = 2*h - 0*h. Let p(f) = 4 + f + 3*f**2 - 2*f**2 - 1. Is p(h) a multiple of 15?
True
Is 6 - 4 - (-2 + -28) a multiple of 16?
True
Let v be 0/(-6)*2/4. Let z = v - -4. Suppose 8 = -z*g + 28. Does 3 divide g?
False
Let z = 27 + -16. Let j = z + -7. Suppose -j*b + 40 = -0*b. Is 5 a factor of b?
True
Let a(f) = f**3 + 9*f**2 - 2*f - 9. Let x be a(-9). Suppose 0 = -4*l + 29 - x. Does 4 divide l?
False
Is 2 a factor of (385/308)/(6/(-8) - -1)?
False
Suppose -11 = -3*x - 20. Is 12 a factor of (-9)/(-6)*20 + x?
False
Let c = -4 - -16. Let i be 9/(-54) - 106/c. Does 22 divide i/(-6)*(-212)/(-6)?
False
Let a = -1 - -1. Let o be (a + -1)*-1*26. Suppose o = -2*p + 86. Does 15 divide p?
True
Suppose 0 = -2*m - m + 234. Is m a multiple of 9?
False
Let x(t) be the second derivative of t**3/6 + 3*t**2/2 + t. Let f be x(0). Suppose -85 = -3*d - d - y, 3*y = f*d - 45. Does 7 divide d?
False
Suppose 5*i = 4*o + 175, i - 4*o = -i + 70. Does 27 divide i?
False
Is 14 a factor of (-12)/4*108/(-3) - -4?
True
Let