econd derivative of v**5/20 - 4*v**4/3 + v**3/2 - 21*v**2/2 + 57*v. Is 27 a factor of m(16)?
True
Let v(n) = 902 - 297 - 304 + 4*n - 303. Let a be 21*(-3)/(-9)*2. Is 11 a factor of v(a)?
False
Let g = 19 + 20. Is 12 a factor of (-6)/(-2) + g/1?
False
Let b(s) be the first derivative of s**4/4 - 6*s**3 - s**2/2 + 5*s - 15. Let u be b(18). Let g(v) = v**3 + 13*v**2 - 2*v + 12. Is 27 a factor of g(u)?
False
Let g(t) = t**3 - 18*t**2 + 22*t - 79. Let s be g(17). Does 3 divide s - (-11)/((-22)/(-228))?
True
Suppose -2*i + 3*a = -11659 + 3057, -7*a = 3*i - 12834. Does 74 divide i?
True
Let j = -23 - -28. Suppose -4*z = -j*z. Suppose z*p = -3*p, l - 4*p - 38 = 0. Is l a multiple of 10?
False
Let h(t) = 469*t - 265. Is h(4) a multiple of 5?
False
Let w(h) = -h**3 - 9*h**2 + 19*h + 34. Suppose 0 = 8*d - 11 + 123. Is 21 a factor of w(d)?
False
Suppose -41*x + 938600 = 18*x - 142103. Is x a multiple of 13?
True
Let f(n) = -125*n + 9242. Is f(13) a multiple of 3?
True
Let s = 45423 + -24925. Does 106 divide s?
False
Suppose 0 = -h + 19*h - 126. Suppose 12*s - 2030 = h*s. Is s a multiple of 29?
True
Suppose -18*n = -13421 - 24091. Does 172 divide n?
False
Suppose 0 = 13*i - 10*i - 42. Suppose -2*h = s - 1, 0*h = -2*s + 2*h + i. Is 9 a factor of (2 - s) + (1*82)/1?
False
Let s = -215 - -213. Is 45/((-33)/18 - s) a multiple of 45?
True
Let o = -75 - -79. Suppose 5*z = -4*p + 40, o*z = 4*p - 7*p + 31. Is (9 + -3)*26/z a multiple of 5?
False
Let r = -98 + 101. Let n(l) = 19*l + 14. Is 2 a factor of n(r)?
False
Let d(a) = -31870*a**3 + 3*a**2 + 33*a + 32. Is d(-1) a multiple of 32?
True
Suppose 4*u + 942 = g, 15*g - u - 4615 = 10*g. Does 4 divide g?
False
Suppose -5*s = -33*l + 37*l - 3655, 3*s = 5*l - 4541. Does 60 divide l?
False
Suppose 5*v + 764 = h - 5*h, 0 = 3*v - h + 455. Suppose 0 = 5*b - 4*m + 191, -2*b - 82 = m + 3*m. Let u = b - v. Does 14 divide u?
False
Let d be (-3 - -4)*(4 - 9). Let n be (-1)/(d*(-5)/2250). Let a = n - -168. Is a a multiple of 12?
False
Let p(x) = -x**3 - 7*x**2 + 25*x + 22. Let q be p(-10). Suppose 6*r - 5*r = 2. Suppose b = r*b - q. Does 18 divide b?
True
Let j = 103 - 105. Let x be ((-72)/(-16) + -5)/(j/(-24)). Is 13 a factor of 3/6 + 1 + (-459)/x?
True
Let z = 135 + -131. Suppose z*r + 116 = 2*y, 2*y + 4*r + 16 = 92. Is y a multiple of 2?
True
Let s(q) be the second derivative of q**3/6 + 2*q**2 - q. Let h be s(10). Is 10 a factor of h/(-42) - (-92)/6?
False
Let b(y) be the second derivative of y**4 + y**3/6 - 17*y**2/2 - 4*y + 4. Is b(5) a multiple of 34?
False
Suppose 0 = -33*b + 105285 + 103803. Is b a multiple of 44?
True
Let u(l) be the first derivative of -l**3/3 + 23*l**2/2 + l + 1. Let r be u(15). Suppose 5*o - 25 = 0, 0*m - 3*o = m - r. Does 18 divide m?
False
Let f be (-2*1)/(-13 + 12). Let q be 4*f/((-12)/(-9)). Does 6 divide ((-2)/q)/(2/(-107 + -1))?
True
Let t(m) = -m**3 + 37*m**2 + 32. Suppose -2*i = -5*p - 74, -2*i = -6*i + 4*p + 148. Is t(i) a multiple of 4?
True
Suppose -36084 = -2*h - 4*y, -4*h - y + 72161 = -0*h. Suppose -22*x = -0*x - h. Is x a multiple of 7?
False
Suppose 4*m - 20 = -d, 5*d - m - m = 56. Suppose -3712 = -d*q + 1484. Is q a multiple of 13?
False
Let l(w) = 127*w + 1322. Is l(45) a multiple of 31?
True
Suppose 5*m - m + 5*m - 83367 = 0. Is 100 a factor of m?
False
Let k be (4/(-2))/((-6)/15). Suppose 11*b - k = 10*b. Suppose 3*i = -3*l + 333, -3*l + b*i + 353 = 3*i. Is 14 a factor of l?
False
Suppose -7*o - 225 = v - 2*o, -2*v = 5*o + 470. Let u = v + 448. Does 14 divide u?
False
Let t = -6 - -10. Suppose -4*k - 9 = 5*u - 44, 0 = 2*u - t*k - 14. Is 8 a factor of (5 + -1 - u) + 46?
False
Let w(q) = -4*q + 2*q + 32 - 23 + 7*q. Does 4 divide w(15)?
True
Let z = 101 + -99. Suppose -b - s = -29, -s + 70 = 2*b - z*s. Is b a multiple of 3?
True
Let b(n) = 285*n**2 + n + 1. Let c(o) = 1426*o**2 + 4*o + 4. Let w(z) = -14*b(z) + 3*c(z). Is 12 a factor of w(-1)?
True
Suppose 0 = o - 6*o - 45. Let m = o - -8. Is (-2)/m*(-117)/(-6) a multiple of 17?
False
Suppose 4*u = 5*h + 3928, 911 = -5*h - 4*u - 3001. Let k = -640 - h. Is 24 a factor of k?
True
Let v(h) = -76*h**2 + 16*h + 204. Let g(d) = -25*d**2 + 6*d + 68. Let m(s) = -7*g(s) + 2*v(s). Is m(-5) a multiple of 60?
False
Suppose 3*c = -c + 188. Suppose 7*h = c + 37. Does 5 divide (-4)/6 - (-68)/h?
True
Let u = 3937 + 49127. Is 66 a factor of u?
True
Let g = -37 - -151. Let y = 354 - g. Does 16 divide y?
True
Let j be (-15)/12*(-15 - -7). Let w = -7 + j. Is 20 a factor of 164 - (1 + w - 0)?
True
Let r = -133 + 434. Suppose r + 2075 = 3*h. Is h a multiple of 18?
True
Let j(k) = -2*k**2 + 35*k + 52. Let q(f) = -f**2 + 17*f + 26. Suppose 3*n + 5*n + 32 = 0. Let s(x) = n*j(x) + 9*q(x). Does 38 divide s(12)?
True
Let y be 0 - -5 - (-2 - (0 + -2)). Suppose -y*v + 2*x = -4*v - 204, 0 = -4*v + 4*x + 804. Is 9 a factor of v?
True
Suppose -5*a = -5*y + 480, -5*y - 114 = 3*a - 2*a. Let d = a - -1878. Is d a multiple of 91?
False
Let w = -206 - -206. Suppose 25*n - 11*n - 1288 = w. Is n a multiple of 9?
False
Let i(h) = -2*h**2 - h - 4. Let m be i(-8). Let p = 6 - m. Suppose 210 + p = 5*t. Is t a multiple of 16?
False
Let h(s) = 29*s**3 - 4*s**2 + 20*s - 21. Is h(6) a multiple of 14?
False
Let r(d) = d**2 + 18*d - 15. Let p be r(-19). Does 33 divide (-22)/(-22)*(-4)/(p/(-363))?
True
Suppose 0 = -4*h + 7 + 1. Suppose -4*k + 2*i + 1724 = 0, h*k - 3*i = -2*k + 1722. Suppose 5*u - 8*u + k = 0. Does 36 divide u?
True
Suppose 5 = 5*b - 5*r, 0*r - 1 = -2*b + 3*r. Suppose 0 = -2*y - b*i - 4, 2*y + 2 = 2*i + 14. Suppose -70 - 44 = -y*l. Is l a multiple of 3?
True
Let m be 0/(-1*1) - (-648)/(-27). Let p = 260 - m. Suppose -3*t = -2*s + p, 3*t + 156 - 11 = s. Is 28 a factor of s?
False
Suppose 58 - 61 = -m. Let i = -31 + m. Does 19 divide (-6)/(-21) - (-1 - (-3128)/i)?
False
Let h(v) = 247*v + 1069. Is 8 a factor of h(13)?
True
Let o(c) = 2*c - 88. Let a(d) = -d. Let k(z) = -z**2 + 2*z + 2. Let w be k(-1). Let r(i) = w*o(i) - 4*a(i). Is 22 a factor of r(0)?
True
Let q be 8/((-2)/(-1)) + -3 - -6. Suppose -q*p - 833 = -14*p. Does 6 divide p?
False
Suppose 39*w = 40*w - 1025. Suppose 5*i = -5*b + 2265, -2*b + 5*i = 154 - w. Does 16 divide b?
True
Let b be 252 - ((-203)/(-63) + 2/(-9)). Suppose 2*h - b = -h. Suppose -w = c - h, -2*w + c + c + 158 = 0. Does 10 divide w?
False
Let q = -23 + 49. Suppose 0 = 5*c + q - 11. Does 28 divide 10*((-1)/c - 67/(-6))?
False
Let f(h) = h**3 + 17*h**2 + 8*h - 19. Let g be f(-15). Let w = g + -239. Does 12 divide w?
True
Let p be 10 - (-8 - (-3 + -9)). Suppose 3*x + p*f = 5*f + 720, 4*x = -f + 960. Is x a multiple of 10?
True
Let r = -4455 - -4526. Is 19 a factor of r?
False
Suppose 5*w - 1079 - 2526 = 0. Suppose 7*n = w + 1001. Suppose -a - 3*h + n = 3*a, 5*h - 310 = -5*a. Is 20 a factor of a?
True
Let h = 22641 - 13635. Is h a multiple of 19?
True
Let a = -1208 - -2089. Suppose -5*z + 0*f + a = 2*f, 2*f - 706 = -4*z. Is 15 a factor of z?
False
Suppose 153*w - 105*w - 15408 = 0. Is w a multiple of 7?
False
Let l = -216 - -221. Suppose -k + 70 = -l*v + 7, k - 59 = 3*v. Does 2 divide k?
False
Let n = 0 - 0. Suppose n*t + 15 = t. Is (-2 - -1)/((-5)/t)*79 a multiple of 34?
False
Suppose 0 = 3*j - t + 1455, 15*t - 14*t = -3*j - 1461. Is j*(-5)/35 - 12/(-21) a multiple of 14?
True
Suppose -19*r + 26157 + 102028 = 25281. Does 19 divide r?
False
Let a = 173 + -152. Suppose 0 = -a*c + 26*c - 165. Is 3 a factor of c?
True
Let p = -265 - -256. Let a(z) = 4*z**2 - 8*z + 20. Is 16 a factor of a(p)?
True
Let k(o) = 3*o**2 + 12*o - 101. Suppose 2*m + 113 - 85 = 0. Does 29 divide k(m)?
True
Let c(y) = 20*y**2. Let a be c(1). Suppose -a*k + 140 = -15*k. Let q = 75 - k. Is q a multiple of 8?
False
Suppose -2*s - 3*s - 4*p = -535, -3*s + p = -338. Let o = 73 - s. Let f = o - -45. Is 5 a factor of f?
False
Suppose h - 12 = -2*h - v, -v = -3. Let o(d) = 237*d - 6. Let j be o(h). Suppose 11*n = 494 + j. Is 14 a factor of n?
False
Does 21 divide (-350392)/(-91) - (-24)/(-52)?
False
Let d = -606 - -1050. Let h = 696 - d. Is h a multiple of 36?
True
Let o = 58 - 55. Suppose 5*a - 322 = -5*c + 63, 4*a - o*c = 308. Is 20 a factor of a?
False
Suppose d + 3*c = 0, -13*d + 17*d = 2*c. Suppose d = 5*g - 20, -14*u + 1636 = -11*u + 4*g. Is 16 a factor of u?
False
Suppos