. Let b(s) = -4*c(s) - 3*r(s). Let f be b(1). Let g = f - 6. Does 4 divide g?
True
Let k be (-1)/(0 - -1) + 45. Let i = 19 + -17. Suppose n - 2 = 4*u, 0*n + i*n - k = -2*u. Does 9 divide n?
True
Let l = -97 + 151. Suppose 2*f - l = -3*q + 7*f, -2*f + 59 = 5*q. Does 6 divide q?
False
Suppose -5*n = 3*d - 39, 31 = 2*d + 5*n - 0. Does 8 divide d?
True
Let q = -2 - -5. Suppose 446 = 3*b - 46. Suppose l - 194 = -q*c, 2*c + 5*l + b = 5*c. Is 18 a factor of c?
False
Let d = 27 + 3. Suppose -a = -12 - d. Let g = 60 - a. Is g a multiple of 9?
True
Suppose 0 = 5*t - 126 - 54. Does 36 divide t?
True
Does 6 divide (-3 - -1)/((-2)/7)?
False
Is 345/7 - (-2)/(-7) a multiple of 7?
True
Is 1*(88 + (-6)/6) a multiple of 21?
False
Let n(g) = -62*g. Let o be n(-3). Suppose -2*f + 40 = v, -5*v + 3*f = -f - o. Is 19 a factor of v?
True
Let t = -88 + 60. Let f be (-5 + 1)/(4/t). Suppose -h - f = -3*h. Is h a multiple of 14?
True
Suppose 3*t - 5*q = 97, 2*q + 2 = -8. Does 4 divide t?
True
Suppose 5*l - 141 = -36. Let s = l + -12. Is 9 a factor of s?
True
Suppose 0 = j - 6*l + l - 37, -5*j = 2*l - 185. Let f = 71 - j. Is f a multiple of 17?
True
Suppose -13 = -4*l + 3*l. Is 7 a factor of l?
False
Suppose 6*b + 138 = 384. Is b a multiple of 13?
False
Let f(b) = b + 5. Let v(i) = i - 1. Let c(t) = -f(t) - 4*v(t). Let r be c(-1). Does 6 divide r/(-6) - 53/(-3)?
False
Let z = 36 + 20. Is 14 a factor of z?
True
Let b = -908 + 1379. Is b a multiple of 40?
False
Let f = -89 - -152. Is f a multiple of 5?
False
Suppose 0 = -4*b + p + 233 + 479, -5*b = -5*p - 890. Is b a multiple of 15?
False
Let x = 30 + -2. Is 14 a factor of x?
True
Let f(q) = -6*q + 5*q - 2 - 8*q. Is 8 a factor of f(-2)?
True
Let i(w) = 26*w**3 - 2*w - 1. Let n be i(-1). Let q = -63 + -19. Is 8 a factor of q/(-10) + 5/n?
True
Suppose c - 92 = 46. Is c a multiple of 26?
False
Let m(s) = 9*s + 3. Let u be m(4). Let d = 86 - u. Is 21 a factor of d?
False
Suppose -6*j = -136 - 8. Is j a multiple of 5?
False
Is 8*(196/16 - 2) a multiple of 15?
False
Let p(t) = -t. Suppose 23 - 3 = -5*x. Let r be p(x). Is (r + -10)/(3/(-10)) a multiple of 10?
True
Suppose -3*f - 3*r + 48 = -2*f, -5*r + 46 = f. Is 7 a factor of f?
False
Let b = 133 + -124. Does 2 divide b?
False
Suppose -377 + 127 = -5*g. Does 10 divide g?
True
Suppose -2*o - 6 = -82. Let r = o - -19. Is 12 a factor of r?
False
Let p = -14 + 21. Is p a multiple of 4?
False
Let y(d) = -d**3 + 9*d**2 + d - 6. Let o be y(9). Suppose -o*b - 2*s + 26 = -b, 2*b - 25 = -s. Suppose 5*a = -5*t + 43 + 37, 3*t = b. Is 6 a factor of a?
True
Let y(v) = -v**3 - 7*v**2 - 9*v - 5. Is 4 a factor of y(-6)?
False
Suppose -6*p + 10*p - 5*r = 187, 4*p + 3*r = 195. Is p a multiple of 4?
True
Let v(g) = g**2 + 10*g + 12. Let s be v(-9). Suppose 0 = 5*p - 3*k - 1, 4*p - 2*p + 5 = s*k. Suppose x + p*x = 102. Does 17 divide x?
True
Let w(v) be the first derivative of v**3/3 - 2*v**2 - 2*v + 2. Let h(u) be the first derivative of w(u). Is 2 a factor of h(3)?
True
Let r(z) = -12*z - 12. Let j be r(-11). Suppose -2*t - j = -5*t. Is t a multiple of 17?
False
Let s be 1/2*-1*-6. Let m be 0 + -2 + (-16 - -18). Suppose 0*a + 5*a - 2*v - 179 = m, 0 = s*a - 2*v - 105. Does 12 divide a?
False
Is 5 a factor of (18/(-8))/(18/240*-1)?
True
Let n = -7 - -37. Let v = n + -12. Does 7 divide v?
False
Is 21 a factor of ((-468)/65)/((-6)/160) - -4?
False
Suppose -3 = -3*t, -2*t - 781 = -4*x + t. Suppose x = 5*j - 4*y, 3*j - 4*j + 2*y + 38 = 0. Does 20 divide j?
True
Suppose 33*y = 16*y + 2618. Is y a multiple of 11?
True
Suppose 2*s = -2*s + 176. Let x = s - 21. Let g = -9 + x. Does 5 divide g?
False
Suppose -2*k - 2 = -v + 2, 3*v - 3*k - 15 = 0. Does 23 divide (69/v)/((-2)/(-4))?
True
Suppose 4*d = 26 + 34. Does 9 divide 2 + 5/(d/48)?
True
Let y = -2 - 4. Let l = 4 - y. Does 6 divide l?
False
Suppose 0*m - 3*w + 33 = 3*m, -3*w - 65 = -4*m. Suppose 0 = -0*z + 2*z - 8. Is m/(z*(-2)/(-4)) a multiple of 7?
True
Suppose 3*l + z + 1 = 0, z - 3*z - 2 = 0. Let g(f) = f + 8. Does 8 divide g(l)?
True
Let u(a) be the second derivative of a**6/360 + a**5/30 - 2*a**3/3 - 2*a. Let v(x) be the second derivative of u(x). Is v(-5) a multiple of 5?
True
Let x = 7 + -2. Let j be -3 + 1 - (-11 + x). Suppose 2*b - 5*b - 20 = -j*i, -5*b = -20. Is i a multiple of 8?
True
Let w(h) = 2*h**2 - h + 4. Does 8 divide w(4)?
True
Let x(t) = t**3 + 9*t**2 - 12*t - 9. Let y be x(-9). Let u = y - 63. Is u a multiple of 9?
True
Suppose -4*g = g - 5. Let q be 2*(12*g)/(-3). Let v = 2 - q. Is 5 a factor of v?
True
Suppose -d + 4*d - 15 = 0. Suppose 0*b - 5*b - 8 = -x, -2*x - d*b = -1. Suppose x*n - 57 = -0*n. Is n a multiple of 7?
False
Let c = 2 + 1. Suppose 171 = c*q + 27. Is q a multiple of 16?
True
Let i = -5 + 10. Suppose -3*g + 4*q = 2*g - 7, 0 = 3*g - i*q + 1. Suppose 0 = g*j + 3*r - 9, -2*j + 18 = -3*r - r. Is 5 a factor of j?
True
Suppose 5*z = 2*z + 57. Suppose 0*q + z = q. Does 9 divide q?
False
Let i = 1 - 1. Suppose 44 = 4*y - i*y. Is y a multiple of 7?
False
Is (2*9/12)/((-18)/(-120)) a multiple of 5?
True
Let a = -4 - -16. Suppose 0 = -5*f + 97 - a. Does 9 divide f?
False
Let p = -44 - 6. Let h = p - -98. Suppose y = 4*y - h. Is y a multiple of 16?
True
Suppose -w = 4*w - 350. Is 14 a factor of w?
True
Suppose -50 = -4*m - 14. Let j(p) = p**2 - 6*p - 3. Is j(m) a multiple of 12?
True
Suppose 5*i + 4*m - 45 = 0, -5*i - m = -10*i + 45. Let x(d) be the first derivative of d**3/3 - 5*d**2/2 + d - 1. Is x(i) a multiple of 15?
False
Let z = -7 - -9. Suppose -b - 1 = 5*s, -2*b - 4*s + z*s = -6. Suppose 3*h + h - 144 = 4*r, 4*r - 128 = -b*h. Is 17 a factor of h?
True
Let r(l) = l - 2. Let y be r(-3). Is 68/20 + 2/y a multiple of 2?
False
Does 24 divide 776/(-24)*1*-3?
False
Suppose 5*t = 4*t - 8. Is (-450)/24*t/3 a multiple of 18?
False
Let t(j) = -4*j + 46. Does 2 divide t(9)?
True
Let z = -147 + 160. Is 5 a factor of z?
False
Suppose -y + 47 - 14 = 0. Is 11 a factor of y?
True
Let d be 4/2 - (5 + -2). Let z be -18 - (d + 3) - 2. Does 4 divide 1 + -2 - z/2?
False
Let g = 429 + -280. Does 35 divide g?
False
Let i(z) = z. Let p be i(0). Suppose 4*x + 28 = -p*b + 4*b, 4*x + b = -18. Does 2 divide ((-24)/(-15))/((-2)/x)?
True
Let j(c) = c**2 + 9*c - 6. Is j(-10) a multiple of 4?
True
Let w be (-1)/2 + (-4)/(-8). Let m(o) = o**2 - o + 7. Is m(w) a multiple of 3?
False
Suppose -34 - 11 = -5*j. Let g be j + 2 - 1 - 0. Is g/6*3/1 a multiple of 4?
False
Let m(k) = -2*k**2 + 2*k - 1. Let j be m(2). Let q = -5 - j. Suppose t + q = 5. Is t a multiple of 3?
False
Suppose 0 = k + k - 5*z - 64, 5*z = 0. Suppose -m - k = -5*m. Is 8 a factor of m?
True
Let i = -18 - -14. Is 13 a factor of (i - -43)*(-2)/(-3)?
True
Suppose 2*z - 3*p + 7*p - 92 = 0, 0 = 3*z - 4*p - 108. Is 30 a factor of (z/(-12))/((-2)/18)?
True
Let a = -54 - -133. Does 21 divide a?
False
Suppose -332 = -5*b + 128. Is 6/(-4)*b/(-6) a multiple of 23?
True
Let q(i) = -9*i + 2. Is 5 a factor of q(-2)?
True
Suppose 3*p = -3*u + 141, 2*p - 50 - 87 = -3*u. Is u a multiple of 16?
False
Let l(o) = -o**2 + 25*o - 14. Does 20 divide l(19)?
True
Let b(k) = k**2 - k - 1. Let v(a) = -a**3 - 10*a**2 - 2*a + 1. Let g(x) = -2*b(x) - v(x). Is g(-6) a multiple of 18?
False
Let m(n) = 5 + 3*n - 5 + 3*n**2 + 2. Let j be m(-2). Let w = 18 - j. Is w a multiple of 9?
False
Let u(w) = 42*w**3 - w**2 + 1. Let v be u(-1). Let a = 78 + v. Is 18 a factor of a?
True
Let f = -113 - -147. Is 15 a factor of f?
False
Let k be 0/((-1 - -1) + 2). Let v(f) = f**2 - 2*f + 2. Let a be v(2). Suppose q - a - 5 = k. Is q a multiple of 7?
True
Suppose -2*i + 124 = -296. Is i a multiple of 30?
True
Suppose -5*d - 209 = 5*u - 1319, 4*d + 3*u = 891. Is 36 a factor of d?
False
Suppose -3*u + 2*l - 7*l + 82 = 0, -4*l - 112 = -5*u. Is u a multiple of 12?
True
Let y be (-9)/(-2)*(-6)/(-9). Suppose 0 = y*w + 156 - 378. Is w a multiple of 15?
False
Suppose 5*r - 7*r = -k - 221, 4*r + k = 457. Is 10 a factor of r?
False
Let h = 228 - 102. Is 18 a factor of h?
True
Suppose t = -t - y + 28, t = -5*y + 5. Let d = 8 - t. Does 6 divide 2/d + 88/14?
True
Let p(b) = -b**3 + 7*b**2 + 6*b + 1. Let x(m) = m + 11. Let w be x(-7). Let r be 28/(-2)*(-2)/w. Is p(r) a multiple of 11?
False
Suppose 6 = -3*c + 4*n, 4*n - 5*n = 3*c - 9. Let z = -9 - -