3*w - 4*h + 85 = 23. Does 8 divide w?
False
Is (-147)/(-6) - (-6)/(-4) a multiple of 9?
False
Let r = 3 + -1. Suppose r*j + 2*j - 352 = 0. Suppose 2*d - 4*u = 58, -d - 3*d + u = -j. Does 11 divide d?
False
Let l be (-2)/6 - 32/(-6). Does 20 divide (-40)/(-3)*15/l?
True
Let l(u) = 5*u**2 + 2*u. Let b(v) = -16*v**2 - 5*v. Let q(d) = 2*b(d) + 7*l(d). Let h(i) = i**2 + 8*i + 8. Let m be h(-6). Is 13 a factor of q(m)?
False
Is 16 a factor of 0 + -4 + 2 + 28?
False
Does 2 divide (-237)/33*-1 + (-8)/44?
False
Let c be (-2 + 2/1)*-1. Suppose -3*s = -3*y - 27, -2*s + 5*y + 1 + 14 = c. Does 5 divide s?
True
Suppose 2*t = -3*p + 75, -18 - 12 = -t - 4*p. Is t a multiple of 14?
True
Suppose -k - 4*i + i = 22, -2*k - 24 = i. Let g = 1 + -2. Is 16 a factor of g/2 + (-315)/k?
False
Suppose -s = 3*n + 23, n = 6*n - 4*s + 10. Suppose 0 = -4*g - 2*l + 51 + 5, 2*g - 2*l - 34 = 0. Is 9 a factor of n/5*g/(-2)?
True
Let p(q) = 3*q + 4. Let i be p(-6). Let w = i + 36. Let b = w - 8. Is b a multiple of 11?
False
Let k(v) = 2*v + 4. Let w = -9 + 12. Is 4 a factor of k(w)?
False
Suppose 2*c - 12*c = -1200. Is 12 a factor of c?
True
Suppose 7*r + 114 = 9*r. Is 21 a factor of r?
False
Suppose 6*q = 146 + 4. Is q a multiple of 7?
False
Let o(v) = -26*v - 9. Is o(-6) a multiple of 10?
False
Suppose -4*t = -16 - 8. Let s(y) be the third derivative of y**4/24 - y**3/2 - y**2. Is s(t) even?
False
Let p(a) be the first derivative of -7*a**3/3 - a**2/2 + 1. Let q be p(-1). Is 11 a factor of (-64)/q + (-1)/(-3)?
True
Let u(t) = 5*t - 3. Let n(p) = 1. Let c be 80/(-14) - (-6)/(-21). Let x(r) = c*n(r) - 2*u(r). Is 8 a factor of x(-3)?
False
Let a(h) = -6*h - 8. Let n be a(-8). Suppose 5*b - b - n = 0. Is 9 a factor of b?
False
Let j(o) = 2*o - 1. Let a be j(3). Suppose 0 = a*g - 11 - 29. Suppose g + 4 = n. Does 12 divide n?
True
Suppose -3*j - 20 = 2*j. Let y(c) = -c - 2. Let z be y(j). Suppose 5*i - 18 = z. Is i even?
True
Let y(h) = -h**3 - 5*h**2 + 7*h - 6. Suppose 5*o + 38 = -4*k, -4*o - 3*k - 34 = 2*k. Let q be y(o). Does 5 divide q/16 - (-86)/8?
True
Suppose -4*v + 10 = v. Let j(c) = -6 + 2*c**v + 7 - 12*c + 3*c. Is 13 a factor of j(6)?
False
Let k = -41 + 80. Is 8 a factor of k?
False
Let n = -15 + 19. Suppose n*q - 3*q = m - 55, 3*m + 4*q - 130 = 0. Is m a multiple of 14?
False
Suppose q = -2*q + 15. Suppose -q*p + 56 = -p. Is p a multiple of 5?
False
Suppose -27 = 4*m - 3. Does 17 divide m/21 - 410/(-14)?
False
Let j(q) = 3*q + 1. Let i be j(3). Suppose -i = -3*d + 11. Is d a multiple of 4?
False
Let p be 114/9 + (-1)/(-3). Suppose -p*i + 12*i = -36. Is i a multiple of 20?
False
Suppose -h = -4*h + 2*o + 25, 42 = 5*h - 3*o. Does 9 divide h?
True
Suppose -3*x = -2*s - 4 - 4, -10 = 5*s - 5*x. Is 18 a factor of (172/(-16))/(s/(-8))?
False
Let r = 189 - 150. Is 17 a factor of r?
False
Let g = -3 + 3. Suppose q - 5 = g, x + 23 = 3*x + 3*q. Suppose 56 = 6*a - x*a. Does 8 divide a?
False
Let g(f) = -f**3 - 2*f**2 + 5*f - 7. Let d(u) = -u**3 + 4*u**2 - 5. Suppose 2*p = -3*a - 7, -2*p - 2*a - 12 = 2*a. Let k be d(p). Does 16 divide g(k)?
False
Suppose -4*a + 10 = -4*p - 14, -3*a + 5*p + 26 = 0. Suppose -a*q + 2*h = -0*h - 76, 3*q - 116 = 2*h. Suppose 0 = 3*k - 8*k + q. Is k a multiple of 4?
True
Suppose 0 = 2*z - i - 4 - 10, 0 = -4*z - 3*i + 48. Suppose n = 44 - z. Is 12 a factor of 6 + -1 + -2 + n?
False
Let k(o) = 2*o - 5. Suppose -3*y - 12 = 0, 3*w - w - y = 2. Let b be 0 - w - (-1 + -3). Is k(b) a multiple of 4?
False
Let f(t) = 2*t**3 - 17*t**2 + 2*t - 7. Let n(b) = -3*b**3 + 33*b**2 - 5*b + 15. Let a(o) = 5*f(o) + 3*n(o). Is 23 a factor of a(-14)?
False
Let p = -224 + 339. Is p a multiple of 10?
False
Let s = 15 - 11. Suppose 2*h - 156 = -4*n, 0*n - s*n = -h - 162. Is n a multiple of 9?
False
Let h = 7 + -4. Suppose -2*c + 180 = h*c. Let q = -13 + c. Is 13 a factor of q?
False
Let n(s) = -30*s - 10. Is 20 a factor of n(-3)?
True
Let v(a) = -7*a - 2. Does 9 divide v(-10)?
False
Suppose 0 = -4*z - 12, -3*a + 2*z + z = -348. Is 9 a factor of a?
False
Let h be -2 - (-3 + -4)*1. Suppose x + 3*x = -2*m + 168, -10 = -h*m. Is 13 a factor of x?
False
Let y be (3 - 2) + (181 - 2). Suppose 0 = 3*h - 5*h + y. Does 23 divide h?
False
Let f = -9 + 4. Let v(x) = -2*x + 1. Is v(f) a multiple of 11?
True
Suppose 0 = 3*r - 3 - 3. Suppose 3*s + g + r = 5, -s - 2*g + 1 = 0. Is 3 a factor of (s - -1)*(-12)/(-8)?
True
Let p(y) = -y**3 + 9*y - 7*y**2 - 3*y + 8 - 5. Is 6 a factor of p(-8)?
False
Let b(s) = -s + 11. Suppose 0 = -3*f + 4*f. Is 11 a factor of b(f)?
True
Let v(z) = z**2 + z + 4. Let s = 0 - 0. Let x be v(s). Suppose 16 = x*q, 2*t + 2*q = q + 22. Is t a multiple of 9?
True
Let r be -5*(288/(-20))/2. Let h = -5 + r. Does 13 divide h?
False
Suppose -325 = -5*b + 330. Suppose -3*f - d + 25 = -2*f, 3*d = -5*f + b. Is f a multiple of 11?
False
Suppose -9*o = -2351 - 880. Does 20 divide o?
False
Suppose -4*y = -2*y - 12. Suppose -8*z + 22 = -y*z. Is z a multiple of 4?
False
Suppose -5*z = -2*p - 126, -5*z = p + 7 - 139. Does 5 divide z?
False
Suppose -3*d + 2*t = -249, 4*d - 4*t = 9 + 323. Let m = -5 + d. Suppose z = -2*z + m. Is z a multiple of 13?
True
Suppose 0*k + 217 = v - k, k = -2*v + 449. Suppose 3*d = 3*m - v, m + 4*d - 15 = 44. Is 21 a factor of m?
False
Let q(b) be the first derivative of 2 - 1/3*b**3 - 2*b - 4*b**2. Is q(-6) a multiple of 5?
True
Let k(f) = f**2 - 3*f + 2. Let b be k(3). Suppose 5*x + 4*v = 106, -b*x = x + v - 58. Does 9 divide x?
True
Let k be ((-5)/(5/14))/1. Suppose 0 = 2*s + 3*s + 20. Is 1/(-2) + k/s a multiple of 3?
True
Let o(u) = 2*u**3 - 12*u**2 + 13*u - 9. Is 27 a factor of o(8)?
True
Is 6 a factor of (5 + -97)*(0 + (-2)/4)?
False
Let l = 136 - 60. Does 38 divide l?
True
Let b = -14 + 17. Suppose 3*k = -5*z + 140, b*k - 35 = 2*k - 4*z. Is 10 a factor of k?
False
Suppose -3*q - 27 = -4*y, 27 = 3*y - 4*q - 2. Does 20 divide (-2 + y)/((-4)/(-176))?
False
Suppose 52 + 56 = 4*m. Let x(t) = -t**2 - 3*t + 3. Let h be x(-6). Let a = h + m. Is 12 a factor of a?
True
Let t(c) = 9*c + 2. Suppose -4*u + 24 + 0 = 0. Does 14 divide t(u)?
True
Let i = 0 - 2. Let a(u) = u**3 - 2*u**2 + u + 2. Let j(c) = c**3 + c. Let n(q) = -a(q) - j(q). Is n(i) a multiple of 15?
False
Suppose k - 39 = -9. Is k a multiple of 6?
True
Is 6069/17*(-2)/12*-2 a multiple of 12?
False
Suppose -5*c = 36 - 96. Does 12 divide c?
True
Let w be (-369)/12 + 9/12. Is -6*8/60*w a multiple of 24?
True
Suppose 0 = -t + 3*t - 28. Is t even?
True
Let i = -131 - -197. Suppose -5*g - i = -251. Is g a multiple of 8?
False
Let m be (25 - 5)/(2/4). Suppose a - m = 14. Is 18 a factor of a?
True
Suppose -3*j - 2*n - 4 = 3, -4*n + 11 = j. Let x = 5 + j. Suppose -i + 3 + 4 = x. Is 7 a factor of i?
True
Let f be (-12)/(-10)*(-2280)/(-9). Suppose 4*c + 0*c = f. Suppose 0 = -0*y - 2*y - 2*q + 36, 0 = 4*y + 2*q - c. Is 10 a factor of y?
True
Let d be (-174)/(-4) - 1/(-2). Suppose 0 = -4*n - 3*s + 35 + 96, -n + 30 = -2*s. Suppose -5*l - n = -2*b - l, d = 3*b - 5*l. Is 7 a factor of b?
False
Let c(y) be the third derivative of 6*y**5/5 - y**4/24 - y**3/6 + 4*y**2. Is 18 a factor of c(-1)?
True
Let a(t) = -t**2 + 16*t - 19. Does 2 divide a(13)?
True
Suppose -2*b - 1 = 3. Is (-4)/b*(-407)/(-22) a multiple of 14?
False
Suppose 76 = s + 5*c, -193 = -4*s - 4*c + 63. Is 15 a factor of s?
False
Suppose g = 3*w + 8, 5*w + 3 = -7. Suppose g*v = -23 + 1. Let t = v + 32. Is t a multiple of 21?
True
Is 9 a factor of 0 + 2/4 + 133/14?
False
Let t = -15 + 11. Let g be 0/1 - 1 - t. Suppose -4*q - y = -107, -3*q - g*y + y + 84 = 0. Does 13 divide q?
True
Let o = -36 - -12. Let f = -12 - o. Is f a multiple of 10?
False
Let s = 28 + 32. Is 20 a factor of s?
True
Suppose 4*s - 2*d + 142 = 0, -3*s - 3*d - 45 - 66 = 0. Let x = s - -59. Is x a multiple of 4?
False
Let s(f) = f**3 + 13*f**2 + 6*f - 11. Is 15 a factor of s(-11)?
True
Suppose 8*i - 67 - 21 = 0. Is i even?
False
Suppose -4*b + o + 183 = -186, 0 = -3*b + 4*o + 280. Is 18 a factor of b?
False
Suppose -2*c + 4*g = -3 - 17, -5*c = -2*g - 26. Let i be (c - 1)*(-2 - -3). Suppose i*h + 2*n + 3*n - 5 = 0, 5 = h + n. Is h a multiple of 3?
False
Is -1 + -1 - -1 - -60 a multiple of 20?
False
Let x = 1 - -3. Suppose x*h - 49 = -17. Is h a multiple of 4?
True
Let r = -6 - -7. Let y be (0 