pose 2*s + k = 6*s. Suppose -4*z + 68 = 5*x, 3*x - z - 30 = s*z. Is x a multiple of 6?
True
Let k(t) = -4*t**3 - 4*t**2 - 2*t + 5. Let q be k(-4). Suppose 34 = 5*f - 671. Let s = q - f. Does 24 divide s?
False
Let q(t) = -15*t**2 + 14*t + 0*t**2 + 2*t**2 + 10 + t**3. Does 17 divide q(12)?
True
Suppose 10*a = -8*a + 1728. Is a a multiple of 12?
True
Let x(z) = -1 - 3*z + 3 + z. Is x(-6) a multiple of 14?
True
Let r(w) be the second derivative of w**4/12 + 5*w**3/6 + 2*w**2 + w. Let t be r(-4). Suppose t = 4*v - 4*h - 116, -h - 82 = -4*v + 34. Is 11 a factor of v?
False
Let q = 198 + -132. Is 22 a factor of q?
True
Let f(w) = -w**2 + w**2 + w**2 + 3 - 4*w. Let o be f(3). Suppose b + b - 40 = o. Is b a multiple of 7?
False
Suppose -4*t - 179 = -55. Let j = t + 53. Is 10 a factor of j?
False
Suppose 3*q = -q + 416. Suppose q = 5*d - d. Does 13 divide d?
True
Let n(s) = s**2 - 3*s - 3. Let m be 15/(-20) - 2/8. Let d(r) = -r**2. Let o(c) = m*n(c) - 2*d(c). Is o(-6) a multiple of 11?
False
Let t(d) = d**2 - 6*d + 3. Let p be t(7). Let j = 19 - p. Is 8 a factor of j?
False
Let w(z) = 6*z**2 + z - 3. Let n be w(-4). Let k = n + -50. Is 16 a factor of k?
False
Suppose 6*o - 814 = -160. Is 30 a factor of o?
False
Suppose a = 2*a + 12. Does 15 divide a/20 - (-466)/10?
False
Suppose 2*z - 6*p - 18 = -p, -z + 14 = -5*p. Suppose z*q = -4*m + 121 - 25, m + 3*q - 24 = 0. Is m a multiple of 12?
True
Let v = 21 + -4. Let c = v - 12. Is c even?
False
Let w = 0 + -2. Does 17 divide 51/2*w/(-3)?
True
Let a = -1 + 3. Suppose 60 = 6*n - a*n. Suppose 3*o - n - 21 = -2*y, 0 = y + o - 16. Is 4 a factor of y?
True
Suppose -5*g = -2*h - 16, h - 2 = -2*g + 4*h. Suppose 0 = -4*f + 7*f + g*p - 7, 0 = 3*f + 2*p + 1. Let v = 8 + f. Is v even?
False
Let d(k) = k**2 + 2*k - 8. Does 14 divide d(-6)?
False
Suppose i - 50 = -4*i. Suppose -t + 3*t - i = 0. Suppose -49 - 39 = -5*b - 3*x, 5 = t*x. Is b a multiple of 17?
True
Let v(k) = k**3 - 7*k**2 + 6*k + 5. Let m be v(6). Let t be (m + -3)/(4/(-18)). Is (t/15)/1*-15 a multiple of 9?
True
Let n(d) = -d + 23. Let v(q) = q**3 + 9*q**2 - 11*q - 5. Let m be v(-10). Suppose -f + 4*i = 12, -6*i + 3 = 4*f - m*i. Is n(f) a multiple of 23?
True
Let y be ((-3)/(-1))/((-3)/8). Let h(o) = -o**3 - 8*o**2 - 5*o - 10. Does 9 divide h(y)?
False
Suppose 0 = -5*z + 8*z - 30. Is z/3*(-288)/(-40) a multiple of 12?
True
Let s = -181 + 282. Let u = s - 28. Is 21 a factor of u?
False
Let j(q) = -4*q**3 - 3*q**2 + q + 6. Is 4 a factor of j(-2)?
True
Let k(n) = n**3 + n**2 + 20. Let m be k(0). Suppose 32 = -4*o - 2*y, 2*o + y - 2*y + m = 0. Let h(r) = -r**3 - 9*r**2 - r - 3. Is h(o) a multiple of 3?
True
Suppose a = -0*a + 1. Does 8 divide 145/4 - a/4?
False
Suppose 0 = 5*d + 23 - 8. Is d - -7 - 3 - -66 a multiple of 25?
False
Let w be (-4)/(-2)*6/3. Suppose 14 + w = f. Does 9 divide f?
True
Suppose -5*l - 15 = -3*g, -5*g - 55 = -0*l + 5*l. Let a = l - -4. Is 7 a factor of (-5 - a) + (2 - -9)?
False
Let r be (-5 - -9)*(1 - -1). Suppose -4*s = 2*l - 100, 0*l = -2*l - r. Is s a multiple of 5?
False
Is 3 a factor of 22*(-2)/8*-2?
False
Suppose -28*y + 198 = -25*y. Is y a multiple of 8?
False
Suppose -17*m + 2165 + 2357 = 0. Does 34 divide m?
False
Suppose 4*t = -2*t + 924. Does 12 divide t?
False
Suppose 0 = -i + 10 - 2. Does 8 divide i?
True
Let o be 5/(-2)*(11 + -1). Let p = -16 - o. Does 3 divide p?
True
Suppose -5*z + 5 = -t, 4*t - 26 = -z - 2*z. Let x be 0/(-3 + 0 + z). Is 14 a factor of 2/(1/10 - x)?
False
Suppose 3*g + 4*j - 165 = 0, 0 = 3*g - 4*j - 186 + 45. Suppose 0 = -3*z - 126 + 585. Suppose -2*k + g = 5*u, -3*k = 2*k + 4*u - z. Does 10 divide k?
False
Suppose 0 = -r + 3*j + 9, r - 2*j + 106 = 5*r. Is r a multiple of 6?
True
Let l = -6 + 10. Does 5 divide (l - 108/8)*-2?
False
Let s(n) = -n**3 - 11*n**2 - 11*n - 8. Let u be s(-10). Let b = 4 + u. Is 4 a factor of b?
False
Suppose j - 4*j - 4*n = -264, 4*n + 324 = 4*j. Is 21 a factor of j?
True
Let k(g) = g**2 + 15*g - 10. Is 29 a factor of k(8)?
True
Let x = 107 - 100. Is x a multiple of 2?
False
Let c(j) = -j**2 + 2*j - 3. Let z be c(3). Let s = z - -32. Does 13 divide s?
True
Let o(c) = -c**2 + c - 8. Suppose 3*v = -v. Let w be o(v). Is 27/(-4)*w/3 a multiple of 9?
True
Let m(z) = 2*z**3 - 5*z**2 - 4*z + 6. Let w be m(4). Let r = w - 14. Is 12 a factor of r?
True
Let p = 0 - 4. Let h = -2 - p. Suppose 8 = -2*u, 2*u + 81 = 5*i - h*u. Does 9 divide i?
False
Let g(p) = p**2 + 4*p + 4. Let y be g(-4). Let a = 5 - 2. Is 10 a factor of a/12 - (-91)/y?
False
Let n(k) = 24*k - 1. Suppose w = -2*p + 6*w - 8, p - 2*w = -3. Let b be n(p). Suppose b = 2*h - g, 0*h = 3*h - g - 35. Is h a multiple of 6?
True
Suppose 5*o + 4*y - 3*y = 217, 5*y = 5*o - 205. Is 29 a factor of o?
False
Let t be ((-1)/(-3))/(3/279). Let o(j) = -j**2 + 3*j - 3. Let h be o(-3). Let r = h + t. Is 10 a factor of r?
True
Is (0 + 11)/(15 + -14) a multiple of 11?
True
Let d = -22 - -32. Suppose -4*k = -w - 4*w - d, -3*w = -2*k + 4. Is 10 + w/(2 - 3) a multiple of 8?
True
Let f(n) = -n**3 + 3*n**2 + 3*n - 1. Let a(x) = -4*x**3 - x**2 - x - 1. Let g be a(-1). Is f(g) a multiple of 6?
False
Suppose f - 3*f = 4. Let q be -3*f/6 - -3. Suppose -2*h - 24 = -b, 2*h = b + q*h - 36. Does 13 divide b?
False
Let b = 41 - 23. Is b a multiple of 6?
True
Suppose l = 3*v - 0*v - 143, -204 = -4*v + 4*l. Is v a multiple of 13?
False
Suppose 2*j = -3*q + 23, 4*q - 26 = -4*j + 2. Let o be q/12 + 3/(-4). Suppose -m + 3 = o, 0*g - 23 = -2*g - m. Does 5 divide g?
True
Let m = 33 - 26. Is 6 a factor of m?
False
Suppose 24*g = 27*g - 264. Is 8 a factor of g?
True
Suppose 4*h + 0*h = -4. Let k(z) = 8*z**2 + 6*z + 4. Let y be k(-1). Is 111/18 + h/y even?
True
Suppose 8*s - 58 = 6*s. Does 12 divide s?
False
Suppose 62 + 6 = 2*z. Suppose 5*f + 26 = -u, 2*f - 5*u + z = 2. Let d = f - -15. Is 6 a factor of d?
False
Let c(t) = -t**2 + 7*t - 6. Let w be c(7). Does 8 divide (2 + (-28)/6)*w?
True
Let l be ((-10)/4)/(1/(-2)). Suppose l + 115 = 5*p. Does 9 divide p?
False
Suppose 4*t - 2*x = -2, 8*t - 4*x = 3*t - 1. Let v be (t - -4)*3/3. Suppose -f - 16 = -v*f. Does 4 divide f?
True
Suppose g - 20 = 3*g. Let k = -6 - g. Suppose -k*j + h + 97 = -2*h, -h = 3*j - 76. Is j a multiple of 15?
False
Let m = -3 + 1. Let q(o) = o**2 + 3*o + 3. Let w be q(m). Is 4 a factor of (2 - 5) + (w - -8)?
False
Let u = 79 + -10. Let a = u - 49. Suppose -3*p = 2*p - a. Is 4 a factor of p?
True
Let q(f) = -6*f**2 + 2 - f**3 - f - 4 + 7*f**2. Let d be q(-2). Let v = d - 4. Does 4 divide v?
True
Suppose -6*a + 57 = -3*a. Does 6 divide a?
False
Let n(r) = 3*r + 14. Is 6 a factor of n(10)?
False
Let f(c) = c**3 + 7*c**2 + 5*c + 6. Is f(-6) a multiple of 12?
True
Suppose 211 = 5*g - 2*t, 0 = 2*t + 2*t + 12. Is 10 a factor of g?
False
Let h = 56 - 32. Suppose 3*f + h = 63. Is f a multiple of 13?
True
Let z be 25/3 - (-12)/(-36). Let s(q) = 2*q**2 - 9*q + 10. Is 20 a factor of s(z)?
False
Suppose 0*h - 19 = h. Let m = 37 + h. Suppose 5 = 5*t, t + 3*t = -2*q + m. Is 7 a factor of q?
True
Suppose -q = -0*q - 3*j - 1, 3*q - 24 = 2*j. Is 3 a factor of (-2)/(-5) - (-26)/q?
True
Let w(g) = g**3 + 5*g**2 - 7*g - 1. Let l be w(-6). Suppose -3*k + 21 = 2*z - l, 4*z + 20 = 0. Is k a multiple of 6?
True
Suppose 2*x - 4*d = -d + 29, -5*x = d - 81. Is x a multiple of 8?
True
Let m(a) = a**3 + a**2 + a + 15. Is m(0) a multiple of 7?
False
Let q be ((-6)/(-3))/(3 - 1). Let r be -2*(-4)/((-2)/1). Let k = q - r. Is 4 a factor of k?
False
Let n = -22 + 36. Is 2 a factor of n?
True
Let w(t) = -t + 4. Let r be w(7). Let d = 4 + r. Suppose -j + d = -6. Does 7 divide j?
True
Let p = 96 + -87. Is p a multiple of 8?
False
Suppose 26 = 4*i - 6. Is i a multiple of 4?
True
Suppose 5*x - 52 = 18. Is x a multiple of 14?
True
Is 14 a factor of (1 - (-264 - -2)) + 3?
True
Let v(k) = -56*k + 5. Does 26 divide v(-1)?
False
Let v = 20 - 40. Let z = 28 + v. Suppose 18 = -3*m + z*m + g, -3*g = -9. Is 2 a factor of m?
False
Suppose -3*m + 2*m = 4. Let n = -1 - m. Suppose -5*p + 4 = n*b, -3*b = -p + 3 + 5. Does 2 divide p?
True
Let g = 6 - 5. Let k(a) = 186*a - 1. Let h be k(g). Suppose -4*s + d = 2*d - h, -s + 43 = -3*d. Does 18 divide s?
False
Let a(p) be the second derivative of p**3/6 + 2*p**2 - p. Let c be a(-4). Is 3 a factor of