t = 4*w - 7. Let u = w - x. Is u a multiple of 6?
False
Suppose -4*i + 221 - 89 = 0. Suppose 57 = 3*p - i. Is 10 a factor of p?
True
Is (-9)/15 + 2565/25 a multiple of 8?
False
Suppose 6*v = 2*v + 16. Suppose 0 = 3*d + 6*i - i - 6, -5*i + 15 = 0. Is 2*30/v - d a multiple of 11?
False
Let s(i) = -7 - 2*i**3 - 5*i**2 + 3*i**3 - 2*i - 2*i**3. Does 3 divide s(-5)?
True
Suppose 6 = -p + 1, -31 = -4*z - 5*p. Suppose -5*t = -3*t - z. Does 2 divide t?
False
Let k = 27 + -9. Does 9 divide k?
True
Let c be 83 - (18/3)/(-3). Let o = c + -58. Is o a multiple of 6?
False
Suppose -77 - 45 = -5*k + 2*y, 3*k = 3*y + 75. Is k a multiple of 8?
True
Let f = 56 - 43. Does 2 divide f?
False
Let k be 44/10 + 18/(-45). Suppose 0 = -3*r + 4*r + 3, 4*r + 204 = k*w. Is 16 a factor of w?
True
Suppose -2*v - 20 = -5*j + 530, -4*j + 440 = 3*v. Is j a multiple of 13?
False
Suppose 0 = 6*w - w - 725. Does 32 divide w?
False
Suppose 2*s - 41 - 5 = -4*b, 0 = 5*s + b - 88. Suppose -c + s + 19 = 0. Suppose -2*j + c = -16. Does 18 divide j?
False
Suppose 0*n + 12 = 3*n. Suppose 5*l = -2*c + 43 + 20, 2*l + n*c = 22. Does 3 divide l?
False
Suppose 4*d - 56 = 2*d. Is d a multiple of 8?
False
Let a(y) = 23*y - 8. Let w be a(5). Let g = w - 32. Is g a multiple of 27?
False
Suppose 4*p - 3*p = -12. Let q = -13 + p. Let f = q + 50. Is f a multiple of 16?
False
Is 4 a factor of ((-36)/42)/(1/(-35))?
False
Let z(o) = 4*o**3 - 6*o**2 + 6*o - 4. Is z(4) a multiple of 10?
True
Let c(s) = s**3 - 8*s**2 - 9*s. Let t be c(9). Let v(i) = i**3 + 12. Is v(t) a multiple of 6?
True
Suppose 31 = 3*j - 4*x + 4, -3*j + 2*x = -27. Is j even?
False
Suppose 0*i - 12 = 3*i. Let h(z) = 5*z**3 + 10*z**2 - 2*z + 9. Let q(b) = 11*b**3 + 21*b**2 - 5*b + 19. Let s(a) = 9*h(a) - 4*q(a). Does 10 divide s(i)?
False
Suppose -3*f + 2*c = 2*f - 39, 5*c - 6 = f. Is 3 a factor of f?
True
Suppose 570 = 4*s + 74. Is s a multiple of 17?
False
Let a be (-2)/(-2) - (-5 - -1). Suppose a*h - 3*w = 120, 2*h + 23 = -5*w + 71. Is h a multiple of 9?
False
Let m = -16 - -43. Does 7 divide m?
False
Suppose c - 5*c = -60. Let x = c - -16. Suppose -a + 2*s + 28 = a, s - x = -4*a. Is a a multiple of 8?
False
Let i(y) = y**2 + 3*y - 7. Let r be i(-5). Suppose -24 = -r*w - w. Is 2 a factor of ((-2)/w)/(2/(-30))?
False
Let b = 3 + -2. Let l(t) be the third derivative of 7*t**4/24 - t**3/6 + 2*t**2. Is l(b) a multiple of 6?
True
Let q(d) = d**3 - 4*d**2 - 4. Let x be q(5). Let c = x - -3. Does 13 divide c?
False
Let d(g) = -6*g - 7. Is d(-8) a multiple of 12?
False
Suppose -5*v + 2*v = -5*a + 14, -4*a + 14 = -v. Suppose -v*p + 50 = -20. Is 15 a factor of p?
False
Let v(y) = y**3 - y**2 - 7*y + 2. Is 10 a factor of v(5)?
False
Suppose 2*a = -5 + 73. Is 17 a factor of a?
True
Let o(h) = -h + 17. Let d be o(0). Suppose -2*c + d + 87 = 0. Does 26 divide c?
True
Is (-4)/(-120)*6 - 234/(-5) a multiple of 20?
False
Suppose 240 = 5*n - 2*m, 3*m = 4*n - 0*m - 199. Is 15 a factor of n?
False
Suppose i + 108 = 22. Let m = 159 + i. Is m a multiple of 31?
False
Let u = 66 - 42. Is u a multiple of 6?
True
Suppose 4*o + 3*y - 1 = 0, 0 = 7*y - 2*y + 25. Suppose -7*j = o*s - 3*j - 44, j + 10 = 2*s. Let u(m) = 6*m - 8. Is u(s) a multiple of 17?
True
Suppose -1 - 9 = -2*f, 4*z = 2*f + 906. Does 15 divide z?
False
Let k(l) = -l - 7. Let c be k(-9). Suppose 2*i = -c*h + 26, -5*h + 2*i - 27 = -127. Is ((-4)/6)/((-2)/h) a multiple of 3?
True
Let q be (-5)/(-3)*(2 - -1). Suppose -q*w + 4 = -61. Is w a multiple of 4?
False
Let v be (-4)/14 - 12/(-42). Does 15 divide v/2 - (-120)/4?
True
Let k(s) be the third derivative of -s**6/30 + s**5/20 + s**4/6 + s**3/3 + s**2. Let d(x) = -2*x. Let m be d(1). Is k(m) a multiple of 14?
False
Let q(x) = -x**3 - 6*x**2 - 6*x - 1. Let f be q(-5). Suppose 236 = 4*s - 2*s. Suppose 3*v - 2*h = -0*h + s, 3*v - 110 = f*h. Does 17 divide v?
False
Let m = -274 - -434. Is 11 a factor of m?
False
Let c = 6 - 1. Suppose -c*g - 6*d = -7*d - 12, -3*g + 14 = -4*d. Suppose 0 = -5*r + 20, g*a = 7*a - 5*r - 30. Is 4 a factor of a?
False
Let o(m) = -m**3 + 4*m**2 + 2*m - 3. Let p be o(4). Suppose 0 = 5*z - z + p*t - 92, 4*t - 96 = -4*z. Does 23 divide z?
False
Suppose -3*i + 19 = -5*j - 6, 0 = 2*i + 4*j + 20. Suppose 5*s - 8*s + 21 = i. Is s a multiple of 4?
False
Suppose 8*r = -196 + 2260. Does 45 divide r?
False
Suppose 9*f = 623 + 592. Is f a multiple of 49?
False
Is 9 a factor of (2 - 4)/(-2)*(107 + 16)?
False
Let g(u) = -2*u**3 - 14*u**2 + 5*u - 3. Let z be g(-7). Let x = -18 - z. Is 20 a factor of x?
True
Let l(s) = 8*s + 1. Does 12 divide l(4)?
False
Suppose -215 = -2*b - 3*b. Is 9 a factor of b?
False
Suppose -2*z = -2*a - 61 - 77, 3*z - 5*a - 209 = 0. Is 17 a factor of z?
True
Let s = 36 + -22. Suppose s = f - 0*f. Is f a multiple of 7?
True
Suppose -2*u - 716 = -5*i + 2*u, 0 = -3*i - 4*u + 436. Is i a multiple of 9?
True
Let v = -34 + 50. Does 16 divide v?
True
Suppose 0*p = -2*p - 5*h + 26, 4*p = -3*h + 24. Suppose -s - 9 = l, p*l - s = 8*l + 45. Let f = l + 42. Does 9 divide f?
False
Suppose 0 = 4*g + 2*u - 72, 3*g = 4*u + 79 - 25. Is g a multiple of 3?
True
Is 13 a factor of 10/(-5) + (199 + 2)/3?
True
Let l(o) = o**2 - 3*o + 2. Let i be l(3). Suppose -2*p = 2*a - 0*a, i*a + 5*p + 6 = 0. Does 5 divide -4*(0 - (a - 0))?
False
Let p(u) be the first derivative of -u**4/4 + 4*u**3/3 - u**2/2 - u + 2. Let b be p(3). Suppose -88 = t - b*t. Is 7 a factor of t?
False
Let b(n) = -3*n**2 - n + 4. Let z be b(-2). Does 11 divide (2/z)/(4/(-708))?
False
Suppose -z - 2*z = -24. Let o be 6 + -4 - (-2)/2. Does 13 divide 37/o - z/(-12)?
True
Let g = -51 - -75. Is 8 a factor of g?
True
Let v = 52 + -29. Does 5 divide v?
False
Does 16 divide 4/(-10) + 648/20?
True
Let j(i) = -i**3 + 7*i**2 - 2*i + 8. Let v be j(6). Let n = 23 + -41. Let r = v + n. Does 14 divide r?
True
Suppose l + 2*w = w + 22, -3*l + 78 = -3*w. Is 4 a factor of l?
True
Let n(b) = -b - 1. Let s be n(-1). Suppose s = -z - 2*z - 12. Does 7 divide z/(-1 - 2/(-3))?
False
Let m(r) = 22*r**2 - 3*r**2 - 1 + 10*r**2. Let v be m(1). Let u = v - 20. Does 5 divide u?
False
Let u(s) = -s**2 - 13*s - 11. Let v be u(-10). Suppose 3*w + 4*r = -151 + 46, w + v = 4*r. Let k = w + 57. Is 11 a factor of k?
False
Let r(v) = -2*v + 15. Is r(-7) a multiple of 14?
False
Suppose 4*s + 18 = 6*s. Does 9 divide s?
True
Suppose -n + 38 + 14 = 0. Is 13 a factor of n?
True
Suppose -5*u - 2*x + 35 = x, -2*x + 10 = 0. Suppose -p = u*p - 305. Suppose 4*w + 4*j - p = w, 0 = 5*w + 5*j - 95. Is 13 a factor of w?
False
Suppose 3*x + 138 = -3*p, -5*p + 3*x - 286 = -80. Let a = 71 + p. Is 14 a factor of a?
True
Let s be (-4)/24 + (-26)/(-12). Suppose 3*n - 47 = -2*p - 11, 20 = s*p - n. Does 5 divide p?
False
Suppose w - 85 = -3*w + a, 4*w - 5*a = 89. Let b = 10 - 11. Let r = w - b. Is 11 a factor of r?
True
Suppose -5*o + 5 = 0, s + 2*s + o - 127 = 0. Is s a multiple of 10?
False
Let y = 11 + -7. Suppose -3*n + y*n = 1. Is 3 a factor of ((-35)/10)/(n/(-2))?
False
Let c = -10 + 13. Let q = c - -22. Does 7 divide q?
False
Let i be (-4)/(-16) - 1/4. Suppose i = 4*b - b + 144. Let h = b - -78. Is 10 a factor of h?
True
Is 22 a factor of (88/(-10))/((-12)/120)?
True
Let t(c) = -14*c + 1. Let r(f) = 15*f - 1. Let h(g) = 6*r(g) + 5*t(g). Is 8 a factor of h(1)?
False
Suppose 17*s = 18*s + 35. Let v = 71 + s. Is 18 a factor of v?
True
Does 9 divide -3 + 39 + -1 - -1?
True
Let t(c) = -6*c**3 - 2*c**2 + 1. Let g be t(-1). Suppose -w - g*l = 2*w - 26, 0 = 2*w + 4*l - 16. Does 12 divide w?
True
Let t be -2 + 3 + -1 - -2. Let s(k) = 5*k + 2. Let b be s(t). Is b/5 - (-10)/(-25) even?
True
Let s(h) = -5*h + 8. Let f(x) = -3*x + 5. Let g(u) = 8*f(u) - 5*s(u). Let k be g(0). Suppose k = 2*t - 10 - 8. Is 4 a factor of t?
False
Let m(a) = -a**3 + 10*a**2 + 17*a - 12. Does 14 divide m(11)?
False
Let h(x) = x**3 + 12*x**2 + 10*x + 14. Is h(-10) a multiple of 11?
False
Let m be (-16)/1*(-45)/(-36). Let p = 50 - 16. Let z = p + m. Is 6 a factor of z?
False
Suppose -u + 2*s = 0, 7 = 4*u - 3*s - 3. Let m = u - 3. Let f = 11 - m. Is f a multiple of 5?
True
Let f be (-16)/7 - (-8)/28. Let y be 0 - (f - -3)*-6. Suppose -y*c + c = -160. Does 16 divide c?
True
Suppose -6 = -3*m - 0. Suppose -5*s - 4*p + 110 = 0, 0 = s - 5*s + m*p + 88. Does 22 div