t b = u - -400. Let n = -81 + b. Is 12 a factor of n?
False
Let v = 22 - 3. Let h(u) = u**2 + 13*u - 5. Let a be h(-11). Let y = v - a. Does 25 divide y?
False
Suppose -2*b + 3*k = -b - 1020, 3*b - 3060 = 3*k. Is 13 a factor of b?
False
Suppose -5*s = 37 + 38. Suppose 5*j + 167 = -4*x, x - 136 = 4*j + 5*x. Let o = s - j. Is o a multiple of 6?
False
Suppose -4*q + 7*w + 481 = 2*w, 3*q = -3*w + 327. Suppose 2*b - r = q, -5*b + 5*r = 3*r - 283. Does 2 divide b?
False
Let f(x) = -x**2 + 6*x - 6. Let v be f(4). Suppose -21 = -v*k - 11. Suppose -28 = -3*t + k. Is 11 a factor of t?
True
Is (9 + (7 - -332))*2 a multiple of 74?
False
Suppose 487 = 5*w - 213. Is w a multiple of 14?
True
Let i be ((-50)/15)/((-2)/(-27)). Let n be 4/6*i/6. Let x = -1 - n. Is x even?
True
Let w(n) = 13*n**2 + 20*n - 71. Let d(u) = 3*u**2 + 5*u - 18. Let g(x) = 9*d(x) - 2*w(x). Does 23 divide g(-13)?
False
Let f = -121 - -124. Suppose f*o = 15, -5*u + 196 + 19 = -2*o. Is u a multiple of 21?
False
Let w = 8 - 14. Let y be (-9)/w*(-176)/(-12). Suppose z - 139 = -4*r + 6*z, y = r + 3*z. Is 17 a factor of r?
False
Let y = -1 - 3. Does 38 divide (y + 16)/(-3) + 42?
True
Let f = 178 - -288. Suppose -f - 1019 = -15*m. Is m a multiple of 10?
False
Let n = 2 - -2. Let t be (-3)/n + (-9)/4. Does 10 divide (-4)/4 + (t - -44)?
True
Let u(j) be the third derivative of -j**6/120 - 17*j**5/60 - 17*j**4/24 + 10*j**3/3 + 21*j**2. Is u(-16) a multiple of 8?
False
Suppose 762 = -2*a + 8*x - 4*x, 0 = -2*a + 2*x - 768. Let f = -177 - a. Is f a multiple of 35?
True
Let j = -4 - -30. Suppose -j = -y + 14. Is 10 a factor of y?
True
Let q = 1426 + -933. Suppose 5*y = 3*b + q, 8 = 4*b - 2*b. Is 15 a factor of y?
False
Suppose 5*r - 654 = 2*o, 4*o = -3*r + 368 + 40. Is 11 a factor of r?
True
Let x = 101 + -86. Suppose x = -46*s + 49*s. Does 5 divide s?
True
Does 13 divide (-922)/(-23) - 262/3013?
False
Suppose -2*s + 2 = 2*f, -3*f - 5*s = -1 + 4. Suppose 5*t - 279 = -x + f*x, -4*x + 293 = 5*t. Suppose n = t + 16. Does 13 divide n?
False
Suppose -5*w + 5*h + 215 = 0, 0 = -4*w - 4*h + 6*h + 176. Is w a multiple of 45?
True
Let p = -133 + 159. Let a = -48 - -34. Let w = p + a. Is 5 a factor of w?
False
Suppose d = -3*g - 42, 4*g = g. Let t be 6/d - 814/(-14). Suppose -t = -2*w - 4. Is w a multiple of 5?
False
Let q = -53 + 145. Let y = q - -58. Is 25 a factor of y?
True
Let h(k) = 0*k - 30*k**2 - 6 - 4*k + 4*k + 4*k. Let i be h(-6). Is (-4)/(-28) - i/21 a multiple of 17?
False
Suppose -4*p + 3*u - u + 1868 = 0, -3*p + u + 1400 = 0. Suppose p = 5*q - 274. Suppose 3*r + 3*a = 114, r - 3*a + q = 5*r. Does 10 divide r?
False
Let g(n) be the first derivative of n**3 - 5*n**2/2 - 3*n - 9. Does 15 divide g(6)?
True
Suppose 3*t = 6 - 3, 5*g = t + 3239. Is 27 a factor of g?
True
Suppose 2*g - 409 = -5*k, -5*k + 251 = -4*g - 176. Let x = -64 + k. Is x even?
False
Let n = -745 - -1506. Is n a multiple of 8?
False
Suppose 0 = r + 3*r + 24. Let v be ((-36)/7)/(r/147). Suppose 4*z - z = v. Does 14 divide z?
True
Let z = 6 - 1. Let y = z + -5. Suppose -4*v - 20 = y, -m - v - 50 = -2*m. Is m a multiple of 15?
True
Let x = 74 + -44. Suppose x = 5*w - c, -29 = -5*w - 3*c + 1. Is ((-33)/w)/((-5)/40) a multiple of 22?
True
Suppose -11 = -3*i + 1. Suppose -4*t = p + 8, 2*p + 2*t + 26 = i*t. Is p/(-66) - 1050/(-33) a multiple of 17?
False
Suppose -4*q - 5*q - 558 = 0. Is 6 a factor of (2 + 5 - q) + -1*4?
False
Let q(v) = -29*v**3 + 4*v**2 + 5*v + 12. Let s be q(-3). Suppose -102 + s = 6*k. Is 17 a factor of k?
True
Does 92 divide 25*((-3552)/(-40) + -5)?
False
Let i = -17 + 50. Let w = -3 + i. Does 10 divide w?
True
Let h(j) = 306*j - 618. Is 42 a factor of h(6)?
True
Does 71 divide -1*357*(-17)/(153/42)?
False
Suppose 171 + 5 = 4*p. Let b = 91 - p. Is b a multiple of 9?
False
Suppose -159*m + 155*m = -252. Suppose m*b + 110 = 65*b. Is b a multiple of 4?
False
Let i be (-12)/18 + (-87)/(-9). Suppose -o + 18 = 2*n + o, n = 4*o + i. Suppose -7 = 4*p + n, -5*y + 20 = 5*p. Is 4 a factor of y?
True
Let j = 54 + -54. Suppose 2*y + 2*q - 80 = j, -4*q - 77 = -5*y + 123. Does 4 divide y?
True
Let g be 4/(-3)*(-1 - 2). Suppose 2*b + 7*s = 3*s + 18, 3*b + g*s = 33. Is 15 a factor of b?
True
Let u = -47 + 52. Suppose -148 = -u*s + 4*f, 4*s = 5*f - 2*f + 118. Is s a multiple of 2?
True
Suppose -6*b + 4*b = -6*b. Is 3/(-12)*b - -56 a multiple of 8?
True
Let y(c) = c**2 + 3*c + 6. Let g be (-36)/8*4/2. Is 12 a factor of y(g)?
True
Suppose -o = -2*o + 4*l + 185, -2*o + 325 = l. Let v = -60 + o. Does 21 divide v?
True
Suppose -2*j + 0*j = -4. Let m(c) = 2*c**3 + 3*c**2 - 3*c + 2. Is 4 a factor of m(j)?
True
Let u(h) = -399*h**3 + h**2 - 1. Let f be u(1). Is 19 a factor of (6/9)/((-2)/f)?
True
Suppose 73*g = 58*g + 9465. Is g a multiple of 6?
False
Suppose -105525 = -58*s + 557. Is s a multiple of 59?
True
Let j(l) = 2*l + 12. Let r be j(0). Let n = r + -9. Suppose g - 7 = n. Is 10 a factor of g?
True
Suppose 4*b - 3*b - 4*d - 158 = 0, 3*b - 5*d - 495 = 0. Is b a multiple of 17?
True
Suppose -3*s + 64 + 14 = 0. Suppose -3*x + 3 = -4*r, -4 = -4*r - 16. Let b = x + s. Is b a multiple of 7?
False
Suppose -2*q + 9*q = 672. Is 24 a factor of q?
True
Let d be 2 + 29*1/(-1). Let z = 161 - d. Suppose 4*o + z = 3*v, 2*v - 4*o = -0*v + 128. Is v a multiple of 20?
True
Suppose -4*s - 166 = -b, 5*b + 4*s = 8*b - 466. Is b a multiple of 13?
False
Suppose a + 3*c = 26 - 6, -3*a = -2*c - 104. Does 6 divide -1 + a + (1 - 0)?
False
Suppose -5717 = -12*x + 7879. Does 11 divide x?
True
Let t be (-2)/4 + 27/6. Let p(a) = 0 - 2 - 7*a + 0 + t. Is 15 a factor of p(-5)?
False
Let u(d) = 3*d**2 - d + 1. Suppose -5*o + 20 = -5. Suppose -3*z - 7 = -r, z - 5*r = o*z + 3. Is u(z) a multiple of 9?
False
Let d = 20 + -19. Suppose 0 = 5*g - d - 34. Suppose -g*x + 258 = -5*x. Is x a multiple of 32?
False
Suppose 5*w - 767 + 203 = -4*v, 3*v + w - 412 = 0. Is 8 a factor of v?
True
Suppose 2*r - 20 = 5*a, 0 = 2*r - a - 4 - 8. Let d = r - 1. Suppose d*b + j - 72 = -3*j, b - 15 = -2*j. Is b a multiple of 10?
False
Suppose 0 = -2*h + 5*o + 14, -o - 3 = -2*h + 3. Let n(k) = 4 - 1 - 13*k - h*k + 0. Is n(-3) a multiple of 12?
True
Suppose 0 = -4*d - 6 - 14, -2*d = 2*a - 1662. Is 76 a factor of a?
True
Let p = 37 + -37. Suppose 0 = -y - 4, -5*g + 5*y = -29 - 1. Suppose p = j - g*j + 27. Does 15 divide j?
False
Let n = -40 - -37. Is 3 + 35 + (n - (0 - 3)) a multiple of 19?
True
Let n be -253*3/9 - 1/(-3). Let c = -28 - n. Does 14 divide c?
True
Let n = 642 - 434. Is n a multiple of 16?
True
Let n(g) = -g**2 - 20*g - 2. Let k be n(-20). Is 20 a factor of (-3)/k*(3 - -37)?
True
Let g(f) = 3*f**2 + 3. Let j be g(-4). Suppose 2*m - 5*h + 74 = -0*m, 0 = m + h + j. Let y = m + 73. Is 26 a factor of y?
True
Let s(k) = -k**3 - 5*k**2 + k + 3. Let w be s(-5). Let c(y) = -y**3 + 14*y**2 - 11*y + 10. Let l be c(14). Is (l/(-27))/(w/(-9)) a multiple of 12?
True
Suppose -1034 = -2*u + 4*m, 0 = u - 0*u - 4*m - 509. Suppose 2*k - 7*k + u = 0. Suppose 5*h - k + 10 = 0. Is h a multiple of 5?
False
Let g(t) = -t**3 + 5*t**2 + 7*t - 2. Suppose -6*z + 28 + 8 = 0. Let v be g(z). Let j = 13 - v. Does 4 divide j?
False
Let b = 30 + -28. Suppose -7 + 3 = -b*u. Suppose 29 = 2*n + 3*w - u*w, -47 = -2*n + 5*w. Is n a multiple of 9?
False
Let k = -3 + 6. Suppose -8 - 10 = -k*w. Suppose -w - 66 = -2*d. Is 18 a factor of d?
True
Suppose -4*q - 4*t - 5 - 3 = 0, 0 = 5*q + 2*t + 7. Let h be q - -69 - (-4 - -4). Suppose 4*n - 4 = h. Does 9 divide n?
True
Let i(u) = -303*u - 2. Let k be i(-2). Suppose -k = -13*f - 214. Is 14 a factor of f?
False
Let b = -17 - -19. Is 29 a factor of ((-596)/(-16) + 4)/(b/8)?
False
Suppose 16*p - 1403 = -299. Is 7 a factor of p?
False
Suppose 3*n + 5*v - 3 = n, -4*n - v + 33 = 0. Suppose -2*s + 37 + n = k, -3*s = k - 70. Does 2 divide s?
True
Suppose -10*k + 0*k - 40 = 0. Let c be (2/(-6))/((-6)/(-36)). Is 1/(k/(-328)) + c a multiple of 16?
True
Let u(r) = -3*r - 4. Let b be u(-4). Let a(n) = -n**3 + 7*n**2 + 9*n - 4. Let i be a(b). Suppose 439 = i*x + 131. Is x a multiple of 11?
True
Let q = 3135 + -1973. Does 104 divide q?
False
Let m(n) = -n**3 - n**2 + 3*n - 2. Let k be m(-3). Let q(h) = 6*h**2 + 18*h**3 - k - 19*h**3 - 4*h + 3. Does 12 divide q(4)?
True
Let u = -548 - -849. Does