z**6/120 - z**4/24 + 20*z**3/3 + 7*z**2/2 - 2*z. Let u(y) be the first derivative of p(y). Is u(0) a multiple of 8?
True
Let i(v) = 77*v + 56. Does 28 divide i(0)?
True
Suppose -307 + 27087 = 4*u. Does 43 divide u?
False
Let s(l) = 3*l**3 - 8*l**2 - 27*l - 35. Does 2 divide s(8)?
False
Let x = 89 + -84. Suppose x*f - 334 = -4*r - 110, -2*f + 3*r = -108. Does 3 divide f?
True
Suppose -3*r = -0*r - v + 257, 0 = -5*r + 3*v - 423. Let g = r + 212. Suppose g + 267 = 4*a. Is a a multiple of 9?
False
Suppose 0 = -3*b + 8*a + 8064, -b = -4*b + 5*a + 8046. Is b a multiple of 16?
True
Does 64 divide -1436*(-11 + (-574)/(-56))?
False
Suppose -8 = -3*g + 4*l + 33, 3*l + 43 = 4*g. Suppose -2*t = -g*t + 225. Suppose -t = -7*d + 67. Is d a multiple of 3?
False
Suppose 0 = 61*j - 468565 - 234521. Is 41 a factor of j?
False
Suppose 5*a - 28878 = -3*q + 70914, -3*a = 3*q - 59868. Does 18 divide a?
True
Let y be (-7 - -22)*(-3)/(-9). Let n(b) = 4*b**3 + 5*b**2 - 3*b + 17. Is 11 a factor of n(y)?
True
Suppose b - 2 = 0, 8*b = -5*f + 3*b + 25. Suppose -f*u = -0*u - 1176. Suppose u = 2*j - 3*v + v, 2*j = -2*v + 412. Is 25 a factor of j?
False
Let o(g) be the second derivative of -16*g**3/3 - 31*g**2 + 54*g. Is 7 a factor of o(-4)?
False
Let m(y) = -y**3 - 25*y**2 + 3. Let d be m(-25). Suppose 2*v - 6 = d*a, 4*v - 6 = 6. Suppose -5*n - 43 + 173 = a. Is n a multiple of 26?
True
Suppose 592 - 8376 = -7*f. Suppose -11*x + f = -9*x. Does 16 divide x?
False
Does 8 divide (0 + -3964)/((-608)/152)?
False
Does 4 divide -4 - (-5663)/14 - (-4)/8?
False
Let o(b) = -b**2 + 2*b + 4. Let q(j) = j**2 - 6*j - 4. Let i(c) = -4*o(c) - q(c). Suppose 0 = 4*p + 8, 4*y + 3*p - 2*p = 22. Does 14 divide i(y)?
True
Let c = 638 + 1416. Suppose 0 = 2*v - 7*k + 3*k - c, -3 = k. Does 73 divide v?
False
Suppose -72*v + 20197 + 8819 = 0. Does 9 divide v?
False
Suppose 3*r + 7989 = q, q + 3*r + 2576 - 10589 = 0. Is 63 a factor of q?
True
Let u = 272 - 171. Is -27 + 31 - u*-1 a multiple of 5?
True
Let d = -63 - -71. Suppose -585 - 719 = -d*r. Is 46 a factor of r?
False
Suppose 2*j + 2*b = 2520, 97*j + b = 100*j - 3796. Is 9 a factor of j?
False
Suppose -y - 4*j = -260, 0*y + 735 = 3*y - 3*j. Let i = y - 168. Suppose -11*h = -15*h + i. Is 4 a factor of h?
True
Suppose 4*o + 53 = -5*j, -4*o + 3*j + 8 = -3*o. Does 42 divide 679 - (0/3 - o)?
True
Suppose 4*m = 0, -2*g + m - 760 = -126. Let d = g - -143. Does 29 divide (11 + 4)/(-3)*d/10?
True
Let k(l) = 2335*l + 725. Is 124 a factor of k(5)?
True
Let p = 13344 - 9604. Is p a multiple of 20?
True
Suppose 0 = -36*m + 42*m. Suppose -136 - 101 = -3*q. Suppose 7*i - q - 12 = m. Does 5 divide i?
False
Let s(a) = -22 + 11*a**2 - 21*a**2 + 11*a**2 + 17*a. Let g(j) = -j**3 - 6*j**2 - 2*j + 4. Let i be g(-4). Does 5 divide s(i)?
False
Let r(v) = -131*v - 745. Is 13 a factor of r(-90)?
False
Let j(z) be the third derivative of z**7/840 + z**6/360 + 23*z**5/60 - 25*z**2. Let f(g) be the third derivative of j(g). Is 5 a factor of f(10)?
False
Let j be ((-24)/(-18))/((-2)/15). Let g be (j/6 + 1)/((-3)/306). Let o = g - 8. Does 15 divide o?
True
Suppose -t = 212 - 211. Let h(o) = -75*o + 5. Is h(t) a multiple of 10?
True
Let p be ((-1054)/5)/(3/(-15)). Suppose 204 = -h + s - 499, -4*h - 5*s = 2812. Let u = h + p. Does 13 divide u?
True
Let d = 13165 - 6491. Does 47 divide d?
True
Let y = 9682 - -15538. Is y a multiple of 194?
True
Let g = 111 - 110. Does 52 divide (37 + -41)/(g/(-52))?
True
Suppose 2*d + 3*q + 544 = 4*d, 5*q = 4*d - 1092. Suppose -5*t - h = -d, -h + 3 = -0*h. Let b = t + 134. Is 40 a factor of b?
False
Let q(v) be the second derivative of 7*v**4/3 + 5*v**3/6 + 5*v**2/2 - 3*v - 8. Is 22 a factor of q(-3)?
True
Let c(g) = 228*g + 152. Is 20 a factor of c(6)?
True
Suppose 68 = -6*g + 158. Suppose g*v - 232 = -37. Let y(i) = i**2 - 13*i + 16. Is y(v) a multiple of 5?
False
Let j be (132 + 9)/(2/6). Let p = 811 - j. Is p a multiple of 29?
False
Let p = -24 - -33. Suppose -11*t = -2*x - p*t + 878, 5*x - 2211 = t. Is x a multiple of 82?
False
Let w(v) = -69*v + 1. Let i(m) = -m**3 - 4*m**2 - 3*m - 2. Let s be i(-3). Is w(s) a multiple of 4?
False
Let l = 26822 - 24725. Is 6 a factor of l?
False
Suppose -3714 - 1666 = -5*m. Does 18 divide m?
False
Let j(v) = -135*v + 459. Is 81 a factor of j(-8)?
True
Let j be (-2)/2 + -68 + 57. Does 18 divide (8/j - -1)/(1/1842)?
False
Let h(d) = 42*d**2 + 731*d - 173. Is h(-43) a multiple of 255?
False
Let j(x) = 8*x**2 - 6*x - 13. Suppose v + 3*c + 4 + 1 = 0, -v + 5 = -2*c. Suppose -4*l + 1 = s - 9*l, l = -v. Does 18 divide j(s)?
False
Let d be (-151)/(-5) + 7/(-35). Suppose -20*h = -d*h + 1420. Is h a multiple of 71?
True
Does 168 divide 363*((-510)/18)/(-5)?
False
Let w be 5*10/75*(-30)/(-4). Suppose 6*p = p + w*m + 4070, -2*p + 1618 = -4*m. Is p a multiple of 21?
True
Does 105 divide 343708/10 - -4*27/540?
False
Let m(a) = -33*a + 373. Let r(z) = 11*z - 124. Let b(t) = 3*m(t) + 8*r(t). Is 8 a factor of b(9)?
False
Suppose -135*d + 355818 = -11761 - 17171. Is d a multiple of 98?
False
Let j(m) = 7*m + 13. Let k be j(-9). Let s = 200 + -75. Let w = s + k. Is 15 a factor of w?
True
Let r(m) = -62*m + 165. Let b be r(10). Let n = b + 713. Does 4 divide n?
False
Suppose 0*a + 939 = -3*a. Let v = a + 853. Is 10 a factor of v?
True
Suppose 5*x + 3*y + 270647 = -187176, -5*x - 2*y = 457822. Is 16 a factor of x/(-286) - (-6)/(-39)?
True
Let r be ((-3)/6)/((-8)/16). Let s(z) = 2*z + 30. Let x(c) = c - 1. Let k(i) = r*s(i) - 5*x(i). Does 3 divide k(7)?
False
Let w = 5 + 125. Let u = w - 81. Does 7 divide u?
True
Let s(u) = 3*u - 35. Let i be s(-13). Let g = -52 - i. Let w(p) = -p**3 + 21*p**2 + 30*p - 46. Is w(g) a multiple of 10?
True
Suppose 31 = -6*n + 103. Let r be (-4)/n - (-3)/(-18)*106. Is (-12)/r + (-278)/(-6) a multiple of 19?
False
Let h(a) = 7*a**2 + 7*a - 35. Let o be h(7). Let b = 475 - o. Is 10 a factor of b?
False
Suppose -5*a + 20 = 0, 5*d - 4220 = -44*a + 39*a. Does 15 divide d?
True
Let z(l) be the first derivative of 0*l**2 + 1/3*l**3 - l - 16. Does 23 divide z(-11)?
False
Let m = -63 + 63. Suppose -7*n + 151 + 633 = m. Does 14 divide n?
True
Let g(f) = -13*f + 596. Is g(-30) a multiple of 58?
True
Suppose -230 = -2*w + 2*j, 15*w - 14*w = -5*j + 139. Let r be (3 - 11)*1/1. Let m = w - r. Is 14 a factor of m?
False
Let h(y) = 3 + 90*y + 24*y**2 + 91*y - 179*y. Is h(-2) a multiple of 8?
False
Let q = 1421 + -293. Suppose 483 = 9*p - q. Let j = -90 + p. Is j a multiple of 6?
False
Is -4 + 10 + (-8 + 962 - -7) even?
False
Suppose -5*u - 711 + 3576 = -5*y, -2247 = 4*y + 5*u. Let k = -323 - y. Is 9 a factor of k?
False
Let v be 1275/459 - (-2)/9. Suppose 5 + 0 = -z, -4*m = v*z - 225. Is m a multiple of 10?
True
Let t(o) = -38*o - 13. Let n be 52/10 - 4/20. Let r be n*((-2)/6 + (-12)/180). Is 9 a factor of t(r)?
True
Let p(w) = 77*w**2 - 4. Let l(u) = -u**3 + 2*u**2 + 2*u + 5. Let z be l(3). Let k be p(z). Suppose 2*n + k = 6*n. Is 38 a factor of n?
True
Suppose -3*l - 2*l + 30 = -5*r, 0 = -l - r - 2. Let p(m) = -4*m + 11. Let n be p(l). Suppose -i + 13 = -n. Is i a multiple of 8?
True
Suppose 2*g = 258 + 228. Suppose 0 = 8*a - 1395 + g. Is a a multiple of 12?
True
Let h(p) = -2*p**3 - 9*p**2 - p - 10. Let a be (-1)/(2/20*2). Let n be h(a). Is (n + -23)/((-1)/26) a multiple of 26?
True
Suppose 6*s + 113 = -529. Let t be s/(-3)*(-2)/(-2)*3. Let d = t + -83. Does 6 divide d?
True
Suppose -4*a + g - 92 + 2 = 0, -4*g + 107 = -5*a. Let k(p) = -p**2 - 31*p + 16. Does 11 divide k(a)?
False
Suppose 6*z + 45 = -27. Let i be (2/z*-3)/((-4)/240). Is 324/i*15/(-6) a multiple of 7?
False
Suppose -4*f - 5537 = 4*j - 1077, 0 = j - 4*f + 1095. Let c = 2014 + j. Does 21 divide c?
True
Let w(i) = 1567*i**3 + 3*i**2 - 212*i + 606. Is 33 a factor of w(3)?
True
Does 9 divide (-15 - 447990/(-150)) + -2 + 24/10?
False
Let b = 2941 - 1959. Is 10 a factor of b?
False
Suppose -n + 2970 = f, -71*f - 21 = -68*f. Is 38 a factor of n?
False
Suppose -277*y + 15184 = -272*y - 1461. Is y even?
False
Let a be (-5)/15*(1 + -1) + 241. Let k = a - -100. Suppose k = 5*p - 589. Is p a multiple of 24?
False
Let t be (-2)/4 + 3995/10. Let q = t - 48. Does 27 divide q?
True
Suppose -4*t - 360 = -5*q - 9*t, -3*q - 2*t = -216. Suppose 0 = -3*f - q + 216. D