Suppose 69*x = 78*x - 11727. Is 25 a factor of x?
False
Let r be 2272/14 - (-14)/(-49). Let h be -1 - 1 - r/(-2). Suppose 37 = 4*l - h. Is 12 a factor of l?
False
Let w(a) = a**3 - a**2 - a - 4. Let v be w(0). Let d be v/14 - (-180)/42. Suppose -5*s - 3*u = -2*s, -2*s = d*u + 8. Does 4 divide s?
True
Let b(y) = -y - 7*y + 2*y - 8 - 2. Does 26 divide b(-6)?
True
Let j(l) = 4*l**2 + 27*l - 36. Is 12 a factor of j(-12)?
True
Suppose 0 = 47*a + 13*a - 28800. Does 24 divide a?
True
Let v = -29 - -16. Let l(o) = o**3 + 14*o**2 + 14*o + 14. Let g be l(v). Suppose r = g, 3*s + 3*r - 104 = 13. Is s a multiple of 7?
False
Is 6 - 10451/7*-2 a multiple of 34?
True
Suppose 4*j + 1 = 3*z - 6, 0 = 2*z + 2*j. Does 2 divide (z/4)/(8/352)?
False
Let u(x) = -x**2 + 3*x + 4. Let i be u(11). Is 8/(-6) + (-1288)/i a multiple of 2?
True
Suppose 4*n + 5*k + 8 = -5, -5*n - 5*k = 10. Suppose -4*c = l + 9, -c + 31 - n = 3*l. Is 6 a factor of l?
False
Let u be (85/2 + 1)/((-3)/(-18)). Let i = u + -171. Is i a multiple of 15?
True
Suppose -j + 4*n = -2, j = 4*j - 5*n - 6. Let k be 7/j + 5/10. Does 8 divide (-27)/(-1) + 0/k?
False
Suppose 0 = -h + 9 - 7. Is 8*-22*h/(-4) a multiple of 22?
True
Suppose -3*b - 405 = -2*l, 15*l - 13*l - 5*b = 395. Is 6 a factor of l?
True
Let i be (3/(-2))/((-3)/800). Let u(r) = 11*r**2 + 29*r + 142. Let p be u(-5). Let k = i - p. Is 28 a factor of k?
False
Let q(n) = 214*n**3 + 3*n**2 - 31*n + 52. Is 14 a factor of q(2)?
False
Let p = 1921 - 451. Is 7 a factor of p?
True
Suppose 5*r - 1665 = -0*l - 5*l, -l = -4*r - 358. Does 28 divide l?
False
Suppose -y + 2*b = -7, 5*y - b - 11 - 15 = 0. Suppose -4*m + 591 = 3*z, 2*z - 232 = y*m + 139. Is z a multiple of 25?
False
Is 5/70*4 - (-1200)/14 a multiple of 28?
False
Suppose 556 = -54*u + 56*u. Is u a multiple of 22?
False
Suppose -4*o = 52 - 8. Let h be (9/6)/(3/(-4)). Let b = h - o. Does 4 divide b?
False
Suppose b + 510 = -2*g - 171, 2*b - 348 = g. Is 12 a factor of g/(-14) - 12/28?
True
Let w be (76/3)/(1/(18/4)). Suppose l + w = 399. Does 19 divide l?
True
Let p = 388 - 196. Is 48 a factor of p?
True
Suppose -3*h + 0*h + 2*r + 5 = 0, -h + 13 = 5*r. Let a = h - -1. Suppose 0 = -a*n + 6*n - 48. Is n a multiple of 12?
True
Is 1309 - (1/(-8) - 165/88) a multiple of 15?
False
Let p be 22 + (-6)/(-2) + -6. Let n = p - 14. Suppose -n*c = -4*c - 29. Does 11 divide c?
False
Let n = 1 + 3. Let w(b) be the second derivative of b**4/12 + 2*b**3/3 - 5*b**2/2 - 2*b. Does 8 divide w(n)?
False
Let m = 383 + -200. Suppose -m = -3*b - 5*p, 0 = -8*b + 3*b - 5*p + 295. Is b a multiple of 4?
True
Let d(b) = 354*b - 480. Does 78 divide d(4)?
True
Let s(b) = 18*b**2 - 4*b + 10. Let o(q) = -19*q**2 + 5*q - 10. Let w(v) = 5*o(v) + 6*s(v). Does 19 divide w(3)?
False
Suppose 7*a + 3 = 3*a - 3*s, -5*a - s + 10 = 0. Suppose -r - 5*h + 142 = 0, -372 = -3*r + a*h - 0*h. Is r a multiple of 13?
False
Suppose -4*h + h - 319 = 5*q, h - 5*q = -73. Let k = -38 - h. Is 10 a factor of k?
True
Suppose 0 = -4*s + h + 7, 3*s + 0*s + h = 7. Suppose 2*j + 144 = s*c, -3*j + 5*j = 10. Is c a multiple of 28?
False
Let k = 4 + -8. Let a(c) = -2*c**3 - 4*c**2 - 7*c - 4. Let r be a(k). Suppose i + 14 = r. Is 20 a factor of i?
False
Let z = 2172 - 588. Is 16 a factor of z?
True
Let y = -52 + 89. Let f = y + -39. Does 13 divide (51 - f) + 3 + 1?
False
Let k be (15/12)/(4/16). Suppose k*a = 3*a + 34. Does 4 divide a?
False
Let d be (-188)/(-1) + 2 + -4. Let q = -62 + d. Is 24 a factor of q?
False
Let a(d) = d**3 - 6*d**2 + 6*d - 3. Let w be a(4). Let p be -14 + 17 - (0 + 0 + -3). Is 13 a factor of w*1*(p + -10)?
False
Let v(t) = 2*t**2 - 4*t + 3. Let o = 8 + 2. Suppose 2*b = -4*c + o, 0 = 4*c - b - 16 - 3. Is 10 a factor of v(c)?
False
Let d = -11 + 17. Suppose -1 = d*o - 13. Suppose o*p = -0*p + 44. Does 22 divide p?
True
Let v(n) = -9*n + 19. Let h be v(-6). Suppose 2*u + 5*q - h - 96 = 0, 0 = -5*q + 25. Is 36 a factor of u?
True
Let l be (-2)/(5*2/5). Let i be (1/2)/(l/(-8)). Does 2 divide (i/12)/(3/27)?
False
Let l = 12 - -123. Let i = l + -79. Is 14 a factor of i?
True
Suppose -4*z - 4*o - 3 = 9, z + 15 = 3*o. Let s = -1 - z. Suppose s*t - 2*j - 3*j = 235, 0 = -4*t + j + 194. Is t a multiple of 21?
False
Let r be (-1010)/(-25) - (-9)/15. Let p(f) = 2*f**2 + 7*f - 11. Let h be p(-8). Let u = h - r. Does 5 divide u?
True
Let g = 2703 - 1533. Is 10 a factor of g?
True
Let d = 390 + -346. Does 12 divide d?
False
Let m(x) = 26*x - 16. Let n be m(7). Suppose -i + n = 3*y, y - 109 = -y + i. Does 5 divide y?
True
Suppose 2*j - 19*p + 25*p - 22 = 0, 4*j - 55 = -p. Does 7 divide j?
True
Suppose -3*l = 12*l - 1995. Suppose 0 = -14*r - l + 343. Does 3 divide r?
True
Let d(n) = -n**3 - 7*n**2 - 8*n - 8. Suppose -27 = 5*f + b, 25 = -4*f + 5*b - 14. Let j be d(f). Suppose j*k = -k + 110. Is 22 a factor of k?
True
Let v = 31 - 37. Let p(h) = -50*h - 3. Does 13 divide p(v)?
False
Let m(z) = -6*z**3 + z**2 - 1. Let y be m(-1). Suppose r + 5*t = y*r - 5, 8 = -4*r + t. Is r + 27 + 0/(-2) a multiple of 16?
False
Let p(y) = -y**3 + 22*y**2 - 23*y - 53. Does 14 divide p(18)?
False
Suppose -4*r + 524 = -s, -280 = -3*r + 5*s + 130. Is 14 a factor of r?
False
Let n = 13 + -11. Suppose -4*j - 5*u + 2*u = 92, 0 = 2*j + n*u + 46. Let o = j - -38. Is o a multiple of 3?
True
Let l(m) = -181*m - 1038. Does 22 divide l(-6)?
False
Suppose 2*m = -4*w + 12, -w + 2*w - 4*m = 12. Suppose 0 = -4*p - 16, p - w*p - 762 = -3*v. Does 19 divide v?
False
Suppose -2*p + 29 = 4*s + 1, -s - 21 = -3*p. Suppose 3*u = j + p*u + 32, j + 12 = 5*u. Let v = -9 - j. Does 4 divide v?
False
Let l(s) = -2*s - 10. Let y be l(-6). Let g be (0 - y)/((-8)/228). Let h = g + -29. Is 4 a factor of h?
True
Let f(m) = -9*m + 3. Suppose -2*g - 19 = 3*a, 0*a - 5*a = g + 34. Is f(a) a multiple of 33?
True
Let f(s) = s**2 - 12*s - 19. Let v be f(14). Let l = 58 + v. Does 21 divide l?
False
Suppose 0 = -21*y + 9*y + 504. Does 8 divide y?
False
Let h = -847 - -871. Is 7 a factor of h?
False
Let c be (-4)/18 - 88/9. Let y be ((-20)/50)/((-1)/c). Is ((-78)/y)/((-10)/(-20)) a multiple of 13?
True
Let t = -21 + 33. Suppose -a - t + 54 = 0. Is a a multiple of 6?
True
Suppose 5*c = -2*d, 0*d + 3*c = -5*d - 38. Let o be (-35 - 0)*4/d. Is 7 a factor of 2*(2 + o/4)?
False
Let g(r) = 101*r**2 - r + 2. Let f(w) = -2*w**3 + 21*w**2 + 10*w + 12. Let t be f(11). Does 17 divide g(t)?
True
Let p be (8/3 + -3)*-9. Suppose -5*c - l + 54 = 0, c - 6*c = -p*l - 38. Suppose 0 = 3*o - c - 5. Is 3 a factor of o?
False
Let t be (-9 + 0)/((-42)/(-28)). Let h(o) = o**2 + 15*o + 18. Let c be h(t). Does 14 divide c/27*(-42)/4?
True
Let g be 0/(3/(-9)*3). Suppose 0 = -4*i - 5*d + 112, i + d - 29 = -g*d. Suppose -m - i = -119. Is 13 a factor of m?
False
Let k(c) = -c**3 + 8*c**2 - 2*c + 4. Let t = 19 + -11. Let g be k(t). Let q = 2 - g. Is 14 a factor of q?
True
Suppose -18*m + 18211 + 2291 = 0. Does 5 divide m?
False
Let w = 36 + -90. Let g = w + 90. Does 6 divide g?
True
Let o = -481 - -709. Suppose 2*h = 3*i - o, 2*i - 154 = 7*h - 5*h. Is i a multiple of 6?
False
Suppose -24*v = -1799 - 2281. Does 10 divide v?
True
Let s be 1253/(2/((-8)/4)). Let p = s + 126. Does 9 divide p/(-42) + (-2)/(-12)?
True
Let w(x) = -1 + 25*x - 2*x - 9*x + 2*x. Let j be (28/(-8))/(2/(-4)). Does 17 divide w(j)?
False
Let r be -1 - ((-8)/(-2) + -85). Is (63/(-28))/((-2)/r) a multiple of 18?
True
Let d be 3 - ((-2)/(-7) + (-17685)/35). Is d/12 + (-1)/(-3)*-1 a multiple of 21?
True
Let a = -386 + 561. Is a a multiple of 2?
False
Let h(z) = -17*z + 61. Let n be h(15). Let d = 334 + n. Is d a multiple of 31?
False
Let s be (15/(-10))/((-3)/10). Suppose -s*d = -2*l - 120, -d - 3*l = -2*d + 24. Is d a multiple of 24?
True
Suppose 2*g - 17*w - 1500 = -12*w, g - 768 = -2*w. Does 10 divide g?
True
Suppose 3*j = 4*j + 70. Let n = -1 - j. Is 13 a factor of n?
False
Let n be (9/12)/(6/16). Suppose -4*d + 154 - 21 = -m, n*d - 56 = 4*m. Does 13 divide d?
False
Let b(f) = 3*f**2 - f + 2. Let o be b(4). Let w = -13 + 20. Suppose 3*u = 4*v + 45, 3*u - o = 2*v - w. Is 5 a factor of u?
False
Suppose -14*l = -2825 - 12841. Does 50 divide l?
False
Suppose 91*h = 88*h + 1260. Does 10 divide h?
True
Let b(f) = -f**3 + 5*f**2 + f + 4. Let z(h) = -7 + 10 + 0 + h**2 + 5*h**3 - 4. Let o