. Does 9 divide i?
True
Let y(x) = 5*x - 9. Let h(g) = -g**3 - g**2 + 2*g - 1. Let p be h(-2). Let t be 8 - p*(3 - 2). Is 10 a factor of y(t)?
False
Suppose 7 - 9 = -r. Suppose 2 + 2 = r*x. Suppose -c - i = 3*i - 37, -x*c + 29 = -i. Is c a multiple of 17?
True
Let n(o) = o**3 + 8*o**2 + 8*o - 4. Is 3 a factor of n(-6)?
False
Let c(g) = 46*g + 10. Does 17 divide c(2)?
True
Is 22 a factor of (3/(-2))/(7/(-126))?
False
Let j(p) = -p**2 - 9*p + 13. Is j(-10) even?
False
Let t(p) = p + p - 4*p. Let i be t(-2). Suppose 10 = 3*j - i*u, -6*u + 2*u + 50 = 3*j. Does 4 divide j?
False
Let m = 63 + -34. Does 5 divide m?
False
Let u be (-1)/(-3) - 4/12. Suppose -3*y = -45 - 9. Suppose y = -u*w + w. Does 6 divide w?
True
Let v(u) = 22*u**3 - 3*u**2 + 3*u - 5. Is v(2) a multiple of 22?
False
Suppose 0 = -4*a + 2*a + 156. Is 26 a factor of a?
True
Suppose -3*b = 2*b - 10. Let m(o) = 11*o - 2. Is m(b) a multiple of 20?
True
Suppose 3*r + 134 + 60 = 2*a, -r = -4*a + 68. Let b = r + 98. Is b a multiple of 17?
True
Let f be (8/(-6))/(6/(-9)). Suppose 5*b + 21 = 2*c - c, -7 = -c - f*b. Does 2 divide 2/c + (-80)/(-44)?
True
Is 10 a factor of 16*(2 + -1 + 0)?
False
Let d(u) = 3*u + 7. Is 15 a factor of d(10)?
False
Let y(m) = -3*m - 38*m**3 - m + 5*m. Is 13 a factor of y(-1)?
False
Let m(n) = -21*n - 7. Let o be m(5). Let d = -64 - o. Is 13 a factor of d?
False
Suppose 7 = -3*l - 2*v, -5*l - 5*v - 3 = 17. Let t be 0 - (0 + l*-7). Suppose -3*f = -t*f + 96. Does 12 divide f?
True
Let r(n) = 4*n - 1. Let y be r(10). Suppose 2*s - y = -13. Does 5 divide s?
False
Let q = -7 + 17. Let m be ((-4)/q)/(3/(-120)). Suppose 0 = 4*j - m - 16. Is 3 a factor of j?
False
Let l(t) be the second derivative of t**3/3 - 3*t. Is 14 a factor of l(11)?
False
Let i(l) = l**2 - 13*l + 42. Does 11 divide i(18)?
True
Let r be -4*(46/4 - 1). Suppose -3*j = 42 + 180. Let o = r - j. Is 16 a factor of o?
True
Let t(k) = -k**3 - 2*k**2 - 3*k + 2. Suppose 4*b - b = -9. Does 20 divide t(b)?
True
Suppose 0 = 2*c, -b = 3*c - 2*c + 2. Is 12 a factor of (-162)/(-12)*b/(-1)?
False
Suppose i - 20 = -0*i. Suppose -5*x = -2*r + 3*r - i, -2*x = 2*r - 8. Suppose d - z = -d + 16, 0 = -x*z + 16. Is d a multiple of 3?
False
Let c = -18 + 18. Suppose 91 = o - c*o. Is o a multiple of 35?
False
Suppose 3*h + 4 - 16 = 0. Suppose 20 = -h*l + 172. Is 23 a factor of l?
False
Let b(w) = -w**3 - 5*w**2 + 3. Let k be b(-5). Suppose 0*d + 15 = k*d. Is d even?
False
Let i(r) = -r**2 - 20*r - 13. Let v = -1 - 17. Is 6 a factor of i(v)?
False
Let n(t) = 7 + 1 + 0*t**2 + 6 + t**2 - 6*t. Is 14 a factor of n(6)?
True
Let d(i) = 7*i - 1. Let f be d(1). Suppose -f*m = -4*m + 472. Is 12 a factor of (-8)/(-20) - m/10?
True
Let s = 23 - -119. Does 15 divide s?
False
Let f be (-1 + 1 + -2)*1. Does 13 divide (72/f)/(3/(-4))?
False
Let q = 2 - 0. Let g be (5/10)/(q/12). Suppose g*c + 5*i - 85 - 47 = 0, 4*c + 2*i - 162 = 0. Is c a multiple of 14?
False
Suppose 27 = -2*q - 2*q - 3*m, -4*m + 2 = -q. Let w = q + 12. Is 6 a factor of 2/(-1*(-2)/w)?
True
Suppose -5*u + 9 + 16 = 0. Suppose -80 = -u*a + 4*n, a - n - 4*n = -5. Suppose a = 5*b - b. Is 2 a factor of b?
False
Let t = 85 + -80. Let n = 41 - 28. Let v = n + t. Is v a multiple of 12?
False
Suppose -7 = -j - 1. Suppose -w + 0*w = -5*u - 51, -4*w - 5*u = -129. Suppose j*x - 2*x = w. Is x a multiple of 9?
True
Let m(z) = -27*z + 8*z**2 + 29*z - 4*z**2. Is 12 a factor of m(-2)?
True
Let r(h) = 11*h + 2. Is r(1) a multiple of 8?
False
Let d(p) = 6*p - 5. Suppose -5*y + y + 40 = 0. Suppose -4*l + r + 10 = -y, 5*r + 8 = -3*l. Is d(l) a multiple of 11?
False
Let h = 12 + -46. Let l = 68 + h. Does 11 divide l?
False
Let a(h) = -h**3 + 5*h**2 + 8*h - 9. Suppose -5*d - 4*o + 30 = 0, 7*d = 4*d - o + 18. Let p be a(d). Let z = p - -12. Does 12 divide z?
False
Let z = 79 - 19. Does 10 divide z?
True
Suppose 4*s - 10 = -s. Suppose 4 = -s*j, 25 - 3 = 2*i - 5*j. Is 4 a factor of i?
False
Suppose -3*f + 4*f = -17. Let b = 31 - f. Is b a multiple of 16?
True
Suppose -3*g - 39 + 507 = 0. Suppose -5*d - g = -8*d. Is d a multiple of 15?
False
Suppose 0 = -5*y - 2*l + 4 + 19, l + 11 = 5*y. Is y a multiple of 2?
False
Is 40 a factor of (-1)/(1/(-82)*1)?
False
Suppose 5*r - 252 = 4*m - 7*m, -r + 56 = -5*m. Is r a multiple of 17?
True
Suppose 110 = 3*g - 4*n, 5*g + 0*n = n + 189. Is g a multiple of 38?
True
Let s be (6/4)/((-2)/(-4)). Suppose -1 = -s*n + 11. Suppose -87 = -n*k + 33. Does 17 divide k?
False
Let q(u) be the third derivative of 0*u - 1/120*u**6 + u**2 - 1/20*u**5 + 1/6*u**3 - 1/8*u**4 + 0. Is 14 a factor of q(-4)?
False
Suppose -5*j = -4*a + 12 - 0, 3*j = 3*a - 9. Suppose -4*g + g = j. Suppose -2*z = -4*y - 38, 4*y + 11 = z - g. Is z a multiple of 13?
False
Suppose 2*r - 3*r + 4*d = -82, -82 = -r - 2*d. Is 15 a factor of r?
False
Let m(y) = -6*y - 12. Let c be m(10). Let a be c/(-10)*(7 + -2). Suppose 2*h = -h + a. Is h a multiple of 4?
True
Suppose -2*t + 0*t = 0. Suppose 0*p + 3*d = -2*p + 150, t = 4*p - 3*d - 282. Is 24 a factor of p?
True
Let z be (-32)/(-20) + (-4)/(-10). Suppose 0*t - z*t - 2*d = -14, -d + 22 = 4*t. Suppose 2*n - 22 = -4*b, -n - 2*b - 14 = -t*n. Does 2 divide n?
False
Let d(v) = v**2 + v - 8. Let i be d(-5). Let h(u) = 3*u - 14. Is 21 a factor of h(i)?
False
Suppose -16 = 2*q - 4*p, q = -2*q - 2*p - 8. Let a(j) = 3*j**3 - 42*j + 2 + 43*j - 2*j**3 + 5*j**2. Is 7 a factor of a(q)?
True
Let o(c) be the third derivative of c**4/3 - c**3/2 - 3*c**2. Let d = -4 - -7. Is 10 a factor of o(d)?
False
Let o be -6*1/6*-2. Suppose -3*p + 23 = 4*k - 34, -o*p - 2 = 0. Is 15 a factor of k?
True
Suppose i - 3*i = -6. Suppose -i*s - 20 = -7*s. Is s even?
False
Let x(p) = 14*p**2 + 2*p + 0 + 1 + 0. Let i(s) = 14*s**2 + 2*s + 1. Let c(f) = -6*i(f) + 7*x(f). Is 12 a factor of c(-1)?
False
Suppose 4*b - 137 + 29 = -4*v, -3*v + 5*b = -65. Is v a multiple of 6?
False
Let b(t) = -t**3 - 8*t**2 + 6*t - 13. Let f be b(-9). Is 4/14 + 318/f a multiple of 11?
False
Let u(r) = 2*r - 10. Let l be (-70)/(-8) + 2/8. Does 5 divide u(l)?
False
Let w(v) = v**3 + 10*v**2 - 2*v + 9. Is w(-6) a multiple of 33?
True
Suppose x - 1 = 6. Let u = x - 3. Let y = 9 + u. Does 5 divide y?
False
Is 22 + 0*4/(-8) a multiple of 11?
True
Suppose 0 = -6*r - 175 + 1711. Does 32 divide r?
True
Suppose 35*m = 39*m - 172. Is 5 a factor of m?
False
Let w = 7 - 5. Is (-192)/8*w/(-6) a multiple of 3?
False
Suppose 2*k + 134 = 4*k. Is 8 a factor of (-4)/(-6) - k/(-3)?
False
Is 4 a factor of 16/6*204/16?
False
Let s(i) = 6*i - 1. Let n be s(1). Suppose -4*r - 3*d + 560 = -d, -2*r + 3*d = -264. Suppose 0 = -n*p - 5*b + 13 + 157, 2*b - r = -4*p. Is 14 a factor of p?
False
Let a = 11 + -8. Let o(b) = -b**2 + b**2 - a*b**2 + 9*b**2 + 6*b + b**3. Is 8 a factor of o(-4)?
True
Let b(d) = 4*d**2 - 3*d + 1. Let w be b(2). Suppose -h + 12 = -w. Suppose n + h = 2*c + 59, 0 = c. Does 12 divide n?
True
Let a(y) be the second derivative of -y**4/12 + 4*y**3/3 + 5*y**2/2 + y. Suppose -2*u = -3*l - 17, -u = -5*l - 2 - 10. Is 4 a factor of a(u)?
True
Let m = 109 - 73. Is m a multiple of 12?
True
Suppose 4*n + n = 0. Let k(f) = f**3 - f**2 + f + 30. Is 10 a factor of k(n)?
True
Let d be -1*(2 - (5 - 0)). Suppose d*x = -x + 8. Is x a multiple of 2?
True
Let f(b) = -7*b**3 - 10*b**2 + b**3 + 3*b**3 - 10*b + 2*b**3 - 3. Let h be f(-9). Does 9 divide 1/6 + 53/h?
True
Let y(n) be the second derivative of 13*n**3/6 - n**2/2 + 2*n. Let x = 5 + -4. Is 12 a factor of y(x)?
True
Let d(w) = -w**3 - 15*w**2 + 11*w + 17. Let p be d(-16). Suppose -3*l + p = -17. Is l a multiple of 11?
False
Suppose -2*a = 2*o - 88, 3*a - 45 = -5*o + 95. Is 12 a factor of a?
False
Suppose u = -4*c + 159, 2*c - 40 = u + 47. Does 10 divide c?
False
Suppose 0 = 12*i - 949 - 635. Is i a multiple of 12?
True
Suppose -26 = -5*z + 19. Let g(y) = 2*y + 6. Does 5 divide g(z)?
False
Let s(c) be the first derivative of c**2/2 + 7*c - 2. Let x be s(6). Let r = x + -6. Is 7 a factor of r?
True
Let h = 5 + -15. Let s = h - -18. Is s a multiple of 8?
True
Suppose -2*g = b - 2, 3*b - g - 16 = 18. Let q(i) = -b*i - 2 - 2*i**2 + i + i**2 + 0*i**2. Does 8 divide q(-6)?
True
Let g be 218/3 + (-1)/(-3). Suppose -4*f + 71 + g = 0. Let k = -4 + f. Is 16 a factor of k?
True
Suppose 0*f = -5*f. Let y(j) 