)). Suppose -4*j = -3*h - 250, -2*h - g*h = 2*j - 112. Is j a multiple of 11?
False
Let o(r) be the first derivative of -r**4/4 - 4*r**3/3 - r**2 - 3*r + 1. Let u = -202 + 197. Is o(u) a multiple of 16?
True
Let z = -4 + 7. Let i be (-2 + z - 0) + 79. Suppose 0 = 32*s - 28*s - i. Does 10 divide s?
True
Let q be 4/10 + 56/10. Let m be 3/q + (-690)/(-12). Let h = -26 + m. Does 18 divide h?
False
Let a = -42 + 46. Suppose d - q = 15, -3*d + a*q + 0*q = -48. Is d a multiple of 6?
True
Suppose -2*k - 88 = -4*k - s, -5*s - 119 = -3*k. Let y = 158 - k. Is y a multiple of 16?
False
Let p = -618 - -4494. Is 34 a factor of p?
True
Suppose 16*y + 16*y - 33824 = 0. Is y a multiple of 7?
True
Let l = -663 + 696. Is 11 a factor of l?
True
Let j be (32/(-12) - -2)*-3. Suppose o - 4*w = -2*o - j, 0 = -4*w + 20. Let s(t) = 3*t + 4. Is 8 a factor of s(o)?
False
Let s be -631 + ((-1)/((-1)/1))/1. Let q = -448 - s. Is q a multiple of 31?
False
Let a = 2875 + -80. Does 15 divide a?
False
Let i be (-34)/(-10) - (-12)/(-30). Suppose 23 = q - 3*u, -q - i*u = 1 - 0. Does 2 divide q?
False
Let q(t) = 7*t + 30 - t + 4*t - 7*t. Is 4 a factor of q(-8)?
False
Let i(d) = 20*d + 147 - 5*d - d**2 - 145. Let m = 11 + -2. Does 14 divide i(m)?
True
Let b(z) = -30*z - 6. Let i be b(5). Let r = -10 - i. Is 18 a factor of r?
False
Let x = 145 + -94. Does 17 divide 5104/30 + x/(-45) + 1?
True
Let j(h) = -h**3 - 7*h**2 - 3*h + 20. Is 4 a factor of j(-7)?
False
Suppose f - 42 = -0*f. Suppose -5 = g - 3, 2*y - f = 3*g. Does 4 divide y?
False
Let l = 172 - 72. Suppose -l = -n - 6*g + 3*g, -4*n = 2*g - 360. Does 8 divide n?
True
Suppose -5*q + 3*q = 2*q. Suppose 5*b + o - 151 = 202, q = -5*b - 4*o + 362. Does 5 divide b?
True
Suppose -p = -0*p - 5. Suppose 4*s = 3*s + 2*l + 18, -l = -p*s + 63. Is s a multiple of 6?
True
Let u = 660 - 320. Let r = -193 + u. Is 2709/r + 3/(-7) a multiple of 6?
True
Let d be (-3 + 21/6)*-2. Is (d*2/6)/(8/(-3480)) a multiple of 37?
False
Let h(p) = 18*p**2 - p - 2. Let q be h(2). Suppose -c = -2*x - 21, -5*x + q = 5*c + 8. Is c a multiple of 3?
True
Let l = -3102 + 7114. Does 14 divide l/51 + 2/(-3)?
False
Let p be (-96)/(-72) + (728/(-6))/1. Is ((-20)/2)/(4 - p/(-28)) a multiple of 2?
False
Suppose 0 = -15*o - 49*o + 214656. Is 106 a factor of o?
False
Suppose -863 = -10*k + 8*k + 5*p, 2*k - 4*p = 868. Does 6 divide k?
True
Let w(j) = -j**2 + 8*j - 7. Let k be w(7). Suppose 7 - 23 = 2*n - 4*h, k = -2*h + 4. Let f = n - -26. Does 11 divide f?
True
Let k be ((-1482)/15)/(24/(-60)). Suppose 5*m + 497 = g + g, m = g - k. Is g a multiple of 16?
False
Let h = -1271 + 2910. Is 15 a factor of h?
False
Is 5 a factor of -4 + (-1515)/(-12) - (-2)/(-8)?
False
Suppose -95 = -x + 9*b - 6*b, -3*b + 208 = 2*x. Does 8 divide x?
False
Suppose -4*d - 48 = -5*z - 234, d - 41 = 4*z. Does 6 divide d?
False
Let s(q) = q**3 - 5*q**2 - q + 3. Let a(n) = 4*n**3 - 19*n**2 - 5*n + 11. Let j(t) = 2*a(t) - 9*s(t). Suppose 3*h - 4*h = -5. Does 20 divide j(h)?
True
Suppose -t + 1818 = 4*q - 1652, 0 = 3*q - 4*t - 2612. Is 117 a factor of q?
False
Let z(b) = 46*b**2. Suppose 5*l = 5*a - 60, 5*a + 0*a = -4*l - 66. Let f = l + 13. Is z(f) a multiple of 23?
True
Let j = 5 - -1. Let w(i) = 2*i**3 - 7*i**2 - 5*i - 1. Is 11 a factor of w(j)?
False
Let h(m) = -m**3 + 7*m**2 - 11*m + 9. Let n = 74 + -70. Does 4 divide h(n)?
False
Suppose -b - 31 = -27. Let c(a) = -a**3 - 4*a**2 - 6*a + 2. Is c(b) a multiple of 13?
True
Let c = 164 - 26. Suppose -22 = -p - p - 4*h, 0 = -2*p - 5*h + 26. Suppose 8*o + 2*s = p*o + c, -44 = -2*o + 2*s. Is o a multiple of 11?
False
Let y(l) = -4 + 3*l**3 - 3*l**2 - 2*l**3 + 8. Let v be y(3). Suppose -v*a = -a - 192. Does 18 divide a?
False
Let x(v) = -2*v**3 - 35*v**2 + 21*v + 50. Does 10 divide x(-20)?
True
Does 15 divide 5/((-35)/(-2628)) - 438/1022?
True
Does 31 divide ((-5)/10)/(2/2892*-3)?
False
Suppose 22*w - 4492 = 6068. Is 96 a factor of w?
True
Suppose 3*n = -o + 14, 3*n + 2*n + o = 22. Suppose 3*k = -5*f + 766, n*k + f + 0*f - 1044 = 0. Suppose -k = -5*v - 2*z, v + z + 18 = 68. Is 9 a factor of v?
True
Let n(k) = 5*k**3 + 37*k**2 + 12*k - 80. Let p(h) = -h**3 - 9*h**2 - 3*h + 20. Let q(c) = 2*n(c) + 9*p(c). Is q(9) a multiple of 28?
False
Let z = -123 - -123. Suppose 2*h - 3*t - 234 = z, 7*h + 5*t - 424 = 3*h. Does 12 divide h?
False
Suppose 46*w - 19371 = 7125. Is 24 a factor of w?
True
Let o be (5/(-2))/(-5)*0. Suppose o = 4*j + 17 - 161. Suppose 3*n + 3 = -5*g + 9, -5*g - j = -3*n. Does 4 divide n?
False
Let g be 81*(-2)/(-4)*-2 + -1. Let y = g - -117. Does 7 divide y?
True
Let v be (-1034)/(-88) + 0 + (-2)/(-8). Let a(f) = -3*f + 5. Let o be a(4). Does 21 divide (-292)/o + v/42?
True
Suppose 4*g - 3*s = 35, -g + 4 = -s - 5. Does 7 divide g/(-4) - (-9*2 - -2)?
True
Let k(n) = -2*n**2 - 11*n - 13. Let x be k(-5). Let c(l) = -31*l - 6. Is c(x) a multiple of 11?
True
Let o(v) be the third derivative of -v**6/120 - v**5/30 - 2*v**3/3 + 10*v**2. Let j be o(-3). Suppose -3*l = -y - 38, j*l - 4*y = 9 + 59. Does 6 divide l?
True
Let l be (3/(-12))/((-1)/12). Let z be -10 - 1*(-4 - -2). Let n = l - z. Does 3 divide n?
False
Suppose -p - 16 + 60 = -4*i, 0 = 5*i - 5. Is 7 a factor of p?
False
Let m = -9 - -15. Suppose i = -4*n + 1277, -7*i = -2*i + 15. Is 8 a factor of m/(-5)*n/(-48)?
True
Let x(i) = 12*i**2 - i + 4. Let r be x(5). Suppose -4*m + 5*b = -r, -5*m = -0*m + b - 410. Does 28 divide m?
False
Let h be ((-3)/(-3) - 1)*-1. Let a(n) = h - 16 + 7*n - 13*n - 8*n. Is a(-5) a multiple of 18?
True
Let z(n) be the third derivative of -n**6/120 - n**5/60 - n**4/12 + 7*n**3 - 2*n**2. Suppose -3 = -11*k - 3. Does 14 divide z(k)?
True
Suppose 20 = o - b - 0*b, b = -4. Let r = o + -15. Does 4 divide (r + -17)/(-2 + 0)?
True
Let h be (19 + -5 + -5)*(-2)/6. Let f(m) = 18*m**2 + m + 9. Is 8 a factor of f(h)?
True
Let m(v) = -v**3 - 9*v**2 - 27*v + 14. Let h be m(-13). Suppose -3*l + 4*z = -h, -3*l - z + 508 = -533. Does 56 divide l?
False
Let m(c) be the third derivative of -c**5/60 + 17*c**3/3 - 3*c**2. Let g be m(0). Suppose -1 + g = w. Does 18 divide w?
False
Is 29 a factor of ((-4)/(-12))/((-2)/(-768))?
False
Let z be (20/8 - 1)*-10. Let d = 37 + z. Does 22 divide d?
True
Let z(d) = -d**3 - 18*d**2 + 10*d - 38. Does 19 divide z(-19)?
True
Suppose 2*z - 2*p - 2186 = 0, -2*p = -16*z + 13*z + 3274. Is 66 a factor of z?
False
Suppose 0 = -d + 2*f + 187, -3*d + 659 = -4*f + 94. Suppose -55 = -2*i - 4*y + d, 0 = -i + y + 117. Does 17 divide i?
True
Let g = -1074 + 1793. Is g a multiple of 7?
False
Let c(z) be the third derivative of z**5/20 - 5*z**4/12 - 7*z**3/6 + 39*z**2. Is 32 a factor of c(11)?
False
Let u(t) = -t + 8. Let g be u(4). Suppose -2 = -f, -f - 4*f + 22 = g*b. Let y = 11 - b. Is 6 a factor of y?
False
Let r be ((-8)/(-4) - -3) + 0. Let m = -3 + r. Suppose -b = m*b - 195. Is b a multiple of 13?
True
Suppose -18 = -4*b - 2*b. Suppose -m + 124 = -b*v + 35, 2*v - 74 = -m. Is m a multiple of 20?
True
Suppose -w + 5*j = 17, -3*w - 19*j - 89 = -15*j. Let o be ((-18)/(-4))/(3/8). Is 6 a factor of (w/o)/((-3)/8)?
True
Let d(j) be the first derivative of j**5/60 + j**4/12 + 13*j**3/6 + 3*j**2 + 6. Let v(y) be the second derivative of d(y). Does 34 divide v(-10)?
False
Let o(g) = g**3 - 8*g**2 + 10*g - 7. Let t(a) = -a**2 + a + 1. Let u(r) = o(r) + 2*t(r). Let v(x) = -x**2 - 11*x - 15. Let b be v(-8). Is u(b) a multiple of 11?
True
Let d(k) = k**2 - 12*k - 13. Let m be d(8). Let y = m - -111. Does 11 divide y?
True
Let l = 63 + -57. Suppose 0 = 3*x - x + l, -3*c = -5*x - 117. Is 34 a factor of c?
True
Let z(x) = 3*x**2 - 4*x - 5. Let u(s) = 7*s**2 - 9*s - 11. Let o(a) = 6*u(a) - 13*z(a). Is 29 a factor of o(6)?
False
Let t(o) be the third derivative of o**6/120 + o**5/6 + o**4/12 + o**3/3 - 2*o**2. Let n be t(-9). Does 13 divide 2*(-2 - n/(-2))?
False
Suppose p = -p + 3*m + 303, 0 = 2*p - 5*m - 293. Let x = p + -111. Is x a multiple of 4?
True
Is 17 a factor of ((-24)/18)/2 - 3641/(-3)?
False
Suppose q = -4*t + 1180, 3*t + 298 = 4*t + q. Is 49 a factor of t?
True
Let p = 27 + -34. Let h(i) = -2*i**2 - 29*i - 7. Is 14 a factor of h(p)?
True
Suppose 4*c - 13 - 751 = 0. Is 22 a factor of c?
False
Suppose 6*w + 227 = -205. Is (-63)/2*w/42 a multiple of 27?
True
Let u(v) = 