-4*o = -i + 6, -2*i - t*i = 2*o - 96. Does 6 divide i?
True
Let r(z) = 222*z. Let k be r(5). Does 37 divide ((-14)/(-6) + -2)/(5/k)?
True
Is 10 a factor of (16965/20)/13*24?
False
Does 18 divide 8/12 - (-13)/(117/4206)?
True
Let c = 15 - 12. Let u(m) = -m**3 + 2*m**2 - 4*m + 4. Let o be u(c). Let f = o + 35. Is 9 a factor of f?
True
Let c = 1304 - 457. Is c a multiple of 13?
False
Let j = -96 - -102. Suppose j*t - 1039 - 113 = 0. Is 24 a factor of t?
True
Let h = -36 + 53. Suppose 3*r - 11 = -3*m + 5*r, -2*r = -5*m + h. Suppose 0 = -5*g + m + 2, 46 = o - 3*g. Is o a multiple of 10?
False
Let r be -1 - 33/(-1 - 2). Let u(l) = l**3 - 10*l**2 + 6*l + 6. Is u(r) a multiple of 22?
True
Let x = 75 + 130. Is x a multiple of 3?
False
Let b(r) = -r**3 + 3*r**2 - r. Let d be b(2). Suppose -2*n - d*o + 204 = 0, 298 = 3*n + 2*o - 3*o. Is n a multiple of 25?
True
Is 31 a factor of ((-34)/(-6) - 5)/(1/501)?
False
Let w(k) be the second derivative of k**5/20 + k**4/2 - k**3/2 + k**2 + 4*k. Let c = -3 - 3. Is w(c) a multiple of 5?
True
Suppose 2*h - 33 = 3*b, 4*h - 5*b - 46 = -3*b. Is h a multiple of 9?
True
Let y(g) = -g - 5. Let n be y(-5). Let h(a) = 4*a + 54. Is h(n) a multiple of 9?
True
Let l(b) be the second derivative of b**5/20 - 7*b**4/12 + 4*b**3/3 - 4*b. Let p be l(7). Suppose 3*z - 4*j - 84 - p = 0, -j - 45 = -z. Is 8 a factor of z?
True
Suppose -6*u + 12 = -18. Suppose 2*q - u*d = 86, -4*d = q - 3*d - 50. Is 37 a factor of q?
False
Suppose -4*p = -4*k + 332, -5*p + 65 = k - 0*p. Suppose -3*y - 2*y = -3*b - k, b + 90 = 5*y. Suppose 2*o - n - y = 0, 3*o = -o - n + 41. Is o a multiple of 4?
False
Let p(u) = 33*u + 45. Is p(6) a multiple of 6?
False
Let n(r) = -11*r - 10. Suppose -1 - 34 = -5*s + 3*i, 35 = s + 5*i. Suppose -5*b + 25 = -s*b. Does 9 divide n(b)?
True
Is (-24633)/(-99) - 4 - (-2)/11 a multiple of 7?
True
Suppose -4*j = -n - 2*n + 30, -n - 16 = 3*j. Suppose 0 = -l + 12 + 35. Let h = j + l. Is 13 a factor of h?
False
Let j = -464 + 625. Does 7 divide j?
True
Let l(u) = 14*u - 25. Let y be -6 + 5 + -3 - -14. Is l(y) a multiple of 23?
True
Let r = 13 - -45. Suppose 0 = 2*g - 82 - r. Is g a multiple of 30?
False
Let r(k) be the first derivative of 25*k**2/2 + 15*k + 30. Is r(7) a multiple of 38?
True
Let n(y) = -y**3 + 11*y**2 + 27*y + 20. Let o be n(12). Is o - 2 - 6/(-2 - -4) a multiple of 15?
True
Does 14 divide (-12)/16 - 1881/(-44)?
True
Let f(i) = -i**3 - 4*i**2 + 3. Suppose -22 = 3*v - 2*r, -4*v - r - 15 = v. Is 3 a factor of f(v)?
True
Let z = -388 + 608. Is 11 a factor of z?
True
Is (-125)/625 + (-19072)/(-10) a multiple of 13?
False
Let y(q) = -q**2 - 8*q - 4. Let g be y(-7). Suppose 0 = -3*m + 3*j + 148 + 41, g*j = 4*m - 253. Is 32 a factor of m?
True
Let j(k) = k**3 - 3*k**2 + 6*k - 4. Let x be j(2). Suppose -20 - 32 = -x*w. Is w a multiple of 3?
False
Let k(i) = -i**2 - 6*i + 4. Is k(-6) even?
True
Suppose 0 = o + 3, -2*i - 2*o + 774 = i. Suppose -5*w + i = -5*v, -4*v + 178 = 3*w + 1. Does 8 divide w?
False
Suppose 0*z = s + 4*z - 11, -s - z + 5 = 0. Suppose -h + s*h = 76. Is 10 a factor of h + 0/(-2) + -3?
False
Let k be -1 - -2 - -3 - 0. Let d(m) = m**3 - 2*m**2 - 7*m + 9. Is 2 a factor of d(k)?
False
Let t(i) = 12*i**2 - 13*i - 99. Is 19 a factor of t(13)?
False
Suppose -5*y - h - h - 10 = 0, 2*h = -4*y - 6. Let i = 0 - y. Does 9 divide 27 + i*(2 - 3)?
False
Suppose 0 = -4*t + 7*t - 21. Let s = -5 + t. Suppose 35 = s*k - 19. Is 14 a factor of k?
False
Suppose 0 = 4*r - 16, 4*q + 5*r - 16 = 24. Suppose -3*n + 58 = 4*x - 0*n, -4*x = q*n - 54. Is 4 a factor of x?
True
Let n(c) = -c**3 + 5*c**2 + 6*c - 25. Let d be n(5). Suppose d*i + 5*s = 1090, i - 221 = -0*i - 4*s. Does 35 divide i?
False
Let w(n) = 6*n**2 + 3*n + 29 + 9 + 31 - 2. Let c(p) = p**2 + p + 1. Let k(i) = -4*c(i) + w(i). Does 21 divide k(0)?
True
Suppose -r + 17 = 14. Let a(u) = -27*u + 1. Let g(f) = 28*f - 1. Let z(n) = -6*a(n) - 5*g(n). Is z(r) a multiple of 27?
False
Let m = -16 + 15. Let g be 108/10 - m/5. Suppose f = 2*s - s - 1, -g = -5*f + s. Is 2 a factor of f?
False
Suppose 12 = -3*d - 0*d. Does 15 divide -134*(-1 + d/(-8))?
False
Let l = 13 - 9. Suppose -6*s - 7*s = 0. Suppose -l*u + 83 + 21 = s. Does 26 divide u?
True
Suppose -2*k + 656 = -3*b - 435, 0 = -3*k + b + 1647. Is k a multiple of 55?
True
Let d(t) = 2*t**2 - 6*t - 133. Is d(-13) a multiple of 37?
False
Let g = 38 - 20. Let x be ((-4)/(-6))/((-6)/(-27)). Suppose -2*w - 24 = -2*a, 0 = -3*a - x*w + 48 + g. Is 17 a factor of a?
True
Let h(o) = -o**3 + 9*o**2 + 2*o + 2. Let m(s) = 2*s**3 - 20*s**2 - 5*s - 5. Let g(k) = 5*h(k) + 2*m(k). Let a be 32/(-12)*(-3)/2. Does 4 divide g(a)?
True
Let m(z) = 9*z + 22. Let c be m(14). Suppose -7*i + 312 = -3*i - 4*n, 4*n + c = 2*i. Is 4 a factor of i?
False
Suppose 0*s + s + 5*j + 15 = 0, -4*j = 12. Let b be 2 - 33 - (s - -2). Let k = b + 50. Is k a multiple of 6?
False
Suppose 0 = 16*r - 14*r. Suppose 0 = -4*v - r*v + 136. Is v a multiple of 17?
True
Let d = 1348 + -944. Suppose -4*j + 4*q = -d, 0 = -4*q + q - 3. Is 11 a factor of j?
False
Is 1*(-11)/77 - 2620/(-14) a multiple of 26?
False
Let t = 38 + 44. Is t a multiple of 29?
False
Let c = -48 - -166. Is c a multiple of 23?
False
Let x(v) = 191*v**2 + 5*v + 6. Is x(-1) a multiple of 16?
True
Let q(p) = p**3 + 12*p**2 - 5*p. Let t be q(-13). Let r = -83 - t. Is 3 a factor of r?
True
Let f(j) = j**2 - 9. Let o(p) = p - 12. Let g be o(4). Does 11 divide f(g)?
True
Suppose 5*v - v = 3*n, -2*n - 8 = 0. Is 10 a factor of (v/8*-2)/(2/160)?
True
Suppose 0 = -7*c + 8 - 1. Suppose c - 8 = -l. Is l even?
False
Suppose -196 = 4*p - g, g + 30 + 24 = -p. Let w = p + 68. Is w a multiple of 6?
True
Is 17 a factor of 44/(-11) - (-3 + -354)?
False
Let f(u) = -u**3 - u**2 + 1. Let z be f(1). Let q be (z + 21)/4 + -1. Suppose n + 12 = q*n. Is n a multiple of 3?
False
Let i(u) = u**3 + 7*u**2 - 49*u + 10. Is i(5) a multiple of 2?
False
Let i(t) = 5*t**3 + 12*t**2 + 14*t. Suppose 2 = -b + 6. Let h(v) = -11*v**3 - 24*v**2 - 29*v - 1. Let k(r) = b*h(r) + 9*i(r). Is 7 a factor of k(-11)?
True
Suppose 2*n + o + 2*o = 99, -52 = -n - 2*o. Let w = 70 - n. Let q = -13 + w. Is 15 a factor of q?
True
Does 7 divide 12/(-7 - -13) + (-41)/(-1)?
False
Let t(a) = 89*a**2 + 44*a - 17. Is 9 a factor of t(-7)?
False
Suppose -2 = -3*c + 10. Suppose -3*o - c = -7. Let p(a) = 17*a + 2. Is p(o) a multiple of 19?
True
Let j(d) = d**2 + 18*d - 5. Suppose 0 = 6*i - i + 95. Is 7 a factor of j(i)?
True
Let w(b) = b**2 - 9*b + 7. Let f be w(5). Let z = -5 + 4. Is 10 a factor of (-28 - f)*(z - 0)?
False
Suppose -38*s + 10 = -39*s. Is -5*1 + (-430)/s a multiple of 20?
False
Suppose 5*y + 3*n = 6*y - 392, 395 = y - 2*n. Is y a multiple of 40?
False
Suppose -2*p = -0*p - 6. Suppose -13 + 6 = -a + p*f, -3*a + 13 = -f. Suppose 4 = -a*s + 184. Is s a multiple of 15?
True
Let o(x) = 45*x - 14. Let b be o(13). Suppose b + 279 = 10*i. Does 17 divide i?
True
Suppose 13 = 3*b + f - 6, -2*b + 3*f + 9 = 0. Suppose 0 = j + b*j - 588. Is 14 a factor of j?
True
Let y(c) = c + 8. Let v be y(4). Suppose 0 = v*f - 7*f - 450. Is f a multiple of 15?
True
Let b = 23 - 21. Let r(f) = -f**2 + 4*f - f**2 + 9*f**3 + 2 - 5*f - f**b. Is r(2) a multiple of 12?
True
Suppose 1 = i - 1. Suppose 0 = 6*d - i*d + 4*g - 148, 2*d = -4*g + 72. Suppose 0 = -5*s - 4*y + d, 2*s - 3 = -3*y + 8. Is s a multiple of 10?
True
Suppose 1130 = -6*m + 11*m. Is m a multiple of 13?
False
Suppose 0 = 5*t - 0*t. Suppose 4*d = 5*v - 0*d - 40, -v + 5*d + 29 = t. Is -1*v/(-4)*30 a multiple of 6?
True
Let a(t) = -55*t**3 - 3*t - 2. Let d be (-50)/20*(0 - 2). Suppose d*g = 2 - 7. Does 14 divide a(g)?
True
Suppose 4*v - 15 - 3 = y, 0 = y - 2. Suppose 0 = 2*m + 13 - v. Is 12 a factor of (-173)/m + (-2)/8?
False
Suppose -4*k + 276 = -36. Let s = -34 - -14. Is 13 a factor of 5*(-2)/(s/k)?
True
Let o = -491 + 774. Is o a multiple of 45?
False
Let n be (-51)/17 + 7/1 + 1. Let c = 55 + n. Does 12 divide c?
True
Suppose 11549 = 4*j + q, 11*q = 4*j + 6*q - 11543. Is 130 a factor of j?
False
Let k = 50 - 66. Is 7 a factor of 18 - (k/4 - -2)?
False
Suppose 148*k - 140*k = 3760. Is k a multiple of 33?
False
Suppose s + 5 = 2*p, 20 = p + 4*s - 8*s. Let q(l) = -2*l**3 + 2*l + 5. Let g(f) = -f**3 + f - 1. Let t(m) = -3*g(m) +