e 2*s = s - 113. Let v be ((-3381)/805)/((-3)/(-35)). Let d = v - s. Is 16 a factor of d?
True
Let f(k) = -k**3 - 16*k**2 - 17*k - 27. Let b be f(-15). Does 12 divide 36/((9/(-6))/b*-1)?
True
Suppose 0 = -3*p + 3*k + 252, -p - 2*k = -0*p - 81. Suppose 3*i - 821 = -p. Let b = i - 134. Does 16 divide b?
True
Let z(d) be the third derivative of -d**6/40 + d**5/20 + d**4/6 - 5*d**3/6 - 11*d**2. Let l be z(-5). Suppose i = -4*i + l. Is 10 a factor of i?
False
Let b(x) = -4*x + 36. Let y be b(7). Let u(o) = 165*o + 341. Is 10 a factor of u(y)?
False
Let t(q) = 8 + 58*q + 64*q**2 + 6*q + 29 - 67*q**2. Is t(21) a multiple of 29?
True
Suppose 23 = b + 4*y, -4*b - 5*y + 79 - 20 = 0. Let k be (4/56)/(11/2002). Suppose b*p + 256 = k*p. Does 8 divide p?
True
Let s(k) be the third derivative of 7*k**4/24 + 2*k**3/3 + 2*k**2 + 15*k. Suppose 0 = -4*v - 5*f + 37, 4*v - 4*f = -0*f - 8. Is 25 a factor of s(v)?
True
Suppose 46*g - 37957 + 4837 = 0. Is g a multiple of 40?
True
Let j = -209 + 213. Suppose -4*q - 492 = -j*m, -6*m + 605 = -m - 3*q. Is m a multiple of 21?
False
Does 75 divide (-15)/(((-5)/(-105))/(140/(-12)))?
True
Let s = -32 - -34. Suppose -r = -s*r + 287. Let o = -151 + r. Does 17 divide o?
True
Suppose 2*a + 10 + 30 = 0. Let z be 8/a + 603/(-5). Let l = z - -186. Does 13 divide l?
True
Let p = -178 - -180. Suppose -2*b = p*l - 3*b - 88, -5*l - 2*b = -202. Is l a multiple of 7?
True
Let b(m) = -89*m - 1958. Is b(-68) a multiple of 23?
True
Let q be 0 - (-2 + -2)/(-3 + 1). Does 63 divide q/10 + 6972/10 + 1?
False
Let p(q) = -13*q - 39. Suppose -4*c - 3 = -2*d - 13, -5*c + 18 = 3*d. Let v = d - 9. Does 26 divide p(v)?
False
Let n be 4 + (9 - 842) + 8. Let i = 1765 + n. Does 15 divide i?
False
Let k = 328 + -577. Let y = -133 - k. Does 5 divide y?
False
Let s = 108056 + -57687. Is s a multiple of 240?
False
Is 24 a factor of (-996025)/(-345) - (-2)/(-69)?
False
Suppose -2*h = -4*g - 182 - 102, g = h - 72. Let c be 42/g + 126/(-15). Is 39 a factor of c*19*(-5)/15?
False
Let p(q) = -14 - 21 + 17*q - 8*q + 31. Let f be p(-1). Is 7 a factor of (-15 + f)/((-2)/4)?
True
Let k(x) = 22*x + 91. Let b be k(19). Let a = b - 197. Does 8 divide a?
True
Suppose -70 + 662 = 3*k - d, -2*d + 796 = 4*k. Let g(c) = c**2 + c - 298. Let f be g(15). Let i = k + f. Is 14 a factor of i?
True
Let p = 179 + -83. Let j = 192 - p. Is 12 a factor of j?
True
Let q(n) = 134*n**3 - n**2 - 18*n + 4. Is 22 a factor of q(4)?
True
Suppose c = 4*q - 4797 - 12385, -5*c = 4*q - 17194. Suppose 29*h = 21*h + q. Is h a multiple of 69?
False
Let v be 3/6*(7 - 1). Let j be -2*(-1)/(-2) - v/(-3). Suppose 0*n + 6*n - 288 = j. Does 12 divide n?
True
Let r = 54 - 51. Suppose m - 17 - 6 = -2*s, -4*s = r*m - 45. Suppose -7*k = -s - 44. Is 4 a factor of k?
True
Let i(j) = j - 10. Let l be i(7). Let k be (-2)/l + 8/24. Let q = 16 + k. Does 11 divide q?
False
Let p be 1/3 + (3 - (-17)/3). Suppose 514 = p*q - 1007. Is q a multiple of 17?
False
Let r = 8526 - 4593. Let g be r/15 + 1/(-5). Suppose 4*n = 3*q + g, n + n + 3*q - 122 = 0. Is 30 a factor of n?
False
Does 14 divide (42/5 - 0)/(-11 + (-96322)/(-8755))?
True
Let g = -6890 - -7820. Is g a multiple of 10?
True
Let z = -27 - -29. Suppose 330 = w + z*w. Let d = 223 - w. Is 15 a factor of d?
False
Let v = 25 + -29. Let k be (14/21)/(v/18). Is 37 a factor of (-4)/6 - 446/k?
True
Suppose -4*g - 16*g - 11*g = -233988. Is 74 a factor of g?
True
Let j = 2585 - 1688. Is 8 a factor of j?
False
Suppose -46 = -2*i - 36, -14033 = -c - 3*i. Does 6 divide c?
False
Let u(g) = g**3 + 47*g**2 - 42*g + 230. Is 31 a factor of u(-47)?
False
Let o(h) = 747*h - 3121. Is 126 a factor of o(26)?
False
Let y(p) = 6*p**2 - 17*p + 93. Let u = 101 + -90. Does 46 divide y(u)?
False
Let d(w) = -10*w - 6. Let q be d(11). Let y = q + 204. Suppose -5*g + 3*g = -y. Is 13 a factor of g?
False
Suppose 8*m = -2*m - 20. Is 20 a factor of 39/13 - (m - 1235)?
True
Let a be 4/(-5) + (-7 - (-295)/25). Let x be 1*(-4 - -8 - -13 - a). Let v(c) = -c**3 + 14*c**2 - 11*c + 13. Is 5 a factor of v(x)?
False
Suppose 0 = x + s - 4313, 25*s - 23*s = x - 4325. Suppose 30*b - 9333 = x. Is b a multiple of 13?
True
Suppose 79615 + 356492 = 72*v - 15*v. Is 38 a factor of v?
False
Suppose -3*s = 12, -3*s = 4*k - 2305 + 141. Is 16 a factor of k?
True
Suppose 2385 + 567 = 6*x. Suppose -2*r - v + 451 = 0, v - x + 1181 = 3*r. Is r a multiple of 12?
True
Let w = -300 - -305. Suppose -2*d = -w*b + 2985, -4*b - 3*d + 2388 = 2*d. Does 69 divide b?
False
Let c(l) = 4*l**2 - 23*l - 4. Let n be c(7). Let v = -4 + n. Does 21 divide (-2)/(2/(-1))*v?
False
Let j(c) = 9*c**2 + 1. Let n be (26/(-5))/((-12)/(-150)*-5). Suppose 0 = -7*s - 6*s - n. Is j(s) a multiple of 2?
True
Let o(x) = x**3 + 30*x**2 - 180*x + 163. Does 2 divide o(-34)?
False
Does 37 divide ((-1)/(16/(-28068)))/((255/(-40))/(-17))?
False
Suppose -23*w - 3*d + 33045 = -22*w, -4*w + 132191 = d. Is 216 a factor of w?
True
Suppose 35534 - 634314 = -47*z. Does 65 divide z?
True
Let w = -3677 + 4333. Is w a multiple of 5?
False
Let b(t) be the third derivative of t**6/90 - 11*t**5/40 + t**4/24 + 2*t**3 + 39*t**2. Let j(i) be the first derivative of b(i). Is 6 a factor of j(11)?
False
Suppose 10*m + 1 = 11*m - 5*i, 2*m + 3*i - 2 = 0. Let f(b) = 63*b**3 + b**2 + 3*b - 3. Does 16 divide f(m)?
True
Let b(u) = -2*u - 27. Let m be b(-14). Suppose d - 63 = m. Suppose -146 = -c + d. Is 14 a factor of c?
True
Let j = -8 - -11. Suppose 5*z = j*n + 84, 11 - 56 = n + 4*z. Let y = n + 112. Is 5 a factor of y?
False
Let z(k) = -5 - 32 - 4 - 13 - 74*k. Is 11 a factor of z(-13)?
False
Let m(w) = w**3 + 14*w**2 - 20*w - 17. Let h be m(-15). Suppose 10*s - h = 8*s. Suppose 64 = s*q - 25*q. Is 4 a factor of q?
True
Let n(f) be the third derivative of 5*f**4/6 - 23*f**3 - 59*f**2 - f. Does 92 divide n(15)?
False
Suppose 4*l + 3*i = 3992, -5*l - 5*i - 1434 = -6424. Does 12 divide l?
False
Suppose 5*i = 36 + 79. Suppose -82 - i = -7*q. Suppose 2*n - 5*t - 9 = q, 2 = -t. Does 2 divide n?
False
Let u(j) = -355*j + 2718. Is u(-17) a multiple of 3?
False
Let k be ((-8)/20)/((-11)/220). Is 12 a factor of 8/(k/421) + 3?
False
Let d be 24325/140 - (7/4 - 2). Let b = d - -194. Is b a multiple of 23?
True
Let v(r) = -r**2 - 5*r + 26. Let z be v(3). Suppose -4*a + 26 = -5*m - 879, z*m = a - 224. Is 16 a factor of a?
False
Suppose 3332 - 696861 = -41*s + 199369. Is 32 a factor of s?
False
Suppose 4*y + 16*s = 17*s + 14124, -2*s + 8 = 0. Is y a multiple of 17?
False
Let z(v) = -3*v**3 + 3*v**2 + 2*v + 4. Let i be z(3). Let p = i - -49. Let r(x) = 40*x + 51. Is r(p) a multiple of 44?
False
Let h be ((-5)/2)/(4/168). Let f = 117 + h. Suppose 5*j - f = -m + 25, 0 = 5*m + j - 65. Does 11 divide m?
False
Suppose 40*d - 52*d + 828 = 0. Let h = -55 + d. Is h a multiple of 3?
False
Let w(m) = 50*m**2 + 31*m + 119. Is 196 a factor of w(-7)?
True
Suppose 458*j - 460*j - 4*a + 3942 = 0, 3944 = 2*j + 5*a. Is j a multiple of 4?
False
Let w(h) be the second derivative of h**5/20 + h**4 + 21*h**2/2 - 2*h + 133. Does 19 divide w(-10)?
False
Let b(d) = 901*d - 73. Is 221 a factor of b(29)?
False
Let t(o) be the third derivative of -o**4/24 + 43*o**3/6 - 2*o**2. Let u(i) = 9*i + 170. Let m be u(-21). Does 21 divide t(m)?
False
Does 88 divide (-23)/138 - (99815/6)/(-5)?
False
Suppose 508*k - 2460204 = 397*k. Does 24 divide k?
False
Suppose 11 = 6*z - 1. Suppose z*v - 6 = -v. Suppose 3*x - 2*y - 37 = 0, -v*x - 4*y - 2 = -0. Does 4 divide x?
False
Let f be (-7)/(-3) - (24/18 - 2). Let r be f/(-2)*40/(-15). Does 14 divide 3 + (r - 7) - -188?
False
Let b(s) = -11*s. Let v be b(-8). Is v/12*(10 - -4 - 2) a multiple of 22?
True
Let d = -161 + 302. Let h = 143 - d. Suppose 405 = 5*t - 3*l - 0*l, h*l = -2*t + 162. Does 10 divide t?
False
Is (-3)/15 - (2/3)/(35/(-6258)) a multiple of 20?
False
Let p(g) be the third derivative of -5*g**4/24 - 7*g**3/3 - 13*g**2. Let z(q) = q - 1. Let f(s) = p(s) - 6*z(s). Is 6 a factor of f(-4)?
True
Suppose -5*n - 154 = -5*i + 51, -3*n = 5*i - 229. Let w = i - 40. Is 24*w + 16/(-4) a multiple of 7?
False
Suppose -5*l + 24 = r, 2*r = 5*l - 2*l - 4. Suppose -l*i + 5*i = -3*f + 91, 2*f = -2*i + 58. Let p = 35 + f. Is p a multiple of 11?
True
Suppose -5*l = -3*d + 26, -7*l - 2*d + 20 = -11