ppose 2*c - 5*z = -20, 0 = -c - z + 3*z - 8. Suppose c = -4*w - 4 - 0, -5*w = -5*n + 210. Does 12 divide n?
False
Let v(w) be the second derivative of -w**7/840 - w**6/180 - 7*w**4/24 - 2*w**3/3 - 5*w. Let r(p) be the second derivative of v(p). Does 14 divide r(-4)?
False
Let p(c) = 3*c**2 + 4 - 7 - 8 + 2*c. Is p(-5) a multiple of 18?
True
Let k = 535 + 545. Is k a multiple of 36?
True
Let z be 10/(400/(-88)) + 4/(-5). Does 4 divide z + 3/(-3 - -4) + 22?
False
Suppose 4*x - m + 236 = 0, -5*x - 4*m = -x + 216. Let s = -13 - x. Does 5 divide s?
True
Suppose j + i - 554 - 447 = 0, 5*j = -3*i + 5015. Is 58 a factor of j?
False
Suppose -3*x + 20 = 11. Let c(j) = j**3 - j**2 - 7*j + 6. Let n be c(x). Suppose 2*m = 2*g + 42, -n*m - 2*m + g = -85. Does 8 divide m?
True
Let m = -46 - -60. Suppose -m*l + 252 = -10*l. Does 5 divide l?
False
Let n(r) = r**2 - 10*r - 11. Let m be n(11). Let x = m - -3. Is -2 + (-128)/(x - 7) a multiple of 27?
False
Let j(w) = -w**3 + 11*w**2 + 4*w + 96. Is 22 a factor of j(-10)?
True
Let u(k) = -5*k**3 - 2. Let v be u(2). Let x be (-204)/v + 2/14. Suppose -2*z - 45 = -x*z. Is z a multiple of 8?
False
Let d(y) = 118*y**2 - 22*y + 21. Does 39 divide d(1)?
True
Suppose 2*v = 7*v + 5*d + 85, -4*v + 4*d - 52 = 0. Let r = v + 6. Let m = 19 + r. Is 5 a factor of m?
True
Suppose -5*o = 3*x - 10, 5*x = -o + 5*o + 66. Is x a multiple of 2?
True
Suppose 4*d + t + 0*t = 10, t = 2*d - 2. Suppose 2*i + 18 = d. Let n(u) = -u**2 - 11*u - 15. Does 2 divide n(i)?
False
Let c = 1062 - 465. Does 12 divide c?
False
Suppose 0 = -4*l - 5*a + 3 - 2, l = a + 7. Suppose -3*p + 8*p - 295 = 0. Suppose -3*c = -l*m - p, -26 + 7 = -c + m. Is 14 a factor of c?
False
Let i(f) = 46*f**2 + 4*f + 3. Let x = -53 + 52. Is 10 a factor of i(x)?
False
Let c(o) = 2*o**2 - 93*o + 134. Let y be c(45). Let n(g) = -2 + 1 + 2*g + 43*g**2 - 4*g. Is 11 a factor of n(y)?
True
Suppose w + 0 = -4. Let p(t) = -42*t - 36. Is p(w) a multiple of 11?
True
Suppose -w - 2200 = -5*z, 4*w = -4*z + 3*z + 461. Does 21 divide z?
True
Let z(w) be the third derivative of 0*w + 0 + 6*w**2 + 5/24*w**4 - 7/6*w**3. Is 14 a factor of z(5)?
False
Let z(j) = 3*j**2 + 2*j + 2. Let v be z(-2). Let m be (-2)/(-10) + 48/v. Let s(f) = 2*f**2 - 3*f - 2. Is 11 a factor of s(m)?
True
Suppose -3*y + 408 = 13*m - 10*m, 287 = 2*y - 3*m. Is y a multiple of 32?
False
Let f(g) = -g**3 - 3*g**2 + 8*g + 2. Let z be f(-5). Suppose 5*d - d = z. Suppose -i + 31 = -2*p, 134 = 5*i - 6*p + d*p. Does 25 divide i?
True
Let n(f) = -f**3 - f**2 - 2*f + 16. Let r be n(0). Let q be (r - 2)/(-2) - 2. Does 10 divide 87/6 + q/6?
False
Let y be (-16)/6*18/8. Let z = y + -8. Let w = z + 27. Is 13 a factor of w?
True
Let f = 484 - 398. Is 11 a factor of f?
False
Suppose -2*n + 0 = -4. Suppose -n*u + 2 = -u. Let s = 29 - u. Does 6 divide s?
False
Is 17 a factor of ((-6180)/(-36) - 3) + (-4)/6?
False
Suppose -12 = 23*a - 24*a. Suppose 63 = -a*h + 15*h. Does 13 divide h?
False
Suppose 4*n - 257 = z, z - 2 = -3. Is (-3)/(4/n*-3) a multiple of 8?
True
Suppose 0 = 5*h - 4*t - 13489, 2*h - 3108 = -t + 2285. Does 84 divide h?
False
Let l = 1166 + -726. Does 4 divide l?
True
Suppose 5 = -0*j + 5*j. Let b(g) = 6*g - 5. Let q be b(6). Suppose 3*p + j - q = 0. Is p a multiple of 6?
False
Suppose 0 = 4*x - 0*x + 3*z - 24, 2*z - 5 = x. Suppose 5*d - b - 46 = 0, -2*d + x + 11 = 4*b. Does 4 divide d?
False
Let r(b) = 57*b**3 + b**2 + 2*b + 1. Let n be r(-1). Let d = 42 - n. Suppose -2*i + d = 4*l + l, -78 = -2*i + 2*l. Is 12 a factor of i?
False
Is (807/6 + (-4 - 1))*6 a multiple of 21?
True
Let o(g) = 4*g**2 + 9*g - 1. Is 44 a factor of o(-7)?
True
Let p be 1980/143 - 2/(-13). Suppose -r - p = -4*i, 0*i + 3*r + 9 = i. Let q = i - -12. Is q a multiple of 9?
False
Let a = -220 - -61. Let i = -87 - a. Is 12 a factor of i?
True
Let s(r) = 2*r**2 - 21 - r**2 + 17. Does 7 divide s(-5)?
True
Let d = -37 + 54. Let c = d - 17. Is 5 a factor of 15 + (c - 2/1)?
False
Suppose -6*j = -3984 - 7098. Is 32 a factor of j?
False
Suppose 1386 = 3*y - 3*x, y + 5*x - 48 = 408. Is y a multiple of 5?
False
Is 19 a factor of 8*(118 + -4)/2?
True
Let q = 60 - 57. Suppose 6*n - 945 = q*n. Is n a multiple of 21?
True
Let z(u) = 3*u - 55. Let m be z(19). Is m - (2 + -4 + -29) a multiple of 19?
False
Let r(i) = -i**2 + 16*i - 32. Let a be r(13). Suppose a*p + 0*p = 1064. Is p a multiple of 32?
False
Let z(d) = 10 + 69*d**3 - 32*d**3 + d - 36*d**3 - 12*d**2. Does 3 divide z(12)?
False
Suppose 815 - 5141 = -7*f. Is (-6)/(-15) - f/(-5) a multiple of 17?
False
Suppose -2*d + b = -11, -5*d + 0*b = b - 24. Suppose 4 = -4*k, d*w - 10 + 4 = -4*k. Suppose -w*c = -c - 37. Does 8 divide c?
False
Let a be (-4)/(-16) - 33/4. Let u(f) = -8*f**2 - 4*f + 2. Let x(b) = -b**2 + b + 1. Let h(q) = -u(q) + 6*x(q). Does 11 divide h(a)?
False
Suppose 4851 = 3*c - p, -8*p = -6*p. Is c a multiple of 49?
True
Suppose 0 = -3*d + 252 - 87. Suppose i = o - i - d, 2*o - 113 = 3*i. Does 20 divide o?
False
Let p = 40 - 35. Suppose -2*q + p*m = -q - 97, q - 2*m = 82. Does 18 divide q?
True
Let f(q) = -14*q + 11. Let a be f(-7). Suppose -90 = -4*u + 3*j, -2*u - 2*j = -7*u + a. Suppose 3*v + u = 189. Is v a multiple of 17?
False
Let d(f) be the third derivative of f**4/24 + f**3/6 + 2*f**2. Let o(r) = 3*r + 4. Let b(y) = 4*d(y) - o(y). Is b(11) a multiple of 3?
False
Let h = 2241 + -1566. Does 15 divide h?
True
Let v(s) be the first derivative of -s**4 - s**3/3 + 5. Let g be v(-1). Suppose 2*z - g - 7 = 0. Is 4 a factor of z?
False
Let b = 269 + -81. Is 47 a factor of b?
True
Is 8/(-76) - 71104/(-418) a multiple of 4?
False
Let a be -2*(-2)/(-4)*-4. Does 19 divide (89 - 4/a)/1?
False
Is 11 a factor of 22*((-60)/(-10))/(6/28)?
True
Suppose -8*m + 1396 = -4*m. Suppose 0 = -u - 3 + 2, -u = -4*d + m. Is 28 a factor of d?
False
Is ((-12)/(-8)*-101)/(4/(-8)) a multiple of 2?
False
Let r = 12 - 12. Suppose r = -l - l + 4. Suppose 4*v = -l*c + 24, -5*c + 57 = -c + 5*v. Is c a multiple of 9?
True
Let b = -9406 - -13371. Is 61 a factor of b?
True
Suppose 6*h - 3*h = -6. Let l be -4*(-1 - h) - -6. Let y(s) = 5*s**2 + 2*s. Is 8 a factor of y(l)?
True
Is 29 a factor of ((-282)/24)/((-2)/16)?
False
Does 9 divide 1090/6 + (-355)/213?
True
Let g = 11 - -1. Let w = g - 10. Suppose w*z = -2*u + 22, -5 = u - 5*z - 28. Does 3 divide u?
False
Let k = -25 - -265. Is 20 a factor of k?
True
Let q(r) = r**2 - 7*r + 1. Let u(y) = y**2 - 9*y + 1. Let z(v) = 4*q(v) - 3*u(v). Does 3 divide z(-4)?
True
Suppose 2*m + 5*r = 26, -3*r = -5*m + 5 - 2. Suppose -6*w + w - 2*u = -97, 0 = -3*w + 5*u + 83. Suppose w = v - m. Is 6 a factor of v?
True
Let s = 822 - 646. Does 27 divide s?
False
Suppose -2*l + 4 = -y, 8*l - 5*l = -y + 6. Suppose 4*i + 3*m = 439 - 87, -l*m = -5*i + 463. Does 8 divide i?
False
Let s = 987 + -971. Does 9 divide s?
False
Let m(x) = x**3 + x**2 + 2*x + 15. Let v be m(0). Is 12 a factor of (((-432)/v)/(-2))/((-4)/(-30))?
True
Let f = -28 + 54. Suppose 0 = -p + 7 - 0. Let w = f + p. Is 11 a factor of w?
True
Is 19 a factor of (-2)/(-8)*((-426)/(-6) - -5)?
True
Suppose t + 1765 - 4772 = 0. Is 31 a factor of t?
True
Let d = 8 + -12. Is 26 a factor of (-520)/d*(-2)/(-5)?
True
Let l = 40 + -29. Let r = -8 + l. Suppose -45 = -r*x - 4*g, 3*x - g - 21 = 3*g. Does 3 divide x?
False
Let p = 5 - -3. Does 11 divide 51 + p + -10 + (1 - 0)?
False
Suppose -3720 = -5*s + 5*r, 5*s - 2*r - 5350 = -1624. Is 88 a factor of s?
False
Suppose 0 = -6*r + 3 - 555. Is r/(4 + -8) - 4 a multiple of 5?
False
Let p(y) = y**3 - 9*y**2 + 5*y - 6. Let a(s) = -s**3 + 9*s**2 - 6*s + 6. Let x(v) = 2*a(v) + 3*p(v). Let d be x(9). Is 2 a factor of 69/d - 4/14?
False
Let c(w) = w**2 + 8*w - 7. Let s be c(-9). Suppose d + 5*o = 8, -s*o + 6 - 13 = -3*d. Suppose -4*p - 4*u = -112 - 4, 0 = 5*p - d*u - 121. Is 26 a factor of p?
True
Let u = 898 - -362. Is u a multiple of 20?
True
Let g = -48 + 56. Is 7 a factor of 1 + -1 + 2/(g/308)?
True
Let l be (-1)/(-1) + 3 + -2. Let j be 2 + 0 - (8 + -35). Suppose -2*m + 70 = 2*o, j = l*m + 5*o - 56. Is 11 a factor of m?
False
Suppose s = -s. Let g be -6 + 7 - (s - 0). Is g*(3 - 2) + 12 a multiple of 8?
False
Let u = 29 - 24. Suppose -u*p - 4 = -c, 0*p - 4*p + 40 = 4*c. Suppose -c*j = -7*j - 34. Is j a multiple of 5?
Fal