 9. Let o be (-2 + 0)*2*-2. Does 12 divide h(o)?
False
Suppose 5*k - 236 = 2*x, -4*k = -7*k + 3*x + 147. Is k a multiple of 8?
False
Let l(b) = -b**3 - 9*b**2 + 3*b + 2. Is l(-10) a multiple of 9?
True
Let c be (-2)/4*-2*8. Let q(r) = 3*r**2 - c*r**3 - 4*r**2 - 8*r**3. Does 12 divide q(-1)?
False
Let l be (1/3)/(1/3). Does 12 divide 4/(-4)*l + 35?
False
Let g = -32 - -56. Is 24 a factor of g?
True
Suppose -2*d + 43 = -23. Is d a multiple of 33?
True
Let g(q) = q**3 - 10*q**2 + 11*q - 12. Let v be g(9). Let r = v - 4. Let u(w) = 3*w**3 - 3*w**2 + 3*w - 3. Does 15 divide u(r)?
True
Suppose 0 = -4*y + 3*f - 2*f - 15, 15 = -3*y + 2*f. Let b = y + 1. Let x = b + 10. Is 3 a factor of x?
False
Suppose -28*a + 222 = -27*a. Does 31 divide a?
False
Suppose 15 = 3*h, h + 3*h = 4*a - 240. Is a a multiple of 13?
True
Suppose -3*w = y + 40 - 4, -5*w + 4*y - 60 = 0. Let b = 24 + w. Is 5 a factor of b?
False
Let d(j) = 49*j**2 - 2*j - 2. Does 8 divide d(-1)?
False
Suppose 0*c + 95 = 3*o + 5*c, 5*c = -o + 45. Let i = -35 - -74. Let a = i - o. Is a a multiple of 7?
True
Let v be ((-222)/(1 - -2))/(-2). Suppose 5*o = -v + 132. Is o a multiple of 19?
True
Let w(i) be the third derivative of -i**4/12 - 2*i**3 - i**2. Is w(-9) a multiple of 3?
True
Let w = 3 + -3. Let l be (0*(w - -1))/1. Let z(s) = s**3 - s + 9. Is z(l) a multiple of 4?
False
Let b(d) = 0*d - 1 + d + d + 3*d. Is b(4) a multiple of 11?
False
Suppose 3*z - 4*y = 489, 3*z - 2*y = -0*z + 483. Let j = -28 + z. Suppose 120 = 5*k + o, 0 = 5*k - o - j + 21. Is k a multiple of 12?
False
Suppose 2*p = 3*p - 49. Suppose 0 = 4*v, -y - 2*v = -0*y - p. Suppose 4*l - y = 3*d + 54, d + 5 = 0. Is l a multiple of 19?
False
Let a(h) = -7*h + 3. Is 8 a factor of a(-11)?
True
Suppose 4*u = 3*h - 14, -h + 4*h + 4 = -5*u. Is (-4)/(-1 - (u - -2)) a multiple of 4?
True
Let n = 6 + -7. Let v = n - 0. Is -2 + 4 - (v + -2) a multiple of 5?
True
Suppose -80 = -4*m + 3*m + 2*j, 3*j + 225 = 3*m. Suppose m = -2*r + 4*r. Is 17 a factor of r?
False
Is 6 a factor of (-20)/80 + 546/8?
False
Let p = 1 + 0. Suppose r + 3*v = -p - 6, 3*v = 5*r - 37. Suppose -2*g + 64 + 4 = 4*a, -3*a + 135 = r*g. Is 12 a factor of g?
True
Does 15 divide (312/2)/2*(0 - -1)?
False
Suppose 5*o = 4*o + 151. Suppose -5*a - 4*b + 119 = 0, -10*b = -5*a - 6*b + o. Is a a multiple of 9?
True
Let f be -1 + -1 + 4 + -2. Let b(x) = x**3 + x + 40. Is b(f) a multiple of 20?
True
Suppose d - 4*f = 5*d + 8, 0 = 5*d + 3*f + 14. Let o be d*(-1 + 2 + -2). Suppose x - 2*w = 24, 0 = -o*x + 3*w + 1 + 105. Does 14 divide x?
True
Let l be (4/(-12))/((-2)/12). Suppose -5*y = -l*y - 54. Is 8 a factor of (y - -1)*(-3 - -4)?
False
Let d = 21 + 69. Does 15 divide d?
True
Does 12 divide ((-54)/(-1))/((-1)/(24/(-16)))?
False
Suppose -96 = -4*c - 6*x + x, -c - 4*x = -13. Is 6 a factor of c?
False
Does 33 divide (-10353)/(-58) + 3*1/(-2)?
False
Let r(n) = n**2 + 3*n + 1. Let g be r(-5). Suppose -g = -4*h + 1. Is 2 a factor of h?
False
Let z = -11 - -9. Is (-6)/(z - (-4)/4) a multiple of 6?
True
Let u = -11 - -8. Let v be 0 - -1 - (u - 88). Let l = 140 - v. Is l a multiple of 14?
False
Suppose 16 = -2*b - 4*l, 5*b + l - 5*l = 30. Suppose -q - b = 0, -i + 4*i - 2*q = 46. Does 14 divide i?
True
Suppose 4*m - m = 15. Suppose m*b - 2*w + 51 = 173, -2*b + 2*w = -50. Is b a multiple of 11?
False
Suppose -4*i + 0*i = 4*w - 36, -3*i = -5*w + 13. Suppose f + 4*y - 25 = 0, -w*y - 3 = 7. Does 11 divide f?
True
Suppose -q = -2*a - 14 - 51, 2*a + 50 = 4*q. Let x = -18 - a. Does 16 divide x?
False
Suppose 0*r - 2*k = 4*r + 162, r + 45 = 4*k. Let m(q) = -q**3 + 11*q**2 - 17*q + 9. Let w be m(8). Let p = w + r. Is p a multiple of 12?
True
Let t(m) = -m**2 + 12*m - 3. Let w be t(6). Let n = w - 2. Does 17 divide n?
False
Let a(o) be the second derivative of -o**3/2 - o. Is a(-2) even?
True
Suppose -4 = -f + n, 0*f - 4*n = -f + 16. Suppose f = -c - 402 + 49. Is 13 a factor of (-10)/45 - c/9?
True
Let q = -847 + 463. Let d be q/(-10) - 2/5. Let g = -14 + d. Is g a multiple of 12?
True
Let f(u) = -105*u. Let w be f(-4). Suppose -i + 2*b = 3*i - 314, -w = -5*i - 3*b. Suppose i + 35 = 4*m. Is m a multiple of 18?
False
Let h(l) = -l**2 + 8*l - 2. Is 14 a factor of h(4)?
True
Let f = 15 - 22. Let q(a) = -8*a + 2 + 2 - a**2 - 3. Is 4 a factor of q(f)?
True
Suppose 277 = -g + 3*g + j, -3*g + j = -423. Does 35 divide g?
True
Let i = 23 + -21. Suppose -2*u = u - 3*s - 90, i*s + 144 = 5*u. Is u a multiple of 12?
False
Let t(k) be the third derivative of k**4/6 - k**3 - 2*k**2. Let u be (1/(-1))/(4/(-20)). Is 8 a factor of t(u)?
False
Suppose -4*s = -3*l + 85, -s = 2*s + 2*l + 51. Let j = 34 + s. Is (-234)/j*(-20)/6 a multiple of 18?
False
Let a(d) = d**3 - 12*d**2 + d - 2. Suppose 3*s - 30 = 6. Is 10 a factor of a(s)?
True
Let u(k) = -23*k + 66. Let d(q) = -15*q + 44. Let w(s) = -8*d(s) + 5*u(s). Is 12 a factor of w(16)?
False
Let z = -96 + 58. Let b = z + 80. Is b a multiple of 16?
False
Suppose 10*y - 150 = 7*y. Is y a multiple of 10?
True
Suppose 0 = 4*a + 3*v - 17, 2*a + 2*v - 16 = -3*a. Suppose -5*r = -2*r. Suppose -3*t = a*q - 90, r*t - 5*t = -q - 150. Is 12 a factor of t?
False
Let a = -9 - -23. Does 2 divide 8/(-28) + 88/a?
True
Suppose 5*b - 2*m = -m + 218, 3*b + 4*m - 140 = 0. Is b a multiple of 22?
True
Does 10 divide (4/12)/(3/144)?
False
Is 6/21 + 780/14 a multiple of 14?
True
Suppose -3*i = 28 - 73. Let f = 61 + -33. Let q = f - i. Is q a multiple of 13?
True
Let y = -6 + 9. Does 12 divide (y + 2)*(-72)/(-5)?
True
Let a(h) = 56*h - 4. Is 35 a factor of a(5)?
False
Suppose 4*k + 21 - 5 = 0, -4*k = -i + 187. Does 32 divide i?
False
Let u = -70 + 90. Let z = 347 - 217. Suppose z - u = 5*a. Is a a multiple of 11?
True
Suppose r - 87 = -2*r. Let h = 65 - r. Is h a multiple of 18?
True
Suppose -2*g + 5*y - 2*y = -27, 48 = 3*g + 3*y. Is 15 a factor of g?
True
Let j be ((-33)/(-9) - 3)*-3. Let n be (j - -3)/1 + 4. Does 4 divide 1/n - (-156)/20?
True
Let b(i) = 3*i + 5. Let l(j) = -1. Let c(u) = -b(u) + 2*l(u). Let f be c(-5). Suppose 2*p - f = p. Does 3 divide p?
False
Let p = 99 - 71. Does 9 divide p?
False
Let l = -4 - -6. Let o be (0 + -2 - -2) + l. Suppose -141 = -3*c + o*h, 2*c - 102 = -h + 5*h. Is 16 a factor of c?
False
Let z(f) = f**3 + f - 1. Let i(r) = -50*r**3 + r**2 - 7*r + 6. Let g(k) = -i(k) - 6*z(k). Does 16 divide g(1)?
False
Let g = 88 + -40. Suppose 0*u + 4*u = g. Suppose 4*z = -3*l, 2*z + 5*l + 2 = -u. Is 3 a factor of z?
True
Is 7 a factor of 63*((-10)/(-3) + -3)?
True
Let z = -32 + -10. Is (-108)/z*(-28)/(-3) a multiple of 10?
False
Suppose o + 1 = 3. Suppose o*w + 2 = -0. Is (-1)/w*-1 + 17 a multiple of 15?
False
Let a(z) = -6*z**2 + 7*z + 11. Let c be a(-5). Let u = c + 244. Does 14 divide u?
True
Suppose r - 1 = 2*r. Is 12 a factor of r + ((-52)/(-2))/2?
True
Let o be -2 + 5 + 1 + 0. Let u = 7 - o. Is 3 a factor of u?
True
Suppose -2*a + 8*a - 210 = 0. Does 35 divide a?
True
Let f(t) = t**3 + 5*t**2 + 4. Let j be f(-5). Suppose j*g - 14 = 86. Is g a multiple of 9?
False
Let u be 3 + 0 + (-6)/(-3). Suppose -u*c - x = -178 - 134, x = -c + 64. Is 31 a factor of c?
True
Let p be (35/(-10))/(1/(-2)). Let y = 6 + -2. Let t = p - y. Is t a multiple of 2?
False
Let n = -38 + 48. Does 5 divide n?
True
Suppose 3*v = 2*v + 3. Let b(r) = 3 - r**3 + 3 + 5*r - 1 - v - 2*r**2. Is 7 a factor of b(-4)?
True
Let i(x) = -x**3 + 5*x**2 + 8*x - 5. Is i(-5) a multiple of 41?
True
Suppose b - 45 = f, -2*f + f = 4*b + 40. Suppose 11 = 3*d - 181. Let p = d + f. Is p a multiple of 10?
True
Let f(m) = m**2 - m. Let y(s) = -s**3 - 16*s**2 - 4*s - 4. Let i(d) = -5*f(d) - y(d). Let j be i(-6). Suppose t = 6*t - j. Does 13 divide t?
True
Let z = 134 - 191. Let w = z - -114. Is 20 a factor of w?
False
Suppose 5*k + 87 = 502. Does 45 divide k?
False
Suppose -4*y + 9*y = 270. Suppose 4*f + 0*c - 152 = -4*c, y = f - 3*c. Does 21 divide f?
True
Let c(i) = 5*i**3 - 4*i + i + 2*i**2 - 2*i**3. Suppose 5*y = -4*k + 23, -3*y = 2*y - 15. Is c(k) a multiple of 12?
False
Let v = -5 + 8. Suppose -v*m + 5 = -1. Suppose 40 = m*n + r - 3*r, n - 3*r = 26. Does 8 divide n?
False
Let q = -42 - -57. Is q a multiple of 3?
True
Let a(f) = 3*f + 3. Let x be a(-6). Let u(q) = -q**3 + 20*q**2 + 18*q + 8. Let m be u(21). Let y = x - m. I