 v(o) = -6*d(o) + 13*x(o). Does 2 divide v(-9)?
True
Let b(l) = -l - 1. Let i be b(1). Let y(f) = 10*f**2 - 2*f - 3. Is 23 a factor of y(i)?
False
Let b(a) = 3*a**2 - 4*a**3 - a - 5*a**2 + 8*a**3. Is b(2) a multiple of 22?
True
Let t(k) = k**3 + 6*k**2 - 6*k - 1. Does 18 divide t(-5)?
True
Let c(j) = j**3 + j**2 + 2. Let f be c(0). Suppose 0 = 5*b - f + 7. Does 8 divide b*4/(-2) - -17?
False
Let m(z) be the first derivative of -9*z**2 + 3*z + 2. Let s be m(2). Let b = -17 - s. Is 16 a factor of b?
True
Suppose -8*r + 5*r = -12. Suppose 3*g - r*b = 51, -3*b + 5 = -g + 17. Is (2 - 2) + (g - 2) a multiple of 11?
False
Let i = -1 + 45. Let j = i + -25. Is 13 a factor of j?
False
Let n(j) = -j**2 + 5*j - 1. Let a be n(4). Suppose -a*r + 0*r - 30 = -f, -3*r + 186 = 5*f. Does 17 divide f?
False
Is 6 a factor of 20/6*(-4 + (7 - -6))?
True
Let u(i) = -i**3 - i**2. Let c be u(-1). Suppose -3*f - f + 48 = 4*a, 4*f + 5*a - 52 = c. Is f a multiple of 4?
True
Let p = 15 - 3. Does 6 divide p?
True
Let d be ((-2 - 1) + -7)*1. Is (-332)/(-20) - (-6)/d a multiple of 8?
True
Let u(l) be the first derivative of 3*l**3 - l**2 - l + 3. Is u(-2) a multiple of 16?
False
Let a(w) = -5*w - 18. Is 6 a factor of a(-8)?
False
Let y(v) = -v**2 - 3*v + 28. Is y(0) a multiple of 28?
True
Let t be (-107)/(-2)*-2 - 3. Let m = 166 + t. Suppose f = -f + m. Is 14 a factor of f?
True
Let o(a) = a - 8. Let c be o(4). Does 28 divide c/(-5)*(77 + -7)?
True
Suppose -3*y + 179 + 325 = 0. Suppose 4*j - y = -4*w, 2*j + 5*w + 0*w = 93. Does 10 divide j?
False
Let x(m) be the first derivative of m**4/4 + 2*m**3 - 7*m**2/2 + 4*m + 2. Let d be x(-7). Suppose 114 = -w + d*w. Is 15 a factor of w?
False
Suppose -3*w - 42 = -d, -6*d + 14 = -5*d + 4*w. Does 5 divide d?
True
Let t(r) = 10*r**2 - 5*r + 18. Does 31 divide t(3)?
True
Let i = 3 + -1. Suppose 0 = -i*j - 0*j + 50. Let y = 57 - j. Is 14 a factor of y?
False
Let y(i) = -i**3 - 3*i**2 + 6*i + 6. Let a be (0 - 1 - 4)/1. Is 13 a factor of y(a)?
True
Let d(y) = -y**3 + 3*y + 1. Let w be 5 + -8 - 2/(-2). Let u be d(w). Suppose -4*o - 3*p + 103 = 0, o + u*p - 49 = -12. Does 11 divide o?
True
Let b = 20 + 2. Is 11 a factor of b?
True
Let h(o) = -11*o**3 + 11*o**2 - 15*o + 2. Let c(v) = -5*v**3 + 6*v**2 - 8*v + 1. Let m(k) = 11*c(k) - 6*h(k). Is 11 a factor of m(1)?
False
Let y = 42 + -18. Suppose -b + 3*n - 4 = 0, -5*b + y = 3*n - 10. Does 2 divide b?
False
Let n = -240 - -374. Is 11 a factor of n?
False
Let a be (-148)/(-20) - (-6)/10. Let y = a + -6. Is 12 a factor of (-22 - y)/(3/(-3))?
True
Suppose -2*b - k + 393 = -4*k, -4*b + 761 = -k. Is 32 a factor of b?
False
Let d(v) = 17*v**2 + 3*v + 3. Does 13 divide d(-2)?
True
Suppose -6 + 62 = -c + 3*f, 0 = 4*c - 2*f + 204. Let d = c - -94. Is 10 a factor of d?
False
Let a = 256 + -150. Is 37 a factor of a?
False
Let a be 4 + (-3)/(-4 - -1). Let y(i) = 2*i - 3. Let w be y(4). Suppose 5*s = a*c - w, -3*s = -2*c - 4 + 1. Does 6 divide c?
True
Let w(v) = 16*v**2 + 2*v - 1. Does 12 divide w(2)?
False
Suppose 0 = 4*s + 2*r - 5*r - 131, -2*r = -4*s + 134. Is s a multiple of 7?
True
Let q = 10 - 8. Suppose -6 = 2*j, 37 = f - q*j - j. Is 14 a factor of f?
True
Let j be (-15)/(-35) - (-22)/14. Suppose 0*u - 42 = -j*u. Is u a multiple of 7?
True
Does 8 divide (0 + -8)/1*-1?
True
Let v(b) = 4*b**2 - b + 1. Does 6 divide v(-1)?
True
Let k be ((-12)/(-18))/((-4)/6). Let p be (0/k)/((-10)/(-5)). Suppose 0 = -c + 2*r + 15, p*c = c - 4*r - 25. Does 5 divide c?
True
Suppose -4*r + k + 82 = 0, 0*r + k + 42 = 2*r. Suppose 7*m - r = 2*m. Does 4 divide m?
True
Suppose 88 - 18 = 5*a. Let w = 23 - a. Is 4 a factor of w?
False
Let d(r) = -r**3 + 3*r**2 + 5*r. Let b be d(4). Suppose -4*v = 8, 4 = b*a + 3*v - 22. Is 5 a factor of a?
False
Let i be (-8228)/(-153) - (-4)/18. Suppose -5*l = -3*p + i, -40 = 5*p - 2*l - 130. Is 9 a factor of p?
True
Let k = -11 - -38. Suppose 3*u = 2*t - k, -5*u - 55 = t - 5*t. Is t a multiple of 15?
True
Suppose -57*h = -47*h - 20. Is h even?
True
Suppose -c - 146 = -3*b, 0*b = 3*b - 3*c - 156. Is b a multiple of 6?
False
Let q be (3/2)/((-4)/(-48)). Let l be q*2*(-3)/(-18). Does 18 divide l/(-4) - 75/(-2)?
True
Let c(v) be the first derivative of -3/2*v**2 - v**3 - 2 + 1/4*v**4 + 3*v. Does 4 divide c(4)?
False
Let v(b) = 59*b**2 + b - 3. Does 48 divide v(2)?
False
Let s = 15 + -9. Suppose b + 75 = s*b. Is 5 a factor of b?
True
Suppose 4*s = 106 - 26. Let p = s + -7. Is 6 a factor of p?
False
Let c(n) = -n**2 + 5*n + 1. Let i be c(4). Suppose -45 = -5*f - i*g, -15 = 2*g + 3*g. Does 6 divide f?
True
Let d(f) = -f + 15. Let w be (-2)/(-8) - (-153)/12. Let t be d(w). Is 16 a factor of 51 + 1 - (4 - t)?
False
Let q be (4/(-6))/(3/(-54)). Let f = 15 + q. Is f a multiple of 27?
True
Does 13 divide (-23)/(-161) - (-776)/7?
False
Is (23*-2)/((-16)/24) a multiple of 23?
True
Let x = 248 + -127. Is 11 a factor of x?
True
Suppose 2*d - 6*d = -132. Does 6 divide d?
False
Let v(s) = -s + 3. Let a be v(11). Let y be (31/4)/(2/a). Let c = y - -44. Is c a multiple of 13?
True
Let r(b) = -2*b - 4. Let x be r(-3). Suppose 4*v = -5*k + 155, 25 = -2*k + 3*k + x*v. Is k a multiple of 13?
False
Suppose 4*p - 27 + 3 = 0. Let q(z) = -2*z**3 - 2*z**2 + 2*z + 1. Let a be q(-2). Suppose -w - 3*g + p = 0, 5*w - 4*g + a*g = 30. Does 3 divide w?
True
Let p(m) = -m**2 + 6*m - 1. Let b be p(5). Suppose -16 = -3*s - b. Suppose -3*c + 92 = -4*a, -c = -s*c + a + 95. Is c a multiple of 11?
False
Let c = -7 - -12. Suppose -c*m + 434 = 3*d, 5*m + d = 99 + 339. Let b = -58 + m. Is b a multiple of 13?
False
Let r = -51 + 71. Is (-30)/r*(-1 - 19) a multiple of 10?
True
Let u be (3/(-2))/(2/(-4)). Suppose -5*x = -3*d - u, 10*d - 32 = 5*d - 4*x. Suppose 0 = -d*n - n + 120. Is n a multiple of 12?
True
Suppose -g + 5*o = 4*o - 125, -5*o + 615 = 5*g. Is 17 a factor of g?
False
Suppose -3*h + k + 100 = 0, -134 = -6*h + 2*h + k. Is h a multiple of 4?
False
Let s be 125 + ((-6)/2 - -3). Suppose -14 = 5*p + 2*t - s, 4*p - 90 = -2*t. Is 17 a factor of p?
False
Suppose o + x = -0*o, 3*o + 8 = -5*x. Suppose o*c - 17 = -t, -c + 3*c - 11 = -t. Is 3 a factor of t?
False
Let k(a) = 153*a**3 - 3*a - 7. Let w(s) = 51*s**3 - s - 2. Let d(i) = i**3 - i**2 - 4*i + 1. Let l be d(3). Let j(z) = l*w(z) - 2*k(z). Does 25 divide j(1)?
True
Let j(s) = -s**3 - s**2 - s. Let i be j(-2). Let t be ((-63)/i)/(-7)*-30. Let d = t + 69. Does 12 divide d?
True
Let z(c) be the first derivative of -c**4/12 - 2*c**3 - c**2/2 - 2. Let v(f) be the second derivative of z(f). Is 4 a factor of v(-8)?
True
Suppose 4*n + 97 - 325 = 0. Is n a multiple of 13?
False
Let x be 1/(2*(-1)/4). Does 8 divide x/((-2)/(-3)) + 19?
True
Does 15 divide (29/(-3) - (-2)/(-6))*-6?
True
Let o(n) = -n**2 + 19*n - 22. Is 26 a factor of o(16)?
True
Let o(g) = 3 - 4 + 4 - 6*g + 0 + 2*g**2. Does 16 divide o(5)?
False
Suppose 0 = 2*n + 2*l - 14, 0*l - 3 = n - l. Suppose -7*p + 65 = -n*p. Does 8 divide p?
False
Let c be 1*(-1 - (0 + -2)). Suppose 3*a - 14 = 5*n, -a - 4*n + 0 = c. Suppose b = a*b - 60. Is b a multiple of 12?
False
Let v(o) = -o**3 - 4*o**2 + 5*o + 3. Let x be v(-4). Let q = x + 37. Is q a multiple of 18?
False
Suppose -3*c + 47 = 5*r, 0 = 3*r + 2*c + 16 - 45. Let n(i) = -i**3 + 7*i**2 + 3*i - 1. Is 20 a factor of n(r)?
True
Let j(b) = 20*b - 81. Is 26 a factor of j(10)?
False
Let o(u) = -3*u + 12. Let b(q) = q**3 - 3*q**2 - 4*q + 1. Let f be b(3). Is 7 a factor of o(f)?
False
Let z(i) = -i**2 - i - 7. Let q be z(-6). Suppose 3*a = 5*a - 110. Let m = q + a. Is m a multiple of 9?
True
Let j be ((-1)/(-2))/((-2)/12). Let c(d) = d**2 + 5*d. Let o be c(j). Is 6 a factor of 2/o + 95/15?
True
Let d be (-6)/21 - (-12)/(-7). Is 13 a factor of d/7 - 184/(-7)?
True
Let b(v) be the third derivative of -v**6/120 + v**5/6 + 5*v**4/12 + 8*v**3/3 + 2*v**2. Does 4 divide b(11)?
False
Let n = 0 + 16. Does 8 divide n?
True
Let n = -14 + 281. Does 31 divide n?
False
Suppose -5*n = 3*h - 8*h, -4*n = 2*h - 24. Suppose -2*m - 1 = 3*i - 25, -3*m - n*i = -36. Is m a multiple of 7?
False
Let s(l) = 2*l**2 + 6*l + 4. Is s(10) a multiple of 22?
True
Let m = -2 + 6. Suppose 2*o = -5*h + 37, 0 = -6*h + h + m*o + 31. Does 6 divide h?
False
Suppose 5*p - 423 = -4*r, -p + 258 = 2*p + r. Is p a multiple of 22?
False