uppose 146 = -2*u - 2*s + 1740, 0 = 2*s - 6. Is 3 a factor of u?
False
Suppose 3*f + 3*l - 36468 = 0, -3*f - 155*l + 151*l = -36474. Does 150 divide f?
True
Suppose -72*t + 67*t = -765. Suppose 4*n + 64 = 3*w - t, w + 5*n = 47. Does 3 divide w?
False
Is 8 a factor of (1*12)/(339/7910)?
True
Let b = -35637 + 69261. Does 6 divide b?
True
Suppose -3*j = -u + 2706, -j + 5129 = 4*u - 5734. Is 30 a factor of u?
False
Suppose -2*c = 0, 2*l + 5*c - 8*c = 470. Let t = l + -91. Is 18 a factor of t?
True
Is 126 a factor of (-16 + (2 - 2))*(3 + (-9020)/16)?
False
Let r(d) = d**2 - d - 5. Let z be r(-6). Let y = 37 - z. Suppose -n + 11*n - 300 = y. Is n a multiple of 30?
True
Let s = -111 - -114. Suppose 0*j = 5*w - 2*j - 5, -s*w = 2*j - 19. Suppose 82 = 3*x - 4*q + 2*q, 0 = -x + w*q + 39. Does 13 divide x?
False
Is (-78124960)/(-4160) - 2/52 a multiple of 68?
False
Suppose 114 = -4*p + p. Let r = -30 - p. Suppose -r*l - 736 = -16*l. Does 26 divide l?
False
Let q(x) be the second derivative of -38/3*x**3 - 15*x**2 - 4*x + 0. Is 33 a factor of q(-3)?
True
Let f = 82 + -82. Suppose -3*v + 7*v + 1384 = f. Let x = -122 - v. Is x a multiple of 28?
True
Let x(r) = r**2 - 6*r - 29. Let g be x(-6). Let u(n) = -g - 87*n - 38 + 88. Does 12 divide u(-1)?
False
Suppose l - 354 = -4*p - l, -p - 2*l + 93 = 0. Suppose -76 = 2*w + 2*b, 103 = -4*w + b - 54. Let y = p + w. Is y a multiple of 16?
True
Let x(c) = c**3 - c**2 - 4*c + 4569. Is x(0) a multiple of 52?
False
Let m(g) = 76 - 66 - 4*g**2 + 10*g**3 + 4*g**2 - 8*g - 2*g**2. Is 25 a factor of m(3)?
False
Let o = -211 - -471. Let y = o - -100. Does 24 divide y?
True
Let v(y) = y**3 - 3*y**2 - 19*y + 5. Let n = -355 - -364. Does 30 divide v(n)?
False
Let p(b) = -b**2 + 7*b - 5. Let h be p(3). Suppose -h*k = -5*k + 128. Let i = k - -154. Is i a multiple of 10?
True
Suppose 129*r - 83 = 128*r. Let l = -17 - -19. Let n = r - l. Is 26 a factor of n?
False
Suppose 2*w = 8*w - 3156. Suppose -2*v + 154 = -w. Is 20 a factor of v?
True
Let q be 7/(-42) - (-39)/18. Suppose -c = -q*g + 434, -5*g + c - 2*c = -1092. Does 33 divide g?
False
Is 20 a factor of (5784740/(-3952))/((-3)/8*5/3)?
False
Let q(m) be the first derivative of 26*m**3/3 - m**2/2 - 2*m + 100. Is q(2) a multiple of 4?
True
Let q(j) = j**2 - 3*j - 8. Let x be q(0). Let b(y) = -5*y - 40. Let t be b(x). Suppose 3*n - 129 = -3*h, -4*h - 164 = -3*n - t*h. Is 5 a factor of n?
False
Suppose -5*k + 5*d = 55, 0 = d - 5. Is (27/k)/((-5)/10) a multiple of 3?
True
Let o(k) = 24*k + 11*k + 52 + 50 - 45. Is 31 a factor of o(11)?
False
Suppose 0*o + 4*j - 895 = o, -4*o - j = 3580. Is o/2*164/(-410) even?
False
Suppose -a = 5*j - 2*j + 456, -760 = 5*j - 2*a. Suppose b - 6 + 7 = -n, 4*n + 3*b = -8. Does 19 divide (j/n)/(18/45)?
True
Let h be ((-4 - -5)*4)/(6/3). Let w(n) = 23*n**2 + 2*n - 10. Is w(h) a multiple of 21?
False
Suppose 5*l - 4*l - 94 = -5*k, -3*l + 367 = -2*k. Let r = 157 - l. Does 19 divide r?
True
Suppose -6 = 4*i - 30. Suppose -i*s + 23 = -7*s. Let w = 52 - s. Does 9 divide w?
False
Let g be (-10)/(-5 + (7 - 4)). Suppose 4*j + g*h - h - 4 = 0, -j - 5*h = -1. Let u = 73 - j. Does 8 divide u?
True
Let a = 33 + -15. Let z(u) = 4*u**2 + 17*u**2 - 52*u + 2*u**3 + 13*u + 11 - 3*u**3. Is 32 a factor of z(a)?
False
Suppose 104*j = 3*z + 99*j - 6857, 4*z + j = 9158. Is 21 a factor of z?
True
Let z = 89 + -37. Let t = 56 - z. Is 15 a factor of (t/6)/(2 - (-372)/(-189))?
False
Let d(a) be the first derivative of -a**3 - 9*a**2 + 12*a - 13. Let f be d(-7). Is 17 a factor of f/15 - (-3892)/20?
False
Does 9 divide -18*(3 - (1845/(-18))/(-5))?
True
Let q(b) = -b**2 + 24*b - 15. Let d be q(14). Let z = d + -89. Does 6 divide z?
True
Does 18 divide (7 + 16/(-2))/1 - (-17370 + -8)?
False
Does 126 divide (-14)/(-21) + (-121702)/(-21)?
True
Suppose -65*c - 5*s = -63*c - 1225, c = 4*s + 580. Is c a multiple of 2?
True
Suppose 2*a = 6955 - 873. Suppose -2794 = -15*u + a. Is 11 a factor of u?
False
Let v = -606 - -1037. Suppose 1800 = -427*z + v*z. Does 25 divide z?
True
Let n(m) be the third derivative of 15*m**4/8 + 5*m**3/2 - 14*m**2. Let o be n(5). Suppose o = 7*h - h. Does 11 divide h?
False
Let d = 6518 - 4208. Is d a multiple of 10?
True
Let h(v) be the third derivative of -v**6/120 + v**5/15 + 5*v**4/24 + v**3 - 10*v**2. Let x be h(5). Suppose 5*j = x*j - 27. Does 9 divide j?
True
Suppose 0 = -4*b + 5*i + 44, 3*b - 2*i - 22 = b. Suppose -55 = -2*v + 2*f - b, -f = v - 18. Is v a multiple of 4?
True
Let s = 18909 + -2959. Is 280 a factor of s?
False
Suppose 5*d + 0*d - 28948 = -3*w, 3*d - 3*w - 17388 = 0. Is 16 a factor of d?
True
Let g(f) = f**2 + 10*f + 2. Let l be g(-11). Let a(c) = -c**3 + l*c + 4 + 6 + 6*c**2 - 8. Does 10 divide a(6)?
True
Let g be -3 + (-2 - -1 - -9). Suppose 0 - 3 = -3*d, -3*a - 17 = -g*d. Let t(p) = 6*p**2 - 3*p - 10. Is t(a) a multiple of 29?
False
Suppose -9 = 5*t - 29. Let i be t/18 - (-5)/((-225)/(-215)). Suppose -i*c + 210 = -0*c. Does 42 divide c?
True
Suppose -3*t + 66 = -159. Let k = t + 21. Is 24 a factor of k?
True
Let w(b) = 3*b**3 - 33*b**2 - 50*b + 19. Does 4 divide w(23)?
False
Let p(t) = -9*t**3 + 8*t**2 - 5*t + 150. Does 36 divide p(-9)?
False
Suppose 74*c = 81*c - 42. Let b(z) = 3*z**3 - 11*z**2 + 10*z + 29. Does 31 divide b(c)?
True
Suppose -87*w - 102 = -104*w. Suppose 3*l - w*j - 3300 = -3*j, 3*j = l - 1096. Does 22 divide l?
False
Let s(u) = u**3 + 14*u**2 + 3. Let w be s(-14). Is 2 a factor of 54/15*w - (-6)/30?
False
Let t be (400/250)/(1/45). Suppose t - 824 = -8*l. Is 11 a factor of l?
False
Let g be 18/(3/(-41 - -5)). Let l be 6/(-10) - g/60. Is 24 a factor of (99 - 9/l)*1?
True
Let f(z) = -z**3 - 23*z**2 + 25*z + 16. Let n be 2/((-2 - -3)/(4*-3)). Let p be f(n). Let c(x) = -x**3 - 5*x**2 + x + 13. Does 39 divide c(p)?
False
Let r = 36 - 147. Let b be (101 + 0)/1 + r/37. Let m = 26 + b. Is 34 a factor of m?
False
Let c(s) = -2*s + 4*s - 12 + s**2 - 4*s - 4*s. Let p be c(8). Is 44 a factor of 398/3 - p/6?
True
Suppose -187*n = -161*n - 200304. Does 8 divide n?
True
Suppose 56*c = -33*c + 144002. Is c a multiple of 30?
False
Let n be (-46)/(-2) - (22 + -18). Suppose -n + 269 = 2*x. Does 4 divide x?
False
Let j = -5253 - -5370. Does 39 divide j?
True
Let k(q) = 2*q + 1. Let l(r) = 9*r - 10. Let p(t) = -6*k(t) + l(t). Is 8 a factor of p(-8)?
True
Let s = 361 + -182. Let g = s + -71. Let b = g + 5. Does 7 divide b?
False
Let v(a) = -16*a - 115. Let n(z) = -24*z - 173. Let m(l) = 5*n(l) - 7*v(l). Is m(-15) a multiple of 20?
True
Suppose -11*f + 92094 = -115134 - 69532. Is f a multiple of 17?
True
Let s be (4 - (-10)/(-3))*(-3)/2. Let i = 66 + -64. Is 6 a factor of (-148)/2*s*(3 - i)?
False
Is 30 a factor of (66/55 + -1)*10865?
False
Let s(d) = d**2 + 2*d - 5. Let y be s(2). Suppose -5*x = -3*q - 2*q - 280, 4*q - y*x = -223. Let a = -42 - q. Does 2 divide a?
False
Suppose 2*k - 16108 = -2*j, 19*j - 4*k = 21*j - 16106. Is 5 a factor of j?
True
Is 14 a factor of (-36309)/(-182)*-1*(-2)/3?
False
Let j(g) = 25*g**2 - g + 2. Let x be j(2). Let a = -25 + x. Suppose -a = -6*s + 57. Is 3 a factor of s?
False
Suppose 0 = -145*d + 799925 - 270095. Is d a multiple of 14?
True
Let p(a) = -4*a**2 + 2*a + 3. Suppose -21 = 4*g - 7*g. Let l be p(g). Is l/(-4) + (-24)/32 a multiple of 15?
False
Suppose 639*k - 649*k + 2549 = -28611. Is 41 a factor of k?
True
Suppose -10*r = -11*r - 5*o + 5858, 5876 = r - o. Does 107 divide r?
False
Suppose -1 = -m - 3*z - 14, 4*m + z - 3 = 0. Let y(t) = t + 3*t**2 - t**3 + t**2 + 14 + 7*t**m. Is 40 a factor of y(6)?
True
Let n = -207 - -211. Let q(l) = 240*l - 120. Does 20 divide q(n)?
True
Suppose 3*j = -2*r + 6, -2*r - 2*r = 5*j - 12. Suppose -526 = -2*q - 5*m, -r*q + 4*m = 2*q - 1249. Does 26 divide q?
False
Let k(x) = x**2 + 11*x + 11. Let f be k(-11). Let c(j) = 2*j - j - f*j + 9 - 14*j. Does 9 divide c(-4)?
False
Let a(p) = 11*p + 18. Let b(g) = g**3 + 38*g**2 - g - 27. Let m be b(-38). Does 27 divide a(m)?
False
Let y = 5754 - 2463. Is y a multiple of 5?
False
Suppose -2384*t = -2360*t - 9840. Is 4 a factor of t?
False
Let k(c) = 56*c**2 - 18*c + 885. Does 15 divide k(18)?
True
Suppose 3*w - 6 + 33 = 3*k, 2*w + 33 = 5*k. Suppose -20 = k*p, -2*n - 4*p = p - 96. Is 2 a factor of n?
True
Let y(q) = -q**3 - 73*q**2 