ose 2857*z - 935 = 2840*z. Is 11 a factor of z?
True
Let x be (-1124)/14 + (-10)/(-35). Let k be (-180)/x*8/6. Suppose 0 = m + w - 66, 3*w - 203 = -k*m + w. Is m a multiple of 12?
False
Suppose -7*a - 15186 = -3*j - 5*a, -25306 = -5*j + 4*a. Does 51 divide j?
False
Let z = -28 - -49. Suppose 19*b - z*b - 172 = 0. Let a = b + 148. Does 10 divide a?
False
Let k(p) = 95*p + 105. Suppose -128 + 101 = -9*b. Is k(b) a multiple of 14?
False
Let p(m) = -13 + 13*m + 9*m + 12*m**2 - 10*m + m**3. Let h(s) = -s - 39. Let d be h(-29). Is p(d) a multiple of 31?
False
Let c(g) = -2*g**3 - 56*g**2 - 2*g + 7. Let b(m) = 12*m + 80. Let o be b(-9). Is c(o) a multiple of 3?
True
Let h(a) be the first derivative of 139*a**2 + 5*a + 12. Let f be h(1). Suppose 43 = -o - 4*w + f, 3*o = 4*w + 704. Is 46 a factor of o?
False
Suppose -214232 + 708638 = 73*m - 225739. Is 65 a factor of m?
False
Let g = -1706 - -400. Let x = g - -2089. Is x a multiple of 13?
False
Let v be 7/(14/2300) + -6 + 2. Let g = -594 + v. Is g a multiple of 29?
False
Let w = 25348 + -25025. Is 19 a factor of w?
True
Suppose -36*d + 268383 = -370149. Is d a multiple of 311?
False
Let v(d) = -d**3 + 38*d**2 - 13*d - 638. Is v(32) a multiple of 9?
False
Suppose -56*q - 47013 + 377368 + 274445 = 0. Is 97 a factor of q?
False
Let n be -920*((-18)/(-24) + -2). Let q = n - 809. Is 31 a factor of q?
True
Suppose 72*p - 60376 = 49*p - 10811. Is p a multiple of 10?
False
Let j(u) be the third derivative of u**5/60 + u**4/6 + 28*u**3/3 + u**2. Suppose -5*i = -3*x + 8 - 2, -6 = 2*i - 3*x. Is j(i) a multiple of 14?
True
Suppose -v = -3 - 2, -5*n + 10 = 2*v. Suppose n = -9*i - 157 - 1409. Let h = -90 - i. Is h a multiple of 14?
True
Suppose -13*f - 4886 = -6*f. Let l = f + 923. Is 8 a factor of l?
False
Let b(m) = 246*m**3 - 6*m**2 - 16*m + 90. Is b(4) a multiple of 139?
False
Suppose -2*x - 32*x + 32572 = 0. Does 23 divide x?
False
Let f = -584 - -576. Let v(q) = 28*q**2 + 28*q + 52. Is 108 a factor of v(f)?
True
Let g = 258 + -399. Let o = 405 + g. Is 6 a factor of o?
True
Let z = 979 + -327. Does 18 divide z?
False
Let l(t) = -t**2 - 5*t - 3. Let j be l(-3). Suppose 0 = -3*r + 4*i + 361 - 35, j*i = -5*r + 495. Is 25 a factor of r + -4*3/6?
True
Suppose 36*j - 143 = 23*j. Suppose 22*u - 2035 = j*u. Is 5 a factor of u?
True
Suppose 2*z = -4*g + 9708, -5*z - 57*g = -62*g - 24300. Does 14 divide z?
True
Let a(p) = -2*p**3 - 15*p**2 - 10*p + 9. Let w be a(-11). Suppose -y - 3891 = -4*i, y = i + 3*y - w. Does 27 divide i?
True
Suppose -5*x - 1642 = 3*j, 0 = -4*j - x + 167 - 2345. Let h = 746 - j. Does 47 divide h?
False
Let r be (6/(-4))/(18/552). Let f = 64 - r. Is f a multiple of 5?
True
Suppose 5*g - 164 + 59 = 0. Suppose 28*o - g*o - 574 = 0. Is o a multiple of 18?
False
Suppose -3*k - 31 = 2*j - 4*j, 3*k = -15. Is j/(16/838) + 20/(-4) a multiple of 12?
False
Let a be (-6)/(2*(-2)/52). Suppose -o - 108 - a = 0. Is (-48)/312 + o/(-26) a multiple of 4?
False
Suppose -1600 = 13*i - 430. Is 6 a factor of -6 - (2219/(-5) + 18/i)?
True
Let r = 1478 + -858. Suppose 0 = -2*l + r + 1522. Is l a multiple of 73?
False
Suppose 3*p - 2*b = -1622, -4*b + 1048 + 1652 = -5*p. Let i = p + 796. Is 14 a factor of i?
True
Suppose -35 = -5*k - 5*l, 4*l = 4*k - 7 - 5. Suppose 5*v = 3*p - 85 + 266, v + k*p = 53. Does 4 divide v?
False
Suppose 0 = 8*n - 10 - 110. Suppose 6*z - n*z + 1089 = 0. Is 36 a factor of z?
False
Suppose -5*n - 4*j = -5475, -3*n + 4*j + 1574 = -1743. Let y = n - 433. Does 26 divide y?
False
Let g be 2/10 - (-63)/35. Suppose b - 2 = 4*l + 5, g*b = l - 14. Does 9 divide 2/((-8)/27)*24/b?
True
Suppose 0 = 3*h - 3*n - 2853, -5*n + 8 = -3*n. Let v = h - 108. Is v a multiple of 11?
True
Let a(s) = 2*s + 2. Let z be a(0). Let h(r) = r**2 + 3*r - 25. Let b be h(4). Suppose -3*w - 458 = -7*w - b*l, 0 = z*w - l - 224. Is 18 a factor of w?
False
Suppose 7004 = 4*w + h, -25*w - 2*h - 5253 = -28*w. Is w a multiple of 5?
False
Is 276 + (-4 - -12) + (-16)/4 a multiple of 2?
True
Let y(l) = -l**3 + 3*l**2 + 10*l - 1. Let v be y(-5). Suppose q = 2*z - v - 198, -682 = -4*z - 2*q. Does 12 divide z?
False
Let o = 144 + -41. Suppose f - 151 = 4*i, -4*f + 3*i = -i - 556. Let d = f - o. Is 16 a factor of d?
True
Suppose 0 = -2*j - 3*x + 630, -3*j + x + 3*x + 962 = 0. Suppose 2*k - 4 = 0, 3*b - j - 44 = 5*k. Is b a multiple of 31?
True
Let r(l) = l**2 - 9*l - 19. Suppose m - 42 = 7*m. Is r(m) a multiple of 22?
False
Does 36 divide (187 - 64)/((-3)/(-36))?
True
Suppose -194*z = -196*z + 3144. Suppose -22*u + 1420 = -z. Is 5 a factor of u?
False
Suppose 667 = m - 5*s, -21*m + 19*m + s + 1343 = 0. Does 12 divide m?
True
Does 5 divide -18*(-2)/(-10)*1035/(-414)?
False
Suppose -2 = r - 4*c + 7, 2*r + 4*c - 42 = 0. Suppose r*z = 40 + 37. Is (-17)/119 - (-792)/z a multiple of 22?
False
Suppose -h - q = -5, 17 = 4*h - 26*q + 29*q. Let w(a) = 13*a**3 + a**2 - 6*a. Let c(y) = -y**3 + y. Let d(f) = 5*c(f) + w(f). Is 6 a factor of d(h)?
True
Let l be 9/21 + (1377/(-21))/(-1). Suppose 42 - l = -s. Does 3 divide s?
True
Suppose -5*o - 7 = -17. Suppose 2*a - 12 = -o*a, -i - 4*a + 269 = 0. Let n = i - 180. Does 10 divide n?
False
Suppose -2*m = 25*m - 2160. Let a = 101 - m. Does 7 divide a?
True
Let m(a) = 852*a - 80. Let n be m(5). Suppose 0 = -13*t + 18*t - n. Is 38 a factor of t?
True
Let q = 4850 - -4578. Does 4 divide q?
True
Let z(r) = 28*r - 13. Let n be z(-3). Let h = -28 - n. Is 23 a factor of h?
True
Suppose 0*v = 12*v - 24. Suppose 5*y = v*y + 216. Let t = 15 + y. Is t a multiple of 11?
False
Let t = 41261 + -28851. Is 52 a factor of t?
False
Is 2*335*8/16 a multiple of 229?
False
Suppose -2*x + 75 = 3*x. Let b be (x/(-10))/(9/(-24)). Suppose -r = -5*l - 11, l - 85 = -b*r + 43. Is 31 a factor of r?
True
Let j = -4698 + 4878. Is j a multiple of 60?
True
Let t(u) = -26*u**3 - 4*u**2 - 5*u + 2. Let w(k) = -k**3 - k**2 - k. Let q(h) = -t(h) + 4*w(h). Is q(1) a multiple of 7?
True
Let j(n) be the third derivative of -3*n**4/8 - 2*n**3 + 10*n**2. Is 4 a factor of j(-2)?
False
Let k = -20773 + 24429. Is k a multiple of 34?
False
Suppose -21698 = -15*w + 27517. Is w a multiple of 58?
False
Let q(y) = y**3 - 12*y**2 - 14*y - 5. Let k be q(13). Is 41 a factor of 6/(2*k/(-2460))?
True
Suppose x - 631 = 5*t + 1110, -5*x - 4*t + 8821 = 0. Is x a multiple of 91?
False
Let m(r) = -31*r - 28 + 242*r + 29 - 118. Does 80 divide m(7)?
True
Suppose 49*p - 198861 = -37687 - 6530. Does 12 divide p?
True
Let s(w) be the second derivative of 0 + 2*w**2 + 2/3*w**4 + 2/3*w**3 - 8*w. Does 11 divide s(-2)?
False
Suppose -4*r - 13084 = -2*l, -28*r + 23*r + 13138 = 2*l. Is l a multiple of 29?
True
Let f(r) = -8*r - 21. Let z(i) = 8*i + 23. Let y(k) = 3*f(k) + 4*z(k). Does 9 divide y(21)?
False
Let k = 1717 + 108. Let w = k - 265. Does 60 divide w?
True
Suppose -3*k = h - 3705, -6195 = -5*k + 4*h + h. Let u = 2391 - k. Does 21 divide u?
True
Suppose -5*b - 3*s + 39 = 23, -6*s = 2*b - 16. Suppose 5*q - 7 = 8. Suppose -b*h = q*h - 105. Is 15 a factor of h?
False
Does 31 divide ((-109)/2 + 4 + 4)*-684?
True
Suppose -1727930 = -257*v + 446804. Is v a multiple of 50?
False
Suppose -k + 6*b - 2*b = 117, -5*k - 627 = b. Let d = k - -115. Does 22 divide 2/d + (-7637)/(-35)?
False
Let k be (-4 - (-5)/(-5)) + 259. Suppose -w - 29 = -k. Does 25 divide w?
True
Does 111 divide (((-99804)/(-10))/6 - 5) + 15/25?
False
Let a = -82 + 384. Let l = a - 140. Let w = -100 + l. Is w a multiple of 18?
False
Suppose -6*w - 835596 = -44*w + 1252314. Is w a multiple of 99?
True
Let b = 2062 - -1655. Is 63 a factor of b?
True
Is 0 + (-18)/(-15) + (-225894)/(-5) a multiple of 90?
True
Let y be ((-5)/(-25)*0)/(-3). Suppose y = 3*w - 30 + 108. Let r = 7 - w. Does 11 divide r?
True
Suppose 9674 = 38*k - 23038 - 42490. Is k even?
False
Let f(c) be the first derivative of -c**3/3 - 5*c**2/2 - c + 20. Let j be f(-4). Suppose 0 = j*z - 10 - 110. Is 8 a factor of z?
True
Suppose 119 = h - 94. Suppose k = 5*j + 175, 4*k + j = h + 529. Let d = k - 107. Is 22 a factor of d?
False
Let v be 42*(-9)/(-18) + 0. Suppose v*u = 39*u - 11664. Is 72 a factor of u?
True
Is (1072/(-4))/((1/2)/((-1110)/120)) a multiple of 134?
True
Let b(z) = 130*z**2 - 31*z + 1905. Is b(19) a multiple of 374?
True
Let m(n) be the f