 2). Suppose 4*n = y + 3. Let x = 3 + n. Does 2 divide x?
False
Suppose 2*p + 2*p = 4*i, -3*p + 2*i = 0. Suppose t + 15 - 87 = p. Is t a multiple of 36?
True
Suppose 5 = p + u, -u = -0*u - 5. Suppose 5*h - h - 392 = p. Let q = h - 54. Is q a multiple of 16?
False
Let j = 18 + 4. Suppose 2*a - m - 80 + j = 0, 10 = 5*m. Suppose -g + a - 10 = 0. Is g a multiple of 11?
False
Let l(y) = y**3 - y**2. Let b be l(1). Let x be (-1)/((14/24)/(-7)). Suppose r + b = x. Does 4 divide r?
True
Let z be (21/4)/(4/(-16)). Is 22 a factor of (-7)/(z/22)*9?
True
Let y = -1 + -1. Let s(o) = o**3 + 4*o**2 + o - 1. Is 4 a factor of s(y)?
False
Let m(g) = g**2 - 6*g - 2. Let h(f) = -f. Let c(w) = -5*h(w) + m(w). Let r be c(2). Suppose -n + r = -3. Is n a multiple of 2?
False
Let t = 37 - 19. Does 6 divide t?
True
Let l be (3 + (-22)/(-8))*4. Let u be -12*(1 + (-18)/4). Let k = u - l. Does 9 divide k?
False
Is 1/((7 + -4)/69) a multiple of 14?
False
Let b(h) = 8*h - 4. Suppose 0 = 2*j - 7 - 1. Is b(j) a multiple of 14?
True
Let u(p) = 6*p + 3. Let v(d) = d - 3. Let z be v(7). Does 22 divide u(z)?
False
Let v be 1 - (2/(-2) + 2). Let x(h) = h + 27. Let n be x(v). Let t = n - 15. Is 6 a factor of t?
True
Let j(p) = p + 44. Let f(b) = b**2 - 4*b + 3. Let q be f(3). Is j(q) a multiple of 22?
True
Suppose 4*z = 6 + 210. Is z a multiple of 10?
False
Let q = 15 - -87. Let r = -59 + q. Is 21 a factor of (r + (1 - 2))/1?
True
Suppose 5*s - 658 = -3*i - 192, 0 = 4*s + 5*i - 365. Does 16 divide s?
False
Suppose 2*q + m + 101 - 265 = 0, q - 82 = 5*m. Is q a multiple of 9?
False
Let f(p) = -p**3 + 14*p**2 - 13*p + 6. Let n be f(13). Suppose -h + n*h - 192 = -4*i, -5*i + 110 = 3*h. Is h a multiple of 20?
True
Let q(n) = -9*n + 21. Let v(r) be the first derivative of 2*r**2 - 10*r - 2. Let y(c) = 6*q(c) + 13*v(c). Is y(-8) a multiple of 12?
True
Let f = 58 + -11. Is 17 a factor of f?
False
Let b = 293 - 148. Does 29 divide b?
True
Let p(j) = -2*j - 2. Does 14 divide p(-8)?
True
Let s(r) = r + 2. Let c = 17 - 10. Is s(c) a multiple of 3?
True
Let n(w) = w**3 - 3*w**2 - 3*w + 1. Let g be n(4). Suppose 4 = o + 1. Suppose -g*r = -o*r - 24. Does 8 divide r?
False
Let f(b) = -6*b - 4. Let t be f(-6). Suppose -i - 3*z + t = 0, 84 = 5*i - 0*i - 4*z. Is i a multiple of 15?
False
Suppose -4*f + 451 = -65. Let b = f - 87. Does 21 divide b?
True
Suppose -2*n - 430 = -4*c, -4*c - 3*n + 436 = n. Does 22 divide c?
False
Let w(k) = -k**3 + 14*k**2 + 16*k + 14. Is 6 a factor of w(15)?
False
Suppose 3*s - 3*a = 2*a + 26, -5*s + 66 = 3*a. Does 4 divide s?
True
Suppose 4*f - 4*o - 60 = 0, f + 2*f = -3*o + 63. Is 9 a factor of f?
True
Suppose -y = -3*l, 0 = -5*l + l - 5*y - 19. Let r = 0 + l. Let b = r - -9. Is 5 a factor of b?
False
Let k = -3 + 2. Is 7 a factor of (3/(-9))/(k/63)?
True
Suppose -9*x + 45 = -6*x. Is x a multiple of 5?
True
Let g be (-2)/(6/57)*1. Let p = g - -27. Is 3 a factor of p?
False
Is (1*(-90)/(-3))/1 a multiple of 15?
True
Let b = 116 - 37. Does 14 divide b?
False
Let h = 40 + 17. Suppose 0*l + 4 = -2*l, h = 5*v - l. Suppose -5*r = -3*b + 19, -b - v = -6*b - 2*r. Does 2 divide b?
False
Let g(z) = z**2 - z + 10. Let j be g(0). Let h(m) be the second derivative of -m**5/20 + 11*m**4/12 - 2*m**3/3 + 2*m**2 + 5*m. Is 22 a factor of h(j)?
False
Let l(s) = s + 3. Let z be l(-5). Let i be (-4)/((-219)/(-108) + z). Is i/(-10) - (-6)/10 a multiple of 9?
False
Let k be (-1)/4 + 33/4. Suppose u + 3*u - k = 0. Let g(q) = q**3 + 2*q**2 - 2*q - 2. Does 5 divide g(u)?
True
Let h = 5 + -5. Suppose h = 2*p + 1 + 9. Is -6*(50/4)/p a multiple of 5?
True
Suppose 0 = -0*v + 2*v. Suppose -2*b + 15 = -5. Suppose -g = x - b, 0 = -x + 1 - v. Is g a multiple of 3?
True
Suppose i + 2 = 7. Let k be i/25 - (-18)/10. Suppose 5*z + 0*f = -f + 186, 5*z = -k*f + 187. Is z a multiple of 19?
False
Let k = 11 + -9. Suppose 3*r + k*v - 16 = -0, 2*r - 36 = 5*v. Does 4 divide r?
True
Let f(t) = -t**3 - 3*t**2 - 3*t + 4. Let m be f(-3). Suppose 7*b = 8*b - m. Is b a multiple of 3?
False
Suppose 8*k + 301 - 1333 = 0. Does 19 divide k?
False
Suppose 0*r - r + 4*g = 1, 3*r - 13 = 4*g. Is 22 a factor of ((-1)/2)/(r/(-308))?
True
Let c be 8/20*5/(-1). Let w be (c/(-4))/(2/12). Suppose 2*s - 2*z - 119 = -3*s, -109 = -4*s - w*z. Does 13 divide s?
False
Suppose 60 = 5*b + 5*h, 5*b - 30 - 58 = 2*h. Suppose 3*i - b = i. Is 4 a factor of i?
True
Let x(a) = 15*a**3 - a - 1 - a**2 + 0*a + 20*a**3. Let c be x(-1). Let w = -12 - c. Does 12 divide w?
True
Suppose -6 - 4 = -5*g. Let b = 53 - -51. Suppose -g*s = -6*s + b. Is 13 a factor of s?
True
Let w(l) = 2*l - 2. Let o be w(6). Suppose 3*y = 5 + o. Suppose 0 = -4*r - q + 101, y*r - q - 2*q = 105. Does 12 divide r?
True
Let v be (-9)/(-2) + 3/(-6). Suppose 4*n - v*a - 36 = 0, 2*n - 5*n = -a - 29. Does 10 divide n?
True
Let j = -13 - -23. Is 10 a factor of j?
True
Let j be 27 + (-2)/(-3)*-3. Let f = j - 8. Is 7 a factor of f?
False
Suppose -514 = v - 3*v. Is 33 a factor of v?
False
Let z = -100 - -132. Does 4 divide z?
True
Let h be -12*2/((-24)/225). Let c = h + -160. Is 13 a factor of 8*(c/(-4))/(-5)?
True
Suppose -4*s - 674 = -5*p, 667 = 5*p + 2*s + s. Let q = -86 + p. Is q a multiple of 24?
True
Suppose 2*n = 0, -5*n + 1272 = s + 3*s. Is 53 a factor of s?
True
Does 13 divide 2359/14 + (-2 - 15/(-6))?
True
Suppose 0 = -4*i - 16, -4*c - 2*i + 8 = -0*c. Suppose -29 = -c*s + 35. Is s a multiple of 16?
True
Let a(w) = -w**3 - 5*w**2 + 2. Suppose -j = -3*j. Suppose -4*n + 5*h - 45 = -j*n, 4*n = 4*h - 40. Is a(n) a multiple of 2?
True
Let u = 252 + -121. Is 23 a factor of u?
False
Let k(i) = -i + 5. Suppose 3*o = -5*b + 5, 3*b - 17 = 2*o - o. Let r be (-69)/15 + 2/o. Is k(r) a multiple of 5?
True
Let r = -18 - -25. Suppose -s = 3*s - n + r, 5*n = -4*s + 11. Is (4/8)/(s/(-60)) a multiple of 13?
False
Let v(r) = r**3 - 7*r**2 - 8*r + 10. Suppose 3*u - 9 - 15 = 0. Does 5 divide v(u)?
True
Let g(k) = -k**2 + 17*k - 15. Is 11 a factor of g(12)?
False
Is 18 a factor of (-23)/((-6)/4*(-2)/(-12))?
False
Let a(m) = -m**3 - 5*m**2 + 6*m - 6. Let d be a(-6). Suppose -2*i = -7*i - 120. Let f = d - i. Is f a multiple of 8?
False
Let a be 33/9 + 3/9. Suppose 0 = i - a - 0. Is i a multiple of 2?
True
Is 20 a factor of (120/9)/(3/9)?
True
Let h = -16 - -15. Let y = 58 + h. Does 14 divide y?
False
Suppose 0 = -c + 35 + 11. Let y = c + -17. Is y a multiple of 10?
False
Is 37 a factor of (-19921)/(-77) - (-2)/7?
True
Suppose -s + 5 = 4*s. Let d be 4/(s - 2)*2. Is 17 a factor of (-2)/((d/(-25))/(-4))?
False
Let s(m) = -m**3 - 7*m**2 - 6*m + 2. Let u be s(-6). Suppose -u*z + 9 = z. Let i = z - 0. Is i a multiple of 3?
True
Let q(y) be the second derivative of y**5/20 + 5*y**4/12 + y**3/2 + 5*y**2/2 - 4*y. Is q(-4) a multiple of 9?
True
Let t(o) be the second derivative of 4*o - 3*o**3 - 3/2*o**2 + 0. Is 11 a factor of t(-2)?
True
Suppose -285 + 17 = -4*o + 4*w, o - 63 = 2*w. Is o a multiple of 27?
False
Suppose -4*f = 10 - 46. Is f a multiple of 3?
True
Let a(y) = -10*y + 7. Suppose 0 = 4*p - 1 + 21. Is a(p) a multiple of 21?
False
Let y(h) = -5*h + h + 1 + 3 + h**2. Let w = 3 + 1. Is 3 a factor of y(w)?
False
Let d be 0 - 0/(-3 - -5). Suppose -t - 4*a + d = -9, -45 = -5*t + 4*a. Is 9 a factor of t?
True
Let h(k) = 4*k**3 - k**2 - 3*k - 2. Does 3 divide h(2)?
False
Let h(w) = 4*w**2. Let r(d) = -3*d**3 + d**2 - d. Let y be r(1). Is h(y) a multiple of 9?
True
Is ((-12)/(-5))/((-12)/(-90)) a multiple of 18?
True
Let w = -110 + 175. Is 23 a factor of w?
False
Let a(y) = y**2 - y. Suppose 2*i - 5*q + 11 = 4*i, -2*i - q - 1 = 0. Does 3 divide a(i)?
True
Suppose 8*i - 23*i + 7350 = 0. Is 45 a factor of i?
False
Let v(o) = 2*o**3 - o**2 + 7*o - 8. Let q(f) = -5*f**3 + 2*f**2 - 21*f + 23. Let t(m) = 3*q(m) + 8*v(m). Does 27 divide t(5)?
False
Let g = -22 - -44. Suppose -g + 16 = -u. Does 6 divide u?
True
Suppose u = 3*y - 367, 4*u + 1112 = u - 2*y. Is 5 a factor of u/(-15) - (-2)/6?
True
Let c = 105 + -87. Does 18 divide c?
True
Does 3 divide 30/(3 + (-4)/4)?
True
Suppose -5*k = -8*k + 12. Suppose -v = -0*z - 2*z + 50, k*v = 16. Does 9 divide z?
True
Let j = -102 + 157. Does 4 divide j?
False
Let p(q) = -5*q + 1. Let o be p(1). Let y = -3 - o. Is 12 a factor of (3/y)/3 + 23?
True
Let k = 3 - 1. Suppose -2*y = 