 Suppose -i*n + 8*n = 405. Does 26 divide n?
False
Let o(g) = -7*g**3 - 4*g**2 - 2*g - 7. Suppose 3*t = 6*t + 9. Is o(t) a multiple of 38?
True
Let u = 1381 + -886. Suppose -494*a = -u*a + 24. Does 24 divide a?
True
Let u(j) = -7*j**3 + 23*j**2 + 275*j + 21. Does 32 divide u(-13)?
True
Let r(x) = -x**3 - 37*x**2 + 42*x + 156. Let z be r(-38). Suppose 262 = z*m + 66. Is m a multiple of 11?
False
Let u be (-2 - -3 - -1)*10/(-4). Let z(i) = -i**3 - 4*i**2 + 8*i. Let d be z(u). Is d/4 - -3 - (-118)/8 a multiple of 2?
True
Let f = -3861 - -4863. Is f a multiple of 16?
False
Suppose -370676 = -9*a - 28*a + 395372. Is a a multiple of 16?
True
Let m = -3753 + 3820. Suppose -47 = 3*f + 37. Let c = f + m. Is 5 a factor of c?
False
Suppose -51*t + 98 = -44*t. Suppose -375 = -t*a + 9*a. Let v = 90 - a. Does 3 divide v?
True
Is (-2923)/222*(-1 - (3547 - 2)) a multiple of 142?
False
Let m = 11694 - -4695. Does 27 divide m?
True
Let b(m) = 7*m**2 + 29*m - 974. Is b(19) a multiple of 8?
True
Let w be (-120)/(-57) + (-6)/57. Suppose w*o - 6*o - 61 = 3*l, 2*l = 2*o - 50. Let k = l + 36. Is 13 a factor of k?
True
Suppose -14*i + 141 = 113. Suppose 5*j + 28 = 4*f + i, 5*j = -10. Is f a multiple of 4?
True
Let o(t) = 289*t - 9796. Is o(93) a multiple of 31?
True
Let q = -3018 - -3203. Is q a multiple of 2?
False
Suppose 2*p + 1891 = -3*r + 10596, 4*r = 2*p + 11602. Suppose n - 1863 = 5*w, r + 783 = 2*n + 4*w. Is 11 a factor of n?
True
Let b(m) = -m**3 - 23*m**2 - 8*m - 34. Let a be b(-23). Let i = a + -145. Suppose 5*t = -4*w + 1425, t = -0*w - i*w + 1755. Is w a multiple of 14?
True
Suppose g + 64 = 2*l, -4*g = -19 + 11. Let t(q) = q**2 + 2*q + 2. Let p be t(-2). Suppose 0 = -p*h + h + l. Is h a multiple of 5?
False
Suppose -2601 = -2*z + 369. Let g = z - 615. Is 8 a factor of g?
False
Is (-15)/(-70) + (-221247)/(-434) a multiple of 15?
True
Let y(x) = -x**3 + 23*x**2 + 3*x + 139. Let d(v) = 3*v**3 - 6*v**2 - 3*v + 5. Let i be d(3). Does 52 divide y(i)?
True
Let z(v) = 12*v**2 + v + 1. Let s be 20/(-4)*6/(-15). Let f be (-1 + 2 - 0)/(s/(-2)). Is 5 a factor of z(f)?
False
Suppose 3*n - 3 = 0, 0 = -b + 2*n - 2 + 6. Let s be 4/(-5) + (-1748)/(-460). Suppose 0 = -b*q + s*q + 564. Does 27 divide q?
False
Let q = 12786 - 7737. Is 25 a factor of q?
False
Does 260 divide -6 - -3 - -10144 - (-2 - -3)?
True
Let q(h) = 9*h**2 - 18*h + 524. Is 47 a factor of q(30)?
True
Let h(n) be the first derivative of n**3/3 + n**2/2 + 9*n - 42. Let i be h(-19). Let a = i + -179. Is a a multiple of 17?
False
Suppose 0 = 308*a + 16854 - 568790. Does 2 divide a?
True
Let c(d) = -55*d + 140*d + 0 - 3 - 1. Is 5 a factor of c(2)?
False
Is 19 a factor of (-733400)/(-160) + (-2)/(-8) + (-10 - -3)?
False
Let b = -20 - -312. Let p = 318 - b. Does 6 divide p?
False
Let a(w) = -15*w**3 - 3*w**2 + 19*w + 14. Does 17 divide a(-7)?
True
Let w(r) = r**3 + 22*r**2 - 73*r + 55. Let c be w(-25). Let d be (2/(-6))/(1/(-6)). Suppose 185 = c*q + n, 5*q = d*q + 3*n + 129. Is 38 a factor of q?
True
Let m(x) = -x**3 - 18*x**2 + 43*x + 9. Let a be m(-19). Let w = -127 - a. Is w a multiple of 4?
True
Let h = -323 + 493. Let p = h - 19. Is p a multiple of 6?
False
Let n = 215 - 374. Let p = 188 + n. Is 5 a factor of p?
False
Let d = -2851 - -8354. Does 91 divide d?
False
Suppose -20 - 5 = 5*l + 5*g, 3*l - 17 = 5*g. Let p(w) = -70*w**3 + 31*w**2 - 21*w**2 - 11*w**2. Does 4 divide p(l)?
False
Suppose -n + 4*t = -327, 5*n + 0*t = -2*t + 1701. Let k = n + -71. Is k a multiple of 15?
False
Let f = -180 - -90. Is 12 a factor of 12/f*5 - 614/(-3)?
True
Let f(j) = -128 + 134 - 40*j + 12*j. Is 47 a factor of f(-13)?
False
Let i(n) = n**3 - 88*n**2 + 271*n + 96. Is i(87) a multiple of 315?
False
Suppose y + 5*h + 2 = -y, 4*y + 2*h - 12 = 0. Suppose 39 = -7*z + y*z. Let d = 37 + z. Is d a multiple of 3?
True
Let w be (-1312)/(-14) + 4/14. Let j = w + -91. Suppose j*t + 2*y + 55 = 4*t, -47 = -t - 2*y. Is 39 a factor of t?
False
Suppose -a - 21*s + 4995 = -12*s, -5*s = 20. Is 73 a factor of a?
False
Suppose 3*b + 5*r - 560 = 0, -3*b + 235 + 321 = r. Let l = 236 - b. Does 17 divide l?
True
Let y(m) be the third derivative of m**6/120 + 5*m**3/6 - 18*m**2. Let z be y(0). Suppose 0*n + 14 = n + 2*x, z*x - 33 = -2*n. Is 2 a factor of n?
True
Let j = -5239 - -12175. Is 94 a factor of j?
False
Let j be 0*2/8 - 126. Let a = 152 + j. Let q = a - -9. Is q a multiple of 2?
False
Let f(m) = 24*m - 581. Let b be f(24). Suppose k = 2*u + 27, -3*u - 3*k - 60 = 2*k. Does 28 divide (-2151)/u + 2/b?
False
Let v(p) = -5*p**2 + 10*p + 4007. Is v(0) a multiple of 45?
False
Let i be 476 - 2 - 20/5. Let x = 265 - i. Let j = -111 - x. Does 4 divide j?
False
Suppose 137788 = 141*h - 8*h. Does 28 divide h?
True
Let o = 155 - 147. Let b(r) = 19*r - 50. Is b(o) a multiple of 27?
False
Let b be (-7)/(21/(-566)) - (-7)/21. Suppose 4*q + 4*l = 720, q - b = -5*l + l. Is 21 a factor of q?
False
Let v(b) = b**3 + b + 19. Let g(h) = h**3 - h**2 + h + 19. Let s(q) = 6*g(q) - 5*v(q). Suppose -t + 2 = -4. Does 25 divide s(t)?
True
Suppose -296172 = 137*m - 1877563. Does 30 divide m?
False
Let a(u) = -6*u + 29. Let q be a(5). Let w(j) = 18*j**2 + 2*j. Is w(q) a multiple of 2?
True
Does 3 divide (3 + (-1353)/(-9))/(13/117)?
True
Let w be 2/3 - ((-19)/3 + 2). Suppose 0 = -f + 29 - 25. Suppose f = r - w. Does 4 divide r?
False
Is (-242)/88 - (20419482/24)/(-17) a multiple of 29?
False
Let s(q) = 4*q + 145. Let r = -174 - -140. Is 4 a factor of s(r)?
False
Let b = 3134 - 1829. Suppose 12*i + 3*i = b. Is i a multiple of 6?
False
Let v(t) be the second derivative of 4/3*t**3 + 1/4*t**4 + 4*t**2 - 26*t + 0. Is v(-4) a multiple of 5?
False
Let s be (9696/80)/((-2)/(-15)) + 4. Let k = 1313 - s. Does 23 divide k?
False
Is (39*(-13)/117)/((-1)/330) a multiple of 21?
False
Is 21 a factor of (-2)/(-7) - (5565508/(-182) + -17)?
True
Suppose -88*x + 3*d = -92*x + 8240, 2*x - 2*d - 4120 = 0. Does 20 divide x?
True
Let m(n) = 49*n + 146. Let l be m(-3). Is 34 a factor of (l - -2)*26316/43?
True
Suppose -7*f + 10*f = -153. Let o = f - -250. Is o a multiple of 24?
False
Suppose -10 = 2*y + 2. Is 11 a factor of (2/6)/(y/1584*-8)?
True
Suppose -5*b + 151 = -2*k, -b = -k + 6*k - 14. Let i = b - -9. Let s = i + -26. Is s a multiple of 5?
False
Let r = -3616 + 4726. Does 19 divide r?
False
Let z = -69 + 73. Let b be 4380/18 - z/3. Suppose -34 = 2*y - b. Does 26 divide y?
True
Suppose 4*v + 282*n - 1246 = 284*n, 0 = -2*n - 6. Does 50 divide v?
False
Let d = 3265 + -1970. Let m = d - 907. Is 15 a factor of 5/15*(m - 1)?
False
Suppose 5*a = 3*x - 2*x - 94, -x + 3*a = -104. Suppose -8*d - 10*d = -20*d. Suppose 3*o = 4*i + x + 189, d = 3*i - 3. Is o a multiple of 14?
False
Let t = 161 - 145. Suppose -94 + 10382 = t*b. Is 58 a factor of b?
False
Suppose 0*o = 5*o - 440. Let m be (46/3)/(8*2/96). Suppose -5*a = -o - m. Is 6 a factor of a?
True
Suppose -8*j - 6 = 26. Let n be (-20 - j)/4 - -6. Does 2 divide 2 - (-3 + -3 + n)?
True
Let g(p) = 3 + 7 + p**3 - 15*p**2 - 10*p + 0 + 4. Is g(16) a multiple of 11?
True
Let m = 46 - -3538. Does 112 divide m?
True
Let n = -4232 - -7722. Does 2 divide n?
True
Let t(v) = 5*v**3 + 26*v**2 + 25*v - 55. Let f(r) = 11*r**3 + 51*r**2 + 51*r - 110. Let k(a) = 4*f(a) - 9*t(a). Is k(-30) a multiple of 5?
True
Let f = -63 + 939. Is 2 a factor of f?
True
Suppose -11*b - 118 + 30 = 0. Let s be 8/10 - (-2)/(-5)*b. Let m(l) = 22*l - 16. Is 9 a factor of m(s)?
True
Let x(t) = 121*t**2 - 2*t + 1. Let a = 62 + -121. Let b = a + 60. Does 12 divide x(b)?
True
Let j(l) = -51*l**3 - 2*l**2 + 5*l - 3. Let k be j(1). Let v = 54 + k. Is 7 a factor of 1 - (-2)/(-3) - (-110)/v?
False
Let t be (96/40)/((-2)/(-155)). Suppose t = -8*x + 8138. Is x a multiple of 34?
False
Let r(q) be the first derivative of q**6/120 + 3*q**5/20 - q**4/8 - q**3 + 11*q**2/2 + 18. Let z(h) be the second derivative of r(h). Does 15 divide z(-9)?
False
Let z = -34757 - -62447. Is 142 a factor of z?
True
Let h(j) = j**3 + 6*j**2 + 8. Let o = -90 + 84. Is h(o) a multiple of 5?
False
Let y(w) = -2*w**3 + 13*w**2 - 13*w - 182. Is 22 a factor of y(-8)?
False
Suppose 51861 = 65*d - 98094. Is 3 a factor of d?
True
Let l = 9095 + -8039. Does 11 divide l?
True
Let j = 13790 + -12472. Is 17 a factor of j?
False
