-5*s = -3*i + 210, 5*s - 140 = -2*i + 4*s. Suppose -4*n - n = -i. Is 7 a factor of n?
True
Suppose -12 = -5*t + 13. Suppose -325 = -t*l - 5*n, l + 2*n = -3*n + 57. Is l a multiple of 18?
False
Suppose -2*w + 81 = -u, 0*u - 75 = -2*w - 5*u. Does 20 divide w?
True
Let k be (1 + -3 - -4) + -41. Suppose 8 - 20 = 3*r. Does 2 divide (-2)/r - k/6?
False
Let c be (-2)/(-7) - (-3762)/63. Suppose -c = -5*x - 20. Does 5 divide x?
False
Let h = 172 + -119. Is h a multiple of 12?
False
Suppose 47 = 5*w - 203. Does 16 divide w?
False
Suppose 3*x + 353 = 2*u, -314 = 5*u - x - 1190. Is u a multiple of 23?
False
Suppose 42 = 3*u + 3*p - 4*p, -4*u - 4*p = -40. Is 13 a factor of u?
True
Let k(m) = 36*m**2. Is k(-1) a multiple of 18?
True
Let h(w) = 31*w**2 - 3*w + 2. Is h(1) a multiple of 6?
True
Let t be (-2)/(1 - (-3)/(-4)). Suppose -16 = 2*m - m. Let l = t - m. Is 4 a factor of l?
True
Suppose 3*z + 45 = -4*p, z - 4*z + 4*p = 45. Suppose -49 = 4*b + 67. Let w = z - b. Is 4 a factor of w?
False
Is 2 a factor of 9/15 - (-141)/15?
True
Let r be -3 + (-1)/(-1) + -2. Let u be 3/(-12) + (-13)/r. Suppose -2*i + u*k - 5*k + 6 = 0, 2*k = -i + 2. Is i a multiple of 2?
True
Suppose 0 = -2*s - 27 + 115. Does 21 divide s - 6/(3 - 0)?
True
Let d be (6/3 - 0) + 3. Suppose u + d = 2*u. Does 2 divide u?
False
Let u = 3 - -1. Let c(q) = 5*q**3 - 9*q**2 - 7*q + 5. Let p(g) = g**3 - g**2. Let j(v) = u*p(v) - c(v). Is 14 a factor of j(4)?
False
Let j(p) = 2*p**2 + 2*p + 1. Let f be j(2). Let s(a) = -a**3 + 2*a**2 - 2. Let q be s(2). Let o = f + q. Does 11 divide o?
True
Let l(y) = -y**2 + 7*y - 2. Suppose -3*j + 19 + 5 = 0. Suppose 0 = 3*a - 2*h - j, 39 = 4*a + 2*h + h. Is 2 a factor of l(a)?
True
Suppose 2*w = -x + 7, -w + 23 = 5*x - 3*w. Suppose -t - t + 19 = -3*h, -3*h - 61 = -x*t. Is 7 a factor of t?
True
Let w(t) = -7*t**3 - t + 1. Let h be w(1). Let q = h + 9. Suppose 0 = -q*d + 2*i + 14, -2*d + 4*i = -7*d + 62. Is d a multiple of 5?
True
Suppose 2*d + 366 = -m + 4*m, 4*m - 499 = -d. Is m a multiple of 31?
True
Suppose 5*k + 218 = -312. Let s = 175 + k. Is 23 a factor of s?
True
Suppose -2*l = y - 2 - 36, l + 5*y = 37. Is l a multiple of 4?
False
Let g = -6 - -6. Is 7 a factor of 2 + (6 - 1) + g?
True
Let t be (-3)/(-2) + (-6)/(-4). Suppose -4*h + t*j + 23 = 0, -5*h + 8 + 7 = -j. Suppose 54 = h*o + o. Is o a multiple of 9?
True
Suppose 6*m - m - 55 = 0. Let g(p) = -p**3 - 3*p**2 + 4. Let w be g(-3). Let k = m - w. Is k a multiple of 7?
True
Suppose -5*z - 109 - 143 = -4*v, -v + 2*z = -66. Does 29 divide v?
True
Let b(s) = s**2 - 2*s - 4. Let r = -7 - -11. Let i = r + 1. Is b(i) a multiple of 10?
False
Let a(m) = -m**3 + 6*m**2 + 5*m. Let l be a(7). Does 14 divide (l - 0)*(-3 + 1)?
True
Let z be 1/(1 + 200/(-199)). Let i = -106 - z. Suppose 0*v + i = 3*v. Is 11 a factor of v?
False
Let f(i) = i**3 - 5*i**2 + 6*i - 4. Let q be f(4). Suppose v + 5*s = 0, -15 = 2*v - q*s + 13. Is 11 a factor of (-44)/v*20/4?
True
Suppose z - 99 = 3*d, -3*z + z = -5*d - 195. Does 5 divide z?
True
Let w = 13 - -5. Suppose 2*l = 4*l - w. Suppose 4*b = l*b - 80. Does 16 divide b?
True
Let j be ((-10)/15)/(1/(-6)). Suppose 0 = -3*p + 7*p - 5*o - 217, -226 = -j*p + 2*o. Is 21 a factor of p?
False
Let u = -134 + 187. Is 10 a factor of u?
False
Let l(y) = -5*y - 6. Let u be -1 + -5 + 0 + 2. Let r be l(u). Let m = r - -2. Is 16 a factor of m?
True
Let z(m) = -1334*m**2 + 87*m. Let i(k) be the third derivative of 31*k**5/60 - k**4/12 + k**2. Let s(c) = 87*i(c) + 2*z(c). Does 15 divide s(-1)?
False
Suppose 5*m - m = 8. Suppose -5*k = m*v - 52 - 119, 2*v = -3*k + 105. Is k a multiple of 11?
True
Is 3 a factor of 4 + 1 + 2/2?
True
Let c = 65 - 46. Is c a multiple of 4?
False
Suppose 2*y - 5 = -5*w, w = -4*y - 3*w + 4. Is -2 + 3 - -53 - y a multiple of 27?
True
Let n(v) = v**3 - 2*v**2 + 2*v. Let d be n(2). Is 8/(-16) - (-286)/d a multiple of 25?
False
Suppose 208 = 2*d + 2*g, 0*g = -4*d - 2*g + 406. Is 28 a factor of d?
False
Let n(a) = -a**2 - 7*a - 5. Does 3 divide n(-5)?
False
Let b(i) be the first derivative of 2 + 1/2*i**2 - 1/4*i**4 + 5*i + 5/3*i**3. Is 5 a factor of b(5)?
True
Let z be (12/(-10))/((-3)/(-20)). Let v(o) be the first derivative of -3*o**2/2 - 12*o + 2. Does 12 divide v(z)?
True
Suppose 2*w = -p - 24, 4*w = -p - 7 - 19. Let m be p/(-4) + 3/(-6). Suppose 0 = 2*h - m*h + 42. Does 14 divide h?
True
Let z(j) = j**3 + 2*j**2 - 3*j + 2. Let m be z(-3). Is (6/(-12))/(m/(-60)) a multiple of 5?
True
Suppose 0 = 6*x - 82 + 10. Is 9 a factor of x?
False
Suppose -3*d = -3*z + 12, 0 = 2*z - 2*d + 5*d - 3. Suppose 0 = -7*o + z*o. Let l = o + 4. Is 4 a factor of l?
True
Is 19 a factor of ((-8)/(-6))/(7/(-1638)*-3)?
False
Suppose -d - 4*d + 20 = 0. Suppose -d*j - 1 = -33. Suppose -3*s = b + j, -b = -2*b - s. Is b a multiple of 3?
False
Let w(v) be the first derivative of v**4/4 + 5*v**3/3 + v**2/2 - v - 1. Is w(-4) a multiple of 11?
True
Let c = -9 + 12. Suppose -r - 19 = c*g - 5*g, 0 = -g - r + 8. Does 3 divide g?
True
Suppose 0 = -0*l + 6*l - 288. Is 12 a factor of l?
True
Suppose 0 = -k - 2, 0 = -5*d - 3*k - 10 - 1. Let a(h) = -37*h**3 + 2*h**2 + 2*h + 1. Is a(d) a multiple of 19?
True
Is (4/(-18) - 22/(-18)) + 47 a multiple of 8?
True
Suppose 4*w - 6 - 200 = -t, -2*t + w + 421 = 0. Does 42 divide t?
True
Let j be -7*(0/(-1) + -8). Suppose r = -3*r + j. Is r a multiple of 14?
True
Let x(m) = m**3 + 2*m**2 - 4*m + 2. Suppose 0 = -5*g + 2*g + 9. Is 16 a factor of x(g)?
False
Let q be (24/10)/((-1)/5). Let w be (-9)/q - (-77)/4. Suppose 5*j = 110 - w. Does 9 divide j?
True
Let b(w) be the second derivative of w**7/2520 + w**6/240 - w**5/24 + w**4/12 + 2*w. Let m(x) be the third derivative of b(x). Does 5 divide m(-6)?
False
Let y = -26 - -47. Is y a multiple of 7?
True
Let i(o) = o - 6. Let m be i(6). Suppose -3*z - 111 = -4*f + 65, m = -5*f - 3*z + 220. Is f a multiple of 11?
True
Let h = 20 - -7. Suppose w - h = -11. Is w a multiple of 16?
True
Let b = 80 - 54. Let q = 91 - b. Suppose q = c + 4*c. Does 13 divide c?
True
Let g(h) = -h**2 + 7*h - 2. Let r = 30 - 52. Let o = -16 - r. Is 3 a factor of g(o)?
False
Let k be 0/1 - 4/(-2). Suppose 3*n - 2*n = 3. Suppose -20 = -5*v + n*v + k*x, -3*v + 2*x + 31 = 0. Is 9 a factor of v?
False
Let o = -15 + 39. Does 10 divide o?
False
Suppose -k = 2*n - 15, -n = -3 - 0. Suppose 5*l = 1 + k. Let g = l - -6. Is g a multiple of 4?
True
Let o = -15 - -1. Let i = 13 - o. Does 9 divide i?
True
Let m(x) = 4*x**2 - 5*x + 0 + 0 - 1 - 1. Is m(-3) a multiple of 21?
False
Let c(k) = -k + 104. Is 13 a factor of c(0)?
True
Suppose -5*r = -0 + 5. Let z be 1 + (r - 0) + 0. Suppose -5*y + h + 158 = 0, -3*h - 122 = -z*y - 4*y. Is 11 a factor of y?
False
Suppose 5*q + 190 = -5*v, 0 = 4*q - v + 21 + 141. Let g be (2/1)/((-16)/q). Suppose -5*z = -2*z + g*y - 26, 0 = -z + 2*y - 6. Is z even?
True
Let o = -14 - -24. Let y = o + -2. Does 8 divide y?
True
Let j(h) be the second derivative of 0*h**4 - 3*h + 0*h**2 - 1/10*h**5 - 1/6*h**3 + 0. Is j(-2) a multiple of 9?
True
Suppose -2*q + 31 = s, 49 + 11 = 2*s + 5*q. Suppose r - 5*z = 85, z - s = -2*r + 102. Suppose x = 2*j + 4*x - r, -129 = -5*j + 4*x. Does 10 divide j?
False
Suppose 0*v - 2*v = -12. Let m be (v/(-4))/(9/(-12)). Suppose 0 = -3*a - m*a + 55. Is a a multiple of 7?
False
Let t(g) = g**3 - 6*g**2 + 8*g - 10. Is t(5) a multiple of 2?
False
Let z = 1 + -1. Suppose 2*u + z = 4. Is (0 - (-1 - u)) + 2 a multiple of 4?
False
Let c(d) be the first derivative of 4*d**3/3 - d**2 - 1. Suppose -3*f - 8 = f. Does 10 divide c(f)?
True
Let t(b) = -b**3 - 7*b**2 - 8*b + 2. Let h be t(-6). Let j = 27 - h. Is j a multiple of 6?
False
Suppose 5*r + i - 67 = 0, r + 2*i - 22 = -r. Let j = r - 5. Is 7 a factor of j?
False
Let x be 4/10 + (-32)/(-20). Suppose 7*k = x*k + 75. Let u = k - 3. Is u a multiple of 6?
True
Let r be (-3)/(5 - 2) + 144. Let l = r + -90. Is 21 a factor of l?
False
Let v = -10 - -14. Suppose -6*i = -i - 25, 0 = 4*b + v*i - 112. Is b a multiple of 22?
False
Let r = -14 + 8. Does 7 divide (-56)/r*(-18)/(-12)?
True
Suppose 0 = -5*t - 3 - 17. Let h(r) = -6*r + 1. Does 8 divide h(t)?
False
Let c(b) be the first derivative of -3*b**2/2 - b + 3. Let g be c(-1). Suppose n - 2 = g. Is n a multiple of 2?
True
Does 22 divide 2/(20