40. Is 14 a factor of o?
False
Let k(b) be the second derivative of b**3/6 + b**2 + b. Let o be k(-2). Suppose o = 2*r + 2*r - 100. Is 18 a factor of r?
False
Suppose 5*i = -2*u + 112 + 94, -u + 5*i + 103 = 0. Is 11 a factor of u?
False
Let l(o) = -44*o - 5. Is l(-5) a multiple of 18?
False
Let u(d) be the second derivative of d**7/840 - d**6/90 + d**5/30 - d**4/6 + d**3/3 - 3*d. Let q(x) be the second derivative of u(x). Does 12 divide q(4)?
True
Let c = -5 - -8. Suppose c*y - 7*y = -100. Is 11 a factor of y?
False
Let k = -48 + 76. Is 3 a factor of k?
False
Let b(n) = n**3 - 8*n**2 + 2*n - 6. Let o be b(7). Let l = o - -61. Is l a multiple of 20?
True
Suppose 263 = 8*x - 497. Is x a multiple of 19?
True
Let y(p) = 2*p**2 - 4*p - 2. Is y(7) a multiple of 19?
False
Let f(u) = -3*u + 7. Let w be f(-6). Suppose 3*b - 101 = -4*z + 5*z, -b - 4*z = -w. Does 10 divide b?
False
Let u(z) = z**2 - 4*z + 11. Let i be u(12). Suppose -3*q + 4*f + i - 25 = 0, f - 84 = -4*q. Does 11 divide q?
True
Suppose 7 + 3 = 2*z. Is 2 a factor of z?
False
Suppose 3*d - 22 = 2. Suppose 2*s = 4*c - c - d, 5*c + 2*s = 24. Is c a multiple of 4?
True
Suppose -2*a = -3 - 25. Is a a multiple of 6?
False
Let j = 22 + -16. Does 5 divide j?
False
Let h = -2 - -5. Suppose 8 + 148 = h*t. Suppose 5*s - 5*i - 45 = 0, 5*s - t = 3*i - 5*i. Is 10 a factor of s?
True
Suppose 6*v - 135 = v. Suppose 6 = 3*z - w - 9, 0 = 4*w - 12. Does 6 divide z*12/v*6?
False
Suppose 15 = b + 2*f - 6*f, -3*f - 6 = b. Let o be 6*-1*(-2)/b. Is o/6 + (-46)/(-3) a multiple of 6?
False
Let f(l) = -26*l + 18. Let y be f(6). Is (y/(-8))/((-7)/(-28)) a multiple of 18?
False
Suppose 3*m - 2*m = 5*h - 1, 5*m + 5 = 5*h. Suppose 3*c - 94 - 140 = h. Is 26 a factor of c?
True
Suppose 2*n = 3*q - 41, 4*q - 3*n - 65 = -12. Is 7 a factor of q?
False
Let o(z) = z**2 + z. Let x be o(-1). Suppose x*g + g - 10 = 0. Is g a multiple of 5?
True
Let i = -160 + 237. Is 14 a factor of i?
False
Suppose 4*g = -0*g + 84. Does 7 divide g?
True
Suppose -5*o + 21 = -4*u, u + 4*u - 25 = -4*o. Let b be -20 - ((u - 0) + -3). Let j = b - -39. Is j a multiple of 16?
False
Suppose 2*u + 5*n - 11 = 104, -3*n - 63 = -u. Is u a multiple of 20?
True
Let f(r) = 3*r**2 - 4*r + 5. Let n be f(5). Let d be (-8)/(5/(10/(-4))). Suppose n = d*s + s. Is s a multiple of 6?
True
Let l(k) be the third derivative of 0 - 1/120*k**6 + 0*k**3 + 0*k + k**2 + 7/24*k**4 - 1/30*k**5. Is l(-5) a multiple of 12?
False
Let g(f) = 2*f**2 + 4*f - 6. Is 32 a factor of g(5)?
True
Suppose 69 = m - 140. Is m a multiple of 27?
False
Let y(g) = -g**3 - 2*g - 1. Let h be y(-1). Suppose q = h*q - 37. Let k = 74 - q. Is 13 a factor of k?
False
Suppose 5*p - 2 = -17. Is 12 a factor of (-47)/(-4) - p/12?
True
Let h(o) be the second derivative of -4*o**3/3 - o**2 - o. Let l be h(3). Let q = 10 - l. Is q a multiple of 16?
False
Let x(r) = -r**3 - 10*r**2 - 15*r - 19. Is x(-10) a multiple of 8?
False
Suppose -2*n + 4 = 4*x, 4*n - 12 = -3*x - 4. Let a(v) = -v**3 + 4*v**2 - v - 1. Is 5 a factor of a(n)?
True
Suppose -2*g - 4*h = 18, -2*g + 4*h + 19 = -5*g. Let v = 6 + g. Suppose 16 = -3*o + v*o. Does 8 divide o?
True
Let x = -155 - -257. Suppose 18 + x = 2*j. Does 12 divide j?
True
Suppose 2 + 3 = -5*r. Let u(z) be the first derivative of 16*z**3/3 - z**2/2 - 2. Does 7 divide u(r)?
False
Let v(x) = -66*x - 2. Is v(-2) a multiple of 26?
True
Let a = -28 + 253. Suppose -b + 3*g = -64 - 41, -2*b + 3*g + a = 0. Suppose 3*j = -j + b. Is j a multiple of 14?
False
Suppose 5*a = -4*h + 156 + 95, -5*h + 161 = 3*a. Suppose p = 2*w - 4*w + 13, -4*w = 5*p - a. Is p a multiple of 3?
False
Let x be (-17)/(-1) + 2 + -1. Is x/(-24) + (-87)/(-4) a multiple of 7?
True
Let k(h) = -h - 4. Is k(-6) even?
True
Let l(i) = -i**3 + 9*i**2 - 3*i + 7. Does 6 divide l(7)?
True
Let r(o) = -o**3 - 9*o**2 - 11*o + 8. Is 7 a factor of r(-8)?
False
Suppose 3*p - 9 - 45 = 0. Is p a multiple of 18?
True
Does 7 divide (-13)/2*2/(-1)?
False
Suppose -h - 4*h + 694 = -g, 3*g = -3*h + 402. Is h a multiple of 46?
True
Let i(x) = 3*x - 6. Suppose -5*r - 3*d = -17, -3*r = -d - 3*d - 16. Does 2 divide i(r)?
True
Suppose -2*c + 3*h = c - 21, h = -5*c + 5. Let i(u) = u**2 - 14*u + 16. Let s be i(9). Is 1/c + s/(-2) a multiple of 15?
True
Let o be (3/1)/((-3)/234). Let g = 23 + -13. Is 8 a factor of 4/g + o/(-15)?
True
Suppose -75 = 2*m - 7*m. Suppose -10*n + 7*n = -m. Is n a multiple of 5?
True
Let n = 67 + -50. Is n a multiple of 8?
False
Let t be 3*(2 - 1)*1. Suppose 93 + 45 = t*k + 2*n, 5*n + 46 = k. Is k a multiple of 23?
True
Let a be (-4)/(-10) + 56/10. Let s = 6 + a. Suppose -i = -3*i + s. Is 6 a factor of i?
True
Let k(m) = -m**3 - m**2 - 2. Does 13 divide k(-3)?
False
Suppose 3*h = 2*y + 28, y - 5*y - 36 = -4*h. Is 13 a factor of (2 + 1 + h)*1?
True
Let l = 19 - -2. Does 20 divide 138/7 + 6/l?
True
Let r(n) = n**2 + 7*n - 5. Let o(y) = -y**3 + 6*y**2 + 5*y + 6. Let j be o(7). Let d be r(j). Suppose -36 = -5*w + d*h, w - h + 3 = 3*h. Is 5 a factor of w?
False
Let a(h) = -h + 1. Is a(-13) a multiple of 5?
False
Suppose -3*z + 4*u + 157 = 0, -4*z + 2*u = 69 - 295. Is z a multiple of 14?
False
Let d = 24 + -4. Suppose c + 32 = 5*c + 4*x, d = c + 4*x. Is 4 a factor of c?
True
Let t = -4 + -9. Let m = t + 7. Is (-4)/6 + (-178)/m a multiple of 13?
False
Let l(n) = -83*n + 1. Let g be l(-1). Suppose 0*o - 112 = -4*o - 3*p, 4*p - g = -3*o. Is 7 a factor of o?
True
Let y be (-484)/(-20) + (-2)/10. Let o be 1 - ((2 - 1) + 0). Let t = y + o. Is t a multiple of 7?
False
Suppose 3*y = 2*m + 44, 5*y + 15 - 83 = 2*m. Let t = -57 - -58. Let k = y + t. Is k a multiple of 13?
True
Suppose 10 = 2*z, -2*c + 4*z - 25 = -3*c. Suppose y - c*y = -312. Suppose 4*x + 0*b + b = 68, -5*x = 3*b - y. Is x a multiple of 8?
False
Is 19 a factor of (-2312)/(-56) - (-4)/(-14)?
False
Is 2/12*15*12 a multiple of 8?
False
Let j be (-1 - (-2)/1)*2. Suppose 7*t = j*t + 80. Is t a multiple of 8?
True
Let l(d) = 2*d + 2. Let r be l(5). Suppose -5*x - r = -4*i, x - 28 = -5*i + 4*x. Does 8 divide i?
True
Suppose -3*h - 133 = -343. Let l = -4 + h. Suppose -2*y - y = -l. Is 11 a factor of y?
True
Let j = 1 + 6. Let i = 19 - j. Does 4 divide i?
True
Let i = 4 - 1. Let n(o) = 0*o - i*o + 7 + 2*o. Is n(0) a multiple of 7?
True
Suppose 11*o - 427 = 4*o. Does 13 divide o?
False
Is 160/12*(-144)/(-30) a multiple of 3?
False
Let z be (-45)/(-2) + (-3)/6. Suppose 3 = s - z. Suppose 2*p - 65 + s = 0. Does 12 divide p?
False
Suppose -193 = -3*h + 113. Does 34 divide h?
True
Suppose -7 = 6*o - 2*o + f, -2*o = 5*f + 17. Let i = 2 + o. Let y = 4 + i. Is y even?
False
Suppose -256 = -0*n - 4*n. Is n a multiple of 16?
True
Suppose 5*r = 7 + 8. Suppose r*v - v = 12. Does 2 divide v?
True
Is (-208)/(-5) + 1 + 4/10 a multiple of 18?
False
Let s(x) = 2*x**2 - 3*x. Suppose -2*j - h = -5*j + 8, 4*h = -4*j + 32. Is 9 a factor of s(j)?
False
Let q(l) = -l**3 + l + 78. Does 29 divide q(0)?
False
Let s(t) = -57*t**3 - 2*t**2 - 2*t + 1. Is s(-1) a multiple of 10?
False
Let t(z) = -2*z + 14. Is 13 a factor of t(-10)?
False
Suppose -3*o = 3*z - 45 - 267, 5*z + 110 = o. Is o a multiple of 24?
False
Let d be (-2 - -2 - -3) + 0. Suppose -d*u = -3*l + 14 + 22, 22 = l - 3*u. Suppose x = 2*x - l. Does 7 divide x?
True
Does 4 divide 5 + -5 + 26/2?
False
Let n = 39 - 27. Does 2 divide n/18*(-54)/(-4)?
False
Suppose 5*r = 6*r - 32. Is r a multiple of 16?
True
Let r(j) = 2*j. Let c be r(12). Suppose -c = -f + 39. Does 18 divide f?
False
Suppose m + m = 10. Suppose -f - a = -19, m*f + a - 24 - 87 = 0. Suppose -42 = -5*b + f. Does 13 divide b?
True
Suppose -2*l + 44 = 2*a - 4*l, 3*l = -2*a + 29. Let i be a/4 - (-2)/8. Is 28 a factor of 278/i + 2/5?
True
Let q = 3 + 36. Is 39 a factor of q?
True
Let z be (-4)/(-18) + 464/18. Let c be (2/3 - 0)*54. Let h = c - z. Does 5 divide h?
True
Suppose -d = -3*d. Suppose d = -6*i + 4*i + 10. Is i a multiple of 2?
False
Let o(j) = 6*j**3 - 3*j**2. Let w be o(2). Let u(s) = -s**3 + 6*s**2 - s + 8. Let x be u(6). Suppose 0 = -4*y + x*y + w. Is y a multiple of 14?
False
Let l(v) = -v**3 - v + 55. Let h be l(0). Suppose h = 6*k - k. Is k a multiple of 11?
True
Let y be (-411)/(-9) + 1/3. Let r = y - 30. Is 13 a factor of r?
False
Let p be 2 + (-1)/(-1) - 15. Let d(b) = 