 o(z) = z**3 + 8*z**2 + 7*z + 6. Let j be o(-5). Let v = -133 - -207. Suppose -j - v = -3*a. Does 10 divide a?
True
Suppose 38*d - 45*d = -119. Is 17 a factor of d?
True
Let h = 1219 - 649. Suppose -2*z - 3*z = -h. Let v = -34 + z. Is v a multiple of 20?
True
Let c(p) = p**3 + 9*p**2 - 10*p + 10. Is 4 a factor of c(-10)?
False
Suppose -2*x + 2538 = -0*x. Let s = x - 664. Is 3/(-9) + s/15 a multiple of 18?
False
Let g(c) = 1. Let j(z) be the first derivative of z**3/3 - 5*z**2 - 13*z - 2. Let f(x) = -3*g(x) - j(x). Is f(7) a multiple of 31?
True
Let v(h) = 17*h - 11. Let r be v(8). Let m = -97 - -177. Let c = r - m. Is 22 a factor of c?
False
Let p be (-4)/3*(-1431)/18. Suppose a = 5*o + 18, 0*a - 2*o = -3*a + p. Is a a multiple of 16?
False
Is 27/(-18) + (9518/4 - 2) a multiple of 22?
True
Let g(u) = u**3 - 6*u**2 + 52*u - 36. Is 15 a factor of g(9)?
True
Suppose -7*r + 155 = -2*r. Let x = 44 - r. Does 8 divide x?
False
Let k(o) = -o**3 + 4*o**2 - 3*o. Let m be k(2). Suppose 25 + 23 = m*a + 5*u, -3*a + 3*u + 93 = 0. Does 6 divide a?
False
Let q(m) = 5*m**2 + 28*m - 2. Let s(n) = 4*n**2 + 28*n - 3. Let j(f) = -5*q(f) + 6*s(f). Is 43 a factor of j(12)?
False
Suppose -4*d + 4*r = 0, 0 = d - 2*r - 2 + 6. Is (d - 185/10)*-4 a multiple of 26?
False
Let f = 117 + -107. Suppose -6*n = -f*n + 336. Is 14 a factor of n?
True
Let x = 159 - -16. Let q = x - 95. Is 8 a factor of q?
True
Let k = 190 + -133. Is k a multiple of 14?
False
Is 6 a factor of (47 - 50)/(2/(-120))?
True
Let t = 174 + -114. Is (3/(-4))/((-18)/t)*2 a multiple of 5?
True
Suppose 3*g - 6*g + 757 = -5*i, -2*i = -2*g + 510. Does 13 divide g?
False
Suppose -8*a + 4*a - 4*t + 228 = 0, -t + 111 = 2*a. Is a even?
True
Let c = 19 + -34. Is 17 a factor of (-2)/1 - -4 - c?
True
Suppose 2*f = -0*f. Suppose f = -5*t - 6 + 1. Is (8/(-12))/(t/69) a multiple of 20?
False
Let i(t) = -126*t + 50. Let k(o) = -25*o + 10. Let a(n) = -2*i(n) + 11*k(n). Is a(-4) a multiple of 30?
False
Is 33 a factor of (108/198 - (-1281)/11)*22?
True
Let p be (2/(-2) - 2)*-1. Let y be 0 - (p + -5)*1. Suppose 5*u + 4 = -r, -y*u - 26 = -4*r - u. Is 6 a factor of r?
True
Let w(y) = -4*y**3 + 17*y**2 + 7*y + 8. Let o(z) = 8*z**2 - 2*z**2 + 4 - z**3 + 0*z**2 - 1 + 2*z. Let j(u) = 7*o(u) - 2*w(u). Does 27 divide j(-7)?
True
Let p be (-8)/(-5)*140/(-8). Suppose 0 = 2*k - 7*k - l - 16, 4*k + 5*l = 4. Let v = k - p. Is v a multiple of 13?
False
Let t = 28 - 24. Suppose 4*j + t = 0, -j = -2*s + 2*j + 75. Does 36 divide s?
True
Suppose -14 = z - 0*b + 5*b, 0 = 3*b + 15. Let i(q) = 2*q + 8. Let t be i(z). Suppose 8*d = 4*d + 3*g + 45, -2*d + 4*g = -t. Is 9 a factor of d?
True
Suppose 0 = 3*v - 6, 4*n - 119 = -3*v + 847. Does 20 divide n?
True
Let w = -16 + 26. Suppose w*b = -b + 132. Is 4 a factor of b?
True
Suppose -96 = -b + 3*b. Let p be (-7 - -8)/((-2)/b). Suppose -k + 67 = p. Is k a multiple of 27?
False
Let o be ((-4 - -3) + 1)/(-2). Suppose 3*q = 2*x - 101, x + o*q = 3*q + 55. Let c = x - -10. Does 31 divide c?
False
Let j = 19 + -26. Does 14 divide (j/(-14))/(((-1)/(-140))/1)?
True
Suppose -2*d + 3*d = x + 10, -2*x = 8. Let u = 10 - d. Suppose 0*g - 36 = -u*g - 4*c, -g + c = -15. Is 6 a factor of g?
True
Suppose 3*v = d - 3, -v + 1 = 3*d - 8. Suppose -4*l = -7*l. Suppose -4*i + 94 = 2*a, i - 20 = d*a - l*a. Is i a multiple of 12?
False
Suppose -n = 4*t - 0*t - 135, -n + 119 = -4*t. Is n a multiple of 2?
False
Let t(u) = -u**3 - u**2 + 5*u + 1. Suppose -o - 3*k = 22, -6 = 4*o - 6*o + 4*k. Let b be t(o). Suppose -9*h = -14*h + b. Is h a multiple of 13?
True
Let l be -3*(1 - 3)/(-2). Let c(d) = 2*d**3 + 6*d**2 + 3*d + 1. Let a(m) = -m**3 - m**2 - m. Let b(k) = a(k) + c(k). Is 4 a factor of b(l)?
False
Let k(f) = 0 - 70*f + 0 - 9*f. Does 14 divide k(-1)?
False
Suppose 0 = -5*j + 543 + 42. Suppose -j = -6*q - 3. Does 10 divide q?
False
Let z be (-4)/3*108/(-48). Suppose f - 27 - 24 = 3*b, 5*f = -z*b + 273. Is 9 a factor of f?
True
Suppose 8*i - 9*i = -6. Is (-28)/(9/((-27)/i)) a multiple of 7?
True
Suppose 2*b + 52 = 3*i, 2*i = b - 2*b - 19. Let r = b - -14. Is 22 a factor of (-244)/(-6) - 3/r?
False
Let d(q) = -q + 2. Let i(k) = -k**2 + 10*k - 6. Let r(m) = -4*d(m) - i(m). Let n(v) = v**2 - 3*v - 3. Let b be n(-2). Is r(b) a multiple of 2?
False
Suppose s + 19*s + 60 = 0. Let x = s - -93. Does 9 divide x?
True
Let p be 364 + ((-4)/14 - (-32)/14). Is 18 a factor of (p/(-4))/(3/(-4))?
False
Let x be (0 + 9)*7/21. Let l be (-648)/(-20) - x/(-5). Let v = l + -18. Is v a multiple of 7?
False
Let c = 477 - 308. Is 2 a factor of c?
False
Let t(w) = 3*w - 2*w + 4*w - 4*w. Let y(f) = -f**2 + 4*f - 53. Let a(q) = 3*t(q) - y(q). Does 12 divide a(0)?
False
Let i(y) = -5 + y**3 - 6*y + 0*y**3 + 0*y**3 + 7*y**2. Let s be (-6)/(-8) + 54/(-8). Does 14 divide i(s)?
False
Let d = -3 - -3. Suppose 4*u - 4*r = 108, d*u + 5*u - r - 139 = 0. Suppose -8 = -6*m + u. Is 6 a factor of m?
True
Let s be ((-26)/(-8))/(2/(-16)). Let z = -41 - s. Let n = z - -36. Does 7 divide n?
True
Let f be (-78)/3*3/(-6). Let k = -7 + f. Does 5 divide k?
False
Let o(l) = -l**3 - 3*l**2 + 2*l - 3. Let i be o(-4). Suppose 6 = -i*f + 31. Suppose 60 = 5*x - 5*z, f*x = z + 90 - 34. Is 11 a factor of x?
True
Suppose 0 = 277*w - 273*w - 76. Let g = 223 - w. Is 34 a factor of g?
True
Let c(g) be the third derivative of g**4/24 + 5*g**3/3 + 10*g**2. Does 3 divide c(12)?
False
Let j(p) = 2*p + 95. Is j(24) a multiple of 13?
True
Let f(k) = -9*k + 5. Let w(s) = s**2 - 10*s + 6. Let c be w(10). Let j be f(c). Is 12 a factor of (168/j)/((-4)/14)?
True
Suppose k - x + 9 = 0, 0 = -5*x - 1 - 4. Let h be k/(-4)*6/15. Is h + (-7)/(14/(-30)) a multiple of 4?
True
Let o = -217 + 1114. Does 12 divide o?
False
Let d(u) = -u**2 + 5*u. Let y be d(3). Suppose -t = t - y. Let m(h) = 29*h - 3. Does 21 divide m(t)?
True
Let p(k) = -2*k + 5. Let g = 4 + -9. Let f be p(g). Suppose 7*v - 12*v = -f. Is v a multiple of 3?
True
Let q(l) = -l**2 - 5*l + 2. Let h be q(-5). Let k be (-430)/(-9) - h/(-9). Suppose k = d - 6. Is 18 a factor of d?
True
Suppose 0 = v - 5*v + 24. Suppose 0*t + 2*d - v = -2*t, -2*t + d = 6. Is 14 a factor of t/4 + 85/4?
False
Suppose 2*g - 568 = 1628. Does 23 divide g?
False
Suppose 0 = 49*j - 42*j - 784. Does 5 divide j?
False
Let t(l) = 43 - 4*l**2 + 7*l - l**3 - 43. Let o be t(-7). Suppose o + 22 = 4*s. Does 10 divide s?
True
Let n(l) = l**3 + 12*l**2 - 16*l + 26. Let b be n(-13). Suppose -4*a - 3*t + b = -2*a, 5*t = -5*a + 160. Is a a multiple of 31?
True
Let j be 5/((-25)/(-1530)) + -1. Let d = j - 183. Does 7 divide d?
False
Let h be (4/(-6))/(8/(-1284)). Let c = h + -42. Let m = -22 + c. Is 9 a factor of m?
False
Let h(c) = 22*c**2 + 4*c - 3. Let s be h(2). Suppose s + 35 = 4*j. Is 8 a factor of j?
True
Let y be (-5 - 65/(-10))/(3/4). Suppose 0 = -3*j - 4*w + 134, 0 = y*j - 2*w - 2*w - 76. Does 6 divide j?
True
Suppose 0 = -4*r + 3*i - 0*i + 15, -i = -r + 4. Suppose h - 1 - 29 = 5*j, 0 = r*h + 3*j. Suppose 0 = 5*a - 2*a + h*n - 148, 0 = 5*n + 5. Is 15 a factor of a?
False
Let q(x) = -27*x + 90. Is 5 a factor of q(-4)?
False
Suppose -32 = -j + 5*j. Let v = j - -10. Suppose 0 = k + f - 4, -v*k = -3*k - 4*f - 5. Is k even?
False
Let o(n) = -n**3 + 22*n**2 + 2*n - 198. Is o(17) a multiple of 12?
False
Suppose 0 = -58*n + 62*n - 936. Is 13 a factor of n?
True
Suppose 11*z - 18 = 5*z. Suppose 646 = 5*v + 2*w - 4*w, z*w - 6 = 0. Does 8 divide v?
False
Let p = 103 - 97. Let v = p - -21. Is v a multiple of 3?
True
Suppose -2*n = -2*d - 126, 34 = n - 5*d - 41. Let p = -5 + n. Let r = p - 31. Is 4 a factor of r?
True
Let p = -12 - -56. Let w = 6 + p. Is 10 a factor of w?
True
Suppose 3*m - 5 = 5*m - 5*b, 4 = -m + 4*b. Suppose 3*z + 0*z + g - 108 = m, 4*g - 82 = -2*z. Let l = z + -17. Is 6 a factor of l?
True
Suppose 1343 = 6*y - 979. Does 9 divide y?
True
Suppose -35*b = -24*b - 3168. Is b a multiple of 24?
True
Suppose -l + 5 = 5*f - 8, 4*f - 12 = 0. Let j(i) = -4*i - 3. Let g be j(l). Suppose -11 - 10 = -4*z - g*h, z + 2*h = 3. Is z a multiple of 3?
True
Let z(l) = l**3 - 6*l**2 + 6*l + 75. Is z(9) a multiple of 10?
False
Let y = 91 + 169. Does 65 divide y?
True
Let i = 2 + 2. Suppose -i*j - 2 = -18. Suppose j*h + h = 3*s - 183, -2*h - 183 = -3*s. Is 14 a factor of s?
False
Let t(