2. Let f be j(6). Let x(b) = 6 - 2*b - 8*b**2 + 18*b**2 - 6*b**f. Is 4 a factor of x(3)?
True
Suppose -2*b - 2*v = 3*v - 33, 4*b = 5*v - 9. Suppose -b*p - 3*q = -151, -5*p = 2*q - q - 186. Suppose 307 - p = 5*k. Is k a multiple of 9?
True
Suppose -2*b + b = 172. Let y = 150 - b. Is y a multiple of 35?
False
Let n = 5199 + 363. Does 6 divide n?
True
Let x be 1/(3 + (-220)/76)*-2. Let f(i) = 24*i + 38. Let l be f(x). Let p = 596 + l. Does 41 divide p?
False
Suppose -2*r + 6 + 16 = 0. Let t(s) be the first derivative of s**4/4 - 10*s**3/3 + 9*s**2/2 - 15*s - 2984. Is 19 a factor of t(r)?
False
Let f = 830 + -329. Suppose 497*c - f*c + 864 = 0. Does 6 divide c?
True
Suppose -402 = -7*u + 123. Suppose -u = -3*c - 3*q, -4*q + 53 = -5*c + 205. Suppose 62 = 3*z - c. Is 10 a factor of z?
True
Does 119 divide (-28496)/10*(-4 - (-3)/2)?
False
Let q be 7*(16/7)/4. Suppose q*f - f - 15 = 0, -2*v = 5*f - 235. Let s = v + -54. Is 6 a factor of s?
False
Suppose 5*d - 25 = 0, 4*v - 7778 - 3017 = -3*d. Suppose 77*w - v = 70*w. Is 5 a factor of w?
True
Let x = 44573 - 42434. Does 31 divide x?
True
Let r(h) = -7*h + 59. Let c be r(8). Suppose c*j = -3*v - 717, 0*v + 4 = -4*v. Let w = -35 - j. Does 44 divide w?
False
Let h(i) = i**2 - 16*i + 4. Let d be h(16). Suppose -4*o + 7*o + 120 = b, -4*b - d*o + 480 = 0. Does 5 divide b/9 + (-12)/(-18)?
False
Let t(z) = 92*z**2 - 233. Is 3 a factor of t(-10)?
True
Let c(q) = 442*q - 2. Let b be c(1). Suppose 0 = 3*p + 83 - b. Suppose 0 = -5*y + p + 96. Does 9 divide y?
False
Let k be (-3)/(-6)*8 - (-16)/8. Suppose l - 4*f - 10 = 0, l - f - 1 = -k*f. Is ((l - 6) + -3)/((-2)/18) a multiple of 22?
False
Let c(j) = -4*j + 146. Let b be c(32). Suppose 167 = -b*x + 1319. Is 8 a factor of x?
True
Let l(v) = 2*v - 33. Let y = -14 + 17. Let x(f) = 3*f - 33. Let s(z) = y*x(z) - 4*l(z). Is 2 a factor of s(-25)?
True
Let o be ((-4)/12)/(1/15). Let v be ((-2)/5)/(1/o). Suppose 121 = 2*y - f, -4*f = -y - v*y + 184. Is 15 a factor of y?
True
Let n(c) = -c**3 - 13*c**2 - 13*c - 12. Suppose -2*v + 84 = -9*v. Let s be n(v). Suppose s = 19*d - 23*d + 160. Is d a multiple of 12?
False
Suppose 1219 = 3*d - t, -2*t - 1235 = -3*d + 3*t. Let m = -160 + d. Suppose 5*s - k = -6*k + 325, k = -4*s + m. Is 7 a factor of s?
False
Let o(r) = 2*r**3 - 31*r**2 + 110*r - 632. Is 9 a factor of o(23)?
False
Suppose 1006*w - 15280 = -2*n + 1005*w, 0 = 5*n - w - 38228. Is 2 a factor of n?
True
Let y be 113/(-5) - 2/5. Let v(g) = -g**2 + 34*g + 172. Let b be v(40). Let i = y - b. Is i a multiple of 14?
False
Let k be 9 - (1 + (-10)/(-2)) - 0. Let r(w) = 46*w**3 - 7*w**2 + 16*w - 3. Is r(k) a multiple of 59?
False
Let o(v) = 2*v**3 - 9*v**2 + 8*v - 13. Let r be o(8). Suppose 42*x - r = 41*x. Is 35 a factor of x?
False
Let g(o) = -130*o + 40. Suppose -56*a + 64*a + 16 = 0. Is g(a) a multiple of 5?
True
Let p be ((-126270)/20)/(-23)*-23*2. Does 63 divide p/(-18) - (-5)/(-10)?
False
Let l be 6/(-4)*282/(-235)*25. Suppose 3*b - 5 = 10. Suppose -20 = 4*s, b*a - s - l = -10. Is a a multiple of 3?
True
Suppose -4*w + 15856 = 4*r - 14028, -3*r + 22427 = 5*w. Is 24 a factor of r?
True
Let g(k) = -3*k**2 - 2*k + 1. Let b be g(1). Let j(f) be the second derivative of 2*f**4/3 + 3*f**2/2 + 2210*f. Is 35 a factor of j(b)?
False
Suppose -4*n + 5*r + 6 = -4, -6 = 3*r. Suppose n = 6*m - 2 - 10. Does 7 divide (-91)/(60/(-50) + m/10)?
True
Let v(o) = -5*o + 28. Let j be v(5). Let p be (-4 - -7)/3 + (-2 - j). Is 3 + p - (2 - 48) a multiple of 11?
False
Let y(g) = 6*g + 145*g**2 - 50*g**2 + 71*g**2 + 6 + 18*g**2. Let d be y(3). Does 12 divide ((-4)/(-6))/(32/d)?
False
Suppose -3*k + 9*k - 18 = 0. Suppose j = k*z + 116 + 5, 5*z + 4*j = -179. Let q = 13 - z. Is q a multiple of 7?
False
Let l = 19277 + -13609. Is l a multiple of 6?
False
Let t be (2 - 12/5) + 924/35. Let w(d) = 4*d + 94. Does 33 divide w(t)?
True
Is 17 a factor of (18560/(-20) - -7)/((-6)/8)?
False
Suppose -2860620 = -134*u - 62*u. Does 15 divide u?
True
Let o = 17 + -13. Suppose o*f - 9*f = 0, -5*f + 8 = 2*n. Suppose 0 = 2*r - 8, s + n*r - 68 = 68. Does 12 divide s?
True
Let j = -1016 - -646. Let q be (-1)/(-6) + j/60. Does 4 divide q/21 + (-830)/(-14) - -3?
False
Let n = -66 + 71. Let q(b) = 207*b + 5. Does 65 divide q(n)?
True
Suppose 0 = 20*g - 437448 - 112272. Does 9 divide g?
True
Let w be -1 - -1 - 1848/(-22). Suppose 0 = 345*n - 338*n - w. Is 12 a factor of n?
True
Is 24 a factor of (1168 - 16)/(4 + 106/(-28))?
True
Let w(z) = -89*z + 61. Does 4 divide w(-18)?
False
Suppose -2*a + 12 = w, 5*w - 22 = 3*a - 1. Suppose -10 = -8*k + w. Does 43 divide 3708/(-27)*(-3)/k?
False
Does 27 divide 5617/2 + (-8 - (-68)/8)*-1?
True
Suppose 26*b + 48531 - 265791 = 9*b. Is 30 a factor of b?
True
Let n = -4023 + 7000. Does 13 divide n?
True
Is 272 a factor of 8 - 33*(-33216)/72?
True
Let v be (0 - (-1260)/(-8))*(-1 + -1). Suppose 12*f - 3*x = 14*f - v, f - 2*x = 175. Does 12 divide f?
False
Suppose -4*v = 3*o - 168916, -2*o + 0*v + 4*v = -112604. Does 276 divide o?
True
Let j(i) = 47*i - 43. Let d be 1/6 - ((-9690)/36)/17. Is 17 a factor of j(d)?
False
Let s be 3 + -3 + -2 + 4. Let v be 2 - 0/(s - -2 - 3). Suppose v*o - 228 = -2*a, -3*o = -2*a + 2*o + 228. Does 19 divide a?
True
Suppose 4*k - 10 = 6, -3*f + 370 = 4*k. Suppose 2*h + f = -5*w, 69 = -3*w - 5*h + 2*h. Does 10 divide ((-153)/(-18) - 6)/((-1)/w)?
True
Let l = -76 + 144. Let b = l + 66. Suppose 2*y - 5*p - 169 = 0, -111 - b = -3*y - p. Does 7 divide y?
False
Let z = 19 + -17. Suppose 46 = -6*x - z. Let y = 176 + x. Is 28 a factor of y?
True
Let z = 9270 - 7815. Is z a multiple of 9?
False
Suppose -5*u - 5*h + 402 = -1403, 4*h - 367 = -u. Let l = u + 64. Let j = l + -263. Is 32 a factor of j?
True
Let b(k) = -1. Let o(d) = 8*d - 52. Let h(i) = -12*b(i) + o(i). Let l be h(8). Suppose -9*c + 11*c = l. Is c a multiple of 4?
True
Let c = 51 - 288. Let r = c + 402. Is 11 a factor of r?
True
Let s be (-3 + (-15)/(-10))/((-2)/20). Let v be ((-15)/s)/(2/(-8)). Suppose 0 = -2*b + v*b - 236. Does 22 divide b?
False
Let g = 35587 + -31933. Does 3 divide g?
True
Let p be (2/6 + -1)/(4/42). Let c = -5 - 7. Let g = p - c. Does 4 divide g?
False
Let d(u) = 330*u - 58. Is d(4) a multiple of 15?
False
Suppose 0 = 85*v - 58*v - 336474. Is 17 a factor of v?
False
Let f = -1788 + 5350. Is 4 a factor of f?
False
Let v = -207 - -206. Does 15 divide (19/114 - (-722)/(-12))/v?
True
Let z be (-24)/(18/48*-2). Let n(w) = -119*w**2 - 2. Let o be n(2). Does 13 divide 8/z + o/(-8)?
False
Let w be -16 + 4 - (6 - 2/1). Let q(x) = -x**2 + 4*x**2 - 19*x + 2*x**2 - 29 - 6*x**2. Is q(w) even?
False
Is 17 a factor of (-108)/(-8)*(-88)/6*51/(-6)?
True
Suppose 3*f + 64808 = 5*y, -5*f + 12643 + 341 = y. Is y a multiple of 23?
False
Is (200379/9)/17 - (-4)/(-6) a multiple of 11?
True
Suppose 14459 - 237659 = -40*b + 8000. Is 17 a factor of b?
True
Let f = 85 + -73. Let w(s) = s**2 + 4*s + 3. Let t be w(f). Suppose -5*h + 10 = -t. Is 14 a factor of h?
False
Let i(t) = t**2 - t - 20. Let p be i(0). Let s be ((-27)/(-45))/((-2)/p). Suppose -s*w + 2*w + 5*f + 38 = 0, -58 = -5*w + f. Is w a multiple of 12?
True
Let u = -2260 - -3381. Let w = 39 - 22. Suppose -u = -w*m + 1. Is m a multiple of 6?
True
Suppose -44*k + 33361 = -k - 256803. Does 28 divide k?
True
Let v(r) = -r**3. Let a(u) = -6*u**3 + 35*u**2 + 43*u - 27. Let s(j) = a(j) - 5*v(j). Is 27 a factor of s(36)?
False
Suppose 0 = 266*v - 194090 - 107554. Is v a multiple of 14?
True
Let t(r) = r**3 + 5*r**2 - 2*r - 2. Let s be t(-5). Let m be 3 - s - (-363)/1. Let i = m - 242. Is i a multiple of 16?
False
Suppose 6*b + 1463 = 17*b. Let x = b - 110. Is x a multiple of 23?
True
Suppose 421*k - 240870 = 310*k. Is 14 a factor of k?
True
Let d = -1501 + 2210. Let r be 2 + -2*(2 + -1). Suppose r = 5*s - d - 276. Is s a multiple of 31?
False
Let p(y) = -6*y**2 - 7*y - 75. Let o(c) = 6*c + 74 + 4*c**2 + 4*c**2 - 7*c**2 + 4*c**2. Let h(v) = 7*o(v) + 6*p(v). Is h(0) a multiple of 15?
False
Let g = -9489 - -10100. Is g a multiple of 3?
False
Let p = 61 - -11. Suppose 4*v + p = 7*v. Is 1*8/(v/351) a multiple of 39?
True
Suppose -p = -x - 9280, -2*x = 16*p - 20*p + 37124. Does 42 divide p?
True
Let y be 0/(-10) - ((2 - -2) + -6). Suppose 5*d - i = 3236, 50*d - 640 = 