. Suppose s = -7*r + 138 - 26. Is 2 a factor of r?
True
Suppose 0 = -2*n + 2*r + 8, -8*r + 4*r = 2*n + 16. Suppose -5*y + 1107 - 207 = n. Does 6 divide y?
True
Suppose 2*a + 13 = -2*q + 7, -2*a = 0. Is 23 a factor of (8/8 - -393) + q?
True
Let j(l) = 54*l**2. Let x(z) = -z**3 + 6*z**2 - 5*z + 3. Let b be x(5). Let i be (-5 + (5 - 2))*b/(-6). Is 11 a factor of j(i)?
False
Suppose s + 31*s - 64 = 0. Suppose -s*c + 1450 = 82. Is 36 a factor of c?
True
Let d(v) be the second derivative of 2*v**3/3 + 8*v**2 - 21*v. Let s be d(-3). Suppose -j + 26 = 2*b - 3*j, -s*j = 4. Is 4 a factor of b?
True
Let t(s) = -451*s - 2928. Is 135 a factor of t(-93)?
True
Suppose 0*s + 8 = -2*s - b, -5*b = -2*s - 32. Is 3 a factor of ((-4)/s - 135/(-162))*26?
True
Let w be 5/(-5) - ((-2616)/4 - 3). Let d = -162 + w. Does 60 divide d?
False
Let g = 158 + -165. Let j(q) = 7*q**2 + 19*q + 78. Is 24 a factor of j(g)?
True
Let u be ((-4)/(-2))/(4/8). Suppose 52 - u = 3*r - 3*h, 5*h = 3*r - 56. Is (426/r - 3)*12/3 a multiple of 19?
False
Suppose j - 3*t = -j + 15, -5*j + t + 5 = 0. Suppose -2*w + o = -j*w + 183, 2*o - 6 = 0. Is w/(-5) - (3 + 1) a multiple of 7?
True
Let n(v) = -8*v - 54. Let s be n(-7). Suppose 0 = 17*z - s*z - 6600. Is z a multiple of 12?
False
Let p = 210 + -212. Is (-2)/((-2)/(-3)) - 298/p a multiple of 9?
False
Let f = 6360 + 4168. Is f a multiple of 47?
True
Suppose 0*r = 4*l - r - 29, 2*r = -l + 5. Suppose -5*a = -l - 28. Suppose 0 = a*b - 1738 + 338. Is 44 a factor of b?
False
Suppose 0 = -51*u + 44*u + 112. Suppose -3 = 2*y - 31. Suppose 0 = 5*c + 3*p - y, p = 3*c - p - u. Does 4 divide c?
True
Is 38 a factor of 1833069/147 + 23 + 2/14?
False
Let r(y) = 16*y + 21. Suppose 2*q - 29 = -3*t, 4*t + 10*q = 9*q + 37. Is r(t) a multiple of 3?
True
Suppose -11*g = -10*g - 9. Suppose l - g = -1. Suppose 4*p - 5*u + 53 = l*p, -u + 25 = 2*p. Is p a multiple of 3?
True
Suppose 80*r - 84*r = q - 9141, 0 = 5*r - 2*q - 11410. Is 251 a factor of r?
False
Let z be 3 + 1/(1 + -2). Suppose -81 = -6*t - 143 - 232. Is 6 a factor of 1*(0 + 2) - (t + z)?
False
Suppose 3*w - 339 = 57. Suppose -4*p = 3*i - p + w, -118 = 3*i - 4*p. Let f = i + 50. Does 8 divide f?
True
Let f(m) = 5*m + 53. Let i be f(-10). Suppose -188 = -i*u - 4*t, -304 = -6*u + u - 2*t. Is u a multiple of 60?
True
Let o(y) = -y**2 - 4*y + 3. Let s be o(1). Is (-1)/s + 0 + (-435)/(-6) a multiple of 6?
False
Suppose s - 87 = 425. Suppose -b + s = -m, -11*b = -8*b - 4*m - 1538. Suppose b = -7*z + 2302. Is z a multiple of 32?
True
Let s(g) = -g**3 + 42*g**2 + 79*g + 44. Let j be s(40). Suppose -4*b = p - j + 1708, -2*b - 5*p + 2348 = 0. Does 101 divide b?
False
Suppose h = 5 + 1. Let a(g) = -2*g**3 + 11*g**2 + 7*g + 8. Let d be a(h). Is (-7)/((-147)/d) + 394/3 a multiple of 18?
False
Suppose -59*a - 128009 + 1308479 = 50*a. Is a a multiple of 28?
False
Suppose 4*m + 5*s - 17 = 0, 4*m - 3 - 5 = 4*s. Suppose -b + 4*w = m*b - 1180, 0 = b - 3*w - 305. Is b a multiple of 58?
True
Suppose -2*a = o - 1047, -1038 = -2*a - 2*o - 2*o. Let f = a - 301. Is 28 a factor of f?
True
Let x be 4/6 - (-200)/(-3). Let o be 15/4*420*(-8)/(-36). Let d = x + o. Is d a multiple of 14?
False
Let u(p) be the third derivative of 0 - 12*p**2 + 2/15*p**5 + 1/12*p**4 - 1/6*p**3 + 0*p. Is 10 a factor of u(3)?
False
Let w = 69 - 7. Let c = -58 + w. Does 10 divide ((-4)/2 + 100)*2/c?
False
Suppose 99616 + 141494 = 109*d + 61369. Is 49 a factor of d?
False
Suppose 8 - 23 = -3*z, -m - z = -3797. Is 12 a factor of m?
True
Let o(u) = 7605*u**2 + 358*u - 716. Is 90 a factor of o(2)?
True
Let k = -612 - -1093. Is 8 a factor of k?
False
Suppose -2*z - 2*g + 11585 = 3*g, 8*z + 4*g = 46388. Does 20 divide z?
True
Let c = 103917 + -42093. Is c a multiple of 224?
True
Suppose l = 4*t + 10, 0 = -3*t - 4*l - l + 4. Let s be 4/(-1)*t/(-8). Does 11 divide (-2 - (-3 - -215))/(s + -1)?
False
Let h(d) = -27 + d**3 + 0*d - 6*d**2 - 23 + 6*d + 47. Let f be h(5). Is 12 + 2 + 2*f a multiple of 6?
True
Let h = 84227 + -58487. Is 52 a factor of h?
True
Is 11 a factor of ((-165)/10)/(14/63 - 31/126)?
True
Does 22 divide 919/(((-2)/8)/(77/(-308)))?
False
Suppose f - 100383 = -3*q, 2729*q - f - 167289 = 2724*q. Is q a multiple of 120?
False
Suppose 30*i - 43*i + 65 = 0. Suppose 0*c + 2048 = 2*c + i*y, -2088 = -2*c + 5*y. Does 78 divide c?
False
Suppose 9*k = -598 - 1382. Let x = k - -270. Does 35 divide x?
False
Let g(d) = d**2 + 11*d - 4. Let r be g(-12). Suppose -r - 10 = -6*i. Is 22 + (-16)/12*i a multiple of 3?
True
Let d(s) = -2*s**2 + 6 - s**2 + 36*s**2 + s - 14*s**2. Is 20 a factor of d(-2)?
True
Let f be 3/(-18) + 0 + 217/42. Suppose 0 = -f*l - 5*d + 1355, -3*d - 1 = 2. Is 8 a factor of l?
True
Let u = -4 + 9. Suppose u*j - 13*j = -2672. Is j a multiple of 9?
False
Suppose 3*f = -s + 113, -s + f + 117 = 4. Suppose -15 = n - 22. Suppose -n - s = -b. Is 20 a factor of b?
True
Let m(a) = -4*a**3 - 20*a**2 - 41*a + 9. Does 30 divide m(-10)?
False
Suppose 2*s - 4*p = 40962 - 15186, 5*p + 12882 = s. Suppose -8740 = -26*i + s. Does 16 divide i?
True
Let d = -757 + 1065. Suppose 9*p - d = -2*p. Is p a multiple of 14?
True
Suppose -2*v - 26 = -2*b - 0*b, -v + 3 = 3*b. Is 316/6 + (12/v)/2 a multiple of 12?
False
Let b(g) = g + 8. Let v be b(-6). Suppose o = -30*o - 5*o. Suppose v*s = -2*q + 5*q + 81, o = -3*s + 2*q + 124. Is s a multiple of 6?
True
Let q = 12290 - -13704. Does 317 divide q?
True
Let r(v) = 715*v + 1810. Is 16 a factor of r(8)?
False
Suppose -4*z + 2139 = 3*w, 9*z - 4*z = -3*w + 2673. Is z a multiple of 5?
False
Let g(p) = p**3 + 11*p**2 + 6*p + 5. Suppose 94*u = 88*u - 30. Is g(u) a multiple of 25?
True
Suppose 0 = -5*c - 3*q + 18, -c + 2*q + 0*q = -14. Suppose -94 = -b + c. Let j = b + -43. Does 12 divide j?
False
Let o be (-16)/6 + 28/42. Does 31 divide (-92)/(-230) + -218*o/10?
False
Is 49 a factor of (20/4 - (4 + -2201)) + 3?
True
Suppose 65*b - 63*b = -32. Does 10 divide 520/3*(-24)/b?
True
Let c(z) = -z**2 - 4*z + 14. Let q be c(5). Let o = -29 - q. Suppose o*a = -3*i + 106, 0*a = 4*i + 5*a - 139. Is i a multiple of 18?
True
Let n(o) = -69*o - 3012. Is 6 a factor of n(-70)?
True
Let x(k) = -2*k**3 + 95*k**2 + 51*k + 68. Is 5 a factor of x(48)?
False
Suppose -5*d = s + 355, -4*s - 1328 = -d + 176. Let u = 835 + s. Let m = u - 284. Is m a multiple of 17?
False
Let t = 108 - 82. Suppose 3*j = -2*i + t, -i + 6 = -2*j - 0. Is 5/(-2)*37/i*-4 a multiple of 19?
False
Let b(z) = z**2. Let a(t) = 0*t + 2*t + 8*t**2 - 8 + 0*t - t**3 - 9*t**2. Let w(u) = -a(u) - 3*b(u). Is 10 a factor of w(6)?
True
Let r(p) = 3*p**2 + 227*p + 860. Is 31 a factor of r(-97)?
True
Suppose -h = -3*m + 2835, 13*m - 12*m + 3*h - 935 = 0. Suppose 5*z + m = -3*n + 2661, 5*n = 4*z + 2800. Does 40 divide n?
False
Let o(y) = 579*y**3 + 1. Let g be o(1). Suppose 0*c + c - 23 = -5*r, -2*r = 5*c - 23. Suppose -z + g = c*z. Is z a multiple of 15?
False
Suppose -h = 2*m + 14 + 23, 5*h + 255 = 4*m. Let o be 0/2 + 3 + -66. Let f = h - o. Is 12 a factor of f?
False
Let v(t) be the first derivative of -t**4/4 + 4*t**3/3 + 5*t**2/2 + 12*t + 16. Is v(-3) a multiple of 30?
True
Suppose 763698 = 10635*k - 10609*k. Does 112 divide k?
False
Let a = -4 + 7. Suppose -9 = a*o - 27. Suppose -15*m + 16*m = o. Does 5 divide m?
False
Suppose -o + 2*o = 4*k + 349, 5*k + 415 = -3*o. Let j(w) = -w**3 + 14*w**2 + 17*w - 33. Let p be j(15). Does 43 divide k/((3 - -1) + p - 2)?
True
Suppose a = 5*y + 3*a - 10, -4*y + 5*a = -41. Suppose 5*b - o - 526 = 0, -5*b = y*o - 2*o - 523. Suppose -b = -3*n - k - 11, 0 = 4*k - 16. Is 5 a factor of n?
True
Suppose 11157 = -10*y + 26757. Does 5 divide y?
True
Let i(v) = 2*v**2 - 24*v - 34. Let d be i(-16). Suppose 0 = 4*n + q - 674 - d, -3*n - 5*q + 1135 = 0. Does 10 divide n?
False
Let l = -4326 + 7224. Is l a multiple of 14?
True
Let y be (4 - 2 - -1) + 6 + -4. Let t(n) = 21*n**2 - n + 7. Is t(y) a multiple of 33?
False
Suppose -21*v - 553588 = -1674023 - 850142. Is v a multiple of 93?
True
Suppose -o - 2 = -5. Suppose 0 = p + a - 20, 3*a - 4*a + 56 = o*p. Suppose 28*d = p*d + 270. Does 7 divide d?
False
Let u be (-7539)/(-42)*(1 - 3). Let p = u - -610. Is p a multiple of 21?
False
Suppose -55 = -12*q + 17*q. Let s(f) = -6*f - 62. Let m be s(q). Suppose y - 710 = -m*y. Does