. Does 3 divide i?
True
Let i(c) = c**3 - 3*c**2 - 2*c - 3. Let h be i(4). Suppose -h*f + 4*x + 12 = -365, -2*f - 4*x + 134 = 0. Let r = f + -50. Is 11 a factor of r?
False
Let r = 59 - 38. Is 10 a factor of r?
False
Is (12/(-10))/(1/(-65)) a multiple of 6?
True
Suppose 2*r - 662 = 4*b, -5*r + 1615 = 5*b - 100. Is r a multiple of 21?
False
Let g = 78 + -44. Does 10 divide g?
False
Let s = -2 - -8. Is 3 a factor of s?
True
Let t(f) = -f**2 + 3. Let y be t(0). Is 6/(-4)*(-28)/y a multiple of 14?
True
Does 22 divide (20 - 1) + (-24)/(-8)?
True
Let t be (-1)/(-1 + 72/75). Suppose 0 = -5*l - t - 15. Let g(n) = -4*n - 9. Is 12 a factor of g(l)?
False
Let o = 13 + -19. Let x be o/9 + (-22)/(-6). Is 7 a factor of ((-2)/(-3))/(x/63)?
True
Let t = -24 + 40. Let d = t + -13. Is 2 a factor of d?
False
Suppose 0 = -2*y + 4*x + 720, 3*y + 2*x = 180 + 900. Is 18 a factor of y?
True
Suppose 351 = 6*p + 21. Is 16 a factor of p?
False
Let b = -2 + 39. Does 27 divide b?
False
Does 11 divide 5907/54*2 - 28/(-126)?
False
Suppose 4 = -u, 0 = 4*c - 0*c + 5*u + 20. Let s(f) = f**2 - 2*f + 1. Let i be s(3). Suppose c*n + 3 = 3*p + 3*n, -i*p + 39 = -3*n. Does 6 divide p?
True
Suppose 2*i - 8 - 204 = 0. Is 32 a factor of i?
False
Let c(m) = 3*m**2 - 15*m + 14. Let x(h) = h**2 - h + 1. Suppose -5*z = -4*k - 0*z + 4, 0 = 2*z + 8. Let n(i) = k*x(i) + c(i). Is 14 a factor of n(-9)?
True
Let s = 70 - 40. Is 30 a factor of s?
True
Let m(o) be the first derivative of 2*o**3/3 - o**2/2 - o + 2. Let i be m(-2). Suppose 2*x + i = w, 4*w + x = 2 + 16. Does 2 divide w?
False
Suppose -38 = 11*j - 12*j. Is 7 a factor of j?
False
Let p(z) = z**3 - 14*z**2 + 15*z - 16. Let d be p(13). Let c = -7 + d. Is 3 a factor of c?
True
Let i = -13 - -18. Suppose -g = -4*l + 24, -l - 3 = -3*g + i*g. Is 4 a factor of 15/4 - 1/g?
True
Let a(t) be the second derivative of -t**3/3 - t**2 + 4*t. Let d be 104/(-18) - (-2)/(-9). Is a(d) a multiple of 10?
True
Suppose 5*m - 129 = 3*k, 0 = 5*k + m - 5*m + 202. Let b = -17 - k. Suppose 0 = 2*d - 10, -5*y + 89 = 4*d - b. Is y a multiple of 16?
False
Let n be -1 - 1 - (1 - 3). Let g(w) = 2*w**3 - 5*w**2 + 7*w - 19. Let u(f) = -f**3 + 3*f**2 - 4*f + 9. Let j(h) = -4*g(h) - 7*u(h). Is 4 a factor of j(n)?
False
Let j = 8 - 5. Suppose -j*d + 2*d = -30. Is 10 a factor of d?
True
Suppose -3*u - o + 110 = -199, -5*o + 505 = 5*u. Does 13 divide u?
True
Let j(q) = -q - 10. Let g be j(-11). Does 10 divide (1 - (g + -1)) + 29?
True
Suppose -4*d + d + 9 = 2*o, 3*o = 5*d - 15. Let c(j) = j + 1. Is 2 a factor of c(d)?
True
Let l be -2*1 + 4/2. Suppose l = -4*y + 20, 4*w + 129 = 4*y - 151. Does 6 divide (-1 - 0)/(5/w)?
False
Let j = -5 - -9. Suppose i = w - 22, -3*w - j = 8. Let l = -14 - i. Is 9 a factor of l?
False
Let m(z) = z**3 - 2*z**2 + 7*z - 5. Let t be m(4). Suppose 3*x - 6*x - 2*d = -t, 80 = 5*x + d. Is x a multiple of 9?
False
Let c = 191 + -118. Does 24 divide c?
False
Let r be (-7)/(-2) + (-3)/(-6). Suppose p = 2*w - 5, 4*w - r*p + 1 = 13. Suppose -v + 2*o = -8, -3*v + 48 = -w*o + 4*o. Is 14 a factor of v?
True
Let v(g) = 3*g**2 + 5*g - 7. Let x = -2 - 3. Is v(x) a multiple of 14?
False
Suppose -32 - 28 = -t. Does 6 divide t?
True
Suppose -2*d - 2*m - 2*m + 8 = 0, 2*d - 4*m = 40. Is d a multiple of 11?
False
Let c(r) = -2*r**2 + 8*r - 9. Let w be c(6). Let x = w - -57. Is x a multiple of 12?
True
Let n(y) = -y**2 - 11*y + 18. Is n(-11) a multiple of 4?
False
Suppose -6 = -f - 27. Let c = f + 50. Does 7 divide c?
False
Let j = -49 + 81. Does 17 divide j?
False
Let a = -14 + 12. Does 9 divide (a/(-3))/(16/360)?
False
Let y(j) be the second derivative of -5*j**3/2 - 5*j**2/2 + j. Does 25 divide y(-2)?
True
Suppose -x - 2*x + 9 = 0. Let a be 10*(54/10 - x). Let g = a - 16. Is g a multiple of 4?
True
Let a be (-6)/(-12)*(-1 - -31). Suppose 2*h + g = a, -5*h + 0*g - g = -33. Is 6 a factor of h?
True
Let h(g) = 6*g**3 - 3*g**3 - 4*g**2 - g**3 + 2*g. Suppose -1 + 9 = 4*f. Is h(f) a multiple of 3?
False
Let n(a) be the second derivative of -5*a**3/6 + 3*a**2 + a. Let j be n(-9). Suppose 2*i = -i + j. Is i a multiple of 7?
False
Let o = 43 - 24. Let q = -10 + o. Let y = q - 4. Is 2 a factor of y?
False
Let x(m) = 31*m - 3. Does 8 divide x(1)?
False
Suppose -2*c + 3*l + 2 + 2 = 0, 4*c = -l + 8. Suppose 2*d + 4*u - 90 = 0, 5*d + c*u = -82 + 299. Is d a multiple of 17?
False
Suppose c - q = 2*q - 21, 2*q - 2 = 0. Let i = c + 50. Is i a multiple of 31?
False
Let j be 3 + -2 - (-17 + 0). Is 8 a factor of j + (-4 - 2*-1)?
True
Let t = -118 - -198. Is 20 a factor of t?
True
Suppose 5*u = -z + 34, 11*u - 5*z = 6*u + 40. Let f be (-2)/12 + (-193)/(-6). Suppose k - f = 2*o, u*o - 3*o = -2*k + 56. Does 15 divide k?
True
Let c = 22 - 16. Let z = c + -1. Suppose -3*u - 5*q + 33 = u, -2*u = -z*q + 21. Is 2 a factor of u?
True
Suppose 19 = -n + 6*n - 3*g, -3*n - 5*g + 25 = 0. Let o = n - -3. Is 2 a factor of o?
True
Let g(l) = -l**3 - 6*l**2 + 15*l + 4. Is 6 a factor of g(-8)?
True
Suppose 3*l - 237 = 3*g, 3*l + g = -2*g + 207. Is l a multiple of 37?
True
Let l(z) = -z - 4. Let x be l(-7). Suppose x*a - 3*t - 6 = 0, 4*t = -t. Suppose -10 = -0*s - a*s, -2*j - 3*s + 37 = 0. Is j a multiple of 3?
False
Let i(k) = 2*k**2 + 12*k + 3. Does 2 divide i(-8)?
False
Suppose 0 = -2*w - 2*w + 56. Does 7 divide w?
True
Let p(l) = -2*l**2 - 33*l + 24. Let u(q) = q**2 + 16*q - 12. Let o(g) = 4*p(g) + 9*u(g). Let t be o(-10). Let r = -10 - t. Does 11 divide r?
True
Let n = 1 + 21. Does 11 divide n?
True
Let h be -1*(-93 + 3)/(-2). Let y be (-8)/(-10)*h/6. Does 21 divide (63/y)/(1/(-2))?
True
Let m be -3*(2 + (-100)/6). Suppose 0 = -r + 4*r + 93. Let s = r + m. Does 13 divide s?
True
Let i = 21 - 12. Suppose -4*l = d - i*l + 15, -4*d - 2*l - 16 = 0. Does 4 divide (36/(-10) - -2)*d?
True
Let p = -2 + 5. Suppose -2*g = p*d - 138, -2*d + 3*g = 2*g - 99. Suppose -3*f = -0*f - d. Is f a multiple of 8?
True
Let w = 10 - 6. Does 3 divide w?
False
Let y(z) be the first derivative of 4/3*z**3 - 1 - 3/2*z**2 - 4*z. Is 13 a factor of y(4)?
False
Let w(a) = -a**2 + 15*a + 2. Let o be w(9). Suppose -3*k - 5*l = -94, -o = 5*k + 5*l - 216. Is 10 a factor of k?
False
Let r(l) = -1 + 3*l**2 + 3*l - 4*l**2 - l - 6*l**3. Does 10 divide r(-2)?
False
Let l = 169 + -99. Is l a multiple of 14?
True
Suppose k = j + 45 + 54, 0 = -4*k - 4*j + 404. Suppose 0*p - k = -5*p. Is 11 a factor of p?
False
Is 4 a factor of (-6 - (-4)/(16/12)) + 31?
True
Let i = 27 + -40. Let c(u) = -u**2 - 18*u - 13. Is 27 a factor of c(i)?
False
Let z(b) = -b - 5. Let q be z(-7). Let r be -1*8 - (1 - q). Let c = r - -12. Does 4 divide c?
False
Let f = 9 - 5. Let v(l) = l**2 + 8. Let n be v(-6). Suppose -4 + n = f*z. Is z a multiple of 10?
True
Let k(p) = -p + 22. Is k(6) a multiple of 8?
True
Suppose 0 = 2*k + 9 - 39. Is k a multiple of 3?
True
Let c = 35 + -20. Is c a multiple of 3?
True
Let b(y) = y**3 - 7*y**2 - 9*y + 12. Let m be b(8). Suppose m*x = 2*d - 32, -4*d = -2*x + 3*x - 64. Is d a multiple of 16?
True
Suppose 3*b - q = -44, -5*b - 2*q - 66 - 22 = 0. Let z = 34 + b. Does 18 divide z?
True
Let z(w) = -2 + 4*w + 0 - 2*w. Let l be z(3). Suppose -4*f = -32 - l. Is 9 a factor of f?
True
Let b = 29 + -25. Is b even?
True
Let b = 46 - -66. Is b a multiple of 6?
False
Let z(i) = -17*i - 1. Let s(k) = 18*k + 1. Let f(g) = 4*s(g) + 3*z(g). Does 11 divide f(2)?
False
Let m be 24/((-75)/27 + 3). Suppose 4*q = 2*q + m. Is 18 a factor of q?
True
Let b = 0 - 1. Does 22 divide (-9)/3 - b - -50?
False
Let r = 62 - 37. Is r a multiple of 21?
False
Let v(n) = n**3 - 7*n**2 - 8*n + 5. Let i be v(8). Suppose -4*a + i*y = -205, 2*a + 4*y - 205 = -3*a. Is 9 a factor of a?
True
Let y = -4 - -8. Suppose -x - y*q - 7 = 1, 2*x = 5*q + 49. Does 12 divide x?
True
Let z(l) = l**2 - 4*l + 1. Let h be z(-3). Let m = h + -13. Is 3 a factor of m?
True
Suppose 7*v - 1416 = -5*v. Does 20 divide v?
False
Suppose -d + 8 - 3 = 0. Suppose -3*a - d*z = -203, 0 = -3*z + 1 - 7. Does 13 divide a?
False
Suppose -2*u - 3*i - 2 = -0*i, -5*i + 26 = -4*u. Suppose -33 = 4*a - 7*a. Let r = u + a. Is 4 a factor of r?
False
Does 3 divide 9/6 - (-11)/2?
False
Suppose -x + 16 = h, x + 4*x - 5*h = 90. Does 6 divide x?
False
Let d(l) = -l**2 - 7*l - 2. Let i be d(-7). Let w = i + 4. Suppose -