 divide v(0)?
False
Let l be 21/14*(-2)/(-1). Is 1*30/2 - l a multiple of 4?
True
Let i(z) = 16*z + 2*z**2 - 17*z - 3*z**3 + 22*z**3. Does 5 divide i(1)?
True
Suppose -f + 26 = -j, 0 = -7*j + 3*j - 16. Is 22 a factor of f?
True
Let i = -29 - -110. Is 9 a factor of i?
True
Let l(f) be the third derivative of -f**6/120 + f**5/5 - 5*f**4/12 + 5*f**3/2 + 3*f**2. Is l(11) a multiple of 10?
False
Suppose 5*l = -3*t - 121, -t = 3*l + 65 + 6. Let j = 7 - l. Is 10 a factor of j?
True
Suppose 0 = 7*o - 3*o. Let v(t) = o + 0 - 2*t + 5. Is 6 a factor of v(-4)?
False
Suppose j - 6 = -2*j. Suppose 3*o = 4*z + 54, o - 76 = -4*o + j*z. Does 4 divide o?
False
Let l = 7 - 2. Suppose 0 = q - l*o + 6, -q - 4*o = 3*q - 24. Suppose -1 + 33 = q*m. Is 4 a factor of m?
True
Is -1 - -1 - (-2 + -23) a multiple of 5?
True
Let j(i) = -i**3 - 3*i**2 + 3. Let q = -6 - -3. Let r be j(q). Suppose 10 = 2*u - a, 0 = r*a + 2*a. Is u a multiple of 4?
False
Suppose -31 + 6 = -5*k. Suppose -p = -0 - 1, -k*w = 3*p - 18. Suppose -m + 16 = -2*r, 0*r = w*m + 3*r - 75. Does 11 divide m?
True
Let p(v) be the first derivative of -v**2 + 3*v + 1. Is 2 a factor of p(0)?
False
Suppose -5*o = -o + 48. Let w(g) = g**3 + 13*g**2 + 10*g - 12. Let p be w(o). Let n = p - 9. Is 3 a factor of n?
True
Let t(l) = -l + 5. Is t(-10) a multiple of 14?
False
Let j(b) = -4*b + 4. Does 8 divide j(-9)?
True
Let i(q) = -9*q - 18. Is 9 a factor of i(-5)?
True
Suppose 0*v + y - 53 = -v, -2*v = 3*y - 110. Does 7 divide v?
True
Let h(j) = 12*j**3 + 2*j**2 - 2*j + 1. Let a be h(1). Suppose 0 = -9*i + 5*i - 28. Let m = a + i. Is m a multiple of 6?
True
Let g = 57 - 29. Is g a multiple of 7?
True
Let d be 7/2*(-9 + 7). Let b be (-2)/(-2) - (-19)/(-1). Let z = d - b. Is z a multiple of 11?
True
Let b(d) = 9*d - 1. Is 40 a factor of b(9)?
True
Let f(j) = j**3 - 2*j**2 + 3*j + 4. Does 18 divide f(5)?
False
Suppose -6*j - 159 = 15. Let z = 0 - j. Is z a multiple of 15?
False
Suppose -137 - 43 = -f. Is 18 a factor of f?
True
Let i(n) = n + 7. Let f be i(-5). Let p(q) = -2*q**f - 9 + 25 + q**2 + q - q**3. Is p(0) a multiple of 8?
True
Suppose 3 - 7 = -g. Suppose 32 = g*p - 28. Is p a multiple of 3?
True
Let u = 4 - 4. Suppose -5*r + v + 0*v + 10 = u, 0 = 2*r + v + 3. Suppose -21 + r = -2*k. Is 10 a factor of k?
True
Let l = -80 - -120. Is 7 a factor of l?
False
Let o be -24*(-1)/(-2 + 1). Does 6 divide (o/(-3) - 0) + -1?
False
Suppose 5*m - 1367 = -4*s - 395, 4*m - 3*s - 759 = 0. Is m a multiple of 39?
False
Let y = 8 - 6. Suppose -y*v + 1 + 37 = -3*i, 6 = 3*i. Is v a multiple of 8?
False
Let b = -19 - -10. Let p(z) = -z**2 - 11*z - 7. Does 7 divide p(b)?
False
Let k(a) = 3*a**2 + 6*a - 10. Is 40 a factor of k(5)?
False
Let a = 319 + -179. Is a a multiple of 20?
True
Suppose 4*c - 5*h + 272 = 72, -5*c - 2*h - 283 = 0. Let z be (c/10)/(2/(-4)). Suppose 0*i - i = -z. Is 5 a factor of i?
False
Let q(l) = -l**2 + 2*l - 1. Let h be q(1). Let y = h - -20. Suppose b + y = n, 9 = -4*n - b + 69. Is 16 a factor of n?
True
Let q(c) = c**3 + c**2 - 3*c - 1. Let a be q(-2). Let b(i) = 8*i**3 + 2*i**2 - 1. Is 6 a factor of b(a)?
False
Suppose -5*s + 5*h = 546 + 174, 0 = 3*s - 5*h + 436. Let x be (-1)/(-1) + s/(-2). Suppose v + x = 4*v. Does 12 divide v?
True
Suppose -5*t = -3*b + 4*b + 2, 6 = b + t. Let l(g) = 4*g - 9. Does 23 divide l(b)?
True
Let q = 3 + 0. Is 17 + (-2 + q)*3 a multiple of 10?
True
Suppose g + 5 - 4 = 0, -k + 7 = -3*g. Suppose -3*a = -8*a. Let s = a + k. Is s a multiple of 4?
True
Let v(n) = 2*n**3 + 2*n**2 - n. Let f be v(1). Let g(p) = f + 7*p + 1 - p**2 - 2. Is 12 a factor of g(5)?
True
Let n be (-36)/(-15) + 2/(-5). Let c(p) = -2*p + 7*p + 6*p. Is 11 a factor of c(n)?
True
Does 5 divide ((-62)/(-10))/((-5)/(-25))?
False
Suppose -3*v - 1 = 5*w - 11, 3*w = 3*v + 30. Does 2 divide w?
False
Suppose 2*t + 3*t - 35 = 0. Let c = t + -7. Is 6 a factor of (7 - 25)*(c + -1)?
True
Does 32 divide 22/99 + (-1454)/(-18)?
False
Suppose 3*c - 1 = 4*x + 27, -2*c + 30 = 3*x. Suppose 5*z = -0*r + r - c, -5 = -5*z. Is r a multiple of 17?
True
Suppose -2*g = g + 5*q - 45, -5*g + 59 = 3*q. Is 1 - 5/(g/(-4)) even?
False
Suppose 0 = b - 3, -3*s + 3*b - 11 - 1 = 0. Let c(d) = -8*d - 1. Does 7 divide c(s)?
True
Suppose 4*m = 2*m + 4*l + 158, -2*l + 99 = m. Is m a multiple of 10?
False
Let i(n) = -n**3 + 3*n**2 + 2*n - 3. Let g be i(2). Suppose 0 = -g*c + 33 + 87. Is c a multiple of 12?
True
Suppose -4*v + 3*v + 24 = 0. Is v a multiple of 8?
True
Let b(q) = 7*q - 18. Does 5 divide b(9)?
True
Is 8 a factor of (36/(-30))/(3/320)*-2?
True
Let u(k) = k**2 - 7*k - 11. Let d be u(15). Suppose d = -3*m + 307. Does 9 divide m?
False
Let k(v) = 4*v**2 - 2*v + 1. Let p be k(1). Let q(i) = 2*i**2 + 4*i + 3. Let t be q(-2). Suppose t = p*y - 2*y. Is y even?
False
Let t(s) = 2*s**3 - 3*s**2 - 1. Is t(5) a multiple of 36?
False
Let z be -10 - (1 + 2 + -3). Let d = z + 5. Let p(t) = -t - 2. Is p(d) a multiple of 3?
True
Suppose 2*k = -5*l + 379, -l - 4*l + 25 = 0. Suppose -3*w + k = 4*m, 2*w - 4*w + 5*m + 95 = 0. Is w a multiple of 30?
False
Suppose -2*j = -3*q + 39, -2*j + 26 = 2*q + 2*j. Does 13 divide q?
True
Is (-1*1*-3)/((-42)/(-392)) a multiple of 7?
True
Let a(h) = -h**3 + 1. Let b be a(1). Suppose b = -4*p + 13 - 5. Is p*2*(-26)/(-8) a multiple of 13?
True
Suppose 0*l = -3*l + 15. Suppose -l = -a + 10. Is a a multiple of 5?
True
Suppose 2*q + 4*i = 60, -3*q + 5*i - 2*i = -63. Is 24 a factor of q?
True
Suppose b = 4*b - 3*t - 15, 2 = -2*b - 2*t. Let w(r) = 31*r - 2. Let s be w(b). Suppose -j - j + s = 0. Does 15 divide j?
True
Let s = 18 - 10. Is s + -2 + 0 + -4 a multiple of 2?
True
Suppose -5*y = -94 + 9. Does 12 divide y?
False
Let m(h) = 4*h**2 - 2*h - 1. Suppose z = 7*z - 12. Is m(z) a multiple of 9?
False
Suppose 5*b - 51 = -4*l, 0 - 9 = -3*b. Let m(a) = -2*a + 10. Let v(g) = -1. Let q(t) = -m(t) - 6*v(t). Does 14 divide q(l)?
True
Suppose 0 = 5*t - 116 - 19. Suppose 5*d + 12 = t. Suppose -3*l + 87 = d. Is l a multiple of 14?
True
Is 20 a factor of 10/4*(3 - -7)?
False
Let p = 5 - 6. Let v = 30 + p. Is v a multiple of 22?
False
Let m be 0 - 2 - -1*4. Suppose -4*r = d - 23, -6*r = -m*r + 2*d - 18. Is r a multiple of 7?
True
Let a(r) = -r - 4. Let z be a(0). Let g(k) be the second derivative of k**4/12 - k**3/3 - 3*k**2/2 + k. Is g(z) a multiple of 13?
False
Let w = 279 - 174. Suppose 36 = -3*l + w. Is l a multiple of 17?
False
Suppose 2*q - 1 = t + 3, 0 = -2*t + 2*q - 4. Is 3 a factor of 3 + 0 - (-2 - t)?
False
Let z = -5 + 10. Suppose z*j - 122 = -i - 3*i, -2*j + 3*i = -58. Is 13 a factor of j?
True
Suppose 4*s = -0*s + 176. Suppose -2*m + 6*m - s = 0. Is 5 a factor of m?
False
Suppose 4 = 5*s + 14, n = -5*s + 72. Suppose -4*p + 22 = -n. Does 10 divide p?
False
Let f be 25*-1*1/(-1). Let r = -26 - -44. Let t = f - r. Is 4 a factor of t?
False
Let k(t) = 3*t + 1. Let v(q) = 2*q + 1. Let p(y) = -3*k(y) + 5*v(y). Let w(l) = 3*l**2 + 2*l + 1. Let x be w(-2). Is 11 a factor of p(x)?
True
Let t = 90 - 58. Suppose -2*q = 3*l - 91, 2*q - l - 39 = t. Let u = q - 6. Does 16 divide u?
True
Let n(u) = u**3 + 9*u**2 + 13. Let x be n(-9). Let b be (-582)/(-18) + (-2)/6. Let l = x + b. Does 15 divide l?
True
Let b = -6 + 91. Is 17 a factor of b?
True
Let y be (-3)/(13/(-6) - -2). Let d = y + -29. Let o = -8 - d. Is 3 a factor of o?
True
Let m = 10 - -5. Suppose z = 6*z - m. Suppose s + z*c + 78 = 4*s, -s + 26 = c. Does 15 divide s?
False
Let c be 54 + (-1 + 1 - -3). Is -3*(c/9)/(-1) a multiple of 13?
False
Suppose 4*c = 2*c + 64. Suppose -4*z = -107 - 113. Let j = z - c. Does 11 divide j?
False
Let s(c) be the second derivative of c**3/6 + 33*c**2/2 - 12*c. Let b = 0 + 0. Is 18 a factor of s(b)?
False
Suppose -4*o = 5*c + 14, 3*o - 2*c = -0*c - 22. Let k = 0 + o. Is 7 a factor of (k/5)/((-4)/30)?
False
Let l(o) = -o + 4. Suppose a + 3 = 5*h - 2*a, 1 = -a. Is l(h) a multiple of 3?
False
Is ((-4)/6)/(6/(-63)) a multiple of 3?
False
Suppose 0 = -4*y + 3*n - 78, 3*y + 5*n = y - 52. Let c be (-6)/y - 4/14. Is 10 a factor of c + -3 - (-29 - 1)?
False
Suppose -94 = -5*m + 41. Does 9 divide m?
True
Suppose -4*z - 16 = 5*p, 3*z - 5 = -2. Let r(o) = -o**3 - 2*o**2 + 4*o - 4. Is 11 a factor of r(p)?
False
Suppose 0 = -2*x + x + 18. Let o(u) = -18*u + 8 - u**2 + 