(3). Let y = i + 27. Does 8 divide y?
True
Let r = 0 - 0. Suppose 8 = v - r*v + q, -5*v + q = -46. Is 9 a factor of v?
True
Let w(t) = 13*t**2 + 5*t - 22. Is 43 a factor of w(4)?
False
Let j = -5 - -101. Is 6 a factor of j?
True
Suppose -f = -1, -5*y - f + 133 = -3*f. Is y a multiple of 9?
True
Let d be 143/44 - 1/4. Suppose -2*b + 35 = -d*a, 2*a + 22 = b - a. Does 3 divide b?
False
Suppose -3*y + 92 = 2*t, -7*y + 124 = -3*y + 3*t. Let k = 49 - y. Does 6 divide k?
False
Suppose 0 = 10*h - 240 - 50. Is h a multiple of 13?
False
Suppose -3*b = -6*b + 144. Is b a multiple of 33?
False
Is 35 a factor of 5/(((-5)/(-14))/5)?
True
Let y(j) be the first derivative of j**3/6 + 9*j**2 - 2*j + 3. Let d(v) be the first derivative of y(v). Does 17 divide d(0)?
False
Let l(f) = f**3 - 6*f**2 + 8*f + 3. Let c be (1/(-1) - -5)/1. Is l(c) a multiple of 3?
True
Let a(f) be the first derivative of -f**4/4 + 10*f**3/3 - 9*f**2/2 + 2. Let s be a(9). Suppose s*b + 24 = b. Is b a multiple of 12?
True
Suppose 6*o = -5*r + 3*o + 88, r = o + 16. Suppose 0*z = -z + r. Is z a multiple of 9?
False
Let t = -32 + 8. Is 8 a factor of (10/(-8))/(3/t)?
False
Let d(a) = 4*a - 1. Is 3 a factor of d(4)?
True
Suppose 0*w - 2*w = -8. Let d(q) = -q - 3. Let o be d(-8). Suppose -2*l + 20 = 4*z, o*l = w*z - z + 37. Is l a multiple of 5?
False
Suppose -4*v + 58 = 6. Let k(b) = -b**3 + 12*b**2 + 15*b - 9. Is 15 a factor of k(v)?
False
Does 9 divide ((-69)/12 + 5)*-168?
True
Does 2 divide (42/(-18))/(2/(-6))?
False
Let i = 9 + -5. Suppose 4*l = 5*l. Suppose -u + i*u - 48 = l. Is u a multiple of 6?
False
Suppose 16 = 5*o + 1. Suppose 16 = o*k - 2*k. Does 9 divide k?
False
Let d be 2*((-9)/(-6) - 1). Let x be -10*d/(-2 + 3). Let p = -2 - x. Is 8 a factor of p?
True
Suppose 230 = 5*o - 5*d, 2*o = -0*o - 5*d + 106. Does 11 divide o?
False
Let g be (-14)/(-7) + (1 - 0). Let n be (-5)/((-3 - -2) + 0). Suppose 4*i - g*i + 4*p = 28, -p = -n*i + 203. Is i a multiple of 20?
True
Suppose 2*l = -4*x + 276, 3*x - 83 = l - 246. Does 37 divide l?
True
Suppose w = -4*z + 23, w - 2*w = 1. Suppose z*p - 110 = p. Is 22 a factor of p?
True
Is 8 a factor of (-1 - 20)*42/(-49)?
False
Let x(c) = 2*c - 5 + 6*c - c - 3*c. Let l be x(5). Suppose -4*d = -4*u + 56, 3*d + 67 - l = 4*u. Is 6 a factor of u?
False
Suppose -p - 4*p = z - 305, 0 = 2*z - 10. Does 10 divide p?
True
Suppose f - 21 = -4*s, 4*f + 4*s - s - 123 = 0. Is f a multiple of 7?
False
Let q(f) = f**2 - f - 6. Does 7 divide q(5)?
True
Is (1/(-1))/((-9)/927) a multiple of 29?
False
Let a = 310 + -182. Does 32 divide a?
True
Let c be 9*3/18*2. Let d = c - -15. Is 18 a factor of d?
True
Let k(d) = -21*d - 33. Let c(f) = 5*f + 8. Let b(g) = -9*c(g) - 2*k(g). Is b(-8) a multiple of 8?
False
Suppose 0*o + 77 = o + w, -2*w = -2. Does 4 divide o?
True
Suppose -g + 14 = -0*g. Does 14 divide g?
True
Let i be 71 - (3 - 2)*-1. Suppose -5*d + 3 = -i. Is d a multiple of 4?
False
Let z(r) = r**3 - 6*r**2 + 3*r - 2. Is 17 a factor of z(7)?
True
Let d = -8 - -14. Is 1 - (0 + -1 - d) a multiple of 3?
False
Is 20 a factor of (1 - 5) + 3 + 41?
True
Suppose 4*f + f = -35. Is 4 a factor of -1*(-1 + f*1)?
True
Let j(z) be the first derivative of z**4/12 - 5*z**3/6 + 5*z**2 - 2*z + 1. Let a(f) be the first derivative of j(f). Is 17 a factor of a(9)?
False
Let q = 58 - 39. Is 13 a factor of q?
False
Let x(p) = 7*p + 16*p**2 + 7*p - 15 - 17*p**2. Suppose 5*q - 35 = -4*y + 36, -3*y = -12. Does 9 divide x(q)?
True
Suppose 5*g - 79 - 56 = 0. Does 9 divide g?
True
Suppose -2*b + 173 = 5*w, 0 = 2*w - 5*w + 5*b + 79. Suppose w = -0*o + o. Is o a multiple of 14?
False
Let b = 1 - -1. Suppose 0*i + 8 = b*i. Suppose -i*s + a = -4*a - 164, 5*s + 4*a = 164. Does 18 divide s?
True
Let c = -1 + 2. Let l = c + 6. Is l a multiple of 7?
True
Is -2 - (-37 + -3)/4 a multiple of 3?
False
Suppose 0 = 8*n - 9*n + 35. Is n a multiple of 35?
True
Let c(p) = 0*p - 3*p + 1 - 2*p**2 - 5. Let a be c(-5). Let b = a + 69. Is b a multiple of 15?
True
Let f = 6 - -4. Let u = f + -6. Is u a multiple of 2?
True
Suppose 4*o - 2*o = 2*i, -21 = 5*o + 2*i. Let n be ((-2)/6)/(o/9). Suppose n = -s + 5. Does 3 divide s?
False
Let h(l) = 27*l - 5. Is h(2) a multiple of 7?
True
Let h(i) = 4*i + 1. Let a(f) = -2*f - 1. Let t(w) = -5*a(w) - 2*h(w). Is 17 a factor of t(7)?
True
Let r(k) be the third derivative of k**6/120 - k**5/30 - k**4/12 + k**3/3 + 3*k**2. Suppose 0 = 6*w - w - 20. Does 24 divide r(w)?
False
Suppose -2*l = 3*l + 10. Let a be 1/2 - 31/l. Let p = a - -13. Does 13 divide p?
False
Let t be 11*(0/3 + -1). Let u = 3 + 0. Let r = u - t. Is r a multiple of 7?
True
Let w(h) = -h**3 - 10*h**2 - 9*h - 1. Let c be w(-9). Is 9 a factor of 18*(-6)/4*c?
True
Let j = -29 - -13. Let p = j + 7. Is (-3)/2*42/p a multiple of 7?
True
Suppose -27*d - 376 = -31*d. Does 33 divide d?
False
Suppose 7*l = 90 + 22. Does 4 divide l?
True
Let p(h) = h**2 - h - 2. Let i be p(-2). Suppose 0 = m - i*m + 6. Suppose -2*f - 3*u + 36 = 0, 0*u = 4*f - m*u - 104. Does 12 divide f?
True
Let o be (-28)/(-6) + (-20)/30. Suppose -o*q - 230 = -9*q. Does 11 divide q?
False
Suppose -118 - 182 = -5*a. Is a a multiple of 16?
False
Suppose 0*t - t = -3. Suppose -2*z = 5*k - 56, -3*z + t*k + 165 - 39 = 0. Suppose -4*u + 2*u = 5*d - z, -2*u - 4*d = -36. Does 7 divide u?
True
Suppose -3*p = -268 - 320. Does 28 divide p?
True
Suppose 3*g + 95 - 287 = 0. Is 14 a factor of g?
False
Let l(w) = w**3 - 5*w**2 + 6*w - 6. Let y be l(4). Suppose -v - 29 = -4*s, 4*s + y*v = 7*v + 17. Let m = s - 3. Is 2 a factor of m?
False
Let b(g) = g**2 - 17*g + 18. Does 9 divide b(17)?
True
Is -90*(-3 - (2 + -2)) a multiple of 10?
True
Let q(t) = 8*t**2 + 2*t + 1. Let l be q(2). Suppose 1 = -w - l. Let v = w + 68. Is 16 a factor of v?
False
Let m(v) = 1 - 2*v + 3*v + 2. Is 2 a factor of m(2)?
False
Suppose 4*h - 270 = h. Suppose 0 = -4*w + w + h. Does 14 divide w?
False
Let t(r) = 3*r**2 + 10*r - 2. Does 11 divide t(-8)?
True
Let s be 220 + (3 - (3 + -1)). Suppose -21 + s = 5*l. Does 11 divide l?
False
Let a(v) = v**3 + 6*v**2 + 6*v + 3. Let s(p) = p**2 + 6*p - 19. Let z be s(-8). Does 12 divide a(z)?
True
Let w(m) = -m**2 + 4*m + 1. Let d be w(5). Does 10 divide (d/(-1))/(3/30)?
True
Let b(f) be the first derivative of -f**2/2 - 9*f - 2. Let o be b(-9). Suppose 4*c + 1 - 37 = o. Is c a multiple of 9?
True
Let u = -27 + 54. Is 9 a factor of u?
True
Suppose 19 = -h - 4*i - 32, 4*h + 109 = 3*i. Let p = 44 + h. Does 11 divide p?
False
Let f(q) = -14*q + 5*q + 41*q. Let g be f(-2). Let d = 115 + g. Is 19 a factor of d?
False
Let u(h) = 31*h**3 + h**2 + h - 1. Let w be u(1). Suppose -15 = -s + w. Suppose 3*b - 4*i = 141, -s = -b - 2*i - i. Does 18 divide b?
False
Let b be 0 - (2 + 0/2). Let z(l) = l**3 + 3*l**2 + l - 1. Let y be z(b). Is 5 + -5 + y*18 a multiple of 11?
False
Let l(t) = 4 + 6*t - 8*t + t. Is l(-7) a multiple of 11?
True
Let h = -13 - -13. Suppose h*v = -v + 26. Is 13 a factor of v?
True
Let l(q) = q**3 + 3*q**2 - 7*q - 6. Let s be l(-5). Let p = s - -69. Is 17 a factor of p?
False
Suppose 2*s + 24 = 5*i, s = -0*i + i - 6. Suppose -i*b + 12 = 0, -4*b - 309 - 15 = -4*p. Is p a multiple of 21?
True
Suppose -19 = 2*f + 2*f - 5*d, -4*d = -f - 13. Let g = 14 + f. Is g a multiple of 2?
False
Let v = 12 + -10. Suppose -v*r = -6 - 14. Is r a multiple of 7?
False
Let q = -1 + 0. Let d = q + 4. Suppose 5*k - 5*l = d*k + 31, 5*k + 5*l - 25 = 0. Does 4 divide k?
True
Let f(s) = -s**2 + 4*s + 2. Let w be f(3). Suppose -4*b - 1 - 11 = 0, -w*n - 3*b = -96. Does 7 divide n?
True
Suppose 5*d - d - 1084 = 0. Is d a multiple of 34?
False
Suppose 0 = d + 4*a, a - 19 = 4*d - 70. Is 2 a factor of d/5 + 2/(-5)?
True
Let i = 8 + -4. Let g = i + 0. Let s(k) = 2*k + 4. Is s(g) a multiple of 5?
False
Let i = 47 - 40. Does 3 divide i?
False
Let v be (0 - 1) + (0 - -2). Let t be (0 + -1)/(-1) - v. Let k(p) = p**3 - p + 7. Is 5 a factor of k(t)?
False
Suppose 2*b - 3*b = 2. Let s(u) = -7*u**3 - u**2 - 3*u - 1. Does 19 divide s(b)?
True
Suppose 8 = 2*x - 276. Is x a multiple of 28?
False
Suppose -5*a + 5 = -5. Suppose -a*h = 3*h - 35. Is h a multiple of 3?
False
Let m be 2/(-3) + (-1442)/(-21). Suppose -4*j - m = -8*j. Does 17 divide j?
True
Let h(n) = 17*n - 3. Does 5 divide h(2)?
False
Le