 f(u) be the second derivative of -u**5/60 - 7*u**4/8 - 4*u**3/3 - 2*u**2 - u. Let r(o) be the first derivative of f(o). Is 17 a factor of r(-10)?
True
Suppose 9*p - 17 = 1. Is ((-21)/6 + 2)/(p/(-8)) a multiple of 6?
True
Let v be (-851)/(-259) + (-2)/7. Suppose -g - 5*w = -0*g - 4, -2*g + w - v = 0. Is 20 a factor of 2*g/3 + 7002/54?
False
Let s be 3/((-45)/12)*(-6 - -1). Suppose -s*a + 8 = -24. Suppose 0 = -h + 32 - a. Is h a multiple of 7?
False
Is 14 a factor of 13/(-13) - -3124 - 15?
True
Let d(l) = -3*l**3 - 24*l**2 + 22*l - 7. Let p(c) = -8*c**3 - 72*c**2 + 62*c - 20. Let s(i) = 11*d(i) - 4*p(i). Does 8 divide s(5)?
True
Suppose -4*a = 13*w - 9*w - 43008, -2*w = 5*a - 21504. Is w a multiple of 14?
True
Suppose 3*s = -p + 3796, -15*s + 16*s = -5*p + 18924. Is p a multiple of 26?
False
Let y = -2497 - -3177. Is y a multiple of 2?
True
Suppose 30*c + 168*c = 5832882. Is c a multiple of 235?
False
Let q = 431 + -421. Is (-6)/2 + q - -560 a multiple of 9?
True
Let j(o) = -o**3 + o**2 - 9. Let n be j(0). Let a(r) = r**3 + 10*r**2 - 4*r + 28. Is a(n) a multiple of 14?
False
Let w be (42/(-15) + 1)/((-2)/(-10)). Is (30915/(-10))/(-9) - w/6 a multiple of 34?
False
Let x(j) = 9*j + 35. Let t be x(-5). Let u be (5/t + 1)*0. Suppose u = -2*b + b + 33. Does 5 divide b?
False
Let y(f) = -f**2 + 1. Let h(d) = -d**3 - 7*d**2 + 2. Let m(j) = -h(j) + 4*y(j). Let l be m(-3). Let p(w) = 28*w - 6. Does 12 divide p(l)?
False
Suppose 15*k = 209798 - 42953. Is k a multiple of 9?
False
Suppose 0 = -t - 4*l + 13487, 0 = 3*t + 130*l - 133*l - 40551. Is t a multiple of 59?
True
Let r be (7 - 1)/(-5 - 65/(-10)). Suppose 3*n - 42 - 27 = -p, -3*p + 187 = 4*n. Suppose -r*u + 23 = -p. Does 9 divide u?
False
Suppose -109*z + 140 = -114*z. Suppose m - 2*s = -3*s + 5, 3*m = -5*s + 21. Does 19 divide z/3*(-21)/m?
False
Let q be (-5 + 83)*(-2)/(-4). Let j = q + 0. Is j a multiple of 13?
True
Let s(z) = -325*z + 4729. Is 84 a factor of s(-38)?
False
Suppose 19*d - 25751 = -25555 + 233713. Is 71 a factor of d?
False
Suppose -2*i + 32920 + 52186 = -4*r, 3*i - 127665 = 3*r. Is 17 a factor of i?
False
Suppose -2*w + 1100 = 2*z, 45*w - 49*w = z - 535. Let g = -385 + z. Is g a multiple of 27?
False
Let s(x) = 8*x + 112. Let j be s(-6). Is 33 a factor of j*-5*(10 - 11)?
False
Let i = 959 - 960. Suppose 0 = -0*z + z + 4. Does 2 divide (-57)/z + -3*i/4?
False
Suppose 2*z = 4*z - 4. Suppose 270 = 3*a - 360. Suppose -a = z*l - 7*l. Does 13 divide l?
False
Suppose 9462*q = 9470*q - 348520. Is 17 a factor of q?
False
Let g(b) = -23*b**3 - 7*b + 2*b**2 + 9*b**3 + 16*b - 10*b - 1 + b**3. Let q = 18 - 20. Does 6 divide g(q)?
False
Let k(m) be the third derivative of -m**6/120 - m**5/10 + m**4/2 - m**3/2 - 5*m**2. Let x be k(-9). Suppose 517 = 5*f + x. Is f a multiple of 11?
True
Is 82 a factor of 12792/(-208)*(-220)/3?
True
Let m(u) = -4*u - 22. Let d be m(-6). Let b be (-4 - -1) + -1*-10*d. Let n = b + -3. Does 4 divide n?
False
Let z(u) = 2*u + 23. Let v(h) = 3*h + 49. Let i(q) = 2*v(q) - 5*z(q). Suppose 20 = c - 4*c - 4*y, -27 = 3*c - 3*y. Does 3 divide i(c)?
True
Let a(r) = -r**3 - 14*r**2 - 25*r + 68. Does 13 divide a(-17)?
False
Let w be ((-21)/6)/(1/(-14)). Suppose 4*z + 29 = w. Suppose -4*j = z*t - 52, 16 = j - 2*t + 4*t. Is j even?
True
Suppose -154*c + 2007505 - 1296272 = -1539015. Does 9 divide c?
False
Let v(t) = -t**2 - 9*t + 22. Suppose -26*l = -24*l + 12. Is 10 a factor of v(l)?
True
Let a = 193 + -192. Let l(i) = 33*i + 29*i - 3 - 20*i. Does 19 divide l(a)?
False
Is ((-3708)/(-3) + 3)/((60/208)/5) a multiple of 236?
True
Let o(m) = -2*m**2 + 16*m - 2. Let y be o(6). Let d(b) = -4 + y*b**2 - 2 - 6*b**2. Does 50 divide d(-4)?
True
Let j(g) = 7*g**3 + 3*g**2 + 21*g + 27. Let s(d) = d**3 - d**2 + d + 1. Let x(a) = -j(a) + 6*s(a). Let k be ((-9)/(-2))/(3*3/(-18)). Does 38 divide x(k)?
True
Let t(h) = -h - 2 + 11 - 5 - h**2. Let x be t(-3). Is (2 + -38)/((-62)/28 - x) a multiple of 21?
True
Let p = -15705 - -28680. Is 163 a factor of p?
False
Let u(f) = 13*f**3 - 8*f**2 - 43*f + 294. Is 56 a factor of u(9)?
True
Let s(h) = -16*h**3 + 5*h**2 + 11*h + 14. Let z be s(-8). Let f = z + -1445. Does 36 divide f/36 + 3/(-12)?
False
Let r = 19 - -9. Suppose -r + 23 = -k. Suppose k*f - 108 - 157 = 0. Is 11 a factor of f?
False
Let k(d) = 506*d**2 - 4*d + 2. Suppose 35*o = 24*o + 11. Does 21 divide k(o)?
True
Let b = -7 + 2. Let l = 74 + -71. Is ((b/l)/(-1))/(30/36) a multiple of 2?
True
Let m = -585 - -1418. Does 5 divide m?
False
Is (16 + 1855/3)*(3 - 0) a multiple of 11?
True
Let d be (-154)/(-66) + (-2)/6 + 4. Suppose -d*x + 7084 = 5*x. Is 7 a factor of x?
True
Suppose -15 = -254*m + 251*m. Is 22 a factor of ((-888)/(-10))/(m/25) + -4?
True
Let t = 64 - 148. Let y be (-7491)/(-8) - t/(-224). Suppose 2*r - 10*r + y = 0. Does 9 divide r?
True
Suppose -6090 = -11*p + 21*p. Let m = 1356 + p. Is 10 a factor of m?
False
Let o(x) = -2*x - 34. Suppose -65 = 5*s - 5*r, 9*s = 4*s - 4*r - 29. Let z be o(s). Let f = 4 - z. Does 20 divide f?
True
Let w be -1618*((-5)/10)/((-1)/(-11)). Suppose w - 1969 = 18*t. Does 11 divide t?
True
Let h(x) = -95*x - 9. Let f(m) = -192*m - 17. Let v(b) = -4*f(b) + 7*h(b). Is v(1) a multiple of 18?
True
Suppose 312 - 312 = -8*h. Does 18 divide (h - -13)*(73 - 50)?
False
Let g be (8/(-24))/(-1) - 1537/3. Let f = -350 - g. Is 34 a factor of f?
False
Let r(o) = -19*o + 30. Let h be r(12). Let a = h - -66. Let p = a + 229. Is 19 a factor of p?
False
Let d = 1965 + -1962. Suppose -3*q + 3*u = -0*u - 393, -u = -5*q + 643. Suppose 2*v - d*s - q = -s, 3*s = v - 66. Is 36 a factor of v?
False
Let m be 13*-1*((-3 - 1) + 5). Let v(n) = -n**2 - 11*n + 31. Let x be v(m). Suppose -x*c + 45 = -10. Is 11 a factor of c?
True
Let u(l) = 232*l**3 + 7*l**2 - 12*l - 11. Is u(3) a multiple of 40?
True
Suppose -15*u + 1395 = -1395. Suppose l + u = 3*l. Is l a multiple of 5?
False
Suppose 4*d - 244 = -4*n, 2*n - 3*d - 60 = 52. Let b = n - 22. Let o = 95 + b. Does 12 divide o?
True
Suppose -20205 + 11205 = -38*s + 24706. Is 2 a factor of s?
False
Suppose 8*h + 39200 = 64*h. Is 7 a factor of h?
True
Let r(d) = -d**2 + 175*d + 90. Does 16 divide r(41)?
True
Suppose 5*m + 6 = 46. Let h be (-7 + m)*(95 - -1). Let k = -58 + h. Is k a multiple of 7?
False
Let f = -4429 + 9709. Is f a multiple of 22?
True
Suppose j = -h + 1858, -7*j - 5*h = -12*j + 9330. Does 40 divide j?
False
Let u = 443 + -668. Let z = 536 + u. Does 3 divide z?
False
Suppose 5*k + 0*w = -3*w - 91, -2*k = w + 36. Is 33 a factor of k + 13 + (962 - 1)?
True
Suppose 75*t - 1738398 = -391548. Is t a multiple of 123?
True
Let w(d) = 3*d + 171. Let g be w(-55). Suppose 922 = g*p - 2540. Is p a multiple of 41?
False
Let q = 1139 + -859. Is 7 a factor of q?
True
Let b(k) = -k. Let m be b(-3). Suppose -x + 0 = -2. Suppose 7*h - m*h = -5*l + 266, -x*h = -l + 42. Is 18 a factor of l?
False
Let g = 11 - 6. Suppose 3*f = g*f. Suppose f = -6*s - 28 + 100. Is s a multiple of 3?
True
Let q(a) = -1225*a - 1283. Is 3 a factor of q(-4)?
False
Let m(l) = -8183*l - 224. Is m(-1) a multiple of 21?
True
Suppose -291*d + 1749663 + 2225979 = 0. Is 63 a factor of d?
False
Does 4 divide 8/(-6) - (-697268)/636?
False
Let y(a) = -3*a + 11. Let u be (-13)/(13/(-6)) - 3. Let s be (1/2)/(u/(-18)). Does 10 divide y(s)?
True
Let l(v) = -v**2 - 10*v + 4. Let i be l(-8). Suppose -b + 1 = -3*r - 0*b, -4*b = i. Is 7 a factor of 954/15 + r/(-5)?
False
Let i be 3/((-6)/4) - -53. Suppose 0 = 5*j - 5, 3*j - 1 = 31*m - 29*m. Suppose 4*t - i = m. Does 13 divide t?
True
Let s(p) = -15*p - 21. Suppose -86*x - 27 = -83*x. Let a be s(x). Suppose 3*u + 2*t - 4*t - a = 0, 5*u = 5*t + 190. Does 19 divide u?
True
Let h(j) = 409*j - 7522. Does 56 divide h(34)?
True
Is 264*((-2509)/(-52) + 15) a multiple of 121?
True
Let p(z) = 2*z**2 + 6*z - 41. Let d be 1 + -3 + -9 - (0 + 1). Is 25 a factor of p(d)?
True
Suppose -8*o - 20 = -12*o. Suppose o*m + 3*s = 2595, -2*m - 4*s - 496 = -3*m. Let a = m + -297. Is 34 a factor of a?
False
Let s(o) = -5*o - 7. Let j be s(-9). Let p be -22*(-2)/4 - 4. Let w = p + j. Is 9 a factor of w?
True
Let f be (18/5)/(-6 + 534/90). Let i = -9 - f. Does 9 divide i?
True
Let c(x) = -x**2 + 13*x - 11. Let w be c(11). Let l(z) = 3*z**2 - 10*z + 27. Does 28 