Is 9 a factor of s?
True
Does 14 divide (-12)/(24/(-5282))*7?
False
Let h(d) = d**3 - 25*d**2 + 2*d - 30. Let f = -18 + 43. Is 4 a factor of h(f)?
True
Let k = -222 - -395. Let l = k + -68. Let i = l - 88. Does 9 divide i?
False
Let r = 44 - 40. Let f be (2/(2 - 0))/(2/r). Is (f/(-8))/(2/(-104)) a multiple of 2?
False
Let a(q) = 3*q**2 + 13*q - 1652. Is a(-50) a multiple of 8?
False
Is (-243)/(-54)*4028/3 - -2 a multiple of 11?
False
Suppose -4 = -p - 5*x, -6*p - 4*x + 2 = -4*p. Let j = p + -9. Is -2*78/20*j a multiple of 18?
False
Let k(c) = c**3 + 5*c**2 + 3*c. Let m be k(-3). Let v(r) = -7*r - 30. Let w(y) = 14*y + 68. Let j(p) = 5*v(p) + 3*w(p). Is 9 a factor of j(m)?
True
Suppose 1296 = 9*b + 9*b. Does 24 divide -3*(-2)/(-27) - (-15568)/b?
True
Let b(u) = -52*u + 59. Let s be b(7). Let d be s/(-3) - (-3)/9. Let w = d + -83. Is 3 a factor of w?
False
Let o = -73 - -75. Let u be (o/4 - 0)*424/2. Suppose -u = -4*f + 522. Is f a multiple of 14?
False
Suppose 3*q = q - 6, 0 = -4*o - 5*q + 1. Suppose -o*p = -3*d - 145, 0 = -d - 3*d + 20. Is (1 - (-106)/4)*p/25 a multiple of 9?
False
Suppose -16*h - 5139 = 19*h - 44*h. Does 32 divide h?
False
Let i = -108 + 100. Is (15/10)/(i/(-512)) a multiple of 24?
True
Let l be 6/(((-15)/(-16))/5). Suppose 3 = -2*f + 3*f, -5*r - 4*f + l = 0. Suppose 32 = 5*g - 5*d - 28, 84 = r*g + 5*d. Is 12 a factor of g?
False
Let i = -9401 + 14432. Is i a multiple of 13?
True
Let f = 210 + -47. Suppose -f - 77 = -5*t. Is 19 a factor of 6*(-6)/t - 918/(-8)?
True
Is 5650 + (15/(-12) - 378/56) a multiple of 62?
True
Let c be (10/30)/((-2)/6). Let l be (2/(-5))/(c/20). Let s = 53 - l. Is 4 a factor of s?
False
Let j(i) = -20*i**2 - 7*i + 17. Let n(v) = -39*v**2 - 15*v + 35. Let a(g) = -9*j(g) + 4*n(g). Does 52 divide a(-3)?
False
Let a(l) be the first derivative of 7*l**2/2 - 17*l + 93. Is a(4) a multiple of 2?
False
Let v(m) = 70*m**2 + 518*m - 9139. Is 5 a factor of v(18)?
True
Let d(t) = -t**3 - 62*t**2 + 63*t - 321. Is 12 a factor of d(-64)?
False
Let h = -213 + 239. Let g = h + -3. Is g a multiple of 2?
False
Suppose 2236*k - 2233*k = 4*z + 45184, -75305 = -5*k + 5*z. Is k a multiple of 12?
True
Let o(u) = 2*u**2 + 61*u - 381. Let n be o(-51). Let l = -794 + n. Does 60 divide l?
False
Is 5 a factor of 44916/10 - (16/10 - 3/1)?
False
Let o(y) = 35*y**2 + 4*y + 30. Let f be o(-5). Suppose -5*b + 35 = -f. Suppose 10*c + b = 1784. Does 20 divide c?
True
Suppose -7*n + 9*n - 2*j - 200 = 0, 520 = 5*n - j. Let t = -105 + n. Is 492/14*(9 + t + -2) a multiple of 22?
False
Suppose -5*s - 12*s = -838 - 794. Is 10 a factor of s?
False
Let y(j) = -2*j - 20*j**2 + 8*j - 3*j**3 - 3*j + 30 + 2*j. Let h(a) = -4*a**3 - 19*a**2 + 6*a + 30. Let v(l) = 2*h(l) - 3*y(l). Is 13 a factor of v(-22)?
False
Let b(s) = s**3 - 17*s**2 + 23*s - 26. Let r be b(20). Let l = -734 + r. Suppose 0 = 4*t + 2*c - l + 80, c - 824 = -4*t. Is 51 a factor of t?
False
Let y(f) = 76*f**3 - 4*f**2 + 16*f - 8. Does 28 divide y(2)?
True
Let c = 31 + -26. Suppose -5*v - c = -5*i, 4*v + 11 = -i - 2*i. Let n = 21 + i. Is n a multiple of 8?
False
Suppose 5*o - 245 = -4*k, 22*o - 26*o - 337 = -5*k. Let p = k - 41. Is 8 a factor of p?
True
Suppose -24*u + 20700 = 36*u - 37*u. Is 10 a factor of u?
True
Does 56 divide 4827/5 - (-5 + (-243)/(-45))?
False
Suppose -6*b + 9*b + 1646 = -4*j, -b = -5*j - 2067. Let p = 467 + j. Does 9 divide p?
True
Let n(s) = -s**3 - 7*s**2 - 8*s + 2. Let y(b) = -b**3 + 21*b**2 + 19*b + 58. Let v be y(22). Does 18 divide n(v)?
False
Let i = -2120 - -2989. Does 79 divide i?
True
Let u(d) = -4*d**3 - 384*d**2 - 45*d - 75. Is 283 a factor of u(-96)?
True
Let x = 695 + -666. Let o(p) = 22*p - 138. Is o(x) a multiple of 25?
True
Let u = 971 - 326. Let m = 1347 - u. Does 78 divide m?
True
Let w be 5/(10 + 0)*6. Let d be ((-608)/24)/((-2)/w). Is 11 a factor of 1*d + 0 + -1?
False
Let c(w) = 11*w**3 - 10*w**2 - 12*w + 51. Let s(k) = -9*k**3 + 11*k**2 + 12*k - 50. Let u(r) = -2*c(r) - 3*s(r). Is 7 a factor of u(6)?
True
Let r(g) be the third derivative of -3*g**3 + 0 - 1/3*g**4 - 15*g**2 + 1/120*g**6 + 0*g + 2/15*g**5. Does 11 divide r(-8)?
False
Let h(y) = y**3 - 18*y**2 + 3*y + 22. Let a be h(19). Suppose -7*p + 12*p = a. Suppose 5*w - 3*q = q + p, 2*q = -4. Is 5 a factor of w?
False
Let q be 2/(-3) - 124*(-2)/3. Let p = -57 + q. Is p a multiple of 2?
False
Suppose -117314 = -12*c + 62146. Does 11 divide c?
False
Let z(w) = 4404*w**2 + 17*w - 13. Is z(1) a multiple of 19?
True
Let i be (2*5/(-25))/(1/(-415)). Is 2 a factor of i/4 - -3*(-5)/(-30)?
True
Let f(y) = -y**2 - 26*y - 42. Let u be f(-24). Suppose -749 = z - u*z - 2*g, 2*g = 4. Is z a multiple of 72?
False
Suppose -7146*z - 5275 = -7151*z. Does 88 divide z?
False
Let l = 41121 + -28441. Does 8 divide l?
True
Let w(b) = b**2 + 6. Let d(f) = f**2 + 2*f + 19. Let x(n) = -d(n) + 6*w(n). Does 4 divide x(-3)?
True
Let j = -98 + 118. Suppose 4*q - 3*a - 687 = 0, q - 24*a + j*a = 188. Is 7 a factor of q?
True
Suppose -60*o + o = -295. Suppose 0 = 2*y + d - 819, y - 7*d - 397 = -o*d. Is 16 a factor of y?
False
Let f(u) = u**3 + 1. Suppose -9*n + 12*n + 3 = 0. Let c be f(n). Suppose c = g + 3*g - 408. Does 6 divide g?
True
Let w = 14784 - 14109. Is w a multiple of 15?
True
Suppose 0 = -2*i - 5*h + 307 - 100, 2*i = -4*h + 204. Let a = 52 + i. Does 17 divide a?
False
Let z = -11167 - -18620. Does 14 divide z?
False
Is 7 a factor of -1 - (-4923 - 1/(7/14))?
False
Let v = -14477 + 23969. Does 28 divide v?
True
Is 51 a factor of 3*(-161)/42*1*(-1 + -723)?
False
Suppose k + 4*s - 26 = 0, 2*s = -2*s + 16. Is 12 a factor of k*(1 - -31) - (-24 + 20)?
True
Suppose -352 = -r - 5*h + 1049, 4*r - 5758 = 2*h. Is 5 a factor of r?
False
Suppose -3*s + 15 = 5*y, 3 = 2*y + 5*s - 3. Suppose 5*z + 3*f = 39, -z + y*f + 8 = -7. Suppose 13*w = z*w + 624. Is w a multiple of 13?
True
Let t(c) = 73*c**2 - 49 - 16*c + 7*c - 13*c**2. Is t(-4) a multiple of 5?
False
Let o be 78/4*30/9. Let j = o + 156. Let x = -101 + j. Does 24 divide x?
True
Suppose i = -17 + 7. Let y = 18 + i. Suppose y*j - 4*j = 148. Does 9 divide j?
False
Suppose -4*d + 2807 - 759 = 0. Suppose 4*h = -p - 3*p + d, 248 = 2*h + 4*p. Does 44 divide h?
True
Let b = -24 - -22. Let z(a) = -a + 1. Let d be z(b). Suppose 4*n + h - 88 = -d*h, -70 = -5*n + 5*h. Does 13 divide n?
False
Let r be (-8 - -7)*67/(-1). Is (288/(-128))/(1 + r/(-64)) a multiple of 10?
False
Let w(a) = a**2 + 4*a - 10. Let f be w(-6). Let g be f/(-4) - (-15)/6. Suppose 5*y + s = 123, -g*y = -2*s + 3*s - 51. Is 6 a factor of y?
True
Let g be (-5)/3 - -2 - 1/3. Suppose g = -4*m + 7 + 9. Is 16 a factor of (-2 + (-24)/m)*-10?
True
Let y = 51314 + -28668. Does 26 divide y?
True
Is 8 a factor of 98030/95 + 10 + 2632/(-266)?
True
Suppose d - 37261 = -3*b, b - 20490 = 3*d - 8073. Does 45 divide b?
True
Let j(a) = -15*a + 15*a + 3*a. Let n be j(-2). Let o(c) = 3*c**2 + 10*c + 4. Is o(n) a multiple of 52?
True
Let b(g) = -2369*g - 5379. Does 155 divide b(-6)?
True
Suppose 12 = 5*u + 4*z, z + 6 = 2*u + 3*z. Suppose 20*o = 8*o + 60. Suppose 80 + 34 = 3*p + h, 3*p - o*h - 114 = u. Does 10 divide p?
False
Let i(z) = z**3 + 12*z**2 - 12*z + 4. Let y be i(-13). Let g be ((-1812)/y)/(2/21). Suppose 0 = 2*k + 12*k - g. Is 10 a factor of k?
False
Suppose 19*v = 78959 + 137223. Is 17 a factor of v?
False
Suppose -4*x + 10*x = 1140. Suppose -3*k + 5*k = 2*d + x, 5*d - 416 = -4*k. Does 5 divide k?
False
Suppose 0 = -2*p + 1 - 41. Is (-3 - 45/p) + 6537/12 a multiple of 17?
True
Suppose 4 + 2 = 2*j, 4*h + 3*j - 77 = 0. Let x = 40 + h. Suppose -k + b - 2*b + x = 0, -3*k = -4*b - 150. Is k a multiple of 12?
False
Let w = 273 + -273. Suppose -4*f - 10*f + 7980 = w. Is 41 a factor of f?
False
Is 111 a factor of ((-2)/4)/(1/37)*-234?
True
Let j be (1/2*-258)/((-30)/20). Let m be -1 + (2 - 3) + 46. Suppose x + m = b, -b + x = b - j. Is 6 a factor of b?
True
Suppose 13*x - 43 = -17. Suppose r - 156 = 3*u, -4*u - 95 = -x*r + 217. Does 52 divide r?
True
Suppose 160*w - 88547 = 528093. Is w a multiple of 41?
True
Let h = 1236 + -612. Is 27 a factor of (0 - 3) + h/8?
False
Let x = -322 + 386. Suppose -7*n + 230 = -x. Is 21 a factor of n?
True
Let f(u) = 55*u - 3. Let g(y) = 21*y**2 + 3*y**3 + 14 - 6*y**3 + 8 + 4*y**3 + y. Let r be 