- 13 = 27. Let n(x) = -x**3 + 11*x**2 - 6*x + 11. Let i be n(b). Let m = -28 + i. Does 17 divide m?
False
Let m(s) = s - 5. Let a be m(5). Suppose 20 = 4*k, a = 2*d + k - 3*k + 22. Does 8 divide (-45)/3*d/10?
False
Let s(i) be the first derivative of -i**4/4 - 8*i**3/3 - i**2/2 - 2*i - 1. Does 6 divide s(-8)?
True
Suppose -r - 7 = -9. Is 5 a factor of 24/1 + 2 + r?
False
Let b(q) = -q + 11. Let u be b(9). Suppose u*n = 7*n - 95. Does 5 divide n?
False
Let w(n) = n + 3. Let f be w(2). Suppose -x - b = b - f, -3 = -3*b. Does 3 divide x?
True
Let t be -3 + 6 + -1 + 1. Let h(y) = -y**2 + 4*y - 1. Let w be h(t). Suppose -w*x + 26 = 8. Does 8 divide x?
False
Let t be 172/6 - (-1)/3. Suppose 0*j = -4*j + 56. Suppose -t - j = -2*i - 3*z, 2 = i - 5*z. Does 10 divide i?
False
Let i(a) = 8*a + 4. Let w(r) = 23*r + 12. Let o(f) = 8*i(f) - 3*w(f). Let t be -1*(2 + -3)*-5. Is o(t) a multiple of 11?
False
Let a = 84 + -35. Does 13 divide a?
False
Let l(x) = 18*x**2 + 6. Is 8 a factor of l(-3)?
True
Suppose 4*c - g = 10, 7*c - 2*c + 4*g = 2. Suppose i - 98 = -2*f + 123, -427 = -4*f + i. Suppose -c*q = -4*z + 110, -5*z = 2*q - 16 - f. Does 18 divide z?
False
Let c = 183 - 53. Suppose -3*g = 6*h - 4*h - c, h = -g + 66. Is h a multiple of 17?
True
Let r(k) = k**2 + 6*k. Let t be r(-6). Suppose 5*p - 395 = -3*h - 158, 5*h = 5*p - 205. Does 15 divide (t + (1 - 0))*p?
True
Let l = 5 - -2. Suppose -3*v - 52 = -l*v. Is 8 a factor of v?
False
Let i(h) = -h**3 + 7*h**2 + h + 9. Let x be i(7). Let j = x + -10. Is 5 a factor of j?
False
Let y(n) = n - 1. Let m(j) = 41*j + 5. Let p(k) = -m(k) - 5*y(k). Does 16 divide p(-1)?
False
Let s = -5 + 11. Suppose -s = 2*j - 22. Is j a multiple of 6?
False
Suppose -4*b + 38 = 2*y + 14, 2*y - 5*b - 24 = 0. Does 6 divide y?
True
Let l = 80 - -48. Is l a multiple of 16?
True
Suppose 247 = 3*z + 5*t, -3*z + 181 = 4*t - 61. Suppose 0 = -5*q - 14 + z. Is 6 a factor of q?
True
Suppose -4 = v + 5. Let f = -22 - v. Let m = 3 - f. Does 13 divide m?
False
Let v be 3/(6/(-8)) - 0. Let t = v + 4. Suppose 0 = -2*y - t*y + 16. Does 7 divide y?
False
Let s(o) = -o**3 + 5*o**2 + 5*o + 1. Let a be s(6). Let m = a - -10. Suppose -4*y + y + 122 = m*b, y - 2*b = 26. Does 17 divide y?
True
Let l(z) = z**3 + 4*z**2 + z. Let h be l(-3). Is (-1)/(-6) + 95/h a multiple of 11?
False
Let d(v) = 6*v - 5. Is 7 a factor of d(7)?
False
Let g be -8*-4*(-1)/4. Is 2 + 10 - (-9 - g) a multiple of 3?
False
Let q(c) = 15*c**2 + 4*c + 2. Is q(-2) a multiple of 11?
False
Let h = -9 - -19. Let z = h - 5. Does 4 divide z?
False
Let g be (0 - -7) + -3 + 1. Suppose -19 = -g*w + 11. Let m(u) = u**2 - u - 1. Is 10 a factor of m(w)?
False
Let n be 7/(-2)*2 - -1. Let o(h) = 13*h**3 + 1. Let c be o(1). Let r = c + n. Is r a multiple of 8?
True
Let j(c) be the second derivative of -7*c**3/6 - c**2 - 4*c. Is 20 a factor of j(-6)?
True
Let z = -8 + 49. Does 10 divide 3/(-12) + z/4?
True
Suppose 20 + 52 = -4*t. Is 1662/54 - 4/t a multiple of 19?
False
Let x = 9 + -4. Suppose -4 = -3*v + x. Is (1 - 2)*-21 - v a multiple of 16?
False
Let b(q) = -2*q**3 + 3*q**2 - 2*q - 15. Let m = -6 + 11. Let o(w) = w**3 - w**2 + w + 7. Let j(y) = m*o(y) + 2*b(y). Is 3 a factor of j(0)?
False
Let p(j) = j**3 - 8*j**2 + 8*j - 3. Let v be p(5). Let k = v - -140. Is 27 a factor of k?
False
Suppose 4*p = -4, -6*p = c - 4*p. Suppose 4*m - 17 = 3*o + c*o, 3 = o. Suppose k - 5*n - 42 = 0, k + 4*n + m = -n. Is k a multiple of 17?
True
Let d = 15 - 8. Suppose 2 = f - d. Does 3 divide f?
True
Is 75 - (9/(-3) + 6) a multiple of 33?
False
Let z(s) = s**3 + 16*s**2 + 6. Is 2 a factor of z(-16)?
True
Suppose 72 = -m - m. Is 6 a factor of ((-4)/3)/(2/m)?
True
Let j be 18/(-3) - 2 - -1. Let g(v) = v**3 + 9*v**2 + 6*v + 4. Let s be g(j). Let m = s - 41. Is 8 a factor of m?
False
Let l(k) = k**2 + 5*k - 8*k + 16 - 3*k - 7*k. Let u be l(12). Suppose u*c - 104 = -0*c. Is c a multiple of 12?
False
Let u(m) = 3*m + 61. Is 5 a factor of u(-18)?
False
Let p(c) = 3*c**3 - c + 1. Let u = 7 - 2. Let j = -3 + u. Does 9 divide p(j)?
False
Suppose -5*m + 5*h + 735 = 0, -2*m - 4*h - 176 = -500. Is m a multiple of 10?
False
Suppose 2*q = -2*u + 30, 0*q - 5*q + 3*u = -51. Is 3 a factor of q?
True
Let a be ((-5)/4)/(3/(-12)). Suppose -4*h = -a*m + 8 + 1, 4*h + 4 = 4*m. Is h/(-6) - 224/(-12) a multiple of 11?
False
Suppose -3 = 4*s - 5*s. Suppose -2*x + s*p = 7*p - 32, -3*p = -2*x + 53. Is 11 a factor of x?
True
Let n be 1*(-6)/9*-6. Suppose 0 = -m + 2*y + 52, y - 3*y = -n*m + 178. Does 11 divide m?
False
Let f(b) = -b**2 - 4*b + 5. Let h be f(-4). Suppose -3*x - 20 = -4*m - 2*x, -x + 8 = 3*m. Suppose h*s + 4*r = 2*s + 62, m*r + 4 = 0. Does 11 divide s?
True
Let t(i) be the third derivative of i**4/24 + 10*i**3/3 - 2*i**2. Is t(-12) a multiple of 4?
True
Suppose 16 = 5*v + 1. Suppose v*c - 16 = 80. Is 16 a factor of c?
True
Suppose 6 = -2*c + 16. Let n(j) be the second derivative of j**4/12 - j**3/3 + 2*j. Is 15 a factor of n(c)?
True
Is 8 a factor of (-2)/8 + (-8177)/(-68)?
True
Let y(n) = 9*n + 3. Let j be y(3). Let k(z) = -7*z**2 + j*z**2 + 7*z**2 + 10*z**2 + z. Is 11 a factor of k(1)?
False
Is 28 a factor of ((-7)/((-140)/304))/(4/10)?
False
Suppose -4*l - l = -140. Does 8 divide (l/(-3))/((-6)/9)?
False
Let b(l) = 19*l. Let t(u) = -95*u - 1. Let z(x) = -11*b(x) - 2*t(x). Is z(-2) a multiple of 20?
True
Let r(p) = 7*p - 4. Let x(i) = 21*i - 13. Let n(h) = -7*r(h) + 2*x(h). Is 27 a factor of n(-6)?
False
Suppose -3*r - 2*g + 4 = -6*r, -3*r = 2*g + 20. Let q = -2 - r. Suppose -q*p = -5*p + 60. Does 7 divide p?
False
Let f(n) = -n**3 - 7*n**2 - 7*n - 3. Let d be f(-6). Is 12/(-9)*d + 10 even?
True
Let x(c) = -16*c**2 - 4*c - 2. Let m be x(-4). Let f = m - -353. Does 9 divide f/6 - (-1)/(-2)?
True
Suppose 0 = p + 4*u - 69, -2*p + 45 = -p - 2*u. Is 24 a factor of p?
False
Let s = 1 - -2. Suppose -3*t = -3*g + 33, t - 8 = -s. Does 4 divide g?
True
Let j(i) = 3*i**2 + 10*i + 10. Let q be j(-7). Suppose -t + 82 = -4*h, -h = -t + 2*t - q. Let g = t - 46. Is g a multiple of 14?
False
Suppose 4*n - 106 = -2*d, -2*d = 2*n - 6*d - 58. Does 9 divide n?
True
Suppose b - 5 = -w - 0*w, w - 9 = -2*b. Suppose 0 = -3*z - w + 163. Is 12 a factor of z?
False
Let y be -2*(-4)/36 - (-1168)/9. Let k(n) = 5*n**3 - n**2 + 2*n - 1. Let v be k(1). Suppose 5*c + 2*o + 22 = y, -112 = -v*c - 3*o. Does 8 divide c?
False
Suppose -s - 36 = -2*s. Suppose -5*n + 29 = -s. Is n a multiple of 13?
True
Let q(u) = 5*u**3 - u + 1. Suppose -2 = -t - t. Does 3 divide q(t)?
False
Let f be (3/(-9))/(2/6). Is f*(2 + -19 - 0) a multiple of 4?
False
Let d be (-15)/10 + 1/(-2). Let k(m) = 10*m**2 - m - 2. Does 13 divide k(d)?
False
Suppose 4 = -5*a + 39. Let f = 16 - a. Does 2 divide (-2)/(-3) - (-21)/f?
False
Let d = 3 - 11. Let b = 10 + d. Suppose -z - a = -4*z + 146, -b*z = -3*a - 102. Is z a multiple of 16?
True
Let y(x) = x - 1 + 10 - 3 + 4. Let l be y(-7). Suppose 2*b = -l*b + 4*c + 86, -2*b = 2*c - 20. Does 5 divide b?
False
Suppose 0 = -3*h - 4*c + 328, -3*h + h - 2*c + 220 = 0. Is h a multiple of 8?
True
Let z(t) = -2*t**2 + 15*t - 14. Let o(h) = -4*h**2 + 29*h - 28. Let d(x) = -4*o(x) + 7*z(x). Let f(m) = m**2. Let r(c) = d(c) - 3*f(c). Does 12 divide r(-10)?
True
Let i be (-2)/(-5) - 23/(-5). Let b(d) = 2*d. Is 6 a factor of b(i)?
False
Let t = 4 + -19. Suppose -3*u - 109 = -4*p, 2*p + 0*p - 53 = u. Let j = p + t. Is 7 a factor of j?
False
Let r = -215 + 267. Is 13 a factor of r?
True
Suppose -4*b = -0*q + q - 12, 0 = -2*q + b - 12. Let r = 10 + q. Is r a multiple of 5?
False
Let k(u) = 14*u - 1. Suppose -4*b + 3*q = 5 + 2, 0 = 3*b - 2*q + 4. Is 9 a factor of k(b)?
True
Let z be (-8)/12 - 16/(-6). Suppose -2*s - 6 = z. Is 10 a factor of (-3)/2 + (-62)/s?
False
Let d(z) = z**3 - 7*z**2 + 9*z. Does 8 divide d(6)?
False
Let p(w) = w**3 + 10*w**2 + 6*w - 3. Does 9 divide p(-9)?
False
Suppose 2*n + 128 = 5*m, m + 2*n - 80 = -2*m. Is 13 a factor of m?
True
Let c(n) = n**3 + 5*n**2 + n + 3. Let m be c(-5). Is 8 a factor of (-35)/m + (-9)/(-6)?
False
Let b(v) = -16*v - 3. Let y be b(-2). Suppose 3*u = y + 25. Is u a multiple of 10?
False
Let o(m) = m**3 - 10*m**2 + 13. Let y be o(10). Let p be (-2)/4 - 11/2. Let x = y + p. Is 5 a factor of x?
False
Let t be 1 + 1 + -20 + 0.