*f - 39. Does 4 divide c(11)?
False
Let a(f) be the second derivative of -f**3/6 + f**2 - 3*f. Let n be a(0). Suppose -96 = -n*i - 3*m - 34, 5*i + 2*m - 133 = 0. Is 14 a factor of i?
False
Let u(p) = p**3 - 6*p**2 + 5*p + 4. Let k be u(5). Suppose -20 = k*s - 4*a, -4 - 3 = s + a. Is 9 + 4/s*3 a multiple of 7?
True
Suppose -230 = 15*f - 20*f. Is f a multiple of 27?
False
Suppose -9*j + 0*j + 216 = 0. Is j a multiple of 4?
True
Let z be 16/6*(-3)/(-2). Suppose -49 = -z*d + 7. Is d a multiple of 9?
False
Let i = -20 - -35. Is i a multiple of 15?
True
Let y = 3 - 3. Suppose -24 = -4*s - 4*d, -3*s + d + 6 = -y*d. Suppose c = 3*l - 33, -s*l + 4*l - 11 = 2*c. Is l a multiple of 5?
False
Suppose -q + 2*r = -18, -2*q + 39 = 2*r - 5*r. Is q a multiple of 8?
True
Suppose s + 114 = 4*s. Is s a multiple of 10?
False
Let u = -95 + 143. Is u a multiple of 24?
True
Let a(s) = 5*s - 6. Is 9 a factor of a(19)?
False
Let f = 185 - 13. Is f a multiple of 40?
False
Let p(h) = 2*h - 1. Let k be p(2). Does 26 divide k*1 + 2 + 21?
True
Let s = 25 - 20. Is s a multiple of 2?
False
Suppose 4*m - 1144 = -4*v, 0 = -3*v - m - m + 854. Is 47 a factor of v?
True
Let c = 50 + -18. Let x = 2 + c. Is x a multiple of 17?
True
Suppose -5*f - 51 = -4*w, -5*w + 109 = -f + 40. Let x = w + -8. Is x even?
True
Suppose 4*q + 5*s - 120 = 2*s, -128 = -4*q - 5*s. Suppose 3*v - q - 38 = -5*g, -4*v + 76 = -4*g. Let d = v - 6. Is 7 a factor of d?
True
Let q = -11 + 17. Let g be (-4)/6 - 2/q. Is 6 a factor of ((-4)/(-6))/(g/(-18))?
True
Suppose -4*a + a + 12 = 0. Suppose -4*k - l = -29, -2*k + l = -a*k + 15. Does 7 divide k?
True
Suppose 6*w - 8 = 4*w + 2*p, 0 = 4*w - 3*p - 18. Suppose -w = 3*b - 2*b. Let j(s) = s**2 - 3. Is 22 a factor of j(b)?
False
Does 33 divide 222*2/3*1?
False
Suppose -4 - 6 = -j. Is ((-52)/j)/(4/(-10)) a multiple of 8?
False
Does 23 divide (-23 + 26)*58/3?
False
Suppose 5*w = 11 - 1. Suppose -2*z - 8 = -5*k - w, -k + 9 = -3*z. Is 4 a factor of 4/(-6) - 14/z?
True
Suppose 0 = -5*w - 5, 5*p - w - 46 = -0*p. Let g(t) = 4*t - 2. Let n be g(p). Suppose -5*a + n = -21. Does 11 divide a?
True
Let c = -50 + 81. Does 5 divide c?
False
Let h(s) = 16*s**2 + 8*s - 7. Let r(u) = 15*u**2 + 9*u - 8. Let q(v) = 7*h(v) - 6*r(v). Is 23 a factor of q(1)?
True
Let q = -106 + 157. Suppose -y + 4*y = -2*s + q, 5*s = -y + 95. Is 5 a factor of s?
False
Suppose 3*g = -3*z + 2 + 25, -5*z + 47 = 4*g. Is z a multiple of 8?
False
Does 23 divide 23/((-8)/224*4/(-3))?
True
Let b(r) = 8*r**3 - 2*r**2 + r + r - 13*r**3. Does 14 divide b(-2)?
True
Let n(z) = -z + 12. Suppose -2*l + 3 = 7. Let x = l + 8. Is 6 a factor of n(x)?
True
Let n(o) = -2*o + 4. Suppose -2*f - 12 - 2 = 0. Does 6 divide n(f)?
True
Suppose 0 = 5*p - 14 - 51. Suppose 5*q - 4*j = -40, 2*j = -2*j. Let t = p + q. Is 3 a factor of t?
False
Let m = -8 - -8. Suppose 0 = -q - m + 39. Suppose 3 = -3*r + q. Does 7 divide r?
False
Let s be 5*(-1 + 7/5). Suppose 0 = 7*u - u - 828. Suppose 0 = 4*y + 2*v - u, 2*y - 5*v - 103 = -s*y. Is 16 a factor of y?
True
Let s = 10 + -7. Suppose -v + 36 = 2*g, v - 4*v + 63 = -s*g. Suppose 3*d - v = -i, 0*d - 3*d = 3*i - 30. Is d a multiple of 8?
True
Does 19 divide 0 + (4 - 0)/((-1)/(-62))?
False
Suppose -4*i + 47 = -3*i. Suppose 0 = -5*m + i - 2. Does 9 divide m?
True
Is 11 a factor of (340/51)/(2/66)?
True
Suppose 12 = 2*z - 5*z. Let t(n) = -n**2 - 4*n + 5. Let m be t(z). Let u(s) = s**3 - 4*s**2 + 5*s + 1. Is 16 a factor of u(m)?
False
Suppose 0 = -3*c + 5*c + 4*p - 104, -3*c = 5*p - 153. Does 23 divide c?
True
Let n(s) = -13*s - 2. Let p be n(-1). Suppose -4 = -y + p. Does 4 divide y?
False
Let l(a) = -3 - 14*a + 2 - 1. Is l(-2) a multiple of 13?
True
Suppose -41 = d - 2*d - 3*g, 3*g = -15. Is 8 a factor of d?
True
Let u(y) = 5*y - 2. Let r(w) = 5*w - 3. Let a(x) = 2*r(x) - 3*u(x). Is a(-4) a multiple of 10?
True
Let z = -10 - -3. Let r(n) = n**3 + 7*n**2 - n. Is r(z) a multiple of 3?
False
Let f(r) = -33*r**3 - 3*r**2 - 8*r - 11. Does 17 divide f(-2)?
False
Suppose -4*s = 6 + 10. Let a be (2 - -1)/(s/(-4)). Suppose -a*o + 53 = 2. Does 13 divide o?
False
Suppose -5*k + 2*m = 1, k + 0*m - 5*m = 9. Let j(p) be the third derivative of p**5/15 + p**2. Is 4 a factor of j(k)?
True
Let l(r) = r**3 + 8*r**2 - r - 5. Is 12 a factor of l(-6)?
False
Let g = 483 - 219. Does 22 divide g?
True
Let j be (-7)/((-21)/(-6))*-17. Suppose 5*d + 2*q = 138, -j - 60 = -3*d - 4*q. Suppose -2*z = m - d, 3*m = m - 5*z + 56. Is m a multiple of 10?
False
Let n(t) = -t**3 - 4*t**2 + 4*t + 5. Let r be n(-5). Suppose -m + 3*q + 20 = 0, 2*q = -2*m - 2*q + r. Let u = 37 - m. Is 13 a factor of u?
True
Suppose -3*i + 142 = -4*q, 15 + 125 = -4*q + 2*i. Let l = -88 - q. Is 4 a factor of (l/(-24))/(3/16)?
True
Let c(j) = 17*j - 7. Does 13 divide c(6)?
False
Does 17 divide (1/1)/((-6)/(-4404)*2)?
False
Let z = -2 + -2. Let j(b) = -b**3 - 2*b**2 + 2*b + 5*b**2 - 4 - 5*b**2. Does 12 divide j(z)?
False
Suppose -4*k = -2*k + 16. Let g = 10 + -16. Does 7 divide k/g*(-63)/(-6)?
True
Let z(x) = -32*x**3 - 2*x**2 - x. Let u be z(-1). Let s = u + -21. Is s a multiple of 4?
False
Let m = 4 - 1. Suppose 12 = m*v - 0*v. Suppose 7 = 3*w + 5*d - 3, -v*w + 16 = 4*d. Does 5 divide w?
True
Let j(d) = d**2 - 10*d + 9. Let u be j(9). Let r = u + 6. Does 2 divide r?
True
Let d(q) = -q**2 + 4*q. Let r be d(4). Suppose r = -3*z + 33 + 174. Suppose 0*f + 5*f - z = u, -3*u = 4*f - 40. Is 13 a factor of f?
True
Let x be 12/6 + (-2)/(-2). Suppose 4*k + 12 = 5*k. Suppose -x*u + 18 = -k. Does 8 divide u?
False
Suppose 3*g - 33 = -2*o, -2*o + 5*g + 36 = 11. Does 4 divide o?
False
Suppose 0 = -4*d - 27 - 21. Let p = -7 - d. Suppose p = 2*c - 21. Does 10 divide c?
False
Let a(o) = -o**3 + 7*o**2 - 6*o + 4. Let l be a(4). Suppose 4*g - 4*k = l, -3*g - g + 13 = -k. Is 2 a factor of g?
True
Suppose 2*s = s - 3. Let a = -2 - s. Is 7 a factor of (0 - a - 1) + 16?
True
Let o(s) = -s**2 + 9*s - 9. Let y be o(7). Suppose -2*b + 50 = -0*r + 2*r, -y*r + 107 = -b. Does 11 divide r?
True
Let j be 0 + (-3 - 0) + 32. Is 21 a factor of 6 + -4 - -2*j?
False
Let x(o) = 2*o + 5. Suppose 2*f = 4*f - 10. Is 6 a factor of x(f)?
False
Suppose -2*f = 2*b - 3 - 15, 2*b = 4*f + 30. Suppose b = 5*v - 19. Does 3 divide v?
True
Let m(v) = -v**2 + 8*v - 1. Suppose 3*t = 7*t - 20. Let h be m(t). Is 5 a factor of (-2)/(-1) + h/2?
False
Suppose -35 = -l + 17. Suppose -6*r + 34 = 4. Does 5 divide 18/(-45) + l/r?
True
Suppose 3*q - 5 = 3*t + 2*t, t + 5*q - 27 = 0. Suppose 43 = t*y - 13. Is 14 a factor of y?
True
Suppose 0*n = 3*n - 45. Does 9 divide n?
False
Suppose -a - 336 = -5*a. Does 27 divide a?
False
Suppose 2*o - o = -4*f, 2*o = 2*f + 50. Suppose 4 = 5*h + 2*r - o, -5*h + 45 = -5*r. Is h a multiple of 6?
True
Suppose 0 = 4*v - 74 - 346. Suppose 3*k + v = 6*k. Is 8 a factor of k?
False
Let c = -1 + 0. Let m = -7 - c. Is m/15 + 52/5 a multiple of 10?
True
Let v be 0 - 2*(-2 - -1). Let a(i) = 15*i. Is a(v) a multiple of 15?
True
Let s = 0 + 4. Suppose w = -s*w + 140. Is w a multiple of 13?
False
Let a(q) = -2*q**2 + 26*q - 25. Let c(f) = -f**2 + 13*f - 13. Let j(i) = -3*a(i) + 7*c(i). Is 3 a factor of j(11)?
True
Suppose 6*u - u - 69 = -2*f, 2*f - 17 = -u. Suppose n + 4*j = 3*n + 14, -u = n - 5*j. Let i = 0 - n. Does 2 divide i?
False
Suppose 2*p - 169 = 279. Suppose 3*b - l = p, 5*b + 4*l - 260 = 119. Is 19 a factor of b?
False
Suppose 80 + 34 = -j + k, 0 = 4*j + k + 466. Let v = 182 + j. Is 23 a factor of v?
False
Suppose 3*d + d = 384. Is d a multiple of 16?
True
Suppose -3*h - 4*p = -24, 0 = -4*p + 9 + 3. Let d(c) = -5*c**3 - 2*c**2 - c. Let t be d(-1). Suppose 0*a - 2*a + t*v + 18 = 0, -h*a + 71 = -v. Does 5 divide a?
False
Is 16 a factor of -48*(8/(-12) - 0)?
True
Suppose 3*s + 0*s - 77 = -4*j, 3*j = 5*s + 94. Does 7 divide j?
False
Let g = -6 + 18. Suppose -p + g = 2*p. Suppose 0 = 4*w + p*z - 52, -4*w = -z - 26 - 51. Is w a multiple of 18?
True
Let a(c) = -c + 8. Is 6 a factor of a(-4)?
True
Suppose 3*u + 2*u - 150 = 0. Is u a multiple of 5?
True
Let w = -17 - -17. Is 1 - w - 112/(-2) a multiple of 19?
True
Let s = -19 + 28. Is (-190)/(-8) + s/(-12) a multiple of 9?
False
Suppose 238 = 18*n - 16*n. Is 17 a factor of n?
True
Let s(y) be the second derivative of -y**5/20 + y**3/6 + 3*y**2/2