- 58. Does 23 divide (6/(-4))/(m/o)?
True
Let l be ((-102)/(-4))/((-1)/2). Let q(u) = -2*u**2 + 4*u. Let g be q(5). Let f = g - l. Is 7 a factor of f?
True
Suppose -j + 13 = -0*b + 4*b, -3*b = -2*j - 7. Let m(n) = -b*n + 3*n + 3*n**3 + 0*n - 2 + 2*n. Is 13 a factor of m(2)?
True
Let h(y) be the first derivative of -3*y**2/2 - 5*y - 2. Does 9 divide h(-11)?
False
Let h(x) be the third derivative of -x**4/24 - x**2. Let v be h(-5). Let r(p) = p**3 - 4*p**2 - 4*p + 7. Is 12 a factor of r(v)?
True
Let k(g) = g**3 + g**2 - g - 1. Let m(w) = 5*w**3 - 4*w**2 - 3*w - 6. Let s(b) = 4*k(b) - m(b). Is s(7) a multiple of 27?
False
Let g(x) = 3*x**3 - 2*x**2 + 1. Let h be g(1). Suppose -m = -h*w - 28, 5*m + 5*w = 92 - 27. Does 5 divide m?
False
Let l be (-1)/(-2)*0 - -5. Suppose -7*i + 3*i - 3*j + l = 0, -5*i = j - 9. Is i even?
True
Suppose 6 = 2*h + 7*k - 2*k, 0 = -2*k + 8. Let b(x) = -38*x + 4. Let t be b(h). Suppose 0 = -3*f - 2*f + t. Is 19 a factor of f?
False
Suppose 4*i = -0*i - 12. Does 7 divide (3 + i - 0) + 18?
False
Let r be (-32)/6*(-30)/(-20). Let v(a) = -a + 18. Does 13 divide v(r)?
True
Suppose -4*g - 16 = 0, -v = g - 4*g - 420. Is v a multiple of 51?
True
Suppose 4 = k - 0. Suppose -k*q - 92 = -5*x, -3*q + 46 = 2*x - 0*q. Does 10 divide x?
True
Suppose s + 4*u - 915 = -2*s, -3*u = 0. Does 13 divide s?
False
Let u(b) = b**3 + 6*b**2 + 14. Let v be u(-6). Suppose 5*s = 71 + v. Is s a multiple of 17?
True
Suppose -5*c + 2*c = -93. Does 8 divide c?
False
Suppose -o = -0*o - 11. Let k = o + -6. Suppose 4*f + k*h - 25 = 0, 5*f + 4 - 32 = -3*h. Is f even?
False
Suppose -l = 2 - 8. Let r = l + -1. Suppose 2*k = r*v - 144, 3*v - 2*k - 70 - 14 = 0. Does 8 divide v?
False
Let p = 0 - -4. Is p a multiple of 4?
True
Let u(o) = -1 - 5 + 3*o - o**2 + 9 + 5*o**3 - 5. Is u(2) a multiple of 11?
False
Suppose 5*l + 5 = 2*a + 43, 6 = 3*l + 3*a. Is l even?
True
Let t be (-14)/(-63) + 34/9. Is (-6)/t*(-8)/3 even?
True
Let z be -1 + (5 - -1 - 1). Let r = 20 - z. Is r a multiple of 8?
True
Let i = -1 + 1. Suppose i = m - 15 - 23. Suppose 3*f = f + m. Is f a multiple of 9?
False
Does 3 divide 460/30 + 2/(-6)?
True
Suppose -4*w + 19 = p, 2*p - 3*p + 3*w + 5 = 0. Let l = -1 - 6. Let a = p + l. Is 3 a factor of a?
False
Suppose -h = 3*h + u - 212, h = 5*u + 32. Let z = h - -8. Is z a multiple of 10?
True
Let f = 11 - 6. Let i(b) = -3*b**3 + 1 - 4 + 2*b**3 + 5*b**2 + 5*b. Does 11 divide i(f)?
True
Let a(i) be the first derivative of -11*i**2 - 2*i + 1. Let d(r) = r**2 + 4*r + 1. Let k be d(-3). Is 14 a factor of a(k)?
True
Let g be (1 - 37)*4/(-6). Suppose 5*t - 21 - g = 0. Let l(m) = m - 1. Does 4 divide l(t)?
True
Let v(m) = 11*m**3 - 3*m**2 + m + 2. Suppose 4*k - 8 = -0*k. Is v(k) a multiple of 20?
True
Let j(i) = -i**3 + 4*i**2 - 2*i - 2. Let u be j(3). Let a = u - -1. Suppose -b - 45 = -5*g, 2*b + a*b + 20 = 0. Is 8 a factor of g?
True
Suppose z - 5*r - 335 = 0, -3*r = -8*z + 3*z + 1697. Suppose -4*u + z = u. Is 11 a factor of u?
False
Let p(s) = -7*s + 34. Is p(0) a multiple of 17?
True
Let b be (-6 - 2)/(8 + -7). Is 17 + 2 + b/(-4) a multiple of 21?
True
Let h = 119 - 9. Does 10 divide h?
True
Let n = -9 - -47. Does 17 divide n?
False
Suppose -21 = -2*o - 7. Does 7 divide o?
True
Suppose -32 = 3*q - 7*q. Suppose -5*b = v - 14, -v + q - 2 = -3*b. Does 4 divide v?
False
Let v(x) = -x**3 + 2*x**2 + 2*x - 2. Let o be v(2). Let k = 1 - -1. Is 1 - (-10 + o/k) a multiple of 10?
True
Let a(m) = -m**3 + 11*m**2 - 9*m - 6. Let q be a(10). Suppose -3*b - 3 = 0, y + q*b + 2 = -b. Suppose i + 0*i + 5 = 0, -2*l + 1 = y*i. Is 3 a factor of l?
False
Suppose -z + 0 = -5. Let h = 19 - 17. Suppose -2*d = z*f - 52, d = -0*d - h*f + 24. Does 8 divide d?
True
Let q(z) = z**2 - 2*z + 6. Let a = 13 + -19. Is q(a) a multiple of 18?
True
Let z(s) be the first derivative of s**2/2 + 16*s - 3. Does 4 divide z(-8)?
True
Let y(h) = 0 + 2 - 3*h - 1 + 0*h. Is y(-2) a multiple of 4?
False
Let p(y) be the first derivative of y**6/120 + y**5/10 - 3*y**4/8 + 5*y**3/3 - y**2 + 1. Let t(v) be the second derivative of p(v). Is 10 a factor of t(-7)?
False
Let h(n) be the second derivative of n**8/1680 + n**6/720 - n**5/60 + n**4/6 - n. Let p(i) be the third derivative of h(i). Is p(2) a multiple of 16?
True
Let d(j) = -j**2 + 1. Let w be d(0). Let g(m) = -w - 2 + 7*m - 2. Is 20 a factor of g(5)?
False
Let g(j) = 26*j**2 - j - 5. Is 44 a factor of g(-2)?
False
Is (8/5)/((-26)/(-325)) a multiple of 10?
True
Let q be 6700/(-15) + 8/(-6). Is q/(-24)*18/8 a multiple of 13?
False
Let n be (-2)/12 - 37/(-6). Let f(j) = -5*j + 3 + 0 - n. Does 22 divide f(-5)?
True
Suppose 0 = 3*t - 65 - 25. Let g be (t/(-25))/(6/(-20)). Let b = 0 + g. Does 3 divide b?
False
Let v be (-24)/(1 - 9/6). Suppose 5*p - v = 12. Is p a multiple of 11?
False
Suppose -n + 4*o + 196 = 0, -4*n = -o - 743 - 116. Suppose 2*i + n = 4*i. Is 9 a factor of i/8*4/3?
True
Let t(j) = 3*j - 9. Let y be t(9). Let c = y + -11. Is c a multiple of 7?
True
Let d(y) = -139*y**3 + 2*y**2 + 3*y + 2. Does 35 divide d(-1)?
True
Let z = -1 - -5. Suppose 2*d - 3*u = -3*d + 19, -3*u - z = -2*d. Is 13/d - (-2)/5 a multiple of 3?
True
Let j(m) = m**2 + 5*m + 15. Is j(-8) a multiple of 7?
False
Let q(f) = -9*f - 3. Let m(k) = 17*k + 5. Let j(v) = 4*m(v) + 7*q(v). Does 2 divide j(1)?
True
Let c(j) = j**2 + 8*j + 5. Let y be c(-8). Suppose z - y*r = 4*z - 37, -z = -3*r - 17. Is z a multiple of 4?
False
Let t(i) = 4*i**2 + 2*i - 10. Let k be t(-7). Suppose -4*y + f = -131, k = 5*y - 3*f - f. Does 13 divide y?
False
Let w = 46 - 27. Is 19 a factor of w?
True
Let l = 38 + -20. Let g = l - -14. Is 15 a factor of g?
False
Let m = 0 - 0. Let t = 8 - m. Is 7 a factor of t?
False
Suppose -2*f + 15 = -15. Suppose 2*d = -v + 2 - 8, 4*v = -5*d - f. Suppose v*t = t - 35. Is 16 a factor of t?
False
Let z = 85 - 46. Does 13 divide z?
True
Suppose 0 = 4*l - 0*l + 32. Let n(o) = o**2 + 9*o + 10. Let f(p) = p + 1. Let u(y) = -2*f(y) - n(y). Is u(l) a multiple of 6?
True
Suppose 0 = x - 0*x - 108. Is 27 a factor of x?
True
Let f be (-1 + 1)*(-4)/(-8). Suppose -69 = 3*j - 195. Suppose f = -b - b + j. Does 8 divide b?
False
Let k be (-18)/(-8) - 2/8. Let m be 53*(2 - 0)/k. Let w = m - 38. Is 15 a factor of w?
True
Let n(q) be the third derivative of -q**4/12 + 3*q**3/2 - 4*q**2. Let i be n(-9). Suppose -2*t - 1 = -m + i, -3*t = 2*m - 84. Is 12 a factor of m?
True
Suppose 0 = -3*i - 3*o + 420, o = -0*i + 3*i - 424. Is i a multiple of 9?
False
Let q be 12/36 + (-8)/(-3). Suppose 144 = k + q*k. Is 6 a factor of k?
True
Let d be (-2 + 1)/((-4)/20). Suppose s + 4*s + d*p = 95, -3*s - 2*p = -55. Does 6 divide s?
False
Let p(k) = -k**2 - 6*k - 5. Let s be p(-4). Is 15 a factor of ((-2)/2 - s) + 79?
True
Let l be ((-2)/4)/(2/(-8)). Suppose 2*k - 2*r = 3*r + 1, 4*r = -2*k + 28. Suppose -g = -k + l. Is g a multiple of 5?
False
Let h be (-1)/2 - 52/(-8). Does 15 divide (-72)/(-20)*40/h?
False
Let d(w) = w + 2. Let j be d(2). Suppose 2 + j = s. Is 6 a factor of s?
True
Let y = -4 - -7. Suppose -y*j + 3*s = -j + 10, 3*j + 5*s = -34. Let k = j + 14. Is 5 a factor of k?
False
Suppose 0 = -3*v + 7*v + 3*k + 5, 0 = -3*v + 2*k + 9. Let a = v + -2. Does 11 divide 436/20 - a/5?
True
Suppose -2*j + 48 = -3*g + 140, -4*g + 4*j = -128. Is 7 a factor of g?
True
Let k = -388 - -553. Does 15 divide k?
True
Suppose y + 4*x = -10, 5*y + 5*x + 88 + 37 = 0. Let f = 45 + y. Is 3 a factor of f?
True
Suppose -3*o + 2*o + 4*b + 11 = 0, -3*o + 20 = b. Let a = 19 - o. Is a a multiple of 6?
True
Suppose -i - x + 122 = 4*x, 3*x = 6. Is i a multiple of 28?
True
Suppose -450 = -5*m + 70. Is 13 a factor of m?
True
Let p = -249 - -453. Is 34 a factor of p?
True
Let q = -15 - -82. Does 13 divide q?
False
Let l(h) = h**3 + 7*h**2 - 4*h - 8. Let v be l(-7). Let u = v + 25. Does 14 divide u?
False
Is (2/3)/((-12)/(-1116)) a multiple of 26?
False
Suppose -s + 292 = 65. Is 24 a factor of s?
False
Suppose k = -4*k - 5*r + 200, 3*k + 4*r - 121 = 0. Let z = -14 + k. Is z a multiple of 8?
False
Let k(f) = -3*f - 1. Let v be k(-2). Suppose 5*n - 3 = -b + 3, 4*b = -v*n - 6. Is 10 a factor of (29/2)/(n/4)?
False
Suppose -10 = -m + 68. Let d = m - 50. Is 14 a factor of d?
True
Suppose -2*b = 2*p - 124, 3*p - 3*b - 226 = 2*b. Is 12 a 