uppose -2*i + g*i + 4*x = -22, k = -i + 4*x + 7. Does 8 divide i?
False
Suppose 5*q - 3120 = -3*p, 3*p = 13*q - 12*q - 624. Does 6 divide q?
True
Let x(o) = -o**3 - 12*o**2 + 10*o + 10. Let g be x(-13). Suppose 0 = -t + g + 42. Does 31 divide t?
False
Let a = 242 - -44. Is 22 a factor of a?
True
Let t(w) = -2*w + 174. Let o be t(0). Let q = -100 + o. Is 13 a factor of q?
False
Suppose 4*u = -o + 92, 5*u - 166 - 180 = -4*o. Let p be ((-24)/o)/(2/(-28)). Suppose -108 = -0*g - p*g. Is 9 a factor of g?
True
Suppose 4*z = -w + 6*z + 571, w - 559 = -4*z. Is 63 a factor of w?
True
Let o = 247 + 2062. Is 81 a factor of o?
False
Let d be 208/39*30/8. Suppose d*u + 172 = 21*u. Is 13 a factor of u?
False
Let m = 87 + -86. Does 21 divide m + -11 + 196 + (-3)/(-1)?
True
Let q be (4 - 24/4) + 12. Let g(z) = 2*z**2 - 16*z + 6. Is g(q) a multiple of 46?
True
Let h(i) = 5 - 9 + 6*i**2 - 18*i - i + 8. Does 33 divide h(7)?
True
Let g(z) = 37*z + 15. Let u(n) = 19*n + 8. Let x(m) = 6*g(m) - 11*u(m). Suppose -2*p + 0*o + 8 = 4*o, -4*p - o = -9. Is x(p) a multiple of 14?
True
Is (-4)/((-44)/1) - (-14247)/99 even?
True
Let p(d) = 4*d**2 + 6*d - 116. Let v(k) = -k**2 - k. Let s(q) = -p(q) - 5*v(q). Does 23 divide s(0)?
False
Let v(g) = 3 - 2 - 46*g + 0. Let x be v(1). Let r = 65 + x. Does 8 divide r?
False
Suppose 5*d - 30 = -2*o - 0*d, -o + 3*d - 7 = 0. Suppose o*f + 1 = 21. Suppose 4*a + 29 = f*c + 193, -a = c - 33. Is a a multiple of 8?
False
Let i(t) = t**2 - 9*t + 46. Does 12 divide i(12)?
False
Let j(s) = s**2 + 3*s + 36 - 27 + 2*s. Is 8 a factor of j(-6)?
False
Suppose 0 = 18*z - 6*z - 3804. Is 13 a factor of z?
False
Let u(l) = 13*l**3 + 3*l**2 - 2*l - 9. Let z(g) = -g**3 - g**2 + g + 1. Let w(s) = u(s) + 5*z(s). Does 29 divide w(3)?
True
Let j = 80 + -76. Suppose 269 = j*r - 571. Is 70 a factor of r?
True
Suppose 12 = 3*a, 0 = 2*x - 0*a - 5*a - 542. Is x a multiple of 34?
False
Let g(h) = -h**2 - 11*h - 4. Let r be g(-7). Let z be 116/r + (-2)/(-12). Is 32 - ((-6)/2 + z) a multiple of 14?
False
Let m = -1040 + 1778. Is m a multiple of 41?
True
Suppose 0 = -10*j + 25902 - 2962. Is 137 a factor of j?
False
Suppose -9*u = -4*u. Suppose u = -2*g - 2, -12 = -v + 2*g + 1. Does 6 divide (-12 + v)*(1 - 8)?
False
Suppose -9*i - 408 + 2298 = 0. Does 15 divide i?
True
Let b(m) = -29 + 8*m**2 - 12*m**2 + 76 - 2*m + 2*m**2. Let u(l) = 3*l**2 + 3*l - 93. Let s(n) = -5*b(n) - 3*u(n). Does 12 divide s(0)?
False
Let v be (-6)/(-2)*(0 + 1). Let p(q) = 5*q**2 - 3*q - 4. Is p(v) a multiple of 15?
False
Suppose 0 = -4*j, 5*t + 5*j = 4*j. Suppose t = c + 4*c - 20. Suppose c*y - 194 = 50. Is 21 a factor of y?
False
Suppose -2*a - a = 5*p + 16, -2 = 3*a - 2*p. Is a*(-2 + (-67)/2) a multiple of 21?
False
Let i = 13 + -9. Suppose l - 5*y + y - 70 = 0, i*l = -4*y + 220. Suppose -2*g = 3*q - l, -4*g - 26 = 2*q - 150. Is g a multiple of 24?
False
Suppose 5*g + 68 = 2*f, f + f - 68 = -3*g. Suppose 2*y + 155 = v, v + f = 4*y + 183. Is v a multiple of 7?
True
Suppose 3*u = 2*u - 1. Is 21 a factor of u/((-4)/400) - -3?
False
Suppose 7*y + 15 = 4*y. Let s be 0*(y/2)/5. Suppose 4 = -d - d, s = m + 5*d. Does 10 divide m?
True
Let g be -1 - (16/4 - 91). Suppose -l = -11 - g. Suppose 0 = 2*m - 33 - l. Does 11 divide m?
False
Let p(z) = z**2 + 6*z + 8. Suppose 0 = k + 8 - 0. Is 22 a factor of p(k)?
False
Let h(c) = 23*c**2 + 14*c**2 - 36*c**2 + 34. Let o be 0 - 0 - (-1 + 1). Does 8 divide h(o)?
False
Suppose -2*i - 3*v = -v - 2710, -2*i + 3*v = -2730. Is 9 a factor of i?
True
Suppose -2*w = 5*u + 635 - 1808, 4*w + 709 = 3*u. Is u a multiple of 47?
True
Let d be (-4)/16 - (-1)/4. Suppose -l = -d*l + z - 14, 46 = 3*l + 2*z. Is l a multiple of 17?
False
Suppose 2*q - 6*q = 0. Suppose -5*u = -4*r - 499, q*u + r + 298 = 3*u. Is u a multiple of 12?
False
Suppose -1080 = -26*b + 6*b. Is b a multiple of 9?
True
Let u = -6 + 5. Let f = 8 + u. Let o(w) = 4*w + 4. Is 17 a factor of o(f)?
False
Suppose -34*k - 4872 = -25204. Is 4 a factor of k?
False
Let c be (1*5)/(14/14). Let f(h) = h + 7. Is f(c) a multiple of 3?
True
Suppose n - 570 = -6*v + 3*v, 5*n - 2*v - 2884 = 0. Is n a multiple of 18?
True
Let a(t) = t**2 + 7*t - 230. Is a(-22) a multiple of 10?
True
Let m(z) be the third derivative of -7/60*z**5 - 2*z**2 - 5/24*z**4 + 1/120*z**6 + 0 - 11/6*z**3 + 0*z. Is m(8) a multiple of 3?
False
Let v be (-1107)/(-99) + 2/(-11). Suppose -4 - v = -k. Is 14 a factor of (-3)/k + 231/5?
False
Is (19/(-2))/(-19) + (-237)/(-6) a multiple of 8?
True
Let m(i) = -i**2 - 9*i + 4. Let l be m(-9). Suppose 3 = -3*c + 3*y, 0*y = -5*c - l*y + 31. Does 28 divide 14*-22*c/(-12)?
False
Let z be (-1 - (1 + -1)) + 76. Suppose -b + z = -0*b + 3*r, 0 = 2*r - 8. Is b a multiple of 9?
True
Let k = -21 + 29. Suppose 16*s = 12*s + k. Suppose 2*u - 28 + s = 0. Does 5 divide u?
False
Let s = -27 + 96. Is 7 a factor of s?
False
Let m(h) = 11*h + 2. Let i be m(-2). Let d(g) = g**3 + 19*g**2 - 20*g + 49. Is d(i) a multiple of 8?
False
Suppose 2*n + 14 = -74. Let o = 72 + n. Suppose -o = 2*z - 100. Is z a multiple of 18?
True
Let q(y) = -11*y - 4*y + 14*y. Let j be q(-6). Let b = -2 + j. Does 4 divide b?
True
Suppose z - 10 = 5*n + 10, -2*z - 35 = 5*n. Is n*(-1)/15 + 359/3 a multiple of 24?
True
Let b(i) = -2*i**2 + i + 12. Let x be b(5). Is x/2*50/(-15) a multiple of 11?
True
Is -2 - 22/(-9) - (-3451100)/900 a multiple of 65?
True
Suppose -69*w + 43680 = -17*w. Does 40 divide w?
True
Let i be ((-8)/32)/((-2)/184). Let z = 38 - i. Suppose 3*n - z = 21. Does 12 divide n?
True
Let q = -16 + 8. Let r(b) = -b**2 - 8*b + 5. Let x be r(q). Suppose 3*y = -0*w + x*w + 163, y = -3*w + 73. Does 26 divide y?
False
Let o(a) = -a**3 - 4*a**2 + 4*a - 2. Let j be o(-5). Is 11 a factor of 162/15 + j/15?
True
Is 3 a factor of (-612)/(-357)*(-154)/(-4)?
True
Let o = 55 - 52. Does 13 divide 1859/39 + 1/o?
False
Let y = -4 - -5. Is 9 a factor of 38 + (3 + -5)*y?
True
Let k(p) be the third derivative of -p**8/6720 - p**7/840 + p**5/24 + 5*p**4/24 - 2*p**2. Let b(r) be the second derivative of k(r). Does 7 divide b(-4)?
True
Suppose 0 = 2*x - v + 21 - 3, 0 = 4*x + 5*v + 36. Let f = 10 + x. Is (f - 3)/((-32)/848) a multiple of 15?
False
Let m(j) = -j**2 + 6*j - 8. Let o be m(-10). Let z = -86 - o. Let t = 136 - z. Does 27 divide t?
True
Suppose -4*n = j - 58, -n - 4*j + 0*j = -22. Let p = -14 + n. Suppose p = -3*h + h + 50. Does 25 divide h?
True
Suppose o = 99 + 93. Is o a multiple of 68?
False
Let z = -530 + 1085. Is z a multiple of 15?
True
Suppose 2*h + 18 = 11*h. Suppose -h*f = -185 - 55. Is f a multiple of 12?
True
Does 12 divide (506/(-88))/(1/(-36))?
False
Suppose -550 = -3*g + 989. Let l = -303 + g. Does 15 divide l?
True
Let f(j) = 876*j - 22. Is 14 a factor of f(1)?
True
Let j(l) = l**2 - 3*l + 2. Let a be j(3). Is 3 a factor of 88/6 + a/6?
True
Is (-38)/(-3) + (100/12)/(-5) a multiple of 2?
False
Let q(t) = t**3 + 2*t**2 - t - 2. Let n = 24 + -24. Let f be q(n). Let u(x) = 22*x**2 + x. Is u(f) a multiple of 36?
False
Let s(w) = -w**3 + 7*w**2 - 12*w + 12. Is s(5) a multiple of 2?
True
Let c be (244/10)/((-8)/(-20)). Suppose 4*i + c = v, 7*v + 107 = 9*v - 3*i. Does 7 divide v?
True
Suppose b + 2*k - 79 = 0, 2*k + 91 + 4 = b. Suppose 0 = 2*l + 5*v - 147, -l - v - 15 = -b. Is 18 a factor of l?
False
Suppose 25*x = 19*x + 24. Is 15 a factor of x + -282*(-10)/15?
False
Let d be 3 - (-1)/1*2. Suppose -78 = -3*p + 33. Suppose 23 = d*l - p. Is l a multiple of 4?
True
Let n = 277 - -123. Is 25 a factor of n?
True
Let u = 5 + 3. Let t = -3 + u. Suppose 2*a - 66 = -4*w, 0*a + t*w + 54 = a. Does 13 divide a?
True
Let r be (-2)/3 + 52/(-3). Suppose -8 = -6*c + 40. Let i = c - r. Is 13 a factor of i?
True
Let t = 92 - -112. Is 17 a factor of t?
True
Suppose 0 = q + 2*q + 12, 4*h - 8004 = -q. Does 76 divide h?
False
Suppose 0 = -24*s + 18522 + 3006. Does 23 divide s?
True
Suppose -1038*t + 1030*t + 12512 = 0. Is 34 a factor of t?
True
Let f(r) = 122*r. Let m be f(-1). Let w = 206 + m. Suppose -2*x + 84 = -5*v, 3*v = -7*x + 4*x + w. Is x a multiple of 12?
False
Let w = 760 - 335. Is w a multiple of 25?
True
Suppose -10 - 38 = 12*f. Is 13 a factor of 8*26*f/(-4)?
True
Let k(x) = 74*x - 59. Is k(5) a multiple of 13?
False
Suppose -8 + 5 = -i. Suppose 0 = -i*m - 2*m.