ivative of 5*x**5/12 - 5*x**4/12 + x**3/6 + 7*x**2 + 20. Suppose -r - 2 = -5. Is m(r) a multiple of 28?
True
Suppose -102*s + 99*s - 1569 = 0. Let r = 769 + s. Is r a multiple of 41?
True
Suppose -379*p + 329*p + 258550 = 0. Is p a multiple of 13?
False
Let t(g) = 95*g - 9 - 99*g - 28. Let k be t(-10). Suppose -2*z = -s - 213 + 38, 290 = k*z + 4*s. Is 32 a factor of z?
False
Suppose 2*m - 44766 = 896*o - 897*o, 2*o - 89492 = m. Is o a multiple of 125?
True
Let r(u) = -8*u**3 - 2*u**2 + 11*u - 6. Let l(f) = 9*f**3 + 3*f**2 - 13*f + 7. Let d(t) = -5*l(t) - 6*r(t). Does 8 divide d(5)?
True
Suppose 2*d = -h - 50, 5*h + 79 + 10 = -3*d. Let s = 32 + d. Suppose 5*g + s + 16 = 0, q - g = 154. Is 14 a factor of q?
False
Let h(s) = 23*s - 1850. Is h(103) a multiple of 2?
False
Let l(v) = 6*v - 6. Let y be l(-6). Let s = -25 - y. Is 7 a factor of s/34 - (25/(-2) + -1)?
True
Let j = -483 - -1091. Suppose -4391 = 11*c + 2*c - 4482. Suppose c*t - j = -t. Is t a multiple of 38?
True
Is 4 a factor of 830/747 - (-3464)/9?
False
Suppose 2*q - 50576 = 4*d, -5*d = -4*q + 19477 + 81654. Is 60 a factor of q?
False
Let l = 357 - 255. Suppose l + 1068 = 13*f. Does 6 divide f?
True
Suppose z + 23 = -5*y, -35 = -5*z + y + 4*y. Suppose -3*u = z*u + 10. Let j(g) = 19*g**2 + 5*g + 2. Is 17 a factor of j(u)?
True
Let l = -498 - -1236. Let q = l + -337. Suppose -c = 4*i - 321, 0*i - c = 5*i - q. Is 28 a factor of i?
False
Suppose -4*m + 22139 = 4*c + m, -5 = 5*m. Suppose 8*z - c = -1712. Is 34 a factor of z?
False
Suppose -3*t + 10082 = 4*d, -6 = -6*t + 7*t. Is d a multiple of 9?
False
Let o be 296/10 - 2/(-5). Suppose f + 216 = -3*g, -g - 42 = -2*f + o. Let d = -15 - g. Is d a multiple of 13?
False
Suppose -o - 29853 = -4*o - 3*g, 0 = g + 5. Is 76 a factor of o?
True
Suppose -3*w = 4*o - 5222, -4*w - 1675 = -o - 8644. Is 23 a factor of w?
False
Suppose 1486732 + 1616148 = 205*c + 205*c. Is 8 a factor of c?
True
Let u(d) = 50*d - 2*d**2 - 8 + 3*d**2 + 7*d - 72*d**3 - 21*d**2 + 73*d**3. Does 12 divide u(17)?
False
Let i(f) = -3*f**2 + 36*f + 16. Let x be i(12). Suppose x*z - 19*z = -627. Is 11 a factor of z?
True
Let j = -548 - -468. Is ((-498)/4)/(-9 - 708/j) a multiple of 63?
False
Let n = -1149 - -1677. Suppose -2*k - n = -4*m, -11*m + 6*m = -k - 657. Is 10 a factor of m?
False
Suppose -2*j = -3*n + 1663 + 1291, -3*n - j + 2960 = 0. Is 58 a factor of n?
True
Suppose 0 = -3*m + 18, -2*a + m - 157 + 479 = 0. Is 56 a factor of a?
False
Let c(v) be the first derivative of v**6/120 - 7*v**5/60 - v**4/12 - v**3/2 - 6*v**2 + 31. Let b(q) be the second derivative of c(q). Is b(8) a multiple of 12?
False
Let p(b) be the first derivative of 10*b**2 - 8*b - 22. Let f be p(4). Suppose r = -k + 120, k - 5*r - f = 42. Is 17 a factor of k?
True
Suppose 11*u = -8*u + 6688. Let b = -196 + u. Does 34 divide b?
False
Is 29 a factor of (-5 + (-528)/15)/((-3)/435)?
True
Suppose 0 = 5*x + 2*j - 898, -9*x + 185 = -8*x - 5*j. Let u = -93 + x. Does 3 divide u?
True
Let a = -545 - -549. Suppose 2*j = a*q - 528, -2*j = 2*q - 7*j - 256. Is q a multiple of 18?
False
Let s(i) = 3*i**3 - 7*i**2 + i - 6. Let z be s(5). Let p = z + -87. Does 14 divide p?
True
Let q be (4 - 1)*(-4)/6. Let g be (6 - 5*16/20) + -32. Is 8 a factor of (q*4)/(g/7 + 4)?
False
Suppose 24 + 0 = 4*f. Suppose -g = -f*g. Suppose x - s + g*s = 69, -3*s + 201 = 3*x. Is x a multiple of 34?
True
Suppose -6*p + 7*p - 29 = -2*r, -62 = -4*r + 2*p. Suppose -r*z - 2840 + 8315 = 0. Is z a multiple of 39?
False
Does 27 divide (374/44)/17 - (-1 - 52394/4)?
False
Suppose 26*j - 157212 = -484. Is j a multiple of 44?
True
Suppose -3*q + 5*q - 673 = -y, 4*y + 5*q = 2698. Suppose -4*t + 7*t - 5*i - 685 = 0, 3*t - y = i. Is t a multiple of 5?
True
Let b be (-4 + 1)/((27/(-21))/3). Let z be ((-159)/b - 38/133)*-13. Let a = -33 + z. Does 11 divide a?
False
Suppose 1353229 + 156399 = 122*g. Is g a multiple of 9?
False
Let d = -74 - -66. Let i be 4/d*(21 + 1)*3. Does 5 divide i/(-7) + (-8)/(-28)?
True
Let s(m) = 5*m**2 + 15*m + 1. Let c be s(-4). Is 34 a factor of -136*(c/9)/((-12)/9)?
True
Suppose 46 = 4*b + 10. Let j be 111 + (0 + -2)*b/6. Let u = 195 - j. Is u a multiple of 11?
False
Suppose 7*a + 27 = k + 12*a, 3*k = 5*a - 19. Let t = 17 - k. Is t a multiple of 2?
False
Suppose -4*i + 480 = 2*p, 0 = -i + 2*i - p - 123. Let a = -42 + i. Let x = a - -5. Is x a multiple of 21?
True
Let v(w) = -w - 4. Let k be v(-22). Suppose 2*g - 4 = -0*g. Does 6 divide (-15)/k*g*-18?
True
Suppose 4176 + 1487 = 5*d + 1063. Is d a multiple of 10?
True
Does 37 divide 119150/19 - 56/1064?
False
Suppose 0 = -4*w - 4*g + 11 + 13, 4*g = 12. Suppose -4*d = w*a + 8, -5*d - 20 - 5 = 0. Suppose 4*f = 0, -a*f - 64 + 384 = 5*c. Does 8 divide c?
True
Let v(o) = -o**2 + 23*o - 87. Let b be v(18). Suppose 7*y + a - 308 = b*y, 3*y + 3*a = 222. Does 12 divide y?
False
Let u = -9468 - -20416. Is 238 a factor of u?
True
Suppose -4*c = 7 + 1. Let m(d) = -2*d**3 + d + 1. Let q be m(c). Suppose q*u = 11*u + 156. Does 13 divide u?
True
Let w(k) = 4*k**3 + 48*k**2 - 4*k - 19. Is 13 a factor of w(-12)?
False
Let w(q) = -16 + 11*q - 22*q + 7*q**2 + 6*q + 6. Suppose -2*s - s = -a + 10, s - 5*a + 22 = 0. Is 14 a factor of w(s)?
True
Let l(z) = -2*z**3 - 5*z**2 + 13*z + 76. Let s be l(-12). Suppose -20*v + s = -12*v. Is 5 a factor of v?
False
Let k = 18 + 4. Let h = k + -19. Suppose z = u - h*z - 51, 4*z = -2*u + 102. Does 18 divide u?
False
Suppose 456 = -25*b + 13*b. Let l(r) = r**2 + 38*r + 109. Is 12 a factor of l(b)?
False
Let u = -430 + 839. Let p = -164 + u. Does 12 divide p?
False
Suppose -2 + 58 = -7*x. Does 5 divide ((-2908)/(-5))/4 - x/(-20)?
True
Let l(g) = -g**2 + 4*g - 3. Let d be l(-8). Let k be ((-11424)/(-1496))/(2/11). Let o = k - d. Is 12 a factor of o?
False
Let s(h) = -h**2 + 31*h - 15. Let y be s(30). Does 3 divide (-6 - 9)*(-4 - 33/y)?
True
Let t be 2/1 - (-1 - 2). Suppose t*d + 4*m + 15 = -1, -d = 3*m + 12. Suppose -3*k + d*f + 2*f = -133, -5*k - f = -239. Is k a multiple of 11?
False
Is 41 a factor of 231/(-154) - (-168932)/16*2?
True
Let n = 130 - 270. Does 5 divide (n/(9 - 5))/(-1)?
True
Let o = 13 + -19. Let x be (0 + 14/o)*9. Does 2 divide (-150)/x + 1/(-7)?
False
Let x be (0 + (-3 - -6))*1/1. Let f(u) = u**2 - 3*u + 2. Let v be f(x). Suppose 6*d - 2*d = -v*s + 148, s - 77 = -d. Does 16 divide s?
True
Let y(c) = -2*c + 20. Let s be y(9). Let m(x) = 6*x**s - 16*x - 7*x**2 - 3 + 6. Is 14 a factor of m(-15)?
False
Let t = 3717 + 2751. Does 77 divide t?
True
Let q(i) = 32*i + 46. Let w(z) = -11*z - 15. Let u(r) = -4*q(r) - 11*w(r). Let s be u(10). Let d = -27 - s. Is d a multiple of 8?
False
Let w(j) = 3*j + 19. Let z(o) = -11*o - 37. Let i(v) = -10*v - 37. Let a(g) = 5*i(g) - 4*z(g). Let m(u) = -6*a(u) - 14*w(u). Does 8 divide m(-22)?
True
Let s(x) = x**3 - 14*x**2 + 43*x + 30. Let v(f) = -f**2 + 20*f - 71. Let h be v(14). Does 28 divide s(h)?
True
Let x(b) = 2*b**3 + 117*b**2 - 234*b + 60. Is x(-60) a multiple of 33?
True
Let a be 2/14 - ((-42)/49 + -1). Suppose -3*s - a*s - 5 = 0. Does 26 divide 2 - 17/(s*2/6)?
False
Suppose 3*r = r + 6, 0 = -3*w - r + 3. Suppose 0 = 3*h + d - 6, 3*h - h - 4*d - 18 = w. Suppose -h*b + 249 = 99. Does 10 divide b?
True
Let n be 1/(-3) + 13702/3 + -4. Suppose 0 = 16*s - 2253 - n. Suppose 4*v - s = -38. Is v a multiple of 42?
False
Let w(n) = -13*n**2 + 2*n - 8. Let c(k) = -19*k**2 + 3*k - 11. Let x(j) = -5*c(j) + 7*w(j). Is x(-3) a multiple of 3?
False
Suppose -6*c - 140726 + 468326 = 14*c. Is c a multiple of 42?
True
Let g(b) = b**2 - 15*b - 93. Let w be g(20). Suppose -n + 5*z - w*z = -62, -5*n + 342 = 2*z. Is n a multiple of 70?
True
Suppose -812 = 4*y + 4*r - 5184, -y = -r - 1083. Is 7 a factor of y?
False
Let j(w) = w**2 - 5*w - 4. Let z be j(7). Suppose 4*n = -z - 10. Does 34 divide 1048/20*n/(-2)?
False
Suppose 0 = -54*x + 64375 + 39500 + 33717. Does 14 divide x?
True
Let l be (-10)/(-40) + (-38)/(-8). Suppose -u - u + l*n = -18, 0 = -3*u + 3*n + 18. Suppose 0 = 2*t + 3*g - 216, 4*g = -u*t - g + 432. Is t a multiple of 16?
False
Suppose 400 = 3*f + 17*f. Is 4 a factor of f/(-150) + (-1)/(30/(-1084))?
True
Suppose -2*r - 15784 - 12871 = -5*g, -2*r - 11456 = -2*g. Is 55 a factor of g?
False
Let l(w) = 328*w**2 + 275*w - 1904. Is 