2 - 18*x - 8. Let b(y) = -y + 1. Let z(v) = -v**3 + 3*v + 1. Let p be z(0). Let t(o) = p*m(o) - 8*b(o). Does 32 divide t(8)?
True
Let i(j) = -22*j - 83. Let p be i(-4). Suppose -4*g - 6*w = -8*w - 252, 3*w = -p*g + 304. Does 3 divide g?
False
Let w be 9/2*15/((-90)/(-436)). Suppose -16*g - 7 = -w. Is 20 a factor of g?
True
Let t(n) = 4*n**2 + 6. Let k be t(-4). Let j = -249 - -219. Let y = k - j. Does 10 divide y?
True
Let p(f) = 3*f + 21. Let i be p(-9). Let j(o) = -o - 1. Let a be j(i). Suppose -3*n - a*n = -160. Is n even?
True
Suppose -2*d + o - 29 = 0, 5*o = -17*d + 13*d - 65. Is (69/5 + -3)*(-350)/d a multiple of 18?
True
Let f(w) = -61*w**3 - 3*w**2 - 51*w - 52. Is 20 a factor of f(-5)?
False
Suppose 168*s - 27523 = 17837. Is s a multiple of 18?
True
Let r(c) = 136*c**2 + 24*c - 22. Does 125 divide r(-5)?
False
Let k(o) = -o**3 + 53*o**2 - 314*o + 46. Does 17 divide k(24)?
True
Is 36 a factor of (258468/28 - -18) + (-1 - -1)?
False
Let m(r) = 31 - 4*r - 61 - r + 27 + 31*r**2. Is 71 a factor of m(3)?
False
Let u(n) be the second derivative of n**4/6 + 5*n**3/2 + 70*n**2 + 64*n - 1. Is 19 a factor of u(-7)?
True
Let o(i) = -i**3 - 14*i**2 + 39*i + 43. Let z be o(-20). Suppose -z + 616 = -3*k. Is k a multiple of 31?
False
Suppose 10869 = 2*b + c, -5690 = -4*b - c + 16047. Does 19 divide b?
True
Suppose -3*x = 5*p - 2 + 14, 3*x + 12 = -3*p. Let r = -3 + 8. Suppose 5*g - o - 695 = p, -3*g + r*o = 6*o - 425. Does 22 divide g?
False
Let d(y) = 3*y**2 - 28*y - 24. Suppose 0*o + 3*n = -2*o + 17, 2*o - 5*n - 57 = 0. Is 8 a factor of d(o)?
True
Let i(c) = 6*c + 3. Suppose -5*u = 4*p + 66 - 4, u = -3*p - 41. Let g(o) = -o**2 - 15*o - 18. Let h be g(p). Is i(h) a multiple of 17?
True
Let u(c) = 142*c - 8. Let o be u(7). Let k = o - 564. Is k a multiple of 18?
False
Let c be (-1 - 7)/((-1924)/(-276) + -7). Suppose 0 = -5*s + 3*b + 700, 5*s + 2*b = 7*s - c. Is 11 a factor of s?
True
Let o be (-4)/(-10)*(-27 + -3). Does 2 divide 4/(o/(-129)) + (-4)/2?
False
Let v = -229 - -232. Suppose -q = -3*i - 82 - 60, -i - 466 = -v*q. Is 15 a factor of q?
False
Let j = 47 - 46. Suppose -5*a - 12 = -3*w, -4*w - 2*a = -15 - j. Is 33 - (-2 - -8 - w) a multiple of 9?
False
Suppose -3*i + 5*w - 70 = 0, -4*i + 5*w - 2*w = 86. Let f be 23*((-12)/i + -1)*-25. Does 46 divide f/15*12 - (-1 + -2)?
False
Suppose -9*s = -11*s + 1194. Suppose 1509 + 693 = 6*y. Let l = s - y. Does 46 divide l?
True
Let d be 4*147/(-56) - 2/(-4). Let y(n) = -n**3 - 9*n**2 + 4*n - 18. Is y(d) a multiple of 7?
True
Suppose -4377 = 23*c - 1134. Let y = 178 + c. Is 15 a factor of y?
False
Suppose -5*i - 1 = -91. Suppose i*r = 13*r + 255. Suppose r + 21 = 6*z. Does 10 divide z?
False
Let a(w) = -w**3 - 5*w**2 + 8*w + 6. Let r be a(-6). Let q be (-1 + -2)*(r - 13). Does 19 divide ((-16)/2)/((-6)/q)?
True
Suppose -x = -6*x + 6670. Suppose 0 = -5*y + 3*k + 2198, -12*y + 2*k - x = -15*y. Is 13 a factor of y?
True
Let j(f) = -7*f**3 + 53*f**2 + 36*f + 34. Let k(b) = -3*b**3 + 27*b**2 + 19*b + 17. Let p(z) = 2*j(z) - 5*k(z). Is p(30) a multiple of 6?
False
Let s = -216 + 218. Suppose s*l + 2*f = -2*f + 580, -f = 5*l - 1477. Is 53 a factor of l?
False
Suppose -23 = -2*m + 3*a, 2*m = -2*m - 5*a + 13. Suppose m*c = c + 492. Suppose -2*y = -c - 30. Is 14 a factor of y?
True
Let j(r) = -5*r + 36. Let k be j(8). Let t(u) = -86*u + 16. Is t(k) a multiple of 18?
True
Let s(g) = g**2 + 27*g - 260. Let j = -170 - -133. Does 73 divide s(j)?
False
Is 7 a factor of 29/290 - (3/21 - 2509092/280)?
False
Let v be 1/5 + (-357)/85 + 2. Is 29 a factor of (14 + -30)/(v/24)?
False
Let w(c) = 13283*c**2 - 4*c - 3. Let b be w(-1). Is -4 + (-78)/(-21) + b/42 a multiple of 15?
False
Is 30206/(-3)*-1 - (-33)/3762*-76 a multiple of 171?
False
Let v be -2 + -2 - 1/(-1). Let t be ((-122)/(-5))/(v/(-15)). Suppose 4*i = 4*d - 3*d - 58, 0 = -2*d + 5*i + t. Does 11 divide d?
True
Let w be (8016/(-14))/2 - 552/(-1932). Let h = w + 1495. Is 24 a factor of h?
False
Let p be 0/((-4)/(-1) + -3). Suppose p = 2*c - 2*g - 0*g - 2, 0 = c + 3*g + 3. Suppose c = -2*z + 2, -5*y + 308 + 147 = 5*z. Is y a multiple of 10?
True
Let d(b) = -7*b + 29 + 46 - 21 + 4*b. Let l be -2 - 4/(-5 + 3). Is 18 a factor of d(l)?
True
Suppose -594 = h + 32*h. Is (-56 - 1)*h/27 a multiple of 6?
False
Suppose 2*c - 2190 = -3*b, 34*c - b + 2194 = 36*c. Is 12 a factor of (-7)/((-42)/c)*5?
False
Let s(o) = 3*o**3 + o**2. Let m(f) = f**3 - 11*f**2 - 9*f - 38. Let i be m(12). Let g be s(i). Does 3 divide (8/g)/((-6)/360)?
True
Suppose -5*p - 2*o + 15579 = 0, -242*o - 3121 = -p - 245*o. Is p a multiple of 26?
False
Suppose -753 + 2788 = d. Suppose 0 = -13*s + d + 1540. Is s a multiple of 12?
False
Suppose 4753 - 6883 = -5*z. Let x = -174 + 397. Let c = z - x. Is c a multiple of 29?
True
Let k = -141 - -120. Does 4 divide (-112)/k*((3 - -63) + -3)?
True
Does 7 divide ((-3276)/(-5)*4/(-12))/(124/(-1240))?
True
Let y(p) = p**2 - 11*p + 109. Let r be y(-16). Let k = r - 499. Is 13 a factor of k?
False
Let h be -1 - (-9)/6*4. Suppose -181 + 712 = 2*a + h*g, -2*a + 510 = -2*g. Does 43 divide a?
True
Suppose 39*u - 50*u = 22. Suppose -4*g = 3*c + 6, 0*c + 4*c - 3*g = -33. Does 29 divide (u/c)/(-1) + (-524)/(-6)?
True
Let a = -5954 + 7421. Is a a multiple of 2?
False
Suppose -7*m - 144 = -11*m. Suppose -3*p = 4*s - 232 - m, 4 = s. Let u = -42 + p. Is 6 a factor of u?
True
Suppose -3*k = -y - 608, -2*k = -k - y - 200. Let a = k - 185. Is a a multiple of 4?
False
Suppose a = -4*c + 23739, -47478 = -2*a + 208*c - 209*c. Is a a multiple of 193?
True
Let b = 8745 + -3543. Suppose b = 35*z + 687. Is z a multiple of 38?
False
Let b be 9*1/(-12)*-24. Suppose -8 = 4*s, b*z + 5*s = 13*z + 8840. Is 59 a factor of z?
True
Suppose 3*x + 2*m - 50 = 0, -x - 6 = 5*m - 1. Is 4 a factor of x/(-3)*33/(-22)?
False
Suppose -d + 4*j = 7*j - 31, 5*d - 185 = -5*j. Suppose 2*v = 86 + d. Is 9 a factor of v?
True
Let c(z) = -10*z**3 + z**2 - 3*z + 4. Let j be c(2). Does 89 divide 5391/(-12)*208/j?
False
Let g(j) = -j**2 + j + 1. Let r(q) = 17*q - 29. Let x(l) = g(l) + r(l). Let o be x(16). Suppose -7*w - o*w = -1276. Is 9 a factor of w?
False
Let i(z) = -4*z**2 - z**2 + 5*z**2 + 2*z + 596 + z**2. Let t be i(0). Suppose -t + 84 = -4*a. Does 16 divide a?
True
Suppose -195 + 615 = 10*o. Does 36 divide 12964/24 + (-7)/o?
True
Suppose -u = 2*u + 381. Suppose 14*m = -3*m + 51. Is (u/m - -2)/((-8)/48) a multiple of 13?
False
Let g(s) be the second derivative of s**7/2520 - 7*s**6/720 + 7*s**5/120 + 3*s**4/2 - 31*s. Let w(t) be the third derivative of g(t). Is 21 a factor of w(14)?
True
Suppose 2*s - 2*l - 1322 = 858, 0 = -3*s - 4*l + 3242. Does 85 divide s?
False
Let m(g) = g**2 + 2*g. Let j be m(4). Suppose 0 = p - 9*p + j. Suppose i + 6 = -i, 0 = 2*f - p*i - 261. Is f a multiple of 28?
False
Let m(c) = 5*c**2 + 11*c + 24*c + 3*c - 13*c - c**2 - 26. Is m(-15) a multiple of 4?
False
Suppose -3*g - 61 = -2*d + 422, d = -5*g - 792. Let o = g - -247. Is o a multiple of 8?
True
Suppose 5*m + 56 = 1. Let w(t) = 11*t**2 + 11*t + 22. Let n(a) = -20*a**2 - 21*a - 43. Let y(r) = 6*n(r) + 11*w(r). Does 40 divide y(m)?
True
Suppose 3*k - 4*n = 38503, -3*k + 5*n - 5033 = -43543. Does 15 divide k?
True
Let k(m) be the second derivative of -m**5/20 + 5*m**4/6 - 3*m**3/2 + 5*m**2 - 2*m + 4. Does 3 divide k(7)?
False
Is 4/14 - ((-1664745)/105 - 10) a multiple of 56?
False
Let x be ((-174)/10 + -1)*(-265)/106. Suppose -x = r - 346. Is 25 a factor of r?
True
Suppose n + 740 + 4084 = 3*n. Is 67 a factor of n?
True
Let w(k) = -15*k + 3983. Is w(41) a multiple of 6?
False
Let y(c) = -17 - 20 - 19*c - 37 + 25. Is y(-4) a multiple of 3?
True
Is (-84878)/(-74) - 0/1*1 even?
False
Suppose 42*n = 24*n - 57*n + 1692000. Is n a multiple of 30?
True
Let y(l) = l - 17. Let o be y(21). Let b(x) = 121*x + 1. Is b(o) a multiple of 46?
False
Let g(i) = 11*i**2 + 32*i + 693. Is g(-24) a multiple of 11?
False
Does 47 divide (-18894)/(-469)*(4 - -493)?
True
Suppose -138*n + 23*n + 1301430 = -253370. Is n a multiple of 175?
False
Let b be (-728)/(-3) + 38/114. Let p = b + 22. Does 5 divide p?
True
Does 76 divide 1026*-12*(-13)/234?
True
Let c(r) = -6*r + 297*r**3 - 1 + r**2 + 3 - 296*r**3. Is 2 a factor of c(4)?
True
Let b(y) = y**3 - 13*y**2 + 14*y - 