of 8?
True
Let w = -294 + 457. Let t = -145 + w. Is 18 a factor of t?
True
Suppose k + 31 + 43 = 2*x, -x - 381 = 5*k. Let t be (181*1)/(-8*7/56). Let h = k - t. Is 21 a factor of h?
True
Let g(v) be the first derivative of 4*v**3/3 - 15*v**2/2 + 16*v + 13. Let r(u) = 11*u**2 - 44*u + 49. Let p(c) = -8*g(c) + 3*r(c). Does 14 divide p(13)?
False
Let h(g) = -6805*g + 8150. Is h(-6) a multiple of 395?
True
Suppose -26*h = 156312 - 546156. Is h a multiple of 294?
True
Let w(m) = m**2 - 10*m + 39. Let c be w(9). Suppose 4*g - c + 2 = 0. Does 3 divide g?
False
Suppose -604 + 4387 = -16*n + 68551. Is 16 a factor of n?
True
Is (-4 - 0)*(102767/(-42))/(6/9) a multiple of 53?
True
Suppose 2*l - 2 = 4*h + 10, 5*l + 4*h + 40 = 0. Is (l - -135)/((-8)/(-16)) a multiple of 24?
False
Suppose 3*a - 465 = 5*i, -2*i = -5*i + 3*a - 285. Let h = -14 - i. Is 10 a factor of (-15)/(-45) + h/6?
False
Let x = 57 + -55. Suppose -3*q - 12 = 0, x*q = -3*p - 25 + 161. Is -85*p/30*(-2)/4 a multiple of 34?
True
Suppose -11139*n + 11043*n + 1163904 = 0. Is 14 a factor of n?
True
Let h(q) be the third derivative of -q**5/60 + q**4/3 - 11*q**3/6 + 16*q**2. Let w be h(5). Suppose 2*s = -k - s + 16, w*k - 5*s + 4 = 0. Is 3 a factor of k?
False
Is 36/15 + (-230526)/(-135) a multiple of 10?
True
Let b(q) = q**3 - 6*q**2 - 9*q + 6. Let l be b(7). Is 5 a factor of (-1)/(-4)*1 - 918/l?
True
Suppose 13*z - 48*z = -16555. Is 9 a factor of z?
False
Suppose 3610 = 5*r - 5*i, -13*i - 2150 = -3*r - 18*i. Is 9 a factor of r?
True
Let m(u) = 186*u**2 + 18*u + 300. Is 96 a factor of m(-6)?
False
Suppose -4 = 2*y + 4*x, 2*x + 8 = -y + 6*x. Let j be 56/20*1*10. Let v = j + y. Is 3 a factor of v?
True
Let d(q) = 96*q**3 - 57*q**2 + 382*q - 34. Is d(6) a multiple of 88?
False
Suppose -4*b + 8 = -4*h, 0*b - 4*b = 3*h - 8. Is 6 a factor of (-40)/(-16) + 63/b?
False
Let c(z) = z**3 - 81*z**2 + 27*z + 1311. Does 66 divide c(81)?
True
Suppose -5110 = -5*n + 3*u, 659*u - 658*u = 2*n - 2044. Is n a multiple of 7?
True
Suppose -q = 4 - 16. Let l be 32 - 34 - (-2 + -3). Suppose -w + l = -q. Does 5 divide w?
True
Suppose 2*m - 11*a = 13542, -5*a + 1584 - 28600 = -4*m. Is m a multiple of 74?
False
Suppose -2*l = 3*l - 50. Let o be 4 - l - 0/(-2). Is (-8 - (-11 - o))/((-3)/17) a multiple of 2?
False
Let q(s) = -s - 1. Let u(g) = -114*g - 84. Let w(y) = 2*q(y) + u(y). Is 13 a factor of w(-5)?
True
Suppose 2*p = 4*d + 18988, 27*p - 24*p - 4*d - 28492 = 0. Is 11 a factor of p?
True
Let c = -96 + 120. Suppose 27*n - 2886 = c*n. Is n a multiple of 37?
True
Suppose -19*t + 6448 = -11*t. Let x = t - 49. Is x a multiple of 14?
False
Let s(y) = 2*y + 1. Let b be s(7). Let m(a) = 0 + 11*a + 7 + 0. Is 43 a factor of m(b)?
True
Let u = 3420 - 3234. Is 3 a factor of u?
True
Does 5 divide ((-71)/(-2)*-1)/((-1)/46)?
False
Does 18 divide -17 + (-52)/(-3) + 21437/3?
True
Let i = -8025 - -9572. Does 2 divide i?
False
Suppose -224 + 604 = -2*v. Does 9 divide v/8*(-47 - -35)?
False
Suppose 5*z = -j + 16211, 12934 = 30*z - 26*z - 5*j. Is 7 a factor of z?
True
Suppose -15*w + 598 = -602. Suppose 23*r - 19*r - w = 0. Is r a multiple of 4?
True
Let s be 1516/6 - (26/(-6) - -5). Suppose 1344 = s*w - 248*w. Does 8 divide w?
True
Let i = 1252 + -1166. Is 14 a factor of i?
False
Let l be 6/12 - (-11)/2. Suppose 2875 - 781 = l*v. Is v a multiple of 13?
False
Let r(c) = -c**2 + 9*c + 28. Let z be r(11). Suppose -3623 + 1241 = -z*o. Suppose -4*w + 0*w = 5*h - o, -3*h + 4*w + 219 = 0. Does 11 divide h?
True
Let v(m) = -25*m**2 - 12 - 1 - 3*m + 36*m**2 + m**3. Let x be v(-9). Let p = 251 - x. Is p a multiple of 28?
False
Is 33 a factor of ((-82660)/7)/(-5) - (-26)/91?
False
Let g = 374 + -310. Suppose -k - g = -208. Does 18 divide k?
True
Suppose u = 4*z - 16273, 0 = 35*z - 31*z - 4*u - 16264. Is z a multiple of 25?
False
Let o(n) = n**3 + 9*n**2 - 22*n + 2. Let c be o(-11). Suppose 152 = d - w, -5*d + 7*d + c*w = 308. Does 25 divide d?
False
Let m(c) = -264*c + 11832. Is m(0) a multiple of 12?
True
Let n(c) be the first derivative of 5*c**4/4 + c**3/3 + c**2/2 + c + 6. Let p(s) = 3*s**3 - 3*s**2 + 3*s - 1. Let d be p(1). Is n(d) a multiple of 10?
False
Let m = -10427 - -14777. Suppose -m = -4*d - 11*d. Does 29 divide d?
True
Does 37 divide 1642 + (198 + 12)/(-15)?
True
Let z(o) = 2*o**2 - 68*o - 66. Let p be z(35). Suppose -5*b = -2*q - 577, -q - p*q = -5*b + 565. Does 3 divide b?
True
Let f(b) = b**3 + 9*b**2 + 9*b + 13. Let l be (1 - (-9)/(-6)) + (-7)/(-2). Suppose -j = l*q + 19, 5*j = 3*j + q - 10. Does 12 divide f(j)?
True
Let d = 18548 - 10973. Is 15 a factor of d?
True
Suppose -7*k + 6*k + 3 = 0. Suppose 7*p + 44 = k*p. Is 4 a factor of 2*(-1)/2*p?
False
Let j = -65 + 100. Suppose -5*z + 275 = j. Let s = -3 + z. Is s a multiple of 9?
True
Let p = 209 - 7. Suppose 0 = -3*c + p + 68. Suppose -4*q + 6*q = c. Is q a multiple of 5?
True
Let n(r) = -178*r - 1849. Is n(-35) a multiple of 13?
True
Does 3 divide 1632/(21*(-7)/(-98))?
False
Let s(b) = 32*b - 8. Let r = 18 + -14. Does 15 divide s(r)?
True
Let m = 6819 + 5641. Is m a multiple of 10?
True
Let c = -101 + 99. Is (-5)/c*18/(-15) + 323 a multiple of 13?
False
Let r = 121 - 43. Let t be 10/(-12)*r/(-13). Suppose 2*w + w - 3*y = 150, -w - t*y = -74. Is 6 a factor of w?
True
Let t(w) = 61*w + 26. Let s(r) = 2*r**2 + 5. Let j be s(-2). Let n be t(j). Suppose -61*p = -64*p + n. Does 39 divide p?
True
Does 18 divide 1/(3/1818)*215/30*4?
False
Let t(r) = -10*r + 13. Let p be t(-17). Let n = p + -131. Suppose 5*d = n + 48. Does 10 divide d?
True
Suppose -3*i + 264 = -2*i + g, 0 = 3*i + 2*g - 790. Let r = i - -265. Is r a multiple of 17?
True
Let o = 16 + -11. Suppose 3*v + o*h = 41, 32 = 3*v - 2*h - 2*h. Suppose v*p - 5*p = 21. Is p a multiple of 3?
True
Let q(p) = 7*p**2 + 30*p + 23. Let y be q(-7). Let z = 9 + y. Is z a multiple of 15?
True
Suppose -11*d + 115485 = 19*d + 10935. Does 128 divide d?
False
Let l = -35 + 65. Suppose l*v + 2280 = 45*v. Is v a multiple of 8?
True
Is 89 a factor of ((-38)/(-3))/((-72)/(-28836))?
True
Suppose 4*h = 13*h - 7624 - 138932. Is h a multiple of 46?
True
Suppose f + 5*v = 16, 0 = -4*f + f + 4*v + 143. Let a(o) = -o**2 + 21*o - 17. Let l be a(20). Suppose -m + 84 - 13 = l*c, -3*c + f = -5*m. Is 22 a factor of c?
True
Suppose -6*w - 2*w = -664056. Is 8 a factor of ((-2)/3)/((-138)/w)?
False
Suppose 0 = 157*k - 153*k - 1368. Suppose -x - 395 = -s, 451 + k = 2*s + x. Is 18 a factor of s?
True
Is 32 a factor of ((-12)/(-22))/((-17)/(-20383))?
False
Let x be 16/6*(-819)/(-84). Suppose -3*i = -9, -37 + x = -g + 5*i. Does 2 divide g?
True
Suppose 57*u - 127115 = 67597. Does 61 divide u?
True
Let o = 68 - 55. Let r(v) = -o + 2*v + 36 + 16. Does 2 divide r(-13)?
False
Suppose 2*x + 151 - 289 = 0. Let o = -64 + x. Suppose o*d - 288 = 172. Is d a multiple of 17?
False
Let p(h) = 211*h + 679. Is p(2) a multiple of 17?
False
Let k = 471 - 861. Let u = k + 710. Is 11 a factor of u?
False
Let d be 6 + -4 + (1 - 1)/(-2). Let b(w) = -2 + w**3 - 7 + 8*w - 4*w**d - 9*w. Is 13 a factor of b(6)?
False
Is ((-927)/(-103))/((-3)/(-205)) a multiple of 8?
False
Suppose 0 = c - 3*z, z - 5*z = -5*c + 11. Let g(n) = 6*n**2 + 4*n - 5. Let s be g(c). Let w = s + -15. Is 4 a factor of w?
False
Let v be 4 + (-50)/(-9) - (-24)/54. Does 5 divide (3990/(-12))/(-7)*24/v?
False
Suppose -21*v - 22139 = -724568. Is v a multiple of 24?
False
Suppose -f + 9 = -3*y - 5, 0 = 5*f + 3*y - 16. Is 2/f - (-7668)/30 a multiple of 16?
True
Suppose -2*f = -14*f + 1104. Suppose -2 - 13 = -5*h. Suppose -f = -h*i + u + u, -5 = 5*u. Does 10 divide i?
True
Is 203 a factor of (-226877)/(-6) - (-735)/4410?
False
Let r be -97 - 0 - 18/(-7 + -2). Let i = r - -171. Is 15 a factor of i?
False
Does 30 divide 12/(((-2)/(-68))/(10/8))?
True
Let v = -316 - -332. Is (2 + -15)/(((-2)/v)/1) a multiple of 8?
True
Suppose -6*j + 7*j - 2280 = 0. Suppose 18*c - j = -20*c. Does 5 divide c?
True
Suppose -4 = 4*v - 0*v. Let u(b) = -5*b - 1. Let i be u(v). Suppose 3*y + 68 = i*t, -4*y = -t + 2*t + 2. Is 7 a factor of t?
True
Let r(a) = -21 + 4 + 19*a - 7. Is 10 a factor of r(26)?
True
Let s(g) = -269*g + 2. Let w be s(6). Let n(k) = -252*k + 262. Let x be n(1). Is 9 a factor of 4/x + w/(-20)?
True
Suppose -2*w + 3*w - 2*j + 53 =