Suppose 3 = -i + 4. Does 12 divide i/(3/f) + 0?
True
Suppose -5*j - 9 = 6*k - 5*k, 5*k - 24 = -2*j. Is 6 a factor of k?
True
Suppose -f = s + 3, -f + s + 9 = -5*f. Is -1 + 30 + (f - 1) a multiple of 13?
True
Let i = -31 + 59. Let l = i - 14. Is l a multiple of 7?
True
Let c(n) = 14*n**2 + 2*n. Is 20 a factor of c(2)?
True
Let p(t) be the second derivative of t - 2/3*t**3 - 1/20*t**5 + 0 - 5/12*t**4 + t**2. Is 2 a factor of p(-4)?
True
Suppose 2*a = -3*d + 77, -5*a + 5*d + 161 = 2*d. Is 11 a factor of a?
False
Let y = 78 - 33. Is y a multiple of 29?
False
Suppose 0 = 3*g - 5*x - 18, g - 22 = 4*x - 9. Let u = 6 - g. Does 2 divide u?
False
Let p = 54 - 48. Is p a multiple of 6?
True
Suppose 2*s - 17 = m, m - 6*m = 5. Suppose 5*c = s + 117. Is c a multiple of 16?
False
Let h(g) = 59*g - 9. Let f(k) = 20*k - 3. Let l(w) = -11*f(w) + 4*h(w). Does 16 divide l(2)?
False
Let k be -8 + 9 - 55/1. Let v = k + 99. Is 15 a factor of v?
True
Suppose -y = -3*y + 4. Suppose -14 + y = -a. Is 10 a factor of a?
False
Let v(q) = 3*q**2 - 6*q + 5. Suppose 4*h = 2*s + 10, 10 = s + s. Is v(h) a multiple of 15?
False
Suppose 10 = 4*c - 6. Is 6 a factor of (-1)/4 + 49/c?
True
Let p be (-212)/(-4) + 4/2. Let o = 85 - p. Does 15 divide o?
True
Let o(f) be the second derivative of 2*f**3/3 - 5*f**2/2 - 5*f. Is 12 a factor of o(7)?
False
Is 4 + -4 + (-1 - -101) a multiple of 34?
False
Let y be 0/((-6)/(-3) - 0). Suppose 0 = -4*d - y*d - 4*g - 12, 5*g = -2*d - 6. Does 5 divide (-26)/(-4) + d/6?
False
Let v = -3 - -5. Suppose p - 315 = -v*p. Is 16 a factor of p*(-6)/15*-1?
False
Does 20 divide (-4)/(-14) + 257/7?
False
Let p(m) = -m**3 - 3*m**2 + m + 3. Suppose 0*l + 2 = -3*l - 2*c, l = -3*c + 11. Let s be (-2*1)/(l/(-8)). Is 15 a factor of p(s)?
True
Suppose -3*y = 2*y - 180. Does 12 divide y?
True
Suppose 3*s - 6 = -4*m + 8, -6 = -s - 2*m. Is (-45)/(-2) + (-3)/s a multiple of 7?
True
Let i(o) = o**3 - 6*o**2 - 6*o - 7. Let q be i(7). Let f = 2 + q. Suppose 156 = 5*x - 3*d, 146 = 4*x + x + f*d. Is x a multiple of 15?
True
Let p(k) = -2*k - 11. Let h be (2 + -22)*2/5. Does 2 divide p(h)?
False
Suppose -4*w + 2*w + 20 = 0. Is w a multiple of 3?
False
Suppose 13 = 2*l - 19. Suppose 5*r + 44 - 9 = 0. Let k = r + l. Is k a multiple of 3?
True
Suppose 0 = -16*j + 12*j + 528. Is 12 a factor of j?
True
Is 14 a factor of -18*(0 - (3 - 1))?
False
Let g(o) = 14*o**2 + 3*o + 2. Is g(2) a multiple of 12?
False
Let o(c) = 2*c**3 - 2*c**2 + c - 4. Let h be o(3). Suppose -4*d - 23 = 2*n - 5*n, -4*n + d + h = 0. Is 9 a factor of n?
True
Suppose -3*l - 9 = 0, -2*l + 0 = 5*c - 4. Let d = 5 + c. Is d a multiple of 2?
False
Suppose 0 = -2*l - 2*l + 8. Suppose -3*f + 4*k = -21, 2*k = -l*f + 5*k + 13. Does 11 divide f?
True
Suppose 0 = -2*q - 30. Is q/10 - 55/(-2) a multiple of 6?
False
Let t(d) = 55*d - 5. Let a be t(4). Suppose 0 = -5*i + a - 70. Does 13 divide i?
False
Let r(m) = -15*m - 9. Is r(-6) a multiple of 20?
False
Let u(w) = -56*w - 1. Let n(d) = -d + 3. Let h be n(4). Let y be u(h). Suppose -3*c = -y - 11. Is c a multiple of 11?
True
Let t = 22 + -1. Is 7 a factor of t?
True
Let s = -6 - -21. Suppose -n - s = -2*a + 2*n, -2*n = -2*a + 16. Is 8 a factor of a?
False
Let s = -6 - -41. Does 7 divide s?
True
Suppose h = -0*h + 52. Does 11 divide h?
False
Let j(s) be the second derivative of s**4/2 + s**3/6 + 7*s**2/2 + 2*s. Is 16 a factor of j(3)?
True
Suppose h = -4*w - 23, -w = -h + 3*w + 1. Let k = h + 43. Is 16 a factor of k?
True
Suppose z - 2 = -5*f - 23, -2*z + f = -13. Suppose -5*x + 28 = -z*i, x - 16 = -x + 4*i. Is x a multiple of 4?
True
Let j(i) = 2*i**3 + i**2 - 5*i. Let h be j(4). Let u be -3 + h - (-1 + 1). Suppose -4*x - u + 305 = 0. Is x a multiple of 17?
False
Let c(f) = f**2 + 9*f - 9. Suppose 0 = -y + 5*y + 44. Is 13 a factor of c(y)?
True
Let i = -15 + 10. Let f = 10 + i. Suppose -2*s + f = -1. Is s a multiple of 3?
True
Let p(i) = i**3 + i**2 + i - 16. Let v be p(0). Is 116/3 + v/24 a multiple of 15?
False
Let d(u) = 2*u + 1. Let t be d(-2). Let l = t + 9. Is 6 a factor of l?
True
Let a(c) = 4*c - 1. Let x be a(-4). Does 9 divide (-3)/(-6) - x/2?
True
Does 6 divide (-1 - 1) + 72/9?
True
Let w be (4/6)/((-2)/(-6)). Let n = 31 - w. Is n a multiple of 12?
False
Suppose 2*t = 6*t - 20. Suppose f + 8 = t*w, -f + 13 = 4*w + 3. Suppose -60 = -w*k + 18. Is 14 a factor of k?
False
Let f = 8 + 49. Is 12 a factor of f?
False
Let g(l) = 2*l - 6. Let y be 6/9*1*6. Let r be g(y). Suppose 2*c + r*c - 24 = 0. Is c a multiple of 5?
False
Let w be (-30)/(-2)*(-11 + 3). Let q = w - -175. Is q a multiple of 13?
False
Let q(w) = 2*w**2 - 4*w + 2. Let m be q(4). Let x = 7 + m. Does 17 divide x?
False
Let q(o) = -o - 4. Let n be q(-6). Suppose -n*y = y - 87. Is 19 a factor of y?
False
Suppose 3*c = -4*b - c - 16, 0 = 4*b - 5*c - 29. Suppose b = -5*m + 21. Is m a multiple of 2?
True
Suppose 3*o - 5 = -17. Let n = 7 + o. Let j = n + 1. Is 3 a factor of j?
False
Let b(h) = -3 + 7*h - 8 - 38*h. Let x(u) = -6*u - 2. Let k(m) = -2*b(m) + 11*x(m). Is 4 a factor of k(-2)?
True
Let v(i) = 94*i**2 + 3*i - 2. Does 11 divide v(1)?
False
Suppose -147 = -5*g - 4*d, 18 = -3*g + 4*g - 3*d. Does 15 divide g?
False
Let b = 21 + 17. Does 19 divide b?
True
Suppose 0 = -4*z + 5*z + 9. Does 28 divide (84/2)/(z/(-6))?
True
Suppose -4*u + 255 = u. Suppose -r + 2*r - u = 0. Suppose 0*l + r = 3*l. Is l a multiple of 8?
False
Let k(z) = z**3 - 4*z**2 + 3*z - 5. Let x be k(4). Let m = -22 + x. Does 13 divide (-396)/m - 2/5?
True
Let t = 45 - -43. Is 8 a factor of t?
True
Is 2936/40 + (-4)/10 a multiple of 18?
False
Let k = -11 - -25. Does 12 divide k?
False
Let g = 72 + -37. Is 7 a factor of g?
True
Suppose -s = -15 - 37. Is s a multiple of 26?
True
Suppose 0*c = 4*c - 3*a, 2*c + a = 0. Let y be 2/1 + 1 + 1. Suppose y*h + 5*r - 54 = c, 5*h - 94 = -r - 16. Does 8 divide h?
True
Let r = -12 + -12. Does 5 divide (-9)/r*4*6?
False
Let g(n) = -59*n + 34. Is 25 a factor of g(-7)?
False
Let s be (3 - -849)*(-1 + 4). Suppose -5*n - 496 = -s. Is 2/4 - n/(-8) a multiple of 16?
False
Let a be (-12)/(-8)*(-16)/(-6). Suppose -a*v + 0*q - 2*q + 44 = 0, -4*q = -5*v + 68. Does 9 divide v?
False
Suppose 0 = q - 4*q + 39. Does 13 divide (4 - 5)/((-1)/q)?
True
Let u = 520 + -359. Is 26 a factor of u?
False
Let v be (0 - 2) + (-4)/(-2). Let l = v - -3. Suppose 31 + 5 = l*j. Is j a multiple of 6?
True
Suppose 0 = h - 102 + 4. Is h a multiple of 8?
False
Suppose -2*j + 0*m + m = -70, -3*m = -6. Is j a multiple of 24?
False
Suppose -2*w - 4*b = 6, -w = 3*w + 3*b - 3. Suppose -w*u = 2*u + 15, u + 23 = 4*m. Is 5 a factor of m?
True
Let d(g) = -g**2 - 9*g - 8. Let z = 10 - 16. Does 10 divide d(z)?
True
Let c = 75 - 63. Is c a multiple of 6?
True
Let d = -20 - -36. Suppose -d = -2*m - 0*m. Does 8 divide 2 + m + 0/2?
False
Suppose 0 = 4*n - 7*n - 5*c + 13, -n = 2*c - 5. Let o(s) = s**3 - 4*s**2 - 6*s - 5. Let h be o(6). Suppose -g + h = n. Is g a multiple of 11?
False
Let r(h) = 6*h + 4. Let g be r(4). Suppose -g*m = -33*m + 585. Is 39 a factor of m?
True
Let g(v) = -8*v - 6. Suppose -4*j = 4 + 12. Is 10 a factor of g(j)?
False
Let g be (-42)/(-4)*12/18. Let v = g + -1. Is 3 a factor of v?
True
Let k(w) = -w**3 + 7*w**2 - 6*w + 8. Let t = 18 + -12. Does 4 divide k(t)?
True
Let t = -31 - -43. Does 2 divide t?
True
Suppose 5*u - 24 = -4*f + 16, 2*u + 68 = 4*f. Suppose -5*i = y - 27, 4*y + 4*i = f + 13. Is 13 a factor of (3 - -10)*y/2?
True
Suppose 0 = 3*c - 0 - 12. Suppose 0 = -c*b + 13 + 3. Suppose -12 = -4*x, b*j - 9*x = -4*x + 93. Is 9 a factor of j?
True
Let q(m) = m**3 + 5*m**2 + 3*m + 2. Is q(-4) a multiple of 6?
True
Let y = 303 - 201. Let m = 18 - -52. Let f = y - m. Is 24 a factor of f?
False
Suppose 4*t - 19 = -m, -m - 3*t + 23 = 2*t. Suppose m*j + j = 3*x + 90, -5*x = 4*j - 74. Is j a multiple of 7?
True
Suppose 2*w + 4*n - 48 = 0, -12 = 4*w + 4*n - 112. Does 8 divide w?
False
Let l = 15 - -65. Suppose 0 = 5*u, -4*c + 3*u + l = 6*u. Is c a multiple of 7?
False
Let l be 1*(2 - 12)/(-2). Suppose n = l*i - 63, 0*n = -4*i + n + 50. Does 6 divide i?
False
Suppose 48 = -25*k + 29*k. Is 6 a factor of k?
True
Let k(u) = 2 + 5*u + 8*u**2 + 3 + 2 + u**3. Is 20 a factor of k(-5)?
False
Suppose 0 = -2*m + 5*n + 328, -2*m - n + 820 = 3*m. Suppo