o(i). Does 3 divide 3/(-2) - (-18)/k?
True
Let o be (21/(-6))/(1*(-1)/2). Does 31 divide 2/o + (-1420)/(-28)?
False
Let n = 8527 - 5233. Does 54 divide n?
True
Suppose 5*z - 4*s = 7*z + 14, -2*z - 10 = 2*s. Suppose 8*v - 4*v = 5*i - 106, -v = 4. Is 9 a factor of z/2*(-276)/i?
False
Suppose 0 = 6*f + 1 - 25. Suppose 2*h = 2*l - 7*l + 15, 5*l - 45 = -f*h. Does 3 divide h?
True
Let i = 13 + -8. Is 20 a factor of 7488/160 + (1/i - 1)?
False
Suppose 2*k - 25*k = -59823. Is 9 a factor of k?
True
Let y(w) = 17*w**3 - 2*w**2 - 3*w - 2. Let c be 4/12*2*3. Is 20 a factor of y(c)?
True
Let n(u) = u + 15. Let b be n(-11). Suppose b*k + 9 - 37 = 5*z, -3*k - 3*z = 6. Suppose d + 3 = 2*h + k*h, -4*d - 2*h = -24. Is d a multiple of 5?
True
Let a be 3/(-12) - 183/(-12). Does 24 divide ((-119)/(-2))/(a/30)?
False
Let y = 302 - 204. Let z = 43 + y. Does 41 divide z?
False
Let c = -22 + 26. Suppose 2*m - 3*m - c*i = -14, 4*i = 4. Is (8/(-10))/(m/(-175)) a multiple of 7?
True
Let h = 1447 + -557. Suppose 210 - h = -5*j. Does 26 divide j?
False
Let q = 2262 - 732. Does 18 divide q?
True
Suppose 0*m = 4*m - 24. Suppose 0 = -l + 3*k - m - 9, -2*l - 5*k + 25 = 0. Let h = l - -19. Does 9 divide h?
False
Suppose 3*j - 28 = c - 5, -5*j - 25 = 0. Let m = 4 - c. Is m a multiple of 6?
True
Suppose -4*x + 11*x = 861. Does 5 divide x?
False
Let t = 126 + -120. Suppose -872 + 152 = -t*w. Is 22 a factor of w?
False
Let s be (-8)/14*(-14)/4. Suppose -2*m - m + s*j = 0, -m - j = 5. Is m/6 - 724/(-12) a multiple of 15?
True
Suppose 18*s - 10178 = 3700. Is s a multiple of 116?
False
Suppose -g - 2 = -0*g + 5*x, -4*g = 3*x + 42. Suppose 6*a - 45 = a. Does 6 divide (-90)/(-8) - a/g?
True
Is 170 + (4 - -16)/4 a multiple of 3?
False
Let z = 694 + -98. Does 21 divide z?
False
Let k = 701 + 153. Is 61 a factor of k?
True
Is ((-1755)/108)/(2/(-48)) - 0 a multiple of 15?
True
Let u(t) be the second derivative of t**4/12 - 2*t**3 - 2*t**2 - 5*t. Let l = 37 + -23. Does 12 divide u(l)?
True
Suppose 1162 = 13*c - 4688. Does 45 divide c?
True
Suppose -6 = -d - 0. Let k be 78/9 + (-4)/d. Does 4 divide (k/(-2))/((-3)/6)?
True
Let f(i) = i**3 - 2*i**2 + 1. Let g be f(4). Let c be 1/3 + 319/g. Let o = 13 - c. Is o a multiple of 2?
False
Suppose 2*s = 3*g - 2*s - 131, 5*g + 3*s - 257 = 0. Does 4 divide g?
False
Let b be 20*((-15)/(-12) - 1). Suppose -5*z - 5*q = 450, 4*q + 44 = -b*z - 407. Let g = -46 - z. Is 9 a factor of g?
True
Is 866 + (1 - (10 - -2)) a multiple of 4?
False
Let o = 13 + -3. Suppose 7*m - o*m + 33 = 0. Does 5 divide m?
False
Let f(x) = -2*x**3 + 1248. Is f(0) a multiple of 8?
True
Suppose -4*y - 240 + 752 = 0. Is 9 a factor of y?
False
Suppose -168 = -4*a - 2*g, 5*g - 186 - 24 = -5*a. Let f = -29 + a. Does 13 divide f/(-3 - (-21)/6)?
True
Suppose -8557 = 70*z - 52447. Is z a multiple of 3?
True
Let g(s) = 82*s - 90. Does 14 divide g(11)?
True
Let r(h) = -85*h - 41. Is r(-5) a multiple of 48?
True
Let c = 64 + -63. Let b(a) = 74*a**3 + 2*a**2 - a. Is b(c) a multiple of 5?
True
Let v(s) = 81*s**2 - s + 2. Is 36 a factor of v(2)?
True
Suppose 17*u - 8786 = -6*u. Is u a multiple of 7?
False
Suppose -6*x = -11*x + 25. Suppose -x*j = -80 - 5. Let u(n) = n**2 - 18*n + 21. Is 4 a factor of u(j)?
True
Let z = 112 - 80. Suppose i + z - 224 = 0. Does 24 divide i?
True
Let h(a) = 35*a + 197. Does 15 divide h(-3)?
False
Suppose -32 = -3*w + 4*g + 6, -28 = -3*w - g. Suppose y - 2*a + a = 29, 0 = y + 5*a - 5. Is 10 a factor of (w/y)/(4/240)?
False
Let s(v) = v**3 + 5*v**2 - 3*v + 5. Let h be s(-5). Suppose h*b = 18*b + 246. Is 27 a factor of b?
False
Let q = -6 - -8. Suppose -7*l + q*l + 20 = 0. Suppose -l*d + 97 = -95. Is d a multiple of 24?
True
Let r = 592 + -549. Is r a multiple of 33?
False
Let w = 1843 + -1288. Is 25 a factor of w?
False
Suppose -4*f + v + 4170 = 586, 0 = v. Does 64 divide f?
True
Suppose 9*t + 6 = 8*t. Does 4 divide 153/12 - t/(-8)?
True
Let a(z) = z**3 + 10*z**2 + 2*z - 12. Suppose 5*l + g + 24 + 161 = 0, -3*l - 5*g - 133 = 0. Let b be -3 - (-3 + l/(-4)). Is a(b) a multiple of 17?
True
Is 10 a factor of (-2)/((-16)/24)*197?
False
Suppose -3*b - 2*a = b - 12, 0 = 2*a. Suppose b*v - 176 + 11 = 0. Is 2 a factor of v?
False
Let u = 203 - 83. Suppose 2*a + 3*w - 3 = 45, 5*a + w - u = 0. Is a a multiple of 18?
False
Let g = -154 + 759. Is 71 a factor of g?
False
Let d = -21 - -29. Let x = d - 37. Is x/((-7)/2 + 3) a multiple of 21?
False
Suppose 5*u + 26 = i - 265, 0 = -3*i - 3*u + 783. Is i a multiple of 19?
True
Is 7 a factor of (33/15)/(9/315)?
True
Suppose 10483 = 2*q + 3*q - 13*s, s - 4 = 0. Is q a multiple of 90?
False
Is (-1 - 17)/(11/((-99)/6)) a multiple of 16?
False
Let x(w) = w**3 + 20*w**2 + 7*w + 2. Does 27 divide x(-14)?
True
Suppose -15 + 9 = -t. Suppose -t*w + 245 = -w. Does 7 divide w?
True
Let j(o) = -o**3 + 5*o**2 + 8*o + 17. Let u be j(7). Let v = u - -35. Is 2 a factor of v?
True
Let i = -193 - -4375. Is 88 a factor of i?
False
Let w = -6 + 27. Suppose -d + 21 = -w. Does 14 divide d?
True
Suppose 2*l + 10 = 3*l. Let f(w) = 0 + 3 + 0 + 2*w + 11. Is 7 a factor of f(l)?
False
Let n = -2189 + 4133. Does 108 divide n?
True
Let l = 3 - 1. Let c = 79 + l. Does 15 divide c?
False
Suppose a = -1 + 5. Is 7 a factor of a + 5 + -1 + -1?
True
Suppose 4*v - i + 88 = i, 3*v + 52 = -2*i. Let x = -11 - v. Is 3 a factor of x?
True
Let h(z) = 2*z**2 + 29*z + 22. Let y be h(-14). Let i(b) = b + 32. Does 40 divide i(y)?
True
Suppose -5 = -q - 11. Let t(c) = c**3 + 6*c**2 - 10*c - 19. Is 8 a factor of t(q)?
False
Let t = 20 - -44. Suppose -4*w + t = 2*l - 44, 3*l + 118 = 4*w. Does 5 divide w?
False
Let j = -489 + 707. Is 6 a factor of j?
False
Let x(y) = -2*y**3 - y**2 + 3*y + 2. Suppose 3*q = -5*s - 22, 4*s - 5*q - 14 = s. Let v be x(s). Let i = -1 + v. Is i a multiple of 7?
True
Let o(a) = -a**2 - 10*a + 19. Let m(n) = -n**2 + 4*n - 11. Let u be m(4). Does 8 divide o(u)?
True
Let o(u) = -u**3 - 3*u**2 + 7*u. Let y be o(-5). Let f = -26 + 26. Suppose 19 = d - 5*p, d - p - y = -f*p. Is d a multiple of 10?
False
Let a = 67 - -4. Is a a multiple of 4?
False
Suppose -395 = -4*l + 549. Let z be 4/(8/l*-1). Let h = -55 - z. Is h a multiple of 21?
True
Let u(y) = -y - 10. Let h be u(-7). Let d(l) = -l - 9. Let j be d(9). Is j*h*8/36 a multiple of 6?
True
Suppose -15786 = 624*v - 630*v. Is 34 a factor of v?
False
Let h = -492 - -526. Is h a multiple of 3?
False
Suppose -71 = 2*i - 71. Suppose i = -29*g + 24*g + 550. Is 12 a factor of g?
False
Let t(x) = 10*x**2 - 5*x - 9. Let b be t(5). Suppose b = -0*u + 12*u. Does 18 divide u?
True
Let z(l) = -2*l - 5*l - l + 4*l**3 - 3*l + 11 - 17*l**2. Let p(h) = h**3 + h. Let q(t) = -3*p(t) + z(t). Is 31 a factor of q(18)?
False
Let z = 357 + -110. Let n = -122 + z. Is n a multiple of 11?
False
Let r = 193 + -101. Does 43 divide 0 + r - (18/6)/(-3)?
False
Suppose -1119 = 4*z - 1347. Does 3 divide z?
True
Let v be 490/18 - (-8)/(-36). Suppose -v = -3*w + 2*w - u, -2*u = 3*w - 79. Does 14 divide w/2 - 9/(-6)?
True
Let n = -1845 - -2531. Is n a multiple of 4?
False
Suppose -4378 = -5*v + 3*j, 5*v - 3524 = v - 3*j. Is v a multiple of 15?
False
Let n(y) = 59*y**2 + y - 1. Let z be n(-1). Suppose 7*f - 4*f = z. Does 14 divide f?
False
Let v(t) = -6*t**3 + t**2 - 1. Let c be v(1). Let r(g) = -g + 1. Let h be r(-4). Let p = h - c. Is 11 a factor of p?
True
Suppose -14545 = -17*p - 4107. Is p a multiple of 33?
False
Is (-170)/17 + 238 + -4 a multiple of 56?
True
Is 12 a factor of (-1*1 + 4)/((-83)/(-332))?
True
Let i = -38 + 43. Suppose 0 = 3*n - 5*d - 70, -i*d = 25 - 0. Is n a multiple of 6?
False
Suppose -5*o = q + 181 - 836, 0 = 5*q + 25. Does 6 divide o?
True
Suppose 287*w + 2584 = 295*w. Is w a multiple of 17?
True
Suppose -5*n - l = 84, l + 9 = 2*n + 37. Suppose 5*v = -x + 152, 4*v - 3*x = 12 + 102. Let r = n + v. Is r a multiple of 4?
False
Is 3 a factor of 471/9 + (1 - 28/12)?
True
Let d(t) = t**2 + 7*t + 17. Let m be d(-7). Let j = m - 15. Is -7*(-4)/4 + j a multiple of 3?
True
Let s be 20/(-5) + -9*4/(-6). Suppose 0 = -2*i - 3*l + 87, -3*i - s*l = -i - 90. Is 24 a factor of i?
True
Let d(b) = -b**3 - 3*b**2 - 4*b + 4. Let s be d(-4). Suppose 0 = -9*j + s. Is j a multiple of 2?
True
Suppose 5*g + 35 = -5*i, 2*g - 4*i + 8 = 3*g. Is 2135/20 +