 n**6/720 - n**5/10 - 5*n**2. Let o(q) be the third derivative of w(q). Is o(-2) a multiple of 13?
False
Let f = -142 + 1231. Does 50 divide f?
False
Suppose 4*t - 12 = 8. Let k(z) = z**3 - 6*z**2 + 5*z - 1. Let b be k(t). Let w(r) = -9*r**3 - r**2 + r + 1. Does 8 divide w(b)?
True
Let z(u) = -464*u + 2. Let k be z(-1). Let f = k + -327. Does 41 divide f?
False
Let v = 41 + -46. Let n(r) = 3*r - 3 - 5*r + 1. Does 6 divide n(v)?
False
Let q = -4033 + 5993. Is q a multiple of 14?
True
Suppose -6 - 16 = -3*r + 4*y, -y - 8 = -r. Let n(f) = 17*f**2 + 7*f - 8. Let z be n(1). Let b = z - r. Does 5 divide b?
False
Let u be ((-20)/3)/(3/(-9)). Let t be (16/u)/(1/5). Suppose -4*a - 4*f = -165 + 45, t*a = 4*f + 152. Does 8 divide a?
False
Is 12 a factor of (-7)/(-14)*-12 + 192?
False
Let j(c) = 5*c**2 - 34*c - 91. Is j(-11) a multiple of 32?
False
Let i be (-35)/(-15) + (-2)/(-3). Let u be i/(-2)*8880/(-36). Suppose -u = -7*w + 2*w. Does 13 divide w?
False
Let q(k) be the third derivative of 241*k**6/120 + k**4/24 + k**3/6 - 4*k**2. Let n be q(-1). Is 2/(-12) + n/(-6) a multiple of 20?
True
Let g = 5 - 3. Suppose 0*n = -g*n - 4. Is n*6/(-16)*24 a multiple of 3?
True
Let o(a) = -a**2 - 21*a - 4. Is 13 a factor of o(-12)?
True
Suppose 0 = m - 2, 0*w + w = -5*m + 13. Suppose u + 47 = 2*o, -w*o - 4*u + 50 + 15 = 0. Does 4 divide o?
False
Suppose 0*c - 2*c + 6 = 0. Let r = -25 - -22. Is (7/c + r)*-9 a multiple of 2?
True
Is ((-3)/(-2))/((-84)/(-55944)) a multiple of 37?
True
Let z = 265 - 377. Let n = -78 - z. Does 5 divide n?
False
Let g = 485 + -349. Suppose 0 = b - 3*b + 12. Suppose -2*s = -b*s + g. Is s a multiple of 7?
False
Let t = 7 - 7. Suppose n - 5*n + 84 = t. Is n a multiple of 7?
True
Let u = -1634 + 3454. Does 24 divide u?
False
Let r(h) = -4*h - 42. Let k(f) = -f - 14. Let a(v) = 7*k(v) - 2*r(v). Let z be a(12). Is 969/17 - z/(-2) a multiple of 23?
False
Let y(v) = 15*v**2 + 2*v - 4. Let i be (6/4)/((-10)/20). Let r be y(i). Suppose -3*g - 8 = -r. Is 13 a factor of g?
True
Suppose 6*g = 5*g - 14. Let a be (-392)/g - (-1 - -4). Suppose -a + 4 = -b. Is b a multiple of 7?
True
Let l(h) = -h**3 + 10*h**2 - 7*h - 6. Let n be l(9). Let t be ((-632)/n)/(1/(-3)). Suppose i - 43 = 2*q, -3*q + t - 30 = 4*i. Is 10 a factor of i?
False
Let z = 652 + 735. Is 91 a factor of z?
False
Let r(f) = 1 - f + 4 - 2. Let m be r(-13). Suppose m = i + i. Does 8 divide i?
True
Let w(m) = 2*m + 10. Let t be w(-5). Suppose t = -9*l + 24 + 30. Does 3 divide l?
True
Is 3 a factor of 28/(-16)*(-76 + -4)?
False
Is (9/18)/(3*(-3)/(-2124)) a multiple of 14?
False
Suppose 2*z + 5 = 1. Is -6*261/(-24) - z/(-8) a multiple of 10?
False
Let o(n) = n + 4. Let j(a) = -a - 3. Let c(p) = -6*j(p) - 5*o(p). Let d be c(5). Suppose 5*i = 2*r + 102, -d*i + 5*i - 42 = 2*r. Is 5 a factor of i?
True
Suppose -3*b = 5*m - 3439, -9*b - m + 2302 = -7*b. Is b a multiple of 49?
False
Let k be 6472/(-14) + 12/42. Let n be ((-10)/(-2))/((-11)/k). Suppose 0 = 5*i - 8*i + n. Is 14 a factor of i?
True
Let x(j) = 2*j**3 + j**2 - j + 1. Let v be x(3). Suppose 7*q - 219 - v = 0. Is q a multiple of 40?
True
Let f = -1 + 11. Does 5 divide f - (-4 - 4/(-4))?
False
Suppose -477 = -3*z - 5*j, -2*z - 4*j = -6*j - 302. Suppose -3*r = g - 231, 2*g + z = 2*r - 2*g. Suppose -5*l + r = -208. Is 19 a factor of l?
True
Let d be (2 + 3 - 1) + 402. Suppose x - d = -6*x. Does 10 divide x?
False
Suppose -2*i + 21 = -3. Let s = 12 - i. Suppose s = -4*u - 0*u + 104. Does 6 divide u?
False
Let l(m) = m**2 + 9 - 91*m + 26*m + 44*m. Is 6 a factor of l(22)?
False
Suppose -5*l + 5*i + 3420 = 2*i, -4*i = 5*l - 3420. Is l a multiple of 12?
True
Let t = 7 - -9. Let v = 33 - t. Is v a multiple of 17?
True
Is 36 a factor of 646/10 - 14/(-35)?
False
Let j = 24 + -21. Let y(r) = r - 3. Let o be y(j). Suppose o*p - 111 = -p. Is 37 a factor of p?
True
Let b(q) = 13*q**2 - q. Let x(h) = 2*h**3 - h**2. Let w be x(1). Let r be b(w). Does 4 divide r + 3 + -2 + -4?
False
Suppose 5*h + q - 4925 = 0, 3*h - 3604 = 3*q - 631. Suppose h - 288 = 2*c + 4*b, -4*b = 20. Does 19 divide 2/12 - c/(-6)?
False
Let t be (561/22)/(36/(-32) + 1). Let c be 8 + 3 + 0 + -1. Is 7 a factor of (-40)/12*t/c?
False
Let p = 1121 - 876. Is p a multiple of 5?
True
Let u be 13 - -225 - 2*-1. Suppose 0*r + u = 3*r. Does 24 divide r?
False
Suppose 2*k - 1 = 11. Let d(z) = z + 12. Let j be d(k). Is 6 a factor of -1*9/(j/(-40))?
False
Suppose t + 0 = 17. Suppose -4*f + 8 = 0, -m + t = 2*f - 25. Is m a multiple of 15?
False
Suppose y + l - 1040 = 0, 4*l - 2490 = -3*y + 628. Is 29 a factor of y?
False
Let q = -6 + 10. Suppose 5*x = q*u + 15, 3*u - 15 = u - 5*x. Suppose -2*f + 4*f - 68 = u. Does 17 divide f?
True
Suppose 5*j = -4*l + 5007, -3*l - 3*j = 2*j - 3759. Is 8 a factor of l?
True
Let t = 269 - 95. Suppose 0 = -j + u + t, -4*j - 840 = -9*j - u. Is j a multiple of 13?
True
Let o(t) = -61*t**3 - 2*t. Let i be o(2). Let f = -279 - i. Is 17 a factor of f?
False
Suppose -4*c + 2*z + 510 = 0, -28*z = c - 32*z - 138. Is 18 a factor of c?
True
Suppose -11*m + 192 = -7*m. Let w = m - -12. Is w a multiple of 10?
True
Does 20 divide 342/(-27)*(-2 - 16)?
False
Let q be 2/(2 + (-92)/47). Suppose q = -l + 2*l. Suppose 3*n = 200 - l. Is 14 a factor of n?
False
Suppose -5*t + g = 2*g + 2, 0 = 4*t - g - 2. Suppose -v + w + 1 = -0*v, -5*v - 2*w = -19. Suppose v*n - n - 20 = t. Is 5 a factor of n?
True
Is -2 + 7 - 3052/(-14) a multiple of 15?
False
Suppose 476 = 9*m - 532. Is m a multiple of 14?
True
Let r = -23 - -31. Let b = 23 - r. Does 5 divide b?
True
Suppose 0 = -3*f - f - 12. Let u be -2 + -4 + 1 + -127. Is f/1 + u/(-3) a multiple of 26?
False
Let u be (-13 - -17) + (-219)/1. Let y = u + 355. Is 22 a factor of y?
False
Suppose -9*q = -4*q - 435. Suppose 3*b - q = -282. Let z = b - -105. Is z a multiple of 16?
False
Suppose -3*v + 70 = -56. Suppose 2*h = 3*h - v. Suppose -5*c = -5*b + 90, 5*b - h - 42 = 3*c. Is b a multiple of 4?
False
Suppose 0 = -8*x + 10*x - 12. Suppose l = x*l - 505. Is 18 a factor of l?
False
Let a(q) = -q**3 + 9*q**2 - q + 13. Let x be 18/(-4)*(0 - 2). Let k be a(x). Suppose 3*h = -k*t + 327, 423 = -2*h + 6*h + t. Is h a multiple of 21?
True
Let p = 1616 - 659. Does 30 divide p?
False
Let m = -1061 + 1831. Is 77 a factor of m?
True
Let w(v) be the second derivative of v**3/6 + 14*v**2 - 2*v. Let y be w(0). Does 13 divide (312/y)/(3/21)?
True
Let a(b) = -b**2 + 4*b + 4. Let x be a(4). Let s be -4 + 48 + -3 + x. Suppose -6*v + 123 = s. Does 4 divide v?
False
Suppose -5*n + 2*n - 5 = q, 0 = 3*q + 2*n + 22. Let j be q/(-2) - (8 - 6). Is (-103)/(-2) - 3/j a multiple of 10?
True
Let m be (9/6)/((-3)/(-18)). Suppose s = m - 1. Is 3 a factor of (s/4 - 7)*-2?
False
Let g be 216/(-32) + 2/(-8). Let b = g + 7. Suppose -t + 42 = -5*j, 5*t + b*j - 188 = 3*j. Is t a multiple of 14?
False
Let a be 39/(-15) - (-3)/5. Let w(k) = -3*k**3 + 4 + 2*k**2 - 4 - 2 - k. Does 16 divide w(a)?
True
Let b = 157 - 162. Let k(a) = -2 - 8 + 4*a - a + 2*a**2. Is k(b) a multiple of 10?
False
Suppose 4*z = 2*c + 8, 3*z - 5 = -2*z + 5*c. Suppose 2*k = -z*y + 56 + 53, -k = y - 55. Does 4 divide k?
True
Let b = -8 + 55. Suppose -2*m = -17 - b. Is 8 a factor of m?
True
Does 4 divide (1/2)/((-225)/(-56) - 4)?
True
Suppose 36*k = 52*k - 46000. Is k a multiple of 110?
False
Let g(u) = -u**3 + 22*u**2 - 21*u - 8. Let q be g(21). Let j = q + 27. Is j a multiple of 2?
False
Suppose 16500 = 39*g + 11*g. Does 5 divide g?
True
Let y = 1989 - 918. Is 26 a factor of y?
False
Let t(k) = k**3 - 39*k**2 + 45*k - 58. Does 16 divide t(38)?
True
Let d(i) = i**3 - 7*i**2 + 12*i + 2. Let l be d(5). Is 4 a factor of 15/l*1/((-3)/(-24))?
False
Let d = 2507 - 1679. Does 18 divide d?
True
Let m be 143 - -9*(-1 - (-16)/12). Let g = m + -60. Does 7 divide g?
False
Suppose -3*a + 1 + 1 = -2*t, 3*t - 19 = -a. Let o(u) = -u**3 + 7*u**2 - 9*u + 2. Does 7 divide o(t)?
True
Suppose 3*p + 3*n - 24 = 0, 4*p - 4 = 2*n + 10. Suppose x = -p*x + 984. Is x a multiple of 18?
False
Let n be 2/(-3)*45/(-10). Suppose -z - 6 = n*d + 2*d, 5*z + d = 42. Is z a multiple of 5?
False
Suppose 9*n + 89 = 944. Is n a multiple of 11?
False
Let z(m) = m**2 - 17*m - 9. Is z(18) a multiple of 3?
True
Let v(u) = -u**2 + 25*u - 48. Let z be v(22). Suppo