et g = -5898 + 33663. Is g a multiple of 185?
False
Suppose 4*z + 4735 = 1579. Let r = z + 1117. Is r a multiple of 24?
False
Let h(p) = -p**2 + 17*p - 6. Let g be h(15). Suppose -2*n + 3*n = g. Suppose -r + 2*a = -n, -4*r + r - 2*a + 32 = 0. Is r a multiple of 2?
True
Suppose -72*o - 136*o - 1035 = -299723. Does 11 divide o?
False
Let u(n) = n**3 - 26*n**2 + 23*n + 67. Let l be u(25). Suppose 0 = -l*t + 6108 + 930. Is 23 a factor of t?
True
Let m(r) = -38*r + 75. Let w be m(-11). Is ((-30)/(-25))/((-4)/(-10)) + w a multiple of 17?
False
Let a(c) = 3*c**3 + c**2 + 5*c. Let x be a(2). Suppose -x*g + 2019 + 5277 = 0. Is 48 a factor of g?
True
Let q(i) = -i**3 + 34*i**2 - 63*i + 6. Is 24 a factor of q(27)?
True
Suppose -30 = m - 92. Suppose 3*s + 17*x = 13*x + m, 4*s = 2*x + 90. Does 22 divide s?
True
Suppose -3*c - 3*t + 16905 = 0, -22540 = -4*c + 16*t - 12*t. Is 49 a factor of c?
True
Let i be (-16)/(-16) + 0/2 - -1. Does 13 divide (-3670)/15*((-28)/8 + i)?
False
Let w(z) = -28*z**3 + 7*z**2 - 35*z - 336. Is w(-7) a multiple of 64?
True
Let h = 2083 + -2092. Let z(t) be the first derivative of -7*t**2 - 23*t + 3. Is 9 a factor of z(h)?
False
Suppose 2*q + 32 = 4*a + 5*q, 4*a = -5*q + 40. Suppose -26 = -5*w + n - 2*n, -a = -2*w + 5*n. Suppose 0 = -w*o + 25 + 65. Is o a multiple of 9?
True
Suppose 3705 = 25*d - 22*d. Does 18 divide d/10*2 - -6?
False
Let w = -232 - -281. Suppose -337 + w = -4*d. Does 4 divide d?
True
Let i be -2*((-165)/(-1) - -4). Let o = i - -633. Suppose -o = -5*n + 5*p, 0 = 9*n - 8*n - 4*p - 50. Is n a multiple of 23?
False
Let z = 293 - 284. Suppose -137 = z*i - 947. Is i a multiple of 6?
True
Let m(l) = l + 25. Let n be -30*6/(-45)*3. Suppose -5*u = 5*o - u - n, 4*o = -5*u + 15. Does 13 divide m(o)?
False
Suppose 5*s - 16 = 4*m + 43, -2*s - 5*m + 50 = 0. Let w(r) = -6*r**2 + 6*r**2 + 89 + 16*r**2 - r**3 - 4*r - 111. Does 11 divide w(s)?
True
Suppose -13*i = -66 + 1093. Let n = -82 - i. Does 7 divide (2135/(-28))/(-5) + n/(-4)?
False
Let l(u) = -15 - 13 + 8875*u**2 - 8874*u**2 - 3*u. Is 30 a factor of l(-13)?
True
Let f(d) = -21*d - 3. Let t(q) = 62*q + 10. Let y(b) = -8*f(b) - 3*t(b). Let o(p) = -5*p + 43. Let x be o(10). Does 20 divide y(x)?
True
Suppose 4*s = -5*z + 36, 0*z + 18 = 2*s + 2*z. Suppose 3*h = -2*g + 255, -5*h - s + 274 = 2*g. Is g a multiple of 20?
True
Let s = 12354 + -10529. Is s a multiple of 2?
False
Let k = 128 + -10. Let l(s) = 2*s**2 - 15*s + 20. Let o be l(10). Let h = k - o. Does 33 divide h?
False
Let d(s) = -692*s**3 + s**2 + 56*s + 116. Does 11 divide d(-2)?
True
Let m(v) = 2*v**2 - 2. Let j be m(1). Let d = j - -2. Suppose -2*r - 2*r = -4*c + 144, -d*r = -4. Is 27 a factor of c?
False
Let t be (-72 - -2)/(-5) - (-2 - -1). Let f be 863 + t/5 - -4. Suppose f = 4*g + g. Is 16 a factor of g?
False
Let m = 69 - 82. Let w(h) = h**3 + 12*h**2 - 14*h + 12. Does 7 divide w(m)?
False
Let h(r) = 66*r**3 - 16*r**2 - 7*r + 15. Let m(v) = -v**3 - 2*v**2 - v + 2. Let w(q) = h(q) - 6*m(q). Is 15 a factor of w(2)?
False
Suppose -5*y - 15 = -4*f - f, -2*y - 15 = -5*f. Let p(m) be the first derivative of -m**4/4 + m**3/3 - m**2 + 38*m + 520. Does 14 divide p(y)?
False
Is 12/156 - (-1515768)/78 a multiple of 109?
False
Let b = 4395 + 2692. Is 19 a factor of b?
True
Let f be 48/264 + 31/11. Suppose -2*v = 4*b - 28 - 58, f*b - 123 = -3*v. Suppose v + 271 = 2*z. Is z a multiple of 31?
True
Let j(r) = r**2 - 8*r + 12. Let m(a) be the first derivative of 2*a**3/3 - 9*a**2/2 + 12*a - 10. Let t(w) = -3*j(w) + 2*m(w). Does 10 divide t(-9)?
False
Let d = -45 - -53. Does 71 divide 564 - (-4)/8*d?
True
Does 110 divide (-88)/((4/6)/(-1))*(-18 + 38)?
True
Let c = -21 + 11. Let z(d) = -2*d**2 + 38*d + 40. Let s be z(20). Does 8 divide (102/(-4))/(s + 5/c)?
False
Suppose -90*g - 40824 = -216*g. Is g even?
True
Is 138/(-2)*(-27)/(810/880) a multiple of 46?
True
Let x = -839 + 19113. Is 30 a factor of x?
False
Suppose 21 + 105 = 21*a. Suppose d = -n + a + 18, 72 = 3*n + 4*d. Let h = n - -11. Is h a multiple of 35?
True
Let f(v) = -122*v + 811. Is 9 a factor of f(-52)?
True
Suppose -2*p - 12 = -6*p, -p = 5*f + 237. Let v = f + 50. Let k(y) = 5*y**2 - 4*y. Does 5 divide k(v)?
False
Is (0 - (-5)/((-140)/8)) + 137092/14 a multiple of 72?
True
Suppose -18*f + 147006 = -51505 + 15775. Is f a multiple of 27?
True
Let x = -2367 - -3498. Let d = x + -793. Does 26 divide d?
True
Let b be (-2 - 3) + 3 + 6 - 0. Suppose 1098 + 250 = b*c. Is c a multiple of 31?
False
Let j(r) = r - 8*r - r**3 + 5 + 2*r**3 + 12*r**2 + 26. Does 14 divide j(-6)?
False
Let a be (-1)/(-2*(-4)/(-32)). Suppose a*j - 3 = -2*q + 1, 5*q + 3 = 3*j. Does 34 divide j*((-177)/6 - 0)*-2?
False
Let d = 493 + -305. Suppose -d - 207 = -5*w. Let r = w - 28. Does 5 divide r?
False
Let m(q) = -25*q - 123. Suppose -2*t = 3*t + a + 26, 5*t - 3*a + 42 = 0. Does 20 divide m(t)?
False
Let g(b) be the second derivative of b**4/6 - 23*b**3/6 - 7*b**2/2 - 5*b + 9. Is 28 a factor of g(-7)?
True
Let d = -7 - -15. Let i = 159 - 106. Suppose -i = d*j - 213. Is 5 a factor of j?
True
Does 17 divide ((-4)/(-22))/((-60)/(-660)) - 685*-20?
True
Suppose 0 = 3*u - 4*y - 121, u - 35 = -0*u + 4*y. Let o = u - 37. Suppose j - o = 37. Is j a multiple of 4?
False
Does 42 divide (25 + -67 - -42) + 1 + 0 + 9449?
True
Suppose -6*k + 860 = 4*k. Suppose -4*d + 182 = -k. Does 2 divide d?
False
Let o(m) = 171*m - 5258. Is o(48) even?
True
Let z(k) = -1 - 10*k + 95*k + 10. Let j be z(-3). Let u = 358 + j. Is 16 a factor of u?
True
Let h(a) = 84 + 23 + 59 - 3*a - 2*a. Is h(-24) a multiple of 30?
False
Suppose 5*v = 14 - 14. Suppose 5*a - 108 - 237 = -2*c, v = c + a - 177. Is c a multiple of 4?
True
Suppose y + 6*t - 10*t - 28030 = 0, 0 = -2*y + t + 56095. Does 12 divide y?
False
Let l(t) = 11*t**2 - t. Let k(y) = y**2 - 5*y + 2. Let d be k(3). Does 18 divide l(d)?
True
Is 18995 + -8 - (9 - 22) a multiple of 89?
False
Let l = 2215 + 17675. Does 30 divide l?
True
Suppose 3*i - m - 6 = 0, 0*m = 3*m. Suppose -i*h - 14 = -4*h. Suppose -2*o + 2*b - 415 = -h*o, 166 = 2*o + 3*b. Is o a multiple of 54?
False
Suppose 0*w - 25*w - 4*w + 109388 = 0. Does 41 divide w?
True
Let d(a) = 134*a**2 + 13*a + 39. Let v(n) = -n**2 - 23*n + 21. Let z be v(-24). Does 18 divide d(z)?
True
Suppose -109*s + 105*s = -9*r - 143572, 0 = -2*s - 5*r + 71824. Is s a multiple of 45?
False
Let b(a) = -a**3 + 12*a**2 - 15*a + 19. Let v be b(11). Suppose -p = -5*x + 429, -2*x - 2*p + 174 = -3*p. Let f = x + v. Is f a multiple of 20?
True
Does 16 divide 18625 + -21 + (-1)/(13/(-117))?
False
Let x(u) = -u**3 + 2*u**2 - u + 11. Let c be x(0). Suppose 0 = -c*j + 8*j + 120. Is 28 a factor of j?
False
Let r(w) = w**3 + 25*w**2 - 12*w - 360. Is 36 a factor of r(-18)?
True
Suppose -529591 - 288358 + 20649 = -50*r. Does 14 divide r?
True
Let l = 10660 - 10537. Is l a multiple of 6?
False
Suppose 3*i + 1 - 13 = 0. Suppose -2*v + v + 9 = -i*j, 0 = -5*v + 3*j + 28. Suppose v*x = 4*x + 80. Is x a multiple of 16?
True
Suppose q = -2, a - 6*a - q + 5348 = 0. Let r = a - 567. Does 13 divide r?
False
Suppose 4*b + 2*g + 12 = 0, 4*g - 7 = b + 14. Is (b - 30)*(-1 - 0) a multiple of 35?
True
Let x(l) = 2*l**2 + 15*l - 2. Let j be x(-7). Let z = 12 + j. Suppose i - 208 = -z*i. Is 13 a factor of i?
True
Suppose 3*s - 2*r - 309 = 0, 6 = 4*r - 6. Let u be -28*(2 - s/(-12)). Is 30 a factor of u/(-2) + 6/(-12)?
True
Suppose 2*p - 160 + 52 = 0. Let w(k) = -k**3 - 2*k**2 + 31*k - 7. Let t be w(-7). Let z = p - t. Is 6 a factor of z?
False
Let k be -4 + -3 + -1 + 18. Suppose -k*i + 4*v = -13*i + 850, 2 = 2*v. Does 6 divide i?
True
Let v be (6 - 2 - -41)/1. Let i(z) = 53 + z + z + v - 28. Does 8 divide i(0)?
False
Let n = -28201 - -33545. Is n a multiple of 17?
False
Suppose 0 = -8*c + 192792 - 39336. Is 15 a factor of c?
False
Let k = 338 + -201. Let z = 10 + -6. Suppose 2*l = 2*f + 113 + k, 0 = -5*l - z*f + 616. Is l a multiple of 12?
False
Is ((-2)/(-4)*2)/(35/316785) a multiple of 20?
False
Is 5 a factor of 3/36 + 1452682/168?
False
Suppose 3*r = 2*h + 252 - 47, 3*h = -2*r + 141. Suppose 53 = -r*z + 70*z. Is 6 a factor of z?
False
Suppose 317 = -m + 4*m - 6112. Does 38 divide m?
False
Suppose -37 = 2*p + 17. Let f = p - -117. Is f a multiple of 24?
False
Suppose 0 = 18*a -