(k) = k. Let t be i(2). Suppose 2*s + 2 = u, -3*s - 17 = -u - 6*s. Suppose 2*o = 2*g + 10, 3*g - 38 + u = -t*o. Is 4 a factor of o?
False
Suppose -o + 0 - 1 = 0. Let r be o*1/((-3)/33). Suppose t = -b + r, -2*b - b = -t - 45. Is b a multiple of 12?
False
Suppose 0 = -3*s + 2*s + 73. Does 15 divide s?
False
Suppose 397 + 3 = 5*m. Does 15 divide m?
False
Does 18 divide 816/9 - ((-1)/3 + 1)?
True
Does 5 divide (-3)/2*(-200)/15?
True
Is 5 a factor of (-4 - -2) + 5 + -7 + 25?
False
Let z(b) = -b**3 - 13*b**2 + 17*b - 25. Is z(-15) a multiple of 25?
False
Let b = -6 + 4. Let i = -25 + 7. Let s = b - i. Does 8 divide s?
True
Let y(d) = d**2 + 5*d + 6. Let s(l) = 2*l + 10. Let w be s(-7). Is y(w) a multiple of 2?
True
Let y(v) = v**2 + 10*v + 8. Let n be y(-6). Let s be 27/1 + -3 - -4. Let h = n + s. Does 6 divide h?
True
Let k(j) = -j**3 + 6*j**2 + 8*j - 5. Let l be k(7). Suppose 0 = l*g - 52 - 28. Is g a multiple of 20?
True
Let n be (-4)/8*4/2. Let m = 2 + n. Is -60*(2/(-3))/m a multiple of 11?
False
Suppose -140 = w - 5*w. Let n = 53 - w. Does 5 divide n?
False
Suppose 3*b - 2 - 4 = 0. Let o be b*15/(-6)*-1. Suppose -5*x + 2*x = m - 40, -o*x + 68 = 2*m. Does 8 divide x?
False
Let z be 2 + 0 - (-14)/(-7). Suppose 0 = -z*c - 4*c + 468. Suppose x + 3*b = -4*x + 121, b = -5*x + c. Is 7 a factor of x?
False
Let f = -34 - -3. Let h = f + 48. Is h a multiple of 17?
True
Let g(p) = -p**2 + 13*p - 9. Let y be g(8). Let h = y - 20. Is h a multiple of 11?
True
Let j(p) = 9*p + 6. Suppose -3 = 5*f - 33. Is j(f) a multiple of 21?
False
Let r(y) = y**2 + 3*y. Suppose -3*m - 1 = -28. Let a(i) = -i**3 + 8*i**2 + 7*i + 12. Let o be a(m). Does 8 divide r(o)?
False
Suppose -8 = -7*c + 3*c. Suppose -3*k - 230 = -3*v - 4*k, -c*v + 148 = 2*k. Does 23 divide v?
False
Let b(p) = -2*p + 14. Let j be b(10). Let i be j/((-5)/2 + 1). Suppose 2*l - 81 = -5*m, i*m - l + 2*l = 63. Does 12 divide m?
False
Is (-185)/(-15) + (-2)/6 a multiple of 8?
False
Suppose 47 = u - 2*q, 4*u + 2*q = -0*q + 228. Suppose -2*d = -u + 5. Does 25 divide d?
True
Let u(k) = 7*k + 5. Let r be u(5). Suppose -4*o + r = -2*o. Is o a multiple of 7?
False
Suppose w = f, -4*w + 2*f = -w. Suppose -4*u - 5*x = -w*x - 348, -2*u - 4*x + 174 = 0. Is u a multiple of 29?
True
Suppose -6*l + 259 = -191. Does 17 divide l?
False
Suppose -4*k = -88 - 20. Is k a multiple of 14?
False
Let u(k) = -k - 7. Let c be u(0). Let f(p) be the second derivative of -p**3/6 + 3*p**2 + 4*p. Does 13 divide f(c)?
True
Let p = 1 + 4. Suppose 5*f = -5*t + 2*t - 4, -3*f = 5*t - 20. Let b = t + p. Does 6 divide b?
True
Let x(g) = 3*g - 7. Is 2 a factor of x(8)?
False
Let v = -170 + 340. Does 17 divide v?
True
Is 19 a factor of (-656)/(-16) + (-6)/2?
True
Let z(w) = -w**3 - 3*w + 2. Let a be 2/8 - 65/20. Is 15 a factor of z(a)?
False
Suppose -36 = -7*l + 335. Does 6 divide l?
False
Suppose 0 = -5*n + 6 - 1. Let l(h) = 14*h. Let m(d) = 462*d. Let j(f) = -196*l(f) + 6*m(f). Is 14 a factor of j(n)?
True
Let g(y) = -y**2 - y + 27. Is g(0) a multiple of 8?
False
Let r be -2 + (1 - (-2)/2). Suppose u + r*b = -5*b + 73, b + 155 = 3*u. Does 19 divide u?
False
Suppose 0 = -5*r + 7 + 8. Suppose w = -r*w + 300. Suppose -5*h = 4*z - w, -3*z + 5*h + 2 = -28. Is 5 a factor of z?
True
Let m = -73 + 115. Does 41 divide m?
False
Suppose 2*l = -0*l + 56. Is l a multiple of 6?
False
Let z(w) = w + 22. Let p be z(0). Let r = p + -6. Is 9 a factor of r?
False
Let z be (-13)/(-4) - 1/4. Does 11 divide (-18)/8*(-88)/z?
True
Let q = 17 - 13. Does 15 divide (-273)/(-9) + q/(-12)?
True
Let a be 0 - -31 - 1 - 2. Suppose -5*q + 86 = 3*k - 0*q, 2*k = 4*q + a. Is 8 a factor of k?
False
Is 4 a factor of 90/(-35)*56/(-12)?
True
Suppose 2*y - 2 - 6 = 0. Let x(u) = -2*u + 2 - y*u**3 - 3*u**2 - 4 + 3*u**3. Does 4 divide x(-3)?
True
Let s(v) = v**2 + v + 1. Let j be s(-2). Suppose -q - 3*n = -10 - 8, -j*n = -15. Suppose -6*m - 8 = -4*m, -q*m + 204 = 4*o. Is o a multiple of 26?
False
Let y = -2 + 2. Let q(z) = -z**2 - z + 25. Does 15 divide q(y)?
False
Let m be (2/6)/(5/(-15)). Let f be -61 + 1 - (m - -1). Is (f/(-3))/((-2)/(-4)) a multiple of 18?
False
Suppose -x + 26 + 2 = 0. Is x a multiple of 3?
False
Let j = 97 - 56. Is j a multiple of 4?
False
Let f = 93 + -9. Is 7 a factor of f?
True
Let y be 4/26 - 4/26. Suppose -a + y = -9. Does 3 divide a?
True
Does 3 divide ((-15)/((-90)/(-28)))/((-1)/6)?
False
Suppose -2*h = -h - 28. Let u(p) = -4*p**3 - 1. Let x be u(-1). Suppose x*f = h + 38. Is f a multiple of 8?
False
Let t(d) = -9 - d**3 - d - 2 - 2*d - 8*d**2. Let x(a) = a + 1. Let w be x(-9). Does 5 divide t(w)?
False
Let r be 3 + 118 - (-8 - -3). Let g(t) = -t**3 + 5*t**2 + 2*t - 5. Let h be g(5). Suppose -4*y = -3*k + 6*k - 50, h*k - r = 4*y. Does 16 divide k?
False
Let b = 281 + -177. Suppose 2*q = 4*a + b, -3*q - a = -0*a - 149. Suppose -q + 2 = -2*h. Is h a multiple of 12?
True
Let n(f) = f**2 - 7*f - 2. Let m be n(6). Is 16 a factor of 12*7/((-42)/m)?
True
Suppose 2*b - b - 1 = 0, o - 3*b = 32. Does 14 divide o?
False
Is 10 a factor of 10/(-45) + 978/27?
False
Suppose 2*g - 5*g = -2*r + 5, 2*g = 5*r - 18. Suppose 11 = 4*i - g. Does 3 divide 2/i - 44/(-6)?
False
Let y = -62 + 27. Let p = y - -57. Is p a multiple of 8?
False
Let j be -2*(0 - (-2)/(-4)). Let l = 5 - j. Suppose 4*s - 44 = -l*g, 4*g = 2*g + 4*s + 16. Does 10 divide g?
True
Let b = 0 - -8. Suppose 3*u - b = 2*u. Is u a multiple of 3?
False
Let a = -78 + 112. Let n = -90 + a. Let q = 100 + n. Does 17 divide q?
False
Suppose 64 = 2*z - 0*z. Let r be (-1 + 2)/((-1)/(-3)). Suppose -t = -r*t + z. Does 6 divide t?
False
Let j = -3 - -49. Is j a multiple of 23?
True
Let o(w) = -6*w**2 - 1 - w**2 + 26*w**2. Is o(1) a multiple of 9?
True
Suppose 132*n = 130*n + 278. Does 31 divide n?
False
Let z = 86 + -44. Is z a multiple of 21?
True
Let g(l) = -5*l**3 - l - 1. Suppose 2*c = -1 - 1. Let j be g(c). Suppose 4*d + t = 53, -j*d + 3*d - 3*t = -29. Does 7 divide d?
False
Let k(c) = -5*c - 8. Is k(-10) a multiple of 7?
True
Let p = -8 - -13. Suppose 66 = p*c - 9. Does 5 divide c?
True
Let u = -10 + 12. Suppose v - u*v = -17. Does 5 divide v?
False
Let t = 36 + -20. Is t a multiple of 14?
False
Let j(s) = s**2 + s - 3. Let c be j(-3). Suppose -c*w + 316 = 52. Is 17 a factor of w?
False
Let r be 5*((-36)/(-15))/(-1). Let s = r - -32. Suppose 2*i + s = 6*i. Is 2 a factor of i?
False
Does 6 divide 5*(1 - 438/(-30))?
True
Let s(g) = 9*g + 3. Let m be s(8). Suppose -4*p = p - m. Is p a multiple of 7?
False
Let s = 10 - 5. Suppose 0 = n + s - 0, -47 = -3*v - 5*n. Is v a multiple of 13?
False
Let d(s) = s**3 - 2*s**2 + 1. Is d(3) a multiple of 2?
True
Let h(f) be the second derivative of f**5/20 + f**4/4 - 2*f**3/3 - 3*f**2/2 + 2*f. Suppose a + 4 = 1. Is h(a) a multiple of 8?
False
Suppose 5*b - 500 = 410. Is b a multiple of 14?
True
Let v = 7 + 2. Suppose -k = -v + 2. Is 5 a factor of k?
False
Let s(n) = -n**2 - 2*n + 1. Let g be s(-2). Suppose 5*x - 5*h = 20, 3*h + 1 = -2*x - g. Suppose -x*t = -3*t + 6. Is 6 a factor of t?
True
Is ((-68)/6)/((-12)/18) a multiple of 5?
False
Let p = 76 + -4. Suppose a - 5*w = -3*a + 162, 3*w + 166 = 4*a. Let f = p - a. Does 11 divide f?
False
Let a be (-3)/6 + (-5)/(-2). Suppose -25 = -a*p - 2*p + o, -o = p. Is p a multiple of 5?
True
Let r be 22/4*(25 + -1). Suppose s + r = 5*s. Let a = s - 17. Does 7 divide a?
False
Suppose 0 = -5*r + 3*h - 24, -3*r - h = 4*h - 6. Let z(b) be the first derivative of -b**2/2 + 3*b - 1. Is z(r) a multiple of 3?
True
Let m(s) = -s**3 - 12*s**2 - 12*s - 8. Let u be m(-11). Suppose 2*v - 13 = u*a, -v = v + 3*a - 7. Does 5 divide v?
True
Suppose 4*s - 59 + 7 = -2*y, 77 = 4*y - s. Let l be (-8)/y + (-17)/(-5). Suppose -v + l = -0. Does 2 divide v?
False
Let t = 26 - 15. Suppose 12*l - 24 = t*l. Is 6 a factor of l?
True
Suppose 9*r - 689 = -4*r. Does 14 divide r?
False
Suppose -4*k + c - 11 = -33, -5*c = -3*k + 25. Suppose k*x - x - 8 = 0. Suppose 45 = x*y + 5. Is 20 a factor of y?
True
Let d(u) = -u**3 - u**2 + 3*u - 4. Let y be d(-3). Let s be (y - (0 - 1))*5. Suppose s + 25 = 5*v. Is v a multiple of 6?
False
Suppose -5*b = -4 - 1766. Let q be (-2)/4 + 5/2. Is q/(-11) + b/11 a multiple of 11?
False
Let y = 28 + -14. Suppose -4*j + 14 = -y. Is j a multiple of 6