 6?
True
Suppose 4*x - 2*o = 216, 5*x - 3*o = 40 + 230. Let z = 88 - x. Let h = -19 + z. Is 15 a factor of h?
True
Let d(c) = 43*c**2 - 2*c + 1. Let h be d(1). Suppose -3*k + 2*u + h = 0, -4*k + 0*k + 2*u = -58. Suppose r - k = 9. Is 14 a factor of r?
False
Suppose 0*m + 3*v + 226 = 4*m, 5*m - 267 = -4*v. Suppose -525 = 7*q - 12*q. Let a = q - m. Is a a multiple of 25?
True
Let z(l) = 2 + 3*l**3 - 3*l**2 + l + 4*l**3 - 4*l**3. Does 8 divide z(2)?
True
Let b(o) = o**2 + o - 3. Let i be b(-3). Suppose -8 - 14 = -i*u + 2*l, 4*u - 6 = -2*l. Is u a multiple of 4?
True
Let y(h) = h**3 - 3*h**2 - 3*h. Let o be y(4). Suppose o*k = 2*z + 162, 3*k + 0*k - 117 = -3*z. Is 18 a factor of k?
False
Suppose f + 5 = 2*o - 12, 4*f + 33 = 3*o. Is 18 a factor of o/((-3)/42*-2)?
False
Let u(g) = g**3 + 7*g**2 + 7*g + 8. Let b be u(-6). Suppose 146 = -b*r - 0*r. Let w = r + 109. Does 13 divide w?
False
Let h(y) = -y**2 + 6*y + 7. Let a(c) = -1. Let t(i) = 2*a(i) + h(i). Let s be 10/(-1*(2 + -4)). Is 10 a factor of t(s)?
True
Let c(h) = -h**2 + 6*h. Let z be c(6). Suppose z = -0*x + x. Suppose -3*r + 0*r + 1 = -2*m, -2*m + r + 9 = x. Is m a multiple of 2?
False
Suppose -87 + 13 = -2*a + 2*r, r + 109 = 3*a. Is a a multiple of 12?
True
Suppose -2*a = 2*w + 6, -5*w - 2*a = -a + 3. Suppose w = 3*n + 5*s - 82, 4*n - 4*s - 202 + 50 = 0. Is n a multiple of 17?
True
Suppose 2*o = 12 + 28. Suppose 0*i - o = -2*i. Is i a multiple of 8?
False
Suppose -h + 18 = 1. Does 7 divide h?
False
Suppose 3*g + 235 = 8*g. Is 11 a factor of g?
False
Let o(x) = 2*x + 17. Does 8 divide o(4)?
False
Suppose y - 236 = 3*r, -3*y = y - 5*r - 930. Suppose -5*h - 10 + y = 0. Does 19 divide h?
False
Let m(c) = -c**3 - 14*c**2 + 7*c + 9. Is 43 a factor of m(-15)?
True
Let a(d) = 7*d**2 - 13*d + 3. Let b(j) = 3*j**2 - 6*j + 2. Let p(x) = 2*a(x) - 5*b(x). Let q(k) = 1. Let i(z) = -p(z) - 6*q(z). Is i(5) even?
False
Let r = -1 - 1. Let d(b) be the second derivative of -3*b**3/2 + b**2 - 4*b. Is 20 a factor of d(r)?
True
Let p(m) = m + 5. Let o be p(-6). Is 3 a factor of o/(-1) - 1 - -6?
True
Suppose 2*g = -5*y + 7*g + 10, 2*y - 4*g + 6 = 0. Suppose -4*s + 43 = 3*r - 33, -4*s = 2*r - 48. Let v = y + r. Does 10 divide v?
False
Suppose -4*t + t = -6. Does 3 divide -6*(-1)/t - -2?
False
Suppose 2*u = 3*s + 2*s + 7, 4*u + 2*s - 50 = 0. Is 6 a factor of u?
False
Let y(a) = -32*a - 3. Let g(l) = -48*l - 5. Let w(s) = 5*g(s) - 8*y(s). Is w(1) a multiple of 5?
True
Let d = -275 + 387. Let k(u) = 2*u**3 + 3*u**2 - 7*u + 4. Let o be k(3). Let v = d - o. Does 19 divide v?
False
Suppose 2*l - 13 - 1 = 0. Let g = 7 + l. Does 14 divide g?
True
Let q be 394/6 + (-8)/12. Suppose 0 = -3*h + q + 76. Does 13 divide h?
False
Let h(i) = 2*i**2 + i - 1. Let b be h(1). Suppose 7 = -m + b*m. Is m even?
False
Suppose -3 = -3*i - 6, 4*g = -3*i - 39. Let h be -1*(-99)/6*-2. Let p = g - h. Is p a multiple of 11?
False
Suppose 116 = -0*n + 4*n. Let h = n + -19. Is 8 a factor of h?
False
Let b(d) = 6*d**2 + 3*d + 2. Let v be b(-1). Suppose 4*w + x = -26 + 196, -218 = -v*w - 4*x. Is w a multiple of 14?
True
Suppose 3*a - 9 = 5*w + 16, -3*a = -3*w - 15. Let o be w*(-1)/((-15)/(-132)). Is 15 a factor of (-7 + 1)*o/(-6)?
False
Suppose -18 + 3 = 5*y. Let m(w) = 2*w**2 - 2*w. Does 8 divide m(y)?
True
Suppose -283 = -4*b + 153. Is 11 a factor of b?
False
Let k(c) = c**2 - 5*c - 1. Let g be 33/7 - 6/(-21). Let t be k(g). Is (-24)/(t + 2/6) a multiple of 13?
False
Let s(t) = 3*t + 2. Let j be s(3). Suppose 0 = k - 3 - j. Is 14 a factor of k?
True
Suppose -4*c + 2*n + 48 = -3*n, -4*n - 52 = -4*c. Let l = 8 - c. Let w(o) = o**2 + 6*o + 1. Does 14 divide w(l)?
True
Let l = -133 + 170. Is l a multiple of 35?
False
Suppose 4*i - 50 = 2*m, 3*m - 2 = -0*i - i. Let s = 25 + i. Does 12 divide s?
True
Let r(b) be the third derivative of b**6/120 + b**5/60 - b**4/24 - 5*b**3/2 + 4*b**2. Let q be r(0). Is 3 a factor of 50/q*(-3)/1?
False
Let q be (23 - 2/(-2)) + 0. Suppose x + 4*v - q = -x, -5*v = -x - 9. Does 3 divide x?
True
Suppose -2*j - 473 = -2*y - 3*y, 3*y - 4*j - 281 = 0. Is 22 a factor of y?
False
Let g(f) = f**2 - 4*f + 68. Is 4 a factor of g(0)?
True
Suppose 49 + 35 = 3*l. Does 6 divide l?
False
Let n(g) = 3*g - 22. Is n(13) a multiple of 14?
False
Let n(v) = 2*v + 36. Is n(-16) even?
True
Let w = -5 - -8. Let p = 2 + w. Is 5 a factor of p?
True
Let z(q) = -q**3 + 9*q**2 + 15*q - 7. Let w be z(10). Let r = -23 + w. Does 20 divide r?
True
Let u(s) = s**2 + 6*s + 2. Suppose -40 = -2*c + 7*c. Is u(c) a multiple of 17?
False
Let q = 20 + -29. Is 8 a factor of 6/q - (-77)/3?
False
Let g(v) = -57*v**2 - 17*v + 5. Let h(q) = -19*q**2 - 6*q + 2. Let w(t) = -4*g(t) + 11*h(t). Let p be w(-2). Let r = p + -32. Is r a multiple of 19?
False
Let o(g) = -37*g - 2. Let d be o(4). Is 4 a factor of d/(-14) + 4/14?
False
Let x = 1 - -4. Suppose 4*b = x*l - 167, -2*l = -l + 4*b - 19. Suppose 77 - 4 = 4*p + 5*f, -3*f - l = -p. Is 11 a factor of p?
True
Let g(h) = h**3 + 7*h**2 + 8*h + 3. Suppose -4 - 9 = -f. Suppose 4*s = 5*v + f, -3*v = v - s + 17. Is 11 a factor of g(v)?
False
Suppose -4*c + 6*z - z = -11, -3*z = 3*c - 15. Suppose -c*y = 16, -y + 6*y + 75 = t. Is t a multiple of 11?
True
Let y = -193 - -283. Let b = 64 - y. Let l = -8 - b. Is l a multiple of 16?
False
Suppose -2*k = 2 + 4, 2*g - 5*k = 249. Is g a multiple of 13?
True
Suppose 0 = -q + 4 + 1. Suppose -s = 2 - q. Suppose 48 = -2*o + 4*o - 3*m, s*o = -4*m + 72. Does 14 divide o?
False
Let j(t) = -t**2 + 13*t - 4. Does 18 divide j(9)?
False
Suppose 4*d + 2*n + 96 = 6*n, 5*n = 4*d + 96. Let k = d + 38. Suppose 2*c - 3*c + k = 0. Is 7 a factor of c?
True
Let h = -151 + 267. Is 10 a factor of h?
False
Suppose k + 3*o = 82, -3*o = -2*o - 3. Suppose -2*b - 42 = -t, 2*t - k = -b + 16. Is 22 a factor of t?
True
Suppose 4*v = -2*w + 7*w + 30, 0 = -v + w + 8. Does 10 divide v?
True
Let a = 29 - 49. Let s be ((-15)/12)/((-1)/(-12)). Does 14 divide a/s*3*7?
True
Let j(m) = -m**3 - 7*m**2 - 6*m + 5. Let k be j(-6). Is 3 a factor of k/25 + 39/5?
False
Let i be (2/(-3))/((-6)/261). Let o = -7 + i. Is o a multiple of 17?
False
Let x = -83 + 138. Is x a multiple of 11?
True
Let g(r) = 3*r. Is g(5) a multiple of 10?
False
Suppose 3*o = 4*o - 61. Is 15 a factor of o?
False
Suppose -4*v = -3*q - 205, v = 5*q + 31 - 1. Is 5 a factor of v?
True
Suppose 105 = 4*n - 19. Suppose 3*s + 5*b = n, 3*s + 4*b = 6*s - 13. Does 7 divide s?
True
Suppose -x + 52 - 14 = 5*c, -20 = -5*c. Suppose -82 = -m + x. Let p = m - 67. Is 15 a factor of p?
False
Suppose q + 2*q = -15, 5*q = 4*i - 197. Is i a multiple of 9?
False
Let f(i) = -10*i**2 + i - 1. Let g be f(2). Let r = 25 - 82. Let y = g - r. Is 9 a factor of y?
True
Suppose -2*j + 2*x + 5 + 9 = 0, 3*x = -9. Let w = 3 + j. Is 3 a factor of w?
False
Let r be ((-9)/(-6))/((-3)/(-32)). Let y = 10 + 0. Does 4 divide y/(-4)*r/(-10)?
True
Let p = -97 + 161. Is p a multiple of 16?
True
Let r(y) = y**2 + 6*y + 5. Let w be (56/12)/(4/(-6)). Does 12 divide r(w)?
True
Let s(i) = -2*i + 28. Does 14 divide s(-17)?
False
Suppose -4*u - 21 = 3. Let q = u - -8. Suppose q - 18 = -s. Is s a multiple of 8?
True
Let o = 379 - 688. Let p = -192 - o. Let j = -65 + p. Does 14 divide j?
False
Let y = 19 + -19. Is -1*(-13 - (y + 1)) a multiple of 12?
False
Let l(o) = -o. Let p(w) = -3*w. Let u(h) = 6*l(h) - p(h). Let d be u(1). Is 22 a factor of ((-188)/6)/(2/d)?
False
Let z(w) = -w**2 - 2*w + 1. Let c be z(7). Let h = c + 103. Is h a multiple of 25?
False
Suppose -55 = -7*q + 1191. Does 19 divide q?
False
Let t(g) = 21*g - 35. Does 14 divide t(5)?
True
Let s be 2*(-3)/(6/(-7)). Suppose -3*v - 4*z = 0, 3*v - 4*z + s*z + 3 = 0. Is 11 a factor of ((-66)/(-9))/(v/(-18))?
True
Let f(c) be the second derivative of c**4/3 - c**3/2 + c**2 - c. Suppose -4*t - 2*a - 16 = -8*t, t = 5*a + 22. Does 6 divide f(t)?
True
Suppose 3*a = -3*i + 144, a = i + i - 102. Suppose 4*n - 3*g - 87 = 13, 2*n - i = -g. Is 13 a factor of n?
False
Let h = 22 - 15. Does 7 divide h?
True
Let w(h) = 2*h - 4. Let c be w(4). Suppose c*s - 60 = -2*j + 6*j, -2*j = 4*s - 78. Is s a multiple of 10?
False
Suppose 0 = 9*s - 862 - 47. Is 24 a factor of s?
False
Let o(r) = 5*r + 2*r**3 + 7*r**2 - r**3 + 4 - r + 0*r. Is o(-6) a multiple of 8?
True
L