divide b?
False
Let v be 4/14 + 2848/28. Suppose 297 = -5*g + v. Let t = g - -78. Does 12 divide t?
False
Suppose -h = -5*h - 16. Let g be (1 + 51/(-6))/((-10)/20). Let v = g - h. Does 12 divide v?
False
Suppose 2*h + 4*b - 174 = 0, -2*b = h + b - 90. Let w = 1 + h. Is w a multiple of 18?
False
Let x be 0*(-4)/(13 - 1). Suppose x*a - 66 = -2*a. Let t = a - 20. Is 7 a factor of t?
False
Suppose 0 = -3*y + 9, 263 + 1734 = 5*h - y. Is 20 a factor of h?
True
Suppose 0 = 39*u + 2*u - 62402. Is 54 a factor of u?
False
Is 71 a factor of (-1278)/(-12)*(-26)/(-3)?
True
Let z(q) = -q**2 + q + 16. Let f be z(5). Let c(w) = -2*w - 9. Let y be c(-6). Does 6 divide 74/y - f/(-6)?
True
Let t(c) = 3*c - 18. Let n be t(8). Suppose 4*u = -2 + n. Does 18 divide (3 - u)*172/8?
False
Suppose 10*u - 2917 = 5333. Is 15 a factor of u?
True
Let l be (-10)/25*-2*5. Suppose 22 = l*i + 6. Suppose 213 + 87 = i*j. Is 25 a factor of j?
True
Let g = 11 + -8. Let t(h) = h**3 - h + 30. Let d be t(0). Suppose -g*x - d = -i + x, 0 = -2*x - 6. Is 13 a factor of i?
False
Suppose 3*f - 4*d - 1091 = 0, 4*f - 12*d - 1468 = -10*d. Suppose -3*k = -0*k - f. Is 35 a factor of k?
False
Let f(m) = 3*m**3 + 8*m**2 - m + 3. Does 11 divide f(4)?
True
Let k = -421 - -573. Is k a multiple of 4?
True
Let z = -61 + 139. Let m be z/30 - 2/(-5). Suppose -3*c + 21 = -0*t + m*t, 15 = 5*c - 5*t. Is c a multiple of 5?
True
Let i(u) = 55*u**2 - 64*u + 361. Is i(6) a multiple of 10?
False
Let c(p) = -p**2 + 5*p + 5. Let b be c(5). Let k be 16/40*(b + 0). Suppose k - 26 = -3*f. Is f even?
True
Suppose -2*s + 10454 = 1832. Let n be s/36 - (-2)/8. Suppose -n = -x + 16. Is x a multiple of 34?
True
Let n = -7 - -7. Suppose 2*i + 1 - 39 = n. Let a = i + -7. Does 8 divide a?
False
Let u = 30 - 28. Suppose -3*t + 2*j + 39 = -j, 0 = -u*t + 5*j + 35. Is 6 a factor of t?
False
Let b = -55 + 60. Suppose -61 = 4*c - 201. Suppose -c - 485 = -b*s. Does 26 divide s?
True
Suppose -8*t = -73 + 425. Is 18 a factor of (-4 - t/3)/(2/27)?
True
Suppose 6*u - 34 - 20 = 0. Is 2 a factor of (54/21)/(u/42)?
True
Suppose -3*z - 16*n + 21*n = -148, 128 = 2*z + 4*n. Is z a multiple of 14?
True
Let t be 5 + -2 - 3/(-1). Let j(k) = t*k**2 + 3*k + 5 - 5 - k**3 + 2*k + 3. Does 11 divide j(6)?
True
Let z(d) = 64*d + 808. Does 20 divide z(8)?
True
Suppose 3*x = -3*x + 2400. Is (-3)/(6/x)*(-48)/120 a multiple of 20?
True
Let w be (27/6)/((-8)/(-16)). Let k = 81 - w. Is 9 a factor of k?
True
Let s(w) = -2*w**3 - 4*w**2 + 3. Let m be s(-3). Suppose v + 6 = 11. Suppose 4 + m = v*j. Is j even?
False
Let p(r) = -56*r - 1. Let o be p(-1). Suppose v - 5*h - o - 39 = 0, 5*v - 4*h = 386. Is v a multiple of 14?
False
Let m = -78 - -83. Suppose m*s - 3*f = 689, 3*s + 2*f - 423 = 7*f. Does 11 divide s?
False
Let i(u) = 4*u**2 + 17*u + 2. Let w be i(-8). Let q = 140 - w. Is 11 a factor of q?
False
Suppose h + 2 = 0, 3*h = 5*n + h - 679. Is n a multiple of 15?
True
Is 1*140/(-30)*(-9)/2 a multiple of 7?
True
Let l = 411 - -41. Is 69 a factor of l?
False
Let j be (2 + -3 + 2)*3. Let v = 87 - j. Is v a multiple of 21?
True
Let o = -1524 - -3369. Is 45 a factor of o?
True
Let g = 12 - 11. Does 27 divide (-1 + -8*g)*-23?
False
Let w be (-7 + (-2)/(8/(-4)))/(-2). Is 504/4 - w*4/(-6) a multiple of 19?
False
Is (-8)/(-36) + ((-27554)/18)/(-1) a multiple of 10?
False
Does 11 divide 10470/190 - 4/38?
True
Suppose -2*g = 4*z + 2*g - 12, -12 = z - 2*g. Let l(b) = -6*b**2 + 3*b**2 + 3 - 4 + 7*b**2 + 0 - 3*b. Does 6 divide l(z)?
False
Let t be -12*(16/6 - 2). Let i = 20 - t. Is i a multiple of 4?
True
Let k = 13 + -9. Does 26 divide (30/(-9))/(k/(-102))?
False
Let m = 27 + 13. Let v(p) = 12 + 3*p + 9*p**2 + 41*p**3 + 6*p - m*p**3. Does 2 divide v(-8)?
True
Let z(k) = k. Let c be z(1). Let m be -1 + -2*(c - 2). Does 18 divide (m - 16 - 3)*-1?
True
Let i(t) = t**2 + t - 4. Let u(x) = x**3 - 7*x**2 + x + 4. Let a be u(7). Suppose 0 = -a*p + 16*p - 20. Does 8 divide i(p)?
True
Suppose 0 = 5*v - 3 + 28. Let o = 21 - v. Is 22 a factor of o?
False
Suppose 10*k + 140 = 360. Is 5 a factor of k?
False
Suppose 3*p + 9 = 4*p. Suppose -l - k + p = -48, 0 = 4*l - 3*k - 263. Is 31 a factor of l?
True
Let a(z) = 0*z - 10*z - 5 + 12. Let b be a(7). Is (0 + -1)*(b - 0) a multiple of 21?
True
Suppose -157 - 203 = -8*y. Let g = -31 + y. Is g a multiple of 14?
True
Suppose -2*l = 10, 4*d - 15222 = l + 967. Does 17 divide d?
True
Let s = 69 - 61. Is (-2 + -77)*(s - 9) a multiple of 9?
False
Suppose 0*w = -w + 133. Suppose -227 = -6*q + w. Does 12 divide q?
True
Let i = 248 - 45. Suppose -5*z - i = -5*n - 13, n = 0. Let f = z - -84. Does 17 divide f?
False
Suppose -31*d + 350 = -1200. Does 10 divide d?
True
Suppose -3*y + 20 = -5*q, -7 = 3*y + 3*q + 5. Suppose -s = -y*s - 771. Does 17 divide (-1)/(-3) + s/9?
False
Suppose -2 = 5*s - 12. Suppose -s*u + 3*t + t = -22, -5*u - 2*t = -91. Is 6 a factor of u?
False
Suppose 3*l - 3*o - 9 = 0, 3*l = -o + 10 + 3. Does 18 divide -2 - -110 - (l + -4)?
True
Let s(h) be the third derivative of h**4/12 + h**3/6 + 7*h**2. Let k be s(1). Suppose -3*x + 2*l = -290, 2*x + 13 = -k*l + 228. Does 22 divide x?
False
Let f = -544 - -1167. Is 89 a factor of f?
True
Suppose -9*w + 11520 = 3*w. Is 23 a factor of w?
False
Suppose -17*j + 4290 = -6*j. Is j a multiple of 10?
True
Suppose 6*j - 1174 = 4*j + 4*d, -3*j = 3*d - 1797. Is j a multiple of 17?
True
Suppose k + 3*r = 7 + 5, r = 4. Suppose k = 4*x - 2*x - 136. Is x a multiple of 27?
False
Let y = 2553 + -1081. Is y a multiple of 35?
False
Let v(z) = 20*z - 57. Let y(r) = 7*r - 19. Let f(d) = -4*v(d) + 11*y(d). Does 10 divide f(-5)?
False
Let y(k) be the second derivative of k**5/20 - 7*k**4/12 + k**3 - k**2/2 + k. Does 8 divide y(7)?
False
Let s = -13 + 15. Let m = s - -94. Suppose 5*y + m = 9*y. Is y a multiple of 16?
False
Let w be 26/8 - (-15)/20. Suppose b = 2, w*q - 2*b + 1 = 5. Suppose -q*l - l = -5*y + 140, -2*y + 45 = l. Is y a multiple of 5?
True
Suppose -4*r = 2*y - 2218, 46*r = -y + 41*r + 1115. Does 13 divide y?
True
Let m(x) = x - 11. Let y(w) = w**2 + 3*w - 2. Let q be y(-6). Let d be m(q). Let s = d + 33. Is s a multiple of 19?
True
Let l = 82 - 105. Is 4 a factor of 9/3 + -6 - l?
True
Suppose 4*b + a = 15 + 6, 22 = 3*b + 2*a. Suppose b*z = -2*q + 36, -2*q - 2*z + 36 = -3*z. Is q a multiple of 9?
True
Let r = 1 - -1. Suppose -g + 110 = r*d, -d + 481 = 3*g + 126. Does 30 divide g?
True
Is 2/9 - 12084/(-54) a multiple of 28?
True
Let j = -43 - -64. Let a = -18 + j. Suppose -a*l + 6 + 54 = 3*o, 0 = 3*l - 15. Is 15 a factor of o?
True
Let u be (-4 + (-290)/(-25))*15. Let s = -36 + u. Does 26 divide s?
True
Suppose 5*r - 30 = -5. Suppose 2*m + r*a - 174 = 0, -2*a - 12 = 4*m - 376. Is m a multiple of 46?
True
Let o(h) = -4 - 3*h + 6 + 2*h**2 - h**2 - 2*h**2. Let c be o(-2). Suppose -4*s + 22 = -2*u - 104, -c*s + 138 = 2*u. Is s a multiple of 9?
False
Let m = -47 + 53. Does 30 divide (-3)/(-6) - ((-897)/m + 0)?
True
Suppose 0 = 5*k + 5, -4*u - k - 2*k = 35. Let g(f) = f + 10. Let d be g(u). Suppose -5*h + 153 = -d*h. Does 23 divide h?
False
Suppose -728 = -5*m - 5*f + 667, -2*f = 2. Suppose -q + 2*z = -88, -m = -3*q - 2*z + 4*z. Does 16 divide q?
True
Let d(u) = -12*u**2 - 11*u**2 + 26*u**2 + 2 - 7*u. Is 11 a factor of d(4)?
True
Let l(s) = 2*s**3 - 6*s**2 - 4*s + 4. Let c be l(-3). Let v = 104 + c. Is v a multiple of 2?
True
Let o(z) = z + 80. Let c = -28 + 52. Does 43 divide o(c)?
False
Let w = -814 - -1314. Is w a multiple of 9?
False
Let w(a) = 2*a**2 + 6*a - 8. Let k(x) = -4*x**2 - 13*x + 14. Let t(m) = -3*k(m) - 5*w(m). Suppose z + 4*i = i - 22, 5*z + 60 = -5*i. Is t(z) a multiple of 9?
False
Let v(z) = -z**2 + z + 3. Let k be v(0). Suppose -126 - 504 = -k*b. Is b a multiple of 38?
False
Suppose -4*g - 77 = -t + 115, 4*g = -4*t - 212. Let c = -14 - g. Suppose 10*f = 5*f + c. Is f a multiple of 6?
False
Is (25/((-20)/4) - -427) + -1 a multiple of 17?
False
Let h(x) = -x**3 + 2*x**2 - 2*x + 25. Is h(0) a multiple of 2?
False
Let b = 92 - -48. Does 49 divide b?
False
Suppose 2*s - 19 = -2*r + 37, 68 = 2*r - s. Let q be -2 - (3 - -12)/(-5). Is r/q - (-1 + 4) a multiple of 12?
False
Let b(g) = 29*g + 106. Does 19 divide b(16)?
True
Let f(x) = -2*x - 5. Let s be f(-8). Suppose s*p - 6*p = -5. Is (-