e
Let c(z) = z**3 - z**2 - 7*z + 1. Let i be c(-4). Let f = 106 + i. Does 11 divide f?
True
Let z = -2428 + 3511. Is 19 a factor of z?
True
Let d = -107 + 173. Is d a multiple of 6?
True
Let o(y) = 2*y**3 + 11*y - 7. Is o(4) a multiple of 22?
False
Let d be (-3 + 10/4)*0. Suppose -2*w - 59 + 812 = -3*i, d = i + 3. Does 12 divide (w/4)/1 + -4?
False
Let c(p) = p**2 + p + 1. Let s be c(9). Suppose 129 = 5*q - s. Is q a multiple of 40?
False
Suppose -a - l + 3 = -2*l, 2*a - l = 5. Let f(j) = 2*j**3 - 2*j**2 + 2*j - 2. Does 5 divide f(a)?
True
Let x = 23 + -21. Let g(k) = 59*k - 4 - 27*k - 6*k**2 - 31*k + x*k**3. Is g(4) a multiple of 32?
True
Suppose 4*h + 2*b - 32 = 0, 3*h + 0*b - 2 = 4*b. Is (3402/5)/6 - h/(-10) a multiple of 12?
False
Let v be -12 + 2 + (1 - 3). Let w be (-2)/(-7) - (-1206)/42. Let q = w + v. Is q a multiple of 17?
True
Let l = -11 + 17. Suppose l*t = -4*q + 3*t + 140, -5*q + 4*t + 206 = 0. Is 22 a factor of q?
False
Let y(z) = -z**2 - 16*z + 2. Let c be y(-15). Is (-2)/c - 10120/(-187) a multiple of 18?
True
Let j(x) = -2*x + 139. Does 11 divide j(29)?
False
Suppose 3*z + 2*a + 34 = 0, -4*z - a + 5 - 52 = 0. Is (-6)/(4/z*1) a multiple of 4?
False
Let l(j) = -j**3 - 2*j**2 + 11*j + 1. Is 13 a factor of l(-7)?
True
Suppose -7 = -a - 4. Suppose -a*s - 5*l = 9, -3*s = -4*l - 2 - 16. Suppose s*p + 75 = 239. Does 26 divide p?
False
Does 60 divide (-6 + 9 + -83)/((-2)/30)?
True
Let r = -9 + 12. Suppose 5*a = 6*a - r. Suppose -j + a*j - 46 = 0. Is 23 a factor of j?
True
Let v = -134 - -164. Is v a multiple of 10?
True
Suppose -423 = -5*j + 432. Is j a multiple of 19?
True
Suppose -108*p + 107*p + 48 = 0. Suppose 4*q + 12 + 4 = 0, 3*q + p = i. Does 18 divide i?
True
Let v(o) = -o**3 + 8*o**2 - o - 6. Let y(a) = 3*a - 4. Let z be y(2). Suppose 12 = z*i - 2. Is v(i) a multiple of 18?
True
Let b(g) = -g + 12. Let i be b(-7). Let t = -1 - -4. Let s = i - t. Is 16 a factor of s?
True
Let o(i) = 92*i**3 - i**2 - i + 2. Let z be o(1). Let h = z + -70. Is 5 a factor of h?
False
Suppose -8*w + 0*w - 50776 = 0. Does 23 divide ((-3)/(-5) - 1) + w/(-55)?
True
Suppose 0 = 5*i - 4*i. Suppose j + 3*j - 2*d - 20 = i, 0 = -j + 5*d + 14. Suppose 0 = -3*q - q - j*p + 172, -3*p = 0. Is q a multiple of 9?
False
Let z = -17 + 22. Suppose 0 = 3*v + z*m - 75, -2*m - 99 = -5*v + 57. Is v a multiple of 10?
True
Suppose d + 4*n + 2608 = 5*d, 3224 = 5*d + 4*n. Is 24 a factor of d?
True
Let j(g) = -g**3 - 6*g**2 - 5 - 5 + 2*g + 5*g + 0. Let d be j(-7). Is 4 a factor of ((-2)/(-4))/(d/(-240))?
True
Suppose -17755 = 23*t - 76*t. Is 2 a factor of t?
False
Suppose -3*n + 10 = 5*j, 3*j + 2 = j. Suppose 3*f = -5*z + 8*f + 920, 926 = n*z - 3*f. Is 11 a factor of z?
True
Let z = -74 - -74. Suppose z = -4*y + y, -2*y = -5*u + 335. Is u a multiple of 24?
False
Suppose 0 = -3*u - 2*m + 81, 3*u = 5*m + 6 + 54. Does 7 divide (5 - 80/u)*35?
True
Let u(t) = 8*t - 4. Let y(o) = 1. Let b(i) = -u(i) - 8*y(i). Let k be b(5). Let s = -19 - k. Does 25 divide s?
True
Is (-301)/28 - -10 - (-2691)/4 a multiple of 28?
True
Let k be 0 - (-2 + -1 + 0). Let l(s) = -s**2 + 2 - 2*s**3 - 8*s - 6*s**k + 7*s - s**2. Is 10 a factor of l(-2)?
True
Suppose 2*l + 4 = 2. Let x be ((-9)/l - 3) + -1. Suppose x*f + 60 = 3*c - 63, 156 = 4*c - 4*f. Is 18 a factor of c?
True
Let t(m) be the third derivative of -m**5/120 - m**4/24 - 5*m**3/6 + 2*m**2. Let h(k) be the first derivative of t(k). Is 7 a factor of h(-8)?
True
Is (-7)/((-77)/(-2)) + 400/22 a multiple of 14?
False
Let d(g) = 5*g**2 - 51*g - 42. Is 11 a factor of d(-21)?
True
Let w be (-39)/91*(-6 - 1). Suppose -h = -w*h + 40. Is h a multiple of 6?
False
Let b = -90 - -19. Let l = 46 - b. Suppose 0*m = 3*m - l. Is 13 a factor of m?
True
Let w be (-7)/(-21) - 1 - 4/3. Is (-3 - -9)*7*(-3)/w a multiple of 13?
False
Suppose -3*v = -0 - 6. Does 11 divide 3/(-2) - 1/v - -35?
True
Suppose 7*b - 2144 = 747. Is 7 a factor of b?
True
Let h = 1154 - 677. Let w = -267 + h. Is 15 a factor of w?
True
Let y = -61 + 113. Suppose 0 = 3*o + 5*j - 80, 2*o = -8*j + 4*j + y. Is o a multiple of 15?
True
Suppose -16 = -4*o - 4*f, -3*o = -f + 3*f - 12. Suppose -5 = -o*z - k, 3*k + 10 = z - 1. Suppose -z*s = -15 - 17. Is s a multiple of 8?
True
Let p = 162 + -32. Let g = 58 + p. Does 22 divide g?
False
Let d(j) = 2*j**2 - j - 2. Let s be d(8). Suppose s = -3*f - 11. Let w = 0 - f. Does 26 divide w?
False
Let a = -179 - -103. Let r = a + 106. Is 6 a factor of r?
True
Let l be (-46)/(-14) - 6/21. Let w = 0 + l. Let x = 10 + w. Does 4 divide x?
False
Let c(t) = -76*t**3 - 4*t - 2*t**2 + 42*t**3 + 36*t**3 + t**2 + 14. Is 13 a factor of c(3)?
False
Suppose 7*s - 402 = 4*s. Let o(c) = -134 - 66*c + s. Is o(-1) a multiple of 23?
False
Let a(v) = v + 38. Let q be a(0). Suppose q = i - 26. Is (3/(-2))/((-6)/i) a multiple of 8?
True
Let w(x) = -x**3 - 37*x**2 - 42*x + 48. Is w(-38) a multiple of 84?
False
Let v be ((-6)/(-2))/(18/30). Suppose -3*z + v = -19. Suppose -24 - z = -2*q. Is 8 a factor of q?
True
Let j(d) = -446*d**3 - d**2 + 3*d + 6. Does 28 divide j(-1)?
True
Let f be (-22)/7 + 2/14. Suppose 5*q - 159 = -59. Is 12/(-2)*q/f a multiple of 20?
True
Let z(c) = 3 - 43*c**2 - 38*c**2 - c - 40*c**2 - c**3 + 113*c**2. Let v = -4 + -4. Is 3 a factor of z(v)?
False
Suppose -11*o = -29*o + 2898. Is o a multiple of 7?
True
Let b = -26 - 38. Let y = b - -111. Is y a multiple of 14?
False
Let o = -827 + 1078. Is 5 a factor of o?
False
Let r = -948 - -2075. Is 23 a factor of r?
True
Let p be (-100)/24 - 3/(-18). Is 12 a factor of (p/(-5))/((-4)/(-180))?
True
Let k(b) be the second derivative of -b**6/120 - 3*b**5/20 + b**4/3 - 7*b**2/2 + 4*b. Let c(h) be the first derivative of k(h). Does 13 divide c(-10)?
False
Let v = -1647 + 3993. Does 23 divide v?
True
Let b(h) = -h**2 + 4*h - 29. Let m be b(0). Let p(f) = -f**3 + f**2 + f + 40. Let a be p(0). Let c = m + a. Does 11 divide c?
True
Suppose -2*g + 98 = b, 63 = -0*g + g - 3*b. Suppose 2*z + 0*z - 90 = 3*v, 3*v + g = z. Does 39 divide z?
True
Suppose 2*m - 531 = 3*s, -4*m + 1345 = m - 4*s. Is m a multiple of 34?
False
Let d be (9/(-2))/(3/(-4)). Let p(h) = 51*h + 7*h**2 - 19*h - 6 - 17*h - 14*h - h**3. Is p(d) a multiple of 18?
True
Suppose s + 15 = 4*s, -2*h + 3*s = -1. Let x(q) = -q**3 + 10*q**2 + 5*q + 7. Is x(h) a multiple of 25?
True
Suppose -11*d + 5*d = 0. Suppose 6*x + 36 - 210 = d. Is 9 a factor of x?
False
Let q = 1710 + -1150. Suppose -3*t = 5*t - q. Is t a multiple of 23?
False
Let w(a) = -a**3 - 4*a**2 + 6*a + 12. Let o be w(-5). Let j be 4/4 + o + -4. Is 10 a factor of 10*j - (-4 + 5)?
False
Suppose -5*m - 6*p + 2*p = -100, 5*p = 3*m - 97. Suppose -5*h - 6 = 4, 3*h = 3*o - m. Suppose 0 = -o*l + 3*l + 24. Does 6 divide l?
False
Let x = -449 + 757. Suppose -5*y - 118 = -x. Let m = y + -20. Is m a multiple of 18?
True
Let n be (10/(-3))/(3 + (-55)/15). Suppose n*a + 3*a - 416 = 0. Is a a multiple of 26?
True
Let r be 4 + (-4)/(-1) + -1. Let m be 788/(r - 3) + 1. Let p = m - 141. Does 19 divide p?
True
Let u = -601 - -851. Is 8 a factor of u?
False
Let b(z) = -2*z**3 + z**2 - z. Let d be b(1). Let l be 4 - (d - 4) - 3. Let y(w) = w**2 - 4*w + 10. Does 24 divide y(l)?
False
Let s(v) be the first derivative of -2*v**2 - 9*v + 2. Suppose 5 = -k - 1. Does 5 divide s(k)?
True
Let w be (-2)/8 + (-1)/(-4). Let v = -44 - -48. Suppose w*j = -2*d + 3*j + 69, 0 = -v*d + 4*j + 140. Is d a multiple of 12?
True
Suppose -2*r + 37 = 1. Suppose 0 = r*g - 593 - 505. Is g a multiple of 9?
False
Let o = -6 - -10. Suppose -11 = o*k + 5. Is ((-2)/(-5))/(k/(-500)) a multiple of 25?
True
Suppose 7 = 3*x - 26. Suppose -3*t = 3*n - x - 10, -t + 4 = 0. Suppose u - 3*o - 5 = 0, -4*u = -u - n*o - 45. Does 10 divide u?
True
Let g be 264/77 + (-3)/7. Suppose -g*n = 2*a - 108, -4*n = -a - n + 45. Is a a multiple of 17?
True
Let b(y) = 46*y**2 - 44*y**2 + 2*y**3 + 3*y - y. Let f be b(-2). Is 8 a factor of 140/6 - 8/f?
True
Let u be (-2)/3 - (-402)/9. Let l be ((-27)/12)/((-3)/64). Suppose 2*m - 5*m - l = -2*a, -u = -2*a + 2*m. Is 6 a factor of a?
True
Suppose 4*r + 5*n + 12 = 0, -3*r = -0*n + 5*n + 14. Suppose u = 3*o + 28, -3*u - r*u + 210 = -o. Does 13 divide u?
False
Let v(o) = 3*o**3 + 8*o**2 + 8*o - 44. Is 20 a factor of v(6)?
True
Let g = 200 - 11