248 + -1072. Suppose -5*k = -2*o - 2570, -157 = 2*k + o - j. Is k a multiple of 32?
True
Suppose 0 = -4*u - 2*r - 460, -5*u + 5*r = 1 + 604. Let h = u - -136. Is 3 a factor of h?
False
Let s(w) = w**2 - w - 2. Let f be s(-3). Let t = 10916 + -10887. Suppose f*v = 9*v + t. Is v a multiple of 6?
False
Suppose -8*o - 4*o - 1452 = 0. Is 5 a factor of (20/5 + -3)/((-1)/o)?
False
Let z(j) = 2*j**3 - 41*j**2 - 20*j - 18. Let d be z(21). Let h(w) = -12 + w + 5*w**2 + 2*w**3 + 3*w**2 - 3*w**d - 10*w**2. Is 8 a factor of h(-6)?
False
Let p = 107 - 64. Suppose 4*o - 25 = p. Let n(h) = h + 26. Is 30 a factor of n(o)?
False
Suppose 3 = 2*a + 4*g - 37, 5*a - 4*g = 114. Suppose 0 = a*p - 18*p - 4*k - 4340, -2166 = -2*p + 3*k. Is 9 a factor of p?
True
Let b be (-7)/3 + 2 - (-1624)/(-87). Let w(k) = -k**2 - 24*k - 46. Is w(b) a multiple of 11?
False
Let n(d) = 29*d**3 + 2*d**2. Let s = -120 + 122. Is 24 a factor of n(s)?
True
Let o = 36 - 37. Let i(l) = -l + 1. Let p(g) = 14*g - 19. Let t(k) = o*p(k) - 2*i(k). Is t(-5) a multiple of 11?
True
Suppose -4424 = -2*u + 4*x, 0 = u - 2*x - 2*x - 2220. Does 29 divide u?
True
Suppose 5 = -t, 10004 = 3*g - 5*t + 4*t. Is 11 a factor of g?
True
Let g(h) = -5*h**3 - 6*h**2 - 16*h + 12. Is g(-4) a multiple of 20?
True
Suppose 43*k - 41*k - 39196 = -5*u, -2*k - 4 = 0. Is 10 a factor of u?
True
Let r(j) = 149*j**2 - 11*j - 153. Let p be r(-14). Suppose -p = -8*t - 25*t. Is t a multiple of 16?
False
Let x(y) = -y**3 + 15*y**2 - 3*y + 24. Let s(r) = -2*r - 42. Let o be s(-27). Is x(o) a multiple of 61?
False
Suppose 0 = 4*y - m - 41556, 5*y = y + 2*m + 41556. Does 67 divide y?
False
Let d(c) be the second derivative of c**3/3 + c**2 - 15*c. Let q be d(-1). Suppose 0 = 3*l - q*l - 4*s - 103, 4*l + s = 112. Is l a multiple of 5?
False
Let f = 136 + -492. Let w be f/(-6)*(-6)/(-4). Let p = -47 + w. Is p a multiple of 19?
False
Is 1 - (2 - 568)/(4 - 456/116) a multiple of 57?
True
Let t(i) = i**3 + 5*i**2 - 2*i - 4. Suppose 0 = r - 1, r = 5*v + 3*r + 23. Let c be t(v). Suppose 2*g - 6 = c. Is g a multiple of 3?
True
Suppose -9*u + 316 = j - 14*u, 5*u = -4*j + 1164. Does 3 divide j*(8 + -7) - -9?
False
Let n = 10642 + -6709. Is n a multiple of 12?
False
Let n be 213/(((-2520)/(-32))/(-15) + 6). Let a = -93 - -289. Let c = n - a. Is 10 a factor of c?
False
Let x(i) = -65*i + 3222. Is 29 a factor of x(-12)?
True
Let f(y) = 68*y**3 + 16*y**2 - 123*y - 7. Is 70 a factor of f(7)?
True
Let b = -1804 + 1803. Let d = 87 + -54. Does 2 divide (44/d)/(b/(-30))?
True
Suppose p + j - 1389 = 0, 14*p - 5*j = 18*p - 5559. Is p a multiple of 18?
True
Does 207 divide 2101054/50 - (-13 + ((-1308)/50)/(-2))?
True
Let d(f) = -f**3 - 45*f**2 + 45*f + 54. Does 3 divide d(-46)?
False
Let v(i) = 6959*i**3 - 8*i**2 - 11*i + 19. Is v(1) a multiple of 119?
False
Suppose 4*f - x = 73483, -3*f - 13*x + 55093 = -11*x. Does 39 divide f?
True
Let m(j) = -j**3 - 39*j**2 - 95*j + 9. Is m(-41) a multiple of 21?
True
Let y be 2937/27 - (-4)/18. Let s = 107 - y. Does 7 divide (s - 9/(-2))*882/45?
True
Let i be ((-30)/90)/(1/(-18)). Suppose 0 = i*o - 10 - 8. Is 3 a factor of o?
True
Does 35 divide 0 + 1055 + (-35 - (-7 - 23))?
True
Suppose 4*f - 4 = 2*n, -5*f + 4 = -n - f. Suppose n*q = -2*q + 14. Suppose q*s - 385 = -4*s. Is s a multiple of 5?
True
Is 17 a factor of 10 + 242148/(-119)*-14?
False
Suppose -1085 = -4*l - r, 2*l - 2*r = 7*l - 1360. Does 15 divide l?
True
Suppose 215 = -2*j + 7*j. Suppose -1109 = -o - 1046. Let p = o - j. Is 10 a factor of p?
True
Let w(y) = y + 32. Let j be w(-11). Suppose 4*c + j*c = 2275. Is c a multiple of 16?
False
Suppose -4*h + 2*v = 2990, 5 = 6*v - 5*v. Let c = h + 805. Is c a multiple of 20?
True
Let u = -2392 + 5340. Does 62 divide u?
False
Let s(a) = a**2 - 3*a - 20. Let f be s(-5). Suppose -f = -u + 20. Is u/12*36/10 a multiple of 3?
True
Does 12 divide 8*(-1 + 2) + 257012/28?
False
Suppose -236112 = -143*q + 175822 + 140046. Does 16 divide q?
False
Suppose -52*r + 57*r - 60 = 0. Suppose -r*j + 816 = -8*j. Is 17 a factor of j?
True
Let b(l) = 3*l + 11. Let j be b(-8). Let y(n) = n**2 - 2*n + 14. Let w be y(7). Let q = w + j. Is q a multiple of 9?
True
Let y(d) be the second derivative of 37*d**4/4 - 11*d**3/3 - 32*d**2 + 7*d + 3. Is y(-3) a multiple of 91?
True
Let d(n) = 19*n**2 - 49*n - 160. Let j(o) = 9*o**2 - 24*o - 79. Let x(h) = -6*d(h) + 13*j(h). Is 7 a factor of x(11)?
True
Let p = 1787 + -1275. Is p a multiple of 60?
False
Suppose -18*v + 28*v = -70. Is 17 a factor of 17974/66 + 3/(-2 + v)?
True
Suppose -374*m + 84900 = -368*m. Does 25 divide m?
True
Let g be 1*(3 + 2 - 2). Suppose 642 = 3*p - p - 2*d, -d = -g*p + 955. Is p a multiple of 8?
False
Let d(a) = -8*a + 32. Let f be d(-7). Let n(z) = 2*z**2 + 2*z - 2. Let t be n(5). Let u = f - t. Is 10 a factor of u?
True
Let k(x) = 2961*x**3 - 60*x**2 + 57*x + 2. Is 10 a factor of k(1)?
True
Is 2 a factor of 24/(-42) + 149088/224?
False
Let c(u) = 17*u**3 + 3*u**2 - 46*u + 29. Is 30 a factor of c(6)?
False
Let r = 538 + 7413. Is 203 a factor of r?
False
Let l(p) = 6*p**2 - 129*p - 651. Is l(-5) a multiple of 8?
True
Let w(h) = 4*h - 29. Let t be w(8). Is 20 a factor of 833/14*(-24)/(-21)*t?
False
Let z be 44 - -4*(-5 + 4). Is 39 a factor of (-2533)/(-5) + 16/z?
True
Is 411/(-2)*-14 + (-42)/(-54)*9 a multiple of 28?
True
Suppose -4*p = 3*t - 440, -3*t = -15 + 3. Let g = p - 102. Suppose 3*y - 3*r = 174, y + g*r - 158 = -2*y. Is 8 a factor of y?
True
Let d(y) = -7*y - 74. Let q be d(-12). Let b be (672/q + (-4)/(-5))*-2. Let j = -54 - b. Does 4 divide j?
False
Does 31 divide (-8)/4 - (-37 - 31616)?
True
Let p(c) = 2*c + 604. Does 48 divide p(-14)?
True
Let l be (-1)/(5/(-606 - -1)). Suppose 622 = 123*n - l*n. Does 10 divide n?
False
Let y(o) = -o**3 - 50*o**2 + 120*o - 556. Is y(-53) a multiple of 11?
False
Let l(c) = 11*c**2 - 37*c + 7. Let b be 2 + -4 + 1 + 11. Is l(b) a multiple of 27?
False
Suppose -53*g = g - 24*g - 70920. Is g a multiple of 6?
True
Suppose -44 + 8 = 18*f. Is 13 a factor of (11/f - -3)*(-1836)/30?
False
Is (-124542)/(-10) + (-16)/(-20) a multiple of 23?
False
Let w(s) = s**3 + s**2. Let z be w(-1). Suppose 55*a - 60*a + 690 = z. Is a a multiple of 46?
True
Suppose -203*q - 11590930 = -366*q. Is q a multiple of 149?
False
Let h(d) = -d**3 - 25*d**2 - 23*d + 33. Suppose 5*q + 191 = 71. Let l be h(q). Suppose 0 = -2*m - l + 25. Does 4 divide m?
True
Suppose -1101879 = -108*x - 83*x. Is x a multiple of 21?
False
Let n = -6423 + 8291. Is 19 a factor of n?
False
Let d = 364 + -365. Is 45 a factor of (-419 + d)*66/(-44)?
True
Let b(f) = -f**2 - 12*f + 2. Let s be b(-12). Let d be s + 1 + (-3)/(-3). Suppose 5*k = -v - 7 + 105, -v = d*k - 96. Is 11 a factor of v?
True
Suppose 12*y + 9 - 249 = 0. Suppose 5*t - 1645 = -s, -y = 4*s - 8*s. Is 73 a factor of t?
False
Suppose 4*r = -13*r + 85. Suppose 3*k - 4 = 4*j + 13, -r*k - j + 36 = 0. Is 7 a factor of k?
True
Let k be 11/(-33) - (-1 - (-678)/(-9)). Let u = -71 + k. Suppose -u*p = -5, -h + 6*h = p + 404. Is h a multiple of 12?
False
Suppose 3*n = -2*g + 7496, -2*n - 20821 + 5797 = -4*g. Is 15 a factor of g?
False
Let j be 3/(-12) - (225/4)/(-1). Suppose -16*b + 14*b + j = 0. Is b a multiple of 11?
False
Suppose q - 3 = 4*t, -5*t - 1 = -q + 2. Suppose -g + 3*g + 2*a - 964 = t, -2*g + 960 = a. Is g a multiple of 43?
False
Let q(a) = -a. Let t be q(12). Let v be (1 + -2)/(1 - t/(-10)). Suppose 2*s - 5*s = -4*f + 459, -4*f - v*s + 483 = 0. Is 13 a factor of f?
True
Suppose 15881 = -13*t + 48034 + 81753. Is 26 a factor of t?
True
Suppose -33603 = -4*p + 3*d + 33638, 4*p = -d + 67229. Does 22 divide p?
True
Suppose -4*k + 2*w = -w - 139, 0 = 4*k - w - 137. Let n = k + -31. Does 11 divide n + -1 + -2 + 33*4?
True
Let s = -31 + 7. Let t be 4/s + 75/18. Suppose 348 = 4*l - t*r, 4*r + 0*r - 16 = 0. Is 15 a factor of l?
False
Is 171 a factor of -3328*(14 - (-276)/(-16))?
False
Let k be (-1304)/120 + 11 + (-2)/15. Suppose -9*d + 378 + 405 = k. Is 45 a factor of d?
False
Suppose 20 = 3*y + 5*v - 36, -y = 5*v - 32. Suppose 0*t = -3*t + y. Suppose -t*c + 7*c = 465. Is c a multiple of 14?
False
Let b be 0/(-41) - -2*2. Suppose b*n = -0*n + 5120. Does 32 divide n?
True
Suppose 5*o = r + 12, 0 = -4*r + 2*o + o - 14. Let c be (2 