
Does 23 divide (1364/(-11))/(-3 + 1)?
False
Suppose 5*x + 16 + 6 = -2*t, 0 = x - 3*t + 18. Let z = x + 12. Is z a multiple of 4?
False
Let t(f) = 3*f**2 - 5*f + 9. Let h(m) = 16*m**2 - 24*m + 46. Let n(o) = 2*h(o) - 11*t(o). Let p be n(7). Let v(b) = -b**2 - 10*b + 3. Is 14 a factor of v(p)?
False
Suppose 5*z - 9 - 16 = 0. Suppose 5*u = 5*r, 5*u - r - z = -1. Is 6 a factor of (-3)/(u - (-51)/(-42))?
False
Let c(b) = 5*b - 1 + 5*b - 7*b + 2. Does 7 divide c(5)?
False
Suppose -g + 0*g = 16. Let r = 6 - g. Is 8 a factor of r?
False
Let h be 1/(-2)*(0 - -2). Let w(k) = 7*k**2 + 2*k + 1. Is w(h) a multiple of 3?
True
Let v be 1*-1 + 6 + 0. Suppose v*n - 91 = 109. Is n a multiple of 20?
True
Let j(f) = -f - 9. Let t be j(-5). Let z be (-9)/t - 2/8. Suppose 0*v + 84 = z*v. Is 21 a factor of v?
True
Suppose -f = 2*i - 34, 2*f - 4 = -3*i + 45. Is i a multiple of 15?
False
Suppose -2*r + 8 = -8. Is r a multiple of 4?
True
Let p(j) = -j**3 + 8*j**2 + 9*j + 2. Let u be p(9). Suppose -u*d + 6*d = 124. Is d a multiple of 20?
False
Suppose 3 = 5*f - 2. Let m be (-72)/10*(-5)/f. Let b = m - 17. Does 19 divide b?
True
Let h(b) = -2*b**2 + 17*b - 9. Is h(7) a multiple of 4?
True
Suppose 2*v - 79 = -3*z + 85, -5 = v. Is 18/27 + z/3 a multiple of 10?
True
Let u(s) = -5*s + 1. Let x be u(-7). Let q = -24 + x. Does 12 divide q?
True
Let l(d) = -13*d**3 - 3*d - 2. Does 7 divide l(-1)?
True
Let b(n) = 12*n - 2. Let p(v) = v. Let u(g) = b(g) - 10*p(g). Let l be u(4). Let i = 14 + l. Is 12 a factor of i?
False
Suppose 2*c + 12 = 5*g - 0, -c + 2*g - 4 = 0. Is 2 a factor of c?
True
Suppose d = -y + 5 + 5, y - 5*d + 20 = 0. Let m(j) be the third derivative of j**6/120 - j**5/12 - j**4/24 + 7*j**3/6 + 3*j**2. Is m(y) a multiple of 2?
True
Let u be 30/9*(-12)/(-10). Suppose 0 = -u*a + a + 81. Is 21 a factor of a?
False
Let c(r) = -1 - 5 + 4*r + 20. Suppose -k + w = -13 + 1, -4*k + 44 = -2*w. Does 27 divide c(k)?
True
Let j(m) = -m**3 - 5*m**2 - 2*m - 7. Let g be j(-5). Let w = 1 + g. Is w a multiple of 3?
False
Is 44*(3/(-6))/(-1) a multiple of 22?
True
Let b(j) = j**3 + 9*j**2 + 6*j - 11. Let s be b(-8). Suppose -2*l = -s*a - 0 + 1, -2*a = -10. Does 6 divide l?
True
Let n be (-17 + 2)/(-3)*1. Suppose -4*r + n*d - 3*d - 108 = 0, 2*r + 2*d + 42 = 0. Is (-40)/r*(-25)/(-2) a multiple of 10?
True
Let n(a) = 20*a**2 - a + 3. Let j be n(3). Suppose 5*c = -2*y + 5*y - j, 2*y = 4*c + 120. Suppose 0*k + 3*k - y = 0. Is 20 a factor of k?
True
Suppose -2*a = -3*j + 24, -5*j + 0*a = 2*a - 56. Is 9 a factor of j?
False
Let w(r) = 26*r**2 - r - 1. Suppose -4*i = 6 - 2. Let y be w(i). Suppose 2 = m - y. Is 14 a factor of m?
True
Let d be -3*1 - (-11 + 14). Let s(b) = 3*b**3 + 9*b**2 + 8*b - 3. Let o(g) = 4*g**3 + 10*g**2 + 8*g - 4. Let n(a) = 2*o(a) - 3*s(a). Is 13 a factor of n(d)?
True
Let m(u) = -4*u**2 - 3*u - 7. Let g(k) = k**2 + 1. Let r(l) = 5*g(l) + m(l). Let v = -3 - 1. Is r(v) a multiple of 9?
False
Suppose 3*j = 2*j + 5. Is 5 a factor of j?
True
Let d be 1 - ((-98)/(-2) + 0). Let z be (-2)/(-7) + d/(-28). Suppose t + 9 + 8 = i, -2*i - z*t = -18. Does 11 divide i?
False
Is 5 a factor of 10/(-35) - 144/(-14)?
True
Suppose -2*j + 3 = 3*r - 7*j, 4*j = 2*r. Suppose -z + r*z - 260 = 0. Suppose 0 = b - 4*p - 42, -z = -b - p. Is b a multiple of 25?
True
Let q(j) = -11*j**2 - 8*j + 7. Let u(s) = 11*s**2 + 7*s - 6. Let w(g) = 5*q(g) + 6*u(g). Is w(1) a multiple of 12?
True
Let s(p) = 4*p + 15. Let t(h) = 9*h + 30. Let d(l) = -5*s(l) + 2*t(l). Does 4 divide d(-12)?
False
Let z(p) = -p**3 + p**2 - 4. Let t be z(-3). Let n be t/12*3/2. Suppose 0 = -n*k - k + 55. Is 11 a factor of k?
True
Let x(p) = p**2 - 2*p - 1. Let l be -1*(1 - (1 + -1)). Let b be x(l). Suppose -b = 5*v - 107. Is 11 a factor of v?
False
Let i = -3 + -1. Let h be i/6*(-18)/4. Suppose -4*n + 27 = -2*r + 101, 4*r - h*n = 148. Is 15 a factor of r?
False
Let x be 1/(-3 - (-13)/4). Suppose -3*y = n - 117, -2*n = -x*n + 5*y + 256. Does 16 divide -2*1*n/(-6)?
False
Is 9/(36/112) + 0 a multiple of 7?
True
Suppose 2*n - 356 = -2*d - 2*n, 4*d - 703 = n. Is 16 a factor of d?
True
Is 22/2*60/4 a multiple of 22?
False
Does 16 divide (-48)/(-3*(-4)/(-12))?
True
Let n(f) = 14*f. Let t(g) = g**2 + 8*g - 8. Suppose 3*y + 18 = -9. Let u be t(y). Is 7 a factor of n(u)?
True
Let d = 1 - -3. Suppose -d*w + 587 = 23. Is 1 + 2/(6/w) a multiple of 17?
False
Let s = 102 - 60. Does 3 divide s?
True
Suppose 0 = -2*l - 5*v + 494, v = 4*l - 1394 + 406. Does 11 divide l?
False
Let h(u) be the first derivative of 9*u**4/2 + 4*u**3/3 + 7*u + 1. Let d(p) = 17*p**3 + 3*p**2 + 6. Let j(z) = 6*d(z) - 5*h(z). Is 6 a factor of j(1)?
False
Let f(d) = -d**2 - 6*d - 1. Let o be f(-5). Let z(g) = -g + 4. Let l be z(o). Suppose y + 3*t - t - 28 = l, 0 = -2*t. Is 14 a factor of y?
True
Let z = -182 - -600. Is z a multiple of 15?
False
Let w(v) = -v**2 + 7*v + 3. Let h be w(7). Suppose 4*g = -5*x + 102, -h*x - 2*x = -10. Does 8 divide g?
False
Suppose -2*p - 152 = -6*p. Is 7 a factor of p/6 + (-16)/(-24)?
True
Suppose 83 = 4*f + 3*n, -2*f + 2*n = -23 - 15. Suppose -5*s = -0*s - f. Is 3 a factor of s?
False
Is 58*4*(-4)/(-16) a multiple of 29?
True
Suppose -2 = -2*d + 5*d + n, d = -4*n + 3. Let l(p) = -203*p**3 + p**2 - 1. Let y be l(d). Does 17 divide (-8)/(-20) + y/5?
False
Let s(v) = 4*v - 2*v - 5*v - 5 + v. Is s(-4) a multiple of 2?
False
Suppose 3*w = 6*w - 33. Does 3 divide w?
False
Let n = -11 - -24. Let u = n - 8. Is u a multiple of 2?
False
Let x(u) = 4*u**2 - 2*u - 1. Let d(t) = 5*t**2 - t - 2. Let c(y) = 5*d(y) - 6*x(y). Is c(-8) a multiple of 4?
True
Let p be (2 - 3)/(1/(-50)). Let w = -3 + 5. Suppose 0 = 5*n - s - p - 51, w*s + 82 = 4*n. Is n a multiple of 20?
True
Suppose z - 14 = -4*p, 22 = 5*z + p + 3*p. Let i = z - 0. Does 4 divide (i - -3) + 1/(-1)?
True
Let y(a) = 5*a**2 - 2*a + 1. Let w be y(1). Is 104/12*6/w a multiple of 13?
True
Suppose -n = -0*n - 140. Is n a multiple of 20?
True
Let h = 7 - 5. Suppose 4*o - 3*v - 37 = h*o, 2*v - 36 = -3*o. Does 9 divide o?
False
Let z be (-6)/(-3) + -1*4. Let g = z - -2. Suppose -3*c - 2*c + 20 = g. Does 2 divide c?
True
Suppose -2*y = -y + 2. Let m(d) = d**2 + 6*d + 3. Let z be m(-5). Is 17 a factor of y/((z + -1)/51)?
True
Let k(d) = 3*d - 1. Suppose 0 = 2*h - 0*h - 10. Is k(h) a multiple of 14?
True
Let i(l) be the first derivative of l**4/2 + 2*l**3/3 - l**2/2 - l + 3. Let h be i(-2). Let z = -3 - h. Is 4 a factor of z?
True
Let o(a) = a**3 + 3*a**2 + 2. Let r be o(-3). Suppose -r*m = -j - j - 4, -6 = -5*j + m. Suppose 5*w + 26 = b, -b + j*w - 49 = -6*b. Is b a multiple of 8?
False
Suppose 2*h + 3*h + 3*c = 638, -5*c = -3*h + 410. Suppose -2*b = 5*i + 3*b - h, 4*b = -4. Is i a multiple of 17?
False
Suppose -5*q + 3*r - 8 = 0, 4 = 2*q - 3*r - 0. Does 15 divide (-1105)/(-20) - (-1)/q?
False
Let j = -10 + 15. Suppose -g = -j*g + 372. Suppose -5*c = 18 - g. Does 15 divide c?
True
Suppose -4*r + 2*r = -108. Is r a multiple of 9?
True
Suppose 3*f - 5 = 1. Let n be (3 - 1)/((-8)/(-132)). Suppose -f*o - 37 = -3*j + n, -2*o = 5*j - 90. Is 7 a factor of j?
False
Let s = 9 - 5. Suppose s*n - 2*g + 164 = -5*g, n + 18 = 5*g. Let w = -16 - n. Is 11 a factor of w?
True
Let n = 4 - 2. Suppose 5*l + n*q = 15, -10 = -3*q + 5*q. Suppose 2*c - 4*h + 2 = 0, -3*c = -4*h - 0*h - l. Is c a multiple of 2?
False
Suppose -3*n + 5*n = 102. Let k = 98 - n. Is 22 a factor of k?
False
Let l be (2/4)/((-4)/184). Let w be l/2 + (-2)/(-4). Is -2*1 - (w - -3) a multiple of 6?
True
Suppose -i + 4 = -2*m, 0 = 4*i + i - 3*m - 27. Does 2 divide i?
True
Let b(c) = 5*c**2 - 6*c + 6. Suppose 0 = 2*j - 4*w - w - 8, -2*w + 16 = 4*j. Is 20 a factor of b(j)?
False
Let x(k) = -8*k - 18. Let y(c) = 3*c + 6. Let d(l) = 2*x(l) + 7*y(l). Is d(6) a multiple of 11?
False
Let p(h) = h - 5. Let v be p(-6). Let u = v - -6. Let i(a) = a**3 + 6*a**2 + 3. Does 11 divide i(u)?
False
Suppose 3*a = 5*h + 140, -3*h + 211 = 5*a + 23. Is a a multiple of 8?
True
Let f be (-8)/(-28) - (-54)/7. Is 4/f + 67/2 a multiple of 17?
True
Let d = -39 - -24. Is 10 a factor of (-2)/10 + (-183)/d?
False
Suppose 0 = -2*k + j + 379, 7*k = 2*k + 4*j + 952. Is 47 a factor of k?
True
Let c(o) = -o**2 + 5*o - 2. Let t be c(5). Let z be ((-76)/t - -1) + -2. Suppose -z = 2*y - 3*y. Is