2). Let a = c - -848. Suppose a = 4*y - 87. Does 18 divide y?
False
Suppose -3*m - 15 = v + 2*m, 0 = 5*v + 4*m - 9. Let f(u) = 104*u - 10. Is 14 a factor of f(v)?
False
Suppose -2*t + q = -66, -5*q = -5*t - 7*q + 192. Is t a multiple of 18?
True
Suppose 0 = 88*f - 38279 - 31945. Is f a multiple of 133?
True
Let w(y) = 81*y**2 - 31*y + 184. Is w(6) a multiple of 62?
True
Let g = 24 + -21. Suppose -4*n - g*v - 139 = 0, 4*n = -5*v - 121 - 20. Let d = 7 - n. Is d a multiple of 5?
False
Suppose -53*b = -3*f - 56*b + 15237, f - 5059 = 4*b. Suppose -6*d + 1039 = -f. Is d a multiple of 6?
False
Let q = -66 - -71. Suppose 0 = q*a - 4*k + 23, -k = a - 3*k + 7. Does 9 divide 178/(a/(-18)*6)?
False
Let z(v) be the second derivative of 17*v**5/120 - 3*v**4/4 - 7*v**3/3 + 7*v. Let w(p) be the second derivative of z(p). Does 15 divide w(6)?
False
Is 2832*(-8 + 1100/66) a multiple of 236?
True
Suppose 0 = -4*k + 32 + 104. Suppose -39*t - 2*a = -k*t - 438, -4*a = 4*t - 348. Is 8 a factor of t?
True
Suppose 0 = 4*i - 712 - 32. Suppose -i = -3*l + 1209. Does 31 divide l?
True
Is -8 - (2/(-1) - 341172/36) a multiple of 81?
False
Let s(g) = -3*g**2 + 19*g - 2. Let p be s(6). Suppose k + 8 = -3*u, p*k - 4*u - 39 = 9. Let h(m) = 2*m - 2. Does 6 divide h(k)?
True
Let a(q) = 3*q**3 + 18*q**2 - 7*q - 15. Let x(b) = b**3 + 6*b**2 - 2*b - 5. Let h(f) = -6*a(f) + 17*x(f). Does 4 divide h(-9)?
True
Is 61 a factor of (-18398432)/(-1248) + (-20)/6?
False
Suppose 153*c = 75*c + 32*c + 124982. Does 11 divide c?
True
Suppose 2*h = -5*v - 450 + 1234, 3*v = -4*h + 1568. Suppose 4*i - h = 5*y + 803, -4*y = 4*i + 992. Let o = y - -387. Is 31 a factor of o?
False
Let k(h) = -h**3 - 32*h**2 + 4*h + 119. Let r be k(-32). Is r*(-1 - (200/15 + 2)) a multiple of 10?
False
Suppose -34259 = -8*z + 44597. Is z a multiple of 23?
False
Suppose 4*t + h = 20006, 0 = -14*t + 10*t - 5*h + 20014. Is t a multiple of 35?
False
Does 72 divide (1303/(-7) - -1)/(753/84 + -9)?
True
Let p be 14/42 - (-1 + (-42324)/9). Let u(l) = -l**2 + 10*l + 11. Let x be u(8). Does 29 divide 10/(-45) + (p/x - 0)?
True
Let u be 7147/2 + 18/36. Suppose 0 = 4*m + 5*r - u, -3*r - 2*r + 4465 = 5*m. Is m a multiple of 23?
False
Suppose -4*i - 5*s + 15 = 0, 5*i + 4*s - 22 = s. Suppose i*t - 554 = 106. Is 3 a factor of (-24)/t - (312/(-22) - -2)?
True
Is 33 a factor of ((-3512160)/(-190))/9 - 6/(-57)?
False
Let b(s) = -4*s + 10. Let d be b(2). Let j(w) = -5*w**2 + 3*w - 4. Let c be j(d). Is (c/(-15))/(77/(-40) - -2) a multiple of 3?
False
Let c = 475 + -450. Is 602/8*(-21 + c) a multiple of 7?
True
Suppose 3*c + 5*f = 19278, -4*c + 3*f + 16730 = -8974. Is c a multiple of 14?
True
Suppose -7874 = -34*j + 32144. Does 11 divide j?
True
Is ((294 + -32)/(8/2))/(2/236) a multiple of 13?
False
Let u(j) be the first derivative of 2*j**3/3 - 11*j**2/2 + 2*j + 5. Let o be u(7). Suppose 0 = -22*t + o*t - 16. Is t a multiple of 3?
False
Suppose 3*v = -4*g + 35, 2*v - 30 = -4*g - 0*v. Suppose 5*j + 260 = -g*j. Is j/((-9)/((-45)/(-10))) a multiple of 3?
False
Let c(b) = b**3 - 24*b**2 - 10*b + 25. Let k be c(25). Let d = 383 + k. Is d a multiple of 29?
True
Suppose 3*l + 14 = 2. Let p(w) be the third derivative of -3*w**4/4 - 4*w**3/3 - 25*w**2 - w. Is 8 a factor of p(l)?
True
Let t(m) = 90*m - 124*m - 26 - 8. Does 8 divide t(-9)?
True
Let g(h) = 3*h - 32. Let j be g(11). Let s be (405 - j)/(-17 + 18). Suppose 7*p = 3*p + s. Is p a multiple of 23?
False
Let q(w) = w**3 + 11*w**2 + 3*w + 22. Let h be q(-11). Let z(d) = d**2 + 9*d - 12. Let m be z(h). Suppose -m = -g - 1. Is g a multiple of 3?
True
Let k(h) = 3*h**3 - 3*h**2 + 58*h - 506. Is 7 a factor of k(8)?
True
Suppose -6 = 2*k, 5*x - 2*k = -7*k - 5. Let r(t) = 31*t**2 + 7*t - 18. Is 12 a factor of r(x)?
True
Let s(y) = -y**3 + 12*y**2 + 7*y - 26. Is 7 a factor of s(-5)?
True
Suppose 0 = 5*f - 4*n - 2679, -2*f - 2*n = -4*f + 1072. Suppose 6*t - f - 365 = 0. Let g = t - 90. Is 20 a factor of g?
True
Suppose 74*f = 327064 + 178504. Is 56 a factor of f?
True
Let c be 59 + ((-23)/(-46))/(1/(-4)). Suppose 2*r + 123 + c = 2*o, 5*o = -3*r + 426. Does 2 divide o?
False
Let z(b) = -b**3 + 18*b**2 + 88*b - 1. Let v be z(-4). Is v + (37568/36 - (-52)/117) a multiple of 37?
False
Suppose -358*n = -355*n + 9, 4*n = 4*r - 209068. Is 139 a factor of r?
True
Let d be (1/3)/((-7)/84). Let j be (-5 - d)/((-3)/(-9)) + 89. Suppose -70 - j = -2*h. Is h a multiple of 6?
True
Suppose -18*v - 36 = 36. Does 2 divide (-32 + 12)*v/8?
True
Let n(l) = 16*l - 33. Let i = 46 - 61. Let t be n(i). Is 14 a factor of -1 - t/18 - (-1)/(-6)?
True
Let r(p) = 76*p**2 - 5*p - 1. Let j be 2/3*21/(-14)*1. Does 20 divide r(j)?
True
Let h(o) = 2491*o - 1892. Is h(21) a multiple of 131?
False
Suppose -12*s + 35990 = -2602. Does 12 divide s?
True
Let n = -86 - -91. Suppose 5*w = -r - 1912, 1541 = -4*w + n*r - 2*r. Let k = w - -641. Is 43 a factor of k?
True
Let g = 15 - 6. Suppose -4*z - 51 = g. Is ((-6)/z)/(2/270) a multiple of 36?
False
Let z = -178 + 178. Is 8 a factor of 1/(6 - 7) + (z - -73)?
True
Let p be (-70)/(-8) - ((-162)/(-24) - 7). Suppose 636 = p*n - 30. Suppose -a - k - 2*k = -n, 4*a = -5*k + 282. Is a a multiple of 3?
False
Let u(v) = -5*v - 21. Let h be u(-5). Let y be 35/(-10)*1*h/7. Is 11 a factor of (y - 36/(-21)) + 3836/49?
False
Suppose -20*h = -16*h + 176. Let r be (4/2 - h)/((-6)/(-12)). Suppose 70*c - r = 68*c. Is c a multiple of 23?
True
Suppose -227 + 215 = -4*d, d + 49627 = 5*t. Does 48 divide t?
False
Suppose -5*v + 5*k - 5600 = 0, -7*v = -3*v + k + 4505. Let z = -701 - v. Let a = -234 + z. Is a a multiple of 38?
True
Suppose -90 + 70 = -5*a. Suppose 0*v + 2*v = -5*z + 297, 0 = a*z - 2*v - 252. Is 8 a factor of z?
False
Let a(b) = 42*b**2 + 4*b - 4. Let s be a(-2). Let z = 266 - s. Is 12 a factor of z?
False
Let p be 2/(((-8)/6)/(-2)). Let f(i) be the second derivative of 19*i**3/3 + i**2 + 686*i. Is f(p) a multiple of 11?
False
Suppose 99 = -11*i - 143. Let f = 128 + i. Does 4 divide f?
False
Let r = 133 + -86. Suppose -5*w - 272 = -4*g, -3*w - 3*g = r + 100. Let y = w - -68. Is 15 a factor of y?
False
Let w = 20 - 14. Suppose -4*p + w*p = 6. Suppose k = -p*k + 260. Is 7 a factor of k?
False
Let v be (-17 - -12) + 11 + (1 - -587). Suppose g + 2376 = 5*g - 3*m, v = g + m. Is g a multiple of 22?
True
Let w be (4680/75)/(-26)*(1 - 31). Let x(z) = -z**2 + 6*z + 4. Let b be x(5). Suppose b = 3*u - w. Does 9 divide u?
True
Suppose 5*r = 2*a - 58, r + 0*a + 2 = -2*a. Let f be ((-5)/(45/6))/(r/75). Suppose 4*l - 378 = -f*l. Is l a multiple of 22?
False
Let t(b) = -5*b - 14. Let a be t(-7). Let z(c) = 14*c**2 - 9*c**3 - 9*c**3 - 13 + a*c + 19*c**3. Does 11 divide z(-12)?
False
Let g = -3500 - -4162. Does 10 divide g?
False
Suppose 9*q + 20 = 119. Suppose -6*g + 4*v - 149 = -q*g, 0 = -v - 4. Is 7 a factor of g?
False
Let k = 218 - 152. Let f = k + -30. Is 12 a factor of f?
True
Suppose -4*h = -3*n + 75, 51 = -3*h + 7*n - 3*n. Let m(w) = 7*w. Let v be m(-3). Is 5 a factor of (90/h)/(3/v)?
True
Suppose -36*d + 328 = -32*d. Suppose 3*p = p - d. Let x = 61 + p. Is 5 a factor of x?
True
Let d = 36410 + -22281. Suppose 4889 = -14*g + d. Does 56 divide g?
False
Let a be (-6)/((108/(-136))/(-9)). Let r = 129 + a. Is r a multiple of 8?
False
Is 15 a factor of 352836/33 - ((-2)/(-2) + 1 - 5)?
True
Let m(j) = 7*j**3 + 33*j**2 + 3*j + 1. Let v be m(-4). Let l = 276 - v. Is 5 a factor of l?
False
Let n(h) = -83*h**3 + 4*h**2 + 12*h + 35. Let u be n(-3). Suppose -4*f = 4*r - u, -2*f + 2*r + 1163 = -r. Is 15 a factor of f?
False
Suppose -z + 3*n + 0*n = 8, -4*n = -4*z. Let r = 10 - z. Suppose -r*g - 84 = -7*g. Does 12 divide g?
True
Suppose 0 = -p - 5*b + 2097, -5*p - 5*b + 9*b + 10601 = 0. Does 29 divide p?
True
Suppose -3*w + 5*a = -96472, 44*w - 160730 = 39*w - 3*a. Does 22 divide w?
False
Let j be 40/(-1) + 2*1. Let d = j + 104. Is 11 a factor of d?
True
Let p(q) = q**2 - 20*q + 58. Let v be p(13). Is 12 a factor of 3864/5 - v/165?
False
Let c be (9 + (-21)/2)*(-974)/3. Suppose -2*l - 289 = -c. Does 33 divide l?
True
Let d be (9 - 14)*(-26)/10. Let w(u) = u**3 - 13*u**2 + 11*u + 7. Let m be w(d). Suppose 430 = 4*j + m. Is 9 a factor of j?
False
Suppose -5*u + 5 = 0, 7*f - 2*f = -5*u + 5. Suppose f = 5*y - 18 + 3. Suppos