1 - -1) a multiple of 4?
True
Let i(z) be the first derivative of 2*z**3/3 - 3*z**2/2 + 6*z + 3. Let k be i(-6). Suppose -5*m + k = -14. Does 22 divide m?
True
Let f(y) = -y**2 + y + 2. Suppose -20 = -n - 4*l, -2*n + 5*n + 3*l = 15. Let s be f(n). Suppose -192 = -2*w - s*w. Is w a multiple of 24?
True
Suppose 3*q = h + q - 8, -4*h = -5*q - 41. Is 7 a factor of h?
True
Suppose 340 = 11*p - 6*p. Is 17 a factor of p?
True
Suppose j + 3*f = -4, j - 3 = 2*j + 2*f. Let i be (36 - 0)*j - 2. Let u = 78 + i. Is u a multiple of 15?
False
Let z = 11 + -12. Is -1 + 13 + (-3 - z) a multiple of 10?
True
Does 22 divide 1062/8 + 18/(-24)?
True
Let v(h) = h**3 + 4*h**2 + h + 1. Let t be v(-3). Suppose -4*w + t*x + 188 = 4*x, 4*w - 192 = 4*x. Does 22 divide w?
True
Suppose -2*g - 18 = -5*g. Suppose 3*j - 24 - g = 0. Does 5 divide j?
True
Let l be -3 + -1 + 11 + 3. Suppose 4*d = 3*x + 285 + 53, -l = 5*x. Is 31 a factor of d?
False
Suppose -4 = -4*q + 2*n, -7*n = q - 2*n + 10. Let r(d) = 6*d**2 - 1 + q*d**3 - d**3 - 3*d**2. Is r(-2) a multiple of 19?
True
Let v = -9 + 5. Let y = -1 - v. Is 9 a factor of ((-5)/3)/(y/(-45))?
False
Let l be (-1)/1*(-1 + -9). Let y be (l/(-6))/(1/(-3)). Suppose -y*a = -a - 140. Does 12 divide a?
False
Let k(t) = 2*t**2 + 5*t. Let j be k(4). Let d = 79 - j. Does 12 divide d?
False
Let r = -46 + 93. Is r a multiple of 10?
False
Let w(c) = 2*c**3 + c**2 - 2*c + 5. Let x(z) = z**3 + z**2 - z + 5. Let a(y) = -2*w(y) + 3*x(y). Does 5 divide a(0)?
True
Let a = -40 + 57. Is 17 a factor of a?
True
Let m(t) = t. Let p = 0 + -2. Let b be (p/(-4))/((-1)/(-12)). Does 6 divide m(b)?
True
Suppose -5*k = -0*k - 25. Suppose 0*l - 6 = 2*l, 5*w - 60 = -k*l. Is 11 a factor of w?
False
Is 2 a factor of 24/2 - (-4)/4*1?
False
Let l = 17 - 7. Let f = 19 - l. Suppose -h - f = s + 4*h, 2*s - 3*h - 21 = 0. Is s a multiple of 4?
False
Let h(y) be the first derivative of -y**4/4 - 2*y**3/3 - 3*y**2/2 + 2. Does 9 divide h(-3)?
True
Suppose 5*c + 51 = f, 3*f - 129 = -0*c + 3*c. Is f a multiple of 21?
False
Let y be -2 - ((-5 - -2) + 2). Does 8 divide -2 - y - (-185)/5?
False
Let i = -3 + 17. Let g = i - 22. Is (-234)/g + (-6)/(-8) a multiple of 10?
True
Is (4 - 2 - 1) + 35 a multiple of 9?
True
Suppose -3*r - 3 - 12 = 0, 2*f + 1 = -r. Suppose -i - 5 = -f*i. Is 2 a factor of i?
False
Let r = 0 + 7. Let g = 3 - r. Let o = g - -7. Is o a multiple of 2?
False
Let n be (-6)/8 - 668/(-16). Is -1 - (-3 - -2)*n a multiple of 20?
True
Let w(c) = -c**3 + 5*c**2 + 2. Let x be w(5). Suppose x*r + 2*r = 88. Is r a multiple of 11?
True
Suppose 0*o - 5*m + 45 = o, 0 = -3*o - 5*m + 135. Suppose -3*y = 3*u - 0*u + o, 54 = -4*u - 2*y. Let k = 22 + u. Is 5 a factor of k?
True
Let s be 9/(-5) + 2/(-10). Let r = s + 4. Let p = r - -3. Is p a multiple of 5?
True
Let q = 12 - 8. Is 7 a factor of (2/q)/((-3)/(-84))?
True
Let c be (-2)/4 + 15/6. Suppose -2*k - 36 - 76 = -5*x, 0 = -c*x + 4*k + 32. Does 12 divide x?
True
Let i(q) = q**3 + 7*q**2 - 8*q - 9. Let k be i(-7). Suppose 0 = g + 14 - k. Suppose g - 12 = 3*d. Does 3 divide d?
False
Let j(o) = 6*o - 16. Let l(f) = f - 1. Let t(k) = j(k) - 10*l(k). Suppose 4*u + u + 25 = 0. Is 12 a factor of t(u)?
False
Suppose 1 = 4*q + 5. Let h(y) be the third derivative of -5*y**4/12 + y**3/6 + 5*y**2. Does 3 divide h(q)?
False
Let j = 113 + -14. Is j a multiple of 33?
True
Let u(r) = -r**2 - 9*r - 4. Is u(-8) a multiple of 2?
True
Let w be (78/(-7))/((-3)/21). Let u be -2 + -1 + 2 + w. Let m = -55 + u. Is m a multiple of 11?
True
Let n(r) = -6 + 2*r - 3*r + 6*r. Let c be (-2)/5 - (-44)/10. Is n(c) a multiple of 13?
False
Suppose -2*b = -i + 28, 0 = 4*i + 5*b - 124 - 1. Does 10 divide i?
True
Let k = 17 + -11. Suppose -s = k*x - x - 10, 5*s - 5*x - 20 = 0. Does 4 divide s?
False
Is 10/(-2)*(47 + -1)*-1 a multiple of 11?
False
Let k(o) = -3*o - 3. Suppose 7*m - 12*m = 55. Let y = m + 7. Does 3 divide k(y)?
True
Suppose 2*j = -2*j + 8. Let w be (-6)/21 + j/7. Suppose w*n = n - 4. Is 4 a factor of n?
True
Let f be 53/(2/8*1). Suppose f = 4*s - 100. Is 18 a factor of s?
False
Suppose 3*v - 110 = -2*v. Suppose -w = -0*w - v. Is w a multiple of 9?
False
Let o(k) = k**3 - 2*k**3 + k**3 - 5 - k**2 + k**3 - 3*k. Let w be o(5). Suppose -w = -4*f - q, -3*f + 3*q + 60 = -q. Does 8 divide f?
False
Suppose 0 = -0*k + 2*k. Suppose -2*q + k*q + 10 = 0. Is (q*2)/((-8)/(-20)) a multiple of 17?
False
Suppose 0 = 4*j + 5 - 37. Is 23 a factor of (-824)/(-32) + 2/j?
False
Let o(t) = -24*t**3 - 1. Let h = -5 + 4. Is 9 a factor of o(h)?
False
Let i = 1 - 11. Let n = -13 - -29. Let s = n + i. Is 6 a factor of s?
True
Let c = -6 + 11. Is 14 a factor of (8/(-6))/(c/(-210))?
True
Suppose -69 = -5*c + 271. Does 4 divide c?
True
Suppose 0 = -b + 3*b - 52. Suppose -3*p + 5*p - 4*v + 4 = 0, -2*v = 2*p - b. Is 2 a factor of p?
True
Suppose -3*w - 5 = -2*u, -w - 3*w - 8 = -2*u. Is 2 + (-6)/(3/w) a multiple of 8?
True
Suppose m = 4*m - 69. Does 5 divide m?
False
Suppose 0 = 2*h - 2*z - 130, -3*z + 1 + 2 = 0. Does 11 divide h?
True
Suppose 10 = 2*n - 7*n. Does 5 divide n*(9/3 + -17)?
False
Is -3 - (-4 + 0 - 28) a multiple of 29?
True
Let z(y) = -y + 6. Let q be z(6). Suppose q = -2*i + 7*i + 115. Let n = i + 51. Is n a multiple of 11?
False
Let u = 9 - -3. Let o = 23 - u. Suppose 2*j - 31 - o = 0. Does 7 divide j?
True
Let t be 1 - 14/(-1)*11. Suppose 5*r - t = -0*r. Does 13 divide r?
False
Let g(b) be the first derivative of 23/3*b**3 + b + 1/2*b**2 - 2. Is 11 a factor of g(-1)?
False
Suppose 3*s = 2*j - 150, 4*j + s - 61 = 225. Is 24 a factor of j?
True
Let c(q) = 20*q**3 + 3*q**2 + 3*q - 17. Let t(w) = 7*w**3 + w**2 + w - 6. Let z(p) = -6*c(p) + 17*t(p). Suppose 3*v + 9 - 3 = 0. Is 3 a factor of z(v)?
True
Suppose -2*r + 3*r - p - 25 = 0, -2*p = -4*r + 100. Is 17 a factor of r?
False
Suppose -5*q = -2*y + 7*y - 210, 4*y - 162 = -2*q. Is y a multiple of 15?
False
Let v(z) = -3*z + 8 + 1 - 3 + 12*z - z**2. Is v(7) a multiple of 11?
False
Suppose -24 + 2 = -2*q. Does 6 divide q?
False
Let p = -6 + 3. Is 9 a factor of ((-13)/p + -2)*9?
False
Suppose 0 = 3*y - b - 131, 0*y = -3*y + 2*b + 130. Does 31 divide y?
False
Suppose 0 = -4*u + 5*x + 628, -4*u - x = 3*x - 592. Is u a multiple of 19?
True
Let g = 30 - 21. Is 2 a factor of g?
False
Suppose 0 = -13*l + 67 + 24. Is l a multiple of 4?
False
Suppose 0*s + 5*s + 25 = 0, 4*v - 2*s + 250 = 0. Let p = -39 - v. Is 7 a factor of p?
False
Suppose -10*x + 11*x = 15. Is x a multiple of 5?
True
Let o be 3/3 - (3 - 59). Does 4 divide 12/(-30) + o/5?
False
Let p(s) = -24*s - 8. Let c(b) = -16*b - 5. Let a(y) = -7*c(y) + 5*p(y). Is a(-2) a multiple of 10?
False
Suppose -5*h = 2*t - 189, 4*t - 52 = -5*h + 341. Let r = -65 + t. Does 15 divide r?
False
Let o(j) = -4*j - 3. Let p be o(-2). Let h = p - 2. Does 3 divide h?
True
Is 9 a factor of ((-3)/(-5))/(546/90 + -6)?
True
Let u = -56 + 150. Is 25 a factor of u?
False
Suppose -301 = -4*z + 339. Does 41 divide z?
False
Let y(n) be the second derivative of n**5/20 + n**4/4 - 5*n**3/6 + 2*n. Let j be y(-4). Suppose -j = -2*c + 36. Is c a multiple of 20?
True
Is -2 - ((-8)/4 - 45) a multiple of 15?
True
Suppose 4*u + 3*f = 409, 0 = -2*u + 2*f + 28 + 180. Let m be 2 - (-7)/(21/9). Suppose 87 + u = m*h. Does 17 divide h?
False
Suppose -4*l + l = 18. Let d = 0 - l. Does 6 divide d?
True
Let v(h) = -2*h**2 + 2*h + 6. Let w be v(-4). Is (-7)/21 - w/3 a multiple of 4?
False
Suppose 22*o - 18*o - 16 = 0. Does 3 divide o?
False
Let m(s) = s**2 + 7*s - 6. Is m(-10) a multiple of 11?
False
Suppose -4*x + 9 = -7. Suppose -2*a = -x*a + 12. Is 6 a factor of a?
True
Suppose -5*m - 500 = -6*k + 2*k, k - 150 = -5*m. Is k a multiple of 26?
True
Suppose 0 = 2*p - 3*p + 2. Suppose 0 = p*u - 5*u + 102. Let y = u + -24. Does 10 divide y?
True
Suppose 0 = 5*n - 2*n - 243. Is 27 a factor of n?
True
Let b = 47 + -27. Is 15 a factor of b?
False
Let r be 14/(-3)*(-3)/(-2). Let s = 15 + r. Is s/(-12) + (-182)/(-3) a multiple of 20?
True
Let o = -14 - -52. Does 8 divide o?
False
Let s(z) = z**3 + 2*z**2 - 3*z - 2. Let o be s(-3). Let q = o - -5. Does 2 divide q?
False
Is 133 + -26 + (-3 - 1*-1) a multiple of 20?
False
Let r be 1/2 - 1/2. Suppose 3*o + 17 - 2 = r, -2*o = -d + 10. Suppose 4*q - 2*q - 42 = d. Is 7 a factor of q?