-2*m. Is 5 a factor of w?
False
Let l(m) = -m - 1. Let x be l(-3). Suppose x - 7 = 5*y. Is (-2)/y*(-1 + 3) a multiple of 4?
True
Let m(c) = c**3 - 11*c**2 + 11. Let y be m(11). Suppose -f = 5*z + 21, 3*z + y = -0*f - f. Suppose 3*l = -f*k + 49, 2*k - 9 - 68 = -5*l. Does 6 divide l?
False
Suppose -2*t + 6 = -3*t. Let d be ((-4)/t)/(2/24). Does 8 divide 4/16 + 62/d?
True
Suppose 0 = 4*d + 7 + 5. Let n = 18 + -10. Does 8 divide 1*d*n/(-3)?
True
Suppose -27 = -x + 5*b, 5*x + b - 6 = -1. Suppose -x*n = -25 + 1. Suppose -4*j + n = 4*o, -1 + 16 = -3*o. Is 8 a factor of j?
True
Let i = 36 + -15. Is i a multiple of 8?
False
Let l(u) = 27*u**2 + 3*u + 1. Does 14 divide l(-2)?
False
Let x(j) = 2*j + 2. Let v be x(-3). Is 12 a factor of 37 + v/(-8)*4?
False
Let y(o) be the third derivative of o**5/60 + 4*o**3/3 + 5*o**2. Does 11 divide y(-6)?
True
Let s(t) = t + 8. Is 4 a factor of s(8)?
True
Suppose 0 = -2*k - 0*k + 4. Suppose 0 = k*p - a - 57, 3*p - 2*a = 94 - 6. Does 13 divide p?
True
Suppose 6 = -3*u, -5*u + 892 = 5*f - u. Let o be (13/(-3))/(6/f). Is 7 a factor of 4/(-18) - o/18?
True
Suppose -n + 6 = 2. Let y(v) = 0 + 6*v**2 + 4 - v**3 - v - 6*v. Is y(n) a multiple of 4?
True
Suppose j + 4 - 11 = -2*i, -5*i + 40 = -5*j. Suppose 0 = -i*p - 15 + 55. Is p a multiple of 3?
False
Let r = 1 + -1. Let b = 5 + r. Suppose 0 = 3*k + b*s - 0*s - 73, 0 = -k - 2*s + 23. Does 16 divide k?
False
Is 5 a factor of (5 + -6)/((-1)/5)?
True
Let n(f) = 2*f**3 + f**2 + 2*f + 4. Let t(u) = 0*u**2 - 4 + 5 + u**3 - u**2. Let z(k) = -n(k) + 3*t(k). Is 4 a factor of z(5)?
False
Suppose -5 = 3*j - 20. Suppose 4*x = -0*y - 2*y - 4, 3*y - 38 = j*x. Does 3 divide y?
True
Let c = 163 - 107. Is c a multiple of 28?
True
Let u be (-2 - -5) + 627/3. Suppose 3*z - 4*i + i = 126, -4*i - u = -5*z. Does 15 divide z?
False
Let d be ((-6)/(-4))/(6/8). Suppose 126 = d*p + p. Is 7 a factor of 3/(51/p + -1)?
True
Let d = 199 + -282. Let j = -51 - d. Suppose 0*q + 4 = -2*q, -j = -3*t + q. Does 3 divide t?
False
Suppose -198 = -3*r - 4*z, -304 = -5*r - 0*r + 2*z. Is r a multiple of 10?
False
Let p be ((-18)/15)/(9/(-210)). Let a = p + 51. Is 28 a factor of a?
False
Suppose 3*c + 49 = -3*v - v, -v - 17 = c. Suppose -5*n + n + 108 = 0. Let w = c + n. Is w a multiple of 4?
True
Suppose 3*z - 215 = -2*z. Let c = z + 53. Is c a multiple of 32?
True
Suppose -3*z = x - 3*x - 173, -5*z = 3*x - 301. Is z a multiple of 12?
False
Suppose 25 = -4*v + 3*v. Let g = 2 - -70. Let y = g + v. Is y a multiple of 12?
False
Suppose 3*n = -4*m - 0*m + 15, 0 = -5*n + 2*m + 25. Suppose 0 = 4*k + 4*q + 1 - 57, -5*k + n*q + 50 = 0. Is k a multiple of 12?
True
Suppose 3*s = 5*s. Suppose b - 5*m + m + 11 = s, b + 5*m = 34. Is 3 a factor of b?
True
Let a(g) = g + 47. Let f = -1 + 4. Let y(b) = b**2 - 3*b. Let j be y(f). Does 20 divide a(j)?
False
Let p(i) = 16*i**2 + i + 2. Let m be p(-1). Suppose -m = -2*l + 29. Does 5 divide l?
False
Let x(d) = -6*d - 9. Let s(o) = 3*o + 4. Let r(y) = -13*s(y) - 6*x(y). Is r(-2) a multiple of 2?
True
Let a be (-3 - -2)/(1/(-2)). Suppose -3*g + a*g = -10. Is 8 a factor of g?
False
Let g(a) = -a**2 + 2*a - 3. Let q be g(-4). Let j = q + 2. Does 6 divide (-2)/5 - 410/j?
False
Suppose 3*m = -0*m + 144. Is 21 a factor of m?
False
Let k(w) = w**3 - w**2 - 9*w - 10. Is 9 a factor of k(5)?
True
Let y(f) = f**2 + 7*f + 4. Let u be y(-5). Let l(n) = n**2 + 4*n - 4. Is l(u) a multiple of 8?
True
Let m = -5 - -5. Is m + 2 + (2 - -15) a multiple of 9?
False
Let x = -11 + 8. Let m = x + 3. Suppose m*w - 3*w + 6 = 0, n + w = 36. Is 12 a factor of n?
False
Let d(z) be the second derivative of z**5/20 - 5*z**4/12 + 5*z**2/2 - 2*z. Does 3 divide d(5)?
False
Let y = -58 + 100. Suppose -8 - y = -5*c. Suppose 4*w = -m + 7, -4*m - c = -3*w - 0. Does 2 divide w?
True
Let n(c) = 8*c + 162 - 6*c**2 - 160 - 5*c**2 - c**3. Does 10 divide n(-12)?
True
Is 14 a factor of 103 + 6/(-3) + -2?
False
Let h(g) be the second derivative of -6*g**5/5 - g**4/12 - g**3/3 - g**2/2 - g. Is 12 a factor of h(-1)?
True
Let x be 4*(-2 - 1/4). Let z = 0 + x. Is 8 a factor of 2/(z/(-8) - 1)?
True
Is (2/1)/(6/219) a multiple of 23?
False
Suppose 5*k - 3*i - 15 = 2*i, 2*k + 3 = -i. Suppose z = -k*z + 9. Is 9 a factor of z?
True
Let r = -38 - -85. Does 27 divide r?
False
Let f(b) = -16*b + 6. Is f(-6) a multiple of 22?
False
Suppose -2*w = -r + 82, r = 6*r + 4*w - 368. Is r a multiple of 38?
True
Is (-2475)/(-22)*(1 + 1) - 3 a multiple of 10?
False
Let h be 2/((-6)/3)*7. Does 4 divide h/(-2) - (-1)/2?
True
Suppose -50 = -2*s - 3*s. Suppose -t - 10 = -2*m, -t - s = -2*m + 2*t. Suppose 0 = 4*k + n - 57, 5*k - m*n + 56 = 146. Does 7 divide k?
False
Let v(o) = -2*o - 37. Let k(r) = -5*r - 73. Let h(x) = 3*k(x) - 7*v(x). Let u be h(0). Is 2 a factor of (-11 - -1)*(-24)/u?
True
Suppose 2*y - t + 0 = -3, -5*y - 3*t - 13 = 0. Let g be y/(-1 + 2) + -10. Is 10 a factor of ((-16)/g)/((-4)/(-30))?
True
Is 64 + -2*(27/6)/(-9) a multiple of 5?
True
Let t = -51 + 74. Suppose t - 8 = 3*w. Is w a multiple of 3?
False
Let c = -96 + 229. Does 16 divide c?
False
Let l be ((-2)/(-2))/(-1) - -58. Suppose -3*c = 3*v - 18, -2*v - 6 = 3*c - 20. Suppose v*z = z + l. Is z a multiple of 7?
False
Let t(z) = z**3 - 3*z**2 - z - 3. Let v be t(3). Let j be -44*-2*v/(-16). Suppose -4*f + j = -15. Is f a multiple of 6?
True
Suppose 3*x - 19 = -4. Suppose -4*m + 7*z + 45 = 2*z, -x*m + z = -30. Is 5 a factor of m?
True
Let x = -2 - -5. Let k = 1 - -2. Suppose t + 3 = -k*n + 2, 21 = x*t + n. Is 4 a factor of t?
True
Let h = 12 - 11. Let r be 48*h/(6/4). Suppose 4*p = -4*q + r, q - 8 = -q - 4*p. Is 6 a factor of q?
True
Is 12 a factor of -3*20/(-15) - -40?
False
Let f be 5/((-15)/48) - 2. Let j = 0 - f. Is 9 a factor of j?
True
Is ((-36)/(-8))/((-6)/(-28)) a multiple of 7?
True
Let w = -1 + 3. Let s be ((-65)/15)/(w/(-6)). Let l = -3 + s. Does 5 divide l?
True
Let a(l) = l + 8. Let z be a(-4). Is 3 a factor of ((-1)/2)/(z/(-32))?
False
Suppose 3*h + 3*m + 2 - 5 = 0, 3*h - 3*m - 33 = 0. Suppose 4*y + 102 = h*y. Is y a multiple of 17?
True
Suppose 4*t - n - 6 = 0, 12 = 5*t + 2*n - n. Is 23/5 - t/(-5) a multiple of 5?
True
Let n(p) = 36*p**2 - p. Let s be n(-1). Let y(b) = 19*b - 1. Let t be y(2). Suppose 0 = -k - 5*m + s, -t = -k - 4*m - 3. Is 11 a factor of k?
True
Suppose -5*z - 5 = 0, -5*d + 18 + 22 = 5*z. Is d a multiple of 5?
False
Suppose -184 - 384 = -4*c. Is c a multiple of 28?
False
Let j be 9/(-2) + 4/8. Let d = j + 9. Is d even?
False
Let g = 0 - 0. Suppose -4*m + 10 + 78 = g. Is m a multiple of 11?
True
Let b be -1 - ((1 - -1) + -4). Suppose -3*m - 6 = -5*j, 3*j + m + b = -1. Does 2 divide -1 + (0 - j) - -3?
True
Let a(p) = -15*p. Is 15 a factor of a(-3)?
True
Let c(p) = -35*p. Let n be c(-1). Suppose n = 5*q + 4*f + 1, 3*q - 2*f = 16. Suppose 3*d - q = d. Does 2 divide d?
False
Let m(y) = 2*y**3 - 7*y**2 + 8*y - 9. Is 39 a factor of m(4)?
True
Let q = 187 - 67. Suppose 4*f - s = 205, -3*f + f + 4*s = -q. Is f a multiple of 14?
False
Let o(k) = -k**3 - 7*k**2 + k + 9. Let g be o(-7). Let s(w) = 9*w - 2. Does 13 divide s(g)?
False
Let v be (-18)/(-4) - (-45)/(-30). Let y = -37 + 68. Suppose 5*b = -v*u - 1, -u - 3*b - y = -3*u. Is u a multiple of 4?
True
Suppose -730 = 4*y - 9*y. Is 31 a factor of y?
False
Is 49/2 + 9/18 a multiple of 4?
False
Let v be (12/8)/((-1)/(-2)). Let t(d) = 2*d**2 + 2*d - 1. Let h be t(-4). Is (h/v)/(2/6) a multiple of 11?
False
Is 46 a factor of (-6 + 3)/((-6)/326*1)?
False
Suppose -2*p + 14 = 3*y, 4*p - 2 = 3*y + 8. Suppose 0 + y = b. Suppose -b*r = -3*w + 11, -5*r + 8 = -2. Is 5 a factor of w?
True
Suppose 2*q + 2*q + 20 = 2*k, 3*q - 3*k + 21 = 0. Is 1/q + 19/3 a multiple of 2?
True
Suppose 3*j = -n + 33, -3*j + j = n - 23. Let k be (-18)/(-5) - (-4)/j. Suppose 8*y - k*y = 4*v - 36, 2*y - 18 = -2*v. Does 6 divide v?
False
Let w = -16 - -31. Let y = w - -1. Is 4 a factor of y?
True
Let m be 1917/63 + (-8)/(-14). Suppose -3*h - 3*s = -0 - 3, 3*h - m = 4*s. Is 4 a factor of h?
False
Suppose -q = -3*s + 10 - 1, -3*q + 25 = 4*s. Suppose -s = 4*h - 5*h + 4*y, -3*h - y = -64. Does 12 divide h?
False
Let a(m) = -m. Let w be a(0). Suppose 0 = -5*f + p - 0*p + 47, -4*f - 5*p = -55. Suppose -g + f + 10 = w. Is 8 a factor of g?
False
Let m = -54 -