6*b + h = 0. Does 9 divide b?
False
Let x = -12 - 28. Let z be (2 - 0) + x + 2. Let w = 54 + z. Is 9 a factor of w?
True
Let l(y) = -y**3 - 4*y**2 + 8*y + 7. Let b be l(-6). Let m(q) = q**2 - 15*q + 29. Let g be m(13). Suppose 12 = -4*f, 5*f = -g*a + b + 8. Is a a multiple of 18?
True
Let l = -4 + 8. Suppose 0 = -0*b + b - l. Suppose 4*s + 8 = 0, 10 = f - 0*s + b*s. Is f a multiple of 12?
False
Suppose 0 = 2*k + 4 - 10, -4*k + 308 = 4*z. Is z a multiple of 11?
False
Suppose 252 = -2*k - k. Let g = k - 56. Is (2/(-4))/(2/g) a multiple of 13?
False
Is 12 a factor of ((-2)/(-3))/(5 - (-3215)/(-645))?
False
Suppose 2*x = -3*m + 151, 4*m - 2*x + 6*x - 200 = 0. Does 17 divide m?
True
Suppose 0*z = -2*z - n + 13, 5*n + 5 = 0. Suppose 2*r + 153 + z = 5*y, -3*y + 117 = 3*r. Does 10 divide y?
False
Is 15 a factor of (-1)/(-2 - 295/(-150))?
True
Let f = -18 + 20. Is f even?
True
Let s(a) = a**3 - a**2 - 4. Let n be s(0). Let l = -1 - n. Is l a multiple of 3?
True
Suppose r = 4*q - 15, 2*r - 6*r - 18 = -2*q. Suppose -18 = p - q*p. Is p a multiple of 2?
False
Suppose -9 = k - 3*u, -2*k - 3*k - 33 = -3*u. Let o = k + 11. Is 4 a factor of o?
False
Let o(h) = -3*h**2 + 1. Let w be o(-1). Let r be (1 + 2 - 11)/w. Suppose r*c + 44 + 54 = 2*l, -137 = -3*l - 4*c. Is l a multiple of 16?
False
Suppose 0 = -4*n + 17 + 31. Suppose -j = -n + 5. Is 3 a factor of j?
False
Suppose -70 = -3*g + 4*s - 3, 3*g - 5*s - 68 = 0. Let x = g + 45. Is 22 a factor of x?
True
Let a(n) be the first derivative of n**3/3 + n**2/2 - 1. Suppose -3*q + 28 = -4*v, 21 = -4*v + 2*q - 3. Does 5 divide a(v)?
False
Let y(n) = n**2 - 2*n + 5. Let z be y(6). Suppose -h + 2 + 1 = 0. Suppose u + h*g + 2*g = z, -3*u - 3*g + 75 = 0. Is 21 a factor of u?
False
Suppose 42 = 4*u + 2. Suppose 0 = g + g + u. Let n = 9 + g. Is 2 a factor of n?
True
Let g = 13 + 7. Is g a multiple of 14?
False
Let j = 14 + -5. Does 17 divide ((-51)/j)/((-1)/3)?
True
Let z = 36 + -19. Suppose 0 = -3*o + 4*s + z, 4*o = o - 2*s + 41. Is o a multiple of 11?
True
Let j(z) = -z**2 - 13*z - 6. Is 14 a factor of j(-10)?
False
Let k(y) = 0 - 2 + 19*y + 9. Does 21 divide k(4)?
False
Let g = 102 - 46. Suppose -g = -9*q + 5*q. Does 7 divide q?
True
Let w(y) = -6*y - 8. Let h(d) = -5*d - 1. Let p be (-6)/(-3)*2/4. Let f be h(p). Is w(f) a multiple of 17?
False
Suppose 2 = 2*n, -4*n = w - 5*n - 13. Is w a multiple of 7?
True
Suppose -547 - 741 = 4*r. Let o = r - -192. Is (8/20)/((-2)/o) a multiple of 13?
True
Let r(q) be the first derivative of q**2/2 + q + 4. Let f be r(-2). Is (8/5)/(f/(-5)) a multiple of 5?
False
Suppose 0 = -2*q + 8 - 2. Let w be (0 - -1)/((-1)/(-4)). Suppose -q*h = 2*h - a - 66, w*h - 52 = a. Is h a multiple of 14?
True
Let k(d) = 16*d - 28. Is k(10) a multiple of 44?
True
Let n(x) = x**2 + x + 10. Let q be n(7). Suppose 15 + q = 3*b. Is b a multiple of 12?
False
Suppose 3*r + 14 = -5*p + 258, 3*p = -3. Is 36 a factor of r?
False
Let n(i) be the second derivative of 11*i**4/12 - i**3/3 + i**2/2 - 5*i. Is 10 a factor of n(1)?
True
Is (-3 + 1)/(2/(-36)) a multiple of 14?
False
Let u(n) = 2 - n - n + n**2 + 0*n. Let o be u(2). Suppose -3*i + 140 = o*i. Does 14 divide i?
True
Let n(d) = 2*d**2 + 2. Let l be n(2). Suppose -17 = -2*k - 5*g + 12, k - l = -g. Is k a multiple of 3?
False
Suppose -4*w + 35 = -4*n + 127, -2*n + 47 = -3*w. Let h be (0 - -7) + (-4 - -7). Let u = n - h. Is 6 a factor of u?
True
Let n be (2 - 2/2)/(-1). Let h = n + 5. Suppose -4*i + 111 = j, 2*i = 5*i + h*j - 93. Is 9 a factor of i?
True
Does 9 divide (-148)/((-16)/4) - 1?
True
Let h(q) be the third derivative of q**5/5 - q**4/8 + q**3/3 - q**2. Let l be h(2). Suppose 2*z = 4*z - l. Is z a multiple of 11?
True
Suppose 2*p - 3*p = i - 10, 3*p + 4*i = 34. Suppose 2*n = 5*n - p, -5*g + 71 = 3*n. Is 4 a factor of g?
False
Suppose 4*x - 2*f = 4, -5*x - 6*f = -2*f - 18. Let l = x - -3. Suppose 7*h - 2*h = 4*u + 104, l*u + 52 = 3*h. Does 14 divide h?
False
Let b(d) = 2*d**2 + 9*d - 4. Let f be b(-7). Suppose 0 = -r + 25 + f. Is 23 a factor of r?
False
Suppose -5*c + 33 = -4*w - 0*w, -w = -5*c + 27. Suppose -c*v = -0*v. Suppose v = -2*d - d + 21. Does 3 divide d?
False
Suppose a = -5*t - 37 - 23, 1 = -t + 2*a. Let y = t - -24. Is 5 a factor of y?
False
Let h = -8 + 12. Suppose 5*o - h*r - 47 = 0, 18 - 6 = -4*r. Is 5 a factor of o?
False
Suppose -648 + 88 = -5*d. Does 16 divide d?
True
Suppose 0 = -5*p + 2*p - f + 11, 0 = p - 4*f - 8. Suppose p*m - 34 = 130. Is 14 a factor of m?
False
Let o(j) = j**3 + 4*j**2 + 3*j - 2. Let s be o(-3). Let w be (-5)/s*4/(-5). Let l(m) = 5*m**2 + m + 2. Does 6 divide l(w)?
False
Let a = -4 - -12. Suppose q - a = -q. Suppose -5*l = -2*m + 28, 34 + 8 = 3*m + q*l. Does 7 divide m?
True
Let s = 0 - -1. Suppose 2*d - 5 = -5*f, 3*d - 4*f = 4*d - s. Does 5 divide ((-2)/d)/(1/(-25))?
True
Suppose -5 = -h + 2*h. Let x be (0 + 2/h)*-10. Suppose g - x*y + 44 = 3*g, 5*y + 8 = 2*g. Does 7 divide g?
True
Let d = 4 - 4. Suppose -5*u - 188 = -2*o, -u + 151 + 97 = 3*o. Suppose -3*v + 12 = d, v = j + 3*j - o. Is 12 a factor of j?
False
Let m = 7 + -6. Is 12 a factor of 3 + ((-2)/m - -35)?
True
Let r(j) = 5*j + 2 - 4 - 11*j**2 + 10*j**2. Let f be r(3). Is 10 a factor of 2948/77 + f/(-14)?
False
Suppose 2*m - 2 = m. Let o be 9*(20/6)/m. Let s = o - 3. Is s a multiple of 6?
True
Let d = -11 + 21. Is 2 a factor of d?
True
Is 27 a factor of -5 + 6813/15 + (-4)/20?
False
Does 21 divide 3/(4/56*2)?
True
Suppose -24 = -2*d - 2*d. Suppose -88 = -d*o - 16. Does 12 divide o?
True
Suppose -8*b + 56 = -104. Does 20 divide b?
True
Suppose -154 = -6*l - 40. Is l a multiple of 3?
False
Let b(j) be the second derivative of j**5/20 - j**4/2 - 2*j**3 + 7*j**2/2 - 9*j. Is 13 a factor of b(8)?
True
Suppose -w = -4*y + y + 98, 5*y - 156 = -2*w. Let s = 49 - y. Is 17 a factor of s?
True
Let r = 142 - 62. Does 10 divide r?
True
Suppose 0 = -2*k - 7 + 47. Is 4 a factor of k?
True
Let g(c) = c**2 - c - 7. Is g(5) a multiple of 13?
True
Does 2 divide (2 - -1 - 2)*0 - -65?
False
Let d = 195 + -25. Is 17 a factor of d?
True
Is (3 + 0)/((-6)/(-62)) a multiple of 11?
False
Suppose -2*m - 28 = -g - 3*g, m + g + 8 = 0. Let u be m/20 + 39/(-2). Is 104/u*5/(-1) a multiple of 13?
True
Let g be (0/(-2) + -1)*-5. Let y = 1 + g. Does 5 divide y?
False
Does 3 divide 10*1*5/10?
False
Is (-9 - (-3 - 1))*-2 a multiple of 5?
True
Is 26 a factor of ((-13 + 3)/1 - 3)*-6?
True
Suppose -16*t + 1424 = -0*t. Does 23 divide t?
False
Let i = 64 + -38. Is i a multiple of 13?
True
Let x(m) = 3*m**2 - 4*m - 3. Is 14 a factor of x(-4)?
False
Suppose 2*d = -b - 2*b + 87, 3*b - 3*d = 102. Is b a multiple of 12?
False
Let q = -3 - -7. Suppose 3*s = -4*x + 78, -78 = -q*x + s - 8. Is 6 a factor of x?
True
Let y(q) = -q**2 - 5*q - 2. Is y(-2) even?
True
Suppose 0 = -0*r + 3*r - 39. Is r a multiple of 13?
True
Suppose -53 = -3*m + 2*m - a, -4*m + 4*a + 180 = 0. Is m a multiple of 15?
False
Suppose l = -2*o + 7, -5*o + 2*l = -2*l - 24. Suppose w - 5*y - 9 = 2, -o*w + 4*y + 124 = 0. Is w a multiple of 10?
False
Suppose 0 = 2*n + 3*k - 138, -5*n + 5*k = -n - 276. Is n a multiple of 23?
True
Let n(r) = -r - 2. Let m be n(5). Let c be (m*3)/(2 - 1). Let a = 34 + c. Does 11 divide a?
False
Let r = -26 - -26. Suppose -5*a + 6*a - 38 = r. Is a a multiple of 15?
False
Let y = 31 - -4. Suppose 4*w - y = -3*k + 2*k, 0 = 2*k + 10. Is w a multiple of 4?
False
Let o = -6 - -9. Suppose 0 = -5*y - o*k + 99, k - 82 = -4*y - 0*k. Does 9 divide y?
False
Let c(u) = u**3 + 7*u**2 - 9*u + 10. Let t = -28 - -20. Does 16 divide c(t)?
False
Let w = 17 + -15. Suppose 4*m - 10 = -w*h, 8*h - 3*h - 69 = m. Does 13 divide h?
True
Let b = -21 + 45. Let l be 104/b - (-2)/(-6). Suppose 2*g = l*g - 122. Is g a multiple of 23?
False
Suppose -a + 0*a = m - 119, -m + 2*a = -122. Is 20 a factor of m?
True
Let n = -90 + 129. Is 13 a factor of n?
True
Let c(r) = r**2 + 6*r - 4. Let f be c(-6). Let y(u) be the second derivative of u**4/12 - u**3/3 - 2*u**2 - 4*u. Does 8 divide y(f)?
False
Let h(r) = -r**3 - 13*r**2 - 4*r + 12. Is h(-13) a multiple of 29?
False
Suppose t - 26 - 67 = 0. Let q = t - 45. Is q a multiple of 16?
True
Let q be (5 + -5)/(2/1). Suppose 4*y + y - 190 = q. Is 13 a factor of y?
False
Let c(v) = v**2 + 5*v. Let x be c(