 divide ((-8)/q)/((-2)/39)?
False
Let c(f) = 2*f + 16. Let x be c(-6). Suppose 2*v + 2 = -x, -3*w + v + 156 = 0. Does 4 divide w?
False
Suppose 0*y = 4*f - 5*y - 697, -5*y = -5*f + 865. Is f a multiple of 70?
False
Let p(z) = -z**2 - 6*z - 3. Let b be p(-6). Let x be (-1)/((-1)/b)*1. Is 15 a factor of 450/10 - (-1 - x)?
False
Suppose 138*l - 112*l = 14950. Is 103 a factor of l?
False
Let d(r) = r**2 + 9*r - 11. Suppose x = 2*t + 24 - 2, -x + 52 = -5*t. Let b be d(t). Let a = 38 - b. Does 14 divide a?
False
Suppose 28 = -a - 0*a. Is (144/a)/(2/(-35)) a multiple of 15?
True
Let p(m) = -2*m + 18. Let q be p(8). Suppose -q*a = 5*f - 67, 121 = 5*a + f - 4*f. Does 8 divide a?
False
Is 1469/(-26)*2/(-1) a multiple of 13?
False
Let s(t) be the first derivative of 1 + 7*t + 3/2*t**2. Is s(13) a multiple of 9?
False
Let w(v) = -2*v**3 + 2*v**2 - 2*v + 4. Let o be w(3). Let k = 73 + o. Does 4 divide k?
False
Let l be -2 + (3 - 0 - 1). Let g be -2 - -1177 - (l - 1). Does 14 divide g/35 + 2/5?
False
Suppose 2*t = -0*t - 112. Let d = -99 - t. Let f = -21 - d. Is 11 a factor of f?
True
Let i(c) = -3*c - 8. Let n be i(-6). Let a = 13 - n. Is -3 + (a - -2) - -28 a multiple of 19?
False
Suppose 6*z - 42 = 3*z. Suppose -906 = -20*a + z. Does 3 divide a?
False
Suppose 31 = -2*w + 3*y - 48, -5*w - 202 = -3*y. Let m = 82 + w. Let c = -26 + m. Is c a multiple of 15?
True
Let k be 4 - (-1)/((-5)/5). Suppose 5*d - 130 = -k*b, -3*b + 13 + 13 = d. Is d a multiple of 2?
True
Let y(k) = k**2 + 4*k + 4. Let i be y(-3). Let f(b) = 4*b - i + 2 - b**2 - 3*b + 57*b**2. Does 11 divide f(-1)?
False
Let a(s) = -15*s + 62. Is 5 a factor of a(-4)?
False
Let d be (51/(-34))/(6/12464). Is 16 a factor of 2 - (-8)/(-3) - d/12?
False
Suppose -4*y - 4*y + 680 = 0. Let v = y - 70. Is 3 a factor of v?
True
Suppose -3*l + l + 5*h + 20 = 0, 0 = 5*l + 5*h + 20. Suppose -2*s + 187 = 177. Suppose -3*z = l, 0 = s*i - 0*i - 5*z - 240. Does 24 divide i?
True
Let g(b) be the first derivative of 14*b**2 - 16*b + 34. Does 20 divide g(7)?
True
Suppose -3*r = -8*r + 150. Suppose -3*t + t + r = 0. Does 4 divide t?
False
Let n(a) = 3*a - 6. Let d be n(8). Let l(h) = -18 - 25*h + d*h + 14*h. Does 22 divide l(12)?
True
Let w = 240 - 90. Is w a multiple of 50?
True
Let i(h) = -h**3 + 32*h**2 + 70*h - 27. Is i(33) a multiple of 6?
True
Let d be ((-4)/10)/(2/(-140)). Let w = -2 + d. Is w a multiple of 5?
False
Let b(y) be the first derivative of y**3/3 + y**2/2 + 42*y - 1. Let k(p) = -p**2 - p. Let z be k(0). Does 13 divide b(z)?
False
Let q(n) = -5*n + 318. Is 19 a factor of q(37)?
True
Let g = 2 - 4. Let w be 31 + (108/(-45))/((-12)/20). Is 7 a factor of (w/(-2))/(1/g)?
True
Suppose 196 = -165*h + 172*h. Is h a multiple of 4?
True
Let w(s) = 2*s**2 - 48*s - 32. Does 60 divide w(-13)?
False
Suppose 3*n + 3*j = 6, 0*n - 3*n + 38 = -5*j. Does 6 divide (-70)/(-4) - n/(-9 + -3)?
True
Let w = 36 + -32. Is 6 a factor of 36/(-1 + (w - 1))?
True
Let s be (2 - 11/1) + 3. Let a be (-9)/(-2)*(-4)/s. Suppose 2*h + 56 = 4*i, a*h = 5*i - 9 - 61. Is 4 a factor of i?
False
Let i(h) = 2*h + 12. Let t be i(-5). Suppose -5*k - 4*g = -10*k + 127, -t*k + 62 = 4*g. Does 7 divide k?
False
Suppose -6*w + 2*w - 20 = 2*q, -5*q - 62 = -2*w. Let k(o) = -15*o - 25. Does 38 divide k(q)?
False
Suppose -d + 5*r = d - 857, 5 = r. Suppose 14*x + d = 21*x. Is 9 a factor of x?
True
Let m be ((-33)/4)/(3/(-16)). Let a = m - -10. Suppose -2*j + 4*s = -30 + 8, 3*j - a = -s. Is 6 a factor of j?
False
Is 4 a factor of -4*(-6 + (-9)/(-9))?
True
Let q(p) be the third derivative of p**6/120 - 17*p**5/60 - 49*p**4/24 + 3*p**3 - 19*p**2. Is q(20) a multiple of 17?
True
Let n(j) = -4*j + 10. Let g be n(4). Let s(x) = -4*x - 3. Let b(k) = -k - 1. Let l(q) = g*b(q) + s(q). Is l(6) a multiple of 6?
False
Let s be (-9 - -10)*(1 - -3). Let y be (-6)/(4*1/s). Let d(i) = i**2 + 6*i + 4. Is d(y) a multiple of 3?
False
Suppose 10*b - 4 = 96. Suppose 0 = -4*m - b*m + 672. Is m a multiple of 6?
True
Let c(n) = -36*n - 4. Does 31 divide c(-3)?
False
Let w be 0 + 2 + -2 + 8. Let g(r) = r**2 - 7*r - 3. Let x be g(w). Let s(v) = v**2 + 2*v + 7. Is s(x) a multiple of 9?
False
Let z be (4 + -3)/(1/52). Suppose -284 = -5*l - 3*w, -w - 55 = -2*l + z. Does 11 divide l?
True
Let m be (-299)/(-65) + (-3)/5. Suppose 0 = y - 7 + m. Suppose 0 = y*a - w + 13 - 119, 4 = -4*w. Is 26 a factor of a?
False
Let d(q) be the second derivative of q**4/12 - q**3/3 + q**2/2 + 2*q. Let l be d(3). Suppose 2*p - l = 2. Is p even?
False
Let j(s) = 9*s - 9. Suppose -6*z + 3 = -5*z. Let w be j(z). Suppose -w*f - 104 = -22*f. Does 4 divide f?
False
Let n(w) = -w**3 + 8*w**2 - w + 10. Let r be n(8). Suppose 2*a - 454 = -2*b, 10*b - 5*b = -r*a + 1144. Is b a multiple of 23?
True
Suppose 5778 = 21*l - 10602. Is 78 a factor of l?
True
Suppose -5*s - n - 512 = 2*n, 4*n + 416 = -4*s. Let t(g) = 2*g**2 + 40*g + 18. Let p be t(-14). Let v = s - p. Does 16 divide v?
False
Let g(i) be the first derivative of i**4/4 - 2*i**3 + i**2 - 3*i + 85. Suppose 0*w - 24 = -4*j + w, -5*j = -3*w - 30. Is g(j) a multiple of 6?
False
Let i be (-16)/32 - (-9)/2. Suppose -i*c + 4*m + 448 = 0, c + c + m - 221 = 0. Is 12 a factor of c?
False
Let s(c) = -4*c - 7. Let g be s(-3). Suppose 0*x = 4*y - 2*x - 256, -g*y + 350 = 5*x. Is y a multiple of 33?
True
Let t(o) = -o**2 - 10*o + 1600. Does 20 divide t(0)?
True
Is 13 a factor of ((-2028)/(-48))/(-3 + 25/8)?
True
Suppose -3*b = -5*a + 5073, 4*b + b = -a + 1009. Is a a multiple of 78?
True
Let u(w) = -9*w**3 + w**2 - 2*w. Let o = -6 - -8. Let m be u(o). Does 10 divide ((-14)/3)/(16/m)?
False
Let m = 669 - 629. Is m a multiple of 10?
True
Is 2 a factor of (-663*(-6)/9 + 1)*1?
False
Let o(p) = -15*p - 175. Let l(u) = -5*u - 58. Let c(g) = 7*l(g) - 2*o(g). Is 3 a factor of c(-16)?
True
Suppose 16*r = -5*a + 20*r + 2084, -4*a - 3*r = -1692. Is 28 a factor of a?
True
Suppose 12*v = 570 + 822. Is v a multiple of 6?
False
Let k = 774 - 351. Is k a multiple of 47?
True
Let v(d) = -d**2 - 7*d. Is v(-3) a multiple of 4?
True
Suppose 0 = 3*q + 4*h - 785, -q - 3*h + 6*h + 240 = 0. Suppose 2*g + 194 = -3*k, -q = 2*k + 2*k - g. Does 8 divide (-2)/8 + (-2192)/k?
False
Suppose 5*k = 9837 - 3087. Is 54 a factor of k?
True
Let h = 34 - -62. Does 15 divide h - (-7 - 1)/2?
False
Let j = -147 - -79. Let p = -39 - j. Does 11 divide p?
False
Suppose -2*r + 0*f - f = -235, 5*r = -2*f + 587. Let h = 174 - r. Is h a multiple of 19?
True
Let t(h) = -7*h - 27. Let s be t(-6). Let g be ((-26)/8 - -1)*-4. Suppose -o = -g - s. Is 4 a factor of o?
True
Suppose 3*r - 15 = -2*t, 9 = -2*r + 11. Does 2 divide t?
True
Let l(d) = d**3 - 13*d**2 + 14*d - 3. Let j be l(12). Suppose -5*i + j = 6. Suppose b = -i*b + 104. Is 13 a factor of b?
True
Suppose 1040 = 13*k - 702. Does 19 divide k?
False
Let o = 3801 - 1671. Is o a multiple of 30?
True
Suppose 4*j - 182 = 3*j. Let g = j - 112. Let q = g - 34. Is 12 a factor of q?
True
Let r(u) be the third derivative of -5*u**4/24 - 4*u**3 - 7*u**2. Let y(z) = 2*z + 4. Let p be y(-7). Does 13 divide r(p)?
True
Let c(u) = -u**3 + 11*u**2 - 10*u - 12. Let f(a) = 5*a**3 - 55*a**2 + 51*a + 60. Let s(h) = 11*c(h) + 2*f(h). Is s(10) a multiple of 4?
True
Let y(r) = -r**3 - 3*r**2 - r + 5. Let j(c) = -2*c**3 - 6*c**2 - 3*c + 10. Let f(b) = -6*j(b) + 13*y(b). Let l be f(-4). Does 12 divide ((-4)/(-5))/(l/75)?
True
Suppose -3*l - 2*i - 136 = l, -3*l - 116 = 5*i. Let v = l - -30. Let d(k) = -10*k - 2. Does 18 divide d(v)?
True
Suppose -4*g + 139 = -305. Is 3 a factor of g?
True
Let b be 3 + 0 + 6/(-3). Let h be (b - -3)*2/(-4). Let s(p) = -2*p**3 - p**2 - 2*p - 2. Is 14 a factor of s(h)?
True
Let y = 620 - 290. Suppose -150 - y = -3*p. Does 32 divide p?
True
Let p = 10 + 16. Suppose p = 7*j - 58. Does 12 divide j?
True
Suppose 6*j - 2*j + 4*w - 80 = 0, -2*w - 32 = -j. Does 37 divide 178*(-18)/j*2/(-3)?
False
Let m(l) = l**3 + 8*l**2 + 8*l + 4. Let q be m(-7). Let h be -4*(-3)/6 + q. Does 10 divide h - -1 - (-220)/11?
True
Let i(j) = -j**3 - 9*j**2 - 22. Does 6 divide i(-10)?
True
Suppose -4354 = -5*q - 944. Does 62 divide q?
True
Let x = -17 - -24. Suppose -19 = -3*i - x. Suppose 0 = i*o - 8*o + 472. Is o a multiple of 24?
False
Suppose 444 + 234 = 2*c - 5*g, 3*g = 2*c - 678. Is 39 