*l**2 + 6*l. Let f(w) be the first derivative of s(w). Is f(4) a multiple of 34?
False
Let a(c) be the second derivative of -c**3 + 15*c**2/2 + c. Let i(z) = -50*z - 556. Let t be i(-11). Does 19 divide a(t)?
False
Let q be 1593644/114 + (12/(-9))/(-2). Suppose -w = -31*w + q. Is w a multiple of 23?
False
Is (6873/(-158))/(1/(-26)) a multiple of 15?
False
Suppose 6*p + 4 + 32 = 0, 3*p - 16586 = -4*v. Is v a multiple of 84?
False
Is 22 a factor of -362 - -15685 - 22/(-2)?
True
Let d(u) = 8*u - 7. Suppose 25 + 5 = 3*z. Suppose -z = -2*k - 3*k, 0 = 4*x + k - 10. Is d(x) a multiple of 9?
True
Suppose 0 = -627*k + 450*k + 1672650. Is k a multiple of 15?
True
Is -29*((-528)/55)/((-6)/(-60)) a multiple of 87?
True
Let u(p) be the second derivative of p**5/4 + p**4/3 - 2*p**3/3 - 4*p + 5. Does 16 divide u(4)?
True
Let m(p) = 35*p - 39*p + 43 - 38. Is m(-10) a multiple of 5?
True
Let a = 57 + -44. Suppose -h + a*h - 3384 = 0. Is h a multiple of 47?
True
Let p(i) = -i. Let s(v) = -3*v. Let q(a) = 8*p(a) - 3*s(a). Let z(y) = y**2 + 27*y - 43. Let m(f) = 4*q(f) - z(f). Is m(-23) a multiple of 4?
False
Let v(n) = 1 - 6*n - 344*n**3 + 4*n**2 + n + 478*n**3. Is v(1) a multiple of 4?
False
Let o(l) = l**3 - 129*l**2 + 574*l - 276. Is 222 a factor of o(126)?
True
Suppose 2*y = 3*l - 5, 5*l = 4*l - 1. Is 0 + 194 + (y - (-12)/3) a multiple of 10?
False
Let l be ((-8)/5)/(-4 - (-49032)/12260). Suppose 4*y + 2*h = l, 2*y = 11*h - 15*h + 1232. Is 11 a factor of y?
False
Let h(s) = 41*s + 2837. Let q be h(0). Does 3 divide q/7 - 98/343?
True
Suppose -232 + 1107 = x. Let g = -716 + x. Does 3 divide g?
True
Suppose -2*v + 3295 = 3*f, 4*v = -f + 7456 - 851. Suppose 3*o = -h + v, 6*o - 2*o = 2*h + 2186. Is o a multiple of 17?
False
Is 27 a factor of 399/(-14)*36828/(-81)?
False
Suppose -2*n = p - 48, -5*n + 3*p - 6*p = -120. Let l = n + 14. Does 11 divide l?
False
Let x(r) = 3*r**2 - 11*r - 61. Let a be x(-6). Let m = 203 - a. Is m a multiple of 10?
True
Suppose -2*w + k + 2674 = 0, 3*w - 2*k - 2*k - 4011 = 0. Suppose 0 = -6*g + w - 17. Does 29 divide g?
False
Is 38 a factor of ((-140)/(-720) - (-12)/(-27))*0 - -1102?
True
Let r be (56/12 - 5) + (-9698)/(-6). Suppose -j - 1 = 0, -5*z + 4*j = -8*z + r. Does 18 divide z?
True
Let g(y) = y**3 + 8*y**2 + 4*y + 9. Let r be g(-4). Suppose -62*m + 155 = -r*m. Is 2 a factor of m?
False
Suppose s = -4, -3*u - 388 = -4*u + 3*s. Let q = -205 + u. Is q a multiple of 9?
True
Suppose 10014 = 77*l - 50072 - 44557. Is 96 a factor of l?
False
Suppose 4*t + 3608 = 3*h, -81*h + 2410 = -79*h - 5*t. Does 32 divide h?
False
Let o = 46 - 50. Is 7 a factor of (138/12)/(o/(-24))?
False
Let i = 99 - 94. Suppose 4*w + 75 = 3*p - 256, -5*p = i*w - 540. Does 6 divide p?
False
Is 75 a factor of 10615 + (-20)/12 + 5/3?
False
Let w = 287 + -612. Let m = 401 + w. Is m a multiple of 5?
False
Let d(o) be the third derivative of o**6/120 - 19*o**5/30 + 19*o**4/12 + 112*o**3/3 + 58*o**2. Does 30 divide d(37)?
False
Let b = 1867 + -179. Does 8 divide b?
True
Is 61 a factor of (-127*(-32)/(-48))/(1 - (-1131)/(-1125))?
False
Let b(y) = -y**3 + 17*y**2 + 5*y + 39. Let h be b(17). Let f = h + -91. Does 33 divide f?
True
Let l be 10/(-75) + (-1434)/45. Let f = 398 + l. Is 15 a factor of f?
False
Suppose 21*m + 16*m - 38*m = -9064. Is m a multiple of 5?
False
Suppose 128*n = 135*n - 5866. Suppose n = 5*q - 212. Is 14 a factor of q?
True
Suppose 0 = 42*w - 17*w - 11*w - 91448. Does 71 divide w?
True
Let d(c) = -12*c**2 - c + c**3 - 6*c + 9*c**2 + 9. Let g be d(6). Suppose 2*j - g - 71 = 5*q, -q + 2 = 0. Does 12 divide j?
False
Suppose 2*z - 2*x = -2*z - 346, 0 = -x + 1. Let q = 212 + z. Is 18 a factor of q?
True
Let l(o) = -312*o - 201. Suppose -8*m - 77 = -37. Does 11 divide l(m)?
False
Suppose 1 = 3*s - 2. Let j(n) = -508*n**3 + 1. Let a be j(s). Is a/(-21) - (-3)/(-84)*4 a multiple of 15?
False
Let d be 0 - 10/(-25)*-5. Let z be (d/(-6))/1 + 14/(-6). Does 14 divide (z - -4)*(8/(-4) + 9)?
True
Let x be (1 - (-20)/(-28)) + (-4698)/(-21). Let g be -4 - x*(3 + -4). Suppose 0 = 10*s - 6*s - g. Is 11 a factor of s?
True
Let s be -10*(-8)/(-16) - -42. Let i = -8 - 2. Let a = i + s. Is 7 a factor of a?
False
Suppose -2*b = 324 - 438. Is (2508/9)/(-6 - b/(-9)) a multiple of 22?
True
Suppose 3*y + 2*m - 6*m - 1929 = 0, 5*y - 5*m = 3215. Let o = y + -439. Is o a multiple of 34?
True
Let f = -2958 - -4611. Let j = f - 1145. Is 13 a factor of j?
False
Suppose s - 3*v = -3, 5*v + 4 = 24. Let z be 2*1*(-420)/8. Is -14*50/z*s a multiple of 11?
False
Let i(z) = z**3 + 12*z**2 + 21*z - 8. Let r(d) = -10*d - 107. Let w be r(-10). Is 5 a factor of i(w)?
True
Let j(y) = -y**3 - 130*y**2 + 313*y. Does 45 divide j(-135)?
True
Let s = -5210 + 18976. Is s a multiple of 36?
False
Let p be (6/5)/((-10)/(-200)). Is 40 a factor of 3366/p*2 - (-1)/(-2)?
True
Suppose 4*h = -5*q + 8130, h - 693*q + 696*q = 2022. Is h a multiple of 6?
True
Let h = 379 - 365. Let z = h - -234. Is z a multiple of 74?
False
Let w(r) = 348*r**3 - 3 - 347*r**3 - 2 - 13*r**2 + 9*r. Let g be w(15). Suppose 19*z + g = 24*z. Is 24 a factor of z?
False
Let h be ((-6)/(-5))/(-2) - 81732/105. Let z = 1216 + h. Is z a multiple of 41?
False
Suppose -3*b = -5*u + 23, 0 = 4*b - 6*b - 4*u - 30. Let m(z) = z**3 + 12*z**2 + 14*z - 1. Let l be m(b). Let t = l + 55. Is t a multiple of 21?
True
Is 110 a factor of 48/18*-33*(-2 + -188) + 0?
True
Suppose 3*s + 30 = -3*q, 16 = 4*q + 8. Is 25 a factor of 7774/6 - (5 + 64/s)?
False
Let n(v) = -3467*v + 1455. Is n(-2) a multiple of 171?
False
Suppose 0 = -20*g + 580 + 545 + 3415. Does 21 divide g?
False
Let d(f) = -142*f + 8. Let a be (-11)/(-3) - (2 + 28/(-12)). Let y be d(a). Does 11 divide y/(-12) - 2 - (-1)/3?
False
Let x(q) = q**2 - q + 29. Let o be x(0). Suppose -2*v + 0*v - 7 = -b, -5*b + 2*v + 51 = 0. Suppose -3*l = -2*w + o, -b = 4*w - 2*w + 5*l. Is w a multiple of 2?
False
Suppose -2*t - j = -30850, 3*t + 25330 = 5*j + 71579. Is t a multiple of 12?
False
Let i(w) = -205*w - 6916. Is i(-36) a multiple of 4?
True
Let k(u) = -u**2 - 9 - 3*u - 11*u**3 + 9*u**3 + 3*u**2. Does 8 divide k(-3)?
True
Suppose -l = -q + 1519, -2*l - 2427 = 3*q - 6999. Suppose -t - 2*o - o + 762 = 0, 2*t - q = -4*o. Does 69 divide t?
True
Suppose 0 = n + 3*x - 21025 - 18393, -4*n = 3*x - 157618. Is n a multiple of 40?
True
Suppose 5*n - 4*r = 50, 0 = -5*n + r - 3*r + 20. Is 5 a factor of 100/(-75) + 788/n?
True
Suppose 0 = -y + 3*c + 3917, -4*y + 28*c + 15659 = 25*c. Is 19 a factor of y?
True
Let a = 47 + -60. Let j = a - -58. Let n = 73 - j. Is 21 a factor of n?
False
Suppose 4 = 4*h - 4*v, 6*v + 4 = 7*v. Suppose -h*u - c = -2029, 3*u - 1231 = c - 5*c. Is u a multiple of 20?
False
Let l = -341 + 350. Suppose -4*s = -l*s + 795. Is 17 a factor of s?
False
Let i = 19 + -1. Let p be (8/i)/(2/9). Suppose 2*n - 80 + 246 = p*d, 3*n = -d + 75. Is d a multiple of 9?
True
Let l(b) = 2*b**2 + 30*b + 23. Let u be l(-15). Suppose 0 = -u*d + 4975 + 5375. Does 15 divide d?
True
Let s = 77 + -76. Let x(m) = 152*m**2 + 3*m - 3. Is x(s) a multiple of 4?
True
Is (-110)/(-10) + 440 - 7 a multiple of 32?
False
Let m be (-3 + 0)/(((-84)/(-16))/7). Let g be (6/m)/(5/10). Is 2 a factor of (g/(-9))/((-2)/(-120))?
True
Let y be (25/35)/(-5) + 128/14. Let m(s) = 2*s**3 - 15*s**2 - 19*s + 12. Does 6 divide m(y)?
True
Let w(j) = -3*j - 45. Let o be (-18)/(-9) + -16 + -2 + -2. Let p be w(o). Suppose -p*r + 190 = r. Is r a multiple of 12?
False
Suppose -3*i + 24 = 9*i. Suppose i*z + 223 = 3*v - 2*z, -3 = 3*z. Let k = v - 59. Is k a multiple of 12?
False
Let j = 6092 - 506. Is j a multiple of 133?
True
Suppose -v = -2*v, 0 = 4*s - v - 32. Suppose 193 - 1705 = -s*l. Suppose 96 = 2*p + 4*r, -3*p + 5*r = 2*r - l. Is p a multiple of 12?
False
Let x(f) = 139*f - 28. Let v be x(2). Let t = v - -243. Is 17 a factor of t?
True
Let b(w) = 28*w + 13. Let j be b(-2). Suppose 23 = i - 60. Let s = i + j. Does 20 divide s?
True
Is 21 a factor of (11 + -10)*(-88)/(-11) - (-17275 + 0)?
True
Let t be 2/6 - 22/(-6). Let w(b) = 42*b + 87. Let j be w(-2). Suppose t*k - 62 = -d, -j = d - 2*k - 71. Is 11 a factor of d?
True
Suppose 21*t = n + 22*t - 48, 3*n - 116 = 4*t. Suppose n*s - 2169 = 4519. Is s a multiple of 26?
False
Let d be (41/(-2) - -1)*(-1 