2/(-4). Let b(k) be the first derivative of k**3/3 - k**2/2 - 2*k + 5. Is 6 a factor of b(x)?
True
Let h(w) = 42 + 7*w - 5*w + w. Is h(0) a multiple of 7?
True
Is (10 + 2)/((-4)/(-6)) + -2 even?
True
Suppose -3*m - 2 = -3*y + 7, m - 2 = 0. Suppose 3*u = 3*c + 7*u - 323, 5*c = -5*u + 530. Suppose -y*l + 49 = -c. Does 22 divide l?
False
Suppose -3*h - t + 36 = -5, -2*t = -h + 16. Is 7 a factor of h?
True
Let r = -20 + 27. Suppose 2*u + 85 = r*u. Does 17 divide u?
True
Let o(m) = 3*m**3 + 3*m**2 - m - 2. Let r be o(-2). Is (1 - 13)/(r/16) a multiple of 8?
True
Let p(k) = k**3 + 3*k**2 + 2*k - 2. Let f be p(-3). Let o(a) = a**3 + 7*a**2 - 8*a + 8. Is 2 a factor of o(f)?
True
Let i(t) = t**3 - 12*t**2 - t + 24. Is 15 a factor of i(13)?
True
Suppose 0 = a - 3*j - 11, 3 = -3*a + j - 4. Let m = 10 + a. Does 6 divide m?
True
Suppose -28*a = -14*a - 28. Is a even?
True
Let a = -12 - -32. Does 5 divide a?
True
Let y(r) = -24*r + 57. Is y(-15) a multiple of 13?
False
Let z be ((-2)/4)/((-4)/(-8)). Let i(j) = -j**2 - j + 1. Let c(p) = 5*p**2 - 9*p - 5. Let v(n) = z*c(n) - 4*i(n). Is 8 a factor of v(11)?
False
Suppose -3*h = -h - 126. Is 9 a factor of h?
True
Suppose -3*h + 2*p - 4 = -2*h, 2*h + 32 = -2*p. Is -48*(3/h + -1) a multiple of 18?
False
Let m(q) = 4*q**2 - 1. Suppose -5 = 3*f + 2*f. Let h be m(f). Suppose -4*c + 7 = -5*y, 0 = 3*c - 3*y - 3 - h. Is 3 a factor of c?
True
Let u(b) = -10*b. Let p be u(-1). Suppose 3*a - 1 + p = 0. Let h(i) = -i**3 - 2*i**2 - 4*i - 1. Does 10 divide h(a)?
True
Let q(j) = -6*j. Suppose i = -5*f - 2 - 11, 2*f + 2*i + 10 = 0. Does 6 divide q(f)?
True
Let f = 45 - 13. Let o be (f/20)/(2/5). Is 18/o + (-2)/(-4) a multiple of 2?
False
Let w = 181 + -51. Is w a multiple of 12?
False
Let h(d) = -26*d**2 + 2*d. Let u(r) = 53*r**2 - 5*r. Let y(i) = -7*h(i) - 3*u(i). Is 11 a factor of y(-1)?
True
Let u = -180 - -270. Is u a multiple of 17?
False
Let l(y) = 2*y**2 + 4*y - 4. Is 3 a factor of l(-4)?
True
Let p = 8 + -6. Suppose -j - p = -0*j. Is 41 - ((-1 - -1) + j) a multiple of 17?
False
Suppose -4*n = 2*k - 21 - 1, -n + 13 = 2*k. Does 15 divide ((-1 - 1) + n)*30?
True
Suppose 1 = -3*u + 43. Is u even?
True
Let y be (-2 + -1)*(-1)/1. Suppose 184 = 2*q + 3*j - 4*j, -y*j = -q + 82. Is q a multiple of 19?
False
Let q(f) = f**3 + 11*f**2 - 14*f - 4. Let p be q(-12). Let i(a) = a**2 + 5*a + 2. Let y be i(-5). Suppose -y*v + 14 = -2*b, -3*b = -7*b + p. Is 6 a factor of v?
True
Suppose 3*c = 8*c - 640. Is c a multiple of 32?
True
Let n = 272 + -154. Is n a multiple of 22?
False
Suppose 0 = 3*x - 5 - 22. Does 3 divide x?
True
Suppose -4 = -a - z, -3*a + z - 9 = -29. Is 6 a factor of a?
True
Let f(s) = -s + 11. Suppose 0 = 5*n - 4*r - 124, 0*n + 4*r = n - 28. Suppose 4*d + n = -12. Is f(d) a multiple of 10?
True
Suppose -6*b - 99 = -7*b + 2*x, 0 = -5*b + 3*x + 516. Is 21 a factor of b?
True
Does 17 divide (1 + -4)*1 + 37?
True
Let h(w) = w**3 - 5*w**2 + w. Let z be h(5). Suppose -100 = -z*j + a, -4*j + 4*a + 60 = -j. Is 20 a factor of j?
True
Is 18 a factor of -1 + 1 + 4 - 192/(-6)?
True
Let k = 221 + -145. Is k a multiple of 38?
True
Let q = -7 + 4. Let w be (-6)/q + -3 - 6. Is 11 a factor of 75/7 - 2/w?
True
Suppose 508 + 1592 = 7*d. Is 50 a factor of d?
True
Suppose 3*x + 6 + 6 = 0. Let i = x + 2. Is (i - (-3 - -2)) + 15 a multiple of 14?
True
Let f be (-36)/(-5) + (-8)/40. Let z = 2 + f. Is z even?
False
Let j(k) = k**3 + 9*k**2 + 11. Suppose 6 + 44 = 5*u. Suppose -4*z = -4*r + 2*r - u, -3*z = 4*r + 42. Is 4 a factor of j(r)?
False
Does 14 divide (5 + 33)*(-5)/(-2)?
False
Let i be -1*5*240/(-25). Suppose 3*q + 2*q = 0, -3*q - i = -4*y. Does 4 divide y?
True
Suppose 5*f = -2*k + 22, -2*f = -k + f. Suppose y - 4*y = k. Is -3*((-120)/9 - y) a multiple of 15?
False
Suppose r + 0*t - 2*t - 59 = 0, 5*t = -25. Suppose -x = -18 - r. Let m = x - 27. Is 20 a factor of m?
True
Suppose -2*c + 15 = 3*c. Suppose 16 + 4 = 5*o. Suppose 3*q - c*x = 48, 0 = -o*q - 0*x - 5*x + 19. Is 4 a factor of q?
False
Suppose 0 = 3*d - 6*d + 9. Suppose -v = -2*t - d + 8, 0 = -2*v + 2*t - 8. Is 2/6 - 122/v a multiple of 14?
False
Let s(d) = 2*d**2 + 2*d + 4. Is s(-4) a multiple of 14?
True
Suppose -5*d + 47 = -4*d. Does 6 divide d?
False
Suppose 2*a - 4*u = 12, -u + 63 = -0*a + 5*a. Let i be (a/(-15))/((-4)/10). Suppose -i*n - r = -21, -2*r = -5*n + r + 25. Is 8 a factor of n?
True
Suppose 3*f - 219 = -3. Does 16 divide f?
False
Suppose 0 = -4*n - 0*n - 60. Let d(k) = k**2 + 10*k - 12. Let m be d(-11). Let z = m - n. Is z a multiple of 7?
True
Let b(d) = d**2 - 8*d + 9. Let l be b(7). Suppose -3*n - 1 = -5*m + 19, -l*n = 0. Suppose m*u + 4 = 92. Is 11 a factor of u?
True
Suppose -o = 3*o - 28. Suppose 2*q - 4*s - s + 14 = 0, 3*q + 21 = -4*s. Let n = o - q. Does 7 divide n?
True
Let c(k) = 148*k - 7. Is c(1) a multiple of 22?
False
Suppose 4*z - 1 = 107. Does 23 divide z?
False
Let n = -84 - -135. Is 6 a factor of n?
False
Let q(f) = 145*f**2 - f - 1. Let o be q(-1). Suppose 0 = 6*w - w - o. Is 16 a factor of w?
False
Let p be 2 + 0 + 2*-1. Suppose y - 2*y - 2 = p. Is 15 a factor of y*(-2 + 57/(-6))?
False
Suppose 80 + 15 = 5*j. Suppose 5*o + j = z - 51, 0 = -3*o - 15. Does 22 divide z?
False
Suppose -3*r = -3*k, 0 = -2*r - 3*r - 3*k + 24. Let g be -3 + (r - 2*-18). Does 7 divide g/3 - (0 - 2)?
True
Let j(f) = f**2 + 5*f - 3. Let r be j(-6). Let c(s) = 2*s. Let k be c(r). Let x(m) = m**3 - 6*m**2 + m + 6. Is x(k) a multiple of 12?
True
Let o(m) = -22*m - 3. Let j = 15 + -11. Suppose -d + 6 = -j*d. Is o(d) a multiple of 12?
False
Let c = 5 + -3. Suppose -c*m - 13 + 92 = -3*b, 4*b = -4. Is 19 a factor of m?
True
Let o = 79 + 29. Is 28 a factor of o?
False
Let d = 26 + -32. Let j(v) = -3*v - 15. Is 3 a factor of j(d)?
True
Suppose 2*v + 638 = 5*g, 4*g - g - 366 = -3*v. Does 14 divide g?
True
Let f(l) = -2*l**3 + 3*l**2 + l - 1. Suppose 0*k + 2 = -k. Is f(k) a multiple of 9?
False
Let y = -3 - -8. Suppose -16 + y = -a. Is a a multiple of 11?
True
Let h(s) = -s + 9. Is h(5) a multiple of 3?
False
Let j = 94 + -27. Is 24 a factor of j?
False
Suppose -1361 = -5*x - 461. Is 36 a factor of x?
True
Let v be (-4)/(-18) + (-96)/(-54). Is 10 a factor of 1 - (0 + v - 11)?
True
Suppose -4*j - 4*y = -8, -j - 3*j = -4*y + 8. Suppose -4*a + 0*a = j. Suppose 4*g + 11 = o - 0*o, a = -5*o - 3*g + 78. Is 10 a factor of o?
False
Suppose -5*t + 3*i = -23, 5*i - 1 + 14 = 2*t. Suppose 10 - 2 = 4*h. Suppose -h*r - 3*r + 71 = 2*q, -t = 4*r. Does 17 divide q?
False
Let r be (2/(-1))/(-2)*1. Suppose 2*g - 9 = r. Suppose -t + g*t = 20. Is t a multiple of 2?
False
Suppose -4*o + 72 + 256 = -4*d, 3*d - 5*o = -244. Let x = d - -131. Is 24 a factor of x?
True
Let j(c) = -c**3 - 5*c**2 + 4*c + 5. Is 7 a factor of j(-7)?
False
Let i(s) = s**3 + s**2 - s + 132. Is i(0) a multiple of 11?
True
Does 18 divide (-3773)/(-35) + (-3)/(-15)?
True
Suppose -5*s + 345 = 3*n + 2*n, -5*s + 345 = -5*n. Does 11 divide s?
False
Let n(f) = -7*f**2 - 5*f - 17. Let w(r) = -r**2 + r - 1. Let y(j) = -n(j) + 6*w(j). Is 3 a factor of y(-11)?
False
Suppose 15 = -5*y + 2*b + 3*b, 5*y - 30 = -4*b. Does 2 divide y?
True
Suppose 147 + 392 = 7*o. Does 7 divide o?
True
Suppose 5*h + 6 = 3*l, 2*h - 7*h = 5*l - 10. Suppose 2*z - 37 = 5*c - 0*c, h = -4*c + 4. Suppose -2*v + 19 + z = 0. Does 10 divide v?
True
Suppose 0 = -2*h - 2*h + 8. Suppose -h*j = -j - 3. Is j even?
False
Suppose 0*z - 8 = -2*z. Suppose z*h = 3*v + 12, v = -0*v. Suppose 0 = 4*o + q - 39, -2*o + 7*q = h*q - 42. Does 11 divide o?
True
Let w = 189 + -134. Is 11 a factor of w?
True
Let l = 113 - 58. Is l a multiple of 16?
False
Let d(t) = -2*t**2 + 5*t**2 - 4*t - 2 - 2*t**2. Is d(8) a multiple of 10?
True
Is 1/(-2 + (-26)/(-12)) a multiple of 3?
True
Is 1 + (-6)/4*-14 a multiple of 8?
False
Suppose y - 5*s = -10, -5*s - 16 = 5*y + 4. Let h = 38 + 9. Let m = h + y. Is m a multiple of 21?
True
Let j be ((-6)/(-8))/((-2)/8). Let x = j + 3. Suppose x = -3*m + 4*m - 9. Is m a multiple of 4?
False
Let j = 15 + 19. Let n be (-5)/5 - (-1 + 18). Let f = n + j. Is 16 a factor of f?
True
Suppose 8*o - 9*o = -46. Does 10 divide o?
False
Suppose -r - 4*r + 90 = 0. Is r a multiple of 4?
False
Let b = -2 + 4. Let u = 53 + b. Let d = -38 + u. Is 10 a factor of d?
False
Suppose 2*p