6) + (-44)/(-12). Does 9 divide i - (1 - -11)*-2?
True
Suppose -149*s - 96192 - 39690 = -167*s. Does 17 divide s?
False
Suppose -5*v + v - m = -7293, -5*v = -5*m - 9085. Suppose 2*n = -4*z + v, 0 = -4*z + 5*n - 771 + 2600. Is 12 a factor of z?
True
Let o(v) = 8*v**2 + 67*v + 108. Is 27 a factor of o(-59)?
True
Let l(r) = r**3 - 13*r**2 - 14*r - 6. Let x be l(14). Let q be (3 - (-45)/x)/(9/(-24)). Does 18 divide ((-30)/(-4))/(q/232)?
False
Let p(r) = 5 + 0*r**2 - 15*r - 11*r**2 - 17 + 5 - 2*r**3. Is p(-6) a multiple of 3?
False
Suppose -11*u + 320097 + 969103 = 0. Is u/140 - 4/28 a multiple of 28?
False
Let c(f) = 64*f - 33. Let a(p) = 127*p - 65. Let u(d) = 6*a(d) - 11*c(d). Does 21 divide u(3)?
True
Is 15 a factor of (-6)/129 + (-1893125)/(-1075)?
False
Let g(t) = t**3 - 12*t**2 - 20*t - 36. Let n = -376 + 390. Is 2 a factor of g(n)?
True
Let i be (-6932)/(-34) - (4 + 70/(-17)). Suppose -i*g = -216*g + 1080. Is g a multiple of 18?
True
Let d = -13261 + 19222. Is d a multiple of 23?
False
Suppose 605632 + 127731 = 67*s - 940900. Is s a multiple of 225?
False
Let j = 10677 - 5343. Does 12 divide j?
False
Suppose -1024 = -9*s + 19919. Suppose -10*w + s + 2003 = 0. Is w a multiple of 20?
False
Let b(s) = -3*s**3 - 19*s**2 + 20*s - 34. Is b(-8) a multiple of 14?
True
Let c be 24/(-15)*(-2)/((-8)/(-10)). Suppose 0*y = -2*y - 3*r - 90, c = -2*r. Does 14 divide 369/5 + (y/(-10) - 4)?
False
Suppose -87*u + 233600 = -82*u. Is u a multiple of 16?
True
Suppose -2*a + 1071 = n - 1282, -5*n = -a - 11787. Suppose 0*s = -5*x + s + n, -x + 487 = 5*s. Does 27 divide x?
False
Suppose 5*o - 7*o = -5*j - 6102, o - 3052 = 3*j. Suppose o = 5*d - 1304. Is d a multiple of 10?
True
Let c = 25050 + -21703. Is 28 a factor of c?
False
Let f be (2/(-3))/(2/(-9)). Let d be 2 + 1 - (1 + -17). Is d - (12/f)/1 a multiple of 15?
True
Suppose -1562 = -30*z + 15448. Is z a multiple of 5?
False
Suppose -492 = -4*o - 60. Suppose 0 = -2*r + y + o, 5*r + y - 270 = 4*y. Does 6 divide r?
True
Suppose -2895 = -379*w + 376*w + 12861. Is 26 a factor of w?
True
Let q(j) be the first derivative of -31*j**4/2 + 2*j**3/3 - 2*j - 2. Suppose -14*x + 5 = 19. Does 48 divide q(x)?
False
Suppose 12 = 5*q + 2. Suppose 0 = -q*p - 6 + 20. Suppose -p*t + 4*t = -747. Is t a multiple of 41?
False
Let n(k) = -26*k**2 - 2*k + 7. Let z(c) = -c**3 - c**2 - c + 1. Let v(j) = -n(j) - 2*z(j). Let d be v(-14). Does 6 divide (15 - -1)*(d/10)/(-13)?
False
Let p(d) be the first derivative of d**3/3 + 31*d**2/2 - 32*d + 156. Is p(22) a multiple of 42?
True
Let p(g) = g - 8. Let h be -3 + (-39)/(-26)*(-56)/(-6). Let y be p(h). Suppose 0 = 5*r - r + 3*n - 14, -y*r + 3*n = 0. Is r even?
True
Suppose -5*s + 1249 = 2*t, 4*s + 447*t - 1009 = 444*t. Is s a multiple of 2?
False
Let t = -1386 + 4561. Is t a multiple of 48?
False
Suppose -4*z - 28 = 0, 12*z + 3721 = 2*x + 13*z. Is 57 a factor of x?
False
Let d = 17 + -5. Suppose -g = -5*g + d. Suppose -3*b + 0*b = g*o - 111, b = -2*o + 72. Is o a multiple of 5?
True
Let z(c) = -15*c**2 + 1159*c - 46. Is z(37) a multiple of 7?
True
Let j = 2333 + -1637. Is 29 a factor of j?
True
Let d be -9*(-1 + (-2)/(-3)). Let v be (-66)/176 + (-54)/(-16). Suppose -v*o - 30 = -5*o - d*i, 5*i - 29 = -o. Is 3 a factor of o?
True
Let j = -8870 - -14491. Does 211 divide j?
False
Let c = 51 + -43. Let w be 1/(6/c + 1/(-4)). Suppose 4*h + a = 592 + 249, -h + w*a + 208 = 0. Is h a multiple of 35?
True
Let k be (-37)/111 + (1 - (-10)/3). Suppose 0 = k*r + u - 3, 3*r - 3 = 5*u + 28. Is 8 a factor of r/(-3)*117/26 + 123?
True
Suppose 188407 - 37207 = 12*n. Is 20 a factor of n?
True
Suppose -97*b = -9*b - 2816. Is 8 a factor of b?
True
Suppose -47 = -2*l - 3*c, -128 = -5*l - 6*c + 9*c. Suppose 5*h + m - 1644 = 0, m = 22*h - l*h + 986. Is h a multiple of 26?
False
Suppose 0 = -17*m + 303 + 173. Suppose m*b = 29*b - 259. Does 3 divide b?
False
Let x(o) = -100*o + 4116. Is x(13) a multiple of 11?
True
Suppose 6*n + 20*n - 40314 = 53832. Is n a multiple of 2?
False
Let x = -7726 - -13576. Is 10 a factor of x?
True
Let d(k) = 114*k + 130*k - 140*k - 63. Is d(3) a multiple of 83?
True
Let m be ((-567)/(-84))/(2/80). Is 4 + -5 + m + -3 a multiple of 6?
False
Let j(y) = y**2 + 29*y - 28. Let r(k) = k**3 - 7*k**2 - 2*k + 19. Let u be r(6). Let z be j(u). Let s = z - -72. Is s a multiple of 7?
False
Is (-260913)/116*((-68)/18 + (-6)/27) a multiple of 5?
False
Suppose 3*q + 54 = q. Let t be (-14)/4 - ((-7128)/16)/9. Let h = t + q. Does 6 divide h?
False
Let j be (-35 - -56)*1/1. Suppose 2*f - j = 3*z, -4*z = 11 + 9. Does 3 divide f?
True
Let a(o) = 3*o + 10. Let w = 15 - 23. Let y be a(w). Let v = y + 42. Does 3 divide v?
False
Let h = -76 - -70. Let v(g) = -g**3 - 7*g**2 - 7*g + 1. Let u be v(h). Suppose 18*l = u*l + 3157. Is l a multiple of 41?
True
Suppose c - m + 472 = 0, 7*c + 952 = 5*c - 2*m. Let p = 120 - c. Is 27 a factor of p?
True
Suppose -17*j - 119 = 0, -21*j = 5*a - 25*j - 3428. Does 4 divide a?
True
Let i(y) = -16*y - 2*y + 91*y + 10*y + 2*y - 143. Is 3 a factor of i(8)?
True
Is (-5)/(25/(-10244)) - (-200)/(-250) a multiple of 128?
True
Suppose 3 = 5*w + 3*g, g + 19 = 5*w - 0*g. Suppose p - 16 = -w*p. Suppose 0 = -p*d - 5 + 193. Is d a multiple of 4?
False
Suppose 0 = -6*a + 87 + 105. Suppose s = -5*n + 38, s - a = n - 3*n. Is 7 a factor of s?
True
Let x(i) = 9*i**3 + i**2 - 2*i - 6. Let o be x(-2). Let m = o + 190. Does 30 divide m?
True
Let j be (-16)/(-2)*-25*4/16. Let q = j - -255. Is 5 a factor of q?
True
Let r(o) = o**3 - 54*o**2 - 50*o + 1201. Is 96 a factor of r(57)?
False
Let f(m) = m**3 + 7*m**2 - 18*m + 1. Let c be 18/(-63) + (-61)/7. Let t be f(c). Does 25 divide t/5 + 1248/10?
True
Let s be (-22 - -44)*(3 + (-2 - 0)). Suppose 4*j = 2*g + 2448, 17*j - 3*g + 3060 = s*j. Is 9 a factor of j?
True
Suppose -10*d + 20 = -5*d. Let v be (-495)/6*d/5. Let q = 140 + v. Does 15 divide q?
False
Let f(i) = -i + 19. Let q be ((-80)/(-25))/((-2)/(-10)). Let m be f(q). Suppose 2*u - c + 47 = 5*u, -m*c + 81 = 5*u. Is 11 a factor of u?
False
Let w(i) = -77*i - 431. Does 16 divide w(-11)?
True
Let l = -31 + 33. Let p be (-4 + l)*3/6. Does 45 divide (p*1)/(13/(-1170))?
True
Is (-162)/(-1539) + (-88994)/(-19) a multiple of 5?
False
Suppose -7 = k - 13. Let v(j) = 2*j**3 - 12*j**2 + 2*j - 9. Let o be v(k). Suppose -21 - 18 = -o*q. Is 6 a factor of q?
False
Suppose -6*z = 6 - 0. Let x be z + (-43)/(-4) - (-18)/(-24). Suppose n - x = 46. Does 11 divide n?
True
Let j be ((-186)/(-8))/((-4)/(-16)). Suppose -8*a + 75 = -5*a - 5*r, -2*a - r + 37 = 0. Let d = j - a. Is 9 a factor of d?
False
Let l be 562/16 + 1 + (-2)/16. Suppose l*c = 43*c - 7133. Is 35 a factor of c?
False
Is 17 a factor of (-22388)/(-10) - ((-336)/16)/105?
False
Suppose 43*a - 309304 = 86253. Is 125 a factor of a?
False
Let i(q) = -26*q + 31. Let r be i(1). Suppose -3*j + 336 = r*a, 0 = -29*a + 24*a. Is 2 a factor of j?
True
Suppose 2*g - 3*s - 674 = 118, -4*s = -7*g + 2733. Is 43 a factor of g?
True
Let b = 127 - 128. Is (-30)/20*78*b a multiple of 8?
False
Let c = -10277 - -18492. Does 32 divide c?
False
Suppose -3*r - 16*t - 153 = -12*t, 0 = 5*r + 3*t + 255. Let m = r - -107. Is 3 a factor of m?
False
Suppose 3*b - 4*i - 2002 = -6*i, -4*b = -3*i - 2675. Does 4 divide b?
True
Suppose 4*c - 2*p - 44240 = 0, -p - 10457 = -3*c + 22724. Is c a multiple of 238?
False
Suppose -10*i = -8*i. Suppose -2*r + 63 - 189 = i. Let x = -38 - r. Is x a multiple of 8?
False
Suppose -23*o + 4*o + 247 = 0. Suppose 15*t - 1680 = -o*t. Is t a multiple of 17?
False
Suppose 0 = -0*g - 3*g + 2178. Is 22 a factor of g?
True
Let q = -70 + 72. Let d be q + -1 + 3 + -1. Suppose b - d*g - 45 = 0, 3*b - 5*b + 120 = 4*g. Is 18 a factor of b?
True
Let h be -7 + 2 + -4 + 12 - -545. Suppose 4*j + 3*y = h, -4*j - 70 = 4*y - 618. Is j a multiple of 41?
False
Let q(r) = -r**3 + 9*r**2 - 5*r - 5. Let c be q(3). Let l = c - 31. Is (47 + -4 - l)*72/10 a multiple of 24?
True
Let b(q) = -q**3 - 5*q**2 + 7*q - 1. Let t be b(-6). Let z be (t + 1)*68/(-6) - 1. Suppose 84 - 314 = -5*m - 4*w, -5*w = m - z. Is m a multiple of 14?
True
Suppose 4*q - 42492 = 22*x - 19*x, -5*q + 53053 = 4*x. Is 7 a factor of q?
False
Suppose 0 = 5*l - 4*b - 7584, 121*l - 122*l - 3*b + 1494 = 0. Does 6 divi