7?
False
Let s(a) be the second derivative of -a**7/840 - a**6/90 + a**5/40 + a**4/8 + a**3/6 + 2*a. Let i(h) be the second derivative of s(h). Does 5 divide i(-5)?
False
Suppose -165 = b - 6*b. Let h be -2 - ((-30)/(-3))/(-2). Suppose -3*z = -h*i + b, -i + 4*z = 4*i - 56. Is 12 a factor of i?
True
Let w be (2/6)/((-6)/(-36)). Is 9 a factor of (-294)/(-15) - w/(-5)?
False
Suppose 3*i - 5*i = 3*u - 52, 0 = 4*u - 16. Let d = -12 + i. Is 7 a factor of d?
False
Let w be 48 - 2*6/4*1. Suppose -10 - 2 = -2*p. Suppose -p = -3*j + w. Does 9 divide j?
False
Suppose -3*d - 394 + 107 = -4*v, -3*d = v - 53. Is 6 a factor of v?
False
Let h = 56 + -27. Let b = h + -19. Does 10 divide b?
True
Let a(h) = -h**2 - 18*h - 5. Is 15 a factor of a(-13)?
True
Let y = 0 - -6. Is 80/6 - 2/y even?
False
Let z be (2*1)/((-6)/18). Let j(o) = o**2 + 6*o + 5. Let t be j(z). Suppose -t*d + 30 = -5*f, -44 = -5*d - f - 8. Is 3 a factor of d?
False
Let q(v) = 1. Let s(j) be the first derivative of -j**2/2 - 40*j + 1. Let g(m) = -6*q(m) - s(m). Is g(0) a multiple of 17?
True
Let s(l) = l**3 - l**2 + l. Is s(2) a multiple of 3?
True
Suppose 0 = 3*g - 163 - 2. Is g a multiple of 22?
False
Let i = 59 - 7. Suppose i = 2*k - 0*k. Suppose k = -d + 2*d. Is 13 a factor of d?
True
Let n(f) = f**3 + 9*f**2 - 10*f + 5. Let r be n(-10). Suppose 4*p + r = 81. Is p a multiple of 11?
False
Let q = -15 + 43. Suppose -b - c + 28 = 0, 3*b = -4*c + q + 58. Is b a multiple of 14?
False
Suppose -4*r = 3*a - 120, 7*a - 30 = -r + 3*a. Is r a multiple of 3?
True
Is 2 a factor of 2/1 - (1 + -1)?
True
Let t = 10 - 8. Is 12 a factor of 14 - (1 + -1) - t?
True
Let o = -107 - -148. Does 12 divide o?
False
Let s(u) = -u**3 - 3*u**2 + 8*u - 5. Let k be s(-5). Suppose k*c - 77 = 3*p, 0 = c + 2*c - 5*p - 43. Does 4 divide c?
True
Let w = -13 + 14. Is 9 a factor of 36 - w*(0 + -1)?
False
Let b = 11 + -8. Suppose 0 = -b*m + 2*m. Suppose 4*f - f - 99 = m. Is f a multiple of 16?
False
Is 30 a factor of 3 + -294*(-3)/6?
True
Suppose 7*h - 5*h + 252 = 4*w, 0 = 3*w - 2*h - 187. Does 11 divide w?
False
Let g be 4*1/(-4)*5. Let h(v) = v**2 + v - 5. Does 15 divide h(g)?
True
Let b(s) be the third derivative of -s**6/120 + s**5/6 - 7*s**4/24 + 5*s**3/3 - s**2. Let p be b(9). Does 14 divide 12/8*p/3?
True
Let u(g) = -4*g - 3. Let o be ((-2)/(-2))/(5/(-15)). Does 9 divide u(o)?
True
Suppose 2*m - y = 9, 2*y + 6 = 2*m - 4*m. Suppose 2*r + m*r - 56 = 0. Is 4 a factor of r?
False
Suppose -13*f = -19*f - 1332. Suppose -3*k = 2*d - 11, 2*k = -4*d + 4*k - 2. Is 10 a factor of (d/(-3))/(2/f)?
False
Suppose 5*b + 202 + 114 = 4*z, -4*b = 4*z - 316. Is z a multiple of 20?
False
Let x(b) = -b**3 - 10*b**2 + 15*b - 7. Is x(-12) a multiple of 22?
False
Let d = 5 + -28. Let g = 48 - 3. Let m = g + d. Does 12 divide m?
False
Suppose 10*k - 11*k = -2. Suppose -3*n = -k*n + 2*q - 10, n - 16 = 4*q. Is 3 a factor of 50/8 + (-3)/n?
True
Let a be 6/(-21) - 1138/(-14). Suppose -4*z = -c - a, 4*z - 3*c - 21 - 70 = 0. Suppose 3*h - z - 71 = 0. Is 10 a factor of h?
True
Let j be (-4 - -81) + -3*1. Let y = j - 53. Is 13 a factor of y?
False
Let d = -23 + 49. Does 15 divide d?
False
Is (-3620)/(-90) - (-1)/((-18)/4) a multiple of 10?
True
Let i = 0 + 3. Suppose -3 = -i*o + 3*g + 51, -2*o - 4*g = -18. Does 6 divide o?
False
Let y(o) = 45*o**3 + 2*o**2 - 2*o + 1. Is y(1) a multiple of 6?
False
Suppose 3*l + w = 130, -2*l - 6*w + 65 = -w. Is 9 a factor of l?
True
Let a(h) = 4*h + 48. Is a(-10) a multiple of 5?
False
Suppose 5*a = 5*n + 30, 3*a + 2*n = -a + 30. Does 7 divide a?
True
Let t(b) = 56*b**2 + b - 2. Does 11 divide t(1)?
True
Let u(q) = 5*q - 3. Is 3 a factor of u(2)?
False
Let g(x) = 3*x + 2 - x + 0*x + 2. Let o(p) = -p**2 - 4*p - 8. Let v(w) = -5*g(w) - 2*o(w). Is 4 a factor of v(3)?
True
Let b be (-102)/(-4) - (-5)/10. Suppose 0 = -2*g - 0*g + b. Is 13 a factor of g?
True
Suppose -5*b + 5 + 15 = 0. Let l = -4 + b. Suppose l = 2*i - i - 36. Is 19 a factor of i?
False
Suppose -y = -4*m + 9, -3*y + m - 3*m = -15. Let t(z) = -z + 8. Let h be t(6). Is (y/h)/((-3)/(-30)) a multiple of 4?
False
Let u(m) be the third derivative of -m**6/60 - m**5/30 - m**4/12 - m**3/6 - 2*m**2. Is 11 a factor of u(-2)?
True
Let u = -10 - -14. Let i(j) = 8*j**3 - 4*j - 7*j**3 - 6 - 2*j**2 + 1. Does 5 divide i(u)?
False
Suppose -2*j + 10 = 0, 4*j - 2*j = -5*f + 25. Does 13 divide 19 - (f - 6 - -3)?
False
Let w(u) = -u - 1. Let l be w(-5). Suppose 4*z - 7*z = -6. Does 17 divide (-2)/l - (-39)/z?
False
Is (-2)/(-12) + 3289/138 a multiple of 12?
True
Suppose -d + 20 = -5. Let x = 67 - 73. Let a = d - x. Is 13 a factor of a?
False
Suppose 2*v = -5*s + 5*v + 26, -4*v = 8. Is 2 a factor of s?
True
Let j = -2 - -6. Suppose 2*m + 0 = j. Is 2 a factor of m?
True
Let x(a) = a**2 + 6*a - 9. Is 8 a factor of x(-11)?
False
Suppose 5*f = f + 144. Let s = -18 + f. Does 9 divide s?
True
Let o be 1/(-2)*(-1584)/12. Let r = -46 + o. Does 4 divide r?
True
Suppose 2*x + 72 = 4*x. Is x a multiple of 12?
True
Let n = -4 + 10. Let y be 4/10 - (-32)/20. Let g = y + n. Does 4 divide g?
True
Let d be -12 - 0/(1 + -3). Let j = -3 - d. Does 6 divide j?
False
Let n(d) = 8*d + 2. Let m(q) = -q**2 - 9*q - 8. Let j be m(-7). Let s be n(j). Let p = 77 - s. Does 15 divide p?
False
Let s be 0 + (1 - 0 - 1). Suppose 5*l - 310 = -k - 4*k, s = -5*k. Let x = 88 - l. Is 13 a factor of x?
True
Let l(n) = -31*n - 9. Let q be l(-7). Suppose -5*u + q = -g, -u - 4*u + 3*g = -204. Is 18 a factor of u?
False
Let f(j) = j**2 + 3*j**2 - 2*j**2 + 6 + j. Let t(k) = 3*k**2 + 6. Let h(y) = -4*f(y) + 3*t(y). Does 16 divide h(-4)?
False
Let l be ((-1)/1 - 0) + 25. Is 14 a factor of (l/(-9))/((-3)/18)?
False
Let k be 2/5 + (-6)/(-10). Let b(w) = 9*w**3 + w**2 - 2*w + 1. Does 9 divide b(k)?
True
Let m(k) = -38*k - 47. Does 17 divide m(-6)?
False
Let a be 1*-1 - (-52)/4. Let s = a - 4. Is 2 a factor of s?
True
Suppose 14*p - 12*p - 8 = 0. Is p a multiple of 4?
True
Suppose 0 = -7*m + 3*m - 5*k - 240, 0 = 4*m + 3*k + 232. Let r = m + 9. Is 14 a factor of 2/((-4)/r) - 3?
False
Suppose -5*o - 10 - 5 = 0, -m - 5*o = -8. Let c = 46 - m. Is c a multiple of 12?
False
Suppose 5 + 175 = 4*c. Let i = 65 - c. Suppose -6*d + i = -2*d. Does 2 divide d?
False
Suppose 2*r - 1188 = -7*r. Does 4 divide r?
True
Let c(z) = z**2 + z + 2. Let b be c(0). Suppose b*k + 10 = 2*v - 4, 5*v = 4*k + 25. Does 2 divide (-44)/(-10) + 4/k?
True
Let h = -10 - -146. Is h a multiple of 8?
True
Suppose 8 = 4*n - 0*n. Suppose n - 14 = -b. Does 4 divide b?
True
Let m = 47 - 39. Is m a multiple of 4?
True
Let o(l) = 8*l**2 - 9*l - 10. Does 3 divide o(-1)?
False
Suppose 4*f - 2*k = -7*k, 3*k + 12 = 0. Suppose -11 = -4*y + 5, -3*y = -2*u - 8. Suppose u = f*w - 273. Does 19 divide w?
False
Let p = -6 + 9. Suppose f = p*f - 46. Does 23 divide f?
True
Let z = 5 + -2. Let b = 39 + z. Is b a multiple of 27?
False
Let r = 3 + -1. Let h be -23 - (1 - 2)*r. Let j = 5 - h. Does 13 divide j?
True
Let g be (0/1)/(-2)*1. Suppose -2*w + w + 4*n + 60 = g, 5*w = -n + 258. Is 22 a factor of w?
False
Let r = 32 + -7. Does 4 divide r?
False
Let l(w) = 2*w - 2. Let f be l(-2). Is (18/(-4))/(f/64) a multiple of 13?
False
Suppose -2*y + 4*y = 16. Is 2 a factor of y?
True
Is 13 a factor of (4 + (-75)/10)/(2/(-52))?
True
Let j(v) = -7*v + 5. Let c be j(5). Does 10 divide (-10)/c - 220/(-6)?
False
Let h = -9 - -13. Suppose -n + 36 = h*k + 3*n, -k - 3*n = -19. Suppose 4*t = 0, -t + 23 + 37 = k*o. Is o a multiple of 5?
True
Let d(j) = j**2 + j + 100. Is d(0) a multiple of 20?
True
Let t(p) = -p + 7. Let o be t(7). Suppose o*x - 2*x + 70 = 0. Is x a multiple of 11?
False
Let c(j) = -j**3 + 9*j**2 - 6*j + 6. Does 11 divide c(8)?
True
Let f(s) = s**2 - s - 1. Let o(k) = -6*k**2 - 5*k + 6. Let d(r) = 5*f(r) + o(r). Is d(-7) a multiple of 19?
False
Let m be 2/(-4)*(8 - 2 - 34). Let c(j) = j + 6. Let l be c(0). Is 9 a factor of -3*(-1 - m/l)?
False
Suppose 65 = 5*v + 3*d - 122, -3*v + 119 = -5*d. Is 19 a factor of v?
True
Let j(k) = -k + 1. Let h be j(-1). Suppose -h*u + 49 = -i, -u - 84 = -4*u - 2*i. Suppose 0 = 2*v - 6 - u. Is v a multiple of 7?
False
Let v = -6 + 10. Let t = 40 - v. Is t a multiple of 12?
True
Suppose -4*f + 4*x = -348, -5*f + 345 + 90 = -2*x. Let k = 142 + -109. Let t =