(-2))/((-1476)/(-496) - 3) a multiple of 8?
False
Let x(t) be the third derivative of t**8/2880 - t**7/1680 - t**6/360 - t**5/60 - t**2. Let y(h) be the third derivative of x(h). Is 14 a factor of y(-2)?
False
Let j = -135 - -207. Is 27 a factor of j?
False
Let q(k) = k**3 + 7*k**2 + 9*k - 5. Let h(j) = -j**3 - 7*j**2 - 8*j + 5. Let n(m) = -5*h(m) - 4*q(m). Is 9 a factor of n(-4)?
True
Suppose 4*d = 6*d - 24. Is d a multiple of 5?
False
Suppose -5*o = -3*j - 0*o + 29, -4*j = -2*o - 62. Does 3 divide j?
True
Let i(m) = -m**2 - 16*m - 20. Does 10 divide i(-10)?
True
Suppose 2*u = 3*m - 2*u - 361, 4*m - 482 = 5*u. Let w = m + -88. Suppose -l = 2*l + 5*v - w, 2*v = -l + 13. Is l even?
False
Suppose 0 = -5*g, u - 4*g - 12 = -1. Is u even?
False
Suppose 20 = -2*l - v, -3*v + 2*v + 40 = -3*l. Is 13 a factor of (-472)/l - (-1)/(-3)?
True
Let f(g) be the second derivative of 7*g**3/6 + g**2 - 7*g. Is 4 a factor of f(2)?
True
Let c be 2*4/(1 + -3). Suppose 3*t = 21 - 9. Is (-189)/c - 1/t a multiple of 16?
False
Suppose 0 = -o + 3*s + 53, 3*s - 279 = -5*o + 4*s. Is o a multiple of 46?
False
Let r = 4 + -15. Suppose -8*u + 8 = -10*u. Let n = u - r. Is n a multiple of 3?
False
Suppose 3 = 4*q - 33. Suppose q = -4*w - 19. Let k = w - -12. Does 2 divide k?
False
Let l(u) = u - 1. Let k(d) = d**2 + 13*d - 1. Let v(z) = k(z) - 6*l(z). Let c be v(-5). Is (-2)/c - 212/(-20) a multiple of 11?
True
Let y(i) be the third derivative of -i**6/120 + i**5/20 + i**4/8 + 2*i**3/3 + 4*i**2. Is y(-3) a multiple of 20?
False
Let o(w) = -8*w + 3. Is 25 a factor of o(-9)?
True
Let g = 76 + -34. Is 8 a factor of g?
False
Let m be (-6 + 0)*9/(-18). Suppose -4*i - m*o - 3 = 0, -2*o = -3*i - 0*i + 19. Is 3 a factor of i?
True
Suppose 4*d - 28 = -4*z, d = -5*z + 6 + 21. Let n be 3/(9/(-57)) - d. Does 12 divide 2/(-3)*n + -2?
True
Suppose 0*t = -5*t. Suppose 4*c + t = -8. Is c*(-2)/(-12)*-66 a multiple of 11?
True
Let q(u) = 2*u**3 - u**2 - u + 2. Let s be q(2). Suppose 0 = -p - 0*p + s. Does 4 divide p?
True
Is 12 a factor of (-1274)/(3 + -10) + -1 + 0?
False
Suppose 495 = 4*g + 35. Suppose 3*i = 5*j + g, 2*i = -i + 3*j + 105. Is i a multiple of 10?
True
Suppose -u - 3*u + 3*f = -349, 4*u - 348 = 4*f. Is u a multiple of 26?
False
Suppose 4*w + w + 4*s = 91, 0 = -2*s - 2. Is 5 a factor of w?
False
Is 15/6*(-440)/(-25) a multiple of 8?
False
Let c = 14 + -14. Suppose 2*u = 4*z - c*u - 144, 3*u - 144 = -4*z. Is z a multiple of 12?
True
Let f(z) = -2*z**3 + 8*z**2 + 6*z - 7. Let j be f(6). Let t = j - -174. Does 16 divide t?
False
Does 14 divide (7/(-4))/((15/(-264))/5)?
True
Let u = 12 - -20. Does 16 divide u?
True
Let d(p) = -44*p + 3. Is d(-3) a multiple of 11?
False
Let r(b) = -b**2 + 3. Let y be r(0). Suppose 4*v - 54 = -q, 5*q = v - 0*q - y. Let h = v - -30. Is h a multiple of 11?
False
Let p be -3 + (1 + -1)/(-3). Let h(m) = -m**3 + m**2 - 4. Does 16 divide h(p)?
True
Suppose -3*f = 6, 24 + 22 = 4*z + f. Is 6 a factor of z?
True
Let q(x) = -3*x + 2. Let g be q(-8). Suppose -g = l - 3*l. Does 11 divide l?
False
Let j(b) = -2 + 1 - b - 4*b. Let a be j(1). Is 16 a factor of 450/a*2/(-6)?
False
Let f(m) = m**3 + 9*m**2 + 6*m + 5. Is 21 a factor of f(-8)?
True
Suppose -9 = 5*g - 49. Suppose 0 = -2*t - 5*s - 6, 0 = 4*t - 2*s + 4 + g. Let d(n) = n**2 + 4. Is d(t) a multiple of 13?
True
Let o(v) = v**3 - 6*v**2 - 6*v + 4. Let q be (-3 - -1 - -9) + 0. Does 3 divide o(q)?
False
Let s be 0 + (-1 - (-6)/2). Suppose -s*p + 5*j = -p, -5*p = j - 104. Is 7 a factor of p?
False
Suppose m + 3*w = -0*m - 18, -17 = 4*m + w. Let s(h) = h + 6. Is 2 a factor of s(m)?
False
Let d(t) be the second derivative of -t**3/3 - 3*t**2/2 + 2*t. Let i be d(-3). Suppose -i*g + 8 = -91. Is g a multiple of 25?
False
Suppose -f - 21 = -6*w + w, -2*f = -3*w + 14. Suppose 2*s - 21 = -3*s - 4*l, 0 = -4*s + w*l + 24. Does 2 divide s?
False
Let x be (-126)/(-2)*(-3)/(-9). Let v = x - 3. Does 8 divide v?
False
Let k be 1/3 + (-6)/18. Let c = k + 3. Does 3 divide c?
True
Suppose 0 = 2*f - 6*f + 4*n + 52, -n + 15 = f. Is 8 a factor of f?
False
Suppose -3 = -w, 3*u - 228 - 165 = -5*w. Is u a multiple of 17?
False
Let z be ((-12)/(-10))/((-12)/(-80)). Suppose -i + 10 = -z. Is i a multiple of 6?
True
Suppose 5 = o - 54. Let n = o + -15. Does 19 divide n?
False
Let x(g) = -g**2 - 31*g - 20. Is x(-28) a multiple of 16?
True
Let s be (3 - (-4)/2)*-1. Let y = 16 + s. Is 11 a factor of y?
True
Let v be 0 + 4/((-8)/(-10)). Suppose 2*o + 97 = 4*o - v*n, -3*n - 290 = -5*o. Is o a multiple of 15?
False
Let u = 10 - 12. Is (-108)/(-4) + (-1 - u) a multiple of 11?
False
Let b be 18/99 + (-106)/(-22). Suppose -b*t + 5*k + 0*k = -270, 146 = 3*t + 5*k. Is t a multiple of 13?
True
Let u = -40 + 175. Is u a multiple of 40?
False
Let l = -12 + 10. Is 1 - l - (-4 - 17) a multiple of 8?
True
Let u = 11 - 9. Is 4 a factor of u - (-7)/((-7)/(-2))?
True
Let d be 3/1 - 6/(-2). Let g(j) = 5*j + 3. Is 11 a factor of g(d)?
True
Let v(l) = -l + 4. Let c be v(0). Suppose c*z - z - 105 = 0. Does 11 divide z?
False
Let i be (-2)/8 - (-31)/(-4). Is 130/8 + 2/i a multiple of 16?
True
Let d = -82 - -96. Is 7 a factor of d?
True
Suppose 4*t + 0*t = -12. Is -4 + 2 - (t - 41) a multiple of 19?
False
Let c be (-10)/(-4) + (-2)/(-4). Suppose -150 = -4*z + c*u, -z + u + 46 = -4*u. Does 9 divide z?
True
Suppose 0 = -5*r + 9 - 24. Let l be 1*2/(-6)*-3. Is 7 a factor of (-47)/(-3) - l/r?
False
Let f(u) = -u**3 - 2*u**2 - 6. Does 13 divide f(-4)?
True
Suppose w + 3*f = 4*f + 82, 0 = -2*w - 2*f + 164. Suppose -13 + w = 3*a. Does 5 divide a?
False
Suppose -3*r - 2*f = r - 14, 0 = 4*r - 2*f - 2. Suppose -3*l + 4*g = -51, r*g = 4*l - 2 - 76. Does 21 divide l?
True
Let n(h) = -h**2 + 7*h - 4. Let k be n(6). Suppose k*m = 2*u - 16, m - 2*u + 8 = -4*u. Let c = m + 36. Is c a multiple of 22?
False
Let w = -1 - -121. Is 29 a factor of w?
False
Let u(i) = i**3 - 4*i**2 - i - 6. Does 32 divide u(6)?
False
Suppose -2*o + 3*i = 3*o - 39, -12 = -4*o - 4*i. Let v be (0 - o)*(-3)/9. Suppose -72 = -0*u - v*u. Is 18 a factor of u?
True
Let y be (-3 - (-1 - 4)) + -1. Does 4 divide -3 - (-16*y + 2)?
False
Let w = 17 - -81. Does 14 divide w?
True
Let h be 25/1*(-1 - -2). Let w be (180/h)/(2/25). Suppose -2*j = j - w. Does 15 divide j?
True
Let m = 103 + 33. Suppose -3*p + 5*q + 151 = 0, 3*p - 3*q - m = -q. Is 21 a factor of p?
True
Let k(c) = -c**3 + 3*c**2 + 3*c - 1. Let q be k(2). Let m = q - -7. Let s = m - 7. Is 9 a factor of s?
True
Is 3 a factor of 0*(-4)/16 + 12?
True
Let p(q) = -q**3 - 5*q**2 + q + 5. Let m be p(-5). Suppose -a + 4*b - 8 = m, -2*a = a - 2*b - 6. Suppose 3*t + a = 5*t. Is 2 a factor of t?
True
Let z = -11 + 9. Suppose -5 = -2*h + h. Is z/h + 64/10 a multiple of 3?
True
Let f(k) = k**3 - 2*k**2 + k + 10. Is 3 a factor of f(0)?
False
Let c be (4/(-6))/((-2)/(-3)). Let g = 1 + c. Suppose -r + g*r + 4 = 0. Does 3 divide r?
False
Let u(v) = 4*v**3 + v**2 + v - 1. Let r be u(1). Suppose -4*b - b = 3*d - 59, d - 33 = -r*b. Does 13 divide d?
True
Suppose 6 = -z + 3. Does 8 divide (-52)/z - 1/3?
False
Does 6 divide ((-8)/(-3))/((-4)/(-66))?
False
Suppose -4*l = c - 94, -c + l - 2*l = -79. Is c a multiple of 16?
False
Suppose 5*p + 252 = 2*f, -4*p = -2*f + 6*f - 504. Let l = -188 + f. Let b = l - -89. Does 9 divide b?
True
Let o = 1 + -6. Let x be ((-2)/(-5))/((-1)/o). Suppose 46 = 2*y - 5*v, x*v - 2 = 2. Is y a multiple of 14?
True
Suppose -3*d = -5*q + 19, 5*q + 5*d - 3*d = 29. Let n = 10 - q. Let v = 6 + n. Does 11 divide v?
True
Let z be 18/12 + 182/4. Let s = -30 + z. Is s a multiple of 9?
False
Let i(m) = -m**3 + 5*m**2 + 8*m + 4. Let w(d) = -d**3 - d**2 + d + 6. Let b be w(0). Does 16 divide i(b)?
True
Suppose 3*s + 54 = -0*s. Let w = -10 - s. Suppose -w*b = -4*b - 52. Is b a multiple of 6?
False
Let j(r) = r**3 - 6*r**2 + 7*r - 7. Let y be (7 - 2)*(-4 - -5). Let m be j(y). Suppose -5*s - 221 = -4*k - 33, 4*k + m*s - 156 = 0. Does 21 divide k?
True
Suppose -5*h + 40 = -5*d, -5*d - 9 - 11 = 0. Suppose 3*j + h = 25. Suppose 54 = 3*f - 4*c, -5*f + 5*c = j*c - 64. Is f a multiple of 7?
True
Let o = -124 - -287. Is 9 a factor of o?
False
Let m(v) = -v**3 - v**2 + v - 6. Does 26 divide m(-5)?
False
Let j(u) = u**2 + 2*u**2 - 1 - u + 27*u**2. Suppose -2*p = -3*p - 1. Is