 x = -100 - -87. Let j = x + n. Is j a multiple of 6?
False
Let q(y) = -y**2 - 35*y + 70. Is q(-11) a multiple of 7?
False
Let p be (-14)/(-56) + ((-17)/4 - 2). Does 10 divide (32/p)/(14/(-105))?
True
Suppose -52 = -5*t - 4*j, -2*j + 35 = 3*t + 5. Does 6 divide t?
False
Let k(z) = z**2 - 13*z + 7. Let h be k(11). Let l be (-37 + 2)*(-12)/h. Is 16 a factor of (l + -3)*-1 - -1?
True
Let t(u) = -96*u - 31. Does 15 divide t(-4)?
False
Let o(w) = -w**3 - w**2 - 4*w + 12. Let t be o(-7). Suppose -3*x - x = -276. Suppose t = 5*y + x. Is 11 a factor of y?
False
Let w(m) = -37*m + 49. Let d be 76/(-16) + 0 + (-2)/8. Does 12 divide w(d)?
False
Is (-30 - -29)/(2/(-2240)) a multiple of 35?
True
Let x = -867 + 1318. Does 57 divide x?
False
Suppose 7992 = 5*i - 4*c, 4*i + 5*c = 2789 + 3580. Does 38 divide i?
True
Suppose o = -5, 4*q - 9*q + 30 = -3*o. Is (-2)/3*q + 15 a multiple of 4?
False
Suppose 5*t + s - 1496 = 0, -6*t + 11*t = 3*s + 1512. Does 12 divide t?
True
Suppose -20 = -4*r, 0*w + 4*w + 5*r - 17 = 0. Let n be (0 + w)/((-2)/4). Suppose n*a - 6*a = -56. Does 15 divide a?
False
Let u be -4 - -1 - (-16 + 5). Suppose 0 = -2*s, -4*z = -u*s + 3*s. Suppose 0 = -5*g - z*g - 4*n + 286, -293 = -5*g + 3*n. Is g a multiple of 13?
False
Suppose -21*v = -26834 + 2264. Is 78 a factor of v?
True
Suppose -b - 2*k = -20, 4*b - 9*b - 5*k = -105. Is b a multiple of 22?
True
Let h(q) = -4*q**2 + 3*q - 1. Suppose -7 = s - 4. Let p be h(s). Let u = -30 - p. Does 15 divide u?
False
Does 5 divide ((-312)/520)/(2/(-200))?
True
Is 6490/21 + 14/(-294) a multiple of 2?
False
Let b(o) = -2*o + 14. Let t = 2 + 5. Let l be b(t). Suppose l = s + 24 - 89. Does 13 divide s?
True
Suppose 5*h - 793 - 3544 = 2*w, 2*w = -4*h + 3484. Is h a multiple of 99?
False
Suppose 12*y - 7*y = 500. Let l(u) = -u**2 + 14*u - 16. Let a be l(12). Suppose -4*d = -a*d + y. Is 25 a factor of d?
True
Suppose -v = 4, -2*v + 4*v - 1 = -3*q. Suppose 3*f - 2*i = q*i + 994, 3*f - i = 974. Does 19 divide f?
True
Let b(z) = 32*z**2 + 91*z + 546. Is b(-6) a multiple of 24?
True
Let u(v) = -4*v - 8. Let d(t) = -t**2 + 20*t - 26. Let z be d(19). Is 20 a factor of u(z)?
True
Suppose 0*q - 9 = 3*q. Let w(o) = o**3 + o**2 + o + 1. Let f(x) = 4*x**3 - x**2 + 6*x + 1. Let r(l) = -f(l) + 5*w(l). Is r(q) a multiple of 10?
False
Let k(o) = 9*o - 19. Let m(l) = -4*l + 10. Let v(b) = 3*k(b) + 7*m(b). Let c be v(7). Suppose 0 = -j - 3*w + 37, -3*j + 3*w + 141 = c*w. Is j a multiple of 14?
False
Let s(q) = q + 5. Let j be s(-9). Let f be 5 + 2 + 2 + j. Suppose f*b - 3*v - 114 = b, b - v - 29 = 0. Is b a multiple of 9?
True
Let o = -311 + 800. Is 56 a factor of o?
False
Suppose -3*h = 4*n - 226, -2*n + 5*h + 100 = -0*h. Suppose n = 5*k + 180. Let m = k - -40. Is m a multiple of 10?
False
Let l(j) = -7*j**3 + 10*j**2 - 9*j + 11. Let g(x) = 6*x**3 - 10*x**2 + 9*x - 11. Let a(o) = -6*g(o) - 5*l(o). Is 11 a factor of a(9)?
True
Suppose -22 - 3 = -5*i. Suppose 3*j = i*y - 9 - 26, 28 = 4*y - 3*j. Suppose 3*r = y*r - 100. Does 9 divide r?
False
Suppose 5*o - y = -27, -22 = 3*o + 5*y + 11. Let w(u) = -6*u - 13. Is 5 a factor of w(o)?
False
Let h(q) = 12*q**2 - 3*q + 8. Let n(o) = 12*o**2 - 3*o + 9. Let d(j) = 5*h(j) - 4*n(j). Is 23 a factor of d(4)?
True
Suppose 2*b + 14 = -16. Let j = 70 - 3. Let u = b + j. Does 17 divide u?
False
Suppose 0 = 5*g - 3*g - 1656. Does 46 divide g?
True
Suppose -4*c + 3*c = 3*r - 18, 4*c + 24 = 4*r. Suppose -3*f + r*f - 72 = 0. Suppose -v + 26 = 4*m, 2*m = -3*v + f + 4. Does 6 divide v?
True
Suppose -6*c + 3*c + 10 = 4*s, -3*c - 22 = -4*s. Suppose -s = -0*z + 2*z. Let f(v) = -4*v**3 + 2*v**2 + v - 2. Is 12 a factor of f(z)?
True
Let k(o) = -2*o**3 - 7*o**2 + 6*o - 21. Let t(h) = h**3 + 3*h**2 - 3*h + 10. Let u(l) = -2*k(l) - 5*t(l). Is 14 a factor of u(-6)?
True
Let w be (8 + -9)/((-1)/2). Suppose -4*v + w*v = 56. Let s = -3 - v. Is 8 a factor of s?
False
Let o(n) = -26*n + 101. Let b be o(4). Let v be (0 - -5)/(1/7). Let k = v - b. Is k a multiple of 14?
False
Let m(d) = -26*d**2 + d - 2. Let r be m(-5). Let w be r/45 - 4/10. Does 6 divide 1*w*12/(-30)?
True
Suppose -8*d + d = -77. Let q = d - -40. Is q a multiple of 17?
True
Let y be ((-9)/9)/((-1)/38). Let o = -2 + y. Does 9 divide o?
True
Let j = -953 + 1412. Is 18 a factor of j?
False
Suppose 2013 + 5467 = 10*a. Does 22 divide a?
True
Let s(t) = -5*t - 5. Let y(d) = -4*d - 6. Let v(w) = 5*s(w) - 6*y(w). Is 3 a factor of v(-9)?
False
Suppose -25 = 2*v - 9. Let d(t) = t**2 + 4*t - 2. Is d(v) a multiple of 15?
True
Suppose 59 = -5*y - 6*x + 3*x, -2*x - 6 = 0. Is 4*(48/80 + (-194)/y) a multiple of 20?
True
Let h be (42/6)/(1/1). Let a(q) = q**3 - 4*q**2 - 8*q - 16. Does 18 divide a(h)?
False
Let j be 2*2/(-8)*-4. Let q be 4/22 - 1324/22. Is 10 a factor of (3/j)/((-9)/q)?
True
Suppose -4*z - 571 = -3*m, 0*m + z - 566 = -3*m. Is 7 a factor of m?
True
Let l(p) = p + 7*p**2 - p - 1 - 1. Let s be l(-2). Suppose -4*u - s = -6*u. Does 4 divide u?
False
Let w = -71 - -127. Let b = 163 - w. Let m = b + -53. Is m a multiple of 11?
False
Let q = -9 - -906. Is q a multiple of 39?
True
Let u(a) = 27*a**2 - 26. Is 25 a factor of u(-6)?
False
Let y(d) = 3*d**3 - d**2 + 2*d + 248. Is y(0) a multiple of 62?
True
Suppose 537 = 3*b - 3*f - 1608, 5*b + 4*f = 3620. Is b a multiple of 18?
True
Let q be 1/3 - 322/(-6). Is 12 a factor of q/(-36) + 102/4?
True
Suppose -2*d = 3*d - 70. Let w be d/(-4) - 3/(-6). Let y = w - -8. Is y a multiple of 3?
False
Let w = 42 - 61. Let k = 57 + w. Does 38 divide k?
True
Let m(t) = 28*t - 4. Let i(h) = 29*h - 5. Let x(o) = 2*i(o) - 3*m(o). Does 36 divide x(-4)?
False
Suppose 4*b + 133 = k, 3*k - 117 = 4*b + 26. Let r = 144 + b. Is r a multiple of 56?
True
Let i(x) = -2*x**2 - 2*x + 365. Is 5 a factor of i(0)?
True
Let p(a) be the second derivative of a**5/20 - 13*a**4/12 + a**3/6 + 15*a**2/2 - a. Let z be -3 - -2 - (-6 - 8). Is 22 a factor of p(z)?
False
Let i(a) = a**3 + a - 1. Let y(t) = 51*t**3 + t**2 - 2*t + 4. Let r(d) = -4*i(d) - y(d). Does 5 divide r(-1)?
False
Let p = 4717 - 1999. Is 15 a factor of p?
False
Suppose 2*z + 38 = 2*g, g - 20 = 6*g. Let b = z - -29. Is b a multiple of 6?
True
Let b(a) = 1506*a + 56. Is 33 a factor of b(2)?
False
Suppose 0 = -2*c + 3 + 7. Let o be 1/(-6 + 7)*71. Suppose -c*z + 244 = -o. Is 20 a factor of z?
False
Suppose 3*l - 114 = -27. Is l a multiple of 4?
False
Let m(u) be the second derivative of u**3/6 + 2*u**2 - u. Let p be m(-7). Is 21 a factor of (14/p)/(6/(-108))?
True
Let c be -1*1*(-14 - -14). Suppose c = 4*a - 1229 + 109. Is 53 a factor of a?
False
Let v = -2 + 4. Suppose -8 = -3*l + 1, v*i + 2*l = 16. Does 4 divide i?
False
Let r(l) = -39*l - 15. Let v(k) = 13*k + 5. Let n(q) = 2*r(q) + 7*v(q). Let i be n(5). Suppose i = 2*t + 3*t. Does 9 divide t?
False
Suppose -4496 = -5*q + g, -2*q + 14*g = 15*g - 1804. Is q a multiple of 25?
True
Let w = -263 + 807. Does 34 divide w?
True
Let z = 94 + -19. Suppose -3*t + 80 = h, -5*h = -4*h + 2*t - z. Does 26 divide h?
False
Suppose 3*k - 203 - 169 = 0. Suppose k*m = 126*m - 10. Is m a multiple of 3?
False
Let r be 3 + 3 + -8 + 1. Let m be (r - -22)*(-30)/35. Is 8 a factor of m*((-3 - -3) + -2)?
False
Is 1692/30 + (-5 - 92/(-20)) a multiple of 8?
True
Suppose -95*t = -91*t - 16. Suppose 0 = -2*l + t*n + 61 + 47, 2*l = 2*n + 104. Does 8 divide l?
False
Suppose -5*y + h = -1961 - 702, 0 = -2*y + 5*h + 1056. Is 10 a factor of y?
False
Let j be ((-9)/(-4) - 1)/(4/16). Suppose 0 = c - 4 - 1, -c - 240 = -j*b. Is 8 a factor of b?
False
Suppose -2*y - 20 = -4*r, -25 = -5*r - 2*y + 3*y. Suppose x - 2*x = -5, -h + 68 = -r*x. Suppose 0 = -3*c + 3*w + 147, h = 3*c - 4*w - 49. Does 9 divide c?
True
Suppose -186 = -4*z - 522. Let f = -58 - z. Does 23 divide f?
False
Suppose f - 32 = -0*f - 5*t, 4*t = 3*f - 134. Suppose -f = -4*k - d - 4, 5*k - d - 52 = 0. Is 2 a factor of k?
True
Suppose 151 = -7*o + 648. Does 13 divide o?
False
Suppose 5*u - 91 = 2*z, 5*u - 3*u - 5*z = 28. Suppose -w + 3*v = -11, -3*w - 3*v = -2*v + 7. Let f = u + w. Does 6 divide f?
True
Let w be 20/(-5) + 7 + 1. Suppose k = -0*f - w*f + 89, f = k - 109. Let h = k - 53. Is 14 a factor of h?
False
Suppose 1125 + 372 = -3*s + 5*f, -4*s = -5*f + 2001. Let b = -356 - s. Is b a multiple of 31?
False