Suppose i + 7 = 3*o - 58, 4*o + 3*i - 65 = m. Is 14 a factor of o?
False
Suppose 4*k + 2*h = 19893 + 25189, -k + 2*h + 11273 = 0. Does 17 divide k?
True
Suppose 90*d - 7525652 = -128*d + 3456098. Is 13 a factor of d?
True
Let t = 1317 - 999. Does 3 divide t?
True
Suppose 14 = 2*a + 6, 96 = l - 2*a. Suppose 3*q - 16 = -4. Suppose q*k - 36 + l = 2*o, 0 = -2*o + k + 77. Is 36 a factor of o?
False
Let s(u) = 11 + 4*u + 74 - 20. Let q be s(-15). Suppose -2*r - 4*c = -246, 145 - 43 = r - q*c. Is r a multiple of 13?
True
Let x be 0/2*((-6)/4 - -1). Suppose -12*i = -x - 36. Suppose -331 = -i*v + 5*p, -v + p + 113 = -0*v. Is v a multiple of 39?
True
Suppose 2*k = -2*g + 4, -5*k - 2*g + 3 = 5. Let i be k/(-10) - (-76)/(-5). Is i/10*(-2 + (-230)/3) a multiple of 7?
False
Let i(o) = o + 12. Let a be i(-8). Suppose -500 = -4*p - 4*k, -a*p - 29 = -5*k - 484. Suppose -2*r - p + 432 = 0. Does 27 divide r?
False
Suppose -59 = 5*b - 34, -5*b - 193 = -l. Does 3 divide l?
True
Suppose 655144 + 525150 = 76*g + 319366. Is 32 a factor of g?
True
Let k be (-3 - (-20278)/14) + (-3)/7. Suppose 2*a + 3*a + 4*o - k = 0, 2*o = -3*a + 869. Suppose -4*w + 268 = 4*t, -a = -5*t + t + w. Does 18 divide t?
True
Suppose 9999 = -7*w + 39749. Is 34 a factor of w?
True
Let u be ((-85)/(-35) - 3) + 494/7. Let g = u - -206. Is g a multiple of 16?
False
Suppose -19*y + 14007 - 5362 = 0. Let z = -215 + y. Is z a multiple of 16?
True
Let c(s) = -40*s - 2 - 4 + 0 - s**3 + 38*s**2 - 21*s**2. Does 14 divide c(12)?
False
Suppose -104*m + 4073023 = 14*m - 1124405. Does 76 divide m?
False
Let n(k) = 4*k**2 + k - 1. Let f be ((2 - 3)/1)/((-6)/(-42)). Is 9 a factor of n(f)?
False
Is 17 a factor of 34/((-6 - 22/(-4))/(-183))?
True
Let k = 3710 + -1830. Does 5 divide k?
True
Suppose 107*z = -21*z - 88752 + 793520. Is 78 a factor of z?
False
Suppose -8*d - 146 = -914. Let s be (-2)/(-5) + 3672/20. Suppose d*k - s = 94*k. Is k a multiple of 23?
True
Let y be (-945)/(0 + 1) - 0. Let k = y - -2859. Is k/24 + (-1)/(-4) a multiple of 17?
False
Suppose 2*k + k - 2957 = 5*w, -2*w - 2 = 0. Is 4 a factor of k?
True
Let p(n) = n**3 + 2*n**2 - 5*n - 6. Let m be p(6). Let r = m - 48. Suppose 12 = -6*u + r. Is u a multiple of 32?
True
Let n(c) = 13*c**3 - 4*c**2 - 13*c + 2. Let m be n(-2). Let w = m - -236. Is 12 a factor of w?
True
Suppose -2*i = -q - 22434, -5*i + 5*q = -30411 - 25689. Is i a multiple of 89?
True
Let o(l) = -20*l**3 - 15*l**2 + 6*l + 1249. Let t(s) = -11*s**3 - 8*s**2 + 3*s + 624. Let a(c) = 6*o(c) - 11*t(c). Does 33 divide a(0)?
False
Let y(m) = m**2 - 29*m + 64. Let n be y(27). Let i be ((-36)/15)/((-6)/195). Does 4 divide ((-5)/n)/((-3)/i + 0)?
False
Let r = 14859 - 8139. Does 210 divide r?
True
Let l(r) = -r**3 + 6*r**2 + 22*r + 73. Let b(s) = 3*s**3 - 11*s**2 - 43*s - 147. Let f(a) = -3*b(a) - 7*l(a). Does 20 divide f(-5)?
True
Suppose -18 = -x - x - 4*v, -2*v + 47 = 3*x. Suppose 4*p + 49 = -x. Let o(n) = -2*n - 9. Is 2 a factor of o(p)?
False
Is 26/39*-18*-215 a multiple of 86?
True
Let y(v) = v**3 + 10*v**2 + 11*v - 4. Let g(o) be the first derivative of -2*o**3/3 - 7*o**2 - 8*o + 41. Let u be g(-7). Is 6 a factor of y(u)?
True
Let w(u) = 2 - 19*u**2 + 1 + 20*u**2 + 3*u. Let k be w(-3). Suppose -o = -k*o + 96. Is 8 a factor of o?
True
Let d be 4 + 4148 - (4 - -3 - 3). Let a be 4/(-10) + d/20. Let g = -152 + a. Is 3 a factor of g?
False
Suppose -2*h + h = -4. Suppose h*f + m = -1389, -2*f + f - 346 = -m. Let q = 502 + f. Does 14 divide q?
False
Suppose -7*g + 16*g - 45 = 0. Suppose g - 13 = -4*j, 5*j = 5*z - 1270. Is 34 a factor of z?
False
Suppose -6*p + 713 + 649 = 0. Suppose 3*y = 4*a - 11, -2*a = -y + 5*y. Suppose 4*x - 241 = a*n + 631, x - 5*n = p. Does 31 divide x?
True
Suppose -2*p = -540 + 78. Is ((-576)/112)/((-6)/p) a multiple of 6?
True
Suppose 0 = -5*d - 2454 + 144. Let j = -395 - d. Is j a multiple of 2?
False
Let b(g) = 4*g**3 + 7*g**2 - 4*g - 12. Let w(x) = 2*x**2 - 32*x - 31. Let y be w(17). Is b(y) a multiple of 49?
True
Let k(t) = t**2 - 15*t + 128. Let z be k(0). Let s = 198 - z. Is s a multiple of 7?
True
Let u = 217 + -404. Let n = -132 - u. Does 5 divide n?
True
Suppose 0 = 28*u - 306*u + 12286766. Is u a multiple of 59?
False
Suppose -10 = -5*q - u + 6, -5*q + 2*u = -13. Suppose -2103 = -q*b - 102. Is b a multiple of 23?
True
Suppose -143*w - 1137565 + 1606487 = -3372058. Does 85 divide w?
True
Let m be 5/(5/(-4)) - (-15 + 1). Let g(h) = -m*h - 21 - 7 + 0*h**3 - h**3 - 4*h**2. Does 13 divide g(-5)?
False
Let f(u) = 4*u**2 - 2. Suppose 4*k + 14 = -0*w + 2*w, -3*w = -2*k - 29. Suppose 12*i = -w + 47. Does 34 divide f(i)?
True
Let x(g) = 9*g**2 + 766*g + 340. Does 12 divide x(-94)?
True
Suppose 3*m - 5*g - 1330 = 0, -10*g + 7*g - 2206 = -5*m. Is 11 a factor of m?
True
Is 104 a factor of (-5 + 0)/((-2000)/992 - -2)?
False
Suppose -159 + 108 = 3*y. Let z(u) = -10*u - 79. Is z(y) a multiple of 20?
False
Let g(t) be the third derivative of -t**7/2520 - 17*t**6/720 + t**5/20 + t**4/6 + 8*t**2. Let m(f) be the second derivative of g(f). Does 10 divide m(-10)?
False
Is 40/(17 - 27) + -2 + 12752 + 2 a multiple of 4?
True
Let d(s) = 21*s**2 - 66 + 3*s - 11*s + 29 + 31. Is 23 a factor of d(-3)?
True
Does 177 divide 14730648/(-2060)*(-10)/4?
True
Suppose -4*z + 3*x - 605 = 0, -5*z - 3*x - 635 = -z. Let f = 671 + z. Is f a multiple of 12?
True
Let n(j) = -4*j - 9. Let f = 130 - 119. Suppose -13*q + 5*y = -f*q + 24, y + 70 = -4*q. Does 33 divide n(q)?
False
Suppose 21832 = 13*j - 56144 - 570. Does 57 divide j?
True
Does 12 divide 45/90 + (204294/12 - -3)?
True
Let y = -6423 - -9966. Is y a multiple of 24?
False
Let y(k) = 20*k**2 + 7*k - 2. Let s(b) = b**2 + 2*b - 1. Let n(t) = -3*s(t) + y(t). Let x = -35 - -34. Is 4 a factor of n(x)?
False
Suppose 0 = -4*i - 2*i + 12. Suppose 5*q + 2*m = -i*m - 91, m - 1 = 0. Let u = 113 - q. Does 9 divide u?
False
Let d = 1834 + -2835. Let z = 1835 + d. Is z a multiple of 9?
False
Let x be ((-3292)/6)/((30/9)/5). Let p = -502 - x. Is p a multiple of 38?
False
Does 21 divide ((-8958)/(-30))/((-80)/(-25) + -3)?
False
Let p(h) = -177*h + 1614. Does 7 divide p(-18)?
False
Suppose 204 = 7*m - 3177. Let x = -236 + m. Is 13 a factor of x?
True
Let m(q) = -q + 29. Let p be m(-15). Let v = p - 47. Does 19 divide (-327)/(-6) - v/2?
False
Suppose 3*t + 16 = x + 3*x, -4*x + 20 = -4*t. Let n be (-5 + x)/(1/(-4)). Let l(k) = k**3 - 16*k**2 + 11*k - 24. Does 37 divide l(n)?
False
Suppose -155 = -5*m + s, 0 = -2*m - 5*s + 19 + 16. Suppose 0 = -35*w + m*w + 1155. Suppose 6*n = -n + w. Is n a multiple of 11?
True
Let u = -127 + 177. Suppose 40*r - u*r = -2100. Is 14 a factor of r?
True
Let r = -2294 + 2088. Suppose 2*l - 316 = 262. Let b = l + r. Does 10 divide b?
False
Is 95 a factor of ((-7)/(70/(-456)))/(8*10/1400)?
False
Let o = 1397 - -123. Is 4 a factor of 3/(-2)*o/(-30)?
True
Let s(y) = -y**3 + 17*y**2 - 8*y + 24. Let o(r) = r**3 - 18*r**2 + 7*r - 23. Let b(g) = -4*o(g) - 5*s(g). Let q be b(14). Let a = q - 56. Is a a multiple of 20?
True
Does 20 divide (-37135)/(-10)*2 + -1 + -5 + 2?
False
Let m be ((8/(-6))/(-4))/(5/45). Suppose m*l - 4*r + 2*r - 240 = 0, -4*l - 4*r + 300 = 0. Suppose -12 = -6*h + l. Is 15 a factor of h?
True
Let o = -27696 - -36096. Does 120 divide o?
True
Let w = 16735 - 9579. Is 126 a factor of w?
False
Suppose 6*m = -0*m + 378. Let j = m - 43. Suppose x - j = -4*x. Is x a multiple of 2?
True
Let a(r) = r + 15. Let o be a(-4). Suppose 2*w - o = -5. Suppose z - w*z + 64 = 3*u, 2*z + 26 = 2*u. Does 18 divide u?
True
Is -15 - 68112/(-80) - (-8)/(-20) a multiple of 4?
True
Let j be (-2)/7 - 185/(-35). Is 15 a factor of 20*3 - (j + -4)?
False
Let i = 310 - 310. Is i - (621/36)/((-1)/12) a multiple of 27?
False
Suppose -63*l = -66*l + 5145. Let g = l - 1040. Does 15 divide g?
True
Let c be -2592 - ((-1 - -2) + 10 + -9). Let q = -816 - c. Is q a multiple of 14?
True
Let s = -5467 + 7694. Is s a multiple of 65?
False
Let c(d) = -d**3 + 7*d**2 + 7*d - 8. Let i be 2*(-4)/8*-6. Let q be c(i). Suppose -520 + q = -6*y. Is y a multiple of 15?
True
Suppose 28338 = 36*z - 415470. Is z a multiple of 14?
False
Let f be (-7 + (35 - 15))*((-1)/1 + 2). Let w = -7 + 10. Is 17 a factor of (0 - -2)*f - w?
False
Let z(q) = -46*q**2 - 2*q - 1. Let l be 