5)/10). Suppose 45*o - b*o = -820. Suppose 4*r = 36 + o. Does 28 divide r?
False
Suppose 5*y = 2*y - 75. Let c = y - -15. Let b = 10 - c. Does 4 divide b?
True
Let m be (-2)/(-8) + (-27)/(-4). Suppose 2*q - m = 73. Suppose -g + 2*j + 14 + q = 0, -325 = -5*g - j. Is 16 a factor of g?
True
Let y = 421 + -106. Is 11 a factor of y?
False
Let w = -17 + -11. Let o = w - -50. Is 2 a factor of o?
True
Let t(a) be the third derivative of a**5/60 - a**4/12 + 3*a**3 + 6*a**2. Is t(0) a multiple of 6?
True
Does 12 divide -899*(-2)/3 - (-16)/24?
True
Let s = -162 - -309. Let t = -75 + s. Is 10 a factor of t?
False
Suppose -4*v + 3*f + 4900 = 7*f, 4*v + 5*f - 4901 = 0. Does 18 divide v?
True
Let c(u) = u**2 - 9*u + 10. Let f be c(9). Suppose 1950 + 1430 = f*y. Is y a multiple of 32?
False
Let k = 1489 - 1033. Is 44 a factor of k?
False
Let i(f) = 113*f + 80. Is 24 a factor of i(8)?
True
Let d = 11 + -20. Let r = -9 - d. Suppose r = -2*o + 4*o - 34. Is o a multiple of 4?
False
Suppose -5*v - 9 - 111 = 0. Let h = 29 + v. Does 4 divide h?
False
Suppose -4*t + 2*a + 0*a = -1764, 0 = -3*t - a + 1318. Is t a multiple of 44?
True
Does 41 divide -861*((-54)/63)/3?
True
Suppose 0 = k - n - 97, -6*k + 4*n + 487 = -k. Is k a multiple of 2?
False
Let d be 1 - -2 - 0 - -2. Suppose 4*h - 3*m + d = 21, -5*m + 8 = 2*h. Suppose 4*a - 17 = -b, -h*b + 106 = -b + a. Is 13 a factor of b?
False
Let d = -44 - -89. Suppose 5*z + 5 = d. Suppose c + 119 = z*c. Does 17 divide c?
True
Suppose 78*u - 195667 = -28357. Does 11 divide u?
True
Let y(w) = 4*w - 6. Let r be y(4). Let x = 22 - 12. Suppose -h + x = -r. Does 15 divide h?
False
Let m(w) = -2*w + 9. Let r be m(22). Is 28/(r/(-10) - 3) a multiple of 4?
True
Let d = -22 - -22. Suppose 0*l + 4*l - 436 = d. Is 20 a factor of l?
False
Suppose 0 = -2*m + 6, 0 = -5*i - 5*m + 5. Let y = 1 - i. Let a = y + 46. Is 7 a factor of a?
True
Is 57 a factor of -4 + (1/5 - 29792/(-40))?
True
Let y(m) = m - 27 - 18*m + 30. Does 8 divide y(-5)?
True
Suppose 0 = -u + 5*x + 965, 15*u - 18*u + 2*x + 2830 = 0. Does 10 divide u?
True
Let h(g) = 2*g + 46. Let i be h(5). Suppose i = 5*z - 14. Does 5 divide z?
False
Let u(i) = -i**3 - 48*i**2 + 42*i + 121. Is u(-50) a multiple of 19?
True
Suppose -4*d = 4, -d - 170 = 4*k - 6349. Is 15 a factor of k/30 + 1/2?
False
Let k(r) = 4*r**2 - 5*r - 9. Let h(d) = -d**2 + 12*d - 31. Let i be h(6). Is 6 a factor of k(i)?
True
Let g(b) = -b**3 + 6*b**2 + b + 5. Let x(f) = 9*f - 4. Let u be x(2). Let s be 8 + (-7)/(u/4). Does 11 divide g(s)?
True
Suppose 0 = 8*o + 74 - 370. Let h = 37 - o. Suppose h = -9*m + 8*m + 105. Is 25 a factor of m?
False
Let g(b) = 26*b**3 + 2 - 7*b**2 - 4*b - 29*b**3 + 4. Is g(-4) a multiple of 17?
True
Let i(c) = c**3 - 7*c**2 - 23*c + 10. Does 89 divide i(11)?
False
Does 9 divide ((-2)/4)/((-11)/(-110)) + 878?
True
Suppose -5*h + 3*b + 33 = b, 3*h - 7 = -2*b. Suppose -v - 4*k + 52 = 0, 3*k + 100 = h*v - 91. Is 20 a factor of v?
True
Let o(m) = 3*m - 20. Let s be o(8). Suppose 2*c - 17 - 91 = -s*f, -3*c - 4*f + 168 = 0. Suppose -r + 4*i = -c, 0 = -3*r + 4*r - i - 45. Does 8 divide r?
True
Let q be (-2)/4 - (175/(-10))/5. Suppose q*t - 257 = 5*r - 7*r, 2*t = r - 146. Does 17 divide r?
True
Suppose 3*u + k - 682 = 0, 0 = -7*u + 4*u - 5*k + 698. Suppose -5*f - u + 1451 = 0. Is 43 a factor of f?
False
Suppose -12*c + 2313 + 4959 = 0. Is 101 a factor of c?
True
Suppose -34 = -h + q, -3*h - 58 = -5*h - 3*q. Suppose -g + h + 6 = 0. Let k = g - -25. Does 21 divide k?
True
Let m(t) = t**3 + 4*t**2 - 2*t - 2. Let y be m(-3). Suppose s + 3*k = -y, -4*k - 30 = -5*s - 0*s. Does 17 divide 140/6*3/s?
False
Suppose 4*b = 3*y - 86, 7 = -2*y + 3*y + 3*b. Suppose y*z - 19*z = -90. Let o = 54 + z. Does 15 divide o?
False
Let a(z) = 8*z**2 + 4. Let n be a(-2). Suppose -7*u = -5*u - n. Is 3 a factor of u?
True
Let c(u) = u**2 + 8*u - 3. Let p be c(-10). Let v = 31 - p. Is v a multiple of 3?
False
Let i(s) = -4*s**2 + 14 + s**2 + s**3 - 2*s**2 + 24*s - 8*s**2. Does 12 divide i(11)?
True
Let o(m) = m**3 - 7*m**2 + 3. Let k be o(7). Let b be 3 + 1510/25 + 2/(-5). Suppose -k*v - b = -3*d, 4*d - 5*d + 5*v + 17 = 0. Is d a multiple of 11?
True
Suppose 17 = 3*o + 20. Does 3 divide 4 + 12/4*o + 7?
False
Let w(y) = 0*y**3 - 9*y**2 + 2*y**3 - 4*y**2 - 7*y. Let x be w(7). Is 16 a factor of x + (-3 - 1 - -75)?
False
Let x = 1532 - 270. Is 28 a factor of x?
False
Suppose -2670 = -39*d + 37*d. Is 89 a factor of d?
True
Suppose 5*b + 77 = 2. Let s be (-6)/b - (-186)/10. Let g = s + 6. Is 18 a factor of g?
False
Suppose 0 = i - 426 - 461. Is 30 a factor of i?
False
Let n = 12 - 9. Suppose -3*k + n = 48. Does 17 divide (-805)/k - 4/6?
False
Let p(d) = 37*d**2 - 46*d + 15. Does 27 divide p(8)?
False
Let k(y) = 53*y**3 - y + 2. Let l be k(1). Does 15 divide 3 - (l/10 - -3)*-5?
True
Let s(v) = -41*v + 59. Does 20 divide s(-17)?
False
Let r = 300 + -228. Is 18 a factor of r?
True
Let x(u) be the second derivative of u**3 + u**2 + 11*u. Let p be x(-2). Let a(w) = w**3 + 12*w**2 + 14*w - 5. Is a(p) a multiple of 15?
False
Is (-144)/((-9)/(-36) + 1/(-2)) a multiple of 18?
True
Let h = -29 - -20. Let p(b) = b**2 + 5*b - 22. Is p(h) a multiple of 4?
False
Suppose 0 = 9*y - 3125 - 1924. Does 60 divide y?
False
Suppose 0*j - 45 = -5*j. Let n = 11 - j. Suppose -u = -n*u + 4*v + 44, -212 = -3*u - 4*v. Is u a multiple of 16?
True
Suppose 6*l = 25*l - 513. Is l a multiple of 11?
False
Suppose -422*v + 412*v = -1540. Does 7 divide v?
True
Let h(w) = -w**3 - 12*w**2 - 17*w + 4. Does 6 divide h(-12)?
False
Let k(w) = -5*w + 3*w**2 + 2*w**2 - 5*w - 10 - 6*w**2. Let f be k(-8). Let m(u) = -u + 13. Is m(f) a multiple of 3?
False
Let r be 100/(-15) - 2/(-3). Let n be r/(-9) + (-993)/(-9). Suppose -27 + n = c. Is c a multiple of 12?
True
Suppose 2*n = -2*n + 4*v + 936, -3*n + 4*v + 705 = 0. Let a(c) = c**2 + 19*c - 114. Let b be a(-24). Suppose 0 = -k, 3*q + k - b*k = n. Is q a multiple of 12?
False
Let s be ((-11)/22)/((-2)/36). Let m(t) = t**2 - 9*t + 6. Let p be m(s). Suppose 3*h - p = 3*i, -5*h + 0*h = -3*i - 18. Is h a multiple of 5?
False
Suppose -3*l - 2 = 3*t + 1, 2*l + 1 = -t. Suppose -5*q + 475 = -l*q. Is 19 a factor of q?
True
Let c = -296 - -300. Suppose -3 = 3*k, 0*k = -4*b + 3*k + 47. Suppose c*y - 29 = b. Is y a multiple of 10?
True
Let z = -213 + 151. Let r = -8 - z. Is 9 a factor of r?
True
Let a(x) = -x**3 + 3*x**2 + 5*x + 3. Let i be a(4). Suppose 11*v = i*v + 104. Does 7 divide v?
False
Let c(d) = -89*d**3 + d - d**2 - 6 + d**2 + 7. Let k be c(-1). Suppose 19 = -2*i + k. Does 35 divide i?
True
Let z(u) = -9*u + 320. Is 16 a factor of z(0)?
True
Is 24 a factor of 79/((-1)/(-12)*4)?
False
Suppose -4*w + 764 = -60. Is 14 a factor of w?
False
Is 4 a factor of ((-33)/6 + 5)*-184?
True
Suppose -3*s - 8 - 4 = 0, 3*z - 2*s - 3527 = 0. Is z a multiple of 60?
False
Let v(u) be the first derivative of 2*u**3/3 + 5*u**2/2 - u - 3. Let k(p) = 2*p + 9. Let y be k(-7). Does 12 divide v(y)?
True
Suppose b = -5*m + 124, -2*m + 4*b - 5*b + 49 = 0. Suppose -2*w + m = -9. Does 17 divide w?
True
Let b = -3845 + 6654. Is b a multiple of 53?
True
Suppose -52*w = -48*w + 308. Let d = w - -127. Is 5 a factor of d?
True
Let l(w) = -w + 5. Suppose 5 - 1 = -c - 2*q, 3*c = 3*q + 6. Let y be l(c). Suppose -m + y*m = 168. Is m a multiple of 12?
False
Let j = 59 - 128. Let h = 88 + j. Is h a multiple of 3?
False
Suppose 660 = 4*h + l - 1381, 0 = 5*h + 5*l - 2555. Is 10 a factor of h?
True
Suppose -5 = -2*a - 5*h + 13, 4*h = -a + 12. Suppose -a*d + 17 + 71 = 0. Let j = d - 8. Does 14 divide j?
True
Suppose -762 = -k - 4*x, 4*k - 1241 - 1771 = 2*x. Does 13 divide k?
True
Suppose f + 127 = 853. Is 13 a factor of f?
False
Suppose 15 = 5*v + 5. Suppose 0 = 2*q - v*d, 3*q - d - 7 - 1 = 0. Suppose 0*x = -4*t - 4*x + 252, -q*t + 3*x = -224. Does 7 divide t?
False
Suppose -t + 4*d + 58 = -49, 4*t + 4*d - 468 = 0. Let n = -82 + t. Is n a multiple of 11?
True
Let d(m) = 22*m - 19. Does 51 divide d(16)?
False
Let u(s) = s**3 + 7*s**2 - 7*s + 9. Let y = -18 - -29. Let m = y + -18. Does 34 divide u(m)?
False
Let c = -133 + 131. Is (-9)/6*c + 218 a multiple of 34?
False
Does 8 divide 12/9*1*7218/12?
False
Suppose 2279 = -24*b + 28*b - q, -5*b - 4*q + 2854 = 0. Is 3 a factor of