 k be (0 - (0 - -1))*6. Does 7 divide u(k)?
False
Let o = 27 - 61. Let y = 15 - o. Suppose 3*l - y = -2*u, 2*u + 4*l - 8 - 40 = 0. Is u a multiple of 10?
False
Let b(z) = z**3 - z - 2. Suppose 0*y = 2*y. Let h be b(y). Is 28 a factor of (3*h)/((-6)/28)?
True
Let i be (-3 + 2)*-167 + -1. Suppose -3*r - 2*r = -3*t + 86, -3*r = 5*t - i. Is 10 a factor of t?
False
Let i = 41 - 0. Is 8 a factor of i?
False
Let z(w) = w**3 + 15*w**2 - 26*w - 17. Is 14 a factor of z(-16)?
False
Suppose 6 = -2*y + 16. Let s = y + 1. Is 3 a factor of (-27)/12*(-16)/s?
True
Suppose 2*m + 0 = 4. Suppose -2*n - m*n = -24. Let a = 8 - n. Is 2 a factor of a?
True
Let f = 270 + -169. Is 13 a factor of f?
False
Suppose 4*o - 23 - 3 = -p, -4*p - 3*o = -39. Let d be 100/(-15) - 2/p. Let f = 1 - d. Does 8 divide f?
True
Let u(r) = -r**2 + 6*r + 4. Let w be u(5). Suppose 3*z - w = -4*p, -11 = -3*p + 2*p + z. Does 2 divide p?
True
Suppose 0 = 2*k + 2*k - 264. Is k a multiple of 20?
False
Does 5 divide (0 - 1)/((-4)/68)?
False
Let n = -48 + 51. Let c = 2 + -3. Let l = n + c. Is l even?
True
Suppose -5*b + 45 = -5*m, -3*b - 9 = -6*b. Let o be 255/11 + 8/(-44). Let f = o + m. Is f a multiple of 9?
False
Suppose 4 = -z - 0*z. Let t = 7 + z. Suppose 0 = -4*u + t*u + 10. Is u a multiple of 5?
True
Is (-16)/(-3)*-13*6/(-4) a multiple of 26?
True
Is ((-4)/5)/(4/(-590)) a multiple of 31?
False
Let y(m) = -m**3 - 3*m**2 - 2*m + 3. Does 6 divide y(-3)?
False
Suppose 2*k = 56 + 146. Is 14 a factor of k?
False
Let r = 23 - -3. Is 11 a factor of r?
False
Let c(q) = -3 - q**2 - 6*q + 5 - 2 - 3. Let s be c(-5). Let n(r) = 2*r**3 - 4*r**2 + 2*r + 1. Does 3 divide n(s)?
False
Let p(r) be the second derivative of r**3/6 - r**2 + 2*r. Does 2 divide p(5)?
False
Suppose 16 = 4*q - a + 5*a, 3*a - 12 = 0. Suppose -u - 3*r = -2*u + 23, u + 4*r + 12 = q. Does 4 divide u?
True
Let d be 18 + (-6)/(-2) + -3. Suppose k + 11 = -2*n, -3*k - 3*n - 11 = -7*k. Let m = k + d. Does 12 divide m?
False
Suppose -20 + 320 = 4*b. Let u = b - 46. Suppose 5*g - 22 = -2*q, -q + u + 4 = -3*g. Does 14 divide q?
False
Let l(x) = -5*x**2 + 3*x + 2. Let q(a) = -a**2 - a. Let v(p) = l(p) - 4*q(p). Let u = -5 + 9. Does 10 divide v(u)?
False
Let m(u) = -4*u + 5. Let q be m(-10). Suppose a - q - 2 = 0. Does 26 divide a?
False
Suppose 0 = -3*k - k. Suppose k*l = l - 9. Suppose l + 11 = n. Is n a multiple of 10?
True
Suppose -b + 2*v + 5 = -5, v = -3*b + 16. Let p(k) = 2*k**2 - 7*k + 3. Does 33 divide p(b)?
True
Let z(v) = v**2 - 6*v + 9. Let p be z(6). Let a(t) = t - 6. Let b be a(p). Suppose -c + b = -5. Does 8 divide c?
True
Let g = -11 + 9. Is 10 a factor of (2 + 15/g)*-6?
False
Let l be 3/(2/20*6). Suppose 30 = -4*b + l*b. Is 15 a factor of b?
True
Let h = 49 + -33. Suppose q = 4*o + 5*q, -4*o + 4*q = -h. Suppose -l = o*l - 126. Does 21 divide l?
True
Let m = -4 - -7. Suppose m*h = -2*k + 73, -h = 2*k - 0*h - 75. Is 19 a factor of k?
True
Is 24 a factor of 2/(-4)*-114 + 1?
False
Let q be 5*-2*2/(-4). Let k be (q + -1)/((-1)/2). Is (-2)/(-4) + (-84)/k a multiple of 11?
True
Let p be ((-2)/(-3))/((-3)/(-36)). Let u = p - 4. Is 11 a factor of 45/u + 3/(-12)?
True
Let l = 8 + -6. Suppose 4*j - 4*d = -0*j + 68, -5*d = l*j - 62. Does 8 divide j?
False
Let y be 12/4*(-2)/(-2). Let r be (-7 - -1)/y + 129. Suppose 31 = -2*x + r. Does 24 divide x?
True
Suppose -3*j = -27 - 0. Is j a multiple of 7?
False
Suppose 4*g - 10 = 10. Let u be (-18)/4*(-10)/g. Let l = u - -3. Does 6 divide l?
True
Let r be 1/(-2) - 18/(-4). Suppose -168 = -4*m - 4*d, -3*m + r*d + 37 = -103. Is 12 a factor of m?
False
Suppose 2*f + 3*f + 40 = 0. Let y be ((-27)/(-6))/(3/f). Is 6 a factor of y/1*1/(-2)?
True
Suppose -h + 11 = -5*s - 4*h, 3*s + 2*h = -6. Suppose -5*a + 2*a = 4*z, -4*z + 8 = a. Does 13 divide (-2)/a + (-50)/s?
True
Let a = 2 - -2. Let z = 14 - a. Is 10 a factor of z?
True
Suppose 6*h = 10*h - 108. Is 6 a factor of h?
False
Let d = 165 + -88. Is d a multiple of 20?
False
Let n(q) = 4*q**2 - 2*q + 13. Is n(6) a multiple of 29?
True
Suppose -133 = -5*u - 4*i, -4*i - 38 + 96 = 2*u. Let t(d) = d**2 - 5*d - 1. Let j be t(5). Let k = j + u. Does 12 divide k?
True
Let g = 8 - -48. Does 27 divide g?
False
Suppose 5*m + 288 = -212. Let j = m - -150. Suppose -6*x + j = -x. Is x a multiple of 5?
True
Suppose 62 = 2*f - 4*t, 4*t = -f - 0*t + 31. Does 2 divide f?
False
Suppose 4*c = 4*z + 4, -z - 31 = 5*c + 3*z. Is 2*c/6*-39 a multiple of 13?
True
Let l(p) = -p**3 + 5*p**2 + 5*p - 3. Suppose -4*f = -2*k + 4, 6 = 2*f + 2*f + 3*k. Suppose f*q = 3*q - 15. Is 22 a factor of l(q)?
True
Let m(q) = q**3 - 3*q**2 + 2*q - 4. Let c be m(4). Suppose -2*k - c = -6*k. Suppose k*w - 20 = 35. Is 4 a factor of w?
False
Let m(p) = -9*p - 12. Let i(k) = -4*k - 6. Let t(h) = 5*i(h) - 2*m(h). Suppose 7*w = 4*w - 18. Is t(w) a multiple of 3?
True
Suppose 0 = m - 0*m - 61. Is m a multiple of 8?
False
Let n(u) = u**3 + u + 1. Let c(d) = -4*d**3 + 3*d**2 - 4*d + 1. Let l(q) = -c(q) - n(q). Is 8 a factor of l(2)?
True
Suppose y = 4*g + 3*y - 294, 0 = g - y - 69. Suppose -g = x - 3*x. Is x a multiple of 21?
False
Suppose -n + 3*u = -2*u - 88, 3*u + 155 = 2*n. Does 16 divide n?
False
Let t = -226 + 382. Is t a multiple of 12?
True
Let k be (2/2)/(2/38). Let c = 31 - k. Does 4 divide c?
True
Let y = 343 - 203. Does 10 divide y?
True
Suppose -3*y = 2*y - 10. Suppose -w - 2*w = -q + 26, -q + y*w + 26 = 0. Is 26 a factor of q?
True
Let k = -1 - -3. Suppose 2*w - 65 = -5*u - k*w, -2*u - 2*w + 28 = 0. Is 9 a factor of u?
True
Suppose 3*l = -2*y + 147, -3*l = y + 5 - 80. Is 13 a factor of y?
False
Let n be 1/1 + 6/2. Suppose -6*p + p = 3*v + 29, 3*v = -n*p - 25. Is 1 - -1 - 3/v a multiple of 2?
False
Suppose 5*v - 6*v + 66 = 0. Does 22 divide v?
True
Suppose 0*a - 5 = -a. Suppose -2*i + 23 = -2*k - 15, 3*i = a*k + 55. Is i a multiple of 8?
False
Is 36 a factor of ((-102)/(-85))/(-1 - 31/(-30))?
True
Let k(o) = 10*o - 2. Let n be k(-10). Let c = 202 + n. Suppose -3*m = -8 - c. Is 21 a factor of m?
False
Suppose 0 = -17*s + 3713 + 3750. Is s a multiple of 30?
False
Suppose -624 = -4*o + 3*j, 4*j + 164 + 304 = 3*o. Is 32 a factor of o?
False
Suppose -3 = r - 8. Suppose 2*s - 58 = -0*s. Suppose 5*q = 3*t - s, t - 3*t = -r*q - 16. Does 12 divide t?
False
Let u(l) = l**2 - 6*l - 3. Let q be u(7). Suppose -q*r - 2*s = -30, -4*r + 3*s + 14 = -11. Does 5 divide r?
False
Let x(r) = -r**3 + 4*r**2 - 2*r. Suppose 5*q = 8 + 7. Is 2 a factor of x(q)?
False
Let g(r) = 8 + 2 + r**2 - 1 + 1. Does 10 divide g(0)?
True
Suppose 6*n - 4*n - 6 = 0. Suppose -3*v + 3*w + 18 = 0, -n*w = 2*w + 20. Suppose v*t = 2*k - 8, -4*k - 2*t + 23 = t. Is 3 a factor of k?
False
Let h = 53 + -35. Let r = h - 11. Does 7 divide r?
True
Let f(o) = o**3 + o + 1. Let x(p) = 4*p**3 - 5*p**2 - p + 6. Let b(g) = -3*f(g) + x(g). Let i be b(6). Let s = -6 + i. Is 3 a factor of s?
True
Is 4 + -2 + (-166)/(-2) a multiple of 12?
False
Suppose -5*g + 3*g + 130 = 0. Is g a multiple of 8?
False
Let y(f) = 3*f**2 - 4*f + 2. Does 3 divide y(2)?
True
Let m = 58 - 54. Is 4 a factor of m?
True
Suppose 0 = k - 24 - 119. Is 33 a factor of k?
False
Suppose -4*w - 4 = 12, 5*r - 12 = 3*w. Let d be (r - -5)*(-6)/5. Let k = d - -17. Is k a multiple of 5?
False
Let c be (4 - 2)*1 - -1. Suppose 2*h - 6 = 4, c*f = -h + 11. Let m(n) = 6*n - 2. Is 10 a factor of m(f)?
True
Suppose -3*m = -4*o - 57, -2*m + 3*m - 6 = -3*o. Is 5 a factor of m?
True
Let n = 0 + 4. Let o(i) = i**2 - 3*i + 4. Does 4 divide o(n)?
True
Suppose -3*x + 144 = 3*v, -4*x = -3*v - 5*x + 144. Suppose -10 = -g + 3*f, -2*g + 3*f + v = g. Is 9 a factor of g?
False
Suppose 2*b + 14 = 2*n - 10, 2*b + n + 18 = 0. Is 14 a factor of (-45)/6*56/b?
True
Suppose -3*i - 5*f + 235 = 0, 108 = -3*i - f + 335. Does 7 divide i?
False
Suppose -3*l + 35 + 43 = 3*z, -8 = -2*l. Does 7 divide 1 + z + 6/(-3)?
True
Let l = 18 - 28. Let x = l + 16. Is 6 a factor of x?
True
Let q(h) = -2*h**2 + 4*h - 9. Let n(s) = -5*s**2 + 8*s - 19. Let t(p) = 3*n(p) - 7*q(p). Let w be t(-6). Let d = w + 12. Is d a multiple of 5?
False
Suppose 0 = 3*i + i - 180. Is 11 a factor of i + 3 + -2 + -2?
True
Let u(b) = -b + 9. Let n be u(7). Suppose -n*t = 0, 0 = -5*l + 4*t - 2*t + 15. Suppose -4 = r, -8*k = -3*k - l*r - 22. Is k even?
True
Supp