2). Let w(j) = 2*j**2 - 2*j + 27 - 7*j - 2*j. Does 26 divide w(k)?
False
Let n(p) = 2*p - 25. Let k be n(15). Suppose -5*o + 65 = k*y, y - 3*o + 2*o = 9. Suppose c + y = g, -3*g - 5*c + 10*c + 37 = 0. Does 3 divide g?
True
Let g = 109 + -106. Let r(z) = 157*z + 2. Let u be r(g). Suppose 4 = t, -x - 84 + u = 4*t. Is x a multiple of 22?
False
Suppose 0 = -3*c + 4*k + 12, 12 = 3*c - 2*k - k. Suppose 5*f - 52 = -c*m, 1 = 2*m + 5. Is 18 a factor of f/36 + 161/3?
True
Suppose 6*v = -2*l + 4*v, l + 2*v + 4 = 0. Suppose 5*h + 1975 = 3*a, a + h + l*h = 665. Is 12 a factor of a?
True
Suppose -7*t - 88 = -4*j - 2*t, -3*t - 63 = -3*j. Suppose 13*c - j*c + 7488 = 0. Suppose -9*l - c = -21*l. Is l a multiple of 39?
True
Let s = 14 - 14. Suppose 3*d + 6 = s, -3*n + 129 + 28 = -5*d. Let g = -1 + n. Is 6 a factor of g?
True
Suppose -247*s = -234*s - 2964. Suppose 0 = -g + 5*g - 12. Suppose -s = -9*q + g*q. Is 14 a factor of q?
False
Let b = -492 - -297. Let v = b - -357. Let g = v - 27. Is g a multiple of 33?
False
Let m(v) = 93*v + 4068. Is m(-26) a multiple of 11?
True
Suppose 0 = -88*n + 124*n - 464112. Is 13 a factor of n?
False
Suppose -3*q - 12 = -6*q. Suppose -q*c + 1732 = -2*g, 5*c - 2*c = -4*g + 1310. Does 62 divide c?
True
Let g = 58513 - 24933. Is 73 a factor of g?
True
Suppose 4*r = 9*w - 5*w - 16, -r - 4 = -4*w. Let o be (-14 + 4)*((-18)/(-5) + r). Suppose 134 = o*g - 42. Is 4 a factor of g?
True
Let h be (-1 + 1)/((-12)/4 - -5). Let q(t) = 2*t + 54. Let r be q(h). Is 12 a factor of (3 - (-1)/(-1)) + r/1?
False
Let z = 64 - 90. Let o be (-3653)/z - ((-6)/4)/(-3). Let u = o - 71. Is 21 a factor of u?
False
Suppose -4*y + y = -3*s + 20313, -5*s + 33855 = 3*y. Is 29 a factor of 0 + 10/6 + s/9?
True
Let m = 22327 - 15873. Does 14 divide m?
True
Let n = 231 - 212. Suppose 7*f = n*f - 4500. Is f a multiple of 13?
False
Let a be (30/42 + 1)/(2/7). Suppose 0 = -20*c + a*c + 17024. Suppose -53*f - c = -57*f. Does 27 divide f?
False
Suppose -17*m + 20*m - 12 = 0. Suppose -4*y = m*d - 320, 261 = 10*d - 7*d - 4*y. Is 8 a factor of d?
False
Let v(x) = x**2 + 35 - 15*x + 72 + 0*x**2 - 25. Is 17 a factor of v(17)?
False
Suppose -17*n + 19032 = -39533. Suppose 21*k - 26*k = -n. Is k a multiple of 13?
True
Let r(n) = 82*n**3 - 4*n**2 + 6*n - 2. Is 5 a factor of r(3)?
False
Let w(z) = 16*z**3 - 9*z**2 + 12*z + 20. Let h(y) = -9*y**3 + 5*y**2 - 6*y - 11. Let n(p) = -5*h(p) - 3*w(p). Let g be (-13)/5 + (-18)/45. Does 11 divide n(g)?
False
Suppose -3*u - p = 1958, -p + 1098 = -2*u - 204. Let h = -382 - u. Is h a multiple of 14?
False
Let c(f) = 49*f**3 - f**2 - 5*f + 5. Suppose 0 = 5*z, -3*s - 3*z - 5 = -8*s. Is 12 a factor of c(s)?
True
Suppose -p + 21*p + 6*p = 0. Let f be 3/(-12) - (-21)/4. Suppose 0 = f*m + 3*y - 451, p + 15 = -5*y. Is m a multiple of 21?
False
Suppose -11*h + 232884 + 226696 = 137192. Is h a multiple of 7?
False
Let m be (-30)/3*24/(-60). Suppose m*o - 6*d = -5*d + 5043, -3*o + 3777 = d. Does 8 divide o?
False
Suppose 12*w + 2625 = 17351 + 9430. Is w a multiple of 7?
False
Suppose 81*l - 260860 + 14458 = 0. Does 13 divide l?
True
Let y be 359 + (-1)/(3/(-18)*3). Does 7 divide 0 - (4 - y/1)?
True
Suppose -3*v - 9 = 4*f - 1, 2*v + 7 = -f. Is (v - (-6)/3)*236/(-4) a multiple of 21?
False
Let h = -69 + 148. Let t = h - 98. Does 9 divide ((-14)/2)/(t/76)?
False
Let q(c) = -c**3 - 21*c**2 + 21*c - 33. Let w be q(-22). Let s(r) = 7*r**2 + 1. Is 33 a factor of s(w)?
False
Let v(f) = f**3 - 5*f**2 + 20*f - 12. Let o be v(13). Suppose -20*q + 24*q - o = 0. Suppose -n = 5*g + n - q, 2*g - 5*n - 131 = 0. Is g a multiple of 9?
False
Let h(z) = 56*z**3 + z - 1. Let i be h(1). Let d = 61 - i. Let w = 20 - d. Is w a multiple of 2?
False
Let v(x) = -4*x - 18. Let w be v(-6). Let p = -44 + 72. Suppose 0 = w*u - 752 - p. Is u a multiple of 13?
True
Let p = 72 - 68. Suppose -p*s - 16 = 4*t, -5*t + 52 = -3*s - 0*s. Is 35 a factor of (-27 + 6)*30/s?
True
Let m = 815 - 1533. Does 39 divide (-56)/(-84) - m/3?
False
Let t(a) = 2467*a**2 + 17*a - 15. Does 4 divide t(1)?
False
Suppose 112*o - 25819 = 90*o + 30083. Does 11 divide o?
True
Suppose 0*s - 3*r - 73 = -4*s, r = 4*s - 67. Suppose -13*u = -s*u + h + 2588, u = 5*h + 886. Is 21 a factor of u?
True
Let a be -1 - (-2)/(-2) - (5 - -1). Is -18*(164/a - -7) a multiple of 16?
False
Does 19 divide 4/6 - 207298/(-102)?
True
Let g(t) be the second derivative of -t**4/12 + 29*t**3/6 - 21*t**2/2 - 26*t. Let v be g(15). Suppose -3*i - v + 24 = -3*d, i + 163 = 3*d. Is d a multiple of 3?
True
Let v = 135 + 65. Let k = v - 14. Let g = 316 - k. Is 33 a factor of g?
False
Suppose -4*d + 17204 = -4*i, -312*d + 309*d - 5*i + 12879 = 0. Is d a multiple of 9?
False
Is 16 a factor of (-3464)/7*(-1 + -13)?
True
Let n(y) = -y**2 + y + 1. Let c be n(-2). Is (-492)/c + 0 + (-6)/15 a multiple of 6?
False
Let j = 10432 - 6912. Is j a multiple of 22?
True
Does 27 divide 34/(6/2770*(-85)/(-102))?
False
Suppose 0 = 6*f - 439 - 185. Suppose 0 = 37*l - 35*l - f. Is l a multiple of 3?
False
Let o(c) = -2*c**3 + 10*c**2 - 7*c + 14. Let j be o(6). Is 40 a factor of (-11)/((-595)/j - 6)?
False
Let f(u) = -u**3 - 8*u**2 + 6*u + 27. Suppose 24 = -3*a - a. Let t be f(a). Let d = 89 + t. Is d even?
True
Suppose 82 = 5*f + 17. Suppose -f = l + 2*q, -3*l = 4*q - 17 + 64. Let y = -6 - l. Does 3 divide y?
True
Let o = 46 - 18. Suppose 3*g - 2*g = o. Is 2 a factor of g?
True
Let y be (2 - 4)*3/(-2). Let k be 13*(-33)/((-3)/1). Suppose -2*o = -o + q - 56, y*o - 2*q = k. Does 24 divide o?
False
Let g(t) = -24*t**3 + 11*t**2 + 14*t + 2. Does 8 divide g(-6)?
False
Let d be (-6)/(-3) - (-2 + 1 + -1). Let w be d/6*2478/28. Suppose -4 = -3*k + w. Is k a multiple of 7?
True
Suppose -n = -4*g + 6809, -4*g + 3*n + 7587 - 768 = 0. Let i = g - 1189. Is i a multiple of 27?
False
Suppose -2*y - 2*y - 2*c = -40, 3*c + 17 = y. Let x(g) be the first derivative of g**2 + 8*g - 3. Does 5 divide x(y)?
True
Suppose 919*t = 587*t - 52924 + 2463244. Does 10 divide t?
True
Let d(i) be the first derivative of 18*i**4 - 2*i**3/3 + 2*i**2 - 6*i + 110. Does 69 divide d(2)?
False
Let t be (13 + -10 - (-12)/(-2)) + 2131. Suppose -18*q - 724 = -t. Is q a multiple of 37?
False
Let y be (3 - (-3)/1)*5. Suppose 9 = z + y. Let o(s) = -3*s + 25. Is o(z) a multiple of 22?
True
Let s be (-35)/(2100/320)*(62/(-4) + 2). Let z = 13 + 15. Let v = s - z. Is 11 a factor of v?
True
Suppose 1920*j + 2272336 = 2096*j. Is j a multiple of 6?
False
Let v(u) = 5*u**3 - 70*u**2 - 153*u + 174. Let k(d) = 3*d**3 - 47*d**2 - 102*d + 116. Let r(n) = 8*k(n) - 5*v(n). Is 28 a factor of r(-24)?
False
Let i(u) = -u**2 - 19*u - 79. Let y be i(-12). Suppose -y*q - 644 = -2*j - 9*q, -3*j + 970 = 5*q. Does 66 divide j?
True
Let q(c) = c**3 + 15*c**2 + 11*c + 2. Let a be q(-11). Suppose -5*j = -a + 105. Is 12 a factor of -4 + 3/3*j?
True
Let a(u) = u + 5. Let b be a(-7). Let s be (b - (-9)/6)*8. Let q(f) = f**3 + 5*f**2 - f + 5. Is q(s) a multiple of 10?
False
Let t(x) = -x - 8. Let z be t(-8). Suppose -5*m + 7*m = z. Suppose m = -3*k + k - 10, -2*k = -5*w + 75. Is 2 a factor of w?
False
Suppose 11*s + 29*s - 497569 = -160129. Is 19 a factor of s?
True
Does 8 divide -7*(-1068)/126*-16*(-18)/12?
True
Let t = 18 + -2. Let v = -32 + t. Is 7 a factor of 24*2 - (v + 16)?
False
Let p be 0/(-2*(-3)/6). Suppose -q - 4*u = -0*u - 158, p = -5*u - 5. Is q a multiple of 30?
False
Let g(v) = -v**3 + 12*v**2 - 15*v. Let b(q) = -2*q + 13. Let h be b(8). Let m be 8 + ((-2)/h)/((-4)/(-6)). Is g(m) a multiple of 18?
True
Let j = 1534 + 1378. Does 8 divide j?
True
Suppose 0 = -2*t - 5*o + 70391, -5*o = -0*o - 35. Does 123 divide t?
True
Suppose 18 = 8*h + h. Suppose 2*v = h*a - 664, v + 0*v = 2*a - 668. Is 50 a factor of a?
False
Suppose -d = -3*c + 19650, -298*d + 299*d = c - 6546. Does 26 divide c?
True
Let t = 57 - 57. Suppose t = -23*j + 20*j + 27. Let p(w) = w**3 - 10*w**2 + 11*w + 4. Is p(j) a multiple of 11?
True
Suppose 4*v + 3*j - 37744 = 0, 6*v - 7*v = -4*j - 9436. Is v a multiple of 18?
False
Suppose 5*g - 4*c - 20 = -67, -3*g = -5*c + 36. Let t(i) be the first derivative of -i**4/4 - 2*i**3 + 3*i**2/2 + 16. Is 7 a factor of t(g)?
True
Let c(n) = n**2 - 8*n - 7. Let z(l) = -l**3 + 8*l**2 + 12*l - 18. Let w be z(9). Let p be c(w)