**2 - i. Let d be z(4). Does 18 divide (-22)/(2*(-1)/d)?
False
Suppose -5*s + b - 4 = 0, s + 2*b + 0 = -3. Let h be 3 + s + 1 + -3. Suppose -d + 7 = -h*d. Is d a multiple of 7?
True
Let l be (-3)/(2*(-3)/4). Suppose -2*w - l = 44. Let n = -16 - w. Does 5 divide n?
False
Suppose 2*k - 2*s = -2*k + 26, 3*k - 3*s = 27. Suppose 5 - 1 = -k*o. Is 4 a factor of (0 - o)/((-2)/(-8))?
True
Let r(l) = l**3 - 6*l**2 - l. Let w = -3 + 10. Is 21 a factor of r(w)?
True
Is 11 a factor of (39/4)/((-9)/(-36))?
False
Let b = -15 - -30. Let g be (-11 + 1)/(-1) - 0. Let q = b - g. Does 5 divide q?
True
Let b = 137 - 103. Does 6 divide b?
False
Let d(y) = 8*y**2 - 7*y + 2. Does 7 divide d(3)?
False
Let u(l) = -l**3 - 9*l**2 - 2*l - 3. Let h(o) = o**3 - 4*o**2 - 8*o + 6. Let y be h(5). Is u(y) a multiple of 6?
False
Let v be 18/(-8)*(-56)/21. Does 17 divide ((-2)/v)/((-3)/459)?
True
Suppose -l + 25 = 4*t - 20, -5*l - 4*t + 193 = 0. Suppose -4*v - 43 - l = -3*q, 4*v = 4*q - 104. Is 8 a factor of q?
True
Suppose 0 = -u + 8 + 6. Does 6 divide u?
False
Suppose -25 = -5*h, h - 22 = -4*u + 31. Suppose 0*m + 4*f + u = 4*m, -m - f + 1 = 0. Suppose 1 = b - m. Is b a multiple of 2?
False
Let s(p) = -p**3 + 4*p**2 + p + 4. Does 3 divide s(4)?
False
Suppose -2*z + 32 = 2*t + z, 55 = 5*t - 5*z. Suppose 2*s + 4*v - t = 7, 5*s - v - 17 = 0. Suppose 6*g + 2*l - 40 = 3*g, -8 = -s*l. Is 6 a factor of g?
True
Is 200 - (2 + 1) - -1 a multiple of 11?
True
Suppose -4*d + 4*h = -36, 22 + 14 = 5*d + 4*h. Let y = d - 5. Does 12 divide (y + 4)/(2/10)?
False
Let y be ((-198)/30)/((-2)/10). Let o = y + -21. Is 4 a factor of o?
True
Let i = -470 + 846. Is i a multiple of 42?
False
Let o = -8 - -13. Let b(p) = 2*p**2 + 8*p - 3. Let a be b(o). Let c = a - 49. Is c a multiple of 19?
True
Let w = 19 + 9. Let d = w - 19. Is 9 a factor of d?
True
Suppose -2*h = 4*v - 250, 5*v + 115 + 17 = h. Does 16 divide h?
False
Suppose -15*z + 10*z = -80. Does 4 divide z?
True
Suppose 3*r = -5*d - 19, -4*r - 5*d + d - 12 = 0. Let j(m) = m**3 - 2*m + 1. Let s be j(r). Suppose -2*u + 4*q + 10 = 0, s*u - 2*q + 7*q = 40. Does 3 divide u?
False
Let s(c) = 616*c**3 + c**2 + c - 2. Does 73 divide s(1)?
False
Let f(i) = -i**2 - 35*i + 58. Is f(-35) a multiple of 29?
True
Suppose 0 = 2*q + 2*q + 20, q - 37 = -3*s. Let n be 9/6*s/3. Let u = 5 + n. Is u a multiple of 6?
True
Let b(x) = 2*x - 1 - x + 2*x - 12. Let f be (0 + -6)/((-2)/3). Is b(f) a multiple of 14?
True
Let z be (-2)/6 + (-169)/(-3). Suppose -3*b + z = -10. Does 11 divide b?
True
Suppose q + 42 = -2*q. Let z = q + 5. Let a = 29 + z. Is 10 a factor of a?
True
Suppose -3 = -4*k + 13. Suppose -3*g - 2*g + 140 = -k*n, -4*n + 20 = 0. Does 16 divide g?
True
Let d = 6 - 26. Does 20 divide (-2)/(3 - (-62)/d)?
True
Let f(d) = 17*d. Let v be f(-2). Let q = -10 - v. Is 8 a factor of q?
True
Let g(h) = -h**3 + 2*h**2 + 3*h + 4. Let s be g(3). Let l be s/10 + (-73)/(-5). Let w = 27 - l. Is 12 a factor of w?
True
Let f = -141 - -326. Is f a multiple of 11?
False
Let k(s) be the second derivative of s**3 - s**2 - 2*s. Does 4 divide k(2)?
False
Suppose 0 = 6*w - 3*w - 15. Suppose 4*u - 100 = -2*b + w*b, -4*b = -5*u + 134. Let g = b - -68. Is 18 a factor of g?
False
Suppose 18 = v - 0*v. Let o = v - -3. Is o a multiple of 8?
False
Let j = -11 - -19. Suppose 0*d - j = d. Let q = d - -13. Is 5 a factor of q?
True
Let o(d) be the second derivative of -2*d - 1/12*d**4 + 0 + 1/20*d**5 - 1/3*d**3 - d**2. Does 7 divide o(3)?
False
Let r = 102 - 72. Let j be ((-4)/10)/((-2)/r). Suppose -3*h + j*h - 147 = 0. Does 19 divide h?
False
Let j(y) = -7*y**3 + y**2. Let t be j(1). Let m = t - -8. Is 11 a factor of (m + -16 - -3)*-1?
True
Is -4 - (4 - 309/3) a multiple of 7?
False
Suppose 3*p - 26 + 11 = 0. Suppose 4*z = p*r - 13, r + 3*z - 1 = -6. Suppose -c = m + r - 9, c + 4*m - 23 = 0. Is c a multiple of 3?
True
Let i be -3 - (-31 + 0) - 3. Suppose -2*f - 5 + i = 0. Is f a multiple of 10?
True
Let i = 28 - 23. Does 3 divide i?
False
Let r(d) = 3*d + 1. Let w(v) = v**2 + 5*v - 9. Let n be w(-7). Suppose -z = -0 - n. Is 8 a factor of r(z)?
True
Suppose -10 = -3*d + 11. Let w(k) = -k**3 + k**2 - k + 2. Let u be w(0). Suppose d = u*h - h. Is h a multiple of 7?
True
Let l(s) = -4*s**3 - 11*s**2 + 11*s - 3. Let f(w) = -2*w**3 - 5*w**2 + 5*w - 1. Let q(k) = 5*f(k) - 2*l(k). Is q(-3) a multiple of 10?
False
Let d(o) be the second derivative of -25*o**3/6 - 2*o**2 + 2*o. Let v be d(-4). Suppose -5*i + v = -2*i. Is 11 a factor of i?
False
Let f be 6*(-18)/(-15)*5. Let w = f + -20. Is 5 a factor of w?
False
Let f(u) = 7*u**2 + 11*u - 8. Let x(s) = -8*s**2 - 11*s + 8. Let p(r) = 6*f(r) + 5*x(r). Let z(n) = -n**2 - 9*n + 28. Let j be z(-12). Is 18 a factor of p(j)?
False
Let p(w) = w**3 + 4*w**2 + 2*w + 6. Is p(4) a multiple of 17?
False
Let z(u) be the third derivative of 0 + 0*u + 1/6*u**3 - 3*u**2 - 1/120*u**6 + 0*u**4 + 1/15*u**5. Is z(2) a multiple of 5?
False
Let s(i) = -i**2 + 6*i - 1. Let l be s(6). Let y be (l/(-2))/(2/(-8)). Is 11*-2*(1 + y) a multiple of 9?
False
Suppose 5*j + 25 = 0, 2*j - 6*j - 317 = -3*h. Is h a multiple of 9?
True
Let z = 18 - 10. Suppose -3*f + 7*f = -z. Does 5 divide (-20)/(-2) + (f - 1)?
False
Suppose -2*c = -4*c + 40. Suppose 2*d - 24 = 4*d. Let o = d + c. Is o a multiple of 3?
False
Does 5 divide 6/27 - 237/(-27)?
False
Let f be -3*((-12)/9)/(-1). Let y be -8 - (-2 - f - 0). Does 14 divide (8/y)/((-3)/60)?
False
Suppose 3*f - 3 = 24. Does 21 divide 3/(f/57) + 2?
True
Let j be (-1 + 0)/(0 + 1). Let m be (j/(-2))/((-3)/(-6)). Let r(c) = 24*c**2 - c + 1. Is r(m) a multiple of 9?
False
Suppose -85 = -5*r + 15. Does 20 divide r?
True
Let y(j) be the third derivative of j**5/60 + j**3/6 + 7*j**2. Is 14 a factor of y(6)?
False
Suppose -3*y = y - 128. Is y a multiple of 8?
True
Let o(d) = d + 4. Let z be o(0). Does 8 divide 6/z - 58/(-4)?
True
Let s be (-6)/(-18) - 38/6. Let z = 38 + s. Is 12 a factor of z?
False
Suppose n + p = 33 - 5, 0 = 3*p - 6. Suppose 5*c + 1 - n = 0, 5*m - 265 = c. Is 17 a factor of m?
False
Let r = 93 + -53. Is 10 a factor of r?
True
Suppose -2*o = -3*l - 3*o - 38, -2*l - 28 = -2*o. Let j = l - -27. Is j a multiple of 7?
True
Let m(i) be the second derivative of -i**4/12 + 2*i**3 - 9*i**2/2 - i. Does 15 divide m(9)?
False
Let p(k) = -k**3 + 13*k**2 - 10*k - 8. Let g(h) = 11*h**2 - 2*h - 1. Let w be g(-1). Does 9 divide p(w)?
False
Suppose -r - 11 = -g, -3*r = -g + r + 20. Is g a multiple of 8?
True
Is 30*(0 - 24/(-15)) a multiple of 11?
False
Let o = 3 - 5. Let x be 18/12 - (-1)/o. Is 14 a factor of (x - 2)/((-4)/56)?
True
Suppose 0 = -2*f + 5*z + 38, 5*f = -3*z + 149 - 23. Does 12 divide f?
True
Suppose -b + 26 + 25 = 0. Is 4 a factor of b?
False
Suppose -b + 0*b = -16. Is 8 a factor of b?
True
Let d(g) = -3*g - 5. Does 3 divide d(-6)?
False
Suppose -3*z - 6 = -3*m, 4*m + 0*z - 2*z = 16. Let f = 42 - m. Does 9 divide f?
True
Suppose -22*p + 25*p = 111. Is p a multiple of 7?
False
Let w(u) = 1 + 2*u - u**3 + 0*u**2 + 4*u**2 - 2*u. Does 10 divide w(3)?
True
Let y = 130 - 89. Let t = 32 + -50. Let b = t + y. Is b a multiple of 23?
True
Let d(f) = f**3 + 9*f**2 + 9*f + 10. Let g be d(-8). Suppose -g*i - w + 95 = 0, -2*i - 5*w + 205 = 2*i. Is i a multiple of 18?
False
Let a be (2 - 0)*122/4. Let p = a - 42. Is 19 a factor of p?
True
Let f = -1 + 5. Let h be 280/(-6)*(-12)/8. Suppose h = f*j + j. Is 5 a factor of j?
False
Let n = -101 + 185. Is n a multiple of 12?
True
Let k(q) = 3*q**3 - q**2 + 2*q. Let n be k(1). Suppose -28 = -4*r + n*w, -r + 5*w + 2 = -5. Is r a multiple of 7?
True
Suppose -5*c = -2*n - 188, -c + n + n + 44 = 0. Is c a multiple of 25?
False
Suppose 0 = -3*u - 2 + 8. Suppose 5*d + 4*g - u*g = 138, d - 3*g = 14. Is d a multiple of 13?
True
Suppose 2*y - 5*y = -6. Let k = 10 - 5. Suppose -y*g = k*n - 58, 2*g = 4*n - 26 - 24. Is 12 a factor of n?
True
Suppose -k = -5 - 2. Suppose k*j - 2*j - 25 = 0. Suppose j*r - 5*f = -0*f + 150, -r = -3*f - 34. Does 14 divide r?
True
Let u(n) = -n. Let w be u(-4). Suppose -v = -f - 28, -w*f + 4 + 4 = 0. Does 11 divide v?
False
Let t = 6 - 1. Let v = t + -2. Suppose 2*y = 5*i - 35, -3*y = 4*i + v - 8. Is i a multiple of 5?
True
Suppose 3*a = 5*j - 938, 750 = 4*j - 3*a + a. Suppose j - 12 = 5*f. Is 1