e of 9?
False
Let i(j) be the second derivative of 2*j + 1/3*j**3 + 0 + 3*j**2. Is i(6) a multiple of 18?
True
Let n = -256 + 490. Does 23 divide n?
False
Let y be ((-4)/6)/((-2)/(-642)). Does 15 divide 8/(-28) + y/(-14)?
True
Suppose -2*r = -73 - 7. Is 10 a factor of r?
True
Does 22 divide (5 - (-2 - -8))*(-170 + 1)?
False
Let n be 88*(9/(-6) - -1). Let h = 83 + n. Is 8 a factor of h?
False
Let c = 26 + -13. Let z = c - 2. Is 11 a factor of z?
True
Suppose y - 34 = -11. Is y a multiple of 23?
True
Let b(r) = r**3 + 8*r**2 - 9*r - 2. Let m(c) = -3*c**3 - 25*c**2 + 28*c + 5. Let u(z) = -7*b(z) - 2*m(z). Is u(-7) a multiple of 2?
True
Let f(c) = -3*c**2 + 13 + 0*c**2 + 2*c**2 + 3 - 11*c. Let s be f(-12). Suppose -s*j + 5*j - 7 = 0. Is j a multiple of 7?
True
Let d(s) = s**3 + 14*s**2 + 16*s + 7. Let v be d(-13). Is (-1)/(v/10 - -3) a multiple of 3?
False
Suppose 5*l = 2*b - 369, -l + 29 = b - 159. Let d = b + -114. Does 19 divide d?
False
Suppose 25 = -o - 5*u, 5 + 10 = -3*u. Let f(z) = 0*z**2 + z + z**2 + o*z**2. Is 20 a factor of f(-6)?
False
Suppose 5 = 5*g - 20. Let q = g + -5. Is (q - 3)*(-25)/15 a multiple of 5?
True
Suppose i + 2 = -0*i, d + 4*i - 30 = 0. Suppose -x - 12 = -d. Is 15 a factor of x?
False
Suppose 37 = -2*b + 3*b. Is b a multiple of 10?
False
Suppose 4*l = f + 29, 3*l - l + f - 13 = 0. Let q = -6 + l. Suppose -2*r + q + 17 = 0. Is r a multiple of 4?
False
Let v = 32 + -50. Let r be (-2)/(-4) - v/(-4). Let k = r - -7. Is 3 a factor of k?
True
Let k = 35 + -21. Let g = 19 - k. Is g a multiple of 4?
False
Is (11/((-264)/400))/((-2)/3) a multiple of 4?
False
Let t(p) = -3*p. Let g be t(-1). Suppose 2*o = 3*n - o - 171, o = -3*n + 167. Suppose -n = -g*z + 16. Is z a multiple of 12?
True
Let m(w) = -4*w**3 - 6*w**2 - 6*w - 5. Is 5 a factor of m(-2)?
True
Let o(b) = -b**3 + 16*b**2 + 11*b + 26. Is o(16) a multiple of 20?
False
Suppose -3*p + 7*p = g + 25, 0 = -5*g - 25. Let b = 32 + 157. Suppose s = 5*o - s - 195, 4*o = -p*s + b. Is 16 a factor of o?
False
Let b(v) = 8*v + 2. Is 2 a factor of b(0)?
True
Let f(m) = -m**2 - m + 7. Let p be f(0). Let t(r) = 8*r**2 + r - 6*r + 0*r**2 - p - r**3. Is t(7) a multiple of 3?
False
Suppose 3*h = 0, -5*h = -0*b - 3*b - 9. Is 24 a factor of b*(-27 + (-4 - -2))?
False
Let j(u) = u**2 - 1. Let y be j(-1). Suppose y = -o - 3 + 7. Suppose 5*h + p - 19 = o*h, -h + 15 = 5*p. Is 10 a factor of h?
True
Let p be (-1)/(-3) + (-22)/(-6). Suppose -44 = -5*n + 2*u, 2*n - 2*u = n + p. Let t = n + 10. Is t a multiple of 14?
False
Is 14 a factor of (2/4)/((-3)/(-342))?
False
Suppose 4*o = 3*h + 28, -o + 4*o + 30 = -2*h. Is 6 a factor of 4*((-3)/h - -2)?
False
Let w(x) be the first derivative of -x**2/2 + 28*x + 2. Is 14 a factor of w(0)?
True
Let n = -5 - 1. Let l be 20/n*(-3)/2. Suppose l*h + 0*h - 90 = 0. Is 9 a factor of h?
True
Let g = -2 - -6. Suppose g*p = -p + 35. Suppose 2*t = 3*t - p. Is t a multiple of 7?
True
Suppose -4*h + 40 = -3*c, h + 3*h - 2*c = 36. Let t = h - -1. Does 4 divide t?
True
Let d be -5 - -8 - 0/(-2). Let l be 75/(-9)*(d + 0). Let y = l + 47. Is y a multiple of 18?
False
Let m(j) = -3*j - 3. Let a be m(-3). Suppose 3*t - 3*d + 60 = a*t, 4 = -4*d. Let v = 37 - t. Does 8 divide v?
True
Let t(w) = w**3 + 3*w**2 - 6*w - 3. Let y be t(-4). Suppose 0 = -n + 3*i + 86, 0 = -n - n + y*i + 176. Does 26 divide n?
False
Let l = 2 + 6. Suppose 0*x + l = -2*x. Is 10 a factor of (-6)/x*40/3?
True
Suppose 4*t - 12 = 4. Let u(x) = 4*x + 5. Let p(j) = j + 1. Let a(f) = 10*p(f) - 2*u(f). Does 8 divide a(t)?
True
Suppose 5*a + 3*j - j - 33 = 0, 2*j = -3*a + 19. Is a a multiple of 7?
True
Is (-823)/(-15) - 8/(-60) a multiple of 11?
True
Does 24 divide ((-12)/10)/((-3)/60)?
True
Let r be -33 + 4 + (-1 - -2). Let o be (-108)/(-14) - 8/r. Is (0 - o)*(-5 + 4) a multiple of 5?
False
Let u be (-1)/2 - 26/(-4). Let w = -6 - u. Is (57/w + 0)*-4 a multiple of 14?
False
Let c be (-75)/(-2) - (-1)/2. Suppose 4 = -2*t - 4*x, t - c = 5*x - 5. Is t a multiple of 3?
False
Let w = -2 + 3. Let o be (-1)/w - (1 - -16). Let b = 37 + o. Does 12 divide b?
False
Let n(s) be the second derivative of -s**5/20 - s**4/6 + s**3/6 - s. Does 10 divide n(-4)?
False
Let f = 17 + -6. Suppose f = 2*d - 19. Is 5 a factor of d?
True
Let k be (-10)/(-3)*684/95. Is 6 a factor of (-9)/(-2) - (-36)/k?
True
Let s(t) = 6*t + 2. Suppose 0 = -3*l + 49 + 47. Suppose -2*f + 5*c = -l, 0 = 4*f + c + 2*c - 12. Is s(f) a multiple of 15?
False
Suppose 4*i + 24 = -36. Let d = i - -34. Let x = d - 3. Is x a multiple of 16?
True
Let w = -191 + 272. Is w a multiple of 27?
True
Suppose -2*f - 2 = -6*f + 2*g, 5*f + 2*g = 16. Let s be 3 + (f - (-2 + -48)). Suppose 9*r - 4*r = s. Does 5 divide r?
False
Let q(m) = 7*m**2 + 3*m + 6. Let p(g) = -6*g**2 - 3*g - 5. Let u(n) = -6*p(n) - 5*q(n). Let z be u(-4). Suppose z*w = -2 + 46. Is 8 a factor of w?
False
Let c = -4 + 11. Suppose 2*z + c*y - 3*y - 6 = 0, -4*z + 21 = -y. Is z even?
False
Let c(l) = 5 - 12*l + 14*l + 14*l. Let g be c(5). Suppose 0 = 3*a - 8*a + g. Is 17 a factor of a?
True
Suppose 7*u = 2*u + 15. Suppose -5*n + 36 = u*y - 49, 4*n = -y + 75. Suppose 4*h = -n + 180. Does 14 divide h?
False
Is 5 - ((-4)/2 - 2) a multiple of 9?
True
Let v(g) = -g + 40. Is v(15) a multiple of 18?
False
Let u(p) = p**3 + 6*p**2 + 6*p + 7. Is u(-4) a multiple of 4?
False
Is ((-14)/28)/((-1)/164) a multiple of 41?
True
Suppose 3*v - 229 + 13 = 0. Is 18 a factor of v?
True
Let l(x) = -21*x - 29. Is 11 a factor of l(-7)?
False
Is 5 a factor of 1 + 7/((-14)/(-20)) - 1?
True
Let w(u) = -u - 9. Let q be w(-11). Suppose -48 = -2*k + 2*c, -2*c = -q*k + 3*c + 39. Is k a multiple of 17?
False
Let p = -16 + 19. Suppose 0 = -p*x + 4*x - 19. Is x a multiple of 8?
False
Let u(r) = 4*r + 1. Let h be u(-2). Let t be (-579)/h - 4/(-14). Suppose 5*v - 5*j = 2 + t, 3*v + 2*j = 31. Is v a multiple of 13?
True
Let r = -40 + 13. Let f = 25 + -52. Does 19 divide 6/f + (-1437)/r?
False
Let h(z) = 0*z + z**3 - 2*z**2 + 1 - 1 - z. Let v be h(-1). Is 8 a factor of 17*(-1 - 1*v)?
False
Let a = 20 - 18. Is 17 a factor of (49 + a - 0)/1?
True
Let a be (-13 - -2)*-1 - 4. Is 9 a factor of 56 - (12/4 - a)?
False
Suppose 2*c + 59 + 47 = 0. Let w(l) = -18*l - 5. Let s be w(-5). Let z = s + c. Is 14 a factor of z?
False
Let p = -195 - -133. Let v = -40 - p. Does 7 divide v?
False
Let b = -249 + 386. Does 13 divide b?
False
Let o(k) = -k**3 - 2*k**2 + 5*k + 1. Is o(-4) a multiple of 3?
False
Suppose -77 - 178 = -3*a. Is a a multiple of 12?
False
Let g = 88 + -159. Suppose -7*u = -10*u - 153. Let i = u - g. Is 8 a factor of i?
False
Let f = -121 - -201. Is 20 a factor of f?
True
Suppose -12 = -2*i + 4*f, 4*i = 3*f - f + 54. Suppose 2*q - 4*l - 118 = 0, q + 2*l = i + 55. Does 13 divide q?
True
Let c = 27 + -19. Suppose -45 = -c*n + 3*n. Is 4 a factor of n?
False
Let t = 7 - -3. Is (-2 + 3 + 0)*t a multiple of 5?
True
Suppose z - 4*q - 5 = 23, 3*z = -3*q + 24. Suppose z = -3*s + 96. Is s a multiple of 14?
True
Let g = -167 - -236. Is 16 a factor of g?
False
Let d(l) = l**3 - l**2 + 25. Let y = 6 - 6. Does 12 divide d(y)?
False
Let x(i) = 0*i - i + i - i**3. Is 8 a factor of x(-2)?
True
Let r(q) = q**2 + 7*q**2 + q**3 - 13 - 9*q - 2*q - 2*q**2. Is r(-7) a multiple of 4?
False
Suppose 0*u - u = 0. Suppose u*d + d = 4*x + 14, d + 3*x = 0. Is 2 a factor of (-2)/(-6) - (-10)/d?
True
Suppose -2*v - 2*d = -64, -4*v - 5*d = -2*v - 73. Is v a multiple of 29?
True
Is (-2)/4*912/(-4) a multiple of 42?
False
Is 7 a factor of (-2)/(-2) - (-81)/(4 + -1)?
True
Suppose -5*r = 2*w - 28, -7 = -4*r - 4*w + 25. Let g(j) = -j + 2 + 0 + 4*j. Is g(r) a multiple of 12?
False
Let p be (-3)/(-2)*(-1 - 1). Let j = -5 - -11. Is 7 a factor of j/1 - 6/p?
False
Suppose 7*q - 27 = 4*q. Is q a multiple of 3?
True
Let k be (36/(-16))/(6/(-224)). Let v = -2 - -2. Suppose -l + 28 = a, v*a - 3*a - 4*l = -k. Is 14 a factor of a?
True
Does 11 divide 24 + (-2 + -1 - -4)?
False
Let q be (-16)/(-6)*(-18)/(-8). Let a be ((-6)/4)/((-6)/(-112)). Is a*(q/4 - 2) a multiple of 7?
True
Suppose -y + 0*r + 272 = 5*r, -3*r - 492 = -2*y. Is 28 a factor of y?
True
Let s(o) = 7*o - 13. Is 23 a factor of s(15)?
True
Let g(y) = -11*y**2 + 7*y - 2. Let b(v) = -4*v**2 + 2*v - 1. Let h(x) = 8*b(x) - 3*g(x). Let l 