2*n, -5*n + 5*x + 200 = 0. Is 3 a factor of ((-48)/n)/(-1 - 7/(-9))?
True
Let h(x) = 2*x**3 - 10*x**2 + 25*x - 167. Is 15 a factor of h(10)?
False
Suppose 4*n + 36643 - 10461 = 3*h, -2*h = 2*n - 17464. Suppose 8*f + 2*f = h. Is 20 a factor of f?
False
Does 17 divide 49099/13 - 4/(-14 + 84/(-7))?
False
Let z(n) = 14*n + n**3 - 11*n + 2*n - 42. Let w(o) = 3*o**3 + 15*o - 126. Let x(y) = -6*w(y) + 17*z(y). Does 9 divide x(0)?
False
Suppose 11027 = 11*y - 19784. Suppose -25*n = -2*k - 21*n + 1874, -3*k + y = 4*n. Does 17 divide k?
True
Let t = 5137 - 2947. Is 15 a factor of t?
True
Let q = 429 - 50. Let x = q - 190. Does 27 divide x?
True
Is (23/(-46))/(-3 + 5/2)*1972 a multiple of 9?
False
Let y be (-45)/24 + (-3)/(-72)*-3. Let x = 75 - y. Is x a multiple of 5?
False
Let o = 296 - 5. Let l = o + -259. Does 20 divide l?
False
Is 26779/9 - 332/747 a multiple of 25?
True
Let l(c) = 2*c**3 + 14*c**2 - 19*c - 19. Let v be l(-8). Suppose 5*b + v*k - 434 - 436 = 0, 4*b + 3*k - 695 = 0. Is b a multiple of 3?
False
Suppose -4*h = m - 5*h + 101, -4*m + h - 392 = 0. Let t = m + 103. Is 11 a factor of (0 - -1)/(t/570)?
False
Let b(f) = 2*f - 22. Let d be b(13). Suppose -68 = -4*t - d*y, t - 4*t + 2*y = -46. Does 8 divide 6*t + ((-3)/1 - -3)?
True
Let p = 182 + 101. Suppose k - p = 7*h - 3*h, 3*h + 591 = 2*k. Is 19 a factor of k?
False
Suppose -24 = 21*q + 18. Let d = q - -112. Is d a multiple of 11?
True
Let l(d) = -331*d + 112. Does 8 divide l(-16)?
True
Let l(u) = 229*u - 401. Does 3 divide l(8)?
True
Let p(s) = -2*s**2 + 6*s + 5. Let v be p(-10). Let y = 156 + v. Let r = -86 - y. Does 4 divide r?
False
Suppose 5*l - 924 = 4*p, -367 = -2*l + p - 2*p. Suppose 0 = 5*a + 4*j - 453 - 494, -a + j = -l. Is a a multiple of 17?
True
Let y(u) = -8*u**3 + 3*u**2 + 4*u + 2. Let q be y(-1). Let n(v) = 14 + 64*v + 3 - 8 - q*v. Is n(3) a multiple of 29?
True
Let r(h) = -92*h - 7. Suppose 3*l - 5 = -2*j, 2*l - 15 = -0*j + j. Let o(b) = -91*b - 7. Let q(z) = j*r(z) + 4*o(z). Is 29 a factor of q(2)?
False
Suppose -2*g - 3*r = 12 + 29, 4*r + 60 = -3*g. Let v(y) = y**3 + 2*y**2 - 10*y - 4. Let w be v(-4). Does 10 divide 2*(60/g + w)*280?
True
Suppose 65*p = 53*p - 8352. Is p/(-10) - 26/(-65) a multiple of 35?
True
Let f(i) = 4*i - 3*i**3 + 2*i - 8 + 2*i + 6*i**2 + 2*i**3. Let o = 37 + -31. Is f(o) a multiple of 20?
True
Let l(i) = -770*i - 1782. Is 68 a factor of l(-16)?
False
Suppose -5178 = -4*x - 2*x. Suppose -x*n + 867*n - 60 = 0. Does 15 divide n?
True
Is 186 a factor of (-140724)/54*(0 + -1)/1 + -2?
True
Suppose -5*o + 30 = 5*l - 75, l + 5*o - 5 = 0. Suppose d - 3 = -4*m, d - 6*d = l. Suppose 2*i - 421 = g, -605 - 233 = -4*i - m*g. Does 16 divide i?
False
Suppose 5*m - 6*z = -9*z + 691, 3*z + 429 = 3*m. Let w = m + 154. Is w a multiple of 13?
False
Let m = 33 - 38. Let y(a) = -12*a**2 + 4*a. Let p be y(m). Does 9 divide 2/(p/(-158) + -2*1)?
False
Suppose a + 8 = 2*d, 0*d + 2*d + 3*a = 0. Suppose 2*z - 5*h - 1436 = 0, z + h + d*h = 692. Is 12 a factor of z?
True
Suppose -12*b = -69020 + 9548. Is 59 a factor of b?
True
Let w = 124 + -122. Is -13 + 22 + w*-2 + 742 a multiple of 83?
True
Let u be -1*(287/123 + 10/6). Let j(s) = 49*s**2 - 6*s - 3. Is 23 a factor of j(u)?
True
Is (-208680)/(-3) - (-2 - -14 - 4) a multiple of 84?
True
Let x(v) = v**3 - 4*v**2 - 7*v + 16. Let r be x(8). Let o = -63 + r. Is 9 a factor of o?
True
Let k be 10*(-1 + -3 + -2 + 7). Suppose -8*x = -k*x + 10. Suppose -3*g + x*g = 122. Does 39 divide g?
False
Let r(b) = -b**3 + 10*b**2 - 20*b - 20. Let k be r(7). Let s(i) = -i**3 - 10*i**2 + 7*i - 120. Does 27 divide s(k)?
False
Let y be (9/2 + 0)*320/(-120). Let b be (-13252)/y + 6/9. Suppose 0 = -4*z - z + b. Is 23 a factor of z?
False
Let y(c) be the first derivative of -c**3/3 + 5*c**2/2 - 4*c + 1. Let i be y(-3). Let g = 2 - i. Is g a multiple of 15?
True
Let l(n) = 3*n**3 + 6*n**2 - 7*n + 1. Let x be l(1). Suppose 4*z + 4*i = 2*z + 8, -x*z + i = -33. Is 3 a factor of z?
False
Let t = -4131 + 6592. Does 23 divide t?
True
Let n be -2*-5*(-244)/(-8). Let q = 450 - n. Suppose 0 = l + 3*l + k - q, -k = 5*l - 180. Does 7 divide l?
True
Let q(m) = -m**3 + 2*m**2 - m + 3. Let b be q(2). Let x be (265 - b) + (-8 - -12). Let g = x - 138. Does 27 divide g?
False
Is 2*49*(-5 - (-25 + -10)) a multiple of 29?
False
Let y = 491 - 478. Suppose 4*v = -16, -y*b + 12*b + 271 = -4*v. Is 10 a factor of b?
False
Let c = -304 - -309. Let m(v) = 3*v**2 - 6*v + 5. Let i(b) = 9*b**2 - 18*b + 16. Let t(a) = 3*i(a) - 8*m(a). Is 8 a factor of t(c)?
False
Suppose -9*k = -37749 - 1995. Is 92 a factor of k?
True
Let q(l) = 37*l**2 - 119*l - 116. Is 110 a factor of q(23)?
True
Let r(n) = 11 + 4*n - 7*n - 26*n + 13 - 28*n. Is 32 a factor of r(-1)?
False
Let q(x) = -x**2 - 16*x - 14. Let h(v) = -2*v**2 - 31*v - 27. Let c(k) = -4*h(k) + 7*q(k). Is 24 a factor of c(-17)?
False
Let r(u) = 54*u**3 + 17*u**2 - 94*u - 49. Is r(6) a multiple of 109?
True
Let o = 102 + -97. Suppose 5*m - 500 = -o*p, -4*m - p = p - 400. Suppose 15*a - 230 = m. Is 11 a factor of a?
True
Let b(y) = 124*y. Let k(f) = -122*f - 1. Let p(z) = -3*b(z) - 4*k(z). Is 15 a factor of p(1)?
True
Let c = -186 + 271. Let w be (c/25 + -1)/(2/5). Let y(a) = a**3 - 6*a**2 + 3*a + 10. Does 14 divide y(w)?
True
Let z(n) = -40*n + 68. Let r(y) = 4*y - 1. Let c(q) = 16*r(q) + z(q). Does 20 divide c(7)?
True
Suppose 2*a + 9942 = 3*o, a + 109 - 3418 = -o. Is o a multiple of 24?
True
Let d(u) = -u**2 - 26*u + 42. Let o be d(-27). Let c(a) = 8 + 4 + 26*a - a**2 - o. Is c(20) a multiple of 13?
True
Suppose 5*z + 6 = 31. Suppose -z*g - 697 - 903 = 0. Let n = 523 + g. Is n a multiple of 22?
False
Does 2 divide (-2)/34*-2 + -54*(-1628)/102?
True
Let u = 415 - 221. Let m = u + -4. Is m a multiple of 19?
True
Let q be ((-21)/6)/(2/(-8)). Let j = 157 + q. Suppose j*o = 175*o - 336. Is o a multiple of 12?
True
Let v(t) = -t**3 + 6*t**2 - 5*t + 31. Let c be v(6). Let u be c + (30 + 1)*(24 - 10). Suppose -5*q + 4*n = -683, 236 = 5*q + 2*n - u. Does 20 divide q?
False
Let y be ((-5)/((-100)/352))/(1/100). Suppose -6*k + y + 64 = 0. Does 12 divide k?
False
Let s be 2*-1*30/(-20). Suppose -2*f = -5*p + 587, s*p + p + 20 = 0. Does 6 divide f/(-4) + ((-9)/(-6))/(-3)?
False
Suppose -62*r + 3525 = -58*r - 3*q, -3*q = -5*r + 4404. Is ((-36)/9)/(-1 - r/(-885)) a multiple of 13?
False
Suppose -15717 = -3*s - 4*n, -191*s = -189*s + n - 10483. Is s a multiple of 37?
False
Suppose -3*b + b - 1300 = -4*u, 0 = u - 4*b - 311. Is 26 a factor of (-4)/(u/333 - 1)?
False
Suppose 91*c - 52*c = 48*c - 22752. Is c a multiple of 30?
False
Let o = 516 + -530. Is 46 a factor of (-4436)/o*(-210)/(-60)?
False
Suppose -61*p = -87*p + 9802. Suppose 17*s + 88 = p. Is s a multiple of 8?
False
Suppose 3*g - 3*n = 2*g + 219, -3*g - 5*n = -727. Is (g/10)/(20/300) a multiple of 39?
True
Let t = -7391 - -7542. Is 3 a factor of t?
False
Let s = 1 - -3. Let b(w) = 2*w**2 + s*w**2 + 3 - 737*w + 729*w. Is 2 a factor of b(2)?
False
Suppose -32*a + 637660 = -120004. Does 208 divide a?
False
Let d = 22 + -15. Let v(h) = 11*h - 6*h + 10*h + 5*h - 5*h. Does 21 divide v(d)?
True
Let r = 656 + -2551. Let l = r - -2792. Is 25 a factor of l/12 + (-12)/(-48)?
True
Let v(d) = -3*d - 16. Let z be v(-5). Let l be (-3 - (2 + z))/(-2). Suppose j + 45 = 3*n - l*j, 75 = 5*n + 5*j. Does 15 divide n?
True
Let d = -91 + 112. Suppose 8*c - d = 11. Suppose c*n = 4*x + 5*n - 592, 3*x - 2*n - 444 = 0. Does 18 divide x?
False
Let k(y) = -284*y**2 + y + 15. Let s(g) = 143*g**2 - 9. Let q(n) = -4*k(n) - 7*s(n). Is q(3) a multiple of 12?
False
Let l(q) = -3*q + 93. Let o be l(27). Suppose 4*y - 1464 = 4*a, -4*y - 7*a + o*a + 1466 = 0. Is 26 a factor of y?
True
Let r be 22/(-4)*4*(-18)/(-4). Let z = r - -101. Suppose -4*f = 5*b - 586, -f - z*f - 2*b + 436 = 0. Does 8 divide f?
True
Suppose -z + 4*j + 3 = -7, 5*z - 3*j + 1 = 0. Suppose 5*v - 24 = o - 2*o, -4*v + 22 = -2*o. Is 13 a factor of z/v - (-29675)/125?
False
Suppose 4*y - 9535 = -5*m, -36*y + 3*m - 7149 = -39*y. Does 70 divide y?
True
Suppose 3*x + 5*v - 38 = 0, 3*x - x - 5*v = 42. Let a(l) = 4*l - 22 - x*l**2 + 10*l**2 + l**3 + 8. Is 3 a factor of a(7)?
True
Suppose -2*s + 4*x = -1472, -6*s + x = -2*s - 2909. Suppose s + 240 = 7*v. Is 23 a factor 