6). Let l = s + -1. Does 9 divide (-1)/l + (-654)/(-24)?
True
Suppose 0 = -4*s + 3*s + 178. Suppose -12 = 3*m - 2*k - s, 2*m - 115 = -3*k. Does 28 divide m?
True
Suppose 5*i = 4*i + 57. Is 19 a factor of i?
True
Is 24 a factor of (-74)/(-1) + 40/(-20)?
True
Let d = 14 + 6. Does 10 divide d?
True
Let m = 211 + -121. Does 30 divide m?
True
Suppose f + 2*f = b + 63, -2*f - 2*b + 34 = 0. Does 5 divide f?
True
Let g(h) = -h**3 - 7*h**2 - h - 4. Let d be g(-7). Suppose -d*r - 2 = -5. Let x(l) = 28*l**3 - l + 1. Is 10 a factor of x(r)?
False
Let g(h) = -25*h**3 - 9*h**2 + 2*h - 2. Let l(c) = 12*c**3 + 4*c**2 - c + 1. Let p(b) = 4*g(b) + 9*l(b). Let k be p(1). Is 6 a factor of (k/6)/(4/18)?
True
Suppose 0 = -4*p - 3*d + 168, 3*d - 90 = -3*p + 39. Suppose -4*i + 23 = -w - 3, 5*i = -2*w + p. Is i a multiple of 5?
False
Let d be (-6)/(-9)*120/2. Let s = d + -8. Does 11 divide s?
False
Let y be (6 + -5)/((-2)/(-10)). Suppose -2*q - 3*j - 183 = -6*q, 5*j = y*q - 235. Is 13 a factor of q?
False
Suppose 5*w - 250 = -3*b + 100, -3*b = w - 334. Is 20 a factor of b?
False
Let x(g) = -g**3 - 10*g**2 - 6*g - 4. Is 10 a factor of x(-10)?
False
Suppose 0 = 2*l - 2*b - 134, b - 90 - 59 = -2*l. Is l a multiple of 6?
True
Suppose 3*f - 46 = -5*n, f + 2*n = -0*f + 15. Suppose 7 = 4*b - f. Is b a multiple of 3?
True
Let g be -2 + 12/(0 + 2). Let b be (-1)/(2*(-2)/12). Suppose 80 = 6*i - i + b*s, -g*i + 64 = 4*s. Is i a multiple of 8?
True
Let p be 17*(-2 + 0 + 0). Let k = -10 - p. Is 18 a factor of k?
False
Let g = 6 + -5. Suppose h + 3*f = -6 - g, 0 = 4*h + 2*f - 22. Suppose s = h - 1. Does 4 divide s?
False
Suppose 19 = -s + 2*s. Does 19 divide s?
True
Does 2 divide 3/(-4*6/(-16))?
True
Suppose 0 = k - 33 + 3. Suppose -2*c + k + 80 = 0. Does 16 divide c?
False
Let l(w) = -w**2 + 10*w - 4. Let r be l(8). Suppose -5*x + r = -x. Is x even?
False
Suppose 5*i + 77 = 4*v - 6*v, 0 = 4*i + 4. Is (v/(-8) + -4)*6 a multiple of 3?
True
Let c(f) = -f**3 + 7*f**2 + 8*f + 7. Is 16 a factor of c(7)?
False
Suppose -o - 16 = 20. Let y = -10 - o. Is 13 a factor of y?
True
Suppose -435 = -2*l - l. Does 3 divide l/25 + 2/10?
True
Let m(r) = 89*r**3 + 2*r - 1. Is m(1) a multiple of 19?
False
Let h = -62 - -126. Let l = h + -37. Does 19 divide l?
False
Let o(y) = -2*y. Let p be o(-1). Is 4 a factor of (5/2 - p)*16?
True
Suppose 0 = 5*q - 228 - 72. Does 5 divide ((-8)/(-6))/(4/q)?
True
Let u(c) = -3*c**2 - 4*c + 1. Let r(g) = -16*g**2 - 19*g + 4. Let n(f) = 2*r(f) - 11*u(f). Let d be n(-6). Is 15 - d/6*2 a multiple of 16?
True
Let k(h) = -16*h**3 + 2*h**2 - 1. Suppose -4*i - 14 + 5 = m, -5*m = -2*i + 1. Is k(m) a multiple of 11?
False
Let b(d) = 6*d - 9. Is b(14) a multiple of 15?
True
Let i = 42 + 13. Is 15 a factor of i?
False
Suppose x = 2*x - 58. Is x a multiple of 12?
False
Suppose 3*x = x + 26. Is x a multiple of 3?
False
Let r be -8 - (3 - 3)/(-3). Is 5 a factor of ((-12)/r)/(1/10)?
True
Let k be 9*((3 - 3) + -1). Let v = -6 - k. Suppose -v*h + 3*w = -30, 2*h = -5*w + 41 - 7. Does 12 divide h?
True
Let d be ((-10)/4 + 2)*6. Let k(q) = -99 - 8*q - 3*q + 100. Is k(d) a multiple of 13?
False
Let b = 329 + -218. Let c = 182 - b. Suppose -2*y + 7 = -c. Is y a multiple of 19?
False
Is 3 a factor of -5*(-9)/2 - 3/(-2)?
True
Does 27 divide -3 - (4 + -2 + -32)?
True
Suppose 29 = 3*q + n - 3*n, -5*n + 12 = -q. Is q a multiple of 5?
False
Is 3 a factor of 33 - ((-8)/16)/((-1)/(-2))?
False
Let b = -5 + 6. Let i(m) = -2*m**3 - m**2 + m. Let u be i(b). Let n(v) = 5*v**2 + 4*v + 2. Is n(u) a multiple of 10?
False
Suppose 3*b + 14 = 2*h - h, 5*h - 70 = b. Suppose 3*v + 2 = h. Is v a multiple of 3?
False
Is 21 a factor of (1 - 4)*-2*35/2?
True
Let f(d) = d**3 - 12*d**2 + 13*d - 15. Let m be f(11). Suppose s + 5*x = 10, -s - x = -7 - m. Is 6 a factor of s?
False
Suppose -d - 5*d + 600 = 0. Is d a multiple of 11?
False
Suppose -5*a + 1 = -4. Suppose 2*r - 3*r + 56 = 5*i, -i + a = 0. Does 11 divide r?
False
Let n(i) = -25*i**3 - 2*i - 1. Is n(-1) a multiple of 9?
False
Let c(h) = -h**3 + 3*h**2 + 4. Let f be c(3). Let g(y) = 2*y**2 - y - 4. Let n be g(f). Suppose i - n = -b, -2*i + 7*i = -10. Is 13 a factor of b?
True
Let l(g) = -3*g + 6. Let q(w) = -3*w + 6. Let h(j) = -3*l(j) + 2*q(j). Is h(5) a multiple of 7?
False
Suppose -4*p + 3*r + 405 = 0, -r = p + p - 195. Is p a multiple of 33?
True
Let n = 4 + -1. Suppose -25 = -d + n*j, -4*j + 0 = d - 53. Let z = -19 + d. Does 8 divide z?
False
Suppose j = -5*c - 2 + 303, -302 = -5*c - 2*j. Does 11 divide c?
False
Let f = 0 + 3. Let r = -2 - f. Is 188/5 + (-2)/r a multiple of 19?
True
Suppose -2*k = -3 - 3. Is k even?
False
Let s be (0 - 6)/((-15)/20). Let m be s/6*(-75)/(-10). Does 9 divide (-44)/(-5) - (-2)/m?
True
Suppose -60 = -3*k - 3*t, 4*t - 50 = -k - 15. Suppose w - k = 19. Is w a multiple of 17?
True
Let n = 43 + -22. Does 7 divide n?
True
Let r = -22 + 41. Is 9 a factor of r*(1 + 1)/2?
False
Suppose 7*a - 10 = 2*a. Suppose -a*f + 9 = -f. Is 7 a factor of f?
False
Suppose 99 + 153 = 4*g. Is 23 a factor of g?
False
Suppose i = -2*z + 89, i + 5*z = 2*i - 103. Is i a multiple of 26?
False
Suppose 0 = 5*z - 0*v - v - 306, 3 = -3*v. Does 12 divide z?
False
Suppose -2*f + 21 = f. Let a = -9 + f. Does 2 divide (-2 - -4)*(-2)/a?
True
Let x be 3/(4/(16/6)). Suppose x*o - 9 = -o. Is 2 a factor of o?
False
Suppose 8 = 4*x - 0. Suppose -x*g + 0*g = -24. Does 10 divide (162/g)/(2/4)?
False
Suppose -4*g + g = -18. Suppose -48 = -2*f + g*f. Is 2 a factor of (f/4)/(3/(-2))?
True
Let b = 24 + 53. Let c = b + -43. Is 17 a factor of c?
True
Suppose -2*o = -3 - 3. Let p(n) = 3 + 5*n + n**2 + 0 - o*n. Is p(-5) a multiple of 9?
True
Suppose t - 4*s = -0*t + 68, 0 = 4*t - 3*s - 285. Is 16 a factor of t?
False
Let q(n) = 7*n + 9. Is 17 a factor of q(6)?
True
Suppose 5*p + 2*a = -51, -2*p - a + 4*a = 9. Is 10 a factor of (-480)/(-9) - (-3)/p?
False
Suppose -51 = -4*t + 3*z, 0 = -t - 0*t - 3*z + 24. Is 3 a factor of -1 + 2 + t/3?
True
Let d = -2 + 6. Suppose -2*r = 2*r - o - 23, 8 = 4*r + d*o. Is 4 a factor of r?
False
Let z(c) = c**3 - 4*c**2 + 7*c + 6. Does 8 divide z(6)?
True
Let j(z) = z**3 - 5*z**2 + 2*z - 5. Suppose d = -3*l + 4 - 2, -20 = -5*d - 5*l. Let c be j(d). Let v = c - -19. Is 9 a factor of v?
False
Let q be ((-33)/(-6))/((-1)/2). Let l be q/(-3) + (-8)/(-24). Suppose 2*b + l*z - 32 = 0, z - 5 + 118 = 5*b. Is 22 a factor of b?
True
Suppose -w = -2*o + w - 4, 2*w = 10. Suppose -2*a - 24 = -o*a. Does 11 divide a?
False
Let z(f) = -f + 4. Let m be z(4). Let u = m + 3. Suppose 110 = 5*j + 5*p, -2*p + 7*p = -u*j + 74. Is 18 a factor of j?
True
Suppose 4*g + 239 + 729 = 0. Does 18 divide g/(-6) + 10/15?
False
Let n(g) = 3*g**2 - 4*g. Is n(6) a multiple of 6?
True
Let y = -10 - -36. Is 22 a factor of y?
False
Suppose s - 26 + 5 = 0. Does 21 divide s?
True
Let k = -55 - -88. Let b = k + -10. Suppose 0*s - 2*o = -s + b, o + 20 = s. Is s a multiple of 17?
True
Suppose 0*q = q - 2. Suppose 10 = 4*g - q*u, -5*g - 6*u = -3*u - 7. Does 2 divide g?
True
Let q = -68 - -45. Let v = 9 + q. Let u = 14 - v. Is 16 a factor of u?
False
Suppose n - 7 = -4. Suppose -157 = -3*a + 2*u - 3*u, -n*u + 211 = 4*a. Is 22 a factor of a?
False
Suppose 5*u + 3*c - 426 = 0, -u + 422 = 4*u + c. Is u a multiple of 7?
True
Suppose 30 = s - 15. Is 5 a factor of s?
True
Let c = -11 + -1. Let a(q) = -q**2 - 13*q + 5. Is a(c) a multiple of 14?
False
Let l = 98 + -70. Is 17 a factor of l?
False
Let f(v) = v - 1. Let j(g) = 30*g - 60. Let n(b) = 60*f(b) - j(b). Let c be n(-4). Is 6 a factor of (1/(-2))/(5/c)?
True
Suppose -3*p + 2*i = 10 - 2, 0 = -4*p + i - 4. Let z = p + 7. Is z a multiple of 7?
True
Suppose -v = 2*v - 3. Let c be v*1*-7*-1. Suppose -3*n + 22 = a, c = a + 4*n - 12. Is 11 a factor of a?
False
Suppose 5*s = 15, -6*y + y + 4*s = 12. Suppose 4*q - 2*i - 14 = 0, y*q - 5*q = i. Is -3*(q + 39/(-9)) a multiple of 10?
True
Let p be -137 + 2/((-2)/(-3)). Let z = -74 - p. Does 30 divide z?
True
Let r = 15 - 7. Suppose -3*z - r - 16 = 0. Let a = z - -21. Does 7 divide a?
False
Suppose -2*f = -2, b + 0*f - 2*f + 6 = 0. Let o be 0 + -1 + (9 - 2). Is 4 a factor of (6/b)/(o/(-32))?
True
Let h(o) = -o**3 - 12*o**2 - 15*o + 7. Does 17 divide h(-12)?
True
Let f(s) = 3*s + 24. Is 6 a factor of f(0)?
T