 86. Let r be c(-8). Let a(b) be the first derivative of -b**4/4 - 2*b - 1. Is a(r) even?
True
Suppose 68*t - o + 4861 = 72*t, -5*t - 2*o = -6074. Is 42 a factor of t?
False
Let u(k) = -4*k - 5. Let w = 15 - 0. Let q = -24 + w. Does 17 divide u(q)?
False
Let c(u) = 2*u**3 + 5*u - 38. Does 29 divide c(6)?
False
Let v be (-6)/24*(-56)/2. Let l = v - 5. Is -2 + (49 - l/(-2)) a multiple of 22?
False
Suppose 15*l - 19*l = 40. Is 25 a factor of (150/(-4))/(5/l)?
True
Let y(m) = 3*m + 1. Let d be y(3). Suppose 0 = -5*o + 10*o - d. Suppose o*b - 17 = -0*b - 3*g, 2*g = -2. Does 10 divide b?
True
Let n(y) = y**3 - 6*y**2 + 3*y + 7. Let i be n(4). Let k(t) = -t**3 - 12*t**2 + 4*t + 3. Is 15 a factor of k(i)?
True
Let r be (-10)/(-4)*20/(-25). Let k be (4 - -25)/(r/(-4)). Suppose 4*u = -j - 4*j + 232, -k = -j + 5*u. Does 16 divide j?
True
Let g = 22 + -27. Is 17 a factor of 40 - (-3 - (-1 + g))?
False
Suppose -9*f = -4*f + 115. Let n = f + 119. Is 20 a factor of n?
False
Let l(o) = -18*o + 17. Let h(g) be the third derivative of 3*g**4/8 - 3*g**3/2 - 12*g**2. Let m(v) = -7*h(v) - 4*l(v). Is m(2) a multiple of 5?
False
Let t(d) = -9*d**3 - 3*d**2 - 2*d - 2. Let m be t(-2). Let c = m - 37. Suppose 34 = 3*u + 4*z, 9 - c = -4*u + 2*z. Is u a multiple of 3?
True
Let f = -3 - -7. Let y = 15 - f. Suppose -12*i + 21 = -y*i. Is 4 a factor of i?
False
Does 42 divide (-151922)/(-185)*(-10)/(-4)?
False
Let i be ((-7)/2)/((-4)/(-40)). Let o = -49 - i. Let v = 29 + o. Is v a multiple of 15?
True
Let l(t) = -t**2 - 1. Let u(i) be the third derivative of i**5/15 - i**4/4 + 5*i**3/2 - 14*i**2. Let d(z) = -6*l(z) - u(z). Is 29 a factor of d(-7)?
False
Let d = 3127 + -2222. Is d a multiple of 56?
False
Suppose 5*s + 0*s + g - 106 = 0, 2*g - 2 = 0. Suppose 0*v + 15*v = -90. Is 8 a factor of s + v/(-2 + 4)?
False
Let k be 9 + -25 - (-2 + 1). Let l = 11 - k. Suppose -3*j - 4*o - l = -190, 0 = -5*j + 4*o + 252. Is j a multiple of 13?
True
Suppose 4*r - 264 = 3*k - 33, 2*k + 174 = 3*r. Is 10 a factor of r?
True
Suppose -6*a + 3*a + 3 = 0. Does 11 divide ((-10)/(-5))/(a/11)?
True
Let t = 62 - 54. Suppose 0 = t*n - 6*n - 96. Does 7 divide n?
False
Let x be 0/(-3*(-1 - -2)). Suppose j - 8 - 6 = x. Suppose s + 3*h - 24 = 0, 2*h - 3*h + j = s. Does 4 divide s?
False
Let y be (-25 - -18)*(0 + -6). Suppose -3*k - 4*a + 116 = -8*k, 5*k + 117 = 3*a. Is 32/k*y/(-4) a multiple of 5?
False
Suppose 0*k = 2*k + 4, 0 = 2*d - 4*k - 96. Suppose 126 = 45*y - d*y. Is 14 a factor of y?
True
Suppose -4*f + 1340 + 340 = 0. Is 13 a factor of f?
False
Let d(j) = 24*j**2 - 55*j - 25. Is d(9) a multiple of 89?
True
Suppose 4*p - 6 = 2*p - 4*m, p - 3*m - 28 = 0. Does 13 divide p?
True
Suppose 18*f - 168 = 26*f. Let z = 60 + f. Is 13 a factor of z?
True
Suppose -10 = -l - l. Suppose -d + 3*d = r + 104, -l*d + 260 = r. Is d a multiple of 13?
True
Suppose -28*r - 4 = -30*r. Suppose r*s = 120 - 0. Does 10 divide s?
True
Let b(k) = -20*k + 44. Is 12 a factor of b(-20)?
True
Suppose -4*n = -5*o + 33, n - 21 + 0 = -2*o. Suppose -7*i + o + 40 = 0. Does 5 divide i?
False
Let a(k) = -15 - 15 + 0*k**2 + 11 + k**2 - 8*k. Let s be a(15). Suppose 2*w + 28 = s. Is w a multiple of 8?
False
Suppose -17*k + 15*k = -5708. Is k a multiple of 23?
False
Let l(h) be the second derivative of 0 + 5*h**2 - 3/2*h**3 - 1/12*h**4 + 2*h. Is l(-7) a multiple of 12?
True
Let q be (1 - 2)*2 - -259. Suppose -5*n + 3*t = -0*n - q, -2*n = 4*t - 108. Is 26 a factor of n?
True
Let h = 59 - 71. Is ((-2)/(-3))/(h/(-1026)) a multiple of 5?
False
Let c = 44 - 41. Suppose -c*u - 4 = -31. Is 23 a factor of 1*(-69)/u*-12?
True
Let m(v) = 2*v - v - 3*v - 1 + 4*v + 24*v**3. Let y = -4 - -5. Does 14 divide m(y)?
False
Suppose 0 = -7*g - 57 + 841. Does 7 divide g?
True
Suppose -26040 = -183*u + 159*u. Is u a multiple of 35?
True
Let p(u) be the second derivative of -u**3/2 - 17*u**2/2 - 4*u. Let c be p(-9). Suppose 7*y = c*y - 192. Does 16 divide y?
True
Let f(y) = y**3 - 10*y**2 + 2*y + 55. Does 4 divide f(13)?
True
Suppose 43 + 173 = 2*k. Is k a multiple of 6?
True
Let n = 38 - 36. Is 2*(217 + -4)/3 + n a multiple of 49?
False
Suppose 45 = 5*s - 4*g - g, -3*s = 3*g + 3. Suppose -161 + 6 = -2*y + 3*r, -s*y + 5*r + 305 = 0. Does 10 divide y?
True
Suppose 2*b - 4 = b, 2*b = -4*u + 80. Is u a multiple of 9?
True
Suppose 4*w - 558 = 2*w. Suppose 2*v + 342 = -4*u, -7*u + 3*v - w = -4*u. Let g = u + 182. Does 33 divide g?
False
Suppose -3*h = -8*h. Suppose h = -73*a + 76*a - 201. Is 13 a factor of a?
False
Suppose 0 = -4*p - 3*o + 204 + 87, p + 3*o - 66 = 0. Is p a multiple of 14?
False
Let f = -1095 - -1755. Is 12 a factor of f?
True
Let p(n) be the first derivative of -2 - 5/2*n**2 - 1/3*n**3 - 2*n. Does 3 divide p(-3)?
False
Let y = -36 - -55. Suppose -21 - y = -5*p. Is p a multiple of 2?
True
Let i(a) = -a**3 + a**2 - 20*a - 16. Is i(-5) a multiple of 18?
True
Let g(a) = -2*a**3 - 3*a**2 - a - 1. Let s be g(-2). Suppose -3*x - 7*v + 176 = -2*v, s*x = -v + 264. Is x a multiple of 13?
True
Let c(q) = -2*q**3 + 21*q**2 - 8*q + 17. Does 31 divide c(7)?
False
Let u(g) = 3*g - 11. Let n be u(5). Suppose n*s + 122 - 474 = 0. Does 17 divide s?
False
Let r = -54 - -110. Let p = r - 29. Is p a multiple of 9?
True
Let m = -38 - -118. Suppose 4*o - 8*o = -m. Is o a multiple of 2?
True
Suppose -6*y + 35 = -49. Let d = -10 + y. Suppose 4*u - 264 = -d*m, u = 4*m - 91 - 193. Is 18 a factor of m?
False
Suppose 3*o - 2 = 2*o. Let r(n) = -4 + 5*n + 7 + 1 + o. Is r(5) a multiple of 19?
False
Let w(v) = -2*v**2 + 35*v - 17. Let q be w(17). Is (-35)/7 + (101 - q) a multiple of 33?
False
Let n be (-9)/(-6)*(-9 + 11). Let l = -1 - 1. Let t = n - l. Does 3 divide t?
False
Suppose 45 - 10 = -5*l. Let j(i) = -9*i - 2. Let a be j(l). Let f = 91 - a. Does 15 divide f?
True
Let i(v) = -v**2 - 4*v - 11. Let m be i(-5). Let j(l) = -6*l + 20. Is 21 a factor of j(m)?
False
Does 11 divide 11 + -24 + (5 - -3891)?
True
Let h = 30 - 15. Suppose 162 = -12*b + h*b. Is b a multiple of 4?
False
Suppose 3*t - 3*o = 33, -5*t - 4*o + 11 = -17. Let k(y) = y**3 - 7*y**2 - y - 8. Let r be k(t). Does 2 divide r/18*6/4?
True
Let c(p) = 28*p**2 + 7*p - 14. Does 16 divide c(2)?
True
Suppose 16*s - 530 + 50 = 0. Does 15 divide s?
True
Let q(b) = -20*b - 3. Let t be q(3). Let y be -9*(0 - (2 + -1))*-1. Is (-2)/y - 3010/t a multiple of 23?
False
Let c(v) = v**3 - 2*v**2 - 5*v - 3. Suppose 5*a - 10 = -5*p, 0 = 3*a + 2 + 1. Suppose 0 = q + 3*o - 7 + p, q + 5*o - 4 = 0. Is 5 a factor of c(q)?
False
Let a be (-3)/(-6)*-2 + 4. Is 5 a factor of (-140)/(-15) + 2/a?
True
Let a(z) = -z**3 + 8*z**2 + 4*z - 5. Let i be a(7). Let p = i + -42. Is 4 a factor of (12/p)/((-1)/(-10))?
True
Suppose 3*p + 4 = 22. Suppose 3*x = p*x - 117. Does 9 divide x?
False
Suppose 8*m + 0 + 8 = 0. Is (-1)/((-6)/673) - m/(-6) a multiple of 25?
False
Let v = 24 + -33. Is 7/((-252)/8) + (-281)/v a multiple of 15?
False
Suppose -3*x + 36 = -2*b + 7*b, -4*x - 2*b = -62. Let v = x - -190. Is 14 a factor of v?
False
Suppose q + 0*q - 41 = 0. Suppose -43 - q = -4*z. Does 7 divide z?
True
Suppose -27*q = -28*q + 3. Let k(y) = 2*y**2 - 6*y + 6. Is 2 a factor of k(q)?
True
Let l = 67 + -40. Suppose -l = -i + 1. Is 28 a factor of i?
True
Let j(g) = g**2 - 3*g - 4. Let b be j(5). Suppose -z + 84 = b. Is 26 a factor of z?
True
Let x be (-4)/(2 - 384/188). Let c = x - 49. Is c even?
False
Suppose 8118 = 5*r + 2973. Does 19 divide r/18 - 6/36?
True
Suppose -x - h + 3098 = 0, 12*h - 7*h - 9304 = -3*x. Is x a multiple of 19?
False
Let w be -3 - 2*(-42)/12. Does 9 divide 1*(-81)/w*(-17 - -9)?
True
Suppose -6*w - 31 = x - w, -x = 2*w + 16. Let b be x - -3 - (0 + 7). Let f = b + 35. Does 15 divide f?
False
Let w(q) = 2*q**3 - 12*q**2 + 14. Let z be w(6). Suppose -3*k = -116 + z. Does 34 divide k?
True
Suppose 3*u - 119 = -y, y - u - 38 - 85 = 0. Suppose 5*q - 4*g = 610, 0 = 2*q - q - 4*g - y. Does 42 divide q?
False
Is 13 a factor of (-1 - -2 - 43)/(54/(-468))?
True
Let m = -342 - -648. Is m a multiple of 34?
True
Let u(i) = i**3 - 25*i**2 + i - 21. Let j be u(25). Suppose 3*x - 12 = -0*x. Suppose j*h - 5*a = 206, -x*a = 2 - 10. Does 12 divide h?
False
Suppose 3*a + 0*a = 12. Suppose 0 = a*d - 166 + 26. Suppose -13 - d = -4*z. Does 6 divide z?
True
Let q 