t o(u) = -15*u + 6. Is o(c) a multiple of 36?
True
Let p(k) be the third derivative of k**6/720 + k**5/8 + 5*k**4/24 + 7*k**2. Let i(w) be the second derivative of p(w). Does 3 divide i(-6)?
True
Let b be (3 + 33/(-9))*-12*1119. Suppose -16*p + b = -4*p. Is 13 a factor of p?
False
Let k(a) = 2*a**3 - 6*a**2 + 490*a - 8. Is k(18) a multiple of 26?
False
Let j(f) = 334*f + 2006. Does 12 divide j(8)?
False
Let b(a) = 2*a**2 - 12*a + 43. Suppose 16 = 4*n, -2*n - 68 = -4*y - 7*n. Does 7 divide b(y)?
False
Let q(c) = -62*c - 195. Is 11 a factor of q(-12)?
False
Let j(m) = 1. Let x(p) = p**2 + 8*p + 8. Let a(c) = 10*j(c) - 2*x(c). Let q be a(-7). Suppose -q*l + 139 = -109. Does 19 divide l?
False
Let g(s) = 78*s**2 - 3*s + 26. Let b(d) = -52*d**2 + 2*d - 17. Let q(t) = -8*b(t) - 5*g(t). Suppose 9*z + 39 = 57. Is q(z) a multiple of 12?
True
Suppose -6*g = -2174 - 496. Is g a multiple of 18?
False
Suppose -2*t - 6*r = -4818, 20*t - 19*t - 2415 = -2*r. Is 32 a factor of t?
False
Suppose -241*s + 240*s = 1990. Does 53 divide (-16)/3*6*s/80?
False
Suppose -11*d = 3*d - 840. Let l be (18/4)/3*(d - -2). Let m = l + -48. Does 15 divide m?
True
Let s(k) be the third derivative of -k**5/60 + 19*k**4/6 - 71*k**3/6 + 10*k**2 + 12*k. Does 14 divide s(37)?
True
Let k be (-4)/6 - (-1079)/39. Suppose k = -2*n + 359. Let z = -56 + n. Does 10 divide z?
True
Let y(j) = 2023*j - 765. Is y(5) a multiple of 73?
False
Let p(s) = s**2 + 39*s + 70. Let b be p(-37). Is 8 a factor of (1 - (1 + -1))*(b + 186)?
False
Is (-152)/132 + 4/3 + (-182439)/(-99) a multiple of 19?
True
Suppose -2*d - 2 = 4*r - 0, 4*d + 5*r - 2 = 0. Suppose z = -2*w + 205, -300 = -d*w - 5*z + z. Is 6 a factor of w?
False
Suppose 0 = -n + 1021 + 47. Suppose -s + 284 = -4*y, 4*s - 4*y + 5*y = n. Is s a multiple of 11?
False
Let r(i) = -2*i**3 - 5*i + 4. Let p(j) = 3*j**3 + 6*j - 4. Let x(h) = 3*p(h) + 4*r(h). Let d be x(-2). Let n(v) = v**3 - 2*v + 133. Is n(d) a multiple of 19?
True
Let m be (1*124)/2 + (-99)/33. Suppose m*n = 63*n - 1056. Is n a multiple of 33?
True
Let p(y) = y**2 - 5*y - 7. Let n be p(6). Let w = 133 - 135. Is 4 a factor of (-6)/n - (-2 - w)?
False
Let y(i) = -i**3 + 72*i**2 + 90*i - 105. Is 5 a factor of y(72)?
True
Let m(w) = -w**3 - 4*w**2 - 5*w + 1. Suppose 12*h + 20*h = -224. Is m(h) a multiple of 19?
False
Is 46 a factor of 21 - 24 - -30392 - -5?
False
Is ((-520)/(-5))/(10 - (-6291)/(-630)) a multiple of 28?
True
Let r(q) = 3*q**3 + 56*q + 8 - 4*q**3 - 59*q - 6*q**2 + 3*q**2. Let c be r(-4). Suppose d - 4*m = 2*d - c, 0 = -4*d - 2*m + 88. Is d a multiple of 6?
False
Suppose 0 = 4*s + 4, 2*w - 23 = 5*s. Suppose -1012 + 2740 = w*c. Does 24 divide c?
True
Let n(b) = -b**3 + 4*b**2 + 3*b + 10. Let j be n(5). Suppose 5*t + 10 = j, -y + 8*t + 11 = 3*t. Suppose -2*v + 341 = -y. Does 21 divide v?
False
Suppose -2*h - 5*y + 73 = 0, -2*h = -0*h + 2*y - 64. Suppose h*o = 24*o + 25. Suppose -4*n + 98 = o*t, -t + n + 24 = 4*n. Is t a multiple of 18?
True
Let w(g) = 2*g**3 - 6*g**2 - 42*g + 66. Does 150 divide w(14)?
False
Let y be 100*((-3)/(-1) - (-92)/(-20)). Is 5 - y/1 - 3 a multiple of 8?
False
Is 244/1281*(-21)/(-6) - 229478/(-6) a multiple of 52?
False
Let x(w) = 6*w - 16. Let s be x(3). Suppose -2*i + 0 = -s*j - 2, 3*j - 2*i - 2 = 0. Suppose 3*f - r = -j*r + 198, -2*f - 5*r = -120. Is f a multiple of 5?
True
Suppose -11*h - 4*u + 2556 = -9*h, -3*h - 3*u = -3837. Does 27 divide h?
False
Suppose 0 = -5*b - 6*l + 9*l + 816, -5*l + 314 = 2*b. Is b a multiple of 6?
True
Let k(s) = 17*s**2 - 2*s - 1. Suppose 3*l - 115 = -c, -l - 559 = 9*c - 14*c. Let w = 111 - c. Is 2 a factor of k(w)?
True
Let x = -6435 + 12998. Is 101 a factor of x?
False
Let y be (-6)/(-72)*4*15. Does 63 divide 2 + -4 + (y - -690)?
True
Suppose 2 = -2*q, -4*j + 22261 = -2*q - 11057. Is 62 a factor of j?
False
Let y(r) = -r**3 - 19*r**2 - 23*r - 35. Let h be y(-18). Suppose d + 4*d = 3*o - h, 25 = -5*d. Suppose 0 = -a + 74 + o. Does 25 divide a?
False
Suppose 4*m = 2*l, -7*l + 3*l - 3*m = -33. Suppose 6*w + l*w = 1812. Does 2 divide w?
False
Let a = -1033 + 1777. Suppose 0 = 8*y - 1688 - a. Is 16 a factor of y?
True
Suppose -580 = -5*y + 530. Let c = y + -93. Is c a multiple of 43?
True
Let a be 49/(-14) + 2 + (-982)/(-4). Suppose -3356 = -10*l + a. Is l a multiple of 36?
True
Let x(d) = -1549*d - 40. Let t be x(-2). Is (t/55)/((-1)/(-10)) a multiple of 69?
False
Let t = 32548 + -10682. Is t a multiple of 22?
False
Suppose 2*g - 5*k - 21 = 0, 3*k + 1 = g - 11. Suppose 3*b - 2*b + 592 = 0. Is 16 a factor of (b/(-20) + 4)/(g/10)?
True
Suppose -5*m = 100*u - 104*u + 20598, -u + 5144 = -4*m. Does 8 divide u?
True
Suppose 21 + 408 = 11*k. Suppose -44*w + k*w + 380 = 0. Is w a multiple of 7?
False
Let x be -378 - 14*4/8. Let c = 28 - x. Does 26 divide c?
False
Let s(i) = 837*i + 3029. Is s(13) a multiple of 33?
False
Let z be (-3)/(-15) + (-5)/25. Let c(o) = -o**3 - o**2 - 5*o + 108. Is c(z) a multiple of 12?
True
Let k(t) = 100*t**2 - 3*t + 2. Suppose -2 = -2*x + 10. Suppose x = 6*h - 0. Is k(h) a multiple of 11?
True
Let y = 81 - 102. Let h(z) = -z**3 - 19*z**2 - 15*z + 34. Is 20 a factor of h(y)?
False
Suppose 3*h = -4*v - 588, -4*v + 8*v = 4*h - 616. Suppose 0 = -4*q - 5*i + 1208, 34*q - 29*q - 1510 = 2*i. Let s = v + q. Is s a multiple of 14?
False
Suppose -8 - 4 = -3*b, -x + 748 = 2*b. Suppose -x = -5*q - u + 702, 584 = 2*q + 4*u. Does 18 divide q?
True
Suppose 161*l = 151*l + 18810. Does 11 divide l?
True
Suppose -2*r + 16 = -4*y, 3*r = -5*y + 7 - 16. Let z be (-36)/(-1 - r)*-4. Let t = z - -72. Is 3 a factor of t?
True
Let n(o) = -2*o**3 - 186*o**2 - 431*o - 14. Is 125 a factor of n(-92)?
False
Let z(o) = 2*o**3 - 4*o**2 + 4*o - 2. Let c be z(2). Let k(r) = -2 - 1 - 5*r**2 + 1 + r + 7 + r**3. Is 27 a factor of k(c)?
False
Let c(w) = -w**2 + 28*w - 47. Let h be c(25). Let n(b) = -b**3 + 29*b**2 + 10*b - 74. Is 10 a factor of n(h)?
True
Let x = -1026 - -554. Let f = -337 - x. Does 3 divide f?
True
Let n(z) = 77*z**2 - z - 3. Let a be n(2). Suppose 3*x + 0*u = -u + 311, -3*x + a = 3*u. Does 21 divide x?
True
Suppose -62*q = -602486 - 294778. Does 12 divide q?
True
Let s(b) = 10*b**3 + 41*b**2 - 155*b - 4. Does 16 divide s(4)?
True
Let r = 44 + 792. Let o = -547 + r. Does 6 divide o?
False
Let v = 66 + -62. Suppose v = 6*g - 32. Suppose g*o = 10*o - 1440. Is 20 a factor of o?
True
Suppose 0 = k - 3*j + 100, 121 = -k - 4*j + 7. Let u = -96 - k. Suppose -i + u*i - 792 = 0. Does 8 divide i?
True
Let a = -7 - 6. Let p be (14 + a)/((-1)/2). Let v(y) = -7*y**3 - 5*y**2 - 3*y + 4. Does 23 divide v(p)?
True
Suppose -40*n + 5*n = -5266 - 4079. Does 12 divide n?
False
Suppose 33*b + 570 = 7401. Is 207 a factor of b?
True
Suppose 20*a + 69*a = 376826. Does 20 divide a?
False
Let r(f) = -4*f**3 + 18*f**2 + 2*f + 58. Let c(o) = 3*o**3 - 17*o**2 - o - 58. Let h(z) = -5*c(z) - 4*r(z). Does 9 divide h(-13)?
False
Suppose -8 = 4*r - 4*c + 2304, -3*r - 1754 = 2*c. Let a = -258 - r. Suppose -13*k = -456 - a. Does 12 divide k?
True
Let q be (-1329)/9 + (-2)/(-3). Suppose -23*v = 6802 - 1351. Let w = q - v. Is 13 a factor of w?
False
Is 9 a factor of 8/(-28) - 846768/(-364)?
False
Let s be 2664/(-13 - -25) - -5. Let d = 416 - 59. Suppose 5*q = -3*r + d, -r + s = 3*q + 4*r. Does 13 divide q?
False
Let s(w) = 16*w**2 + 38*w + 322. Let g be s(-19). Suppose -g = -4*j - 0*j. Does 32 divide j?
True
Suppose 2*o - 66 = -4*o. Suppose 7 + o = 9*k. Suppose k*f + 175 = 539. Does 26 divide f?
True
Let j = 715 + -1011. Let c = -134 - j. Does 18 divide c?
True
Does 76 divide (1 - (-15)/(-25))/(2/(75060/2))?
False
Suppose 2*h + 5*t = -198, -3*t = -12*h + 9*h - 255. Let o = h - -368. Is 9 a factor of o?
True
Does 13 divide (121 + 82)*4*(-41)/(-14)?
False
Suppose 204*c - 245176 = -75856. Is 25 a factor of c?
False
Suppose -30 = 4*t - 142. Suppose z = 2*m - 26, 4*m + 28 = -4*z + z. Let j = t + z. Is 12 a factor of j?
True
Let s(d) = -12*d**2 + 9*d - 6. Let n = 51 - 52. Let y(l) = l**2 - 1. Let j(h) = n*s(h) + 4*y(h). Is j(4) a multiple of 15?
False
Let t be 10/(-20)*(1 - (0 - -1)). Let f(q) = -2*q + 2. Let i be f(t). Suppose i*s - 285 = -5*g, -3*s + 6*s - 414 = -3*g. Does 12 divide s?
False
Let b be 46*(150/84 + 2/(-7)). Suppose b = 3*w - 135. Let r = w + -31.