10?
False
Let s(l) be the second derivative of 21*l + 0 - l**2 + 1/2*l**4 + 2/3*l**3 + 1/20*l**5. Is s(-4) a multiple of 2?
True
Let r = 51 + -10. Suppose -r*g + 28*g + 1482 = 0. Is 17 a factor of g?
False
Suppose 2*p + 21759 = 5*w, 4*w - 145*p + 146*p - 17402 = 0. Is w a multiple of 41?
False
Let d(o) = 2*o**2 + 3*o + 1. Let l be d(-18). Let j = l - 224. Suppose -t + 161 = q, j + 430 = 5*t + 3*q. Does 21 divide t?
False
Suppose -3*o + 201 = 3*y, 5*o - 4*y = 238 + 61. Suppose 0 = -4*h + h - 3*r - o, -4*h + 5*r = 39. Is 12 a factor of h/(-6)*246/8?
False
Let q(t) = -80*t + 98. Suppose -10 = 4*o - 2*w + w, 0 = 3*o + 3*w. Is 6 a factor of q(o)?
True
Suppose 5*y = 25 - 10. Suppose -3*f + 3*i + 24 = 0, -3*f - 2*i - 8 = y*i. Suppose -f*w = -2*w - 308. Does 35 divide w?
False
Is 161061/15 - ((-504)/(-40))/(-21) a multiple of 118?
True
Let m = -5010 - -5994. Is 4 a factor of m?
True
Let o(u) = -1665*u - 3040. Let q(d) = -52*d - 95. Let y(t) = -6*o(t) + 195*q(t). Is 14 a factor of y(-14)?
False
Let c = 91 - 94. Let n be ((-2)/c)/(-3 - 80/(-24)). Suppose 0 = -0*k - n*k + 216. Does 18 divide k?
True
Let w(i) = 332*i**2. Let o be -3 - 4*1*12/(-12). Let y be w(o). Suppose 5*x + 52 = y. Does 8 divide x?
True
Let y be 4 - (-3)/(-6)*4. Suppose m = 3*n + 31, 2*n + y*m = -3*m - 49. Is n/(-8) + (-9)/6 + 57 a multiple of 19?
True
Suppose -w - 2*h + 26 = w, 4*h = 2*w + 4. Suppose -4*z + w*z - 332 = 0. Let u = z + -13. Is u a multiple of 14?
True
Let v be ((-18)/(-54))/((-2)/18). Let l(g) = -g - 1. Let x(t) = -138*t + 10. Let n(o) = v*l(o) - x(o). Is n(1) a multiple of 10?
False
Suppose -4*o - 910 = -14*o. Let i = o + -79. Is i a multiple of 4?
True
Let f = -7175 - -12708. Is f a multiple of 40?
False
Let d = -349 + 356. Suppose d*v - 322 - 1008 = 0. Is 19 a factor of v?
True
Suppose -4*z + 14 = -k, 0 = -7*k + 3*k - 8. Let g(q) = -19 + 2 - 2*q**2 - 2 + z*q**2 - q. Is g(9) a multiple of 9?
False
Suppose -99*b + 72*b + 374490 = 0. Is b a multiple of 10?
True
Does 21 divide 10/(-65) + (-18)/351*(-927132)/8?
True
Suppose 8 + 7 = 5*g, 2*g - 7 = i. Let z = i + -1. Let k(a) = 18*a**2 + 2*a - 2. Does 20 divide k(z)?
False
Suppose 43*d = 81*d - 43*d + 37600. Does 40 divide d?
True
Suppose 4*l - 5*n = 1425, 983 = 3*l - 4*n - 85. Let d = -155 + l. Is 2 a factor of d?
False
Suppose -3*v + 1 = -j, 15*j - 17*j - 3*v + 7 = 0. Does 2 divide j?
True
Suppose -1272 = -5*o - 2*p, o - p - 772 = -2*o. Suppose -m + o = 4*y, -2*m = -4*m + 5*y + 577. Suppose -2*r = 10, 0 = 3*l - 2*r + 77 - m. Is 18 a factor of l?
False
Let o(t) = -4*t**3 + 6. Suppose 0 = -63*v + 67*v + 8. Is 19 a factor of o(v)?
True
Let s = -39 - -37. Does 13 divide (-8430)/(-36) + s*2/24?
True
Does 8 divide -15 + 10 + -4 + 0 - -15990?
False
Let o(f) = -1092*f - 3117. Does 8 divide o(-18)?
False
Suppose -16*m + 21 = -9*m. Suppose w = -5*q + 573, m*q = -4*w - w + 2931. Does 42 divide w?
True
Let p = -18886 - -31236. Does 19 divide p?
True
Let o(g) = g**2 - 15*g + 4. Let b be o(0). Suppose -b*k - 4*l + 632 = 0, 7*k = 4*k + 5*l + 442. Is k a multiple of 11?
True
Let b be 14/((-10)/2 - 317/(-63)). Is (-2)/(-21) - (-15834)/b a multiple of 4?
True
Suppose 2*y - 3*q - 11 = 10, -12 = 4*q. Suppose 328 = 8*c - y*c + 3*m, -5*c = -3*m - 799. Is 23 a factor of c?
True
Let x = 2047 - 2100. Suppose -4*u - 17 = m, 3*u = -5 + 17. Let o = m - x. Does 2 divide o?
True
Suppose -2*z = 5*p - 6731 - 31565, 0 = z + 2*p - 19149. Is 179 a factor of z?
True
Let l = -11286 + 12235. Does 8 divide l?
False
Let a = 2576 - 2639. Let b(o) = 6*o**3 + o**2 - 1. Let h be b(1). Does 8 divide a/h*(-160)/30?
True
Let b = -162 - -225. Let y = b - 58. Is y a multiple of 4?
False
Let k = -36 - -48. Suppose k + 23 = -5*g. Is 8 a factor of (-4)/14 + (-58)/g?
True
Suppose -403911 = 140*f - 1825191. Is f a multiple of 12?
True
Is ((-9518)/(-14) - (-84)/(-98)) + 0 a multiple of 83?
False
Suppose -q + 25 = -23. Suppose 4*x + 3 - 15 = 0. Suppose 4*n - q = -5*r, 4*n - x*r + 2*r = 72. Is n even?
False
Let a(t) = 381*t - 890. Does 29 divide a(5)?
True
Is 32 a factor of ((-120)/540)/(3/36)*-9180?
True
Let j = -530 + 2444. Suppose 11*i = 8*i + j. Suppose 1042 = 6*s - i. Is s a multiple of 18?
False
Let k(j) = j**3 - 26*j**2 - 110*j + 1. Does 26 divide k(35)?
True
Suppose 7*h - 511 - 1309 = 0. Let z = -146 + h. Is z a multiple of 11?
False
Suppose w + 3976 = u, -2*w + 19894 = -29*u + 34*u. Does 33 divide u?
False
Suppose 2 = -2*h, 3*h + 2*h - 850 = -5*s. Let i = -99 + s. Is 24 a factor of i?
True
Is 22 a factor of ((-198)/4)/((-161)/36064)?
True
Let i(j) = -30*j**2 - 3*j + 1. Let h(y) = 60*y**2 + 7*y - 2. Let l(t) = -4*h(t) - 9*i(t). Is l(-1) a multiple of 6?
True
Suppose 4*u - 10 - 5 = -v, 4*v - 9 = u. Suppose -u*f - 3*f = -894. Is f a multiple of 13?
False
Let t(v) = -v**3 + 33*v**2 + 15*v + 222. Is 13 a factor of t(22)?
True
Let t(v) be the second derivative of -23*v**4/24 + 13*v**2/2 + 8*v. Let c(l) be the first derivative of t(l). Is c(-3) a multiple of 23?
True
Is 46 a factor of ((-4692)/(-170))/(6/640)?
True
Let a be ((-4)/(-36))/1 + (-152770)/(-45). Suppose -18*i + a = -2653. Does 24 divide i?
True
Let s(t) = 18*t**3 + 3*t**2 + 65*t + 151. Does 28 divide s(9)?
False
Let c(j) be the first derivative of j**4/4 - 20*j**3/3 - 3*j**2/2 + 45*j + 20. Let r be c(20). Is 21 a factor of 42/(-9)*r - (-1 - 1)?
False
Let b(k) = k**3 - 102*k**2 + 261*k + 755. Does 15 divide b(100)?
True
Let j(g) = 8*g**2 - 18*g - 390. Is 11 a factor of j(-36)?
True
Suppose 7*w - 6*w - 5388 = 3*n, 0 = -2*w + n + 10756. Is w a multiple of 112?
True
Let o(z) = -5*z**3 - 72*z - 304. Does 11 divide o(-16)?
False
Let x(z) = -15*z - 120. Let l be x(-8). Suppose 5*j - 5 = l, 0 = -11*u + 7*u + 4*j + 132. Is 7 a factor of u?
False
Is (-4 - 20/(-8))*(-605 - 5) a multiple of 57?
False
Let y = 16 + -41. Let i = y + 24. Is 7 a factor of (-4 + (-3 - 4))*i/1?
False
Let a(v) be the second derivative of -5/2*v**2 - 17/6*v**3 + 0 - 35*v. Does 20 divide a(-5)?
True
Let t(a) = -3*a - 35. Let w be t(-13). Suppose -4*p = -5*f + p + 455, 0 = -p - w. Does 29 divide f?
True
Let r(y) = 28*y - 5. Let l(t) = -54*t + 10. Let x(z) = 2*l(z) + 5*r(z). Is x(8) a multiple of 13?
False
Let a be (5 - 30/12)*16/(-10). Does 39 divide (-1)/(a/936*2)?
True
Is 14 a factor of ((-499)/3)/(30 - 8373/279)?
False
Let m be (1/2)/(10/1080). Suppose -8*d = 4*p - 9*d - 758, -3*p + 580 = 5*d. Let q = p - m. Is q a multiple of 12?
False
Let j(m) = 535*m + 608. Does 11 divide j(10)?
False
Let i = -148 + 197. Let q = i + 11. Does 8 divide q?
False
Let n = -15666 - -20606. Is 12 a factor of n?
False
Is (-36)/((-4)/16*2*(-6)/(-334)) a multiple of 8?
True
Let u = 735 - 745. Is 12 a factor of 715/u*1*(3 - 7)?
False
Let y(k) = -2440*k - 1320. Does 197 divide y(-7)?
True
Let q(y) = 147*y**2 - 7*y - 137. Does 98 divide q(7)?
False
Suppose 9*j = 4*j + n + 87044, -j - 2*n = -17422. Is 57 a factor of j?
False
Suppose -363*r = 84*r - 800577. Is 2 a factor of r?
False
Let r be ((-56)/(-12))/(6/(-153)). Let l = 184 + r. Does 13 divide l?
True
Suppose i + 1 = j + 6, 0 = 5*i - 2*j - 25. Suppose -30 + i = 5*x, 4*s - 276 = 4*x. Is 12 a factor of s?
False
Suppose 0 = 343*f - 332*f - 374. Suppose -31*c - 225 = -f*c. Is 5 a factor of c?
True
Let m(c) = -34*c - 23. Let u be m(-6). Suppose -478*a + 481*a - 537 = 0. Suppose -5*g = -a - u. Is 24 a factor of g?
True
Suppose -224 + 604 = -4*x. Let w(o) = 202*o**2 - 5*o - 4. Let z be w(-1). Let t = z + x. Does 7 divide t?
False
Let u = 10174 - 5179. Is u a multiple of 15?
True
Suppose 168 = 97*b - 100*b. Let d = 270 + b. Is d a multiple of 10?
False
Let f(i) = 3*i**2 + 70*i + 31. Let c be f(-30). Let d = c + -50. Is d a multiple of 30?
False
Let p = -1035 - -1595. Let h = p + -364. Is h a multiple of 5?
False
Suppose 0 = -53*y + 26*y. Suppose 3*i - 5*i + c = -1582, -4*i - 2*c + 3172 = y. Is 36 a factor of i?
True
Suppose 2*v + 3*f - 1795 + 431 = 0, v + f - 680 = 0. Is 9 a factor of v?
False
Suppose -34 - 47 = -9*o. Suppose -o*l + 2138 = -994. Does 29 divide l?
True
Let c be -3 + (1 - -14) - 3. Let x(z) = -2*z**2 + 23*z - 10. Is x(c) a multiple of 4?
False
Suppose -4*x - 32039 - 13497 = -2*m, -4*x + 68214 = 3*m. Is m a multiple of 56?
False
Suppose -3*r + 0*n = 2*n + 3323, 5*r + 3*n = -5539. Does 41 divide 9/6 + r/(-2)?
Fals