et p(y) be the second derivative of -y**5/10 - 2*y**4/3 + 8*y**3/3 + 33*y**2 - 102*y. Does 19 divide p(-6)?
True
Let m(c) = c**3 + 17*c**2 - 17*c + 17. Let y be m(-18). Let s be (((-216)/(-15))/4)/(y/5). Let k = 11 - s. Does 29 divide k?
True
Let u = 6437 - 6301. Is u a multiple of 34?
True
Let n be 0 - (-6 + 7 - 2). Is 12 a factor of (2/(-4)*n)/(58/(-27840))?
True
Suppose -u + 15 = -5. Let q be (5/(-3))/(u/(-24)). Suppose 4*o + q = -3*s - 1, -3*o - 16 = 5*s. Is o a multiple of 3?
True
Let p be (((-16)/12)/2)/((-2)/807). Let s = p - 141. Suppose 0 = 3*f - 12, 2*m - s = -5*f + 266. Is 24 a factor of m?
False
Let h(p) = p**3 + 48*p**2 - 2*p + 380. Does 93 divide h(-48)?
False
Let q(m) be the third derivative of -11*m**4/24 + 9*m**3 + 22*m**2. Let d be q(5). Let s(v) = -49*v**3 - 3*v**2 - 3*v - 1. Does 6 divide s(d)?
True
Suppose -578177 - 4908619 = -126*l. Does 18 divide l?
False
Let g be 0*((-184)/(-48) + -4). Suppose 605*b - 601*b - 1512 = g. Does 27 divide b?
True
Let t(b) = -2*b + 7. Let p be t(2). Suppose -5*h - 4*m - 12 = 0, 4*m + p = 3*m. Suppose h = -3*c + 102 + 93. Is c a multiple of 17?
False
Suppose 5*i - 16 - 12 = 4*y, 0 = -2*y + 6. Suppose 4*r = i*c - 4*c + 116, 2*c - 87 = -3*r. Is r a multiple of 29?
True
Is 15 a factor of (-3)/(76994/11000 + (-1764)/252)?
False
Let s = -971 + 256. Let y = s + 1037. Is y a multiple of 14?
True
Let s = 1110 + -199. Does 12 divide (-1 + s)*2/5?
False
Suppose -223143 = -9*t - 2*w, 4*t - 9*w - 99150 = -14*w. Is 24 a factor of t?
False
Suppose 0 = -4*y + 3*d + 3374, 577 = y + 5*d - 278. Let i = -29 + y. Is i a multiple of 16?
True
Let o(q) = q**3 + 33*q**2 + 8*q + 48. Let f be o(-32). Suppose 0 = 204*r - 201*r - f. Does 47 divide r?
False
Is (-4346766)/(-387) - 18/(-387) a multiple of 24?
True
Is 13 a factor of 784/(-196) + (0 - -1317)?
True
Let z(h) be the second derivative of h**5/10 - 2*h**4/3 + h**3/2 + 7*h**2 + 7*h - 12. Let p be 4/18 - (-104)/18. Is 44 a factor of z(p)?
True
Suppose a - 1067 = 4*l, 4*a + a + 5*l = 5435. Is a a multiple of 25?
False
Let r(i) = i**3 + 5*i**2 - 16*i - 14. Let d be r(-7). Suppose 0 = -4*l + 6*l + 5*j - 13, d = 5*l + 2*j - 43. Does 2 divide l?
False
Does 86 divide 238398/66 - (-16)/(-176)?
True
Suppose 10*h + 10134 = -2716. Let i = -662 - h. Does 39 divide i?
False
Let v = 11961 + -6786. Does 44 divide v?
False
Let y = 831 + 917. Is 10 a factor of y?
False
Suppose -2*g + 56126 = 5*y, -9*y + 3*y + 5*g + 67329 = 0. Does 92 divide y?
True
Let d be (-6)/4*(9 + 50/6). Is 26 a factor of (1 - 174)/(d - -25)?
False
Let f(s) = -3*s**2 + 20*s - 9. Let x be f(6). Suppose -6*z + 9 = -x*z. Suppose -2*w + 7*w = -2*r + 566, 0 = z*w + 4*r - 334. Is w a multiple of 19?
True
Let j(y) = y**2 + 10*y + 14. Let u be j(-9). Let n(x) = 2*x**2 + 6*x. Let i be n(u). Let d = i - -38. Is 7 a factor of d?
False
Suppose -36*l + 1169013 = 39*l - 41487. Is l a multiple of 12?
True
Suppose -87*t - 5645 = 120*t - 254459. Does 5 divide t?
False
Suppose -2*p + 5*n = -43431, -267 + 87189 = 4*p + 2*n. Is 56 a factor of p?
True
Suppose -2*h = t + 2*t + 11, -3*t + 5*h = 4. Let l = -82 - -46. Is 18 a factor of l/(-1 - (-1 - t/6))?
True
Let z = -9643 + 22523. Does 39 divide z?
False
Suppose 0 = 5*a - 5*n + 25, -3 = -4*a + n - 8. Suppose -3*x + 0*x + 15 = a, -49 = -2*r + x. Let i = 29 + r. Is i a multiple of 14?
True
Let w(i) = i**3 + 2*i**2 - 4*i. Let x be w(-3). Let d(z) = -3*z**3 + 4*z + 2*z**x + 4 + z**2 - 2. Is d(-4) a multiple of 11?
True
Let z = -34 - -37. Is 4*-3*74*z/(-24) a multiple of 19?
False
Suppose 3*d = 5*v + 3615, -700 - 10 = v + 2*d. Let t = v - -1035. Is t a multiple of 15?
True
Let c = 1751 - 2806. Let z = 1727 + c. Is 56 a factor of z?
True
Suppose -4*v + 5*k + 20905 = 0, 31 = 3*k + 46. Does 3 divide v?
True
Let j(r) = r**2 - 24*r + 156. Let p be j(15). Suppose 0 = 19*c - 21*c + b + p, -4*b = 4*c - 48. Is 4 a factor of c?
False
Let s(q) = -q**3 - 13*q**2 - 19*q + 19. Suppose 3*f = 4*f + j + 11, 0 = 4*j + 8. Let w be s(f). Let x = w + 146. Is x even?
True
Suppose 27*d + 6071 + 2921 = 29*d. Is 31 a factor of d?
False
Let w(j) = -3*j**2 - 2*j + 18*j + 1 + 2*j**2 - 32. Let v be w(13). Suppose 4*u - v = 312. Is 40 a factor of u?
True
Suppose 2*j = -4*w + 638, 4*j - w + 4*w - 1261 = 0. Is j a multiple of 5?
False
Suppose 0 = -0*v - v + 4*u - 628, 3*v - 3*u = -1920. Let z = v - -1088. Does 15 divide z?
False
Let p(c) be the second derivative of c**5/30 + 7*c**4/8 - 5*c**3/2 + 8*c. Let n(l) be the second derivative of p(l). Does 9 divide n(5)?
False
Let g be (-2)/((-8)/36) + -3. Suppose 0 = 11*c + 11*c - 264. Is 4 a factor of (88 + 0)*g/c?
True
Suppose 1523 = w + 4*r - 3*r, 6 = -2*r. Suppose -w = -9*g + 5728. Is g a multiple of 16?
False
Suppose 51*f - 129714 = 25*f. Does 96 divide f?
False
Let g = 22976 - 16384. Does 96 divide g?
False
Let p(y) = 285*y + 9021. Is p(13) a multiple of 7?
True
Let q = -1487 + 4973. Does 166 divide q?
True
Suppose -11*m + 7*m = -171600. Suppose -52*g + m = -2*g. Is g a multiple of 22?
True
Let t(u) = 3*u + 66. Let v be t(-22). Suppose v = 38*p - 36*p - 10. Suppose 161 = p*j - 64. Is j a multiple of 15?
True
Let x(h) = 9*h + 52 + 5*h - 15*h. Is 4 a factor of x(0)?
True
Is 3017 + (-26 - -16 - 5) a multiple of 19?
True
Suppose -366707 = -15187*b + 15170*b. Is 20 a factor of b?
False
Suppose 3*q + 23 + 166 = -5*o, 0 = 5*q + 3*o + 299. Let a = q + 66. Is 19 a factor of (7/(-5) - a/(-20)) + 20?
True
Let w be ((-12)/18)/(2/(-24)). Let f be 83 + ((-15)/(-4) - (-2)/w). Let i = f - 16. Is 9 a factor of i?
False
Suppose 3*p - 13114 = a, 5*a + 13961 + 7899 = 5*p. Suppose -17*q + 6951 = -p. Does 15 divide q?
False
Let c = -75 - -24. Let k = 7 - c. Is -1 - 3*(0 + k/(-6)) a multiple of 2?
True
Suppose -6*b = -3*b + 558. Let v = 1137 - 1268. Let m = v - b. Is 10 a factor of m?
False
Let t(j) = -368*j**3 - 3*j**2 + j - 8. Let m be t(-3). Let f = 14518 - m. Does 32 divide (-5)/45 - f/(-27)?
False
Suppose 0 = 2*u - 6*q - 2568, 2*u - 9*q - 2577 = -6*q. Is u a multiple of 26?
False
Let f(b) = 447*b**2 + 13*b + 22. Does 15 divide f(-2)?
False
Suppose 45 = 2*k + 7*q - 4*q, k = -q + 22. Let c = 34 - k. Suppose -3*w = -2*g - 122, 2*g = -w - c + 67. Is w a multiple of 4?
True
Suppose 144*j + 5680809 = 139*j + 342*j. Is 9 a factor of j?
True
Let g = 1005 + -891. Suppose 7*t = 768 + g. Does 63 divide t?
True
Let g(o) be the third derivative of o**6/120 - o**5/20 - o**4/12 + o**3 + 20*o**2. Let j be g(3). Suppose 9*p + 95 - 1310 = j. Does 27 divide p?
True
Is (31*(-9)/108)/((-2)/136)*27 a multiple of 31?
True
Let t = -80 - -88. Suppose -640 = -16*l + t*l. Suppose 3*c + 2*o - l = 96, 5*c - 310 = 5*o. Is c a multiple of 10?
True
Let j(p) = -2*p**3 - 4*p**2 - 4*p - 4. Let k be j(-2). Is 11 a factor of (-6276)/(-8) - (1 + (-2)/k)?
False
Suppose 5*j + 3*m = 5530, 3*j = 3*m + 2414 + 880. Is 5 a factor of j?
False
Let y(q) = 3*q**2 - 22*q + 9. Let i be y(9). Let n = 61 - i. Suppose -n*h + 704 = h. Does 8 divide h?
True
Let t(a) = 1062*a - 474. Is t(6) a multiple of 20?
False
Let k = -52 + 62. Suppose 4*x - k = 6. Does 14 divide (x/10)/((-1)/(-135))?
False
Let u(m) = -234*m - 158. Let n be u(3). Let q = n - -1744. Is 13 a factor of q?
True
Suppose -80*z - 1254362 = -130*z - 108*z. Is 17 a factor of z?
True
Is 19 a factor of (-11)/22 + (-222012)/(-8) - -9?
False
Suppose 6921*n = 6924*n - 4*c - 84182, 0 = n + 3*c - 28026. Is n a multiple of 330?
True
Let m be (-24)/(-10) + 2 + (-38)/95. Suppose -3*k - m*b - 4 + 10 = 0, 4*b - 10 = -k. Is ((-1)/(k - -1))/((-1)/(-97)) a multiple of 8?
False
Let w(x) = 4*x**3 + 32*x**2 - 20*x - 20. Let z(b) = 5*b**3 + 33*b**2 - 19*b - 19. Let y(g) = -6*w(g) + 5*z(g). Let n be y(26). Is 6 a factor of (-16)/6*63/14*n?
True
Let v = 5529 + -3394. Is 5 a factor of v?
True
Let t = 12951 + -6345. Is t a multiple of 9?
True
Let b = -8195 - -10195. Is 50 a factor of b?
True
Let g = -2958 - -3181. Does 10 divide g?
False
Let t = -1524 + 1535. Let m(v) = 9*v + 11*v**2 - v**3 - 2*v - 6 + 6*v. Does 37 divide m(t)?
False
Let k(c) = c**3 + 17*c**2 + 8*c + 8. Let h be k(-16). Let n = -388 - -272. Let m = h + n. Does 6 divide m?
False
Let n be (-1 - 2) + (-11 - -16). Let a(g) = -16*g + 3 - 5*g - 11*g**2 + 10*g**n. Is a(-10) a multiple of 21?
False
Suppose 4*u + 2*j = 48948, -3*u - 4*j = -