-33 - 2. Is 7 a factor of 1/(-5) - 987/k?
True
Suppose 5*r + 55 = -5*n - 45, 5*r - 3*n = -84. Let o = r - -14. Let f = o + 22. Does 9 divide f?
True
Suppose -27324 = -2*d - 25*d. Is d a multiple of 24?
False
Let x(f) = f - 2*f + 7 + 16. Is x(11) a multiple of 3?
True
Let u = 126 - 69. Suppose -r - u = -4*r. Is r a multiple of 15?
False
Suppose 5*c = -0*c + 95. Let f(x) = c - 4*x - 5 + 5*x. Is 4 a factor of f(-10)?
True
Let g(n) = -n**2 - 7*n - 4. Let s(h) = -7*h**2 + h. Let f be s(1). Let z be g(f). Let w(i) = 11*i**2 - 4*i + 2. Is w(z) a multiple of 12?
False
Let b(v) be the second derivative of -59*v**5/20 - v**4/12 - v**3/6 + v**2 - 13*v. Let j be b(1). Let k = j - -90. Is 8 a factor of k?
False
Let h(y) = y**3 + 8*y**2 + 11*y - 4. Let o be h(-6). Suppose 3*a = -2*z - o*a + 141, 5*z - 2*a - 309 = 0. Does 8 divide z?
False
Let t = 873 + -866. Is 7 a factor of t?
True
Suppose 4*f + 609 - 4537 = 0. Does 9 divide f?
False
Let x = -87 + 195. Suppose -x + 1252 = 13*u. Is u a multiple of 12?
False
Suppose 0 = 2*i + 2*d - 50, -3*d + 6*d - 15 = 0. Suppose -4*t - i = -2*z + t, -z - 3*t - 12 = 0. Suppose h + z*h = 5. Is 3 a factor of h?
False
Let d(c) = c**2 - c + 4. Let r be d(0). Suppose 2*q + r = 0, -3*x + 0*x - 2*q + 95 = 0. Is 4 a factor of 6/x + 740/44?
False
Let a(p) = 2*p**2 - 4*p + 9. Let v(f) = f**2 - f. Let z(n) = 3*a(n) - 3*v(n). Does 9 divide z(6)?
True
Let a(m) = m**3 + 4*m**2. Let y be a(-4). Suppose -30 = -5*d - s, 3*d + y*d + s = 16. Is 7 a factor of d?
True
Suppose 0 = 72*w - 75*w + 723. Is 15 a factor of w?
False
Suppose -108 = -9*p - 45. Suppose -p*j + 1679 - 587 = 0. Is j a multiple of 12?
True
Suppose -2*n + 8*n - 174 = 0. Suppose 0 = 24*l - n*l + 20. Does 4 divide l?
True
Suppose -3*n + 4*g + 432 = 0, 3*n = -7*g + 8*g + 423. Is 4 a factor of n?
True
Let p(q) = -6*q + 26. Let u(l) = -2*l + 9. Let f(n) = 3*p(n) - 8*u(n). Let s be f(2). Suppose 2*a = 4*g - 92, -s*a - 96 = -4*g + a. Does 7 divide g?
True
Let z(q) = 26*q + 327. Is z(13) a multiple of 7?
True
Suppose -3*z = 3*s - 21, 3*z + 3 = 4*z - s. Suppose 0 = z*x - 0*x - 200. Does 3 divide x?
False
Let y = 352 + -212. Suppose y = 10*w - 6*w. Is 35 a factor of w?
True
Let b(k) = -16*k**3 + 2*k**2 - 4*k + 3. Let i be b(2). Suppose -202*l + 203*l + 78 = 0. Let w = l - i. Does 18 divide w?
False
Suppose 43*n - 1496 = -n. Is n a multiple of 34?
True
Let x = -16 - -13. Let q be 213/18 - x/18. Let r = q - -39. Is 19 a factor of r?
False
Let x(g) = g**2 + 3*g + 4. Suppose 4 = 3*s + h, 0*s - 2*h - 13 = -s. Is x(s) a multiple of 11?
True
Let x be 1 + (-9 + 0)*(-1)/3. Does 39 divide (1 + -2 + 158/4)*x?
False
Suppose -4*o - 312 = -0*o. Let d = 189 + o. Is d a multiple of 28?
False
Let i = -17 - -11. Let v = -4 - i. Suppose -v*x + 45 = c, 3*c + 2*x = 5*c - 72. Does 13 divide c?
True
Let d(o) be the first derivative of 9*o**2/2 - 8*o - 28. Is 25 a factor of d(10)?
False
Let a = 26 - 11. Let y = a - 13. Suppose -3*i + 4*w + 228 = 0, 7*i + 3*w = y*i + 409. Does 17 divide i?
False
Let m(c) = 133*c + 25. Let y be m(6). Suppose 0 = k - 2*t - 144, 4*k - y = 2*t - 229. Is 25 a factor of k?
True
Suppose -5*m - 246 = -w, w + 39 = m + 301. Does 38 divide w?
True
Suppose -3*s + 6 = -q - 3, 3*s - 9 = 0. Suppose -x - 15 + 61 = q. Is x a multiple of 8?
False
Let s = 39 + -67. Let m be s*(-2 + 9/6). Suppose m*g - 9*g - 100 = 0. Is 17 a factor of g?
False
Let c(n) = n**3 + 9*n**2 + n + 11. Let t be c(-9). Let m(r) = 1 + 6*r + 11*r**t + 2*r**2 - 5*r**2 + r**3. Does 4 divide m(-7)?
True
Let m = -2 - -12. Let r = -8 + m. Suppose a = r*j + 2*a - 38, -2*a - 4 = 0. Is 9 a factor of j?
False
Suppose -2*l + 50 = 4*w, -2*w + 50 = -6*l + 2*l. Suppose w = 3*o - 12. Suppose 0 = 2*j - 3*c + c - 12, -o = -2*j + 3*c. Does 4 divide j?
False
Let b(v) = -4*v**2 + 3*v - 3. Let x(n) = 9*n**2 - 6*n + 7. Let j(a) = 7*b(a) + 3*x(a). Let l be j(4). Does 3 divide ((-6)/5)/(l/10)?
True
Let w(n) = 55*n + 30. Let t be w(4). Suppose 0 = -b + 5*g + t, 105 + 395 = 2*b + g. Does 50 divide b?
True
Let p(b) = -17*b**3 - 4*b + 13. Does 9 divide p(-3)?
False
Suppose -1 = d + 2*m - 2, 5*m + 5 = -5*d. Let h = d - -64. Is h a multiple of 7?
False
Let a(b) = b**2 + 16*b + 36. Suppose -13*k - 354 = -120. Does 17 divide a(k)?
False
Suppose 0 = -b - 340 + 2490. Does 15 divide b?
False
Is 47158/(-51)*(-3)/2 a multiple of 41?
False
Is ((-1645)/94)/(2/(-24)) a multiple of 30?
True
Let f be (-28)/7*(-2 - 134). Suppose -22*n + 14*n + f = 0. Is n a multiple of 4?
True
Let o(s) = -s + 18. Let t be o(6). Let n(f) = -f**2 + 22*f + 12. Is n(t) a multiple of 12?
True
Suppose 5*f + r - 20 = 0, 4*f - 11 - 5 = 5*r. Suppose -f*p = -2*k + 92 - 280, 65 = p + 4*k. Suppose 4*l - 2*s = -3*s + p, 17 = l + 5*s. Does 8 divide l?
False
Let m = 915 - 431. Does 22 divide m?
True
Let o(b) = b**2 + 2*b + 7. Let a be o(0). Suppose -a = -2*q - 3. Is 119/q + (-1)/(-2) a multiple of 20?
True
Suppose -y - 2*y + 1550 = -v, 4*y - 2080 = -2*v. Is y a multiple of 14?
True
Let l(r) = r**3 + 4*r**2 + 2*r - 1. Let t = 25 + -27. Let o be l(t). Suppose 3 = o*x, -x - 8 = -j - 0*j. Does 9 divide j?
True
Suppose -3*f = f - 144. Suppose -2*r - 4 = f. Does 3 divide -3*(-1 + r/12)?
False
Suppose u - 80 = 2*a, -4*u + 495 - 175 = 3*a. Is 3 a factor of 672/u*5/2?
True
Let k = 578 + -374. Let a be k/(6/2) + -1. Suppose -3*j + 4*q + 61 = 0, 2*q - a = -4*j - j. Does 8 divide j?
False
Suppose q + 9 - 6 = 0. Let r be (-66)/18 + (-2)/q. Is 9 a factor of (10 + -4)/r + 11?
True
Let h be 1 - (-9)/((-45)/910). Let t = 29 - h. Is t a multiple of 42?
True
Suppose -3*q - 3*t + 161 = -40, -15 = 3*t. Is q a multiple of 6?
True
Suppose -5 = w - 2*w. Suppose r + w*c - 7 = 0, r - 23 = -4*c + 3*c. Suppose -2*o - 9 = -r. Is o a multiple of 3?
True
Let z = -917 - -1538. Suppose n - 177 = s - 18, -4*n - s + z = 0. Does 16 divide n?
False
Let t = -118 + 160. Suppose -2*r = -t - 238. Is r a multiple of 20?
True
Does 12 divide 12 + 485/(-40) - (-37634)/16?
True
Let c = 30 + -27. Suppose t - 30 = 3*x, 5*t - c*t = 4*x + 50. Is t a multiple of 5?
True
Let z(n) = -3*n + 7. Let j be z(6). Let x = j + 17. Let b(u) = u**2 - 4*u + 2. Is 4 a factor of b(x)?
False
Is (6040/3 - -2) + 10/15 a multiple of 126?
True
Suppose 0 = -14*d + 23*d - 342. Is d a multiple of 22?
False
Suppose q + q = -3*x + 4392, 3*q - 5*x - 6569 = 0. Does 43 divide q?
True
Let z(m) = -7*m**3 - 9*m**2 - m + 10. Is z(-5) a multiple of 19?
True
Suppose 5*o - 1584 = -3*o. Is 66 a factor of o?
True
Suppose 125 = 6*v - 301. Let a = v + 2. Is 8 a factor of a?
False
Suppose 2*h - 140 + 0 = 3*m, -4*h = m - 280. Is 65 a factor of h?
False
Suppose 3*w - 348 = 747. Suppose -w = -23*l + 18*l. Does 8 divide l?
False
Let d be 32*(3/6 + 1). Let b = 23 + -26. Does 7 divide 7/(28/d) - b?
False
Does 8 divide (-1)/1 + 3 + 915/3?
False
Suppose -2*q + 0 = 3*g + 5, 3*q = -2*g - 10. Let c be (2 - g) + 42/14. Suppose c*n = -n + 250. Does 14 divide n?
False
Suppose 3*d - 1035 = -2*d. Does 23 divide d?
True
Let p be (-16)/(-88) - 113524/22. Let s be (-4)/22 + p/(-66). Let z = -32 + s. Does 23 divide z?
True
Let z be 1 + -54 - (-6)/6. Is (-4 - z/6)/((-2)/(-54)) a multiple of 21?
True
Let b(v) = v**2 - 5*v + 3. Let p(f) = f**2 - 9*f + 4. Let x be p(9). Let r be (-33)/(-6) - (-2)/x. Does 4 divide b(r)?
False
Let q(x) = 5*x**3 - 7*x**2 + x + 1. Let j be q(6). Suppose -6*i + j = -i. Suppose g = 2*t + 3*t - 164, 5*t + 2*g = i. Is t a multiple of 23?
False
Let l = 11 + -11. Let n = l - -72. Is 24 a factor of (-15)/3*n/(-15)?
True
Let p = -141 - -97. Let w be (p/33)/((-4)/18). Is 22 a factor of (44/(-3))/((-1)/w)?
True
Let b be (-3887)/(-7) + (-10)/35. Suppose 8*a - b = 5*a. Let n = a + -89. Is 24 a factor of n?
True
Let f = -80 - -14. Is (f/(-10))/(-4 + 707/175) a multiple of 24?
False
Let a = 6 + -10. Let h(v) = -4*v**2 + 4*v - 12. Let d(c) = -5*c**2 + 5*c - 13. Let i(f) = a*h(f) + 3*d(f). Is i(0) a multiple of 9?
True
Let p(t) be the second derivative of t**5/20 + 2*t**4/3 + t**3 - 3*t**2/2 - 10*t. Let z be p(-7). Does 6 divide 2/z - 354/(-12)?
True
Let i = -853 - -2365. Is 7 a factor of i?
True
Suppose 10440 = -26*r + 30*r. Does 8 divide r?
False
Let t(c) = 117*c. Let i be t(2). Let g be i/5 + 1/5. Let h = -5 + g. Is h a multiple of 16?
False
Let j(x) = -x**2 + 32*x - 30. Let m be j(1). Le