 11 - x. Does 2 divide (-14)/(-4) + 3/m?
True
Suppose 1 = -3*n - 5*p + 3, 0 = 3*n + p - 10. Suppose -240 = -h - n*h. Does 14 divide h?
False
Let q(v) = 7 - 5*v - 3 + 10*v - 4*v**2 + v**3. Does 10 divide q(4)?
False
Suppose 0*i - 16 = -2*i + 3*c, c = 5*i - 27. Suppose 0 = i*k - 60 + 15. Is k a multiple of 6?
False
Suppose 2*q + 4*r = 2*r + 34, -q + 17 = -5*r. Is 17 a factor of q?
True
Suppose 5 = 3*a - 1. Let c be 16/(-6)*(a - -16). Is c*((-3)/2)/3 a multiple of 12?
True
Let i(c) = c + 7. Let p be i(-4). Suppose 2*t = 7 - p. Suppose 0 = t*m - 3 - 19. Is m a multiple of 11?
True
Let s = 30 + -16. Let n = s + 2. Is n a multiple of 16?
True
Suppose 2*v = 3*r - 6, -r - 2*r - 3*v - 9 = 0. Suppose r = -q - 3*q + 24. Let i(b) = b**3 - 4*b**2 - 7*b - 6. Is 7 a factor of i(q)?
False
Let i be (-1)/(-4) - (-28)/16. Suppose 0 = -c + x + 9, 0*x - i*x + 54 = 4*c. Is (c/9)/((-2)/(-33)) a multiple of 11?
True
Let m = 24 - -6. Is 15 a factor of m?
True
Let l(v) = v**3 - 7*v**2 - 11*v - 4. Let m be l(8). Is (-8)/12*(1 + m) a multiple of 18?
True
Let p be (-81)/(-15) - 6/15. Suppose 3*y - s - 169 = -3*s, -s + 270 = p*y. Suppose -35 - y = -2*x. Is 22 a factor of x?
True
Let f = 103 - 55. Is f a multiple of 13?
False
Let j(d) = -d**2 + 30*d - 6. Does 14 divide j(22)?
False
Let g(i) = -i**2 + 24*i + 19. Does 22 divide g(9)?
True
Suppose -4*d + 216 = 2*b, 5*b + 91 = 3*d + 683. Is b a multiple of 15?
False
Suppose -1 - 5 = -2*w. Is 23 a factor of (-16)/24 + 140/w?
True
Let d = -134 - -515. Does 54 divide d?
False
Suppose -9 = -p - 37. Is (-270)/63*p/6 a multiple of 8?
False
Let l(m) = -m**2 + m + 17. Let z(a) = a + 6. Let j be z(-6). Is l(j) a multiple of 6?
False
Let h = 2 + 3. Let n(r) = -r**3 + 5*r**2 + 7*r - 3. Let c be n(6). Suppose c*m + 45 = -0*w + 5*w, -m + h = 0. Is w a multiple of 12?
True
Let z = -33 + 57. Suppose 0 = -4*v + z + 8. Is 3 a factor of v?
False
Suppose 4*w = -5*l - 239 + 36, -4*l = 4*w + 164. Let z = l + 77. Is 12 a factor of z?
False
Let d = 32 - 17. Suppose -d - 65 = -4*p. Is p a multiple of 12?
False
Is 5 a factor of 50 + -2 + (-1 - 2)?
True
Suppose -6*j = 8*j - 266. Does 3 divide j?
False
Let s = -71 - -137. Does 11 divide s?
True
Let a(f) = f**2 - 4*f - 11. Let j(v) = v**3 + 6*v**2 - 7*v + 2. Let p be j(-7). Suppose -u - 8 = -p*u. Does 16 divide a(u)?
False
Suppose -4*b - 5*g + 380 = 0, 0*b + 78 = b - 3*g. Is b a multiple of 18?
True
Let k(w) = -5*w - 23. Does 18 divide k(-13)?
False
Suppose -n = 3*n - 176. Let z be (0 - 1) + -1 + -28. Let h = n + z. Is h a multiple of 6?
False
Let i(d) = -3*d - 25. Is i(-12) a multiple of 5?
False
Suppose -4*h = -4*p - 7*h, -4*h = p + 13. Suppose -28 = -2*z - 5*v, -p*v = 2*z - 8*v - 68. Is 8 a factor of z?
True
Let t(p) be the third derivative of p**5/60 - p**4/12 + 3*p**3/2 - 3*p**2. Is 10 a factor of t(-4)?
False
Does 6 divide 216/10 - (-3)/(-5)?
False
Let g(p) = 24*p**2 + 2*p + 2. Let m be g(-2). Suppose -3*a + m = -5*c, 0 = -5*a - 5*c + 159 - 29. Does 8 divide a?
False
Is 16 a factor of ((-8)/(-6) - (-190)/15) + 2?
True
Let b(i) = i**3 + 3*i**2 - 2*i + 4. Let a(f) = f**3 - 2*f**2 - 2*f + 3. Let w be a(2). Let h = w + -2. Is b(h) a multiple of 5?
True
Suppose -3*k - 228 = 576. Let c = k - -518. Is (-12)/10*c/(-15) a multiple of 7?
False
Let k = 163 - 61. Is k a multiple of 11?
False
Suppose -5*h + 61 = -3*v - 29, -5*v = 5*h - 130. Suppose 0 = -5*x + 64 + h. Does 6 divide x?
False
Suppose -308 - 772 = -6*t. Is t a multiple of 13?
False
Suppose -8*r - 282 = -1042. Is 19 a factor of r?
True
Let u = -45 + 333. Does 16 divide u?
True
Let l(c) = -c**3 + 6*c**2 + 5*c - 2. Is 19 a factor of l(5)?
False
Suppose 0*m + 4*s - 23 = -3*m, -4*s + 8 = 0. Let l = m + -2. Suppose -2*y = 4*i - 13 - 3, -l*y + 52 = -i. Is 8 a factor of y?
True
Let x = 32 - 26. Is x even?
True
Let f(v) = -v**2 + v. Let s(n) = 10*n**2 - 5*n. Let c(g) = 20*f(g) + 4*s(g). Does 8 divide c(1)?
False
Let n = 3 - 3. Suppose 0 = -n*l - 3*l + 30. Is 5 a factor of l?
True
Suppose 0 = -3*o - 4*t + 58, 2*o - t - 20 = t. Is 12 a factor of o?
False
Let n = 148 + -72. Is n a multiple of 8?
False
Suppose -5*j - 5*v = 0, -j - 2*v = -3*v - 6. Suppose -5*n = c - 33, j*n = -2*c + 2*n + 57. Is 7 a factor of c?
True
Let w = 8 - 5. Does 6 divide -3*((-13)/w + -1)?
False
Suppose -4*r = -9*r + 245. Let f = 23 - r. Let j = f - -36. Is 10 a factor of j?
True
Let k = -2 + 7. Let q(a) = a**2 - 11*a - 16. Let w be q(14). Suppose 2*n - w = -g, -4*g - 72 = -k*n + 6. Is n a multiple of 9?
False
Let a(x) be the second derivative of -x**3/6 + 5*x**2 + 4*x. Let f = 0 - 0. Does 5 divide a(f)?
True
Suppose -m + 0*m + 16 = 0. Let o be 0/(-5) + 3/1. Suppose o*q + q = m. Is q even?
True
Let t = -3 + 5. Let j be (-182)/(-35) + t/(-10). Suppose 0 = 3*q + 5*r + 8, -j*q + 3 + 37 = -5*r. Does 4 divide q?
True
Suppose -t + 5*z + 61 = -48, 5*z - 395 = -5*t. Is t a multiple of 21?
True
Suppose -16 - 64 = -5*u. Let d = u - -56. Is d a multiple of 21?
False
Suppose 0*r = -r - 6. Let d(n) = n**2 + 6*n + 4. Let s be d(r). Suppose -i - s*i = -195. Does 10 divide i?
False
Suppose 4*p - 2*p + 2*w - 194 = 0, 3*w = -9. Is 25 a factor of p?
True
Let u = -2 + 3. Let y(t) = -90*t**3 + 2*t**2 - 2*t + 1. Let a be y(u). Does 11 divide 2/(-8) - a/4?
True
Suppose 2*k + 4*p - 24 = 0, 2*k - 31 + 12 = -3*p. Suppose 104 = 2*o + k*o. Is 12 a factor of o?
False
Let f = 44 + -10. Let n = f - 384. Does 14 divide (2/(-4))/(5/n)?
False
Let a be (-218)/(-3) + 10/(-15). Suppose -a = 2*o - o + 4*d, 5*o = 2*d - 360. Does 12 divide (o/(-15))/4*20?
True
Let g(l) = -l**2 + 2 - 2 + 13*l**2 + 1. Does 13 divide g(1)?
True
Let d = -12 - -6. Does 6 divide (-11)/(-2) - d/12?
True
Let b(u) = 4*u + 16. Is b(7) a multiple of 11?
True
Suppose 5*f - 44 + 344 = 0. Let c = f + 141. Is 21 a factor of c?
False
Let m = 53 + -25. Is m a multiple of 11?
False
Suppose 5*a = 72 - 2. Does 11 divide a?
False
Let u be 1/(-4) + (-26)/(-8). Suppose 4*t - 67 - 85 = u*r, 3*t - 114 = 5*r. Is 17 a factor of t?
False
Suppose 3*y = -y + 12. Suppose -4*w + 105 = -y*m + 25, 2*w = 3*m + 46. Is 10 a factor of w?
False
Is (2 - 2 - 2)/((-1)/43) a multiple of 35?
False
Suppose 17*h + 264 = 14*h. Is (h/5)/(5/(-25)) a multiple of 22?
True
Let s(a) = -a**3 + 10*a**2 + 12*a + 7. Is 6 a factor of s(11)?
True
Suppose w = z + 5, -5*w - 11 = -2*z + z. Let o = z + 7. Let u = 34 + o. Is 16 a factor of u?
True
Let x = 28 - 2. Suppose x = 3*b + u, 0 = -3*b - 5*u + 3*u + 31. Is 3 a factor of b?
False
Is 2 a factor of (-3)/7 - (-17)/7?
True
Suppose 27 = -4*i - 41. Let k = -10 - i. Is k a multiple of 6?
False
Suppose 67 = -3*u - 8. Let l = -41 - u. Let h = 25 + l. Does 7 divide h?
False
Let h = -39 - -94. Suppose 5 = 4*q - h. Does 6 divide q?
False
Let u = -61 - -221. Does 20 divide u?
True
Suppose 2*s = 3*s - 4. Suppose -v - 28 = -4*i, 0 = 3*i - 5*v - 17 - s. Suppose -40 = 2*d - i*d. Is d a multiple of 8?
True
Suppose v = -4*w - 10, 0*w - 2*w - 10 = -2*v. Suppose -5*y = 4*g - 272, -v*g - 2*y + 142 = 2*y. Does 16 divide g?
False
Suppose -4*p - 53 = -5*p. Suppose w = 2*w - 2. Suppose -w = -5*b + p. Does 9 divide b?
False
Suppose -4*w = -3*w. Suppose w = f - 6. Is 4 a factor of 4/3*(0 + f)?
True
Suppose 3*o - 8 = -o. Does 6 divide 17 + -2*(-1)/o?
True
Let y(p) = 2*p + 49. Let m be y(0). Let h = m + -29. Does 5 divide h?
True
Suppose -95 = -5*y - 0*m - 3*m, 0 = -3*y + 3*m + 57. Is 14 a factor of -1 + (y - 2/(-1))?
False
Let r be -4 + 1/((-3)/(-228)). Suppose o - r = 2*v, 2*v = o + 2*o - 220. Is o a multiple of 34?
False
Suppose -4*w + 176 = -304. Suppose 7*q - w = 2*q. Is q a multiple of 6?
True
Suppose -4*s = 4*d - d - 40, 16 = -4*d. Is s a multiple of 7?
False
Suppose -r = -4*t + 803, -r + 151 = t - 46. Is 10 a factor of t?
True
Let d be (-1644)/39 + (-4)/(-26). Let k = -6 - d. Does 12 divide k?
True
Suppose b + 60 = 5*b. Is 5 a factor of b?
True
Suppose -4*q = -q - 150. Suppose 3*i = 4*m - 32 + 102, 4*m = -i + q. Does 10 divide i?
True
Suppose -6 - 4 = -5*i. Suppose 4*s - 4*z = 148, 0 = -0*s - 3*s - i*z + 116. Does 20 divide s?
False
Let m be 14/(-91) - 186/(-26). Let i(d) = 19*d - 3. Let w be i(m). Suppose 5*u = -0*u + w. Is u a multiple of 9?
False
Let t(q) = 2*q**2 - q - 2. Let k be t(2). Suppose -2*g - 3*g + 80 = -3*r, -2*r + 42 = k*g. Let w = g - 7. Does 4 divide 