-550*g - 2919 = -557*g. Does 8 divide g?
False
Suppose 8*c - 15 = 3*c. Suppose 5*x + 290 = 4*f, c*f - 228 = x - 5. Let y = -33 + f. Does 12 divide y?
False
Suppose 6973 - 16549 = -18*r. Is 76 a factor of r?
True
Let z(q) = q - 6. Let i be z(-14). Is 16 a factor of (-3564)/i - (-3)/(-15)?
False
Suppose -2*j = -4*h + 4, 2*h + 2*j + 4 = h. Suppose h = -z + 85 - 21. Does 18 divide z?
False
Suppose 4*z - 3*h = -h + 38, -z - 4*h + 14 = 0. Suppose 5*u - 35 = -z. Suppose -u*t + t + 36 = 0. Does 9 divide t?
True
Let q = -87 - -92. Let y(h) = 6*h - 20. Is y(q) a multiple of 9?
False
Suppose x + 4*v = -9, 24 = 3*x - v - 4*v. Suppose -3*r - x*k = 663, 3*r - 2*k + 681 = k. Let n = -137 - r. Is n a multiple of 29?
True
Suppose -m = m. Suppose m = 4*f - 6 - 2. Suppose 0 = 2*h + 2*h - f*l - 66, -3*l = -h + 29. Is 12 a factor of h?
False
Suppose 3*s = -2*c + 4093, -c = 5*s - 2*s - 4094. Does 21 divide s?
True
Suppose 5*a - 19*z + 17*z - 4493 = 0, 0 = a + 3*z - 885. Does 16 divide a?
False
Let z = 45 - 16. Suppose 26*p = z*p - 243. Is 32 a factor of p?
False
Let h be (-1)/((-2)/6) + 3. Let z(c) = -c**3 + 11*c**2 + c - 8. Let b be z(11). Suppose -h*s + 117 = -b*s. Does 24 divide s?
False
Let g be (-111)/12 - (-3)/12. Is (-12)/(((-135)/(-200))/g) a multiple of 20?
True
Let c be 3 - 5/((-10)/6). Suppose 11*l - c*l = 445. Suppose 4*m = l + 95. Is m a multiple of 16?
False
Let j(v) = v - 4. Let p be j(2). Let r be 4251/(-26)*p/(-3). Let n = r - -162. Does 15 divide n?
False
Let n = -221 + 409. Let z = n + -132. Does 7 divide z?
True
Suppose 3*y = -4*a + 244, 78 = -3*y + 4*y + 3*a. Let f = y + 52. Is 12 a factor of f?
False
Let q(x) = x**3 + x**2 - x - 75. Let r be q(0). Suppose d - 4*d = -2*y + 392, 5*d - 5*y = -660. Let u = r - d. Is u a multiple of 24?
False
Suppose 285 = -736*w + 741*w. Does 6 divide w?
False
Let x(m) = -m**2 + 8*m + 9. Let u be x(10). Let h = u + 17. Is 2 a factor of h?
True
Suppose -1608 = -4*a - 40*c + 42*c, 402 = a - 5*c. Is 26 a factor of a?
False
Is (-20)/(-4)*4186/35 a multiple of 58?
False
Let a(h) = 7*h**3 + 2*h**2 - 1. Let u be a(2). Let i = u + -29. Does 3 divide i?
False
Suppose -3*r + r = 0. Let g(o) = o - 3*o**2 + 2*o**2 + 9 + 28 - 9. Is 6 a factor of g(r)?
False
Let o(l) = -l**2 - 4*l. Let i be o(-5). Let v be 1 + i + 3 + -2. Is 21 a factor of 4/v*126/(-4)?
True
Suppose 0 = -w - 4*m + 251, -7*w + 8*w - 4*m = 267. Suppose -4*g = -141 - w. Does 10 divide g?
True
Let d = -25 + 32. Suppose 3*f = -d - 38. Let z = f - -51. Is 12 a factor of z?
True
Suppose -19*d = -35075 + 13681. Does 12 divide d?
False
Suppose 1 = -5*t + 21, -3*x + 3*t = 0. Let f = 2 - 2. Suppose k + m - 16 - x = 0, f = 2*m + 4. Is k a multiple of 7?
False
Let l(n) = n**3 - 7*n**2 + 5*n + 2. Let a be l(6). Let d(v) = v**2 - v - 2. Is 8 a factor of d(a)?
False
Let d(n) = n**3 - 9*n**2 - 2*n - 4. Let o be d(9). Let q = o - -82. Is q a multiple of 20?
True
Suppose 3683 = 99*u - 98*u. Is u a multiple of 27?
False
Let z(a) = 141*a - 125. Does 72 divide z(28)?
False
Let v(c) be the third derivative of 23*c**4/24 + c**3/2 + 17*c**2. Is 27 a factor of v(3)?
False
Suppose 5*b = 4*z + 26, -2*b + 4*b + 5*z = -16. Suppose -2*s = 5*f - 252, 0 = -4*s + b*s - 8. Is 16 a factor of f?
False
Let b(y) = y**3 + 2*y**2 - 5*y + 2. Let v(i) = i**3 + 2*i**2 - 4*i + 1. Let k(x) = -3*b(x) + 4*v(x). Let w be k(4). Let u = w + -22. Is u a multiple of 17?
True
Suppose 4*a - 376 = -4*p, 2*a - 4*a + 91 = p. Let c = p - 76. Does 7 divide c?
True
Suppose -26*b = -67*b + 42476. Is 37 a factor of b?
True
Suppose 0 = 5*a + 45 - 225. Suppose -3*m = c - a, -c + 2*c = 2*m + 36. Let h = c + -19. Is h a multiple of 15?
False
Let s(o) = -3*o + 1. Let a be s(-1). Suppose -3*n = -a*n + 137. Suppose 0 = -3*r + 43 + n. Is r a multiple of 20?
True
Let v = -56 + 210. Does 11 divide v?
True
Let k = -98 + 223. Suppose 0 = c - a - 58, -2*c = -a + 4 - k. Is 21 a factor of c?
True
Let z be 3 + 6/(-9)*3. Does 2 divide (z + 0 + -8)*(-2 - 0)?
True
Suppose 10*c + 5*w = 5*c + 1445, 3*w - 1155 = -4*c. Is c a multiple of 18?
True
Let p(f) be the third derivative of -13*f**4/12 - 5*f**3/3 - 9*f**2. Let r be p(-4). Suppose -3*x + 131 = -r. Does 21 divide x?
False
Let h = -2032 + 3502. Suppose -7*f - h = -21*f. Is f a multiple of 7?
True
Is (-334)/(-8) + (-36)/48 a multiple of 5?
False
Suppose -17 = -r - 2*v, 4*r - 2*v = -0*r + 118. Let m = -24 + r. Is 2 a factor of m?
False
Suppose -9 = -k - 2*i, -3*k + 5*i = -k. Suppose 5*r - 17 = -o, -25 = -k*r + o - 6*o. Suppose 2*y = -r*y + 255. Is y a multiple of 17?
True
Let j(s) = -s + 9. Let p be j(-5). Let g(x) = x**2 - 7*x + 6. Is 26 a factor of g(p)?
True
Let y(c) = -4*c + 47. Let w be y(11). Let v(n) = n**3 + 3*n**2 + n. Is 11 a factor of v(w)?
False
Let b(u) be the third derivative of 7*u**4/24 - 2*u**3 + 6*u**2. Let l be b(7). Suppose -3*a + 2*a + l = 0. Does 5 divide a?
False
Let g(o) = o**2 - 5*o + 3. Let l be g(4). Does 14 divide 252/(l - 2)*-1?
True
Let z(a) = -a**2 - 2*a + 1. Let l be z(-4). Let d(o) be the third derivative of o**5/60 + 7*o**4/24 + 8*o**3/3 + 30*o**2. Does 11 divide d(l)?
False
Suppose 2*t = 4*j - 2866, 24*t = 19*t + 15. Is 23 a factor of j?
False
Suppose 0*h = -h + 2. Let d be (h + (-27)/6)*-2. Suppose -d*u - 3*x + 195 = 0, -3*u - x = -3*x - 117. Is u a multiple of 13?
True
Suppose -4*u + 80 = 6*t - 3*t, -3*t - 3*u = -84. Is t a multiple of 3?
False
Let p(l) = 2*l**2 - 6*l + 29. Let i = 35 + -28. Is p(i) a multiple of 16?
False
Suppose -3*j + 2607 = 4*r, -r - 1271 = -3*r + 5*j. Does 36 divide r?
True
Let s(t) = 4*t**2 - 2*t + 2 + 6*t - 13. Is 23 a factor of s(4)?
True
Does 6 divide (-144)/(-648) - (1 - 1472/18)?
False
Let a = -682 + 1272. Does 50 divide a?
False
Let o(k) be the third derivative of k**4/12 + 8*k**3/3 - 5*k**2. Is o(0) a multiple of 3?
False
Let s(p) = p**2 + 3*p - 185. Let r be s(12). Let t(b) = -b**3 + 2*b**2 + 7*b + 1. Let n be t(5). Let l = r - n. Does 12 divide l?
False
Suppose 10 = 5*z, 5*a + 5*z = 3*a + 22. Suppose -3*t = -a*t + 303. Suppose -3*b - 8 = -t. Does 9 divide b?
False
Let g(j) = -5*j**3 + j**2 + 2*j - 1. Let d be 51/5 - 4/20. Suppose 4*x = -4*h - 28, -h + d = -3*h. Is 13 a factor of g(x)?
True
Suppose -5*w = -8*w + 6. Suppose -x + 38 = -b, 3*x - 96 = x - w*b. Let r = x - -17. Is 20 a factor of r?
True
Let f(n) = 18*n + 2. Let y be f(1). Suppose -y*i + 15*i + 65 = 0. Let c = 1 + i. Is c a multiple of 14?
True
Let b = 1045 + -350. Is 34 a factor of b?
False
Let z(r) = r**3 - r**2 + 3*r - 3. Let p be z(2). Suppose 2*o - p*o = -3*t + 20, 0 = 4*t + 4*o + 16. Suppose t = -3*m + 60 + 72. Is 27 a factor of m?
False
Suppose -f = -2, 3*f = -3*y + 10 + 2. Suppose -i - n + 132 = 0, 5*n = i + y*n - 112. Is 38 a factor of i?
False
Let a(f) = -2*f**2 - 15*f + 13. Let b(k) = k**2 + k. Let o(s) = a(s) + 3*b(s). Let c be o(11). Is 9 a factor of (-20)/(c*3/(-6))?
False
Suppose -8*s = 4*s + 960. Let o = 132 + s. Is 52 a factor of o?
True
Let z = 88 - 47. Let d = 2 + -13. Let y = z - d. Is y a multiple of 25?
False
Suppose -5*h - 50 = -5*l + 20, -5*h - 3*l = 62. Suppose -5*d - 80 = -d. Let t = h - d. Is t a multiple of 4?
False
Let q(y) = -y**2 + 14*y - 10. Suppose -2*t = 2*t - 52. Suppose -27 = -5*s + t. Does 9 divide q(s)?
False
Let y = -5214 + 8939. Is 25 a factor of y?
True
Let h(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 + 3*u**3/2 + 18*u**2. Is h(0) a multiple of 9?
True
Let x(a) = 6*a**2 - 1. Suppose -5*y + 0*f - 4*f - 11 = 0, 2*f + 4 = -4*y. Let h be x(y). Suppose h*r - 4*v - 18 - 62 = 0, -r = -2*v - 10. Does 5 divide r?
True
Let t = 13 + -11. Suppose t*g - 6 = -0*g. Suppose -g*o - 78 = -3*r, -3*r + o = -61 - 7. Is 11 a factor of r?
False
Let f(o) = o**2 + 14*o + 20. Let y be f(-13). Suppose 0 = y*t - 10*t + 777. Is 37 a factor of t?
True
Does 17 divide 6*((-176)/6 + -3)*-3?
False
Is (-522)/(-4)*104/39 a multiple of 20?
False
Let q(s) = -2*s**3 + 3*s**2 - s - 4. Let h be q(-4). Suppose 4*g + 0*g = h. Let z = 86 - g. Is z a multiple of 14?
True
Let z = 1051 - 650. Does 27 divide z?
False
Let t be 24/4 + 3/1. Suppose 0 = 4*z - f - 1151, 0 = t*z - 4*z - 3*f - 1437. Suppose 4*u + 4*m = 240, -2*u = -7*u - 2*m + z. Is u a multiple of 14?
True
Suppose -3*v + a = -3*a + 2, -4*v = -a - 6. Suppose 78 = 2*i + 3*j, -v*i = -3*i - 3*