ose -n*c = -3*c - 23. Suppose 5*k = -3*d + 16, 5*d = -4*k - 5 + c. Is 2 a factor of k?
True
Suppose 2*t = -2*t + 8. Suppose 0 = -2*q + t*o - 6*o, 5*q + 4*o = 0. Suppose 2*b - 2 = -q, 0 = -y - b + 4. Is 3 a factor of y?
True
Suppose -202 = -5*f + 143. Is 16 a factor of f?
False
Let y = 251 + -119. Is y a multiple of 33?
True
Let r(y) = -y**3 + 6*y**2 + 8*y - 3. Let x be r(7). Let w be (-6)/x*(-40)/(-6). Let m = 14 + w. Does 4 divide m?
True
Let t(s) = -s**2 - 8*s + 10. Let x(v) = 4*v - 5. Let l(g) = -3*t(g) - 5*x(g). Let y be l(5). Let z = y + -58. Is 16 a factor of z?
True
Let x(k) = -k**2 - 29*k + 36. Is 17 a factor of x(-21)?
True
Suppose 2*c + 3 = 3*c. Suppose 0 = -c*w + 7*w - 116. Does 14 divide w?
False
Let n(m) = 2*m**2 + 2*m + 14. Is 18 a factor of n(-5)?
True
Suppose -6*q + 146 = -64. Does 7 divide q?
True
Let g(p) = 98*p + 1. Let d be g(-2). Let w = -325 - d. Let m = -91 - w. Is 14 a factor of m?
False
Suppose -4*d = -0*d + 4*u - 20, 0 = -2*d - 4*u + 20. Suppose 4*c - 100 = -c - 4*i, d = 5*i - 25. Does 4 divide c?
True
Let c(w) = w**2 + w. Let k(j) = 6*j**2 + 4*j - 1. Let t(z) = -5*c(z) + k(z). Let s be t(0). Does 6 divide 13 - (6/2 + s)?
False
Let r be 12/15*(-15)/(-6). Suppose r*u = -2*l - 2*u + 18, -4*l + u + 45 = 0. Does 3 divide l?
False
Let t = 17 - 26. Let o = -5 - t. Suppose -2*y - 16 = -o*y. Is y a multiple of 6?
False
Suppose -2*r = 5*r + 133. Let v = r - -86. Is v a multiple of 18?
False
Let m = 3 + -8. Let u = 13 + m. Is u even?
True
Let m = 16 - -6. Suppose 0*c + 10 = 5*c. Suppose -c*t + m = -2*h, -t + 2*t + 3*h + 9 = 0. Is 4 a factor of t?
False
Let u be (2 + -1)/(2/6). Let a be -1 - (-47 - (u + -1)). Suppose -4*z + a = -28. Is z a multiple of 12?
False
Let z(r) = 2*r**2 - 7*r + 10. Is z(7) a multiple of 16?
False
Suppose 2*x + 6 = -x. Let m be x*3*3/(-6). Suppose m = g - 5. Does 4 divide g?
True
Let x = -11 - -7. Is 2418/54 - x/18 a multiple of 12?
False
Suppose 125 = -3*l + 389. Is l a multiple of 15?
False
Let y(p) be the third derivative of p**5/60 - p**4/4 + 5*p**3/6 + p**2. Let w be y(5). Suppose 2*r - 106 + 18 = w. Is 13 a factor of r?
False
Is 25 a factor of (-4)/1 - 432/(-8)?
True
Suppose 4*q + 1591 = -4*o - q, -o = 2*q + 394. Is 13 a factor of (-12)/(-16) + o/(-16)?
True
Let l(b) = 0 + 5*b + 2*b**2 - 1 - 2*b. Suppose -9*o + 15 = -4*o. Is 10 a factor of l(o)?
False
Let m(c) = -9*c - 34. Is m(-14) a multiple of 19?
False
Let s = -50 - -9. Suppose -n + 4*n - 207 = 0. Let v = n + s. Does 14 divide v?
True
Let t(b) = 14*b + 2. Let f be t(7). Let x = f + -54. Suppose 0 = 4*r - x + 14. Is r a multiple of 7?
False
Let w(y) = -y**2 - 6*y + 9. Let p be w(-7). Suppose -5*x - 6 = -p*h, -4*h - x + 7 + 5 = 0. Suppose -h*j + 2*j = -4. Is 2 a factor of j?
True
Let f(q) = 17*q - 1. Let m be f(1). Suppose 2*l - m = -0*l. Is 8 a factor of l?
True
Suppose r + 172 = -3*r. Let v = r + 73. Is 7 a factor of v?
False
Suppose k - 4*k - 116 = -q, -4*q = k - 425. Let y = q + -65. Does 14 divide y?
True
Let s = 66 + -36. Does 6 divide s?
True
Let m(a) = -a**3 - 4*a**2 - 5*a + 1. Is 11 a factor of m(-6)?
False
Suppose 0 = 2*n + 3*n + 105. Does 4 divide ((-4)/(-3))/(-2)*n?
False
Suppose 2*w - 126 = -0*w. Is 9 a factor of w?
True
Let u(k) = -6*k + 18. Let w(b) = -7*b + 19. Let i(g) = 6*u(g) - 5*w(g). Let q = -1 + 1. Is 8 a factor of i(q)?
False
Suppose s = 4*q - 35, -3*q + 2*s + 10 = -2*s. Let g = -23 - q. Is 9 a factor of (1*-2)/(6/g)?
False
Let g = -44 + 78. Suppose -3*m + 5*y + g + 59 = 0, 5*m - 183 = -y. Does 12 divide m?
True
Let u(a) = -10*a + 3 + 8 + a**2 + 2. Suppose 4*q - 39 = -3*t, 3*q + q - 3*t - 33 = 0. Is u(q) a multiple of 4?
True
Let v be 6/8 + (-3)/(-12). Let d = v + 8. Suppose 0 = k - 0*k - d. Does 9 divide k?
True
Let v = 16 + 9. Is 4 a factor of ((-10)/v)/(1/(-10))?
True
Suppose -4*x - 2*v = -20, -5*v + 4*v = -2. Suppose -63 = x*s + 57. Does 13 divide (-12)/s - (-256)/10?
True
Suppose -5*r + 117 - 42 = 0. Suppose -s + r + 13 = 0. Is s a multiple of 7?
True
Suppose -3*a + 170 = 2*a. Is a a multiple of 17?
True
Let k(j) = -4*j + 5. Suppose m + 5 = -1. Let p(u) = -8*u + 11. Let r(h) = m*p(h) + 14*k(h). Is 19 a factor of r(-6)?
False
Let f = 56 + -26. Is 15 a factor of f?
True
Let u(j) = 3*j**2 - 3*j + 1. Let d(v) = 2 - 2*v**2 + v**2 + 5*v - 2*v - 2*v. Let o be d(0). Is 7 a factor of u(o)?
True
Let p(u) = -u**3 - 2*u**2 + 2*u + 3. Let n be p(-6). Suppose 5*s = 5*r - n, 6*r - s - 123 = r. Is 9 a factor of r?
False
Let k = 186 - 125. Let i = k + -35. Is 13 a factor of i?
True
Suppose 0 = 5*n + 2*g - 3187, -2*n - 2*g = -0*n - 1276. Is 19 a factor of n/14 - 6/4?
False
Suppose -4*n + 2*g + 292 = -2*g, g + 142 = 2*n. Is 23 a factor of n?
True
Suppose 2*z + 29 - 87 = 0. Does 29 divide z?
True
Let j be 7 + 5/(10/(-4)). Suppose j*t - 4*t - 13 = 0. Is 13 a factor of t?
True
Suppose -60 = -5*b + 2*o, -5*o = b + 4*b - 60. Let y(u) = u**2 - 9*u - 14. Is 6 a factor of y(b)?
False
Let x(w) = w**3 - 6*w**2 + 6*w - 7. Let r be x(6). Let l = -15 + r. Is l a multiple of 7?
True
Let n(b) = -b**2 + 7*b - 1. Let y be n(6). Let s(a) = 7*a**2 - a - 8. Let z(l) = 6*l**2 - 2*l - 7. Let p(h) = 5*s(h) - 6*z(h). Is p(y) a multiple of 6?
True
Let v(s) = -s - 11. Let l be v(-9). Let b = l - -15. Let m = b - 8. Is m a multiple of 3?
False
Let d(s) = s + 11. Suppose -2*q - 9 = -3*q. Let c be d(q). Suppose 4*n + 4*w = 76, -w + c = -6*w. Does 12 divide n?
False
Let o be (1 + 0)/((-3)/(-9)). Let u(n) = n**2 - n - 1. Let k(s) = -s**2 + s + 1. Let l(x) = -6*k(x) - 5*u(x). Is l(o) a multiple of 2?
False
Let k(x) = 7*x**2 + x - 5. Is k(-3) a multiple of 24?
False
Let h(n) be the second derivative of -n**8/6720 + n**7/420 - n**6/180 - n**5/60 + n**4/6 + 2*n. Let y(f) be the third derivative of h(f). Does 13 divide y(4)?
False
Let v(d) = -d. Let w be v(-6). Let z(r) = 10*r + 11. Is z(w) a multiple of 20?
False
Suppose -20 = -3*a - 2*a. Suppose 4*y + a = 6*y. Let z(q) = 14*q - 2. Is z(y) a multiple of 13?
True
Let h(z) = -z**2 + 5*z + 6. Let y be h(6). Let p = -64 + 159. Suppose 7*w - 2*w - p = y. Does 19 divide w?
True
Let c(w) = w**3 + 4*w**2. Let x be c(-4). Let b = x + 5. Does 5 divide b?
True
Let k = -11 - -38. Let w = k + -12. Is 15 a factor of w?
True
Suppose x - 156 = -44. Suppose 3*l - x = -l. Is 14 a factor of l?
True
Let k = 1 + -9. Let v = k + 12. Suppose -f = v*t - t - 17, 3*f - 3 = 3*t. Is 2 a factor of t?
True
Let q(c) = -2*c**3 - 5*c**2 - 3*c. Let n be q(-3). Is 12 a factor of 6/n - (-107)/3?
True
Suppose 2 = -2*n + 8. Suppose x = -n*x. Suppose x = -0*y + 4*y - 44. Does 5 divide y?
False
Suppose 5*h - 2*h - 3 = 0. Let r be 3 - ((h - -1) + -3). Suppose -5*z + 38 = -r*z. Is z a multiple of 17?
False
Suppose 4*z + 3*o - 296 = 0, 2*z - 4*o - 148 = o. Is 14 a factor of z?
False
Let h(k) be the second derivative of k**4/12 + k**3/6 + 9*k**2/2 + 2*k. Suppose 0 = -5*g - 0*g. Is 9 a factor of h(g)?
True
Is 7 a factor of (28/8 + 0)*10?
True
Let i(o) = -o**3 - 5*o**2 - 2*o - 1. Let b be ((-9)/(-4))/(3/8). Suppose -b*r = -2*r + 20. Is i(r) a multiple of 3?
True
Let v = 11 - 8. Suppose 33 = v*p - 0*p. Is p a multiple of 3?
False
Suppose 5*u = i - 12, -3*u = -2*i + 5*i - 72. Suppose 0 = -c + i - 5. Is 17 a factor of c?
True
Suppose 2*u = 7*u - 35. Is 4 a factor of u?
False
Let g be (-2 + (-20)/(-8))*1062. Suppose 7*r - 43 = g. Is r a multiple of 20?
False
Let r be ((-32)/6)/((-4)/6). Let w = r + -2. Is w a multiple of 3?
True
Let z = 1 + 3. Let u = 0 + z. Suppose 4*h - 4*o = -h + 90, 4*h - 68 = u*o. Does 8 divide h?
False
Let p be (-3)/((-27)/(-12) + -3). Let l(k) = 4*k - 6. Does 5 divide l(p)?
True
Suppose 7*r = 39 + 185. Does 8 divide r?
True
Let g(b) = 2*b**2 - 2*b. Suppose -4*t = -0*d + 5*d + 22, -17 = 3*t + 4*d. Does 12 divide g(t)?
True
Is 99/6*(-8)/(-6) a multiple of 8?
False
Is 3/3*1*57 + 3 a multiple of 20?
True
Suppose 4*t = -2*w + 6*w - 236, 3*w - 4*t = 176. Suppose 0 = -4*d - 3*s + 26, 3*d + 4*s - 9 = 14. Suppose -15 = -d*q + w. Does 15 divide q?
True
Is 29 a factor of -4 + (3 - -4) + 113?
True
Let f = 49 - 28. Suppose f = l - 4. Does 10 divide l?
False
Suppose -3*y + 7*b + 129 = 2*b, -4*y - 4*b = -172. Let n = y + -24. Does 6 divide n?
False
Suppose -4*l - y = -173 - 54, -2*y + 230 = 4*l. Let g = -17 + l. Is 21 a factor of g?
False
Let r = -49 - -131