s x(2) a multiple of 10?
False
Let p(i) = 21*i**2 - 1. Is 10 a factor of p(1)?
True
Let t(r) = r**2 + 5*r + 3. Let j(x) = -x**3 - 6*x**2 - 5*x - 6. Let m be j(-5). Is t(m) a multiple of 9?
True
Let t(m) = -m**3 + 4*m**2 + 4*m + 3. Let c be t(-3). Let b = c - 33. Is b a multiple of 12?
False
Let p = -198 - -430. Does 29 divide p?
True
Let x(z) = -z**2 + z - 5. Let d be x(0). Let l(p) = -p**3 - 5*p**2 - 4*p - 1. Is 9 a factor of l(d)?
False
Suppose p - 3*x - 14 = x, 2*x + 70 = 4*p. Is p a multiple of 9?
True
Let u = 85 + -51. Is u a multiple of 10?
False
Let n be -5*(-2 + (-52)/10). Suppose f = 3*f - n. Is 6 a factor of f?
True
Suppose -p = -4*k + 10, 19 = 4*p - k - 16. Let s be 70/(-21)*(-132)/p. Is (s/(-10))/((-3)/15) a multiple of 11?
True
Let m be (-12)/(-42) + (-16)/7. Let c be (-148)/(-16) + m/8. Is 15 a factor of c/3 + -6 - -31?
False
Let c = 25 - 20. Suppose -c*f = -157 - 3. Is f a multiple of 16?
True
Let i = 96 + -36. Let z = -34 + i. Suppose -w + 22 = 2*l, -z - 18 = -4*l - w. Is l a multiple of 5?
False
Suppose 6*h + 270 = 9*h. Is h a multiple of 9?
True
Let l(v) = v**3 - 7*v**2 + 9*v - 8. Let i(f) = f - 3. Let m = 14 + -5. Let b be i(m). Is l(b) a multiple of 6?
False
Let u(n) = 5*n - 3. Suppose 0 = 2*y - 15 - 5. Suppose -y = 5*i - 30. Is 14 a factor of u(i)?
False
Let f(q) = -q. Let x(y) = 2*y. Let a(z) = 2*f(z) + 3*x(z). Suppose 0*h = 3*h - 6. Does 4 divide a(h)?
True
Suppose 0*w + 14 = w. Suppose p - 40 = -w. Is p a multiple of 13?
True
Suppose 5*y - 245 = 5*q, -y - 3*y + 5*q = -197. Is y a multiple of 4?
True
Let x(c) = -4*c**3 - 2*c**2 - c. Let i be x(-1). Let w = -1 + i. Does 9 divide ((-9)/w)/((-1)/2)?
True
Suppose 0 = 5*c - 2*c + 18. Let n = c - -14. Is 3 a factor of n?
False
Suppose -4*b - 2*u = -108, 0 = 2*b - u - 35 - 23. Is b even?
True
Suppose 58 = -u - 2*s, 3*u - 5*s + 163 = -0*s. Let r = u - -80. Is r a multiple of 20?
False
Suppose 1 + 1 = s. Suppose m - 51 = -q, -204 = -4*q - s*m - m. Does 12 divide q?
False
Let b(f) = 2*f**2 - f - 1. Let s be b(-1). Suppose -h + 41 = 4*c, c - 24 + 5 = -s*h. Does 7 divide c?
False
Let l = 17 + -26. Let x = 19 + l. Is 6 a factor of x?
False
Suppose -4*k - f + 113 = 0, 4*k + 2*f - 25 = 93. Suppose 0 = -y - 0*y + k. Is y a multiple of 7?
False
Let f(x) be the second derivative of -x**5/20 - 5*x**4/12 + 5*x**3/6 + 7*x**2/2 - 2*x. Let y be f(-5). Let t = y + 37. Is t a multiple of 7?
False
Let p = 2 + 2. Suppose -2*h - 4*m = -p*h + 26, -3 = -3*h - 3*m. Does 3 divide h?
False
Let g = 49 - 7. Is 21 a factor of g?
True
Suppose 5*c - 6 - 59 = 0. Is c a multiple of 8?
False
Let n(b) = -3*b - 8. Is 8 a factor of n(-12)?
False
Let x(f) be the first derivative of -f**4/4 - 7*f**3/3 - 7*f**2/2 - 3*f + 2. Let z be x(-6). Is 12 a factor of (-13)/z*(-2 + -1)?
False
Suppose -10 - 138 = -4*s. Is s a multiple of 4?
False
Let x = -3 - -16. Suppose x = -2*b + 3*b. Does 13 divide b?
True
Suppose 0 = -5*q + 333 + 27. Is q a multiple of 24?
True
Let d(q) = -q**3 - 5*q**2 - 5*q + 1. Let o be 6/(9/(-6) - 0). Let z be d(o). Is z/(-10) + (-11)/(-2) a multiple of 2?
False
Suppose -3*r - 4 = -94. Is r a multiple of 10?
True
Let u = 58 + -9. Is u a multiple of 3?
False
Suppose 5*s - 2 = 18. Suppose 10 = -b - s*b. Is 2 + b + (15 - 0) a multiple of 10?
False
Let h(s) = -s**3 + 2*s**2 + 6*s - 5. Let x be h(4). Suppose 40 + 26 = 3*f. Let c = f + x. Does 9 divide c?
True
Suppose -4*u + 7*s - 2*s = -144, 2*u - s = 66. Does 9 divide u?
False
Suppose -4*a + 4 = -2*a. Let r = a - -25. Is r a multiple of 14?
False
Suppose 4*q = 3*q + 61. Does 13 divide q?
False
Let n(r) = 2*r**3 - 9*r**2 + 17*r - 12. Let h(p) = -p**3 + 5*p**2 - 8*p + 6. Let u(t) = 5*h(t) + 2*n(t). Does 10 divide u(4)?
True
Let u = 23 + -10. Let t = 22 - u. Suppose 0 = -0*j + 3*j - t. Does 3 divide j?
True
Suppose 3*v - 7*v - 20 = 0. Let d = v - -10. Suppose 2*h + 5 - 79 = -3*t, 24 = h - d*t. Does 17 divide h?
True
Suppose -l + 32 = 135. Let r = -63 - l. Is 14 a factor of r?
False
Suppose 2*p = -2*p + 16. Does 2 divide p?
True
Does 8 divide (-3)/27*2 - (-1810)/45?
True
Does 29 divide -2 - (-28 - 12/4)?
True
Suppose 5*s - 20 = 25. Is 8 a factor of 3 - s/6*-18?
False
Let q = 76 - 41. Does 7 divide q?
True
Let b(x) = -x**3 - 6*x**2 - 3*x + 3. Let t be b(-7). Let q = 109 - t. Let g = -19 + q. Does 8 divide g?
False
Let u be ((-5)/(-4))/((-4)/(-16)). Suppose u*m - 118 - 102 = 0. Is 22 a factor of m?
True
Suppose -2*o + o - 3 = 0, 0 = -d + 4*o + 85. Is d a multiple of 6?
False
Does 14 divide 3/(44/(-24) + 2)?
False
Let g = 19 - 12. Let a(j) = -g*j + 3 - 6*j + j. Does 21 divide a(-4)?
False
Suppose 5*r - 2*z - 4 = 14, 0 = r - z - 6. Suppose 2*o - 68 = -3*g, -r*g - 2*g + 72 = 2*o. Is o a multiple of 14?
True
Is 7 a factor of -3*((-26)/6 - -2)?
True
Suppose w + 3*a = 264, 133 = -3*w - 3*a + 937. Is 54 a factor of w?
True
Is 27 a factor of 4/(-18) + (-8756)/(-198)?
False
Does 12 divide ((-1 - -2) + -66)/(-1)?
False
Suppose 5*v = 3*s, -3*v + 7*v - 27 = -3*s. Suppose d - 60 = -4*q, -3*d = d - v*q - 183. Does 16 divide d?
True
Let b = -8 - -12. Suppose 0*w - 3*a = -b*w + 8, -8 = -4*w + 4*a. Suppose w*f = -0*f + 10. Is f even?
False
Suppose -277 = -4*c - 69. Does 12 divide c?
False
Let v(n) = n**2 + 14*n + 13. Let t be v(-13). Suppose t = -2*z + 16. Does 2 divide z?
True
Let c = 7 - -9. Does 6 divide (3/6)/1*c?
False
Let y be 14*(-3 + 5 - 0). Let x = -13 + y. Is x a multiple of 15?
True
Suppose -2*v + 6 = -0*v. Suppose 5*k - 6*k + 111 = 0. Suppose -v*m - 3 = -k. Is m a multiple of 18?
True
Let d(l) = 2*l + 3*l - 3 - 6*l. Let k be d(-7). Suppose -k*q = -41 - 7. Does 12 divide q?
True
Let j be (-4)/(-6) - 70/15. Suppose -4*y - 12 - 4 = 0, 5*y = -3*m + 1. Let f = m + j. Does 3 divide f?
True
Let y(h) = -h**2 + 2. Let i be y(0). Suppose 4*m + 0*c - i*c - 34 = 0, 0 = 5*c + 5. Is 28/m - (-6)/4 even?
False
Let l be ((0/2)/2)/2. Let a be 4 + (l - 3) - 11. Let p = a + 20. Is 6 a factor of p?
False
Let q(m) = m + 4. Let k be q(-4). Suppose k = -t + 3*x + 1, -3*t + 3 = -5*x - 12. Suppose 2*u - 17 = -5*f, -2*f + t = 2*u - 10. Is u a multiple of 8?
False
Let d(v) = -3*v + 65. Is d(0) a multiple of 21?
False
Let g(z) be the third derivative of 0 + 3*z**2 + 0*z + 5/6*z**3 + 1/24*z**4. Is 7 a factor of g(5)?
False
Is 2 a factor of (6/2)/9*6?
True
Let t(w) = w**2 - 3*w - 14. Is t(10) a multiple of 14?
True
Suppose 4*y + 5*v - 139 = 0, 4*y - 2*v - 115 = v. Is 9 a factor of y?
False
Suppose 5*s - 34 = 11. Does 9 divide s?
True
Suppose 0 = -4*y + 5*q - 7, q - 14 = -4*y - q. Suppose 0 = -5*l - 5*b + 130, -y*b + 3 = b. Is l a multiple of 14?
False
Suppose 0 - 174 = 3*t. Let h = t + 85. Does 8 divide h?
False
Suppose -46 = -4*i + d + d, 0 = -i - 2*d + 19. Is 3 a factor of i?
False
Let c(p) = p + 7. Is c(11) a multiple of 9?
True
Suppose 330 = 5*m + 4*n, 5*m + 5*n - 330 = -0*m. Is 33 a factor of m?
True
Suppose -4*u + 2 = -62. Suppose -3*b + u = -7*b. Is 4 a factor of 18/b*(-2)/1?
False
Suppose 4*o - 99 = 3*w, 5*o - 6*o - 3*w = -21. Does 4 divide o?
True
Suppose 0 = -2*c + 17 + 175. Suppose 3*x + c = 3*w - x, 3*w + 4*x = 96. Does 22 divide w?
False
Suppose 5*z = 5*o + 15, 5*z + 3*o - 15 = -2*o. Suppose z*f - 6*f = -36. Does 6 divide f?
True
Let b be 6/(-6) + (1 - 5). Let c = 18 + b. Is 8 a factor of c?
False
Let c = 2 - -3. Is 20 a factor of 2/c - (-756)/10?
False
Let m(y) be the third derivative of -5*y**4/8 - 11*y**3/6 + y**2. Is 18 a factor of m(-5)?
False
Suppose -4*o = -6*o - 114. Let c = -30 - o. Let n = c - 16. Is n a multiple of 11?
True
Let a(i) = 11*i + 6. Is a(4) a multiple of 5?
True
Let g = -183 - -327. Is g a multiple of 12?
True
Let r(t) = -6*t + 32. Let g(o) = 4*o - 21. Let w(s) = -8*g(s) - 5*r(s). Suppose 11 = -4*a - 13. Does 10 divide w(a)?
True
Let f(b) = -3*b**2 + 6*b**2 + 3*b - 2*b. Let k be f(1). Suppose -4*z - p + 35 = 0, k = -3*p + 1. Is z a multiple of 4?
False
Suppose z - 7 = -0*z. Is z a multiple of 4?
False
Let h(w) = w**3 + 2*w**2 - 2*w - 1. Let t be h(4). Suppose -v - 3 = -18. Suppose 4*f - t + v = 0. Is 9 a factor of f?
True
Suppose t + 0 - 3 = 0. Suppose -c + 3 = d - t, -5*d = -4*c + 33. Is c a multiple of 4?
False
Let f = -1 - -6. Suppose -8*b + 24 = -f*b. Is b a multiple of 2?
True
Let p(b) = b**3 + 10*b**2 - 7*b - 4. Does 14 divide p(-10)?
False
Let z = -6 