pose 5*i - 5*z - 8 = -3, 0 = -i + 2*z - 3. Suppose -i*q = -3*h - 0*h + 722, -h - 2*q = -248. Suppose -13 + 81 = k - 5*y, 3*k + 5*y = h. Does 26 divide k?
True
Let g = -194 + 337. Does 5 divide 27521/g - 18/(-33)?
False
Suppose 5*c = 2*v - 947, -3*c = 2*c + 5. Let k = v + 655. Is k a multiple of 10?
False
Let t(p) = 4*p + 9. Let w(m) = -m**3 + 9*m**2 - 2. Let r be w(9). Let d = 8 + r. Is 12 a factor of t(d)?
False
Suppose w = -3*h - 12, -w = -4*w + 2*h - 69. Let l be (2 + -1)*(-7)/(w/36). Let a(o) = 3*o**2 - 27*o - 14. Is 13 a factor of a(l)?
False
Suppose -2*m - 2*m = 0. Let z be (m - (-58)/6)/((-3)/(-54)). Let x = -34 + z. Is 22 a factor of x?
False
Let a be (-117)/(-27) - (-1)/(-3). Let p be 8/(-12) - a/(-6). Suppose -2*h + 62 + 70 = p. Is h a multiple of 16?
False
Let d(c) = 592*c + 13 + 17 - 599*c. Is d(-10) a multiple of 20?
True
Suppose -3*c + 15 = 0, -5*g + 3417 - 277 = 2*c. Let p be g/6 - (-2)/3. Let h = 179 - p. Is h a multiple of 37?
True
Let t = -133 + 142. Suppose 104 = -t*u + 11*u. Is u a multiple of 13?
True
Suppose 0*d = -2*d + 4*n, 4*d - n = -7. Let r be d/(1 - 2) - (-6)/(-3). Suppose 2*x - 6*x + 60 = r. Is 5 a factor of x?
True
Suppose 3*y + 300 = -2*s, 5*s + 2*y = -0*s - 750. Let h = 187 + s. Is 5 a factor of h?
False
Suppose 0 = 100*d - 307492 + 106892. Is d a multiple of 34?
True
Let u(c) = c + 2 + 9 + 0 - 1. Let s be u(-6). Suppose s*v + 2*p + 0*p = 1088, -4*v = 3*p - 1092. Is 45 a factor of v?
True
Let d(y) = -y**3 + 25*y**2 + 8*y - 360. Is 42 a factor of d(23)?
True
Suppose 0 = -4*j - 8, 638 = 3*f + 4*j - 572. Suppose x + 0*x - f = 0. Is x a multiple of 18?
False
Suppose 0 = 10*x - 498 - 412. Let d = x + -19. Let l = 134 - d. Is l a multiple of 13?
False
Suppose -3*c + v = -10, -10 + 40 = 5*c + v. Suppose 5*i - 2*k - 192 = 7, c*k + 10 = 0. Is 2 a factor of i?
False
Suppose 0 = p + 2*r - 22262, 0 = -7*p + 9*p + 3*r - 44523. Is p a multiple of 53?
True
Let i = -28165 + 34774. Is 20 a factor of i?
False
Let u(z) = -5*z - 24*z - 3 - 14*z. Let j be u(3). Let v = -32 - j. Is 12 a factor of v?
False
Let c(x) = -6*x - 12. Let j be c(-3). Let b(r) = r**2 - j - 5*r + 2*r - 3*r + 2*r. Does 3 divide b(6)?
True
Let o be (-1)/(9/(-246)) - (-20)/(-15). Is o + 3 - (-4 - 2) a multiple of 8?
False
Suppose 0 = -4*y + 27 + 21. Suppose 5*c = 4*d + y, 18 = 4*d - 3*d + 4*c. Suppose -i = d*a - 252, a - 86 = 5*i + 18. Does 31 divide a?
True
Let b(h) = -4*h**2 - 3*h + 2. Let c be b(6). Let k = -256 + c. Is 34/85 - 5/(50/k) a multiple of 14?
True
Suppose 26*m = 12*m + 336. Suppose -14*s = -m*s + 870. Is s a multiple of 3?
True
Let x(y) = -y**2 + 90*y - 866. Is x(20) a multiple of 12?
False
Let g(m) = m**3 + 10*m**2 - 4*m + 12. Let k(a) = -a + 5. Suppose -5*y = -5*u + 25, -u - 4*u - 4*y = -70. Let i be k(u). Is g(i) a multiple of 43?
False
Suppose -5*a + 435 = 2*y, -7*a - y + 175 = -5*a. Suppose a*p - 88*p + 405 = 0. Is 9 a factor of p?
True
Let x = 14952 - -5546. Does 34 divide x?
False
Let j(x) = x**2 + 36*x - 25. Let f be j(-31). Let u = 212 + f. Does 16 divide u?
True
Let f(i) = -9*i**2 + 9*i - 24. Let m be f(7). Let r = -212 - m. Suppose -3*p = 2*o - 660 - r, 3*o - 1132 = -4*p. Does 23 divide p?
False
Let j(k) = -k**3 - 27*k**2 - 141*k + 193. Is j(-38) a multiple of 11?
False
Let s = -615 + 615. Suppose -l + 2*l = 0. Suppose -5*v + z + 776 = s, 4*v + l*z = 5*z + 604. Is v a multiple of 26?
True
Suppose 91*k - 78*k = -77*k + 3689460. Does 103 divide k?
True
Let l(n) = 9*n**2 - 270*n**3 + 5*n**2 + 46*n**3 - 13*n**2. Does 7 divide l(-1)?
False
Let t = 1812 - 94. Suppose -6*k = -8146 - t. Is 12 a factor of k?
True
Let g(a) = 2*a**3 - 5*a**2 - 4*a. Let f be g(6). Let r = f + -44. Does 23 divide r?
True
Suppose a + 9 = -4*g, -g + 3*a - 7*a - 6 = 0. Let j(o) be the third derivative of -o**4/24 + 13*o**3/6 + 2*o**2 + 20. Is j(g) a multiple of 6?
False
Let p be (12 + -4 - -10)*2/4. Is 15 a factor of -3 + (-21)/p*-207?
True
Suppose 21121 - 13772 = 13*k - 24020. Does 27 divide k?
False
Suppose 2*x - 2443 = 4*q + 249, -3*q + 2685 = 2*x. Does 8 divide x?
True
Let o(n) = 3586*n - 2. Is o(1) a multiple of 14?
True
Let v(x) = -9*x + 4. Suppose 2*r - 27 = -2*j - 117, 95 = -3*r + 5*j. Let s = r + 26. Is 10 a factor of v(s)?
True
Suppose 22*n - 53*n + 5022 = 0. Is 3 a factor of n?
True
Is (152/6)/((-22)/(-110) + 712/(-3960)) a multiple of 57?
True
Let g be -2*8/20 + (-170)/(-25). Is 39 a factor of g*(1169/14 + -7)?
False
Suppose 0 = -5*b, -358 = 5*p - 3*p + 3*b. Let d = -151 - p. Is 15 a factor of d?
False
Let l(n) be the second derivative of 8*n**3/3 + 3*n**2/2 + 1122*n. Let a(m) = -m + 3. Let y be a(-4). Does 15 divide l(y)?
False
Let c(j) = 91 + 111 - 56*j - 252 - 24*j. Is c(-14) a multiple of 60?
False
Let r be 4/3*117/12. Suppose -r*k = -1302 + 340. Is k a multiple of 74?
True
Let v = 162 - 83. Suppose -360 = 76*q - v*q. Suppose -4*o = o - q. Does 12 divide o?
True
Let d = -249 - -421. Suppose o - 113 = d. Is 5 a factor of o?
True
Let v(g) = g**3 + 37*g**2 - 46*g - 10. Suppose 0 = 3*s + 46 + 68. Is v(s) a multiple of 11?
False
Let j = 14923 - 3247. Is 139 a factor of j?
True
Is 63 a factor of (-105922)/(-5) + (20/(-50) - 0)?
False
Let z(b) = 2 + b + 52*b**3 + 15*b**2 - 22*b**2 + 2*b. Let f be z(2). Suppose -5*t + f = 4*u, 3*t - 286 = -4*u + 110. Does 8 divide u?
False
Suppose -222 = -13*t + 12. Suppose -22*q = -t*q - 1564. Is 24 a factor of q?
False
Suppose 21*h - 64 + 1 = 0. Suppose -3*y - 822 = -2*f - y, h*f - 1227 = 5*y. Does 18 divide f?
True
Let w(k) = k + 28. Let o be w(-25). Let r = -742 - -432. Is 3 - r - (o - -2) a multiple of 14?
True
Let t be 5368/56 + (0 - 1/(-7)). Suppose -517*h = -513*h - t. Is 24 a factor of h?
True
Let h be -4 + (52/(-8))/((-3)/6). Is 8 a factor of ((-44)/6)/(h/(-108))?
True
Suppose 29 = 3*q - 8*q + 4*a, -4*q - 18 = 2*a. Is 9 a factor of 645 - 10/q - 0/(-5)?
False
Let b = -76 + 117. Is (11 + b)/(2/20) a multiple of 16?
False
Does 157 divide (-15 - (-133145)/30)*6?
False
Suppose -3*i - 394 = 2*x - 1081, 0 = 3*x + 5*i - 1028. Is 4 a factor of x?
False
Let x be (158/(-16) + (-15)/(-40))*-2. Suppose -x*n - n = -5700. Is n a multiple of 42?
False
Let d(b) = 13*b + 6597. Let f be d(0). Is 19 a factor of f/39 - (-3 + 246/78)?
False
Suppose 1159 = -10*t + 379. Let j = t + 204. Suppose -j = -7*c + 938. Is c a multiple of 19?
True
Let d = 200 + -411. Let k = d + 274. Does 4 divide k?
False
Let r(w) be the second derivative of -19/2*w**2 + 36*w - 34/3*w**3 + 0. Is r(-3) a multiple of 11?
False
Suppose -4*s + 2*i + 20202 = 0, 0 = 4*s + 3*i + 7083 - 27280. Does 101 divide s?
True
Suppose -y - 2*y + 3*b = 0, 3*y + 5*b - 16 = 0. Suppose y*u - 12 - 4 = 0. Suppose 6*m - 5*m + 35 = r, -4*m + u = 0. Does 3 divide r?
False
Let f = 15387 + -14295. Does 52 divide f?
True
Let r be (-8)/20 - 10/(-25). Let h be (r - -1)*(-12 + 47). Suppose -2*i = -3*i - 2*d + h, -3*i = -3*d - 87. Does 5 divide i?
False
Let v(x) = 1146*x + 623. Is 29 a factor of v(10)?
False
Let a(d) = 17*d - 8. Let s be a(20). Let b = s - -82. Is 69 a factor of b?
True
Let o(v) = v**2 + 14*v + 28. Let q be o(-12). Let n be ((-490)/4)/(q/(-32)*-4). Is 25 a factor of n/(-5) + 0 + 0?
False
Let l = 908 + 1877. Is 3 a factor of l?
False
Let o(s) = 150*s + 1325. Is 19 a factor of o(26)?
True
Let z = 7381 - 5067. Suppose -9*a = 4*a - z. Is a a multiple of 28?
False
Let n(t) = -8*t**3 - 2*t**2 + 5*t + 18. Let r = 158 + -162. Is 24 a factor of n(r)?
False
Suppose -5*p = -x + 12 - 5, p + 3*x - 5 = 0. Let y be ((-246)/205)/((-1)/10). Is 3/(y/16) - p a multiple of 5?
True
Let r(o) = o**2 - o - 2. Let c be r(3). Suppose 32 = k + 2*u, c*u + u + 109 = 2*k. Is 7 a factor of k?
True
Let g(y) = -10*y - 22. Let c be g(16). Let f = -105 - c. Let r = f - 46. Is r a multiple of 11?
False
Suppose -2*v + v = 2*l + 21, -4*v - 96 = 5*l. Let j be 4 - 18/(-4)*392/(-21). Let p = v - j. Is 3 a factor of p?
True
Let b(z) = z - 5. Let u(w) = -3*w + 13. Let g be u(4). Let m be b(g). Let s(d) = -16*d + 4. Does 14 divide s(m)?
False
Let q(r) = -5*r - 10 - 4 + 4*r**2 + 2*r - 3*r**2 - 1. Suppose -4*l + 5*h + 14 = -5*l, 0 = -2*h - 4. Does 2 divide q(l)?
False
Let w = 26 + 926. Suppose 4*m - w = -10*m. Is m a multiple of 5?
False
Let y(h) = -h**3 - 5*h**2 + 2*h + 10. Let d be y(-5). Suppose 15 = g - d. Suppose -2601