 4*l + 4 = 3*k - 8, -v*k + 33 = 3*l. Does 2 divide k?
True
Let n(v) = -4*v - 22. Let f be n(-6). Suppose 3*m - f*m = -4*r + 230, r = 4*m + 49. Is (r/6)/(3/36) a multiple of 30?
False
Let s(z) be the third derivative of 19*z**7/2520 - z**6/360 + 13*z**5/60 + 27*z**2. Let j(w) be the third derivative of s(w). Is 6 a factor of j(1)?
True
Let k = 3709 - 757. Does 24 divide k?
True
Suppose f = t + 3549, -3*f + 2*t + 972 = -9671. Suppose -11*p = -16*p + f. Suppose -3*w = -l - 4*l - 414, 0 = 5*w - 2*l - p. Is w a multiple of 13?
True
Let c(d) = 3*d**3 + 4*d**2 - 49*d + 13. Is c(8) a multiple of 27?
False
Let w(y) = -y**2 - 8*y - 7. Let j be w(-6). Let v be (46/23 + -3)/(1/(-4)). Suppose -4*i - m = -130, -j*i - 25 + 193 = v*m. Is i a multiple of 4?
True
Let m(s) = 4*s - 16. Let w be m(4). Suppose w = -33*g + 30*g - 81. Let c = 147 + g. Is 16 a factor of c?
False
Let n(b) = -b**3 + b + 1. Let k(a) = 160*a**3 + a**2 - a - 1. Let i(o) = -k(o) - 5*n(o). Is 22 a factor of i(-1)?
True
Let a be (5/(-2) + 2)*10. Let j = a + -182. Let c = j - -367. Is 18 a factor of c?
True
Let o(d) = -5*d**3 + 12*d**2 + 78*d + 32. Does 76 divide o(-8)?
True
Suppose -2*v = 0, -2*j - 5*v + 24 = -0*v. Is 6 a factor of ((-2 - -4) + 1)*j?
True
Let x(g) = -83*g - 98. Does 13 divide x(-79)?
False
Let q(k) = -k**2 + 12*k - 1. Let p be q(12). Let j(v) = -117*v - 4. Let m be j(p). Let z = m + -69. Is 22 a factor of z?
True
Suppose -3*n - 6*n = -63. Suppose 4*g = 4*p + 1368, 4*g - 1373 = -8*p + n*p. Does 4 divide g?
False
Let o(h) = -665*h - 307. Does 32 divide o(-3)?
False
Suppose 4*i + 0*i = 0. Suppose w + 3 = i, -s = 4*w - 3*w. Suppose -90 = l - s*l + 5*o, -2*l = 5*o - 50. Does 4 divide l?
False
Suppose -10*q - 195 = -2115. Is q a multiple of 5?
False
Let n = 158 - 157. Let z = 101 - n. Is z a multiple of 2?
True
Let x = -28 - 3. Let o = -14 - x. Suppose o = s - 31. Is s a multiple of 10?
False
Let i(l) be the first derivative of l**2/2 + 22*l + 20. Let c be i(-7). Suppose m + 924 = c*m. Does 49 divide m?
False
Suppose d + 5208 = 5*j, 1680*d + 5229 = 5*j + 1682*d. Is 99 a factor of j?
False
Let d be -8*(-36)/(-216)*(-234)/4. Suppose -2*t = 3*t + 25. Is 13 a factor of d*6/(-45)*t?
True
Let k(w) = w + 6. Let z be k(-4). Let b be ((-1740)/14)/6 + z/(-7). Is ((-450)/21)/(3/b) a multiple of 25?
True
Suppose 22*i - 21*i - 154 = 0. Suppose 87 = 2*x - g, -x + 2*g - i = -5*x. Suppose x*l = 45*l - 156. Does 13 divide l?
True
Suppose m - 2*o + 116 = 0, 0 = 5*o - 3*o - 10. Let a = 238 + m. Suppose -3*r - 6*v + 2*v + a = 0, 0 = -5*v + 15. Does 5 divide r?
True
Suppose 1644*f - 1649*f - 2*c = -27626, -5*f + 27634 = -2*c. Is 27 a factor of f?
False
Suppose d = -0 + 3. Let t(j) = j**2 - 4*j + 5. Let c be t(d). Suppose 2*z + 6 = 4*f - 0*f, 2*f + c*z - 6 = 0. Is 2 a factor of f?
True
Let y(k) = k**3 - 2*k + 1. Let m be y(2). Suppose -3*l + 0 = 12, -m*l = -5*b + 20. Does 11 divide (1 - b) + 1458/27?
True
Let l(p) = -25*p - 113. Let b be l(24). Let y = 107 - b. Is y a multiple of 10?
True
Let g = -11200 - -17898. Is g a multiple of 197?
True
Does 6 divide ((-802)/12)/((-25)/1200)?
False
Suppose -p + 46 = -n - 279, 3*p - 5*n - 977 = 0. Suppose -107 - 117 = -s. Let w = p - s. Is w a multiple of 6?
False
Let a(v) = 89*v**2 + 16*v - 40. Let w be a(3). Suppose 3*g - 1975 = w. Does 8 divide g?
True
Let k be 1*(4 - (-6)/(-2)). Let r be 593 - (0 - k)*3. Suppose 4*c - r = -3*q, 5*q = c + 4*c - 780. Does 37 divide c?
False
Suppose -4*x = 4*j - 7140, -5*j + 4925*x + 8921 = 4926*x. Is j a multiple of 8?
True
Let t = -194 + 209. Does 64 divide ((-288)/(t/5))/(3/(-2))?
True
Let s(o) = 21*o**2 - 7*o + 7. Let v(t) = -t**3 - 12*t**2 + 3*t + 39. Let x be v(-12). Is 25 a factor of s(x)?
True
Let d be 190/2 - (-4)/(-12)*-9. Suppose -3*j + d = 4*j. Does 13 divide j?
False
Suppose 5*s + 4*i - 25 = 0, 4*s + s = -5*i + 25. Let u(d) = 5*d + d**3 - 231 - 260 - 5*d**2 + 483. Does 5 divide u(s)?
False
Does 25 divide (-22)/((-22)/(-3)) + 3053?
True
Suppose -b - 18 = 5. Let l = -66 - b. Let j = 46 + l. Does 3 divide j?
True
Let z(r) = -344*r**3 + 9*r**2 + 14*r - 6. Let q be z(-2). Suppose 0 = 19*g - 36*g + q. Is 18 a factor of g?
True
Let g be -84*((-287)/(-84) - 1/(-3)). Does 12 divide 4*g/(-28)*(-13)/(-3)?
False
Let y(o) = 4*o**2 - 2*o + 1. Suppose -4 = -b - j, -4*j + 8*j - 14 = -3*b. Let l be y(b). Suppose 540 = l*z - 4*z. Is 3 a factor of z?
True
Suppose -40 = -5*y + 9*y. Let s be (-206)/y - 20/(-50). Does 5 divide 18/8*112/s?
False
Is 39 a factor of 30/4*37268/385?
False
Suppose 2*k - 4*f - 6154 = 0, -k - 2084*f + 3049 = -2079*f. Does 5 divide k?
False
Let c(h) be the second derivative of 14*h**3/3 - 143*h**2/2 - 104*h - 2. Does 43 divide c(22)?
True
Suppose 236108 + 223912 = 102*b. Does 38 divide b?
False
Let o(d) = -3*d**3 - 161*d**2 - 127*d + 92. Is o(-53) a multiple of 7?
False
Suppose -79 = 8*u - 39. Is -36*(u + 1 + (-13)/(-4)) a multiple of 4?
False
Let a = 107115 - 66555. Is 40 a factor of a?
True
Let n = -10894 + 12800. Is n a multiple of 6?
False
Suppose -2*a - 623 = 5*a. Let p = a + 89. Suppose 4*u - 268 = -3*b - b, -2*u - b + 133 = p. Is u a multiple of 12?
False
Let a(v) = -121*v + 1958. Is 3 a factor of a(4)?
False
Suppose y + 10101 = 4*y + 3*i, 0 = -2*i + i. Is 11 a factor of y?
False
Let t(a) = 20*a**2 - 203*a + 274. Is 29 a factor of t(12)?
False
Let b = 2196 + -1310. Suppose b = 5*k - 4*t, 2*k - 17*t - 360 = -14*t. Is k a multiple of 6?
True
Let d = -20281 + 34147. Is 21 a factor of d?
False
Suppose 86*y + 85879 = 329947. Is y a multiple of 33?
True
Let b(w) be the third derivative of 0 + 0*w - w**3 - 23/12*w**4 + 38*w**2. Is b(-1) a multiple of 4?
True
Suppose 28 = -b + 25, -3*q + 8424 = 3*b. Is q a multiple of 26?
False
Let r be 2/(-1) - (-34 + -4). Suppose r*y - 5398 - 7562 = 0. Is y a multiple of 90?
True
Let d(c) = c**2 + 12*c + 4. Let f be d(-12). Suppose -2*u + 6 = -u - b, -b - f = 0. Suppose -10 = -u*l + 30. Is 3 a factor of l?
False
Let p = 14 + 2822. Is p a multiple of 72?
False
Let t(a) = 15706*a**2 + 185*a - 183. Is 238 a factor of t(1)?
True
Suppose 0 = q + 5*c + 11, 0 = -4*q - 0*q - 3*c + 41. Let w(r) = r**2 - 13*r + 16. Let l be w(11). Is 17 a factor of 241 + 7/(q/l)?
True
Suppose -6*j = j - 4074. Suppose j = -4*x + 10*x. Is 19 a factor of x?
False
Is (-1 + -43)/(1444/(-21299)) a multiple of 59?
True
Let s be (-33220)/(-22) - (-3 + 9). Is (s/(-6))/(10/(-15)) a multiple of 4?
True
Let l(k) = -15156*k**2 - 10*k + 7. Let p be l(-3). Is 16 a factor of (p/(-42))/23 - (-1)/(-6)?
False
Let f(k) = -19*k**2 + 18*k + 26. Let n be f(-11). Let w = -4863 - n. Is 23 a factor of ((-40)/12 - -3) + w/(-12)?
False
Let a(h) = h**2 + 31*h + 30. Let j be a(-25). Let p = j + 208. Does 15 divide p?
False
Let v(m) = -m**2 - 5*m - 1. Suppose -12*u + 11*u + 3 = 0. Suppose 0 = -t - 2*x + u - 1, 5 = t + 3*x. Is 3 a factor of v(t)?
True
Let n(p) = p**3 - 27*p**2 + 31*p + 21. Let c be 15/9 - (-988)/39. Does 13 divide n(c)?
True
Suppose 6*j = 3*p + 8*j - 3354, 4500 = 4*p - 2*j. Is 3 a factor of p?
True
Suppose -2158 - 1018 = -3*w - 2*g, 2*g = -2*w + 2122. Is w a multiple of 176?
False
Let c be (4 + 16/(-3))/((-2)/102). Suppose k + k = c. Let l = k + 6. Does 6 divide l?
False
Let u be 3381/(-18) - 1 - 7/42. Let r = u + 243. Is r a multiple of 9?
True
Suppose 6033*j = 5961*j + 4042800. Is j a multiple of 23?
False
Let u(l) = 10*l - 25. Let a be u(3). Suppose -3*n + 150 = -a*j, 3*n + 7*j - 147 = 11*j. Is n a multiple of 12?
False
Suppose 4*s = 793*p - 788*p - 44703, p + 2*s - 8949 = 0. Does 271 divide p?
True
Suppose 12*l = 19*l - 14. Suppose 2*g = -4*k - 10, -4*g + 1 = l*k - k. Suppose 2*c = -3*u + 2*u + 5, -2*c = -5*u + g. Does 2 divide c?
True
Suppose -3*h + 98*h = 509105. Is h a multiple of 23?
True
Let y = 18 - 33. Let s be (0 + y/9)*-3. Suppose 2*d = s*p - 1185, 445 = 2*p + 5*d - 0*d. Does 47 divide p?
True
Suppose -4*k + 48 = 3*m + m, 3*m = -2*k + 21. Suppose -16*s = -11*s - 120. Suppose k = z - s. Does 14 divide z?
False
Suppose -40*h + 13*h - 12*h = -351. Let x = -52 - -82. Is 25 a factor of -3*(-10)/h*x?
True
Let c(a) = a**3 - 10*a**2 + 5*a + 14. Let x be c(7). Let t = x + 94. Is -1 + (396 - 4) + t a multiple of 19?
False
Suppose 33*x + 1310 - 9382 - 13708 = 0. Is x a multiple of 5?
True
Let h = 1766 + -545. Does 1