b be v(-1). Suppose -g*m - b = -2*i + i, 4 = -2*m. Is i a multiple of 3?
True
Let o = 231 - 165. Is 11 a factor of o?
True
Let n be ((-21)/(-14))/(2/(-4)). Is -9*(7/3 + n) a multiple of 2?
True
Suppose -2*s - s = v - 101, 0 = -2*s - 5*v + 63. Does 12 divide s?
False
Suppose 0 = 3*i - 3, 4*i + 196 - 560 = -3*q. Is 30 a factor of q?
True
Let l be ((-4)/6)/((-3)/(-9)). Let n be ((-15)/(-10))/(l/4). Is 13 a factor of 1*(n + 2) + 35?
False
Let z = -65 - -179. Suppose -z = -5*b - 24. Is 9 a factor of b?
True
Let u(x) = -x - 11. Let t be u(-10). Is 9 a factor of t/((-3)/(54*1))?
True
Suppose 10*l - 13*l + 180 = 0. Is 10 a factor of l?
True
Let a(x) = 2*x + 21. Let h be a(-9). Suppose h*w - w = 146. Is w a multiple of 16?
False
Let p = 30 + -13. Is p a multiple of 8?
False
Let x(h) = 6*h**2 - 2*h - 7. Is 35 a factor of x(3)?
False
Let k(a) = -3*a**2 + 5 + 2*a**2 + 9. Is k(0) a multiple of 7?
True
Suppose -2*a - 112 = -4*a. Does 27 divide a + ((-3)/1 - -1)?
True
Let c(y) = y**3 - 9*y**2 - y + 13. Let j be c(9). Let f(o) = o**2 + 5*o - 2. Let a be f(-6). Suppose x + 30 = j*t, -a*x = -3*t + 4*t + 1. Is 4 a factor of t?
False
Suppose -4 = 4*o, 5*t - 2*o - 29 = 2*t. Let p(b) = -b**2 + 11*b - 9. Is p(t) a multiple of 9?
True
Let k = -109 + 120. Is k a multiple of 2?
False
Is 4 a factor of ((-201)/6)/((-2)/4)?
False
Let h be (2 - 3 - 0)*55. Suppose s - 42 - 64 = 0. Let o = s + h. Does 17 divide o?
True
Let h(o) = 20*o - 64. Is 19 a factor of h(7)?
True
Let i be (-324)/42 - (-2)/(-7). Let n(r) = 5*r**3 - 21*r**2 + r - 15. Let x(a) = -3*a**3 + 11*a**2 + 8. Let u(h) = 4*n(h) + 7*x(h). Is 14 a factor of u(i)?
True
Let s be (0 + 5)*(-126)/45. Let n = s + 34. Is n a multiple of 6?
False
Is 11 a factor of 281/4 - (36/16 + -2)?
False
Let i be 6/(-4)*28/(-2). Suppose 0*t = -t + i. Is t a multiple of 6?
False
Let d(f) = -f**2 - 9*f + 15. Let j be d(-10). Let a = 4 + -1. Suppose -j*o = a*i + 2*i - 85, 2*o = -4*i + 30. Is o a multiple of 19?
True
Suppose 0*h = -3*h - 9. Does 9 divide (-18)/(-27) + (-34)/h?
False
Let c(m) be the second derivative of m**4/12 - 4*m**3/3 - 9*m**2/2 + 2*m. Let l be c(11). Let u = l + -12. Is 5 a factor of u?
False
Let h be 50/3*18/(-15). Let l = h + 29. Is l a multiple of 9?
True
Let k(z) = z**3 - z**2 - 2. Let f be k(0). Is 7 a factor of 77/2 - f/4?
False
Suppose 5*h - 214 = -2*j - 6, 3*h = 3*j + 108. Does 23 divide h?
False
Let t(h) = 5*h - 15. Does 20 divide t(15)?
True
Suppose -3*w = -5*x + 689, w - 7 = -10. Is x a multiple of 22?
False
Let r = 11 - 2. Is 9 a factor of r?
True
Let t(h) = h**2 - 7*h + 7. Does 14 divide t(12)?
False
Suppose 27 = o + 4*j, -15 = -2*o - 3*o + 4*j. Suppose -3*u + o*u - 3*t = 185, -u + 45 = -2*t. Is u a multiple of 9?
False
Suppose 0 = 3*s + 19 - 127. Does 9 divide s?
True
Let m(n) = -n - 9. Let b be m(12). Let k = b + 65. Is 11 a factor of k?
True
Let i = -63 - -29. Let f = i + 49. Is f a multiple of 9?
False
Let y = 13 - 18. Let b(p) = p**2 - 5*p - 5. Let i be b(y). Let a = i + -17. Is a a multiple of 11?
False
Let c(i) = i**3 + 8*i**2. Let h be c(-8). Suppose -2*z + 0 + 4 = 0. Suppose 5*n - z*n - 15 = h. Is n a multiple of 5?
True
Suppose -14*v + 10*v + 12 = 0. Is v a multiple of 2?
False
Let c = 86 + -40. Suppose 34 = -2*q - c. Let o = 82 + q. Is o a multiple of 18?
False
Let m(u) = -3*u - 5. Let y(x) = 7*x + 9. Let p(z) = -5*m(z) - 2*y(z). Does 7 divide p(0)?
True
Let y(n) = -7*n - 26. Let i(h) = -3*h - 13. Let f(k) = -9*i(k) + 4*y(k). Does 6 divide f(-6)?
False
Let y = 8 - 4. Suppose g - p - 2 = 5, 0 = y*g + 2*p - 10. Is 55*g*3/30 a multiple of 6?
False
Let i be ((-1)/2)/((-2)/(-24)). Let v = i - -9. Suppose v*r = r + 2*u + 18, 0 = -4*r - 2*u + 18. Does 6 divide r?
True
Let f(h) = h**3 + 10*h**2 - 6*h - 5. Is 19 a factor of f(-8)?
True
Let l be -2 - (-1)/(2/24). Suppose 5*p - 49 = 3*w + 37, -3*w - l = -p. Is 12 a factor of p?
False
Let a be (-6)/(-4 - (-20)/8). Suppose 4*w - 226 - 66 = a*n, 3*w = 2*n + 218. Does 24 divide w?
True
Suppose 2*f - 20 = -5*r, f + 5 - 1 = r. Suppose -2*i + 8 + f = 0, -26 = -3*v - 2*i. Is 7 a factor of (-93)/(-9) - 2/v?
False
Suppose -20 = -f - 4*f. Suppose f*r + 2*g = -g + 183, r - 3*g = 42. Is 11 a factor of r?
False
Suppose -7*i + 3*i = -396. Is 23 a factor of i?
False
Let k(i) = 3*i**2 - i**2 + 4*i + 3 + i**3 - 2*i. Let o be k(-2). Let p = o - -3. Is p a multiple of 2?
True
Suppose 2912 = 4*x + 4*q, 0 = 4*x + x + 4*q - 3642. Suppose -3*w + w + x = 0. Does 13 divide w/15 + 2/(-6)?
False
Suppose -2*i + 219 = -113. Suppose -i = -3*t + 2. Is 14 a factor of t?
True
Suppose -5*z = s + 4504, -5*s - 1024 = z - 104. Let q be (8/6)/((-8)/z). Suppose -2*u = -7*u + q. Is u a multiple of 15?
True
Let p = 143 + -84. Let z(x) = 9*x**2 - x - 2. Let d be z(2). Let s = p - d. Is s a multiple of 10?
False
Is -18*((-50)/(-3))/(-5) a multiple of 10?
True
Let x(z) = -z**3 - 4*z**2 + 4*z - 7. Let m be x(-5). Suppose -1 = -2*l + l. Is (3 - -14) + l*m a multiple of 10?
False
Let t = 36 - 29. Is 2 a factor of t?
False
Let p(s) = -4*s + 1. Let d be p(1). Let g be (-1 + d/(-3))/(-2). Suppose 0*j + 3*j - 21 = g. Is 7 a factor of j?
True
Let f be -1 - 0 - (7 + 2). Does 12 divide (-2)/f + (-59)/(-5)?
True
Let r be 3/(-1 + (-7)/(-6)). Let y = -10 + r. Does 4 divide y?
True
Let x(o) = -o + 3. Let q(b) = b + 1. Suppose i + 7 = -l, 3*i + 2*l + 18 = -0*l. Let t(y) = i*q(y) + x(y). Does 17 divide t(-7)?
True
Is 16 a factor of (2/3)/((-6)/(-288))?
True
Suppose 2*u - 57 = -u. Is u a multiple of 6?
False
Suppose 8*v - 10*v = -236. Let t = 173 - v. Is 12 a factor of t?
False
Is (-2)/6 - 4205/(-15) a multiple of 28?
True
Let z(t) = -t**3 + 8*t**2 - 7*t + 2. Let o be z(7). Let a be 0 - (o + 5)*1. Does 9 divide a + 16 + 1 + -1?
True
Let w(g) = 7*g**2 - 11*g + 4*g + 2*g**3 - 13 + 4*g - g**3. Does 3 divide w(-7)?
False
Suppose 0*v = 5*v - 25, v + 57 = r. Is 8 a factor of r?
False
Suppose 0 = 4*g - 5*k - 144, -4*g + 8*g + 5*k = 184. Does 6 divide g?
False
Suppose u - 5*u = -28. Suppose -105 = -3*k - 3*s, -4*s + u*s - 135 = -4*k. Is k a multiple of 6?
True
Suppose -2*u = -5*u + 114. Is 19 a factor of u?
True
Let q(n) = -n**3 - 6*n**2 - 8*n - 6. Does 14 divide q(-6)?
True
Let h(y) = y**2 + y - 96. Does 32 divide h(-18)?
False
Let w = 2 + 2. Suppose -3*f + 56 = w*n, -2*f + 17 + 17 = n. Is f a multiple of 16?
True
Let n(i) be the first derivative of 9*i**2/2 - i + 4. Is 8 a factor of n(1)?
True
Let m = 108 + -59. Is m a multiple of 7?
True
Suppose 2 = 4*g - 158. Does 2 divide g?
True
Let i(z) = -10*z. Is 25 a factor of i(-5)?
True
Suppose -6*m = -2*m - 3804. Is (-4)/18 + m/27 a multiple of 13?
False
Let u(x) = -48*x - 1. Let y be -1 + -3 + 3 - -3. Suppose -1 = y*s + 1. Is 24 a factor of u(s)?
False
Let i = -3 - -2. Let h = -1 - i. Suppose b + h*b = 8. Is 8 a factor of b?
True
Is 17 a factor of (-2 + 5/2)*(184 + -2)?
False
Suppose -w + 25 = w + 5*o, -2 = 2*w - 4*o. Suppose 161 = w*m - 5*g + 16, 2*m + 2*g = 78. Let n = m - 21. Is 6 a factor of n?
False
Let b(y) = 2*y**3 - y**2. Let n be b(-1). Let k = n - -6. Suppose -c = 5*q + 4*c - 165, 0 = -k*q - c + 105. Is q a multiple of 18?
True
Let j(z) = z**3 - 10*z**2 + 22. Is 2 a factor of j(10)?
True
Suppose 0 = -3*l + 7*l + 3*r - 72, -4*l + 100 = -4*r. Is l a multiple of 7?
True
Let g(x) = -x**2 - 10*x - 4. Is g(-9) even?
False
Let b(k) = k**3 - 5*k**2 + k - 2. Is b(5) a multiple of 2?
False
Let d = -3 - -8. Suppose 0 = 2*k - d*y - 19, 3*k - 5*y = -0*y + 26. Is 3 a factor of k?
False
Let l = 147 + -104. Does 13 divide l?
False
Let a(o) = -o**3 - o**2 + 3*o + 2. Let u be a(-1). Let i(d) = -16*d + 2. Does 18 divide i(u)?
True
Let i(q) = -14*q - 71. Let v(a) = 5*a + 24. Let r(o) = -4*i(o) - 11*v(o). Is 10 a factor of r(-8)?
False
Let k(o) = o**2 - o - 4. Let m be k(-3). Let h = m - -9. Is 14 a factor of h?
False
Let x(u) = -39*u**2 + 7*u - 5. Let k(r) = 24*r**2 - 3*r**2 - 2*r**2 - 3*r + 2. Let m(i) = 5*k(i) + 2*x(i). Is 16 a factor of m(1)?
True
Let l = -3 + 7. Suppose -2*k + 10 = -0*k, -70 = -5*q + l*k. Is q a multiple of 9?
True
Let b(c) be the third derivative of -c**4/12 - 5*c**3/6 + 2*c**2. Let x be b(-5). Suppose x = -l + 19. Is l a multiple of 14?
True
Suppose -17*u = -16*u - 5. Suppose 0 = -0*s - s + u*j + 35, -103 = -2*s - j. Is 25 a factor of s?
True
Let t(b) = -2*b - 