 = -26 - 26. Let k = m - -135. Suppose f = -3*o - 4*f + k, -4*o = f - 139. Is 18 a factor of o?
True
Does 43 divide (13 + -4 + -62)*-3?
False
Let r = -2488 + 5077. Is r a multiple of 11?
False
Let o(y) be the second derivative of -7/6*y**3 + 5/12*y**4 - y + 0 + 1/20*y**5 + 2*y**2. Is 6 a factor of o(-6)?
False
Suppose 0 = -4*h - 10 - 50. Suppose -6 = a - 26. Let w = a + h. Does 5 divide w?
True
Let y(l) = -14 - 10*l - 2*l - 3*l**2 - 3*l + 2*l**2. Suppose -5*t + 19 = 79. Is y(t) a multiple of 22?
True
Let c(b) = 10*b**2 + 3*b - 3. Let h be c(1). Suppose 1268 = h*j - 382. Is 32 a factor of j?
False
Let f(v) = 3*v**3 - 8*v**2 + v - 8. Let m(q) = -q**3 + 4*q**2 - q + 4. Let p(o) = 2*f(o) + 5*m(o). Is 3 a factor of p(-4)?
False
Let c(z) = 7*z**2 + 14*z - 69. Is c(7) a multiple of 31?
True
Let g = 13 + -10. Suppose b - g = -1. Suppose d = -b*l + 27, d - 5*d = 3*l - 108. Is 12 a factor of d?
False
Suppose -s = 4*o - 74, 2*s - 2*o - 221 = -33. Let h = -51 + s. Is h a multiple of 30?
False
Let y(m) = 74*m**2 + 16*m + 64. Does 111 divide y(-4)?
False
Suppose -388 = -9*n + 71. Let w = -26 + n. Does 5 divide w?
True
Let i = 5 - 0. Suppose 2*p - 4*d - d - 45 = 0, 0 = 5*d - i. Let n = p - 19. Is 3 a factor of n?
True
Suppose -3*g + 4 - 1 = 0. Is 63 + 0 + (g - 1) a multiple of 9?
True
Suppose -4*l - l = 2*g - 18, 4*l + 8 = 4*g. Let f(z) = 3 + 15*z**l + 2 + 3 + 2*z - 9. Is f(1) a multiple of 16?
True
Let z(y) = 44*y + 187. Is z(5) a multiple of 24?
False
Is 2904/(-30)*(-20 + 0) a multiple of 70?
False
Suppose -2*s - c + 890 = 0, 3*s = -0*s - 5*c + 1349. Suppose -222 = -2*a - 2*i, -4*a - i + s = 2*i. Let d = -62 + a. Is 15 a factor of d?
False
Suppose 0 = 3*t + v - 14, 0*v + 4*v + 29 = 5*t. Let c(x) = x**3 - 4*x**2 - 5*x. Let b be c(t). Suppose b*u + 5*u = 85. Is 9 a factor of u?
False
Let i = 5 - 1. Suppose 3*v - 1 - 17 = -i*x, 5*v + 4*x = 22. Suppose -3*h = -3, 6*r - v*r - h = 99. Is r a multiple of 8?
False
Let a(d) = d**3 - 5*d**2 + 2*d - 6. Let u be a(5). Suppose -10 = -5*n, 0 = -u*o + n + 4*n + 102. Does 14 divide o?
True
Let f(r) = -7*r + 105. Is 49 a factor of f(-21)?
False
Is 53 a factor of 120780/315 - ((-12)/(-7))/4?
False
Suppose -52*c = -698 - 15422. Does 3 divide c?
False
Suppose 8*i = 7*i + 117. Is 11 a factor of i?
False
Suppose -5*c = 4*b - 61, 4*c + 2 = b - 8. Is b even?
True
Let a be 2 + (-6)/1 - 101. Let w = -81 - a. Is w a multiple of 2?
True
Suppose -1 = -3*c - 3*y + 11, 2*y - 6 = -c. Suppose -3*q - 114 = -6*q. Suppose 2 + 0 = 2*w, q = 2*b + c*w. Is 7 a factor of b?
False
Let h(n) = -2*n**3 - 2*n**2 + 3*n - 4. Let g be h(-5). Suppose 2*j - g = -113. Is 2 a factor of j?
True
Let k be 0 + 4 - (0 + -2). Does 10 divide k/(-10) - (-1314)/15?
False
Suppose j = g - 0*g - 558, 2*j = 0. Is 31 a factor of g?
True
Let a be ((-204)/33 - (-2)/11)*-1. Suppose -44 = -8*x + a*x. Is x even?
True
Suppose 2447 = 25*d - 1003. Does 69 divide d?
True
Suppose 488 - 96 = 7*z. Suppose -4*o + 160 - z = 2*k, 91 = 3*o - 5*k. Does 3 divide o?
True
Let j(h) = h - 4. Let p be j(12). Let v be (-132)/p*20/(-3). Does 13 divide (12/(-15))/((-4)/v)?
False
Suppose 512 = c + 5*y, -y + 3*y = c - 505. Suppose c = 3*h - 12. Does 41 divide h?
False
Suppose t + 4*t + 4*m - 2233 = 0, -3*t = 2*m - 1339. Suppose 0 = 6*z - t - 821. Does 39 divide z?
False
Let v(r) = -r**3 + 4*r**2 + 11*r + 10. Let m be v(6). Suppose -2*z + 2*o = m*o - 76, 0 = 5*o + 20. Is z a multiple of 14?
True
Let z(x) = -x**2 + x + 1. Let w be z(2). Let g(k) = 100*k**2 - 2*k - 1. Is 9 a factor of g(w)?
False
Let h = 62 + -71. Does 44 divide (h - 1)*7/(140/(-288))?
False
Suppose -2*b + 3*s = -4 - 11, -4*s - 20 = 2*b. Let p be (b/(-4))/(-5 + 3). Let k(g) = -g + 24. Is k(p) a multiple of 12?
True
Suppose 0 = -51*i + 47*i + 3136. Does 49 divide i?
True
Suppose 3*d - 4007 = 469. Is 33 a factor of d?
False
Let k be (-32508)/(-117) - 6/(-39). Let h = -158 + k. Is h a multiple of 15?
True
Let c(l) = 3*l**3 + 2*l**2 - l + 2. Let n be c(3). Suppose 10*s = 11*s - n. Does 14 divide s?
True
Suppose -6*m = -1862 - 718. Is m a multiple of 6?
False
Let j be 3/(4 + (-1661)/416). Let m = -263 + j. Is m a multiple of 17?
True
Let x = -87 + 781. Is 9 a factor of x?
False
Suppose -40 = 8*l + 40. Let t = 22 - l. Is t a multiple of 16?
True
Suppose 5*s + 3 = n, s - 2 - 7 = -3*n. Suppose 13 = x - 0*x + 2*a, -4*x + n*a = -52. Is x a multiple of 5?
False
Suppose 20 = -143*n + 145*n. Let m(b) = -b + 4. Let x(z) = 2*z - 3. Let t(c) = 4*m(c) + 3*x(c). Does 15 divide t(n)?
False
Suppose -862 = -v - v. Suppose -3*b - 2*d + v = 0, -3*d - 2*d + 20 = 0. Is 16 a factor of b?
False
Let y = -416 + 636. Does 11 divide y?
True
Let t(o) = -36*o**3 + 8*o**2 + 30*o + 1. Does 38 divide t(-4)?
False
Let v = 108 - -197. Does 16 divide v?
False
Let x be ((-4)/10)/((-5)/25). Suppose 3*b - h = -0*h - x, 4 = -b + 2*h. Suppose 0*s - 2*s - 36 = -5*k, b = k + s - 3. Is 3 a factor of k?
True
Is 83 a factor of (-4)/(-8) - 331/(-2)?
True
Let t(d) = -d**2 - 8*d + 2. Let w be t(-7). Suppose 0 = 4*m - 3*m - w. Suppose -2*g = -23 - m. Is 16 a factor of g?
True
Suppose q - 16 + 7 = 0. Suppose c = -2*c + q. Suppose -c*j + 0*j = -15, 3*j = -4*f + 207. Does 16 divide f?
True
Let r be 12/18*9*1. Suppose 42 = 9*a - r*a. Suppose w - a = 9. Does 7 divide w?
False
Suppose 10*q = 2*q + 7240. Suppose -5*b = -5*o - b + q, -543 = -3*o + 2*b. Is 34 a factor of o?
False
Suppose -5*z + 0*z + 4*p + 6 = 0, -2*z + 2*p + 2 = 0. Let s(c) = -4 + 6*c + z - 2*c. Does 14 divide s(4)?
True
Suppose -3*u + 5*u - 8 = 0. Suppose 3*z = -2*q + 8, z - 4*z + 2*q + u = 0. Is z a multiple of 2?
True
Let z(d) = -d**3 - 20*d**2 - 20*d + 29. Is 11 a factor of z(-20)?
True
Suppose -5*p + 1715 = 2*c, 4*c - 3939 = -p - 536. Is c a multiple of 34?
True
Let r(j) = -j + 1. Let f(a) = a - 3. Let t(w) = -f(w) - 2*r(w). Does 5 divide t(4)?
True
Suppose 0 = -56*k - 26*k + 85690. Does 53 divide k?
False
Suppose b = 2*p + 341, 0 = -52*b + 51*b - 3*p + 361. Is 7 a factor of b?
False
Suppose v = -5 + 9. Suppose v*l - l = 801. Is 9 a factor of l?
False
Does 19 divide (-304)/7*665/(-10)?
True
Suppose f - 2*x - 31 = -3*x, 3*x = -9. Suppose -2*d = 2*d - 16. Suppose d*z = -a, -5*a + 2*z + 54 = -f. Is 4 a factor of a?
True
Suppose -3*c = -4*c + 4. Suppose c*t = 2*a + 14, -5*a - 1 - 8 = 3*t. Suppose -3*h = -2*p + 28, -h + t*h + 56 = 3*p. Is p a multiple of 10?
True
Suppose -12*w + 12 = -8*w, 4*k - 4*w = 468. Is 4 a factor of k?
True
Suppose -6*n = 2*n - 88. Let i(j) = j**3 + 8*j**2 - j - 8. Let u be i(-6). Suppose n = p - 5*a, -p - 2*a + u = p. Does 8 divide p?
False
Let f(k) = k**3 + 11*k**2 - 6*k - 22. Let o be (-4)/(1*(-3)/6*-1). Does 13 divide f(o)?
False
Suppose 34*u - 27587 = 83253. Does 25 divide u?
False
Let m(f) = f**3 + 12*f**2 - 28*f - 19. Is 4 a factor of m(-13)?
True
Let r(b) = 2*b - 3. Let l be r(3). Suppose 2*i + 10 = 7*i, l*d + i + 1 = 0. Is 2 - (-12)/(-2)*d a multiple of 4?
True
Suppose 0 = -9*c + 932 + 148. Is c a multiple of 4?
True
Let g(y) = 3 + 4*y**2 + 2 - 12. Let m(f) = 5*f**2 + f - 8. Let w(n) = 3*g(n) - 2*m(n). Is 2 a factor of w(3)?
False
Let w be (-1 - (-7 + 4)) + 2. Suppose w*t - 4*d - 56 = 52, 5*t = -d + 117. Is 4 a factor of t?
True
Suppose 0 = -4*s - 5*k, 2*s + 3 + 3 = -4*k. Suppose s*g + 0*h - 200 = h, g - 40 = -h. Does 20 divide g?
True
Is 2 + -5 - (-48 + -1) a multiple of 26?
False
Let r(i) be the first derivative of 5*i**4/12 + i**3/2 - 2*i**2 - 2*i + 3. Let p(m) be the first derivative of r(m). Is p(-3) a multiple of 8?
True
Let f(d) = 11*d**2 - 6*d. Let h be f(-5). Suppose -10*q + 15*q = h. Is 22 a factor of q?
False
Let f = 61 - 14. Let v = f - 23. Suppose -v*a + 29*a = 115. Is 9 a factor of a?
False
Suppose -632*s + 631*s + 734 = 0. Is 10 a factor of s?
False
Let o(x) = 2*x**3 + x**2 + 9*x - 6. Let z be o(4). Suppose z = 3*i + 60. Does 18 divide i?
False
Let i = -1346 - -2006. Is i a multiple of 12?
True
Let c = -503 - -769. Does 38 divide c?
True
Suppose -4*j - 5*q = -936, 702 = -33*j + 36*j + 5*q. Is j a multiple of 81?
False
Suppose 0 = -43*q + 39*q + 8. Does 15 divide (-192)/104 + q + (-672)/(-26)?
False
Let u(w) = 4*w**2 - 50*w - 147. Is u(18) even?
False
Let h(q) = q - 1. Let j be h(4). Let l(m) = -17*m**3 - j*m**2 + 7*m**2 + m - m**2 - m**2. Is l(-1) a multiple of 18?
True
Let f 