-5*i - 5926, 4*k - 4556 = -4*i + 1388. Is k a multiple of 28?
True
Let j(m) = 4*m**2 + 7*m - 11. Let w be j(7). Suppose 0 = -3*a + i + 572 + w, 0 = a - 5*i - 292. Does 10 divide a?
False
Let s = -170 - -1134. Suppose 2*k = -3*j + s, -j + 2*k = 5*k - 326. Does 20 divide j?
True
Let h(t) = 4*t. Let s be h(1). Is (10/4)/(s/(-920)*-5) a multiple of 23?
True
Let w = 118 - 120. Is -7 + 1231 + (-1)/w*-4 a multiple of 90?
False
Let p = 79 + -101. Is (-93)/33 - -3 - 3758/p a multiple of 19?
True
Suppose 4*g = 126*d - 129*d + 2903, -g + 3875 = 4*d. Is 31 a factor of d?
False
Let d be ((-4)/(-10))/(-2) - (-48)/15. Does 14 divide ((-645)/(-10))/(2*d/12)?
False
Suppose 5*p - 42 = -7. Let m(h) = 101*h - 29. Let z be m(p). Suppose -z = -9*x + 402. Is x a multiple of 38?
False
Suppose 0*n + 868 = 7*n. Suppose 7*l - 4*l + 4*a = 340, -l - 4*a + n = 0. Is 0 + (-15)/5 + l a multiple of 15?
True
Is 105 a factor of (-93820)/(-15) + 30/(-18)?
False
Let i(n) = 623*n**3 + 2*n**2 - 5*n + 3. Let z be i(1). Let q = -298 + z. Does 25 divide q?
True
Suppose -17*f = -0*f - 71396 - 130683. Is 79 a factor of f?
False
Suppose 52*b - 8*b = 595144. Suppose 20*n = -306 + b. Is n a multiple of 7?
False
Let d be (-4)/(-8)*21*80/3. Suppose -d = 4*w + 96. Let a = w - -137. Does 20 divide a?
False
Let s = -427 - -2638. Is 76 a factor of s?
False
Suppose 4*f = -3*x + 47, 2*x - 90*f - 39 = -85*f. Let y(k) = -k**3 + 0 + 24*k + 16*k**2 - 3 - 8. Does 33 divide y(x)?
False
Let h be ((-24)/9)/(48/(-9) - -6). Does 41 divide 1 + (h - 0) + -2 + 503?
False
Let p = -3377 - -14831. Does 83 divide p?
True
Let h(c) = c + 5. Let o be h(-4). Let f be (o + 0)/(3/30). Suppose 14*y - 616 = f*y. Is 22 a factor of y?
True
Suppose -3*d + 5*d = -5*m + 24, 2*d - 24 = -4*m. Suppose 0 = d*u - 11*u - 418. Is u a multiple of 22?
True
Let t be -2 - -6 - (-19 + 2). Suppose i - 94 = -t. Let z = i + -39. Is 16 a factor of z?
False
Suppose 0 = -3*j - 4*n + 29, -7 = j - 2*n - 0*n. Suppose 36 = 3*i + j*d, -3*d = 4*i - 74 + 22. Let g = 104 - i. Does 10 divide g?
False
Let i be 1/(1/(-63)) - 1. Let h(s) = 108*s - 9409. Let y be h(85). Let u = i - y. Is u a multiple of 15?
True
Suppose 7*z + 2592 = -9*z + 20*z. Is 4 a factor of z?
True
Let m(r) = -r**2 + 17*r + 8. Suppose 5*w - 3*l = -9, -2*l + 5*l + 21 = -5*w. Let n = 17 + w. Does 25 divide m(n)?
True
Let l(j) = 5*j**2 + 5*j - 28. Suppose 3*c + 4*i + 20 = -0*c, 2*c + 4*i + 12 = 0. Is 23 a factor of l(c)?
False
Let c(s) be the third derivative of -s**6/120 - s**5/12 - s**4/12 - 5*s**3/3 - 6*s**2. Let f be c(-5). Is 22 a factor of 65 - (1 + f + -2)?
True
Suppose -15*c = -23*c + 10872. Let h(z) = z - 2*z - 1274 + c. Does 6 divide h(16)?
False
Let a(x) = 2*x - 3. Let n be a(3). Suppose 2*s = -n*y + s - 332, 0 = -2*y - 2*s - 216. Let k = 257 + y. Is 29 a factor of k?
True
Let v = -4624 - -5435. Is v a multiple of 70?
False
Suppose -3*o + x + 10 = 0, -2*x + 6*x + 16 = 0. Suppose i = -o*m + 323, -3*i + 151 + 658 = 5*m. Is 12 a factor of m?
False
Let z = -4913 - -6119. Is 3 a factor of z?
True
Let i = 614 - 256. Let v = -330 + i. Is 14 a factor of v?
True
Let q = 834 - 834. Suppose -2*x + q*x + 387 = -5*v, 0 = 5*v + 5. Is x a multiple of 7?
False
Suppose 4390 = -18*k - 794. Let t = 756 + k. Is t a multiple of 12?
True
Suppose 0 = -28*l - 3*l + l + 188370. Is 39 a factor of l?
True
Let k(a) = 130*a + 418. Is k(0) a multiple of 19?
True
Let l(c) = -3*c - 101. Let k(h) = 14*h + 504. Let x(m) = -4*k(m) - 21*l(m). Is 15 a factor of x(-10)?
False
Let d = 18 - 20. Let f(m) = -10*m**3 - 2*m**2 - 4*m - 2. Let k be f(d). Is 40 a factor of k + (-3 + 5 - 0)?
True
Let r be 7935/(-10) - 7/14. Let o = -583 - r. Is 13 a factor of o?
False
Suppose 0 = -3*i + 3*x + 1512, 2*i - 1008 = -0*i - 4*x. Let k = -3277 + 3279. Suppose i = k*d - w - w, -2*d + 509 = 3*w. Does 11 divide d?
True
Let v(q) = 83*q + 40. Let d be 6*(33/9 - 3). Let t be v(d). Suppose 5*x + 0*x + 87 = f, 0 = 4*f + 4*x - t. Does 23 divide f?
True
Let h = -1200 + 1975. Suppose -2*d + h = -5*s, 4*d - 2*s - 468 - 1074 = 0. Suppose 0 = 12*k - 5*k - d. Is k a multiple of 8?
False
Let f = 3750 - 3744. Let l(h) = h + 1. Let a(q) = 50*q + 13. Let s(m) = a(m) - 5*l(m). Does 44 divide s(f)?
False
Suppose 0*u = 2*u - 10. Let b be 5*8/((-73 + 3)/(-7)). Suppose -4*r = -o + 51, -o - u*r - 146 = -b*o. Is o a multiple of 16?
False
Let x(d) be the first derivative of -d**3/3 - 17*d**2/2 - 29*d - 27. Does 2 divide x(-10)?
False
Let l be 0/2*1 - -4. Let a be (692/(-5))/(0 + l/(-10)). Suppose 0 = 2*v + 4 - a. Does 39 divide v?
False
Is 31 a factor of 2/10*20 - (4 + -2 + -4958)?
True
Let i(a) = -a**3 - 13*a**2 - a + 14027. Let o be i(0). Suppose 0 = 59*d - 4971 - o. Does 23 divide d?
True
Suppose -4*n = -139*z + 137*z + 8522, -z + 5*n + 4258 = 0. Does 29 divide z?
True
Let r(b) = b**2 - 11*b - 21. Let x be r(16). Is x + ((-18)/(-3) - 0) a multiple of 4?
False
Suppose 0 = -21*r + 19668 + 136509. Is r a multiple of 37?
True
Let n(f) = 113*f + 3. Let d be n(-2). Let a = -157 - d. Suppose 3 = -v, 3*b - a = -0*v + 2*v. Is 5 a factor of b?
True
Suppose u = 11*u - 60. Let m be ((-18)/u)/((-6)/568). Is 4 a factor of (-6)/4 + (-1)/((-8)/m)?
False
Suppose r - 15*r = 19*r - 173910. Is r a multiple of 93?
False
Is 108 a factor of (-48)/((-12)/(-2)) + (-3 - -811)?
False
Let z(v) = -v + 15. Let g be z(12). Suppose 3*b = -2*q + 2188, 8*b - 2193 = 5*b - g*q. Does 33 divide b?
True
Let d be 111*(-1)/15*-5. Let w = d - 34. Suppose z - 5*j - 80 = -0*j, 2*z - 108 = -w*j. Does 12 divide z?
True
Let w(m) = m**2 - 7*m + 1. Let b be w(3). Let u(q) = -52 + 67 - 14*q + 13. Does 14 divide u(b)?
True
Suppose -219*g = 19*g - 2664410. Does 59 divide g?
False
Let z be (25/3 + -3)*(-486)/(-2). Suppose 27*g - 24*g - z = 0. Is 77 a factor of g?
False
Suppose -2*w - 3*s = 2*w - 9, 3*w - 3 = -s. Suppose 3*j = 3*c + 432, 2*j - 4*c - c - 288 = w. Is 12 a factor of j?
True
Let w(l) = 165*l - 140. Suppose 26 = -7*b + 110. Is w(b) a multiple of 92?
True
Let k(n) = n**3 - 4*n**2 + 5*n - 20. Let g be k(4). Let m(z) = -z**3 - 2*z**2 + 2*z + 54. Is m(g) a multiple of 18?
True
Let o(v) = -2*v**3 + 28*v**2 - v + 19. Let h be o(14). Is (-4)/((-763)/(-153) - h) a multiple of 9?
True
Let h = -5437 - -9701. Does 104 divide h?
True
Let i = 324 - 53. Suppose -5*c = 3*r - 287, 8*c - i = -3*r + 7*c. Does 15 divide r?
False
Suppose -5*h = -5*f - 23990, 4*h - 2*f + 11944 - 31140 = 0. Is 10 a factor of h?
True
Let y be ((-582)/18 - 4)/(2/6). Let u = y - -254. Is 5 a factor of u?
True
Suppose 8776 = -187*z + 189*z. Suppose -5*o - z = -3*n - o, 0 = 3*n - o - 4373. Is n a multiple of 62?
False
Suppose -2*z - m = -3*m - 6, -4*z - 2*m = -24. Suppose -1085 = -z*o + 150. Does 13 divide o?
True
Let g be -3 - 18*1/(-2). Suppose 2*x - g + 6 = 0. Let t(y) = -y**3 + 31. Is t(x) a multiple of 10?
False
Let j(p) = p**2 - 13*p + 27. Let h be j(11). Let t(y) = 14 + 2*y**2 + 3 - 6*y - h. Is t(5) a multiple of 16?
True
Let c = -180 + -91. Let q = 536 + c. Does 22 divide q?
False
Let o = 13373 - 7843. Is o a multiple of 5?
True
Let u(n) = -2*n**2 - 14*n - 56. Let j be u(-8). Is 14 a factor of (-344)/j + 8/36 - -835?
True
Is ((-7)/(7/24))/((-18)/3537) a multiple of 12?
True
Suppose 5*g + 31 = -64. Let v = 5 + g. Is 14 a factor of (-2)/v + (-1021)/(-7)?
False
Let u = 4178 + 337. Is u a multiple of 43?
True
Let l = -8502 + 22089. Does 46 divide l?
False
Suppose -2646 = -30*h + 9*h. Suppose 2*s - h = 154. Does 6 divide s?
False
Let m = 64 + -62. Suppose 4*u = -m*h + 26, -2*u + 2*h = -2 + 4. Suppose 3*j = -u*t + 160, 3*t - 8*j - 145 = -4*j. Is 7 a factor of t?
False
Let k(t) = -135*t + 20. Let l be k(-8). Suppose -3*a - 861 = -4*b, -5*b + a - 2*a = -l. Let n = b + -135. Does 42 divide n?
True
Suppose 560 = 41*p - 34*p. Suppose -50*m - p = -51*m. Is 19 a factor of m?
False
Let s = 120 + -117. Let d be 50/18 - s - (-50)/(-18). Does 20 divide (-56)/d*30/4?
True
Let s(u) = u**3 - 13*u**2 + 21*u + 10. Let z be s(11). Is 174 + -11 + 2*z a multiple of 23?
True
Suppose -83 = -2*v - 3*k, 159 - 51 = 2*v - 2*k. Suppose -4*h - 5*w = -101, -8*h = -3*h + 3*w - 123. Let j = h + v. Is 7 a factor of j?
False
Let p(y) = -20*y**3 + 17*y**2 - 11*y - 649. Let i(u) = 7*u**3 - 6*u**2 + 4*u + 216. Let j(n) = -17*i(n) - 6*p(n). Is j(0) a multiple of 6?
Tr