e of 31?
False
Does 28 divide (11*(11 - -39))/(4/56)?
True
Let p be 3/(4 + -3) + -4. Let w(k) = -6*k - 1. Let x be w(p). Suppose -3*s = -x*b + 310, 4*s - 186 = -b - 2*b. Is b a multiple of 31?
True
Suppose 289*g = 299*g - 2140. Is g a multiple of 2?
True
Let q = -535 + 539. Suppose -q*n - 2*h = -5098, 2*n + 5095 = 6*n - h. Is n a multiple of 91?
True
Suppose -3*x + 19 = -t + 31, -x - 4 = -4*t. Suppose -5*y + 8*y - n - 1389 = t, -4*n = 4*y - 1852. Does 8 divide y?
False
Suppose 0 = -2*v + 3*o + 10830, 3*v = 4*v - o - 5416. Is v a multiple of 115?
False
Let g(h) = h**2 - 18*h - 38. Let t be g(20). Let k be (-4)/(-10 - t) + (-43)/3. Let f = 203 - k. Is f a multiple of 28?
False
Let q(s) = 4180*s**3 + 10*s + 16 + 4*s - 12*s**2 - 4181*s**3. Let l be q(-13). Suppose -l*c + 9 + 93 = 0. Does 34 divide c?
True
Let d = 42 + -47. Is 3 a factor of 0*d/(-10) - (2 + -32)?
True
Let q(o) = 79*o**2 - 8*o + 6. Let m(s) = -23*s - 90. Let d be m(-4). Is q(d) a multiple of 18?
True
Let c(d) = d**3 + 6*d**2 - 9*d - 10. Let g be c(-7). Suppose 5*q = s - 8, 2*s - g*q = 26 - 10. Does 2 divide s?
True
Let c be ((-10)/(-55))/(6/66). Suppose c*h = -5*x + 689, -6*h + 1676 = -h - 3*x. Does 10 divide h?
False
Let g(s) = 4*s**2 + 20*s + 93. Suppose 3*r + 120 = -9*r. Is 4 a factor of g(r)?
False
Let u be 14/(-4)*-104 + -2. Let s = u + -250. Suppose 4*a - s = -2*k - k, 5*k + a = 198. Is 12 a factor of k?
False
Suppose 5*w + 23260 - 261834 = 2*d, 2*d - 238546 = -5*w. Is 42 a factor of w?
True
Suppose 24*g + 53 - 173 = 0. Suppose 4*y = g*o + 219, 2*o = -y - 2*o + 39. Does 3 divide y?
True
Suppose -4*t = -o - 17653, 2*o = 91*t - 86*t - 22064. Is 13 a factor of t?
False
Let s(a) = 631*a**2 + 43*a - 274. Is 114 a factor of s(5)?
False
Let g be 5*36/(-4)*-1. Let a be (g/12)/((-1)/(-16)*4). Let t(q) = q**2 - 14*q + 21. Is t(a) a multiple of 18?
True
Is 150 a factor of (1750/28)/((-9)/(-216))?
True
Let p(t) = t**3 - 35*t**2 + 89*t - 49. Is p(34) a multiple of 22?
False
Suppose -5*d - 10226 = -3*p, 0 = -6*p + 9*p - 2*d - 10232. Suppose -5*t = k - p + 532, 2*k = 5*t - 2880. Is t a multiple of 8?
True
Is 50 a factor of (-291)/6*-75*(-60)/315*-14?
True
Suppose -6*i + 286 = 7*i. Let p(k) = 6*k - 6. Is p(i) a multiple of 9?
True
Suppose -137*r = 126*r + 50133 - 943281. Does 22 divide r?
False
Suppose 0 = -5*t - 4*v + 265262, -13*t - 424438 = -21*t + 3*v. Is t a multiple of 24?
False
Suppose -q + 27616 = 3*w, -4*q = 26*w - 31*w + 46021. Is 35 a factor of w?
True
Let g be -34 + (2 - -5 - (-6)/(-2)). Is 58/(-435) - 964/g a multiple of 4?
True
Let c be ((-2)/(-5)*1)/((-25)/(-45125)). Let u = c + -177. Is u a multiple of 9?
False
Let a = -163 + 176. Does 13 divide (-11 + 76)/(a/4 - 3)?
True
Suppose 0*b = -6*b + 18. Suppose -4*g + 1520 = 3*x, -5*x = -b*x - 8. Does 26 divide g?
False
Suppose -2*x - 865 = 493. Let z be ((-6)/(-33) - 0) + x/(-77). Suppose z*s = 7*s + 168. Is s a multiple of 14?
True
Suppose 4*n - 27*h = -30*h + 7347, -2*h = -2*n + 3656. Is n a multiple of 15?
False
Let g = -1786 + 2577. Let v = g - 405. Suppose -j - o = -6*j + 479, -v = -4*j - 2*o. Is 16 a factor of j?
True
Suppose -28*b + 14*b = 9*b - 953327. Is 137 a factor of b?
False
Let l be (-1)/4 - (-1416)/(-96). Let i = l - -11. Let h(y) = -2*y**3 + y**2 + 6*y + 3. Is h(i) a multiple of 25?
False
Let h(y) = -4*y**2 + 24*y - 2. Let d be h(12). Let j = 308 + d. Does 9 divide j?
True
Let f = 1050 + -475. Suppose 0 = 3*s - f + 239. Is 13 a factor of s?
False
Let y(i) = 854*i + 84. Does 6 divide y(6)?
True
Suppose -2003975 + 298292 = -188*b - 142275. Is b a multiple of 12?
True
Let v(i) = i**3 - i**2 - 1. Let o(a) = 5*a**3 + 8*a**2 + 19*a + 39. Let x(t) = o(t) - 6*v(t). Is 14 a factor of x(15)?
False
Let o be (-36)/(-72) - 49/(-2). Suppose 3341 + 2684 = o*i. Is i a multiple of 9?
False
Let g = 26926 + -17806. Does 80 divide g?
True
Suppose -2*z - 1964 - 170 = 0. Let n = 1704 + z. Is n a multiple of 25?
False
Suppose -2*g - 555416 = -14*d, 15*d + 2*g + 119013 = 18*d. Is 7 a factor of d?
False
Let x(l) = -39 + 121 + 65*l - 43 - 34. Does 33 divide x(5)?
True
Suppose -5*z - 22826 = -5*o + 82964, -3*z - 63458 = 5*o. Is -1 + 33/27 + z/(-54) a multiple of 56?
True
Let u(z) = 74*z + 3276. Does 38 divide u(-38)?
False
Let y(i) = 2*i - 1. Let z(b) = 59*b**2 - 16 - 55*b**2 - 2 + b**3 - 7*b. Let w be z(-4). Does 5 divide y(w)?
False
Suppose -105*s + u - 193494 = -109*s, 0 = -2*s - 4*u + 96754. Is s a multiple of 154?
False
Let w be 112/32*2/(-1). Let s be 4*w/((-21)/24). Suppose -s = 4*u - 5*u. Does 8 divide u?
True
Let p be (-4)/2*5/(-2). Let h be (-1 - -4)/((-90)/(-600)). Suppose 0 = -p*m - h, -2*m - 65 = y - 2*y. Is 19 a factor of y?
True
Let p = 10147 - 8642. Does 8 divide p?
False
Let w(o) = 2*o**3 + o**2 + 3*o + 2951. Does 3 divide w(0)?
False
Suppose 3*y + 54*t - 4533 = 55*t, 2*y + 5*t = 3005. Let c = -766 + y. Is 31 a factor of c?
True
Let t(d) = 13 + 0*d**2 - d**2 + 4*d**2 + 319*d - 327*d. Let q = -22 + 25. Does 16 divide t(q)?
True
Suppose -5*p - 3*x = -97, -5*p - 18*x + 20*x = -77. Let k(j) = -j**3 + 20*j**2 - 39*j - 40. Is k(p) a multiple of 49?
False
Is (-216)/270 - (-205820)/25 a multiple of 147?
True
Suppose 162 = -b - m + 1158, b + 2*m = 998. Let x = b + -578. Does 13 divide x?
True
Let o(k) be the first derivative of k**5/20 + 5*k**4/3 - 25*k**3/6 + 7*k**2/2 + 13*k - 6. Let m(d) be the first derivative of o(d). Is 12 a factor of m(-21)?
False
Let s = -885 + 1641. Is s a multiple of 12?
True
Suppose -5138 = -2*h - x, 3460 - 890 = h + x. Does 4 divide h?
True
Suppose -5*q = -5*a + 455, 4*q = 3 - 11. Let b = a - -226. Is 45 a factor of b?
True
Suppose -65 = 5*g - 50, 2*x = 2*g + 31102. Is x a multiple of 92?
True
Suppose -51*s + 22366 + 82380 - 15547 = 0. Does 54 divide s?
False
Let o = 35124 + -24939. Suppose o = -2*b - 2475. Is ((-1)/2)/(15/b) a multiple of 35?
False
Let q(f) = -27*f - 52*f + 17*f - 32. Does 14 divide q(-5)?
False
Let v(l) = 3*l**2 + 4*l + 30. Let i(u) = -5*u**2 - 3*u - 30. Let r(x) = -2*i(x) - 3*v(x). Does 3 divide r(21)?
True
Let s(x) = x**3 - 6*x - 1. Let r be s(3). Suppose -4*c + 0*g + r = -4*g, -5*c - g + 10 = 0. Is ((-448)/(-80))/(0 - c/(-10)) a multiple of 7?
True
Let p(w) = -272 + 291 - 6*w + w. Let k be p(-6). Suppose t = -22 + k. Does 14 divide t?
False
Let d = 152 - 155. Let h = d + 58. Is h a multiple of 2?
False
Let z be (0 - 4)/(-3 + 1). Suppose -g = z*g + 5*a - 1364, -4*g - 4*a = -1808. Is g a multiple of 14?
True
Let f = -29571 + 57260. Does 90 divide f?
False
Let c(q) = -13*q**3 - 41*q**2 - 916*q - 24. Is 18 a factor of c(-15)?
True
Suppose 3*y - 4*l - 13 = 0, 0*y + 3*l = -3*y - 15. Let d = 6 + -8. Is 31 a factor of 125 - d/y*(-5)/(-10)?
True
Suppose 3714 = 19*t + 1282. Suppose 2*g + 102 + 134 = 0. Let p = g + t. Is p a multiple of 4?
False
Suppose -5*o + 89 = -4*s, 3*o + 25 = -2*s - 36. Does 3 divide (-246)/(-78) + 4/s?
True
Suppose -134 + 134 = -2*a. Is 27/(-9) - (1*-133 - a) a multiple of 26?
True
Suppose -7*j = -4*m - 12*j + 12141, -5*j = -5. Is m a multiple of 41?
True
Is 15 a factor of ((-73)/(511/(-12)))/(4/1050)?
True
Let l = -4100 - -4197. Is l a multiple of 97?
True
Let a = 102 - 122. Let p(x) = -x**2 - 38*x - 3. Does 17 divide p(a)?
True
Suppose -c + 3*t = -198, 3*c - 386 = c - 4*t. Suppose -3*y + 4*f + 560 = -648, 2*y - 2*f - 808 = 0. Let k = y - c. Is 11 a factor of k?
False
Let j(u) = -10*u + 75. Let v be j(7). Is (v/(-2) + 2)/((-24)/1152) a multiple of 3?
True
Let q(u) = u**3 - 80*u**2 - 224*u + 292. Does 56 divide q(83)?
False
Let b(w) = -w**3 - 16*w**2 + 15*w - 33. Let l be b(-17). Let d be (-2)/(l + (-71)/72). Does 24 divide 0/1 + 0 - d?
True
Suppose 0 = -81*k - 84*k + 159*k + 143376. Is 58 a factor of k?
True
Suppose -6 = -4*l - 2*q, -3*q = -5*l - 2*q + 18. Let s be l + -1 + -3 + (-11 - -4). Is 4 a factor of 0/1*(-7 - s) - -40?
True
Suppose 13*f - 329894 + 29073 = 197521. Is f a multiple of 31?
False
Let v(c) = c**3 - 7*c**2 + 13*c - 4. Let t be v(4). Suppose t*d - 5*d = -2495. Is d a multiple of 35?
False
Suppose h - 10*q + 6*q - 949 = 0, 5*h - 4697 = 4*q. Does 10 divide h?
False
Suppose 277201 = 9*a + 4*l, 3*a + 2*l - 123200 = -a. Does 244 divide a?
False
Let r = 1710 - 949. Suppose r*u = 766*u - 3300. Is 11 a factor of u?
True
Suppose -g - 56 + 8 = 0. Let b be 798/8