, 0 = -n - 0*n + c - 3. Suppose -4*u = -3*k - 74, -u = -k - n*k - 19. Does 8 divide u?
False
Suppose 3*q + 4 + 2 = 0. Let b be -1 - (q + 4 + 8). Let u = b + 19. Does 8 divide u?
True
Suppose s = -2*s + 15. Suppose 0 = s*b - 23 - 32. Is b a multiple of 11?
True
Let a = -18 + 24. Is a a multiple of 3?
True
Suppose -3*d + 5 = 2*d. Let k = 17 - d. Does 16 divide k?
True
Let u = -22 + 27. Does 2 divide u?
False
Let q = -4 + 9. Suppose -q*l + 54 = 4. Suppose -l = -g - 5*p, -2*g = -3*g + p + 22. Does 10 divide g?
True
Let w be -1 - (-1 + -8 - -3). Suppose -w*t + 2 = -8. Suppose 55 + 21 = 4*q + t*s, 0 = -5*s + 10. Does 10 divide q?
False
Suppose 3*y - 24 = -3*k, y - 38 = -3*y + 2*k. Suppose -2*h - 30 = -4*n, 4*n - y = -4*h + 3. Does 3 divide n?
True
Suppose 2*h - 6*h + 88 = -3*f, -27 = -h + 2*f. Does 13 divide h?
False
Let d(r) be the third derivative of -1/60*r**5 + 0 - 1/24*r**4 + 0*r + r**2 + 10/3*r**3. Is 10 a factor of d(0)?
True
Suppose -5*d = -4*w - 140, -26 = -d - w - 7. Suppose -3*j + 0*j = -d. Is 8 a factor of j?
True
Does 8 divide ((-24)/8 - (1 - 2)) + 143?
False
Suppose 4*v = -4*g + g + 47, -5*v + 43 = 3*g. Does 3 divide g?
True
Let o(z) = -6*z + 9. Is o(-11) a multiple of 15?
True
Let g(j) = j**2 - 3*j. Let p be g(4). Let a = p - -44. Is 24 a factor of a?
True
Is 31 a factor of -12*(-5)/((-5)/(-9))?
False
Let f = 30 - 20. Suppose 11*w - f*w = 7. Is w a multiple of 2?
False
Suppose z = 3*u - 34, -4*z = -3*u - 2*z + 29. Is u a multiple of 4?
False
Suppose -a = 5*g - 76 - 896, 2*a - 774 = -4*g. Is 15 a factor of g?
True
Let y(q) = -q**2 + q - 5. Let h be y(0). Let l = h + 5. Suppose l = 4*g + 2*t - 22, 0*g + 5*t = 2*g + 7. Is 4 a factor of g?
True
Let j(q) = -q**3 + 2*q**2 + 5*q - 4. Let p be j(3). Suppose -p*f = -f - 30. Is 10 a factor of f?
True
Is 23 a factor of ((-32)/(-10) + -2)*(-135)/(-2)?
False
Suppose -2*s - 5*z - 6 = 16, -12 = s + 2*z. Is ((-18)/4)/(8/s) a multiple of 8?
False
Let w be -2 + 8 - (1 + -3). Let g(d) = d**3 - 7*d**2 - 8*d + 11. Let r be g(w). Let y = 18 - r. Is 7 a factor of y?
True
Suppose -2*u = -5*h + 276, -2*h + 3*h - 60 = 2*u. Is h a multiple of 18?
True
Let l be 18/4 + (-2)/(-4). Let x = 215 + -110. Suppose 2*t = -5*i + x, 55 = 2*t - t + l*i. Does 23 divide t?
False
Let b(h) = h**3 - 1. Let c be b(0). Let g = 1 + c. Is 14 + 2 - (g + 1) a multiple of 15?
True
Let y(c) = 0*c + 0 + 5*c - 1. Let f be y(1). Suppose 2*z - 57 = -0*z + d, -f*z = 5*d - 135. Is 15 a factor of z?
True
Let v = -60 + 91. Is 3 a factor of v?
False
Let a(c) be the second derivative of c**3/6 - 2*c**2 - 4*c. Let z be a(8). Suppose -z*w = -10 - 122. Is w a multiple of 13?
False
Let s(p) = -p**3 - 4*p**2 - 2*p - 3. Let c be s(-4). Suppose o - 24 = -c. Is o a multiple of 11?
False
Let s = 5 + -3. Let z = 1 - s. Let b(t) = 21*t**2 + 1. Is 11 a factor of b(z)?
True
Suppose 0 = 2*k - 5*k + 3. Let o be k/(-4) - 2/(-8). Suppose -4*s = -o*s - 64. Is s a multiple of 6?
False
Does 16 divide (-2*16)/(2/(-1))?
True
Let v = -5 + 3. Is 11 a factor of (39/(-6))/(1/v)?
False
Suppose -5*z = -0*z + t - 438, -432 = -5*z + t. Is z a multiple of 16?
False
Let n(f) = f**3 + 22. Suppose 3*c = 8*c - 40. Let b be 3/(-4) - (-6)/c. Does 17 divide n(b)?
False
Let u(h) = 5*h. Let i be u(1). Suppose -4*a + 6 + 14 = 0. Suppose a*l + 3*p = 2*l + 105, i*l - p - 175 = 0. Does 12 divide l?
False
Suppose 2*d - 23 = 3*n, d + d = -5*n - 17. Suppose -d*x = -8*x + 32. Is x a multiple of 3?
False
Suppose -l = -2*g + 3, -l - 8 + 33 = 5*g. Suppose -v = g*a - 6*a - 14, 4*v = -2*a + 6. Suppose -n = d - 33, 5*d = v*n + 23 + 169. Is d a multiple of 15?
False
Suppose 5*a + 0 = 10. Let i be (a/4)/(2/8). Is (4/8)/(i/100) a multiple of 12?
False
Let a = 0 - -5. Let h(j) = -2*j**2 + a + 3 - 7*j**2 + j**3 + 10*j. Is h(8) a multiple of 18?
False
Suppose -2*r = -2*x - 450, -5*x = -4*r + 689 + 216. Does 7 divide r?
False
Let o = 2 + 1. Suppose -99 = -2*h - 0*v + o*v, 4*v + 146 = 3*h. Let i = h - 20. Does 9 divide i?
False
Let t(x) = 58*x + 55*x - 35*x + 4*x. Is t(1) a multiple of 23?
False
Let z(m) = m**3 - 4*m**2 - 2*m + 3. Let x be z(4). Let u(a) = a**3 + 7*a**2 + 4*a - 6. Is 11 a factor of u(x)?
False
Let l = 47 + -2. Is 45 a factor of l?
True
Let g(y) = 30*y**3 + 2*y**2 - y. Let n be ((-4)/10)/((-2)/10). Suppose 2*c + 3 = s, 3*c = n*s + c - 4. Is g(s) a multiple of 15?
False
Let y(l) = -3*l**2 - l + 2. Suppose 5*j + 1 = -4. Let a(u) = -u**2. Let k(o) = j*y(o) - 2*a(o). Does 8 divide k(-2)?
True
Let l be ((-36)/10)/((-3)/15). Suppose 3*b + l = -9. Let o = 31 + b. Does 11 divide o?
True
Suppose -3*r + 384 = r. Is r a multiple of 16?
True
Suppose -o - 4*o = -415. Does 21 divide o?
False
Suppose -d = 5*o + 17, -3*d + o = -5 - 8. Let f = -4 + d. Is (f/(-2))/(2/24) a multiple of 3?
True
Let f(u) = -u**3 - 6*u**2 + 10*u - 18. Does 6 divide f(-8)?
True
Suppose -8*f + 13 = 29. Let x(w) = -4*w + 2*w - w - 2. Does 4 divide x(f)?
True
Let f be (-1 + 10/6)*9. Suppose -w = w - f. Is 3 a factor of w?
True
Suppose 0 = -m - m + 424. Suppose 0 = 4*z + 5*i - 2 - 216, -2*i = 4*z - m. Does 26 divide z?
True
Suppose 4*d = 3*z - 190, -5*z + 5*d = 2*d - 335. Does 10 divide z?
True
Let b = 14 + -2. Let k(z) = z**2 + 6*z + 2. Let j be k(-4). Is 9 a factor of j/(-36) - (-274)/b?
False
Let n = 18 + 46. Is n a multiple of 16?
True
Let s(y) = 3*y + 13. Let t be s(7). Suppose 5*j = 4*j - 3*f + 64, 0 = j - 3*f - t. Is j a multiple of 22?
False
Let i(h) = -5*h - 2. Let k be i(-3). Let z(o) = 10*o + o + 5*o + k*o. Is 12 a factor of z(1)?
False
Is 217/(-14)*6/(-1) a multiple of 13?
False
Let v = -8 + 17. Let a = 2 + v. Suppose a = -2*i + 3*i. Does 11 divide i?
True
Let f(u) = -16*u + 2. Let d be f(1). Let w = d - -65. Is w a multiple of 17?
True
Let w = 60 + -3. Does 31 divide w?
False
Let f(x) = 22*x**3 - x**2. Is f(1) a multiple of 7?
True
Let d = 8 - 0. Let u = d - -55. Is 21 a factor of u?
True
Let n(y) = -y**3 + 18*y**2 - 12*y - 31. Is 13 a factor of n(17)?
False
Does 4 divide (-8)/(-6)*9/1?
True
Let b = -247 + 417. Does 11 divide b?
False
Let u = -1 - -1. Let f(b) = 31 - 7 - 4*b + 5*b + 1 - b**2. Is 21 a factor of f(u)?
False
Let t(p) = -10*p**3 + 3*p**2 - 3*p. Let l be t(2). Does 9 divide l/(-4) + (-3)/6?
True
Suppose -74 - 25 = -d. Suppose 15 = -6*g + d. Is g even?
True
Let d = -8 - -16. Let k = d + -3. Let b = 19 - k. Does 7 divide b?
True
Let i(h) = h**2 + 7*h + 3. Let v be i(-7). Let x = -6 - -11. Suppose 5*j - 18 = v*d, -3*j - x*d - 8 + 46 = 0. Is j a multiple of 6?
True
Let o = 104 - 34. Is o a multiple of 14?
True
Let s = 3 + -1. Suppose 4*t - 7 = -w, -2*w - 5*t = -3*w - s. Suppose -93 - 27 = -w*q. Is q a multiple of 14?
False
Suppose 289 - 74 = 5*k. Is 12 a factor of k?
False
Suppose t = -8 + 74. Does 11 divide t?
True
Let r(i) = -i**2 - 11*i - 7. Let g be r(-10). Suppose 0 = g*z + 2*a - 60, -47 = -3*z - 5*a + 4. Does 11 divide z?
True
Suppose -c = 2*q + 3*q - 34, 76 = 4*c + 5*q. Is 14 a factor of c?
True
Let w = 0 + 3. Suppose -w*t + 6*t - 90 = 0. Is t a multiple of 23?
False
Let o(t) = -2*t - 11. Let m be o(0). Let b = 29 - m. Is b a multiple of 13?
False
Let c = -1 - 1. Let g be (-188)/(-36) - c/(-9). Suppose 112 = 2*l + 2*k, l + 17 = g*k + 55. Is l a multiple of 19?
False
Let q(r) be the second derivative of -r**4/12 + 3*r**2/2 - 2*r. Let l be q(6). Does 12 divide (l - (0 + -2))/(-1)?
False
Let o(n) = -n - 15. Let k be o(0). Is (-87)/k + 1/5 a multiple of 2?
True
Suppose -q = -2*q + 4. Let y(g) = -3*g - g - 12 + q. Is 8 a factor of y(-6)?
True
Let j(d) be the second derivative of d**3/2 - d**2/2 - 2*d. Let a be 16/6*(-21)/(-14). Is j(a) a multiple of 11?
True
Suppose -c + 86 = 3*w, 3*w - 6*w = 5*c - 106. Does 9 divide w?
True
Let g be (-1)/((-1)/(-3) - 0). Let y = g + 4. Does 11 divide (-60 + 2/y)/(-2)?
False
Let l(c) = -2 + 5*c - 7*c - 10*c. Suppose -i + 6*i = -10. Is 11 a factor of l(i)?
True
Let x(w) = 4*w**2 - 4. Let c be x(6). Suppose -p = 4*p - c. Does 16 divide p?
False
Suppose 4*a + 2*q = 1228, -5*a + 47 + 1489 = 3*q. Is a a multiple of 17?
True
Let b = 22 + -18. Is b a multiple of 2?
True
Suppose 0*p = p + 1. Let t be ((-3)/6 - p)*0. Suppose c - 5*k = -3*c, t = -3*c + k + 11. Is c a multiple of 5?
True
Let z(q) = q**3 + 3*q**2 - 3*q - 1. Is 4 a factor of z(-3)?
True
Let v = -29 + 41. Suppose 4*c - 1