o - 71. Let k(y) = -11*x(y) + 4*z(y). Does 16 divide k(-24)?
False
Suppose 2*i + 43 = -5. Let v(n) = n**3 + 26*n**2 + 45*n - 26. Is 4 a factor of v(i)?
False
Suppose -3*k + 0*k + 5 = -2*a, a = -4. Let x(p) = -226*p**3 + p**2 - 3*p - 4. Is x(k) a multiple of 37?
False
Let z(b) = 3*b**2 - 55*b - 27. Is 8 a factor of z(20)?
False
Let t(l) = 10*l**2 + 1. Let z be t(-1). Let x(w) = 21 + w**2 + z*w - 2*w**2 - 26. Is 4 a factor of x(7)?
False
Suppose -2*p = -5*p + 99. Let y be (-8)/(-3)*p/4. Does 6 divide 3/6*-2 + y?
False
Suppose -7*o = -24 - 32. Let n = 96 - o. Is 35 a factor of n?
False
Suppose -q = 4*q - 15. Suppose 88 = 3*k + y, -y - 25 = -k + q*y. Is k a multiple of 20?
False
Let v(o) = 2*o**3 - 8*o**2 + 2*o - 19. Is v(7) a multiple of 7?
False
Suppose -2*u + 148 = -4*g, -231 = -6*u + 2*u - 5*g. Suppose -h - 10 = s - 0*s, h - 5*s = 14. Let z = u - h. Is 14 a factor of z?
True
Let k(d) = -10*d + 16. Suppose -b - 2*b + 3*x = 12, -5*b - 48 = 2*x. Let f be k(b). Suppose f = 5*t - t. Is t a multiple of 4?
True
Suppose -5*p = -5*l - 35, 4*p - 31 = -l + 2*l. Suppose 2*v + p = 6*v. Does 11 divide v*(-3 - 75/(-6))?
False
Suppose 9 = -3*h - 15. Let n = h + 13. Suppose -20 - 43 = -4*d + 3*z, n*d = -4*z + 40. Is 3 a factor of d?
True
Let b(m) = m**3 - 2*m**2. Let f be b(0). Suppose f = -0*s - 5*s. Suppose s = -13*v + 6*v + 77. Does 2 divide v?
False
Let l = -53 + 341. Is 18 a factor of l?
True
Suppose -1685 = -5*n + 5*h, -5*n + 694 = -3*n + 2*h. Is n a multiple of 12?
False
Let a be (-11)/(-9) + (-6)/27 + -1. Is 23 a factor of 69*(a + (-15)/(-9))?
True
Let b = 2089 - 697. Is b a multiple of 87?
True
Let y = -7 + 9. Suppose y*i - 5*f - 341 = 0, 4*i = 5*i - 3*f - 170. Does 23 divide i?
False
Let f be (-2)/8 + (-102)/(-24). Let q be (-10)/25 + f/10. Suppose -2*z + 121 + 21 = q. Does 25 divide z?
False
Let l = -252 - -76. Is 23 a factor of (12/(-8))/(6/l)?
False
Let b(p) = -p**2 - 6*p + 7. Suppose -5*l + 3 = -3*q - 4*l, q + 5*l - 15 = 0. Let a = -6 - q. Is 3 a factor of b(a)?
False
Suppose -z + 14 = z. Let h(u) = 1 + z*u**2 - 6*u**2 - 7*u + 21*u. Is h(-15) even?
True
Is 23 a factor of (-334)/(60/(-18) + 3)?
False
Let j(y) = 7*y**2 - 2*y - 56. Is 16 a factor of j(26)?
True
Let c = -8 + 10. Let b = c + 3. Is b a multiple of 5?
True
Let j(d) = 5*d + 2. Let n(g) = 5*g + 1. Let m(c) = -6*j(c) + 7*n(c). Is 25 a factor of m(11)?
True
Let b(a) = -a**3 + 8*a**2 + 12. Let c be b(8). Suppose w - c = -4*n, 2*w + 0*w - 14 = -3*n. Does 4 divide w?
True
Suppose 0*k = 2*k + 20. Let y be 3/15 - 58/k. Let u(v) = 2*v + 12. Is u(y) a multiple of 12?
True
Suppose -99 = -2*g + g. Let i = g + -48. Is i a multiple of 7?
False
Let f = 46 - 21. Suppose -2*u + 7 = -f. Is 2 a factor of u?
True
Let u = 589 + -690. Suppose -5*f + 599 = -h - 3*h, -3*f = -2*h - 301. Let p = u - h. Is p a multiple of 14?
False
Does 61 divide 2/(-4) - (-65910)/60?
True
Does 18 divide (2 - (-173 - -2)) + -2?
False
Suppose 4*n + n + 17 = -2*x, 5*n = -25. Is 11*(5 - 4/x) a multiple of 8?
False
Let a be ((-24)/(-30))/(6/15). Is 35 a factor of -1 + 2 + 1 + 556/a?
True
Suppose 0 = -2*y - a + 236, -3*y - 3*a - 2*a = -354. Let q = y - 65. Suppose -6 = -3*n + 9, 2*d - q = -3*n. Is 19 a factor of d?
True
Let b(y) be the first derivative of -2*y**3/3 + 21*y**2/2 + 13*y - 9. Is b(11) a multiple of 2?
True
Suppose 0*i = 3*i - 168. Suppose 6 = 4*z - 7*z + 4*h, -z - 5*h = -17. Suppose -z*w + 6*w = i. Is 7 a factor of w?
True
Suppose -3*g - 35 = -o + 39, 3*g - 74 = -o. Suppose -4*l + o = 5*n - 0*l, 4*l = 5*n - 106. Is n a multiple of 3?
True
Let g be 1 + 0 + (0 - -1). Suppose -g*r + 5*r + 207 = 0. Let n = 101 + r. Does 16 divide n?
True
Let t = 6 + -7. Is 11 a factor of -22*(t/(-1))/(-1 + 0)?
True
Suppose 0 = z - 2*t - 169, 4*z + t - 672 = -14. Is z a multiple of 4?
False
Let n(y) = 2 + 3*y - 4*y + y**3 + 2*y**2 + y. Let x be n(-2). Suppose 9*c = 4*c + j + 183, -2*j - 78 = -x*c. Is 8 a factor of c?
False
Let b be (-3 - -3) + (0 - 98). Let z = 30 - b. Suppose -o = -0*s - s + z, -4*s + 512 = -o. Does 32 divide s?
True
Suppose -3*f - 5*u + 12 = -22, -4*u = 5*f - 35. Suppose -89 = -4*a + 2*k - k, f*k - 63 = -3*a. Is a a multiple of 22?
True
Let i = -50 + -79. Let o = -45 - i. Does 28 divide o?
True
Suppose 9*w - 13*w + 1516 = a, -w = 3*a - 390. Does 14 divide w?
True
Let p = -36 + 20. Let b be 4*-1*36/p. Let l = b + 42. Is 12 a factor of l?
False
Let o be 2/(-7) + (-24)/(-84). Suppose o = d - 12*d + 264. Is 7 a factor of d?
False
Let y(q) = 10*q**2 + 4*q + 2. Let b be y(-3). Let j = b + -40. Is 15 a factor of (j - 1)/(6/4)?
False
Let y(f) = 7*f**3 + 21*f**2 + 9. Let w(l) = -l**3 - l**2 + 1. Let u(c) = 6*w(c) + y(c). Is u(-15) a multiple of 15?
True
Suppose -5*r + 10 = -4*w - w, -3*r = 2*w - 16. Suppose 5 = 5*v + 2*a - 2, 0 = 5*v - 4*a - 31. Suppose v*c = w*c + 15. Does 4 divide c?
False
Let l(h) = h**3 - 2*h**2 - 2*h + 11. Is l(6) a multiple of 8?
False
Suppose -16*j + 10955 = -3205. Is 13 a factor of j?
False
Let h(y) = 2*y**2 + 2*y + 9. Let p be h(4). Suppose -2*j = l - p, -8 + 101 = 4*j + l. Suppose -4*w = j - 418. Is w a multiple of 29?
False
Does 13 divide (-1 + 12/20)*-520?
True
Let p = -284 + 424. Suppose 14 = -7*v + p. Is 18 a factor of v?
True
Let v = 463 + -336. Does 29 divide v?
False
Suppose 134 - 139 = 5*j. Let w(i) = -83*i**3 + 2*i**2 + 7*i + 6. Is 5 a factor of w(j)?
False
Suppose 4*d - 48 - 228 = 0. Suppose -12*j + d = -15*j. Let a = j + 59. Is a a multiple of 9?
True
Let v(q) = -q**3 + 15*q**2 + 2*q - 24. Let t be v(15). Suppose 434 - 14 = t*j. Is j a multiple of 14?
True
Suppose -3*x + 10 = -8*x, 3891 = 5*w - 3*x. Is w a multiple of 19?
False
Let t = 176 + 249. Does 5 divide t?
True
Let k be 1*(-3 + 3)/3. Suppose k = 2*d - 5*r + 5 + 2, d + 3*r - 2 = 0. Is 4 a factor of d/3 + (-490)/(-30)?
True
Is 446/((-7)/(105/(-10))) a multiple of 26?
False
Let r be (1*(1 + -3))/(-1). Suppose -r*q = 3*l - 78, l - 4 = 2*l. Let o = q - 10. Is o a multiple of 10?
False
Let v(a) = -a**3 - 8*a**2 - 7*a - 24. Let f be v(-8). Let x = 50 - f. Does 9 divide x?
True
Let k(v) = -v + 3. Let t be k(-1). Suppose -t*u + 2*u + 74 = 0. Is 7 a factor of u?
False
Let g = -134 + 253. Is 29 a factor of g?
False
Let s(j) = j**3 + 15*j - 16. Is s(6) a multiple of 10?
True
Suppose 2*d = 3 + 27. Suppose 4*p = 4*k - p - d, -5*k = 5*p + 15. Suppose m = -u + 6*u, -5*u + 5 = k. Is m a multiple of 3?
False
Suppose 9*a = 10*a - 89. Suppose -92*o = -a*o - 45. Is 15 a factor of o?
True
Suppose 2*a - 9 - 1 = 0. Suppose a*c + 450 = 2*f, 2*f - 2*c - 504 = -60. Suppose -5*y = -0*y - f. Is 11 a factor of y?
True
Is 10 a factor of (-532 - 11)*(8/(-6) - -1)?
False
Suppose 0*c + 538 = 4*c + p, p = 2. Let i be 5 + -7 + -2 + 7. Suppose -i*m + c = 26. Is m a multiple of 12?
True
Let l(j) = 2*j**3 - 22*j**2 + 3*j + 14. Does 14 divide l(14)?
True
Let q(k) = -k**2 - 13*k - 1. Let m(x) = -2*x + 31. Let y be m(20). Is q(y) a multiple of 7?
True
Let m(w) = -w**3 + 23*w**2 + 27*w + 7. Is m(24) a multiple of 4?
False
Let d = -277 + 284. Does 2 divide d?
False
Let s be (304/12)/2*-21. Let n be 1 - 0 - (s - -2). Suppose 0 = 6*d - d - n. Does 8 divide d?
False
Suppose 2*j - 1455 + 227 = -3*w, -w - 1831 = -3*j. Does 22 divide j?
False
Suppose h = 3*y + 54, -4*h + y + 48 = -3*h. Is 9 a factor of h?
True
Let f(y) = 53*y**2 + y. Let t = 10 - 11. Let j be f(t). Is ((-2)/8)/((-1)/j) a multiple of 4?
False
Let y = -202 - -413. Is y a multiple of 65?
False
Does 10 divide (-45)/(-2)*(-10 - 814/(-33))?
True
Suppose 13*b + 175 - 721 = 0. Does 21 divide b?
True
Let w = -44 - -68. Let f be (176/w)/(2/(-6)). Is (-2)/(-4)*-2*f a multiple of 11?
True
Suppose a - 41 = -t + 15, -4*a + 20 = 0. Let g = t - 28. Let y = g + -17. Is y even?
True
Let b be (-6)/18 + (-1)/(-3). Suppose 835 = 5*c - b*c. Let z = c + -95. Is z a multiple of 24?
True
Let c be 15/(-12) - 39/(-12). Let s be (22/(-3))/((-4)/6). Let w = c + s. Is 4 a factor of w?
False
Let m = 33 - 35. Does 17 divide m*4/8*-102?
True
Let z(f) = -f**3 - 23*f**2 - f - 15. Let x be z(-23). Suppose 0 = -x*u - 4*u + 3360. Is 15 a factor of u?
False
Let n(i) = -i**3 - i**2 - i - 2 + 6*i - 6 - 6*i**2. Let d be n(-8). Suppose 0 = -0*x + 2*x - d. Does 4 divide x?
True
Suppose 0 = n - 2*a - 5 - 2, -a = 2. Suppose 2*w + 3*k - 24 - 13 = 0, 73 = n*w + k. 