Let g(k) = k**3 + 10*k**2 - 10*k + 15. Let j be g(-11). Suppose 0 = -2*x - 4, 5*v + j*x = -x + 195. Is v a multiple of 12?
False
Let c(n) = n**3 + 3*n**2 - 1. Let p(q) = 2*q + 4. Let v be p(-3). Let o be c(v). Suppose -o*a = -2*a - 20. Is 10 a factor of a?
True
Suppose 0 = -g - 0*g - 56. Does 9 divide (-1)/(3/(g - -2))?
True
Let j be 15 + 0 + (9 - 11). Is 16 a factor of 2/j - 4199/(-169)?
False
Let p(u) = u + 7. Let m be p(-5). Suppose 0 = -3*n - 6, 0 = -6*a + 2*a + m*n + 108. Is 10 a factor of a?
False
Let z(o) = 7*o - 50. Does 15 divide z(20)?
True
Let k(o) be the third derivative of -o**7/360 - o**6/360 + o**5/30 + o**2. Let m(f) be the third derivative of k(f). Does 16 divide m(-2)?
False
Suppose 0*j - 11 = -j - l, -4*l = -3*j + 12. Let o(w) = 2*w + 2. Let u be o(-2). Let t = j - u. Is 5 a factor of t?
True
Suppose 2*a - 31 = -5*c, -2*c - 2*c = 3*a - 57. Suppose -3*y + p = -a, y + 3*p + 19 = -2*p. Suppose 0 = -s - 4*x - 16, s - y*x = -3*x + 19. Is 4 a factor of s?
True
Is (44/6)/((-66)/(-18) + -3) even?
False
Let u = -15 + 7. Let m(q) = -q + 7. Does 15 divide m(u)?
True
Suppose -3*s + 375 = 2*s. Is s a multiple of 15?
True
Let d(m) = -m**3 + 8*m**2 - 6*m - 7. Suppose -3*n + 6 = -3*l, -l - l + 10 = 0. Let h be d(n). Suppose -g = -4, h = -x - 2*x - g + 22. Is x even?
True
Let g(c) = c**2 + 12*c + 7. Let t be g(-11). Let o = t - -11. Is o even?
False
Suppose -2*j = 5*k - 102, -j - 4*j - 35 = -2*k. Suppose -41 - k = -4*q + 5*u, q - 16 = 2*u. Is 5 a factor of q?
False
Let c(f) = f**3 - 8*f**2 - 4. Let p be c(8). Let n = p + 1. Let d = 3 - n. Is 3 a factor of d?
True
Is 6 a factor of 35*-1*(-72)/60?
True
Suppose 2639 = -20*c + 27*c. Is c a multiple of 13?
True
Suppose -16 = -3*h - h. Let m(k) = -3*k**2 - 5*k. Let v be m(h). Does 12 divide v/(4/2*-1)?
False
Let l be 4/(-10) + (-434)/(-35). Let x be l/4 + 2/(-2). Suppose -2*w - 4*b = -2*b - 56, 0 = -5*w + x*b + 133. Is 27 a factor of w?
True
Suppose 4*b - 9 - 47 = 0. Is 14 a factor of b?
True
Let f = -2 - -20. Does 9 divide f?
True
Is 16 a factor of 8/(2 + 12/(-8))?
True
Let w(d) = -3*d + 9*d**2 + 1 + 2*d - 2 - 8*d**2 - 4*d**3. Let n be w(-1). Suppose -n*q = 50 - 175. Does 7 divide q?
False
Let o(t) = -5*t - 25. Is 9 a factor of o(-12)?
False
Suppose -l + 110 = 4*l. Let s = l + -16. Does 6 divide s?
True
Suppose -2 = -3*i + 13. Suppose 0 = i*y + 3*g + 17, -2*y - g - 3*g - 18 = 0. Is 19 a factor of (y/(-3))/((-1)/(-93))?
False
Let h(t) = -t + 12. Suppose -5*l = -0*l. Is h(l) a multiple of 12?
True
Let b(p) be the first derivative of -p**4/4 + 4*p**3/3 + p**2/2 + 5*p - 20. Let l = 7 - 3. Is b(l) a multiple of 9?
True
Let q(r) = -9*r - 6. Let b be q(-5). Let c = -24 + b. Is c a multiple of 3?
True
Let v = 1 - -1. Is v*(6/(-4) + 3) a multiple of 2?
False
Suppose 0 = 2*y - 6*y - 48. Let a be ((-16)/y)/((-4)/(-6)). Let k(c) = 7*c**2 - 3*c + 2. Is 23 a factor of k(a)?
False
Suppose 5*b + 3 = -3*u, -2*u = 5*b - 4*u - 2. Suppose b = 2*n, 4*g = 2*n - 5 + 33. Is 7 a factor of g?
True
Let y = -1 - -1. Let h = y - -28. Suppose 0 = -2*r - a + h, -70 = -6*r + r - 2*a. Does 7 divide r?
True
Suppose 3*k = -0 + 36. Let i be 344/k + (-4)/6. Let b = -16 + i. Does 6 divide b?
True
Suppose -7*h = 135 - 597. Is h a multiple of 2?
True
Let v(j) = j**2 + 2*j - 3. Let n(s) = 2*s**2 + 4*s - 7. Let t(x) = -2*n(x) + 5*v(x). Let q be (1 + -5)*(-2)/(-2). Is t(q) a multiple of 7?
True
Suppose 3*i + 1 = 4*i, m - 9 = 5*i. Is m a multiple of 13?
False
Let w(q) = 7*q + 5. Is 20 a factor of w(5)?
True
Suppose -2*x - 5 = -5*h, 6*x + 3*h = 3*x + 3. Suppose x = -4*u + u. Suppose 0 = -u*w + w - 2, -2*j - w + 42 = 0. Does 10 divide j?
True
Let d(p) = -7*p + 9. Is 8 a factor of d(-4)?
False
Is 16 a factor of (-2)/(-6) - 570/(-18)?
True
Suppose 0 = -2*t - 3*t. Suppose t = -0*p - p + 3*c - 2, 3*c + 14 = 5*p. Suppose 16 = w - p. Does 10 divide w?
True
Let u = -125 + 335. Is u a multiple of 48?
False
Let n = 844 - 532. Is n a multiple of 13?
True
Let l = -22 - -33. Let t = -30 - -51. Let h = t + l. Is 14 a factor of h?
False
Suppose -7*c = -2*c - 145. Let y = c + -3. Does 26 divide y?
True
Suppose 4*i - 12 = 3*j + 81, -24 = -i + j. Is 3 a factor of i?
True
Let p be (-4 + 3)*41/(-1). Let o = 67 - p. Is 6 a factor of o?
False
Let w be (-150)/(-2)*3/9. Does 10 divide w/(1/(-2 + 3))?
False
Let t = -26 + 23. Let r = -1 - -3. Does 19 divide 111/r - t/(-6)?
False
Suppose 0*i + 4 = u + 5*i, -2*i = 3*u - 64. Is u a multiple of 9?
False
Let n(h) = 8*h**3 + 3*h**2 - 6*h + 5. Does 19 divide n(2)?
False
Let d(r) = 185*r**2 + r. Does 18 divide d(-1)?
False
Suppose 5*m = 2*x + 64, 0*m - 37 = -2*m - 3*x. Is m a multiple of 8?
False
Suppose -2*p - 3*p + 20 = 0. Suppose -p*k - k + 370 = 0. Suppose 5*a - k - 1 = 0. Does 15 divide a?
True
Let v(b) = 3*b**2 + 3*b. Let r be v(4). Let f(x) = -2*x**3 - 4*x**2 + 4*x - 2. Let i be f(-4). Suppose r = 5*t - 2*z - i, 2*t - 34 = 5*z. Is 8 a factor of t?
False
Let s be 136/(-51)*(-9)/4. Suppose 2*k + 2*p + 3*p - s = 0, 5*k + 5*p = 45. Is k a multiple of 11?
False
Suppose -3*u + 8*u + 2*f = 42, 0 = u - 4*f - 26. Is u a multiple of 4?
False
Suppose -4*f + 5*r - 10 = 0, 5*r = -3*f + 1 + 9. Suppose -5*n + 2*n + 204 = f. Let h = -47 + n. Is h a multiple of 11?
False
Let q be (-3)/(1*2/(-70)). Suppose 4*z + 34 = -2*b, 5*b + q = -4*z + 8. Let s = 35 + b. Does 14 divide s?
True
Suppose -4*d = -7*d + 375. Is 25 a factor of d?
True
Let c(k) = k**2 - 8*k + 8. Let f be c(9). Let z = 9 - f. Let y = 7 - z. Is y a multiple of 6?
False
Suppose 10*b = 1533 - 483. Does 21 divide b?
True
Suppose 3*g = -2*g - 10. Does 6 divide (3 - (-15 + g)) + 3?
False
Let j be 213/21 + 2/(-14). Suppose -j - 30 = -5*a. Is 2 a factor of a?
True
Suppose 3*w = 4*o - 2*w + 4, -5*o + 28 = 2*w. Suppose 3*a - 7 = -f + 11, 0 = -2*f + o*a + 36. Is 6 a factor of f?
True
Let x(o) = 34*o**2 - 4*o - 7. Does 60 divide x(-3)?
False
Is 7 a factor of 4 - 0 - (-72)/3?
True
Let x(k) = k**3 + 14*k**2 + 12*k - 4. Let j be x(-13). Let m = 32 - j. Is m a multiple of 13?
False
Suppose 319 = 6*i - 1121. Does 17 divide i?
False
Is 3 a factor of 5 + -1 - (-1 + 0)?
False
Suppose 0*g + 4*f + 60 = 2*g, -3*f = -2*g + 64. Is g a multiple of 14?
False
Suppose -10*t + 1276 = -584. Is t a multiple of 43?
False
Suppose 2*x + i = -19, 4*x - 3*i + 31 = 2*i. Suppose -21 = 3*c - 6. Let z = c - x. Is 2 a factor of z?
True
Suppose -2*d = -4*v - 74, 5*v + 37 = d + 2*v. Is d a multiple of 13?
False
Let k(n) = -15*n - 65. Is k(-15) a multiple of 8?
True
Let w(r) = 55*r**3 - 2*r**2 + 2*r - 1. Let a be w(1). Does 6 divide (a/4)/((-21)/(-28))?
True
Suppose -4*d = -313 - 199. Suppose -f - d = -4*z - 6*f, -160 = -5*z - 2*f. Is 9 a factor of z?
False
Suppose 5*x + 5*n + 75 = 0, -x + 2*n - 30 = 3*x. Let v = 13 + x. Suppose -2*k = 2*r + v*k - 98, 0 = 2*r + 2*k - 86. Does 15 divide r?
False
Let x be (10 + -4)*6/(-4). Let n be -3*6/x - -1. Is 1/(-1*(-1)/n) a multiple of 3?
True
Is 6 a factor of ((-15)/6 - -2) + 79/2?
False
Let p = 1 + 2. Suppose -p*o = 2*o - 3*w - 13, -4*w + 4 = 4*o. Suppose -3*c = o*c - 210. Does 21 divide c?
True
Let z = -4 + 4. Suppose z*j - 4*j = 3*a - 84, 0 = 2*a + j - 61. Is 8 a factor of a?
True
Does 26 divide (-1306)/(-14) - 8/28?
False
Let h be 89 - (2 + -1 - 4). Suppose 2*a - h = 4*r, 2*a = r - 4*r + 127. Suppose 4*m = -0*m + a. Is m a multiple of 7?
True
Suppose 2*m + 4*u = 46, -4*m + u + 44 = -3*u. Is 5 a factor of m?
True
Suppose 5*j + 5 = -2*l - l, -3*j - 3 = -3*l. Suppose 5*p = -g + 200, l*g = -4*p + 2*g + 146. Does 13 divide p?
True
Let p(x) = -x**2 + 18*x - 14. Let g be (-12)/(1/((-4)/3)). Is 9 a factor of p(g)?
True
Let t = -3 - -3. Suppose -4*y + 2*y - 18 = t. Let l = y + 60. Does 13 divide l?
False
Let l = 41 - 16. Does 25 divide l?
True
Suppose s + 2*s = 813. Is 14 a factor of s?
False
Let w = 92 - 45. Let j be (2/(-3))/(1/(-3)). Suppose -z - w = -j*z. Is 20 a factor of z?
False
Suppose -n + 3 = 2*p - 7, 2*p + 4*n = 10. Let l = 3 - p. Does 11 divide (-7)/(-2*l/(-8))?
False
Let h(s) be the first derivative of s**3/3 + 2*s**2 - s - 1. Let o be h(-5). Suppose -46 = 2*p - 4*p + o*a, -2*p + a + 37 = 0. Is p a multiple of 17?
True
Let s be (-5)/(5/3) + 18. Suppose -3*l - 3*b = -0*l - s, l - 17 = 2*b. Does 9 divide l?
True
Is (-84)/(-2)*(-1)/((-4)/4) a multiple of 10?
False
Let