+ 117 + 174. Does 4 divide m?
False
Let b(h) = -h**3 + 21*h**2 - 16*h + 50. Let z be b(19). Let i = z + -408. Is i a multiple of 6?
True
Let p = -171 - -181. Suppose -p*j + 333 = -217. Does 7 divide j?
False
Let k be (0 - -1)*(-10 - -9)*-1979. Let y be 1/5*(k + 6). Suppose 2*r = 7*r - 4*j - y, -5*r = 4*j - 373. Does 19 divide r?
False
Suppose 2*s = 2*h + 2590, -2*h - 176 + 6658 = 5*s. Does 12 divide s?
True
Is 11 a factor of (12/9)/(9/(-76896)*-16)?
False
Let b(i) = 2*i**3 - 19*i**2 + 8*i + 10. Let x be b(9). Let n be (4/1*x - 8) + 49. Suppose 30 = n*s - 40*s. Is 4 a factor of s?
False
Suppose 4016 = 3*d - 4*z + 56, 0 = 4*d - 2*z - 5280. Is d a multiple of 55?
True
Let v be (-2 - 978*1)/((-65)/1430). Suppose -36*q + v = -21136. Is q a multiple of 17?
False
Suppose -6*j - 2*z = -j - 887, -2*z = 2*j - 356. Let r = -158 + j. Does 2 divide r?
False
Let b be ((-66)/55)/((-9)/15). Suppose 758 = 3*u - 4*f, -f - f = b*u - 510. Is u a multiple of 19?
False
Let y(l) = -l**3 + 31*l**2 - 7*l + 81. Let b be y(31). Let c = -37 - b. Is 14 a factor of c?
False
Suppose o + 604 = 4*h - 9*h, -h - 5*o = 116. Let v = 169 + h. Does 2 divide v?
True
Suppose -3*r + 243 = -3*i, 4*r = -8*i + 3*i + 315. Suppose -7*v + 227 - r = 0. Is v a multiple of 4?
False
Let a(g) be the third derivative of -g**5/60 - 7*g**4/24 - g**3/3 - 14*g**2. Let f be 5*((-1)/(-1) - 2). Does 2 divide a(f)?
True
Let v = -64 - -67. Suppose 3 - 11 = -v*o - 2*p, -3*o - p + 4 = 0. Is 23 a factor of (-12 - -6) + 47 + o + -4?
False
Suppose -27499 = -13*m - 14*m + 17564. Is m a multiple of 6?
False
Let s(q) = 443*q - 1297. Is 5 a factor of s(24)?
True
Let d(k) = 7220*k + 629. Is d(7) a multiple of 17?
False
Let q be 2/((-18)/189*9/(-21)). Let z be (0 - 1 - -1)/(-1). Suppose -5*s + q = -4*p, 5 = -5*p - z*p. Is s a multiple of 2?
False
Let m = -3239 - -7495. Does 8 divide m?
True
Is 24 a factor of (-10)/(-2)*(35334/90 + 4)?
False
Let x = 114 - 185. Let p = x + -135. Let w = -120 - p. Does 41 divide w?
False
Suppose 4*q - 7537 = 11183. Is q a multiple of 50?
False
Suppose -5*v = o - 10456, -5*v + 6*v - 20912 = -2*o. Is o a multiple of 20?
False
Let q = -60 + 63. Suppose m - q = -2*v, 2*m + 12 = v - m. Suppose 6*y = -2*u + v*y + 92, -5*u - 3*y = -230. Is 7 a factor of u?
False
Let q be 7/28 + (-638)/(-8). Let g = q + 80. Suppose 4*c - g = -0*c. Is c a multiple of 8?
True
Suppose -5*g + 144 = 3*g. Let t be g/(-12)*4/3. Does 18 divide 73 - (t + 0)/2?
False
Let t = 5102 - 1717. Does 62 divide t?
False
Let v(t) = -14*t**2 + 10 - 2*t**3 + 16*t - 12 - 17*t**2 + 5. Does 2 divide v(-16)?
False
Let v(z) = -7*z + 79. Suppose 0 = 2*r - 17 - 7. Let u be v(r). Let k = 69 - u. Is 3 a factor of k?
False
Let k be (2 + -2)/5 + 2. Suppose -4*p - 4 = -k*a, -p + 2*a = -6 + 4. Is (-1 + 17)*(p + (-22)/(-8)) a multiple of 6?
True
Let s = -16 + 21. Suppose 2*a - 454 = -3*r - 0*r, -454 = -2*a - s*r. Let o = -27 + a. Does 16 divide o?
False
Suppose -867*i + 870*i = 960. Is 4 a factor of i?
True
Let n = 159 - -619. Let w = n - 455. Does 22 divide w?
False
Let h(a) = 7*a + 496. Let t be h(0). Suppose 7*j - t = 3*j. Is (4/16 - 1)/(-3)*j a multiple of 21?
False
Let r(v) = v**2 + 13*v + 15. Let l be r(-12). Let n be 5 - ((-15)/l - -8). Is 12 a factor of (n/6*-31)/(27/(-81))?
False
Suppose 277*a + 338342 - 2060728 = 0. Does 39 divide a?
False
Let s(p) = -p**3 - 8*p**2 - 21*p - 14. Is s(-10) a multiple of 30?
False
Let b(q) = -4*q**2 + 3*q + 8. Let y(s) = -13*s**2 + 8*s + 22. Let j(n) = 11*b(n) - 4*y(n). Is j(-5) a multiple of 26?
False
Let d = -5434 - -9776. Is 29 a factor of d?
False
Let a(b) = 832*b**3 - b**2 + 9*b - 8. Is a(1) a multiple of 10?
False
Let y = 10944 - 10034. Is y a multiple of 7?
True
Let b(j) = j**3 - 15*j**2 + 2*j - 8. Let c be b(15). Let y = 64 - c. Is y a multiple of 6?
True
Suppose 708 - 584 - 2344 = -6*z. Is 187 a factor of z?
False
Let b(g) = -23*g - 53. Suppose -293*s + 290*s - 51 = 0. Does 13 divide b(s)?
True
Suppose -4*k + 6*k - 2*a - 1428 = 0, -4*a = 7*k - 5020. Does 73 divide k?
False
Let q = 1562 - 1068. Suppose -3*x = -9, -7*y = -2*y - 2*x - q. Is 10 a factor of y?
True
Let c(n) = 1322*n**2 - 659*n + 3265. Is 10 a factor of c(5)?
True
Let l = -10724 + 6174. Is 20 a factor of l/(-4) + 2 - (-83)/166?
True
Suppose 108696 = 43*o - 41159. Does 5 divide o?
True
Suppose -3*m + 16365 = -3*q, -160*m - 4*q = -157*m - 16365. Does 222 divide m?
False
Let g(m) be the first derivative of -m**3/3 + 9*m**2/2 + 14*m + 2787. Suppose 4*u - 43 = -7. Is 14 a factor of g(u)?
True
Let d = 257 + -236. Suppose -16*b + d*b = -k + 430, -15 = -3*k. Is b a multiple of 21?
False
Suppose 1365*d = 1372*d - 32046. Does 42 divide d?
True
Let c = -63 + 70. Suppose 3*z = 5*r - 284, -3*r - c*z + 2*z = -184. Suppose 0 = -2*t + 22 + r. Is t a multiple of 40?
True
Let r(l) = l**3 - 19*l**2 - 41*l - 35. Let f be r(21). Let o(y) = y**2 - 4*y + 128. Is o(f) a multiple of 10?
True
Suppose 17*x = 38*x - 28*x. Suppose x = -5*o + 814 - 164. Is o a multiple of 13?
True
Suppose -14*t + 16*t - 5*p = -14, -2*p + 8 = 0. Suppose 4*f - 6 = 2*f. Suppose 0 = t*h + 2*b - 95, 2*h - f*b - 61 = -2*b. Is 11 a factor of h?
False
Suppose a - 13652 = -5*z, -5*a - 50*z = -46*z - 68323. Is a a multiple of 79?
True
Let w(k) = -k**3 - 3*k**2 + 6*k - 13. Let q be w(-5). Suppose -q*g - 10*g + 408 = 0. Is g a multiple of 4?
True
Suppose -2*i + 4*x + 33692 = 0, 18*i + 67397 = 22*i + 5*x. Is i a multiple of 16?
True
Let n = -1409 + 3131. Suppose -6*h + 120 + n = 0. Is h a multiple of 14?
False
Suppose -22*o = -7991 - 71385. Is o a multiple of 22?
True
Let h = 274 - 272. Suppose -453 = -h*o + 647. Is o a multiple of 11?
True
Let i = -496 - -474. Let c(l) = -57*l - 30. Is 18 a factor of c(i)?
True
Let j(b) = 3*b**3 - 4*b**2 + 8*b - 142. Is 11 a factor of j(14)?
False
Let s = -66 + 69. Is 19 a factor of ((-888)/60)/(s/(-45))?
False
Let x be 2/3*108/24. Suppose 0*w = -x*w - 4*g - 4, -36 = -4*w + 5*g. Suppose 0 = -w*k + 285 - 53. Does 29 divide k?
True
Suppose -4*a - 643*g + 222728 = -641*g, 5*g = -4*a + 222722. Does 23 divide a?
True
Let j = 2 - -54. Let r = -335 - -340. Suppose -6 = r*k - j. Does 5 divide k?
True
Let r(g) = g**3 - 5*g**2 + 7*g - 13. Let x be r(3). Is 11 a factor of (-8028)/(-21) - x/(-35)?
False
Let j(f) = -34*f - 2172. Is j(-83) a multiple of 5?
True
Suppose 3*w + 163 = 3*d - 158, -d - 5*w = -101. Let c = -61 + d. Does 7 divide c?
False
Let v be (4 + -3)/(3/12). Suppose 5*t + 30 = v*s, -2*s = t + 3*t - 2. Let o(p) = 39*p + 12. Is o(s) a multiple of 12?
False
Suppose 2*o + i + 2 = -2, -5*o - 3*i = 8. Does 11 divide (4 + (-624)/6)*o?
False
Let n(c) = 18*c**2 - 6*c - 70. Is n(-4) even?
True
Let k = -3028 - -10479. Is k a multiple of 19?
False
Let w(r) = 19*r**3 + 15*r**2 - 16*r + 9. Let z(t) = 19*t**3 + 14*t**2 - 17*t + 6. Let u(d) = -3*w(d) + 4*z(d). Is u(3) a multiple of 9?
True
Suppose -5*i = -5*b - 248975, -78*i + 81*i + 3*b = 149439. Is i a multiple of 55?
False
Let v be (-3)/((-42)/77)*4. Is (v/(-6) + -1)/((-10)/270) a multiple of 8?
False
Suppose 8*t - 3 = 5*t. Suppose -n = s, t = -n - 4*s - 14. Suppose -4*u - 4*p + 3*p = -149, n*p - 133 = -3*u. Does 18 divide u?
True
Let j(k) = -95*k + 420. Let p(t) = 19*t - 84. Let x(a) = 6*j(a) + 33*p(a). Does 16 divide x(7)?
False
Let h = -2591 + 7708. Is 43 a factor of h?
True
Is 19 a factor of (2*20/(-8) - (3 + -11)) + 4174?
False
Let h = -4 - -7. Suppose 3*x - 3*j = 9, 6 = x + 5*j + h. Suppose 5*i - 4*i + 212 = 5*c, -120 = -x*c - 3*i. Does 21 divide c?
True
Let n = 857 - 604. Is 11 a factor of n?
True
Suppose 7*v = -650 + 4983. Suppose d - 2 = 0, -3*d + v = 4*n + 29. Is 6 a factor of n?
False
Suppose 0 = 19*u + 20452 - 83266. Does 57 divide u?
True
Let u(x) be the first derivative of -3*x**4/2 + 5*x**3/3 - 2*x**2 - 17*x - 155. Does 15 divide u(-4)?
False
Suppose -54*o - 60750 = -99*o. Does 70 divide o?
False
Let i(u) = 93*u**3 - 11*u**2 + 26*u - 17. Does 15 divide i(5)?
False
Let s(y) = -5*y**3 - 8*y**2 - 10*y - 7. Suppose -2*q = -v + 12, 13*q = 8*q - v - 16. Is s(q) a multiple of 16?
False
Let u(z) = 2*z**2 + z**2 - 2*z**2 - 6*z**2 - 33 - 22*z. Let t be u(-14). Is 32 a factor of 10/3*t/(-10)?
False
Does 10 divide ((-40)/(-12))/((-17)/(107865/(-18)))?
False
Let z(d) = -d + 10. Let c(t) = -3*t**3 + 16*t**2 - 11*t +