. Does 11 divide k?
True
Let o = -11 - -28. Suppose 3*g + 2*h + 8 = -5, -2*g - o = 3*h. Is 13 a factor of g/3 + (-381)/(-9)?
False
Let w = 62 - 15. Suppose 4*y - 40 = 92. Let k = w - y. Is 7 a factor of k?
True
Let f(z) = -z**3 + 4*z**2 - 4*z + 2. Let b be f(2). Suppose 0 = -q - 2*s + 9, -b*s - s - 19 = -q. Is 12 a factor of q?
False
Let s(v) be the third derivative of v**5/60 - v**4/4 + v**3/2 + 3*v**2. Let u be s(6). Does 4 divide (u/6)/((-2)/(-20))?
False
Let j(n) = n**2 + 4*n + 6. Let h be j(-4). Let o = h + -6. Let s = o - -3. Does 3 divide s?
True
Let t(p) = p**3 - 7*p**2 - p + 3. Let x be t(7). Suppose 4*o = -o - 390. Does 13 divide (10/15)/(x/o)?
True
Suppose 3*f = f. Let s be (-4 - f)*2/(-4). Suppose s*j - 11 = 5. Is j a multiple of 8?
True
Let s(w) be the first derivative of w**6/360 + 7*w**5/120 + w**4/2 - w**3 + 3. Let c(g) be the third derivative of s(g). Is c(-8) a multiple of 6?
False
Let x be (0 - -1)*6/2. Let v(o) = o**2 - 4*o + 3. Let b be v(x). Suppose -2*p - 2*m = -3*p + 16, b = 2*p - 3*m - 31. Is p a multiple of 12?
False
Let o(t) = 2*t - 17*t**2 - 1 + 42*t**2 - 2*t. Is 12 a factor of o(1)?
True
Let y = 2 - 6. Let j(f) = f**3 + 5*f**2 + 3. Is 6 a factor of j(y)?
False
Let g(h) = -h**2 - 8*h - 5. Let u be (10 + 0)/(2*-1). Is 4 a factor of g(u)?
False
Is 10 a factor of -2 + 6 - -36 - 2?
False
Let i = 5 + -5. Suppose i = -4*l - 0*m + 3*m - 4, 0 = 5*l - 2*m - 2. Suppose l*k = k + 15. Is 7 a factor of k?
False
Let r be (-2)/7 + 16/7. Let q = r + 1. Suppose k + q*z - 4 = 0, -4*k - 2*z + 49 = -z. Is 5 a factor of k?
False
Let p(a) = -7*a**2 + 1. Let g be p(1). Suppose 5 = u - 6*u + 5*k, 0 = -4*u + 5*k + 1. Is 8 a factor of (-2)/u + (-118)/g?
False
Suppose -y = -4*f + 7, -7 = -5*y + f - 2*f. Is 11 a factor of 23 + (-4 - (-2 + y))?
False
Suppose -10 = -11*w + 6*w. Is w a multiple of 2?
True
Let u be 10*-2*3/(-12). Suppose -u*c + 28 = -c. Let r = c + 33. Is r a multiple of 15?
False
Let p = -112 + 147. Does 10 divide p?
False
Suppose -3*q - 3*p + 258 = 2*p, 0 = -5*p + 15. Is 27 a factor of q?
True
Let m = -111 - -219. Does 27 divide m?
True
Let g(p) = p**2 - 9*p + 5. Let z be g(8). Let s(n) = -n**3 + 6*n**2 + 5. Let a be s(6). Is (z + a)/((-2)/(-38)) a multiple of 19?
True
Let z(y) = -y**2 + 6*y - 4. Let f be z(5). Let g be (1 + f)/(2/(-2)). Is g/(-3) + 88/3 a multiple of 12?
False
Let f(z) = 15*z + 1. Let c = 24 - 17. Let g be f(c). Suppose g = -0*h + 2*h. Does 21 divide h?
False
Let f be 2 - (3/(-3))/1. Let x be (1 + -3)/(-2) + f. Suppose -40 = -x*k - 0*k. Does 8 divide k?
False
Let i be 0 - (-10)/(0 - -2). Suppose -149 = -i*t + 71. Is t a multiple of 18?
False
Suppose -6*z + 676 = -2*z. Is z a multiple of 13?
True
Let o(j) = j**2 - 4*j + 5. Suppose -2*k + 5*g = 2*k - 25, -k - g + 4 = 0. Is o(k) a multiple of 6?
False
Let n(c) = -39*c**3 - 2*c**2 - c + 1. Does 13 divide n(-1)?
True
Let q = 4 + -6. Is 3 + (0 - q) + -1 a multiple of 2?
True
Let z(f) = f**2 - 4*f - 5. Let n be z(6). Let w be 240/10 + 0 + 1. Let t = n + w. Is 9 a factor of t?
False
Is ((-24)/(-2)*348/18)/1 a multiple of 43?
False
Let k(u) = -15*u**3 - u**2 + u - 1. Is 40 a factor of k(-2)?
False
Suppose 5*x - 4*y - y = 780, 2*x + 4*y = 312. Is 39 a factor of x?
True
Suppose -q = -2*w - 1, -3*w - 2*q - 1 = 11. Let r be 14*(-1)/w*-1. Let h = 6 - r. Does 13 divide h?
True
Let a(x) = 2*x**2 - 5*x + 4. Let l be a(3). Suppose l = 5*w - 3. Suppose w*v + 66 = 5*t, 63 = 4*t + 3*v - 8*v. Is 4 a factor of t?
True
Suppose -q + 16 = q. Is 26 a factor of -4*((-54)/q - 1)?
False
Let g be 11/(-3) - 12/(-18). Does 18 divide 18/((-30)/(-9) + g)?
True
Let d be (8/28)/(1/7). Suppose -4*p + 63 = 2*n - 87, -95 = -d*p - 5*n. Suppose 7*g = 2*g + p. Is g a multiple of 4?
False
Suppose 0 = i - 18 - 15. Suppose 5*v - 42 = i. Does 7 divide v?
False
Let b = 17 + -6. Is b a multiple of 11?
True
Let j(x) = 4*x**3 - 1. Let r be j(-1). Let s = -4 - r. Is 15 a factor of 32/(s + 1) - 1?
True
Suppose -2*b + 20 = -6. Is 5 a factor of b?
False
Let u = 61 - 22. Is u a multiple of 13?
True
Let f(m) = -1 + 2*m**2 - 2*m + 2*m**2 + 11*m**2 + 0*m**2. Does 19 divide f(2)?
False
Let g = -22 - -32. Is ((-4)/(-3))/(g/105) a multiple of 14?
True
Let j(w) = 208*w**3 - 2*w**2 + w. Let d be j(1). Suppose -4*r - r + 3*q + 211 = 0, -q - d = -5*r. Let g = r + -2. Does 16 divide g?
False
Let j be (13/2)/((-1)/2). Let g = -33 - -64. Let p = g + j. Is 8 a factor of p?
False
Let j = 23 + -15. Does 7 divide j?
False
Suppose -3*w + 6*w - 6 = 0. Let g(f) = -23*f + 1. Let n be g(-1). Let i = w + n. Does 13 divide i?
True
Suppose 5*d = -5 + 20. Suppose 0 = y - d*y + 10. Is 4 a factor of y?
False
Let t = 90 + -46. Let h be (t/(-8))/(2/(-4)). Is 2 + -1 + -2 + h a multiple of 10?
True
Let i = 110 - 71. Suppose 3*r = -3, -w = r - 4*r - i. Is 10 a factor of w?
False
Suppose -j + 6*j + 60 = 0. Let w(d) be the second derivative of -2*d**3/3 - 9*d**2/2 + d. Is 14 a factor of w(j)?
False
Let j = 30 - 26. Let d(o) = 12*o - 2. Let n(k) = k. Let w(b) = d(b) - 8*n(b). Is w(j) a multiple of 5?
False
Suppose 0 = -5*f + f + 5*z + 168, f - 42 = 2*z. Is f a multiple of 12?
False
Suppose 2*g - 33 = 135. Is g a multiple of 14?
True
Suppose 220 = 4*i - 540. Is 29 a factor of i?
False
Let s(n) be the third derivative of 0 + 0*n + n**3 - n**2 - 7/24*n**4 + 3/20*n**5 - 1/120*n**6. Is s(8) a multiple of 7?
True
Let d = 82 - -113. Let p = d + -127. Is 14 a factor of p?
False
Suppose 0 = -4*c - 7*c + 165. Is c a multiple of 5?
True
Let n(x) = -3*x**3 + 11*x**2 - 4*x + 3. Let i(m) = 7*m**3 - 23*m**2 + 7*m - 7. Let f(r) = 4*i(r) + 9*n(r). Let g be f(-8). Is 11 a factor of 2 - ((g - 10) + 2)?
True
Let v = 1 - -3. Suppose 4*w + 76 = v*z, z - 5*w - 34 = 5. Is 60/z*28/4 a multiple of 10?
True
Let x = 4 - -2. Suppose -t + x = -3*l - 19, 10 = -2*l. Is 3 a factor of t?
False
Let k(l) = 3*l. Suppose v - 4*v + 3 = 0. Does 3 divide k(v)?
True
Let a(s) = s**2 - 14*s + 20. Is a(18) a multiple of 23?
True
Suppose 155 = 6*o + 23. Does 5 divide o?
False
Let v be (1/(-2))/(2/(-296)). Let g = -34 + v. Let h = g - 26. Is h a multiple of 7?
True
Suppose -3*z + 10 + 8 = 0. Is 3 a factor of z?
True
Let v(f) = -69*f. Let b be v(-5). Suppose 0 = w + 4*w - b. Does 23 divide w?
True
Let f = 7 + 75. Let x = f - 54. Is 14 a factor of x?
True
Suppose -4*p - 2*h - 112 = -0*h, 0 = 2*h - 8. Let g(z) = z**3 - z**2 + z + 66. Let l be g(0). Let q = p + l. Does 18 divide q?
True
Let c be -1*((-2 - -3) + -2). Is (1/(c/(-6)))/(-1) a multiple of 2?
True
Suppose 3*h + 389 = 2*x, -2*h = -h - 1. Suppose -4*w + 3*w = 4*i - x, -245 = -5*i + 5*w. Does 15 divide i?
False
Let v(a) = a**3 + 3*a**2 + 3*a + 2. Let p be v(-2). Suppose p = -0*o + 5*o - 45. Is o a multiple of 9?
True
Is 2 a factor of (2/(-1) - -4)*(3 - -5)?
True
Suppose u + 14 = 48. Suppose 3*c - t = u, 0*c + 4*c + 3*t - 28 = 0. Does 10 divide c?
True
Suppose 0*y = -5*y - 105. Let m = -1 - y. Is 10 a factor of m?
True
Let p(o) be the third derivative of -o**6/120 + 3*o**5/20 + o**3 + o**2. Is p(9) a multiple of 6?
True
Is (-6)/(-9)*(1 + 116) a multiple of 27?
False
Let w = 190 + -76. Does 19 divide w?
True
Let x = -60 - -90. Does 6 divide x?
True
Suppose 4*q = 3*q. Suppose -d = j - 6*j + 83, q = 3*j - 4*d - 60. Is 8 a factor of j?
True
Let s(w) = -w**2 + 6. Let v be s(0). Is 6 a factor of 64/v*(-15)/(-10)?
False
Let r = 44 - 6. Suppose 4*j - 118 = -r. Does 15 divide j?
False
Let j = -44 + 54. Is j even?
True
Let i = -2 + 5. Suppose i*q = 13 + 53. Is 11 a factor of q?
True
Let o(v) = 2*v**2 + 4. Is 12 a factor of o(4)?
True
Let v(d) = -d**3 - 2*d**2 + 6*d + 4. Let p be v(-4). Let f = p + -7. Suppose 44 + 46 = f*n. Does 18 divide n?
True
Suppose 0 = -3*m + j + 16, 6*j - 46 = -3*m + j. Let z(b) = -4 - 1 + 7 + m*b. Is 9 a factor of z(2)?
False
Let l(x) = 18*x - 1. Let n be l(1). Let s(u) = -u - 5. Let j be s(-12). Let w = n + j. Is w a multiple of 12?
True
Suppose 0 = -c + 2*y + 127, -3*c + 3*y - 5*y + 405 = 0. Is 28 a factor of c?
False
Let i(y) = -1 + 4*y**3 + 2*y**2 + 3*y - 2*y**2 - y**3. Does 29 divide i(2)?
True
Let v be (2/(-2))/(2/(-276)). Is 18 a factor of (-9)/(-12) + v/8?
True
Suppose -c + 16 + 28 = 0. Let g be c - (-3*1 - -2). Suppose -3*x = -6*x + g. Is 15 a factor of x?
True
Let g(i) = 8*i + 8. Is g(5) a multiple of 12?
True
Supp