(9). Let a = -33 - b. Suppose a*t + f = 232, f - 6*f + 56 = t. Does 20 divide t?
False
Let j(q) = q**3 + 15*q**2 + 15*q + 2. Let v be j(-14). Let c = -12 - v. Suppose i + c*i + 3*l - 24 = 0, 4*i = -2*l + 56. Does 6 divide i?
True
Let t be 28 - (12 + -11 - (-6)/(-2)). Suppose -t*s - 165 = -31*s. Is 11 a factor of s?
True
Let v(p) = 95*p**2 - 1. Let k be 1/3 + (-4)/3. Let a be v(k). Suppose -a = -3*l + 266. Does 25 divide l?
False
Suppose 0*r + 1179 = 5*r + o, 4*r + 2*o = 948. Does 22 divide r?
False
Let p = 25 - 13. Suppose 14*f - 19*f = -20. Suppose -m = -f - p. Is 8 a factor of m?
True
Suppose 43 = p - 8. Let u(l) = -15*l**2 + 17*l + 17. Let f(a) = 2*a**2 - 2*a - 2. Let k(v) = p*f(v) + 6*u(v). Does 24 divide k(2)?
True
Suppose 0 = -w - 0*w + 4*o, -o + 2 = 0. Let j = -4 + w. Suppose b - j*c = 5*b - 76, -63 = -3*b - c. Is 10 a factor of b?
False
Suppose -3*y - 3 = 0, -3*t - 5*y + 36 + 13 = 0. Let h be (24/10)/(1/25). Let w = h + t. Does 13 divide w?
True
Suppose 6*j - 2*j = 228. Let q = j - -129. Is 18 a factor of (q/9)/((-4)/(-6))?
False
Let z be 3/(3/9*-1). Let j = -10 - z. Does 9 divide 0/(-2) + (j - -12)?
False
Let x = 3725 + -2021. Is x a multiple of 17?
False
Suppose 4*o - 3852 = -5*t, -6*t - 16 = -10*t. Is o a multiple of 41?
False
Is -1 + 353 + 0/4 a multiple of 16?
True
Let u be 34/6 + (-8)/12. Let h(x) = x + 5 - u. Is h(6) a multiple of 3?
True
Let b = -940 - -1292. Is b a multiple of 22?
True
Let r(h) = 4*h + 467. Does 20 divide r(0)?
False
Let p(x) = -x + 45. Let h(d) = d - 8. Let l be h(9). Let n be (-2)/(l/1) + 2. Does 15 divide p(n)?
True
Suppose 2*k + 4*h - 251 = 29, -2*k + 2*h + 292 = 0. Is 16 a factor of k?
True
Is ((-12)/9)/(2315/465 - 5) even?
True
Suppose -2*n - 150 = -3*n. Is 10 a factor of n?
True
Let r be (0 - 4)/((-6)/3). Suppose r*w = -3*z - 5, -w - 3*w = z - 5. Let t(y) = -3*y**3 - 2*y**2 + 5*y + 4. Is t(z) a multiple of 19?
False
Let g(s) be the third derivative of s**6/120 - s**5/20 - 7*s**4/24 - s**3 + 4*s**2. Suppose 37 - 7 = 5*i. Is 20 a factor of g(i)?
True
Suppose g - 2 = 2, -3*r + 1261 = 4*g. Is r a multiple of 83?
True
Let c = 51 - 31. Suppose -24*b + 84 = -c*b. Is b a multiple of 21?
True
Let j(v) = -15*v**3 + v**2 + 5*v + 5. Let q be j(-2). Suppose -5*i - q + 654 = 0. Does 22 divide i?
False
Is 10 a factor of (-3)/(-6) + (-1459)/(-2)?
True
Let r(p) = 25*p**2 + p. Suppose 3*s + 3 - 9 = 0. Let c be s*(0 - 1/2). Does 8 divide r(c)?
True
Let b = -127 + 129. Suppose b*w + 93 = 3*t - 2*w, 120 = 5*t + 5*w. Is 7 a factor of t?
False
Suppose 6*f = f. Suppose f = -i - 2*m - 10, -8*m - 25 = -2*i - 3*m. Suppose 3*u = -i*u + 111. Is u a multiple of 19?
False
Let a be (-372)/(-27) - (-4)/18. Let g be 758/7 + (-4)/a. Suppose 2*j - g = 4*h, -j = 3*j + 4*h - 156. Is j a multiple of 11?
True
Let u be 936/30 - 2/10. Let q(g) = -36 + u - 3*g - g. Is 15 a factor of q(-10)?
False
Let n = 12 + 0. Let m be (-2)/(-7) + n/7. Suppose 0 = 2*z - 2, -2*w + 3*z = m*w - 57. Is 5 a factor of w?
True
Let b = 11 + 10. Let c = b + -21. Let y(p) = p**2 + 3. Does 3 divide y(c)?
True
Let a(g) = 2*g - 3. Suppose 49 = c + u, 3*c - 2*u - 159 = u. Suppose l = -3*l - x + 33, 0 = 5*l - 2*x - c. Does 15 divide a(l)?
True
Let a(g) = -13*g**2 - g + 3. Let p be a(4). Let x = -110 - p. Does 11 divide x?
True
Suppose 2*s = 5*s + 33. Let o be 2/((-12)/18 - 176/(-246)). Let v = s + o. Does 10 divide v?
True
Suppose -27 = -5*n + 43. Let j(o) be the second derivative of o**4/12 - 5*o**3/3 - 4*o**2 + o. Does 16 divide j(n)?
True
Let g be (-1 - (-7 + -3))/(-1). Let q = -7 - g. Suppose -q*u - 12 = -44. Does 6 divide u?
False
Let t(q) = 25*q - 12. Let o(u) = -2*u**2 - 47*u + 28. Let v be o(-24). Is 8 a factor of t(v)?
True
Does 18 divide (-36)/(-1)*(-6 - -12)?
True
Let i be (-150)/(-21) + -4 + 135/35. Let t(b) be the first derivative of b**3/3 - b**2/2 - 5*b + 1. Is 16 a factor of t(i)?
False
Let r(k) = k + 15. Let q(h) = -h**2 + 10*h + 15. Let y be q(11). Is 6 a factor of r(y)?
False
Suppose 12 = -7*c - 9. Let b be -3 - 1*(-1 - c). Is (6/(-10))/(1/b) even?
False
Suppose -38*g + 32*g = -60. Suppose 7*x + g*x = 2023. Does 14 divide x?
False
Suppose 4*l - 2700 = 3*o + 606, -4*o - 833 = -l. Is 12 a factor of l?
False
Let h = -343 + 361. Is 3 a factor of h?
True
Let q(o) = -5*o + 2 - 3 - 4*o + o**2 - 2*o**2. Let z be q(-7). Let u = 29 - z. Does 7 divide u?
False
Let h(n) = 31*n - 307. Does 21 divide h(18)?
False
Let z be 3/(-1)*2/3. Suppose -48*w + 47*w + 28 = 0. Is 1*z/(-8)*w a multiple of 7?
True
Let f(j) = 130*j**3 - j**2 + 2*j - 1. Let k be f(1). Let p = k + -30. Let a = -46 + p. Is 9 a factor of a?
True
Suppose a - 2*p = -4*a + 15, 5*a = -2*p + 35. Suppose 30 = 2*k - a*f - 380, 967 = 5*k + 2*f. Is 15 a factor of k?
True
Let a be 4/(4/610*5). Let y = 66 - a. Let f = -37 - y. Does 10 divide f?
False
Suppose -2*z + 5*z = s + 546, 3*s = 0. Is 4 a factor of z?
False
Let p = 3 - 1. Suppose -3*b = -p*o - 4*b + 26, 5*o = -b + 62. Does 12 divide o?
True
Suppose -5*z + 10*z - 105 = 0. Suppose 0 = 22*o - z*o - 124. Is o a multiple of 37?
False
Let t = 135 + -131. Does 16 divide (6 + -1 - t) + 414/2?
True
Let w = 77 + 24. Suppose 5*t + 315 = -5*m, m - 4*m + t - 181 = 0. Let j = m + w. Is 8 a factor of j?
True
Is -297*(-7)/(-2 + 9) a multiple of 11?
True
Let w = -2064 - -5350. Does 28 divide w?
False
Suppose -h = -2*l + 4*l + 6, -2*h - 5*l = 15. Does 21 divide 730/10*(1 + h)?
False
Suppose -5*f - 2*n + 28 = -6*n, -3*n + 14 = 5*f. Suppose 6*u + f = -8. Is 57 - (-4 + 2)/u a multiple of 18?
False
Suppose 12*z - 2486 - 1366 = 0. Let p = 559 - z. Does 13 divide p?
False
Let i(n) = n**3 + 13*n**2 - 29*n + 32. Is 11 a factor of i(-14)?
True
Let q(v) = 89*v - 7. Let p(a) = -44*a + 3. Let x(o) = 7*p(o) + 3*q(o). Let n be x(1). Let w = n - -73. Does 8 divide w?
True
Let w(p) = p**3 - 37*p**2 + 29*p + 300. Does 8 divide w(36)?
True
Let u(q) = -4*q**3 - q**2 + 3*q - 2. Let m be u(-4). Suppose -m = -5*f - 1. Does 5 divide f?
True
Let a(d) = -d**3 - 3*d**2 + 2*d - 2. Let j be a(-4). Let z = -4 + j. Does 15 divide (-606)/(-14) - z/7?
False
Suppose -3*l + 8*l = 0. Suppose -2*h + 12 = -l*h. Suppose 0 = 5*z - 19 - h. Does 5 divide z?
True
Suppose d - 70 = -4*d. Suppose d*p - 18*p + 396 = 0. Is p a multiple of 9?
True
Suppose 0 = 4*h - 7*r + 4*r - 3129, -4*h + 3123 = -r. Is 40 a factor of h?
False
Let r be 204*-4*(-2)/12. Let h = r + 168. Suppose 12*s + h = 16*s. Does 13 divide s?
False
Let a be (-2 + 0)*(-30)/4. Let d(f) = f**3 + 13*f**2 + 12*f + 6. Let c be d(-12). Is 204/10 - c/a a multiple of 15?
False
Let j(w) be the third derivative of -w**6/120 + w**5/60 - w**4/24 + 6*w**3 + 7*w**2. Suppose x + 0*x = 0. Is j(x) a multiple of 9?
True
Let a be 1*-3 - (-264)/3. Let p = a + -28. Is p a multiple of 19?
True
Suppose 3*z = -106 - 131. Let t = z + 109. Does 7 divide t?
False
Suppose 4 + 68 = 3*f. Let t = -24 + f. Suppose t = -u - z + 8, -16 = -2*u + 2*z + z. Is 5 a factor of u?
False
Let r(t) = 3*t - 17. Let l be r(7). Suppose 17 = -l*x + 241. Is 8 a factor of x?
True
Let i be 1*1/(-2)*1*6. Let r(v) = -7*v**3 - 4*v**2 + 5. Does 38 divide r(i)?
False
Let o(b) = b**2 + 5*b - 2. Is 6 a factor of o(13)?
False
Suppose -32 = -5*w + 3*x, 3*w - 28 = -w + 3*x. Suppose -2*o + 858 = w*o. Suppose 2*y = o - 29. Does 30 divide y?
False
Let a(z) = -z + 57. Suppose 4*v = -5*r - 0*v + 4, r = -4*v + 4. Is a(r) a multiple of 12?
False
Let b(t) = 8*t + 5 - 39 + 12*t. Is b(5) a multiple of 33?
True
Suppose g = -5*r - 9, 5*g - 60 = -5*r + r. Suppose -f + 12 + g = 0. Is 7 a factor of f?
True
Suppose -5*m + 1521 = -v, -2*m - 4*v = 3*m - 1541. Is m a multiple of 32?
False
Let b be 60/(7 + -3) - -1. Suppose b - 116 = -5*s. Does 5 divide s?
True
Suppose 3*k + d - 5*d - 745 = 0, -k + 246 = d. Does 19 divide k?
True
Suppose -2*t = 2*k - 116, -52 = -28*k + 27*k + 2*t. Is k a multiple of 4?
True
Let i be (3 - 3)*(-2)/4. Suppose -3*q + 4*r + 45 = i, -q - 3*r = -8*r - 15. Does 15 divide q?
True
Let j(h) = -2*h - h**3 - 3 + 0 - 2*h. Let d = 1 - 4. Does 18 divide j(d)?
True
Let s(g) = -g**3 - 7*g**2 + 7*g + 11. Suppose 24 + 24 = -3*m. Let p = 8 + m. Is s(p) a multiple of 5?
False
Suppose -11*z + 6*z + 10 = 0. Suppose -3*m = -5*c - 91 + 940, -z*c = -4*m - 348. Is c a multiple of 24?
True
Suppose -2*v = -3*v + 4*p - 13, 0 = -2*