ose 9 = 2*i + 3*c, 4*i + 2*c - 36 - 2 = 0. Is i a multiple of 2?
True
Let h(k) = -k**3 + 10*k**2 - 8*k + 9. Let u be h(9). Suppose -6*o + 2*o = -3*t - u, 4*t - 2 = o. Does 5 divide o?
False
Let m(n) = -n**3 - 7*n**2 + 8 + n**2 - 6*n**2 + 4*n**2 + 9*n. Is m(-9) a multiple of 2?
True
Let z = -11 - -11. Suppose z = 2*m - 5*m + 132. Is m a multiple of 20?
False
Let u = -2 - -19. Is 4 a factor of u?
False
Let p be 15/(-2)*48/20. Does 6 divide (-4)/p - 388/(-36)?
False
Suppose -s = -0*s - 2. Let k = 18 + -13. Suppose 3*r - 193 = -k*p, -s*r - 36 - 54 = -2*p. Is p a multiple of 14?
False
Suppose 5*u - s - 15 - 22 = 0, 2*s = -5*u + 46. Is 8 a factor of u?
True
Let x(d) = 69*d**2 - d - 1. Let z be x(-1). Does 20 divide 3 + z + 6 + -3?
False
Let p(c) = -92*c**3 - 2*c**2 + c - 3. Let m be p(3). Let z be m/(-30) + 3/5. Suppose -z = -2*s - 2*s. Is 21 a factor of s?
True
Let v = 67 + 95. Suppose v - 39 = 3*p + 3*d, -166 = -4*p - 5*d. Is p a multiple of 13?
True
Let w = -4 - -4. Suppose w = -2*t - t + 6. Suppose -t*k + 4*k = 52. Is 13 a factor of k?
True
Let z(d) = d**2 - 6*d + 5. Let u be z(6). Let n(j) = j + 4. Let r be n(0). Suppose -2*y + 5*y + u*l = 46, 3*y = r*l + 28. Is 6 a factor of y?
True
Let t = -7 + 40. Is 11 a factor of t?
True
Let w(d) = -33*d**3 - d**2 - d - 2. Let j be w(2). Does 19 divide ((-2)/4)/(2/j)?
False
Suppose -35 = p - 0*p. Let y = -22 - p. Is 7 a factor of y?
False
Let j = 66 - 9. Is j a multiple of 22?
False
Let w = 73 + 19. Suppose 0*q + w = 2*q. Suppose -2*a - 100 = 2*t - 6*t, 2*t - 3*a = q. Is 13 a factor of t?
True
Let d be 6/7*(-1 - -78). Let n = d + -8. Suppose -5*z + n = -27. Is 16 a factor of z?
False
Let a = -70 + 124. Is 27 a factor of a?
True
Let s = -51 + 195. Does 48 divide s?
True
Let s(q) be the second derivative of q**3/3 - 3*q**2/2 - 3*q. Let g be s(3). Suppose g*h - 3*m = m + 43, m = 3*h - 31. Is 9 a factor of h?
True
Let m be (1 + 5)/((-2)/5). Does 5 divide (m + (-2 - -3))*-1?
False
Suppose -4*x + 119 = -73. Does 12 divide x?
True
Let u = -9 - -11. Let v(y) = y**2 + 3*y - 1. Is 4 a factor of v(u)?
False
Let a = 1 - 1. Suppose -w - m + 1 + 25 = a, -w + 14 = -5*m. Is 23 a factor of w?
False
Suppose f + 0 = 5. Suppose -v + 11 = 2*k, v = 2*v - f*k - 39. Is 7 a factor of v?
False
Suppose 18*k - 11*k - 1078 = 0. Is k a multiple of 22?
True
Let j be (-35)/(-14)*(-44)/(-5). Suppose o - j = -5. Is 10 a factor of o?
False
Let x(c) = c - 8. Let g be x(6). Let a = g + 10. Is 7 a factor of a?
False
Let y(l) = l**3 + 8*l**2 + 8*l - 4. Let p be -1 + 4 - (-18)/(-2). Does 11 divide y(p)?
False
Is -1 - (-5)/(20/84) a multiple of 10?
True
Let h = -17 + 19. Suppose -h*s + 315 = 3*s. Does 21 divide s?
True
Let t = 7 - 4. Suppose t*i - 44 = i. Is i a multiple of 11?
True
Let y = 0 - -7. Suppose 0 = -y*s + 2*s + 160. Is 0/2 - s/(-4) a multiple of 8?
True
Let s = 5 + 1. Let c be (-4)/s - (-14)/3. Suppose c = x - 10. Does 5 divide x?
False
Suppose -5*y + 33 = -4*d, 0*d - 20 = 3*d + y. Let i = 9 - d. Is 16 a factor of i?
True
Let j(a) be the first derivative of -5*a**2/2 + 18*a - 8. Does 12 divide j(-9)?
False
Let y(j) = j**3 + 4*j**2 - 8*j - 5. Suppose -v = -4*v - 15. Does 8 divide y(v)?
False
Let n(b) = b - 2. Let g be n(12). Let v(q) = 4*q - 9. Is v(g) a multiple of 9?
False
Let p(a) = -2*a + 5. Let y be p(4). Let d be 2 + (38 - (-2 - y)). Suppose -d + 10 = -x. Does 8 divide x?
False
Let a be (-1)/(1*1/(-3)). Suppose -k - 16 = -5*t, a*k = 3*t - 0*k. Does 2 divide t?
True
Let n = -97 - -177. Let u be 4/(-18) - n/(-36). Suppose 7 = y + u. Is 3 a factor of y?
False
Let y(b) = b**2 + 8*b + 2. Let c be y(-8). Suppose -c*a = 3*s - a - 35, 0 = a - 5. Does 10 divide s?
True
Let u(o) = 4*o**2 + o + 1. Let n(a) = -a + 1. Let q be n(3). Is u(q) a multiple of 15?
True
Suppose -3*p - 25 = 3*d - 127, -4 = 2*d. Let f be p/15*(-22 - -2). Let i = -21 - f. Does 16 divide i?
False
Let y = 14 + -3. Let o be 8/28 - (-66)/14. Suppose -o*r + 36 = y. Is r even?
False
Let l(t) = -49*t + 1. Suppose -2*i + 0*i - 2 = 0. Does 23 divide l(i)?
False
Let l(u) = u**2 + u + 1. Let x be l(-2). Suppose -5*d + 239 = x*t, -3*t + 4*d - 316 = -7*t. Is 26 a factor of t?
True
Suppose -4*i = 5*t - 113, 0*t - i - 53 = -2*t. Suppose -t = -3*o + 4*g, -5*o - g = -3*g - 37. Is o a multiple of 7?
True
Let q(j) = j**2 - 15*j + 8. Does 9 divide q(20)?
True
Let q(u) = u**3 - 2*u**2 + 9*u - 7. Is 26 a factor of q(3)?
False
Let w be 0 + (-3)/((-6)/34). Let p = w + -12. Suppose 4*r = p*d - 259, 75 = d - 3*r + 8*r. Is 19 a factor of d?
False
Let o be (2/4)/((-7)/(-2142)). Suppose -5*a + o + 57 = 0. Does 14 divide a?
True
Let k(f) be the third derivative of f**5/30 - 3*f**4/8 - f**3/3 - 4*f**2. Does 33 divide k(7)?
True
Let q = -411 + 579. Is q a multiple of 33?
False
Suppose -j = -2*j + 2*p + 28, 0 = p - 4. Is j a multiple of 13?
False
Suppose -b - 50 = -c, -3*b = 4*c - 26 - 188. Let n(z) = -z - 2. Let k be n(-4). Suppose 0 = -4*a + 4*m + c, 0 = -m + k*m + 5. Is a a multiple of 8?
True
Suppose 2*q + q + 24 = 0. Let p = -1 - q. Does 7 divide p?
True
Let t be 8/12*9/2. Let k(a) = 23*a**2 - a - 3. Let r be k(t). Suppose x = -2*x + r. Is 25 a factor of x?
False
Suppose -525 = w - 6*w. Does 35 divide w?
True
Let l be -1 - -3 - (2 - -1). Let n be -2 - -4 - (l - -1). Suppose -p = -d - 24 + 8, d - n = 0. Is p a multiple of 13?
False
Let l(z) be the first derivative of -3*z**2/2 + 7*z - 3. Is l(-6) a multiple of 10?
False
Let p = -3 - -6. Let u be 90/2*(-6)/(-9). Suppose -72 = -p*t - u. Is t a multiple of 5?
False
Let n(j) = -2*j**2 + 3*j - 7. Let t(f) = -f**2 + f - 1. Let d(r) = n(r) - 3*t(r). Let p be d(3). Suppose 0*k = -k + p. Is k a multiple of 2?
False
Let n(c) = c**3 - 10*c**2 + 18*c + 2. Is n(8) a multiple of 8?
False
Let q(x) = 7*x. Let r be (-1)/4 - (-116)/16. Suppose 4*y - 2*u = 22, 5*y + 2*u - r*u = 40. Does 21 divide q(y)?
True
Let r = 80 - 16. Suppose 3*a - 24 = -2*v, -5*v = -v - 2*a - r. Is 8 a factor of v?
False
Let w = 1 + 1. Suppose 0 = w*z + 12 - 0. Let k(i) = i + 14. Is 4 a factor of k(z)?
True
Let p = 2 + 3. Suppose p = u - 9. Does 7 divide u?
True
Suppose -u = -2*u. Let o(g) = u*g - 4 + 8*g + g**2 - 3*g. Is o(-8) a multiple of 8?
False
Let f(o) = -33*o + 3. Let h be f(-3). Suppose 3*g - h = -30. Is 10 a factor of g?
False
Let i be ((-12)/(-3))/4 - -15. Is (14 - 0)*8/i a multiple of 4?
False
Suppose w + 6 + 2 = 0. Let d(o) = o - 11. Let y(m) = 11. Let u(g) = -2*d(g) - 3*y(g). Is 3 a factor of u(w)?
False
Suppose a + 5*s - 12 = 0, 7*s - 6*s = 0. Is a/(-20) - 436/(-10) a multiple of 18?
False
Let q(a) be the second derivative of a**4/12 - a**3/3 - a**2 + 2*a. Is q(-3) a multiple of 5?
False
Suppose -2*o = -7*o, 2*x - 28 = 2*o. Is 10/(-35) - (-368)/x a multiple of 10?
False
Suppose -5 = 2*i - 7*i. Let r = 5 - i. Suppose -r*v + 2*v + 10 = 0. Does 2 divide v?
False
Let z be (-3 - 1)/(-2) + -11. Is 2/z - 438/(-27) a multiple of 16?
True
Let m be 9/21 - 144/(-7). Is 12 a factor of (-36 - 0)*(-28)/m?
True
Let s = 0 - -2. Suppose 38 = s*j - 3*j. Is 17 a factor of j/(-2) + (-12)/6?
True
Let s be (-2)/(-8) - 1014/24. Let w = s - -100. Does 16 divide w?
False
Let o(w) = w**2. Let f(g) = -2*g**2 - 3*g - 5. Let r(p) = f(p) + 3*o(p). Let n be r(5). Is 7 a factor of 9/(-15) + 38/n?
True
Suppose z + 4*c = -17, z + c = -2*z + 4. Suppose -7 = -2*j - 4*y + 1, -2*y + 4 = -3*j. Suppose z*q = -j*q + 12. Is 3 a factor of q?
False
Let i be -8 - -10 - (1 - 2). Suppose -5*x + x = i*w - 164, -x = -w + 43. Is 16 a factor of w?
True
Suppose 3 = -4*o - 77. Let p = -5 - o. Is p a multiple of 15?
True
Let v = 2 - -2. Let c = 96 - 64. Suppose -v - c = -2*a. Does 9 divide a?
True
Let g(t) = -t**3 - t**2 - t - 1. Let w be g(0). Let n = 21 + w. Is n a multiple of 10?
True
Suppose -3*b + 2 = -4. Suppose b*r = 3*r - 7. Is r a multiple of 3?
False
Suppose 0 = -x - 0*x + 63. Suppose 5*j - 278 = -x. Is j a multiple of 14?
False
Suppose -o + 5*o + 5*u - 10 = 0, 0 = 4*o - 5*u - 30. Suppose -o*c = 2*v - 48, 5*v - 44 = -6*c + 3*c. Is c even?
True
Suppose v = 5*v. Suppose v*n + 4*s - 12 = -2*n, 3*n + 2*s - 26 = 0. Is n a multiple of 9?
False
Let g(z) = 2*z - 2. Let f(o) = o - 4. Let m be f(8). Suppose 9 + 27 = m*k. Is 6 a factor of g(k)?
False
Let p(l) = -l - 4. Let n be p(0). Let k be 1/n + 183/12. Suppose x + 2 = k. D