
Let i = 2 - 6. Let b = i - -6. Suppose 114 = 5*f + 4*n, b*n = 5*f - n - 107. Does 9 divide f?
False
Suppose 0 = -t - 2, -2*j - 2*t = 3*j - 21. Let k(x) = 2*x - 3. Does 3 divide k(j)?
False
Let v(j) = -j**3 - 11*j**2 - 12*j + 12. Let u be v(-9). Does 16 divide 1/1 + (-2 - u)?
False
Let f(r) = 2*r**2 + 3*r + 3. Let l be f(-2). Suppose l*i + 4*b - 3 = 0, 2*i + 3*b - 5*b = 12. Is 3 a factor of i?
True
Suppose -5*b + 2*s = -496, 2*b + 9 - 208 = s. Is b a multiple of 49?
True
Let x = -17 - -8. Does 7 divide (-120)/(-9) - 6/x?
True
Let c(r) = -21*r + 11. Does 25 divide c(-9)?
True
Suppose 2 = 3*q - 2*q. Let j be -3 + q + (-22)/(-1). Let m = 35 - j. Is m a multiple of 9?
False
Suppose -3*g - 12 = 0, k - 8 = g + 19. Does 8 divide k?
False
Let g be (1 - (-1 + 1)) + -1. Suppose -4*u + l + 81 + 1 = 0, -5*l - 10 = g. Does 10 divide u?
True
Let w(i) = 2*i**3 - 11*i**2 - 3*i - 7. Does 8 divide w(7)?
False
Let c(h) = h**3 - 8*h**2 + 3*h - 5. Is 5 a factor of c(8)?
False
Suppose 19 = -4*b + 119. Is 5 a factor of b?
True
Let h(c) be the second derivative of -c**3/6 + 5*c**2 - c. Is 6 a factor of h(-10)?
False
Let n(v) = v**2 + 2*v + 2. Let o be n(-2). Suppose -4*s + 2*z = -o*z - 76, -5*z = -5. Is 20 a factor of s?
True
Does 26 divide ((-9)/18)/((-1)/202)?
False
Suppose 4*g - 2*f = 392, -5*g - 2*f + 460 = 3*f. Does 16 divide g?
True
Suppose -3*b = -0*b - 9. Suppose 3*j + b*q = 8*q + 47, -j + 3*q = -21. Does 4 divide j?
False
Suppose -2*c - 2*c + 72 = 0. Is c a multiple of 18?
True
Suppose -2*f + 2*n + 100 = 0, -3*f + 4*n + 100 = -f. Let m be (6 - 3)/(-3) + 5. Suppose 0 = m*o - f - 2. Does 10 divide o?
False
Let z be 1/1*12/(-2). Let j(q) be the second derivative of -q**4/12 - 3*q**3/2 + 2*q**2 + 27*q. Does 11 divide j(z)?
True
Suppose 4*d = 5*d - 5. Suppose 0 = -a - 2, -22 = 2*x + d*a. Let y(k) = -k**3 - 5*k**2 + 4*k - 4. Does 3 divide y(x)?
False
Suppose -a = -12 - 23. Does 5 divide a?
True
Suppose 3*r - 3*q - 450 = -2*r, 0 = 4*r - q - 360. Does 25 divide r?
False
Suppose 2*l + 2*l + 36 = 0. Let f(g) = g**3 + 10*g**2 + 4*g - 2. Let n be f(l). Suppose -2*i + n + 5 = 0. Does 12 divide i?
True
Does 34 divide 10*(-4)/(24/(-87))?
False
Let j = 10 - 8. Suppose b - 3*f = 1 - j, 0 = -5*b - 2*f + 46. Does 3 divide b?
False
Let c = 374 - 5. Let h = 148 - c. Is 1/(-5) - h/5 a multiple of 17?
False
Suppose 4*u + 4*r = 4 - 8, -2*u + 22 = -4*r. Let s(b) = -b**u - 5 - 4*b**2 + 3*b**2 - 3*b**2 - b. Is 11 a factor of s(-5)?
False
Let q(z) = -z**3 + 12*z**2 + 2*z - 12. Is 16 a factor of q(10)?
True
Suppose -91 = -a + y, -2*a = 3*y - 32 - 165. Suppose 0 = -4*t + 3*q + a, -q - q = -2*t + 48. Is t a multiple of 8?
False
Suppose 0*w - 4*w = 5*n - 12, 3*w + 6 = 0. Let k be n*-5*5/(-4). Suppose 5*l + k = 105. Is 5 a factor of l?
False
Let s(u) = -2 + 4*u + 7*u + 5. Suppose -23 = -m + 4*i, -5*i - 14 = 2*m - i. Is 18 a factor of s(m)?
True
Let a(y) = 2*y**3 - 2*y**2 - 5*y - 1. Is 25 a factor of a(4)?
True
Let a(w) = -5*w**3 + 4*w**2 - 3*w. Let k be a(2). Let c = 73 - 115. Let s = k - c. Does 6 divide s?
True
Let v be (-4 - -1)/((-6)/(-8)). Let d = v - 2. Let p = d + 9. Is p a multiple of 3?
True
Is 25 a factor of 2/((-8)/116)*-2?
False
Let u(m) = -m**3 - 5*m**2 + 2*m + 5. Let v be u(-5). Is (-108)/v + (-8)/(-20) a multiple of 11?
True
Suppose -3*y + 226 - 1 = 0. Is y a multiple of 21?
False
Let r be -1*(3 + -2 + -181). Does 11 divide r/10 - (1 - -2)?
False
Suppose -4*y - 3*p = -242, 3*y - p - 126 = y. Suppose k - y - 3 = 0. Is 13 a factor of k?
True
Let p = -5 + 5. Let g(h) = 2*h**2 - 11*h - 3. Let v(w) = w**2 - 6*w - 2. Let n(b) = 6*g(b) - 11*v(b). Does 3 divide n(p)?
False
Is 15 a factor of (3 + -7)*2/8 - -70?
False
Suppose k - 2 = 3. Suppose 15 = -2*q - k*d - 1, 0 = -5*q + 5*d + 30. Suppose 0 = 5*j - 5*o - 95, -o = q*j + 2*o - 33. Is j a multiple of 9?
True
Suppose d + 10 = 6*d. Suppose -d*g + 2*y + 40 + 42 = 0, -3*g = 4*y - 88. Is g a multiple of 9?
True
Let q(h) = -h**3 + 8*h**2 - 4*h + 2. Is 23 a factor of q(7)?
True
Let n be (-1)/(-1) + 2 + 7. Let l be (-96)/n*40/(-6). Suppose 2*t - 6*t + l = 0. Is t a multiple of 5?
False
Let c be (1 - 4)/((-3)/6). Let z be (-7 + -8)*(-2)/c. Suppose -z*s = -35 - 190. Is 20 a factor of s?
False
Suppose 3*b - 2*b + 3*x = 12, -2*b + 40 = 2*x. Is b a multiple of 8?
True
Suppose -2*r - 92 = -24. Let y = r - -8. Let g = -6 - y. Does 10 divide g?
True
Suppose 64*q = 59*q + 55. Let f = -7 + 15. Is 9 a factor of 4/(f/q)*2?
False
Is (2 - (-7)/(-3))*-15 a multiple of 2?
False
Let a(v) = -v**2 - 4*v - 3. Let y be a(-3). Suppose y*f = 2*f - 110. Is f a multiple of 14?
False
Let l = 88 + -40. Is l a multiple of 24?
True
Let z = 35 + 1. Let d = 56 - z. Does 20 divide d?
True
Suppose 0 = -11*n + 52 + 25. Is 2 a factor of n?
False
Let j(m) = -m**3 - 4*m**2 + 8*m - 4. Let k be j(-6). Let i = k + 24. Is 18 a factor of i?
False
Let n = -17 - -43. Does 7 divide n?
False
Suppose -5*n = -n - 24. Suppose -1 = v - n. Suppose -2*j - 20 = -o, 3*j = -v*o - j + 86. Is o a multiple of 9?
True
Is (-1*1)/(24/(-1560)) a multiple of 13?
True
Does 17 divide 2212/10 + 1/(-5)?
True
Suppose -4*c - 2*m - 4 = 0, 5*c = 4*m + 8 - 0. Suppose -12 = -c*y - 2*y. Suppose y = a - 1. Is a a multiple of 4?
False
Let n be (-9)/(-3) - 3*-1. Let v(g) = 0 + 2 + 6*g - 2*g - n. Does 5 divide v(4)?
False
Let k(v) = v**2 - 6*v. Let p be k(6). Suppose -3*o + 5*d + 26 = -99, 3*o - 4*d - 124 = p. Does 20 divide o?
True
Let c(i) = -18*i - 6. Is c(-3) a multiple of 12?
True
Let s be (20/2)/(5/5). Let f(r) = 3*r - 8. Does 6 divide f(s)?
False
Suppose 140 = 3*w + 2*y + 2*y, -4*y - 68 = -w. Suppose 2*d - w = -h, 5*d - h + 2*h = 127. Is 18 a factor of d?
False
Suppose p + 5*b - 2 = 3, 10 = -5*b. Is 12 a factor of (-5)/(p/(-9))*4?
True
Let r(g) = g**2 - 3*g - 18. Is r(-6) a multiple of 17?
False
Suppose 0 = r - 3 - 0. Suppose -3*s + 6 - 3 = 0, 4*w - 4*s = 140. Suppose 3*p - w + r = 0. Is 7 a factor of p?
False
Suppose -2*k - y + 5 = -37, -k = 3*y - 26. Is 5 a factor of k?
True
Let t = 3 + -3. Is 10 a factor of 4 + 23 + 3 + t?
True
Let g(j) = 2*j + 2. Suppose 5*m + 3*l - 21 = 0, -1 - 2 = -3*m + 3*l. Let o be g(m). Does 7 divide (-2)/o + 130/8?
False
Suppose 3*b + 5640 - 924 = 0. Is b/(-36) - (-2)/(-3) a multiple of 26?
False
Suppose m - 4*c - 34 = 0, m + 3*c = 5*m - 188. Suppose 4*p - m = -f - 0*f, -2*p = f - 50. Is f a multiple of 16?
False
Let l = 4 - 1. Let n(m) = 12*m - 4 - 18*m + 15*m. Does 17 divide n(l)?
False
Let j(w) = 6*w - 4. Is j(4) a multiple of 20?
True
Let p = 1 + 2. Suppose 4*n + 16 = -4*d, 3*n = p*d - 0*n - 18. Is 9 a factor of 0 + -18*d/(-2)?
True
Suppose -45 = 5*m + 5*r - 0*r, m = 3*r + 3. Does 9 divide m/(-12)*108/2?
True
Suppose -4*l + 6 + 3 = r, -2*r + 6 = 4*l. Suppose 0 = -u + 4*g + 65, -5*u = l*g - 2*g - 304. Let p = u + -43. Is 14 a factor of p?
False
Is 15 a factor of (-248)/(-6) - (51/(-9) - -6)?
False
Let i(a) = -50*a - 60. Is 25 a factor of i(-9)?
False
Suppose 6 = -3*c, u + 1 = c - 5. Let h = 62 + u. Suppose z = -0*l - 3*l + 146, l + 3*z - h = 0. Does 18 divide l?
False
Let s be -7 - -4 - 8*-2. Let v = s + -6. Is 7 a factor of v?
True
Let f(a) = -4*a - 3. Let b be f(-2). Suppose -3*y + 7 = -2*n, 10 = 6*y - y - b*n. Does 3 divide y?
True
Let v = 3 - 1. Suppose v*u = 6*u - 12. Does 11 divide (1*u)/((-6)/(-66))?
True
Suppose -5*q + 15 = 0, 2*t + 2*q - 17 = -3*q. Is -1 + 14 + (t - 2) a multiple of 6?
True
Is (-6)/(-18) + 232/6 a multiple of 13?
True
Let c be 8/(-4) - (0 - -5). Let a = c - -14. Is 6 a factor of a?
False
Is (51/(-4))/(6/(-16)) a multiple of 17?
True
Suppose -5*b - 36 - 199 = -3*t, -294 = -4*t - 3*b. Does 25 divide t?
True
Let l(p) = -p**3 - 7*p**2 + 2*p + 10. Let d be l(-7). Let u(a) be the third derivative of -a**5/60 - 3*a**4/8 - a**3/3 + 3*a**2. Is u(d) a multiple of 9?
True
Does 33 divide 4 + -2 + 21*17?
False
Let p = 131 + -51. Does 20 divide p?
True
Suppose -a = -9*a + 552. Is a a multiple of 13?
False
Suppose 7*j + 18 - 697 = 0. Does 18 divide j?
False
Let q(o) = 12*o**2 - 5*o - 8. Is q(-4) a multiple of 24?
False
Suppose 2*w + 208 = 5*p, -p = -0*p + 3*w - 45. Is 14 a factor of p?
True
Suppose 8 = u + 4. Suppose 24 = -u*m + 4. Is 8 a factor of 3*m*-1 + -2?
False
Let m(n) = -3 - 2*n**3 + 6*n**3 - 3*n**3 - 1 - 4*n + 9*n**2. Let c be m(-9). Does 16 divide (c - 0)