 z = i. Is i a multiple of 6?
True
Let f(a) = -a**3 - 11*a**2 + 2*a - 6. Let w(v) = -v**3 - 12*v**2 + 2*v - 5. Let c(y) = -4*f(y) + 3*w(y). Is 24 a factor of c(-7)?
True
Suppose -40*c + 36*c - 143 = -d, -3*d = 2*c - 457. Is 11 a factor of d?
False
Let x = 256 - -3. Let z = -124 + x. Is z a multiple of 27?
True
Suppose -o - 9 = 7. Let c = 18 + 14. Let z = c + o. Does 8 divide z?
True
Suppose b - r + 43 = -2*r, 5*b - 3*r = -175. Let q = 7 - b. Is 11 a factor of q?
False
Let j = 1379 - 1239. Is j a multiple of 2?
True
Let u = -16 - -5. Let x = 14 + u. Suppose 0 = 4*i - 16, -h + x*i = 4*i - 18. Does 5 divide h?
False
Let o(q) = q**3 - q**2 - 3. Let g be o(2). Suppose 2*z = -h + 1 + 7, -z = -2*h + g. Suppose 0 = -4*p + h + 78. Does 5 divide p?
True
Suppose 4*b + 69 = -19. Does 2 divide (b/(-4) + 0)/((-2)/(-4))?
False
Is ((-100)/(-3))/(((-70)/(-75))/14) a multiple of 39?
False
Let f(s) = -s. Let p be f(5). Let v = p + 45. Is 8 a factor of v?
True
Let u = -633 - -1051. Does 11 divide u?
True
Suppose -7*f = 57 + 41. Let w(d) = d + 25. Is w(f) even?
False
Suppose -134 = -m - 4*p + 74, -p + 877 = 4*m. Is m a multiple of 11?
True
Let r be 273/(-9) + 2/(-3). Let m = r + 75. Does 7 divide 1/4 + 913/m?
True
Suppose -5*f + 107 = -118. Suppose -f = -2*w - 5*q + 22, -q - 101 = -4*w. Is 4 a factor of w?
False
Suppose -8*o + 13 + 19 = 0. Is (32/10)/(o/40) a multiple of 5?
False
Let o(z) = z**3 + z**2 - 3*z - 1. Let y be o(-2). Let l be 0/2 + -4 + y. Let m(j) = 2*j**2 + 2*j + 3. Does 4 divide m(l)?
False
Suppose 4*u = 4*d - 9304, 0 = 5*d - 4*d + 3*u - 2330. Does 13 divide d?
True
Let y be 2 - (-1 + 0) - -1. Suppose -8 = 4*j + 2*a - 4, -8 = -j + 4*a. Suppose 3*b = j, 0 = -2*g + b + y*b + 114. Is 10 a factor of g?
False
Let u(t) = -136*t + 1. Let h be u(-1). Suppose -z + h = 3*l, -l + 5*z = -3*l + 74. Is l a multiple of 12?
False
Let g be -2 + (-1)/(-2)*-4. Let v(f) = f**2 + 3*f - 2. Let n be v(g). Is 20 a factor of (22 + -2)*n/1?
True
Let s(d) be the second derivative of 5*d**3 - 17*d**2/2 - d. Suppose 0*r - 8 = -u + r, 0 = -5*r - 10. Does 41 divide s(u)?
False
Suppose 4*o - 610 = -2*w, -21*w - 1220 = -25*w - 3*o. Does 55 divide w?
False
Let t(v) = 40*v**2 + 16*v + 18. Let f(g) = 27*g**2 + 11*g + 12. Let a(b) = 8*f(b) - 5*t(b). Is 14 a factor of a(-3)?
True
Suppose -3*f = w + 8, -f - 4*f - 4*w - 4 = 0. Let d be (-22)/(1 + -1 - -1). Let u = f - d. Is u a multiple of 9?
True
Suppose 0 = 230*b - 229*b. Suppose b = -11*n + 3163 + 533. Is n a multiple of 48?
True
Suppose -n - 2*h = -10, -3*h = -4*n + h + 16. Suppose -a = 2*x - 0*x - n, 5*x = 2*a - 39. Does 3 divide a?
True
Suppose -c + 29*g = 32*g - 70, 4*g = -2*c + 140. Does 28 divide c?
False
Let u be ((4 + -3)/1)/((-1)/219). Let j = u + 441. Does 37 divide j?
True
Suppose -516 - 36 = -8*j. Let u = -37 + j. Does 8 divide u?
True
Suppose 3*a + 12 = -4*g + 8*a, -g = -5*a + 18. Suppose -3*b = 5*k - 111, -3*k = g*b - b - 69. Does 4 divide k?
True
Let w(u) = -u + 20. Let v be w(17). Suppose v*n - 54 - 24 = 0. Is 7 a factor of n?
False
Suppose 0 = -r + 1209 - 294. Is r a multiple of 77?
False
Let c(o) = -o**2 + 21*o + 60. Is c(19) a multiple of 5?
False
Let d be -2 - 2 - -2*18/(-12). Let v(q) = 8*q**2 + 49*q + 7. Is 4 a factor of v(d)?
True
Suppose -128*x = -125*x - 1026. Does 9 divide x?
True
Let j = 6 - 15. Let p(x) = -x**3 + 24*x**2 - 26*x + 24. Let f be p(23). Let i = j - f. Is 18 a factor of i?
True
Suppose 12639 = 19*b - 3397. Is 14 a factor of b?
False
Let w = -2 - -4. Let r = 6 - w. Suppose o + r*o - 80 = 0. Does 8 divide o?
True
Let n(r) = 2*r - 20. Suppose -2*b + 7 + 19 = 0. Is n(b) a multiple of 6?
True
Suppose s = 3*w - 577, -10*w - 3*s = -5*w - 985. Is 6 a factor of w?
False
Let y = -9 - 6. Does 14 divide (-789)/y - (-2)/5?
False
Suppose -5*u - 28 = -2*y, -2*u = 4*y - u - 100. Let k = -5 - -5. Let x = k + y. Is x a multiple of 14?
False
Suppose 2*m = -3*u + 1759 - 106, 0 = -3*m - u + 2490. Is m a multiple of 47?
False
Let t(b) = -43*b + 5. Let a(w) = w - 1. Let o(k) = 2*a(k) - 2*t(k). Let y be o(5). Suppose 4*q + 236 = 3*h, -5*h - 6*q + y = -4*q. Is 24 a factor of h?
False
Suppose -3*n - 2*n - a - 101 = 0, -3*a = 3. Let l be n*((-100)/8)/(-5). Let x = l - -107. Does 15 divide x?
False
Suppose -12*g = s - 9*g - 30, 2 = -2*g. Does 3 divide s?
True
Let z(c) = -2*c**3 - 2*c**2 + 3*c - 3. Suppose -3*h = -y + 3*y, 0 = h + 2. Suppose 3*m + 19 = 5*r, y*m - 4*r = -4 - 13. Is 8 a factor of z(m)?
True
Let z(s) = -s**2 - 12*s - 14. Let b be z(-11). Is 10 a factor of 41 - (3/b + 2)?
True
Let w(d) be the first derivative of -d**3/3 - 17*d**2/2 - 12*d - 3. Let s be w(-16). Let y = 25 + s. Does 10 divide y?
False
Let d = 31 + -29. Let w(f) = -27*f + 1. Let j(t) = 1. Let y(x) = -j(x) - w(x). Is y(d) a multiple of 26?
True
Let q be (-4 - -1*6) + 3. Suppose 0 = -q*k - 82 + 2. Is 26 a factor of (13*1)/((-8)/k)?
True
Does 3 divide (-448)/(-6) - (-145)/(-87)?
False
Suppose -26367 = 71*i - 88*i. Is i a multiple of 90?
False
Suppose -1960 = 3*w + 3215. Is 29 a factor of 6/8 - w/20?
True
Let d = 6 + -2. Suppose -51 = -2*z + 3*n + 14, -d*n - 12 = 0. Is z a multiple of 7?
True
Suppose -k + 4*x = -0*k + 20, 2*x = 3*k + 20. Let m(v) be the first derivative of -9*v**2 - 9*v - 12. Does 19 divide m(k)?
False
Let b = -75 + 145. Let w = 124 - b. Does 7 divide w?
False
Let h(n) = 2*n**2 + 26*n + 26. Is h(-20) a multiple of 53?
False
Does 3 divide 8*(-7)/(-420) + (-176)/(-30)?
True
Let b(j) be the second derivative of j**5/20 + 2*j**4/3 + 2*j**3/3 + j**2/2 + j. Does 28 divide b(-5)?
True
Suppose -2*d + 0*d + 12 = 0. Let a = 2 + d. Let b(j) = j**3 - 8*j**2 + 8*j + 2. Is b(a) a multiple of 12?
False
Let i(u) be the first derivative of -u**2/2 + 3*u - 1. Let t be i(0). Suppose t*o - 60 + 6 = 0. Is 6 a factor of o?
True
Let s(g) = 2*g**2 - 21*g - 95. Is 38 a factor of s(19)?
True
Let u(t) be the first derivative of -t**2/2 - 11*t - 3. Let h be u(-13). Suppose -h + 14 = 4*y. Is y a multiple of 2?
False
Let b be -4*(18 + -3) - 4. Let z = b + 188. Is 36 a factor of z?
False
Let n(d) be the first derivative of 83*d**2/2 + 1. Let h be n(4). Is (-4)/(-14) + h/14 a multiple of 12?
True
Let r be -1 - (-25 - -1)/3. Suppose -172 = -r*v + 3*v. Does 6 divide v?
False
Let x(s) = 3*s. Let g be x(2). Suppose 0 = u + 1 + g. Let o = 23 + u. Is o a multiple of 8?
True
Suppose -7*c = 5*l - 3*c - 398, -3*l - 3*c = -237. Suppose l = 2*v + 10. Is 10 a factor of v?
False
Let o(d) be the second derivative of 145*d**3/6 + d. Is 29 a factor of o(1)?
True
Let n(c) = -c**3 - 7*c**2 - 3*c + 14. Let a be -1 - -1 - (-12 + 18). Let v be n(a). Is (12/(-8))/(1/v) a multiple of 6?
True
Does 13 divide (220/(-50) - -6)/((-2)/(-895))?
False
Let g be 76/(-14) - 12/21. Let s(y) = y**3 + 8*y**2 + 13*y + 8. Let t be s(g). Is 10*5 - (4 - t) a multiple of 18?
False
Suppose 27*b + 141264 = 51*b. Does 109 divide b?
True
Let d(a) = -a**2 + 7*a - 6. Let t be d(6). Suppose -l - l - 2 = -n, 4*n + l - 8 = t. Is (3 - 3) + 22 + n a multiple of 8?
True
Suppose 45 = 5*k - 5*v, -4*k = 3*v + 9 - 59. Is 5 a factor of -1 + k - (2 - -1)?
False
Let v = 1787 + 457. Is v a multiple of 51?
True
Let n(h) = h**3 + 9*h**2 - 11*h - 10. Let y be n(-10). Suppose y*s - s = -130. Is 10 a factor of s?
True
Suppose -o + 1 = 0, -4*o + 8*o = 3*u - 1052. Is u a multiple of 8?
True
Let s(x) = 3*x + 68. Let q be (-4 - (-20)/4)*0. Is 9 a factor of s(q)?
False
Let c(r) = -41*r - 9. Let y(g) = 27*g + 6. Let b(a) = -5*c(a) - 8*y(a). Is 13 a factor of b(-5)?
True
Let l be (-5)/(-1)*(-3 + (-16)/(-4)). Suppose -l*x + 308 = 2*x. Does 4 divide x?
True
Let w(o) = o**2 + 2*o - 29. Suppose -15*k + 6*k + 81 = 0. Is 14 a factor of w(k)?
True
Suppose -2*o + 3*a = 215, 80 + 31 = -o + 5*a. Let l = -44 - o. Is l a multiple of 12?
False
Let l = 29 + -38. Let i = 12 + l. Is i a multiple of 3?
True
Let r(a) = -a**2 - 11*a + 2. Suppose 4*x - 4*b - 124 = 0, 3*b = -x - 0*b + 19. Let f be 70/x*(-1 - 1). Does 4 divide r(f)?
True
Let w = 1551 + -826. Is 29 a factor of w?
True
Suppose -4*g - 3*f - 11 = 0, 2 = g - 0*f - 4*f. Let z = 52 - g. Does 27 divide z?
True
Let m(q) = -2*q**2 + 44*q - 45. Is m(15) a multiple of 55?
True
Let k = -552 + 672. Is k a multiple of 12?
True
Let d(f) = 72*f - 17. Let u(j) = -18*j + 4. Let c(r) = 4*d(r) + 18*u(r). Let m