6) a multiple of 6?
False
Let r be (-3)/(1 + 13/(-10)). Let i be 8/((8/r)/2). Is 3 a factor of i/(-4)*(-2)/2?
False
Let h(z) = z**3 - 10*z**2 + 6*z - 3. Let b = -61 - -88. Let q = b + -17. Does 22 divide h(q)?
False
Is (-88)/11*(-372)/16 a multiple of 31?
True
Let y = 2574 + -238. Does 32 divide y?
True
Let j(l) = -1 - 15*l + 7 + l**2 - 1 - 3. Let u be j(15). Suppose u*b - 6*b = -72. Does 9 divide b?
True
Let x(o) = 24*o - 211. Is x(18) a multiple of 17?
True
Let y = 12 - 9. Suppose 134 = y*z - 82. Is 20 a factor of z?
False
Let d(t) = -4*t. Let j(v) = -3*v. Let b(y) = -5*d(y) + 6*j(y). Let z be b(1). Suppose 0 = u - z*p - 52, 5*u - 45 = 4*p + 233. Is u a multiple of 20?
False
Suppose 6*v - 27 - 15 = 0. Suppose -4*z + v = -101. Does 9 divide z?
True
Let i(k) = 2*k**2 + 7*k + 7. Suppose -20 = -h + 5*h. Let c be (2*-1)/((-2)/h). Is i(c) a multiple of 9?
False
Let o(s) = 50*s - 216. Is 7 a factor of o(13)?
True
Let a(k) = k**2 + 3*k - 34. Let i be a(-16). Is 29 a factor of (5/4 - (-15)/(-20))*i?
True
Suppose 2*a - 1 = 5. Suppose 3*l + 0*z - 5*z - 135 = 0, a*l = -5*z + 135. Does 17 divide l?
False
Suppose -4*k + j = 899 - 110, -384 = 2*k - 4*j. Let x = 340 + k. Let c = x + -84. Is c a multiple of 13?
False
Suppose -20*n - 2*n = -1452. Does 10 divide n?
False
Suppose -v = v - 2*p - 972, -4*v + 1968 = 2*p. Let w = -91 + v. Is 29 a factor of (-1)/(-2) - w/(-6)?
False
Suppose 0 = 10*z + z + 1925. Let c = z - -245. Is c a multiple of 3?
False
Let q be (-8)/(-12) + 26/6. Suppose 3*o - 2*r - 78 = 0, 0 = 3*o + q*r - 55 - 2. Suppose 4*w - w - o = 0. Does 8 divide w?
True
Suppose 0 = -4*q - 2*g - 458, 4*q + 5*g + 16 = -439. Let k = -96 - q. Is k a multiple of 2?
False
Let x(v) = v**3 - v**2 - 3*v - 2. Let a be x(3). Let y = 89 + a. Does 12 divide y?
True
Let i(f) = f**2 - 3*f + 421. Is 4 a factor of i(0)?
False
Let h(d) be the first derivative of -67*d**2/2 + 68*d - 32. Is h(-4) a multiple of 12?
True
Suppose 0*u = 4*u - 224. Is (96/u)/(((-12)/154)/(-3)) a multiple of 22?
True
Let z(q) = q**3 + 9*q**2 + 12*q + 4. Let s be z(-5). Suppose b - 2*b = -s. Suppose -4*i = -4*u + b, -5*u + 0*i = -2*i - 55. Is 5 a factor of u?
False
Does 15 divide 0 - (-10 + 13) - -1143?
True
Suppose -82320 = -18*d - 2*d. Is 28 a factor of d?
True
Let t(u) = -5*u - 9. Suppose -a + 17 = -5*c + 7, -2*a - 4*c = 50. Does 10 divide t(a)?
False
Let v be 3/((-2)/36*-1). Let a = v - 21. Is a a multiple of 11?
True
Let g(b) = -2*b**3 - b**2 + 2*b - 6. Is g(-4) a multiple of 43?
False
Let l be (-10)/4*60/(-75). Let d be 22/l + (-1 - 0). Is 20 a factor of 19/1 - (8 - d)?
False
Let c = -148 + 209. Suppose c*n = 64*n - 39. Is n a multiple of 13?
True
Let d(l) = 20*l**3 + 9*l**2 + 4*l + 1. Let j(u) = 5*u**3 + 2*u**2 + u. Let o(x) = 2*d(x) - 9*j(x). Let c be o(2). Let b = c + 85. Is 15 a factor of b?
True
Let v(t) = -2*t**2 - 2*t + 3. Let m be v(2). Let z = -10 - m. Let q(g) = -25*g**3 - 2*g**2 - 2*g - 1. Is 12 a factor of q(z)?
True
Suppose -4*m + 4*c + 2074 = 5*c, -c = -m + 521. Is 3 a factor of m?
True
Let n(x) = 5*x**3 + 9*x**2 - 8*x + 6. Let b be n(4). Suppose -2*c - 90 + b = 0. Does 22 divide c?
False
Let g(c) = -187*c - 1. Let s(o) = -o. Let b(w) = -g(w) - 4*s(w). Let m be b(1). Suppose 5*u = u + m. Does 16 divide u?
True
Let p(f) = f. Let b(v) = -5*v + 1. Let k(o) = -4*b(o) - 22*p(o). Let t be k(-6). Does 12 divide (t/5)/((-16)/(-400))?
False
Let q(k) = k**3 - 2*k**2 - k - 3. Let j be q(-3). Suppose 0 = 2*l + 2*t + 46, -4*l - t - t = 98. Is 21 a factor of (l/(-6))/((-5)/j)?
False
Let f(d) = 13*d**2 - 11*d + 92. Is f(-10) a multiple of 12?
False
Suppose 34 = 4*n + r, -26 = -2*n - 4*r - r. Suppose -n*c = -10*c. Suppose q + 4 = c, y - 2*q = -3*q + 88. Does 21 divide y?
False
Suppose 39*f = 8246 - 1304. Does 3 divide f?
False
Is 13*-8*-5 + 8 a multiple of 12?
True
Let c = -17 - -20. Suppose 0 = -4*s - p - 0*p + 162, 117 = 3*s + c*p. Suppose s = t - 7. Does 9 divide t?
False
Let v = -501 - -515. Does 3 divide v?
False
Suppose 0 = 3*a + 834 - 300. Let v = -61 + -45. Let p = v - a. Is p a multiple of 18?
True
Let f = -19 + 33. Suppose n = -x + 1 + 9, -2*n + f = -4*x. Does 3 divide n?
True
Suppose -5*j - 35 = -6*j. Suppose -u + 22 = -2*l - 0*l, 2*u = -5*l + j. Is u a multiple of 10?
True
Suppose -27 - 51 = -u. Suppose -3*p + 66 = -u. Is p a multiple of 5?
False
Let j = 244 + 163. Is j a multiple of 37?
True
Suppose 5*j + 25 = x, 5*x - 4*j + 3*j - 29 = 0. Suppose 0 = -3*h - 2*y + 6 + x, -2*y - 9 = -h. Suppose h*a + 4*b = 112, 2*b - b + 2 = 0. Is 6 a factor of a?
True
Let a(q) = 3 - q - 1 + 1 - 2. Let k be a(-1). Suppose 3*w = -0*v + k*v - 88, 5*w = 0. Is 22 a factor of v?
True
Let y(i) = i**3 + 7*i**2 - 10*i - 9. Let w be -12*((-6)/(-9) + 0). Does 3 divide y(w)?
False
Suppose -d = -g + 96, 4*d = -3*g - 0*d + 281. Is g a multiple of 5?
True
Let a(v) be the first derivative of v**4/4 - 5*v**3/3 + 2*v**2 + 7*v + 10. Is a(5) a multiple of 22?
False
Let m be ((-8)/12)/((-2)/(-9)). Let x be -3*(m + (-4)/(-3)). Suppose r - 289 = -4*a, 0 = -x*a + 4*r + 106 + 271. Does 21 divide a?
False
Let s = -812 + 1381. Is 17 a factor of s?
False
Let o = 708 + -290. Does 11 divide o?
True
Let f = -149 + 150. Suppose 4*o + 3*j - 53 = 0, -4*o - 52 = -9*o + j. Let z = o - f. Is 10 a factor of z?
True
Suppose -b + 2*d = -d + 12, -4*d = 4*b + 80. Let t = 36 - b. Is t a multiple of 27?
True
Let d(n) = -n**3 + 5*n**2 - 6*n + 10. Let q be d(3). Suppose 115 = 2*c + u, -4*u + 2*u = q. Does 20 divide c?
True
Suppose x + x + 4*w = 34, -3*x = 3*w - 54. Does 3 divide x?
False
Suppose -x = -4*r + 70, 3*r + x = -3*x + 43. Let c(f) = -f**3 + 17*f**2 + 5*f - 13. Is c(r) a multiple of 9?
True
Suppose -9*v + 6*v + 2*j = -2256, 12 = -4*j. Does 6 divide v?
True
Let h(o) = o**3 - 22*o**2 + 5*o - 27. Is 10 a factor of h(22)?
False
Suppose 0 = x - 0*x + 3*i + 29, 5*i - 115 = 3*x. Let b = -14 - x. Does 7 divide b?
True
Let o(i) be the first derivative of -i**3/3 - 4*i**2 - 10*i + 5. Is o(-5) a multiple of 2?
False
Suppose 18*j - 13*j = -110. Let l = j - -115. Is 31 a factor of l?
True
Let d(h) = 3*h**2 - 6*h - 1. Let x = -7 - -13. Let u be d(x). Suppose -85 = -3*n + u. Is n a multiple of 13?
True
Let g(t) be the first derivative of 14*t**3/3 - t**2/2 + t + 17. Suppose 0 = -2*b - 3*p + 17, -12 + 2 = -2*p. Does 14 divide g(b)?
True
Suppose 596*j = 603*j - 3731. Does 40 divide j?
False
Let y = 171 - 338. Let a = -13 - y. Does 22 divide a?
True
Suppose -375 = -44*y + 41*y. Is 21 a factor of y?
False
Let y = 1645 - 820. Is y a multiple of 39?
False
Let s(u) = 4*u**2 - 6*u - 8. Let q(c) = -c**2 + 6. Let y be q(0). Is 34 a factor of s(y)?
False
Suppose 282 - 1217 = -5*p. Let d = -103 + p. Is d a multiple of 12?
True
Does 4 divide 328/((-2)/(-5) + 40/25)?
True
Suppose 35*w - 27*w = 7136. Does 10 divide w?
False
Let u be 6/(-9) + (-32)/(-12) + 0. Is 12 a factor of u + 15/1 + 2?
False
Let s(q) = -9*q + 3. Let v(y) = 19*y - 7. Let z(b) = 5*s(b) + 3*v(b). Does 27 divide z(5)?
True
Let j = 786 - 466. Is j a multiple of 21?
False
Suppose -164 = -168*o + 166*o. Let f = o - -108. Is 10 a factor of f?
True
Suppose 229 = 3*z - 200. Suppose -z = -3*b + 139. Is 9 a factor of b?
False
Let t be -3*-2*(-2)/4. Let c(q) = 3*q**2 + 16*q + 6. Let k(o) = -2*o**2 - 15*o - 5. Let j(l) = t*c(l) - 4*k(l). Does 11 divide j(10)?
True
Let b = 22 + -22. Suppose 2*s = -b*s - 5*x + 33, -x = s - 9. Suppose -6 = -2*n + s. Does 2 divide n?
False
Let t be ((-1)/3 - 738/27)*-27. Is 9 a factor of (-6)/(-4) - t/(-6)*1?
True
Suppose 8*f - 11470 = -23*f. Does 6 divide f?
False
Let t(u) = u**2 + 13*u + 108. Does 8 divide t(-10)?
False
Suppose -h = c + 4*h, -4*h + 38 = -3*c. Let k = c - -43. Suppose -m - k = -2*m. Is m a multiple of 7?
False
Suppose m - 3*c - 2*c - 58 = 0, 5*c + 25 = 0. Suppose -3*b + 9 = m. Is 2 a factor of (6/3)/(b/(-20))?
False
Let t = 8 - 28. Let p be 3/15 - (-124)/t. Let f = p + 14. Is 2 a factor of f?
True
Let l be 1430/4 - 8/(-16). Suppose 8*h = 1414 - l. Does 23 divide h?
False
Suppose -3*a = 3*d - 831, d - 5*a + 33 = 280. Does 8 divide d?
True
Suppose 72 = -5*f + 3*f. Let w be (-136)/(-36) - 8/f. Suppose -7*b + 8*b = w. Does 4 divide b?
True
Let s(c) = -c + 4. Let r be s(-2). Suppose 0 = n - 3*l - 122, 0 = -4*n - r*l + 3*l + 518. Is n a multiple of 22?
False
Let