-2*y + c*y = 8. Does 4 divide y?
True
Let h be 154/4 - (-2)/(-4). Suppose 5*u = -h + 118. Does 8 divide u?
True
Suppose -3 = -4*c + 9. Suppose 6*z = 2*z - c*p + 102, z = 2*p + 31. Is 9 a factor of z?
True
Suppose 2*j + 25 = j. Suppose -4*a - 14 = 14. Let q = a - j. Is 12 a factor of q?
False
Suppose 6*p + 250 = p. Let u = 75 + p. Is 18 a factor of u?
False
Let g(t) = -t + 2 - 8 + 3. Let z be g(-5). Suppose -z*r - y = 3*r - 68, -16 = -r - y. Is r a multiple of 13?
True
Let f(h) = -3*h + 1. Let z be f(-3). Let d be (-11)/(-2) - 4/8. Suppose 5*a = -d*p + 5, -5*p - 35 + z = 0. Does 6 divide a?
True
Suppose u = 3*x - 6 - 1, -2*u + 10 = 2*x. Let n be 39 - (1 - u) - 0. Suppose 4*l - 67 = -5*g, 2*l - n = -4*g + 10. Is 11 a factor of g?
True
Suppose -4 = 2*y + 2*y. Is (-4 + 3)/(y/66) a multiple of 22?
True
Let v = -12 + 34. Does 11 divide v?
True
Let j be 278 + 3 + 0 + -1. Suppose j = 5*p - 0*p. Let w = -32 + p. Is w a multiple of 14?
False
Is 3 a factor of 21/49 + (-148)/(-14)?
False
Suppose 4*c = 1008 + 8. Let w = -172 + c. Suppose s - w = -s. Does 14 divide s?
False
Let f(q) = q**3 + 5*q**2 + 3. Let p be f(-5). Suppose 15 - 3 = 3*o, -p*j = -5*o + 8. Is 3 a factor of j?
False
Suppose -258 + 6 = -3*u. Let d = u + -10. Does 17 divide d?
False
Suppose -d = -3*w - 124, 468 + 186 = 5*d + 2*w. Suppose 47 = 3*r - 4*s, -5*r - 2*s + d = 43. Does 11 divide r?
False
Suppose -36 = -5*w - 3*b, 4*w + b - 26 = -0*b. Suppose 4*u + 2*d = 168, w*u + 5*d = 3*u + 126. Let c = 65 - u. Does 9 divide c?
False
Suppose -a + 26 = 2. Is 4 a factor of a?
True
Let v(d) = -d**2 - d + 2. Let n be v(-5). Let m = n - -36. Is m a multiple of 9?
True
Is 3 a factor of 1 + 68 + (-11 - -8)?
True
Suppose -4*w = -117 - 27. Is w a multiple of 6?
True
Suppose 2*g + 2*g - 32 = 0. Let y be 3/12 + 6/g. Is 1*((y - -6) + -2) a multiple of 4?
False
Let j(z) = -66*z**3 - 3*z**2 - 11*z - 20. Let t(c) = 22*c**3 + c**2 + 4*c + 7. Let i(v) = -6*j(v) - 17*t(v). Does 14 divide i(1)?
False
Is 2/(-7) - 317/(-7) a multiple of 15?
True
Suppose 3*j - 23 = 13. Is 20 a factor of 2/j + 718/12?
True
Suppose -3*q = -q - 4. Suppose -v - q*y = v - 42, -v + y + 17 = 0. Let k = 32 - v. Does 8 divide k?
False
Let g = 148 - 83. Is 30 a factor of g?
False
Suppose -2*g = -4*l, 6*g - 2*g = 3*l - 10. Let a(y) = -y**3 - 5*y**2 - 5*y - 2. Let c be a(g). Suppose -2*r + 8 = 0, c*r = -5*f + 5*r + 8. Is f a multiple of 2?
True
Suppose 3*j + t + 7 = 0, -t - 2*t + 15 = 0. Let y be j*2*(-2)/4. Suppose -10 = -2*i - y*c, 2*i - 11 = -2*i + c. Is i a multiple of 2?
False
Suppose -b + 2*t = -5 - 37, -2*b + 2*t + 74 = 0. Let y = b - -3. Is y a multiple of 9?
False
Let d = -1 - -7. Let p = -4 + d. Suppose 1 = -p*q + 13. Is 4 a factor of q?
False
Let d(z) be the third derivative of z**8/20160 - z**7/840 + z**6/72 + z**5/20 + z**2. Let f(w) be the third derivative of d(w). Is 18 a factor of f(9)?
False
Let t(i) = i + 8. Let o be t(-6). Suppose o*r - r = 48. Suppose 5*m - s - 54 = 3*m, 2*m - r = 4*s. Does 14 divide m?
True
Let d = -8 + 33. Suppose 6*r = 359 + d. Is 16 a factor of r?
True
Let u(c) = c**3 + 1. Let q be u(-2). Let z = q + 7. Suppose 0 = 4*t - z*t - 5*g - 246, 108 = 2*t + 5*g. Is 20 a factor of t?
False
Let f = 50 - 34. Does 16 divide f?
True
Suppose 56 = 2*q - 24. Does 8 divide q?
True
Suppose 0*d + 15 = 5*d. Suppose 2*k - 3 = d. Suppose 0 = 5*u - 5, -4*j + u = -k*u - 148. Does 18 divide j?
False
Suppose -2*b + 110 = 4*d, -d + 17 = b - 10. Is (16/d)/(2/7) a multiple of 2?
True
Suppose 0 = -0*n - 3*n. Suppose n = 2*q + 10 - 46. Is q a multiple of 8?
False
Suppose 4*q - 5 = 3. Suppose 3*h = q*s + h - 32, 44 = 3*s - h. Does 10 divide s?
False
Suppose 2 + 2 = 2*h. Suppose -d - 212 = -h*d. Is (-2)/(-3) - d/(-6) a multiple of 17?
False
Let m = -48 + 72. Let o(i) = i**3 - i**2 - 2*i + 3. Let q be o(2). Suppose q*g = g + m. Is g a multiple of 6?
True
Suppose 5*n = 3*b - 0*b + 210, 3*n + 2*b - 107 = 0. Is n a multiple of 13?
True
Suppose 2*u - 3*u + 45 = 0. Suppose -4*j = j - u. Is 9 a factor of j?
True
Let r(p) = 13*p + 0 - 2 - 7*p. Let v be r(4). Suppose -4*h + 2*h + v = 0. Is h a multiple of 9?
False
Let t(k) = -k**3 + 14*k**2 + 16*k + 5. Does 5 divide t(15)?
True
Suppose -2*g = -11 - 53. Is g a multiple of 16?
True
Suppose -v + u = 4*v - 2, -4*v + 2*u = -4. Suppose -5*o = -v - 30. Is o a multiple of 3?
True
Suppose 0 = 4*w - 5*s + 6 - 1, -3*s = -4*w - 3. Suppose 5*o + 5*c = 2*c + 12, 2*c + 2 = w. Does 2 divide o?
False
Let t(u) = u**2 - 3*u. Let l be t(4). Suppose -m + 83 = -3*r, r - 207 = -3*m - l*r. Suppose -f = -5*i - 59 + 17, 0 = 2*f - 5*i - m. Is 16 a factor of f?
True
Let n = 40 + -5. Suppose -n = -2*c + 61. Is 24 a factor of c?
True
Suppose 0 = -6*f + 2*f - 152. Let n = f + 53. Does 4 divide n?
False
Let s = -13 - -17. Suppose -s*y + 7*y - 48 = 0. Does 8 divide y?
True
Suppose s + 4*s - 25 = 0. Suppose 6*k = 2*k + n + 21, 5*k - s*n - 45 = 0. Is 13 a factor of -57*((-8)/3)/k?
False
Let x(h) = 4*h**2 + 2*h - 2. Does 20 divide x(3)?
True
Let b be 69*1/(-3)*-1. Suppose 2*d = -4*a + 6*a + 46, d + 2*a - b = 0. Is d a multiple of 7?
False
Let c(u) = 2*u**2 - 2. Is c(-5) a multiple of 12?
True
Let x(r) = r**2 + 3*r - 6. Let w be (10 + 0)*2/(-4). Let i be x(w). Suppose 41 = -i*k + 105. Is k a multiple of 11?
False
Let y(l) be the third derivative of -l**6/30 + l**4/24 + l**3/3 - l**2. Is y(-2) a multiple of 9?
False
Is 9 a factor of (8/(-6) + 2)/((-4)/(-648))?
True
Let v(d) = 12*d - 3. Let t be 209/77 - 2/(-7). Is v(t) a multiple of 15?
False
Suppose 5*f - 25 - 135 = 0. Does 6 divide f?
False
Let i(q) be the first derivative of q**4/12 + q**3/3 + 3*q**2/2 + 2*q + 1. Let t(u) be the first derivative of i(u). Is 3 a factor of t(-3)?
True
Let n(g) = -2*g**3 - 3*g**2 + g + 1. Suppose 0 = 7*d - 2*d + 15. Let s be n(d). Let x = s + -13. Is x a multiple of 7?
False
Let d(v) = -3*v - 1. Let z be d(-6). Let a = 30 - z. Is 13 a factor of a?
True
Let u be (292/(-6))/(10/(-15)). Suppose 9 - u = -2*p. Is p a multiple of 13?
False
Suppose -4*w + 1 = -3*w. Suppose a = 3*t + 16, -11 = 3*t + w. Suppose -a*q + 67 = 15. Is 13 a factor of q?
True
Suppose 2*o + 3*k = -4, -5*o + 3*o - 2*k = 0. Suppose 0 = -d + 3 + o. Is d a multiple of 7?
True
Suppose -164 = -q - 66. Suppose 5*g = 4*r + 2*g - 174, 4*g - q = -2*r. Is r a multiple of 15?
True
Let n = 0 + 4. Suppose 3*j - 4*j - 10 = -n*v, 14 = 4*v - 3*j. Suppose 4*c = v*c + 16. Is c a multiple of 5?
False
Suppose -2 = x + 39. Let d = 76 + x. Suppose -5*z = 3*f - 21, d = 5*f + z - 0*z. Is f even?
False
Suppose f = -a + 96, a + 2*a = 3*f - 282. Is 19 a factor of f?
True
Suppose -5 = 5*d, 5*w = 6*d - 2*d + 14. Suppose -2*h - w*f + 7 = -1, -2*f + 8 = 4*h. Is (h + 17)*2/2 a multiple of 6?
False
Let f = -183 - -286. Let b = f + -59. Does 22 divide b?
True
Let w be 3/(2 + 22/(-10)). Let m = 7 + w. Is (-38)/(-8) + (-2)/m even?
False
Let f = 91 - 51. Is f a multiple of 20?
True
Let i(n) = -11*n**3 + n. Let j be i(1). Suppose 0 = 3*o + 12, -5*q + 51 = 3*o - 22. Let w = j + q. Does 3 divide w?
False
Let b(p) = 3*p - 5. Let l(c) = c - 2. Let w be l(7). Does 10 divide b(w)?
True
Suppose -5 = -j + 5. Suppose f = j + 9. Is 9 a factor of f?
False
Let k be -9 - (3/(-3) - 1). Does 5 divide 1*2 + k + 10?
True
Let z(u) = -13*u**2 + u + 2. Let v be z(2). Let d = v + 34. Let x = d - -32. Does 12 divide x?
False
Suppose 5*s + 2*c = c + 379, 4*c = -5*s + 391. Does 15 divide s?
True
Suppose -40 - 4 = -2*a. Is a a multiple of 13?
False
Let f(v) = v**3 + 13*v**2 - v - 11. Does 31 divide f(-12)?
False
Let t(u) be the third derivative of -7*u**6/720 + u**5/60 + u**4/8 + u**2. Let c(l) be the second derivative of t(l). Is 15 a factor of c(-4)?
True
Let s be 29/2 + 5/10. Let k = 35 - s. Is 6 a factor of k?
False
Let x(k) = k + 12. Let b be 0*((-2)/6 + 0). Is x(b) a multiple of 4?
True
Let l = 306 + -24. Is l a multiple of 49?
False
Let q be 1*(-2 + 1)*-5. Let l(f) = -3*f + 7. Let a be l(q). Is (-282)/a + (-2)/8 a multiple of 16?
False
Suppose 3*u + l - 77 = 0, 0 = 7*u - 3*u + 3*l - 111. Is 12 a factor of u?
True
Let g(i) = i**3 + 6*i**2 + 2*i - 6. Does 3 divide g(-4)?
True
Suppose -4*h + 197 = 21. Is h a multiple of 11?
True
Does 2 divide (-4)/(-4)*(-12)/(-4)?
False
Suppose 4*l = 6 + 6. Suppose 4*i + 2 = l*i. Does 10 divide 11 - (2 + (