-2*o + 6*o + 8, o - 1022 = -4*i. Does 29 divide i?
False
Suppose -2*n - 2*l + 18 = 0, -5*l + 6 = -19. Does 3 divide n?
False
Is 5 a factor of (-5747)/(-28) + 4/(-16)?
True
Is 159/9 + (-3)/(-9) a multiple of 5?
False
Suppose 3*c = 4*k - 412, -2*k + 2*c = -81 - 125. Suppose 0 = -3*p - 86 - k. Let l = 131 + p. Is l a multiple of 24?
False
Suppose -4*k + 174 = -k. Let v = -36 + k. Is v a multiple of 11?
True
Let v be 0/1*1 - -29. Suppose 2*p - 30 = -0*p + 2*k, -3*p = 5*k - v. Is p a multiple of 13?
True
Let v be -201*(-5)/(60/16). Does 2 divide 4/(-7) - v/(-28)?
False
Let z = -34 + 66. Does 8 divide z?
True
Suppose 230 = -5*s + 570. Is 15 a factor of s?
False
Suppose 0 = -8*y + 114 - 26. Is y a multiple of 8?
False
Let w = -16 - -16. Suppose 3*p + 5*b = 98 - 13, -3*b + 15 = w. Is p a multiple of 10?
True
Suppose g = -g + 10. Let s(b) = 2*b + 4. Let o be s(8). Let x = o - g. Is 4 a factor of x?
False
Suppose -3*w - 1 = -2*w - k, -5*w - 5*k = -35. Does 13 divide (-6 + 3)/w*-37?
False
Suppose -4 = -3*y + 2*y. Suppose 50 = 2*i - 2*w, -y*i + 5*w - 19 + 119 = 0. Is i a multiple of 5?
True
Let v = -498 + 733. Is 14 a factor of v?
False
Let x(z) = -5*z**3 - 4*z**2 - z + 2. Is x(-2) a multiple of 14?
True
Let c(d) = d + 1. Let b be c(1). Let v(r) = 6 + 2 - 6*r**b + 0 - r**3 - r. Does 12 divide v(-6)?
False
Suppose 22*g + 80 = 23*g. Is g a multiple of 20?
True
Suppose 5*j = -5 - 0. Let c = 1 + 0. Is j/2*(-22)/c a multiple of 5?
False
Suppose 4 = 3*l - 2. Suppose l*f + 1 = 7. Is 3 a factor of f?
True
Suppose 4 - 1 = -c. Does 6 divide (-18)/(1 + -3) - c?
True
Does 7 divide 1/3 + (-1040)/(-30)?
True
Let s = 492 + -230. Is 22 a factor of s?
False
Let n = -1 + 4. Suppose 6*q = n*q + 12. Is q even?
True
Let u = -31 - -45. Is 11 a factor of u?
False
Let d be 3/(-3) - (-2 - -1). Suppose 5*t + s = -18, d = -t - 0*t - 3*s + 2. Let n(j) = -3*j + 2. Is n(t) a multiple of 10?
False
Is 82/2 - 0/3 a multiple of 15?
False
Suppose -62 = -4*m - 3*n, -44 = -2*m - m - n. Let j(y) = y**2 - 10*y - 3. Is j(m) a multiple of 18?
False
Does 5 divide ((-6)/(-5))/((-8)/(-100))?
True
Suppose 41 = -7*u + 475. Is 6 a factor of u?
False
Let j(v) = 29*v**2 + 2*v + 3. Is j(-1) a multiple of 10?
True
Does 28 divide (-28)/((-1 - (-3 + 1))*-1)?
True
Let i be (2 - 0) + -13 - -2. Let o = 7 - i. Does 16 divide o?
True
Let i = -75 - -110. Is 13 a factor of i?
False
Let g(x) = 76*x**3 + 4*x**2 - 2. Let a(k) = -38*k**3 - 2*k**2 + 1. Let h(j) = 11*a(j) + 6*g(j). Let p be 3 + -1 - (-1 - -2). Does 13 divide h(p)?
True
Suppose 5 = -5*u, 0*u = 2*s - 5*u - 1. Is 21 a factor of (-207)/(-4) - s/8?
False
Suppose 0*v + 51 = 3*v. Is v a multiple of 7?
False
Let z(q) = 3*q**2 - q + 1. Suppose 0 = 5*u - 2*u - 3*r + 6, 2*r = 10. Is 23 a factor of z(u)?
False
Let r(m) be the first derivative of m**5/60 - m**4/6 + 2*m**3/3 + 1. Let u(n) be the third derivative of r(n). Is u(6) a multiple of 8?
True
Suppose 24 = -2*n + 3*n. Is 3 a factor of n?
True
Let v(g) = -g**2 + 9*g - 8. Let d be v(7). Suppose y - 5*k + 3 = -6, -2*y = 2*k - d. Let q = 24 + y. Does 25 divide q?
True
Let l(a) = a - 6. Let x be l(0). Let o(r) = r**3 + 5*r**2 - 7*r. Let s be o(x). Let h(j) = j**2 - j - 6. Is 11 a factor of h(s)?
False
Let u be (7 - 1)/1 + -2. Suppose 2*s = -y - 4, -2 = -u*y - 18. Suppose 5*i = -o - s*i + 8, i = -2. Is o a multiple of 9?
True
Suppose p + 4*p - 1125 = 0. Does 50 divide p?
False
Let p(c) = -c**3 + 4*c**2 + 6*c - 1. Let y be p(5). Suppose w = -z - 4*w + 15, 9 = y*z + 3*w. Let f(n) = -n + 26. Is f(z) a multiple of 13?
True
Let d(m) = m**3 - 1. Let u(s) = 4*s**3 - 6*s**2 - 4*s - 9. Let b = -6 + 11. Let l(f) = b*d(f) - u(f). Does 12 divide l(-4)?
False
Suppose 0 = 4*r - k - 129 - 220, -164 = -2*r + 4*k. Does 22 divide r?
True
Let c(h) = h**3 + 9*h**2 - 16*h - 12. Let g be c(-10). Suppose 2*i + 4*t - g = 0, -3*i + 5*i + t = 45. Is i a multiple of 22?
True
Suppose -w + 44 = -5*w. Let p = w - -38. Is 9 a factor of p?
True
Suppose -i + r = 6, -4*i = -8*i + 5*r - 26. Let u(d) = -d**3 - 2*d**2. Is 12 a factor of u(i)?
False
Is 14 a factor of -10*(-29)/4 - 4/(-8)?
False
Suppose 2*j = 11 + 5. Let l = j + 11. Does 19 divide l?
True
Suppose -34 = -3*k + 38. Is k a multiple of 24?
True
Suppose 206 = 5*i - w, i + 0*i - 50 = -2*w. Let s = i + -16. Does 13 divide s?
True
Let w(i) = -i + 4 + 4*i + 12*i**2 - 3*i**2. Let n be w(-3). Let q = n - 52. Is 12 a factor of q?
True
Let b(i) = 3*i**2 - 4*i + 1. Let n be b(6). Does 28 divide n/3 - 2/6?
True
Suppose 2*x - m = 41, 5*x - 2*m + 6*m - 96 = 0. Suppose -4*d + x = 2*p, 0 = 3*p - 5*d - 0*d + 25. Suppose p = 3*h - 25 - 26. Does 14 divide h?
False
Let s be (-5)/(-2) - 27/(-18). Suppose s*h - 91 = 13. Does 8 divide h?
False
Let y be (2/(-6))/((-1)/(-33)). Let b = y - -21. Does 6 divide b?
False
Suppose -3*u + 5 = -u - 5*s, -4*u - s + 21 = 0. Suppose -110 = 3*n - u*n. Does 13 divide n?
False
Suppose -k + 3*y = -0*k - 138, -4*k + 541 = -y. Is 9 a factor of k?
True
Let g be ((-4)/(-6))/((-2)/(-15)). Suppose 0 = -2*p + f, g*p + 1 = 4*f - 5. Suppose -5*x = 3*h - 6*h + 74, -60 = -p*h - 2*x. Does 14 divide h?
True
Does 2 divide (-120)/(-50) + (6/(-5))/3?
True
Suppose 4*f - 91 = -i, 5*i - 5*f = -2*f + 524. Is i a multiple of 36?
False
Suppose -2*i + 43 = -15. Let k = 49 - i. Does 10 divide k?
True
Let l(w) = -w**3 - 7*w**2 - 1. Let t be l(5). Let r = 2 + -1. Is t/(-14) + r/2 a multiple of 11?
True
Suppose -2 - 17 = 5*p - 3*a, 2*a + 24 = -4*p. Let w(f) = -f**3 - 3*f**2 - 2*f - 7. Is w(p) a multiple of 15?
False
Let b(s) = s - 6. Let l be b(6). Suppose v = -l*v + 24. Is 8 a factor of v?
True
Suppose -2*i = i. Suppose 3*p = -h - 8, -5*h - p + 11 + 5 = i. Suppose 148 = 3*x + n, n = -h*x + 154 + 42. Is 18 a factor of x?
False
Let v be ((-6)/(-4) + -1)*2. Let z(l) = 154*l**3 - l. Let m be z(v). Suppose -2*r - x + 101 = -0*r, 3*r + 2*x - m = 0. Is r a multiple of 20?
False
Suppose -8*i = -5*i + 15. Suppose 5*m = -1 - 4. Is 18/i*(m - 9) a multiple of 22?
False
Let d be (7 - 0) + 0 + 1. Suppose -d*t + 3*t = -110. Is t a multiple of 22?
True
Let j(w) = 2*w - 15. Suppose b = 1 + 9. Does 4 divide j(b)?
False
Suppose 3*h + 163 = -107. Is (h/12)/(6/(-8)) a multiple of 5?
True
Let y(m) = m**3 + 17*m**2 + 10*m - 48. Does 8 divide y(-16)?
True
Let t be 3/5 - 3/5. Let w(a) = t + 3 + a - 2 - 4*a. Is 8 a factor of w(-5)?
True
Let w(t) = t**3 + 9*t**2 + 8*t + 9. Let z be w(-8). Suppose 0*b = -b + z. Is b a multiple of 9?
True
Let m(b) = -b**3 + 4*b**2 - b - 2. Let v be m(3). Suppose 0 = -i + v + 46. Is i a multiple of 15?
False
Suppose 0 = -4*u + 3*c + 4 + 5, 0 = -u - 5*c + 31. Suppose u*w = w + 165. Is w a multiple of 11?
True
Let a = 36 + -14. Suppose 3*f - 32 - a = 0. Is f a multiple of 5?
False
Let k(y) = -y**3 - 4*y**2 - 3. Let b be k(-4). Let n be ((-9)/6)/(b/76). Let m = n + -23. Is m a multiple of 8?
False
Let d(b) = -b**3 + 5*b**2 - 3*b - 2. Let c be d(4). Let g(h) = -h**c - 9 - 11*h - h**2 + h**2. Is g(-7) a multiple of 13?
False
Let f(s) = -s + 3. Let b be f(0). Suppose 4*r + b*u - 16 - 123 = 0, r - 6 = 5*u. Suppose 0 = -5*o + 4*o - g + r, 0 = 5*o + 3*g - 145. Is 13 a factor of o?
True
Let o(i) = -5*i - 17. Is o(-8) a multiple of 8?
False
Let u be (-16)/(-12)*(-6)/(-2). Suppose a = -u*y + 3 + 1, -3*y = 3*a - 12. Suppose 6*t = a*t + 68. Is 17 a factor of t?
True
Suppose 0 = -5*i - 5*u + 975, -2*i + u + 374 = -u. Is 13 a factor of i?
False
Suppose -5*q + 19 = -196. Is 10 a factor of q?
False
Let t = 13 - 2. Is 8 a factor of (-90)/(-11) - 2/t?
True
Suppose q = 4 + 2. Suppose q = -2*d + 3*d. Is 6 a factor of d?
True
Let k(p) = 2*p - p**2 + 3 + 4*p + 2*p. Let x be k(8). Suppose x*w - 34 = 11. Does 12 divide w?
False
Let c be 2/(0 - 1/(-4)). Suppose c*r - 130 = 3*r. Is r a multiple of 13?
True
Suppose w = -3*w + 1056. Let j = -114 + w. Suppose -4*b + 56 = -2*x + j, -8 = 4*b. Is 13 a factor of x?
False
Suppose 7*v = 5*v + 6. Suppose v*r - 219 = -3*n, -4*n = -r + 3 + 75. Is r a multiple of 21?
False
Suppose -j + 2 = 0, -2*l + 0*l - 54 = -5*j. Does 10 divide -4 - (-1 - 1) - l?
True
Let n be (-12)/(-30) - 108/(-5). Does 4 divide n + 4/(-4)*2?
True
Suppose -6 - 14 = -4*v. Suppose 45 = 3*z - 3*a, -z + 23 = -v*a - 8. Is 4 a factor of z?
False
Let t be (1 - 3)*(-3)/2. Suppose t*a = 11 + 49. Is 10 a factor of a?
True
Let