False
Let q be 4/6 + (-7)/(-3). Suppose -q*z + 27 + 63 = 0. Does 9 divide z?
False
Let u(y) = y - 3. Let x be u(2). Let r be (-3 - -2)/(x/(-1)). Is 5 a factor of (r + 1 + -2)*-5?
True
Let o be 20/(-1) + -2 + 1. Let q = o - -68. Does 16 divide q?
False
Let n be (-106)/(-6) + 2/6. Let l = n + 31. Suppose 4*o - a = 4*a + l, 0 = 5*o - a - 77. Is 8 a factor of o?
True
Let x be (-2)/4*10*1. Let l = 17 - 3. Let c = x + l. Does 6 divide c?
False
Let b(f) = 2*f - 2*f + 1 + f. Let r(g) = g**3 + 6*g**2 + 5*g - 1. Let z be r(-4). Is 10 a factor of b(z)?
False
Let l = 22 - -30. Is 26 a factor of l?
True
Suppose -14*q + 15*q = 23. Let f = q - -1. Does 8 divide f?
True
Suppose -a - 20 = u, -3*u - u = 0. Let q = 2 - a. Is q a multiple of 22?
True
Suppose 264 = 24*x - 20*x. Does 10 divide x?
False
Suppose -4*j - 5*n = -671, 5*j = j + n + 653. Is j a multiple of 27?
False
Let m = -9 - 0. Is 11 a factor of (-173)/m - 6/27?
False
Let o(r) = r**3 + r**2 + r + 3. Let u be o(0). Suppose -18 = -u*n + 3*w, -n - n + 4*w + 2 = 0. Does 11 divide n?
True
Let t(h) be the third derivative of -11*h**4/24 - h**2. Is 33 a factor of t(-3)?
True
Suppose -4*t + 116 = -6*a + 2*a, -a = 4*t - 121. Suppose -t = 5*p - 130. Is p a multiple of 8?
False
Suppose 0 = -5*t + 2*r + 3, 3*t - 1 - 7 = -5*r. Let w be 200/t*(-4)/(-5). Suppose 0 = -5*g + 5*b + w, g + b - 22 = 18. Is 12 a factor of g?
True
Is 42 a factor of (-6)/4*1506/(-9)?
False
Let i = -9 + -6. Let d = 27 + i. Does 13 divide d/(3 + 42/(-16))?
False
Let f = -1 - -9. Let g be (f/(-5))/((-4)/30). Let c = -5 + g. Is 3 a factor of c?
False
Suppose 3*s - 2*z - 69 = z, 4*s - 3*z = 96. Suppose -5*k + 54 = 3*f, -4*k + s = f - 4*f. Does 3 divide k?
True
Suppose 0 = -0*m + 4*m - 48. Does 5 divide (-8)/3*(-63)/m?
False
Let s(k) = -21*k + 2. Is s(-2) a multiple of 6?
False
Let r be (-3 + (-1 - -2))/(-2). Let w be (-7*r)/((-2)/(-6)). Does 4 divide w/6*-2*1?
False
Let s(h) = h + 3. Let y be s(0). Suppose r = -j + 29, 0 = y*j - 7*j - 5*r + 115. Suppose j = 2*c + 3*c. Is 5 a factor of c?
False
Suppose p - 3*a = 7, 0*p + 2*p + 4*a = 4. Suppose -t + p*m = 6, -3*t = t - 3*m - 41. Does 9 divide t?
False
Suppose 0 = 4*u + 2*u - 30. Is u a multiple of 3?
False
Suppose -2*x = 5*b + 18, 4*b + 0*b + 4*x = -24. Let z be 0/(0 - (b + 4)). Suppose -2*a + 77 - 11 = z. Is a a multiple of 17?
False
Is ((-18)/(-3))/((-3)/(-21)) a multiple of 14?
True
Let v(c) = -43*c - 2. Does 6 divide v(-1)?
False
Suppose 5*f - 130 = -5*d, -d + 36 = 2*f + f. Suppose -2*x + 1 = -d. Is 11 a factor of x?
True
Let y = 0 - 3. Let n = y - -24. Is 6 a factor of n?
False
Suppose -24 = -5*p + p. Let u be (-16)/p - (-2)/3. Is -1*(u + (-20)/1) a multiple of 11?
True
Let s = 17 - 14. Is 17 a factor of (-1*34)/(s/(-3))?
True
Let r = -11 + 8. Let b = r - -7. Is 13/b - 2/8 even?
False
Let a(y) = y + 13. Suppose -24 + 3 = -3*f. Suppose -2*p = -f*p. Is a(p) a multiple of 13?
True
Let o be ((-8)/5)/((-4)/10). Suppose 2*i + 16 = o*i. Is 17 a factor of 34 + (i/2)/2?
False
Let c(u) be the third derivative of 1/6*u**3 + 0 + 0*u - 7/40*u**6 + 2*u**2 + 0*u**4 + 0*u**5. Does 9 divide c(-1)?
False
Let z(x) = -2*x - 14. Is z(-13) a multiple of 4?
True
Let n(y) be the third derivative of y**5/30 - 3*y**4/8 + y**3/3 + 5*y**2. Is n(6) a multiple of 10?
True
Suppose 0 = z - 116 + 32. Let l(h) = -3*h**3 + 3*h**2 - h + 2. Let r be l(3). Let k = z + r. Is k a multiple of 14?
False
Let q be (-314)/(-10) + 4/(-10). Suppose -4*w - 39 + 9 = -3*j, 2*j = -w + q. Is j a multiple of 14?
True
Let k(c) = 3*c**2 + 19*c - 62. Is 10 a factor of k(4)?
False
Suppose -h - 4*s + 31 = -75, 2*s + 2 = 0. Does 21 divide h?
False
Let h be ((-48)/15)/((-2)/20). Suppose 0*o + o + 2 = 0. Is h/o*(-9)/4 a multiple of 18?
True
Let s be 3*2/3*1. Suppose 3*u - 8 = s*m, m + 2 - 4 = 0. Is u a multiple of 4?
True
Let h(t) = 4*t**2 - 8*t + 6. Is 3 a factor of h(3)?
True
Let x(y) = -6*y**3 - 2*y**2. Let o be x(-2). Suppose -4*f - o = 3*a, 11 = -4*f - 5*a - 37. Does 14 divide -1*f*(-4)/(-2)?
True
Suppose 0 = -5*u - 3*l + 363, -104 = -3*u - 3*l + 109. Is 15 a factor of u?
True
Suppose 0 = 3*j + 3, -5*j = -s + 4*s - 22. Suppose -s*m + 45 = -4*m. Is 3 a factor of m?
True
Let l = -8 - -14. Let k be (l/(-12))/(1/(-16)). Suppose -k = 3*q - 77. Does 12 divide q?
False
Let y be ((-6)/5)/(3/(-10)). Suppose -3*a - 5*z + 72 = -75, 0 = 5*a + 5*z - 255. Suppose 2*x - q - 18 = -3*q, 0 = -y*x + 5*q + a. Is 11 a factor of x?
True
Is 4 a factor of 11 - -19 - (2/1)/2?
False
Let i = -2 - -6. Suppose -7 = -i*q + 1. Suppose 5*b = q*b + 48. Is 8 a factor of b?
True
Suppose -4*v - 3*n - 79 = 0, -8 = -3*n + 1. Does 5 divide ((-1)/2)/(1/v)?
False
Suppose 0 = 4*s - 278 - 578. Is 18 a factor of s?
False
Let i = -64 + 75. Is 8 a factor of i?
False
Let g = -5 + 5. Let y be g*(2/2)/(-2). Suppose y = l - 6 - 4. Does 10 divide l?
True
Let w = 48 + -18. Is 10 a factor of w?
True
Suppose 44 - 8 = 3*d. Suppose 0*z + d = 3*z - 5*n, -4*n = 0. Is 5 a factor of ((-4)/(-6))/(z/66)?
False
Let m be 10/4*(-16)/(-10). Suppose m*h + 4 = -2*v + 12, -h = -4*v - 11. Is 16/h*(-3)/(-1) a multiple of 16?
True
Let o(m) = 2 - 3*m + 0 + 8*m. Let j = 31 - 28. Is o(j) a multiple of 7?
False
Let t(a) be the second derivative of -a**3/6 - a**2/2 - 2*a. Suppose -3*n = -5*l + 2*n - 55, 2*n - 8 = 0. Is 4 a factor of t(l)?
False
Suppose -21*i = -27*i + 1752. Is i a multiple of 47?
False
Suppose 2*f - 28 = -2*f. Suppose 5*o - f = 8. Suppose -5*p - 1 = -16, -2*p = o*w - 30. Does 4 divide w?
True
Suppose -5 = 3*n - 2*n, -5*x + 365 = -3*n. Is x a multiple of 12?
False
Let f(z) = 2*z**2 - 3 + 3*z - z**2 + 4. Let h be f(6). Suppose 3*j - h = -2*j. Is j a multiple of 11?
True
Let p be 88/(-3) + (-22)/33. Is 22 a factor of 842/15 + 4/p?
False
Suppose -5*w + 51 = -4*x, x + 14 = -4*w - 4. Let j = x + 20. Suppose 5*v - 44 - j = 0. Does 9 divide v?
False
Suppose 5*n + 0*n - 21 = u, -5*n = -4*u - 24. Let f(b) = 4*b**2 - 8*b - 2. Is 8 a factor of f(n)?
False
Let m(k) = 2*k**2 - 6. Let l be m(-5). Suppose -5*y + 224 = l. Suppose 0 = -w - w + y. Is 9 a factor of w?
True
Suppose 4*z + 36 - 336 = 0. Is z a multiple of 25?
True
Suppose -u = -5*y - 10, y = -2*u - y + 8. Suppose 0 = 3*n - 5*n + u*k + 25, -17 = -n + 4*k. Is 5 a factor of n?
True
Suppose 0 = -21*d + 16*d + 15. Let f = 1 + -1. Is 7 a factor of 1/(f + d/21)?
True
Let f be (-9)/(6/(-2)) - -27. Suppose -f = 2*k - 7*k. Let w = k - -2. Does 5 divide w?
False
Let x be (7 - 4)*(-8)/(-6). Let q = x - 2. Let z = 12 - q. Does 5 divide z?
True
Is 1/((2/(-10))/(660/(-50))) a multiple of 22?
True
Let q = -217 + 329. Let w be ((-222)/12)/((-1)/2). Suppose q = 3*s + w. Is s a multiple of 7?
False
Let a = 10 - 33. Suppose -5*u - 240 = -5*j, 1 = -2*j - 7. Let o = a - u. Is o a multiple of 16?
False
Suppose 0*d = -4*d + 608. Suppose d + 8 = -l. Is 9 a factor of ((-9)/4)/(15/l)?
False
Suppose s + 5*r = -21, 2*r - 6 = -4*s - 0*s. Suppose -57 + 253 = s*l. Is l a multiple of 16?
False
Let c(t) = -t**3 - 1. Let g(i) = i**2 - i + 59. Let o(k) = c(k) - g(k). Let r be o(0). Let s = r - -92. Does 16 divide s?
True
Let u(g) = g - 5. Let m = 17 + -10. Let n be u(m). Is 3*10 + n - 1 a multiple of 15?
False
Is 12/(-20) + 216/10 a multiple of 4?
False
Suppose -q + 4 = 0, -4*d + 63 = -2*q - 9. Is 11 a factor of d?
False
Let j be 276/(-16) + 1/4. Let b = j - -24. Is b a multiple of 3?
False
Suppose 7*w - 2*p - 486 = 3*w, -507 = -4*w - 5*p. Is w a multiple of 29?
False
Suppose 0 = 2*x - 6. Suppose 0 = -2*g - x + 1, -3*h + 83 = g. Is 10 a factor of h?
False
Is 12 a factor of 28 + (4/(-2) - -2)?
False
Let m(o) be the third derivative of o**7/168 - o**6/120 + o**5/60 - o**3/6 + o**2. Let b(t) be the first derivative of m(t). Is 12 a factor of b(2)?
False
Let n(s) = -4*s - 4. Let z be n(-3). Suppose -z*h + 3*h + 65 = 0. Let j = 20 - h. Does 7 divide j?
True
Suppose 4*r + 10 = 9*r. Suppose -2*k + 35 = u, 3*k - r*k = -4*u + 154. Is u a multiple of 9?
False
Let q be 0 - (-2*6)/3. Let t(b) = b**3 - 4*b**2 + 5. Let w be t(q). Suppose -48 = -w*k + 2*k. Is 8 a factor of k?
True
Is 2 + 1132/8 + (-1)/(-2) a multiple of 18?
True
Let p = 31 + 16. Suppose -4*y = -5*y + 8. Suppose -3*f + p = y. Is 13 a factor of f?
True
Let v be 2 - (-2)/((-6)/(-33)). Suppose 105 = 4*w - 3*u, -2*w + v = 3*u - 44. Does 12 divid