 -27. Suppose g*m - 4*y - 2265 = 0, 4*m - 5*y + 2*y = 1812. Is m a multiple of 29?
False
Let l(o) = 3*o**3 - 5*o + 33. Is 3 a factor of l(4)?
False
Let s(o) = -4*o - 17. Let x be s(-5). Suppose -2*a = -5*r + 32, -7*r + x*r + 5*a + 12 = 0. Suppose -r*d = -4*d + 20, -2*l + 2*d = -220. Is 14 a factor of l?
False
Suppose -3*o = 2*j - 17497, o = -5*j + 4362 + 1466. Does 19 divide o?
True
Suppose 17*l = 22*l + 1595. Let w = -52 - l. Is w a multiple of 77?
False
Let r(j) = -j**3 - j**2 + 9*j + 24. Let m(k) = k**3 - 10*k - 24. Let w(b) = 4*m(b) + 5*r(b). Suppose -34*c - 371 = 19*c. Does 24 divide w(c)?
False
Suppose 0*n + 5*o - 24220 = -5*n, 0 = -3*n + 3*o + 14508. Is 55 a factor of n?
True
Let r(o) = -2*o**3 + 2*o - 4. Suppose 0 = 2*l - 4*q + 36, 4*q = -2*l - 0*l - 12. Let d(w) = -w**2 - 10*w + 21. Let n be d(l). Does 11 divide r(n)?
True
Suppose g = -2*c + 86369, 5*c - 27*g + 26*g - 215912 = 0. Does 217 divide c?
True
Let p(o) = o**3 - 11*o**2 - 33*o - 310. Is 18 a factor of p(31)?
False
Let m(i) = -i**3 - 6*i**2 - 5*i + 60. Let o be m(5). Let s = -67 - o. Is s a multiple of 9?
False
Let t be (-5)/((-5)/(-6)) - (-84)/(-21). Does 8 divide 64/t*(-770)/28?
True
Let u be (-108)/702 + (0 - (-30)/26). Let x(t) = 218*t**3 - 5*t + 4. Is 7 a factor of x(u)?
True
Let o(v) = -13*v**3 - 2*v. Let b be o(-2). Suppose -112*t = -b*t - 1152. Is 16 a factor of t?
True
Let x = -59 + 75. Suppose 2*g - 3*b = -8*b - 2, x = 3*g - 2*b. Suppose -3*n - 287 = -5*u, 4*u - g*n - 270 + 42 = 0. Is 29 a factor of u?
True
Let v be (187/22 - 9)/((-1)/4). Suppose 0 = -5*b + 8 + 37. Suppose b = -3*m - 3, -v*o + 122 = m. Is o a multiple of 6?
False
Let z be ((-1 - -8) + -20)*-6. Does 21 divide (z/2)/((-15)/(-85))?
False
Let f = -64 + 96. Let c be (-12)/30 + f/5. Suppose c*v - 450 = -3*v. Is 2 a factor of v?
True
Let b(j) = j**3 + 16*j**2 + 18*j - 49. Let q be b(-13). Let y = q + 14. Is y a multiple of 17?
True
Let r(n) = -6*n + 7. Suppose -w - 12 = 3*i, -w = -0*i + 2*i + 9. Let x be r(w). Let o = x - -39. Is o a multiple of 18?
False
Let f = 1805 + 3244. Is 33 a factor of f?
True
Suppose -h + 4*h = 3*k - 27, 2*k - 15 = 3*h. Suppose k*i - 24*i + 792 = 0. Does 5 divide i?
False
Suppose -36*h + 54*h = 29*h - 35156. Does 4 divide h?
True
Let x = -9 + 9. Suppose 7*n + 5 + 65 = x. Is 36/n*(-10)/3 even?
True
Let q(p) = 3*p - 53. Let w be q(26). Suppose w*x - 24*x = 1060. Is x a multiple of 10?
True
Let j = 62 + -68. Is j/((-18)/129)*15 - -3 a multiple of 18?
True
Let d = -3767 - -4078. Is d even?
False
Suppose 1386 = -4*t - 2*y, 5*y - 877 = 5*t + 878. Suppose -c + 908 = -4*j, 5*c + 932 = 153*j - 157*j. Let v = j - t. Does 10 divide v?
True
Let p(x) = -7*x - 43. Let s be p(-8). Let c be 92/3*39/s. Suppose z = 4*q + 148, -z + 3*q + c = -56. Does 21 divide z?
False
Let q(c) = -51*c**2 - 5*c - 28. Let u(r) = r**3 - r**2 + 2*r - 1. Let l(w) = -q(w) + 2*u(w). Is 24 a factor of l(-24)?
False
Suppose -4*d + 36 = 5*x, 0 = -0*x + 5*x + 3*d - 37. Suppose 5*t - 11*f = -8*f + 816, 4*f = -x. Is 12 a factor of t?
False
Let h(q) = -740*q - 121. Let z be h(-16). Suppose -z + 807 = -8*r. Is r a multiple of 15?
False
Let h = 17808 - 7200. Does 12 divide h?
True
Let h(y) be the third derivative of 0 - 1/3*y**4 - 5/6*y**3 + 0*y + 24*y**2. Is h(-2) a multiple of 11?
True
Suppose -4*q + 243 = -45. Let i be (35/14 - 5)*(-54)/(-5). Let w = q + i. Is 9 a factor of w?
True
Suppose 4*n = 20, n = -2*s + 7*s - 17035. Does 12 divide s?
True
Let d(m) be the second derivative of -m**5/20 - 5*m**4/6 + m**3/6 + 13*m**2/2 + 10*m. Let a be d(-10). Is 6 a factor of ((-54)/(-10))/(a/10)?
True
Let q = 7115 - -2508. Is 19 a factor of q?
False
Suppose 0 = 7*m + 7*m - 98. Suppose -i - 5*u - 93 = 0, -2*u = -m*u - 10. Let a = -62 - i. Does 5 divide a?
False
Let d(i) = -i**3 + 3*i**2 + 2. Let w be d(-5). Is w - (-9 - (-8 - -5)) a multiple of 13?
True
Suppose 0 = 5*n + 5*r - 465, 4*n + 117 = 5*r + 462. Does 18 divide n?
True
Let g be (-20)/(-50) + 464944/(-10). Does 13 divide (-1 - (-22)/26) + g/(-546)?
False
Is 62 a factor of 699/12*(-2 + 118)?
False
Let t(b) = -b**3 + 6*b**2 - 7*b + 13. Let r be t(9). Let c = 1011 + r. Does 12 divide c?
False
Suppose 85*k - 89*k - 3026 = -g, 0 = -3*g + 5*k + 9085. Is 30 a factor of g?
True
Let i(u) = -3*u + 23. Let p be i(7). Suppose -8 = -3*x - p. Suppose -q - s + 93 = 0, 2*s = 6 + x. Does 21 divide q?
False
Suppose 21 = 4*h + 21. Suppose h = -2*m + 26 - 54. Let v = m - -114. Is v a multiple of 25?
True
Suppose -2*z + 2*m = -3*m - 86, -3*z = m - 163. Suppose 4*y + 7 = -z. Does 11 divide (-2 + 23)/(2 - y/(-9))?
False
Suppose -4*m + 5674 = -5*g + 103, 6*g = -4*m + 5538. Is m a multiple of 6?
False
Suppose -250*r = -243*r + 21. Does 65 divide (r/(-2))/((-5)/(-3390))?
False
Suppose 33*x - 359100 = -9*x. Suppose 52*v - 14*v - x = 0. Is v a multiple of 15?
True
Suppose -7*f - 2*f = -3546. Suppose 2*b + 0*b = -3*o - f, 258 = -2*o + b. Let p = 173 + o. Does 43 divide p?
True
Let l = 238 - 99. Let t = l - 61. Is 6 a factor of t?
True
Let j = 12791 - 3380. Is 41 a factor of j?
False
Suppose 0 = -7*y + 101 + 39. Suppose 0 = 4*t + y, 2*f + 2*t = -2*t + 396. Is f a multiple of 8?
True
Let t be 12/14*(-1365)/(6/2). Let a = 816 + t. Suppose 3*h - 562 = 5*m, 128 = 3*h - m - a. Is h a multiple of 21?
False
Suppose 121*b = -4*a + 116*b + 21395, 0 = 5*a + 5*b - 26735. Is a a multiple of 20?
True
Let d(w) = 56*w - 26. Let c be d(10). Suppose -y + 2*m + 3*m + 276 = 0, -2*y + c = -4*m. Does 9 divide y?
True
Let v be -113 + (-48)/14 + (-44)/77. Let n = v - -120. Suppose -2*m + n*s + 38 = -20, 0 = -5*s + 20. Is m a multiple of 35?
True
Let n(g) = 39*g - 221. Let j be n(9). Suppose 5*s - r = 267, r + 120 = 2*s + 5*r. Let w = j - s. Is w a multiple of 5?
False
Let k = 17320 - 8332. Is k a multiple of 7?
True
Suppose 4*d - 2*y - 4060 = 0, -7*y = 5*d - 3*y - 5062. Does 11 divide d?
False
Is (-1)/((-3)/5230)*(27 + (-2706)/110) a multiple of 8?
True
Let z(h) = 804*h - 1038. Is z(5) a multiple of 42?
True
Suppose -99*t + 5*y = -97*t - 16170, -5*y = t - 8130. Is t a multiple of 30?
True
Let u be 6 + (7 - 3 - -1 - -99). Does 30 divide 4561/8 + (-7 - u/(-16))?
True
Let j(c) = 74*c**2 - 43*c - 14. Does 31 divide j(-13)?
True
Let b(x) = -47*x + 5. Let s be b(1). Let d be (6/21)/((-6)/s). Does 11 divide 113 + (d - (0 - -1))?
False
Suppose o - 5*n = 819, -2*o = -5*n - 1519 - 129. Is 54 a factor of o?
False
Suppose -4*x - 4 + 20 = 0. Let r be -1*(4 + -6) + 0/x. Is -5 + (r - (-3 - 30)) even?
True
Let i be (-2)/35 - (-28856)/280. Suppose -99*l = -i*l + 2332. Is l a multiple of 64?
False
Does 68 divide (-60824)/3*(-210)/140?
False
Does 24 divide ((-760)/(-72) - 11) + (-37596)/(-27)?
True
Let v(j) = 4*j**2 + 6*j + 4. Let q be v(-1). Let k(i) = 10*i + i**q - 5*i - 5 + 0*i + 2*i. Does 5 divide k(-10)?
True
Suppose 16 = -13*a + 17*a. Suppose 0 = 5*w - 7*y + 2*y - 320, 0 = -5*w + a*y + 317. Suppose -3*f + w = -47. Does 12 divide f?
True
Suppose -3*j + m = -7238, -j - 4*m + 677 + 1727 = 0. Does 7 divide j?
False
Let a = -327 - -329. Let w = 5 - 3. Suppose a = w*o, -3*u + o = 4*o - 399. Does 12 divide u?
True
Let c be (-4)/(-26) + 47765/65. Suppose 3*x + 4*j - 561 = -116, 5*j - c = -5*x. Is 13 a factor of x?
True
Let t be (-1)/(240/235 - 1). Let i = t - -62. Does 3 divide i?
True
Let w(a) be the third derivative of -a**6/120 - 7*a**5/60 + 5*a**4/8 + 4*a**3/3 - 13*a**2. Let x be w(-10). Let g = x - 93. Is 12 a factor of g?
False
Let m be (-9 + 2 - -6)/((-1)/107). Let p = 303 - m. Is p a multiple of 12?
False
Let p(z) be the first derivative of -28*z**2 - 8*z + 18. Let m be p(2). Let r = m - -165. Does 15 divide r?
True
Suppose 0 = -5*a - 54 + 209. Suppose 5*v = 4*x + 241, 2*v = -5*x - a + 134. Is 12 a factor of v?
False
Suppose 8*j - 573 - 99 = 0. Suppose 126*y - 127*y + j = 0. Is 4 a factor of y?
True
Suppose 0 = 2*l + 9 - 1. Let u = l + -1. Is 30 a factor of (2/(-4))/(u/(-1880)*-4)?
False
Suppose 0 = 25*j - 14666 + 1766. Let f = 875 - j. Is f a multiple of 13?
False
Suppose -2*k = k + 6. Let z be 2920/50 + k/5. Suppose 5*j - 618 = -z. Is j a multiple of 43?
False
Suppose -s = -0*s + 8*s. Suppose s = -9*h + 10081 + 584. Is 15 a factor of h?
True
Let m(a) = -7*a**2 + 0*a**2 + 8*a + 11*a**2 - 27. Is m(-8) a multiple of 11?
True
Suppose 2104 = 5*q 