Is w a multiple of 77?
False
Let w(m) = 7*m**3 - 6*m**2 - 3*m - 9. Let s(u) = -8*u**3 + 7*u**2 + 3*u + 10. Let h(n) = -6*s(n) - 7*w(n). Let b be 1/(-2) - 15/6. Does 6 divide h(b)?
False
Let g = 1 + 1. Suppose -2*l + 26 = 4*p, -23 = -2*l - g*p - p. Suppose -l*s + 140 = -2*s. Is s a multiple of 7?
True
Let v(u) = -285*u**3 + 4*u**2 + u - 2. Does 6 divide v(-1)?
False
Let b(d) = 14*d + 508. Does 81 divide b(10)?
True
Let a be (6/(-4))/(15/(-40)). Suppose 3*r - 4*u = -r, -a*r + 5*u = 5. Suppose t - r*x - 57 = 0, 2*t - 127 = 5*x - 38. Is t a multiple of 19?
False
Let x(v) = v**2 + 4*v + 2. Let c be x(-3). Let h be c*6/3 - -7. Does 11 divide 1/(20/104)*h?
False
Suppose 5970 = 4*t + 786. Does 8 divide t?
True
Suppose 14*t = 18*t - 2368. Is 12 a factor of t?
False
Let w be (-370)/(0 - -1 - 3). Suppose 4*h - 207 = w. Is 10 a factor of h?
False
Suppose 3*h - 461 = -0*h + 2*x, 4*x - 302 = -2*h. Let r = h - 98. Is r a multiple of 11?
True
Suppose -2*h + 15*n + 1336 = 13*n, -4*h = -n - 2660. Is h a multiple of 17?
False
Let j(h) = h**2 - 4*h. Let a be j(6). Suppose 0*o + 4*o - a = 0. Suppose 2*k - o*k = -t - 22, 4*t + 62 = 3*k. Is k a multiple of 11?
False
Suppose -2*g + 116 = -216. Does 13 divide g?
False
Let g(w) = w**3 + 2*w**2 - 4*w - 3. Let a(k) = 2*k + 4. Let o be a(-3). Let t be g(o). Suppose -t*s + 57 + 43 = 0. Does 5 divide s?
True
Let o(z) = 16*z**2 - 51*z + 53. Is o(15) a multiple of 19?
True
Let n(p) be the second derivative of 2*p**3/3 - p. Suppose -4*f - o + 16 = 0, -3*o - o + 9 = 5*f. Does 8 divide n(f)?
False
Let s = -41 - -71. Let n = s - -4. Does 7 divide n?
False
Let d(f) be the first derivative of -35*f**2 + 22*f - 10. Is 19 a factor of d(-2)?
False
Suppose q + 0 = 2. Suppose 2*w + 6 = 0, -4*n + 3*w + 31 = -q*n. Is n a multiple of 7?
False
Suppose 5*g = q + 3835, 5*g = 3*q + 2*q + 3815. Is g a multiple of 24?
True
Let l be 6/((-5)/((-40)/12)). Suppose -l*p - 8 = 24. Let q = 22 - p. Is q a multiple of 15?
True
Suppose 3*k + 0 = 6. Suppose x - k*a + 160 = 5*x, -3*a - 54 = -x. Is 14 a factor of x?
True
Suppose 0 = 2*n + 4*f - 298 - 120, -4*f + 12 = 0. Suppose -3*l + 4*j = -n, -4*l + 0*l - 5*j + 250 = 0. Does 12 divide l?
False
Suppose 5 = 3*i + 14. Let g be 12 + (-9)/(-3) + i. Let p = 23 - g. Is p a multiple of 11?
True
Let z be ((-28)/20 - (-4)/10)*-22. Let s = z + -6. Is s a multiple of 2?
True
Let u = 653 + -453. Does 25 divide u?
True
Let k = 1390 + -907. Is k a multiple of 43?
False
Let z(d) be the third derivative of -d**4/8 - 3*d**3/2 + d**2. Is 4 a factor of z(-9)?
False
Suppose -34*t + 36*t - 295 = 5*y, 2*t = y + 283. Does 5 divide t?
True
Let k = -47 + -20. Suppose 0 = -4*a + 568 - 108. Let b = k + a. Does 12 divide b?
True
Let u(j) = 9*j**3 - 5*j**2 - 12*j - 12. Let g be u(9). Suppose g - 1220 = 16*n. Is n a multiple of 13?
False
Suppose -21*d = 7*d - 29764. Is 47 a factor of d?
False
Let y = -34 - -54. Let r = 21 + 45. Let q = r - y. Is 29 a factor of q?
False
Let r(k) = k**3 + 3*k**2 - 18*k + 15. Is 7 a factor of r(6)?
True
Suppose -3*j + 4*n - 16 = -j, 0 = -3*j + n - 19. Let o(p) = 7*p - 10. Let z(r) = -r. Let l(h) = -o(h) - 6*z(h). Does 16 divide l(j)?
True
Suppose -2691 - 117 = -9*t. Is t a multiple of 8?
True
Suppose 10 = 2*b + 5*t, 3*t - 5 + 0 = -b. Suppose -4*p - 3*x = -6, -2*p + b*p - 19 = 5*x. Suppose 0 = -p*j + 7*j - 72. Is 8 a factor of j?
False
Let a(x) = x**2 - 16*x + 20. Let p be a(15). Suppose 178 = p*h - n, 5*h - 3*n - 182 = -4*n. Does 6 divide h?
True
Let t = -21 + 24. Is t + 16/6 - (-1)/3 even?
True
Suppose s = -3*s - k + 779, -5*s + 974 = k. Is 4/(-3)*s/(-10) a multiple of 13?
True
Suppose -3*a + 42 = 2*u - 85, 0 = -2*u + 4. Let k = a - 22. Suppose k = -o + 64. Is o a multiple of 17?
False
Let q(d) = d**3 + 12*d**2 + 11*d + 2. Let o be q(-11). Suppose -5*w - 4*h = -213, 3*h - o*h - 177 = -4*w. Let s = -15 + w. Is 9 a factor of s?
False
Does 8 divide 1/(3039/759 + -4)?
False
Let a be (705 - 3) + 3 + 2 + -5. Suppose -8*l - l = -a. Does 13 divide l?
True
Let a = -69 + 201. Does 22 divide a?
True
Suppose r = -0 + 12. Suppose 0 = -m + 4*m - r. Suppose m*w = -8 + 56. Does 4 divide w?
True
Let p = -7 + 52. Suppose -g + x = -31, -4*g + 85 + p = 2*x. Does 8 divide g?
True
Let o be -4 - (0 - 3) - -3. Suppose 3*a - 5*k - 632 = 0, -4*k + 1004 = 3*a + o*a. Suppose a = 5*v - 101. Does 10 divide v?
False
Let p be (6 - 0)/(2*1). Let w(q) = q**3 - 6*q**2 + 5*q + 5. Let j be w(5). Suppose 16 = j*i - 4*d - 26, -5*i + p*d + 44 = 0. Is i a multiple of 3?
False
Suppose 4*s - 3*w = 7203, 21*s = 19*s - 2*w + 3598. Is s a multiple of 100?
True
Let l = 175 + -121. Suppose c = -g - 6, g = 5*c - 0*g + l. Is (3 - 6) + (2 - c) a multiple of 4?
False
Let n = 12 + -6. Let g(s) = 5*s**3 - 2*s**2 - 2*s. Let u(w) = 4*w**3 - 3*w**2 - 2*w. Let j(c) = 3*g(c) - 4*u(c). Is 12 a factor of j(n)?
True
Let y = 116 + -170. Let m = y + 171. Suppose 5*j - m + 42 = 0. Is 15 a factor of j?
True
Let j(t) = 187*t**2 - 2*t + 8. Is 19 a factor of j(-2)?
True
Let b = 57 + -54. Is 7 a factor of -2 - (-7)/b - (-2184)/36?
False
Let z be ((-15)/10 + 2)*6. Suppose -72 = -z*r + 48. Does 3 divide r?
False
Suppose 0 = 46*c - 27*c - 26163. Is 15 a factor of c?
False
Is 17 a factor of (139 + 2)/(33/187)?
True
Let x be ((-123)/9)/(2/(-6)). Suppose -3*s = -5*h - 0*s - x, -s - 19 = 3*h. Is 29 a factor of 2*87*h/(-14)?
True
Let k be 1010/25 + ((-8)/(-10))/(-2). Let p = 32 + k. Is p a multiple of 24?
True
Let b(d) = 39*d - 132. Does 4 divide b(5)?
False
Does 29 divide 60/(-40)*118*-1?
False
Let q(b) = -6*b + 102. Is q(-11) even?
True
Let t(h) = -15*h**2 + 45*h - 17. Let u(d) = -7*d**2 + 23*d - 9. Let s(k) = -6*t(k) + 11*u(k). Does 15 divide s(4)?
False
Suppose 699 = -3*x - 13593. Is 22 a factor of (-1)/6 + x/(-72)?
True
Let g = 68 + -17. Let u = g + 6. Does 23 divide u?
False
Let v(m) = 3*m**2 + 4*m**2 + m**3 + 5*m + m**3 - 3*m**3. Let c(k) = -k - 5. Let y be c(-12). Is v(y) a multiple of 10?
False
Let t = 247 - 137. Does 10 divide t?
True
Suppose 0 = 5*v - 28 + 8. Is 5 a factor of -5*(5 - v)*-7?
True
Let y(r) = -3*r - 1. Let t be y(-1). Let s = t - 6. Let c(w) = -4*w - 4. Is c(s) a multiple of 5?
False
Suppose -2*a - 5*o = -18, -4*o = -4*a - 11 - 9. Let s = 21 - a. Suppose 8*q - 6*q - s = 0. Is q a multiple of 11?
True
Is ((-7242)/(-170))/(0 - (-4)/20) a multiple of 71?
True
Let b be ((-20)/(-14))/((-1)/(-28)). Suppose -20 = -5*z + 4*n, 4*z + 2*n - 2 - b = 0. Does 8 divide z?
True
Let r(c) = c - 8*c + 18 - 4*c - 4*c. Does 21 divide r(-6)?
False
Let n = -44 + -18. Let a = n + 35. Let k = a + 65. Is k a multiple of 13?
False
Suppose 0 = -4*t - f + 15, -7*t + f + 17 = -3*t. Suppose -1090 - 233 = -3*s. Suppose s - 117 = t*u. Is 14 a factor of u?
False
Let m(c) = c**3 + 12*c**2 - 7*c - 26. Let g be m(-10). Is g + (-1)/2*-2 a multiple of 42?
False
Let j(q) = -13*q - 9. Let p(b) = 7*b + 5. Let i(m) = 6*j(m) + 11*p(m). Let x(h) = -2*h + 2. Let v(o) = -3*i(o) + x(o). Is 9 a factor of v(11)?
False
Let a(j) = -3*j**2 - j - 1. Let d be a(1). Let r(y) = 11*y**2 + 3*y + 11. Does 47 divide r(d)?
False
Let u(k) = k + 7. Let n be u(-5). Let s be 169 + -2 + 2/n. Suppose 10*t - s = 3*t. Is t a multiple of 17?
False
Suppose -8 = -4*g + 2*g. Suppose -g*l + 24 + 2 = -3*t, -4*l = 5*t - 10. Suppose -o + 47 = 3*q, -l*o - 10 - 10 = -2*q. Does 10 divide q?
False
Let d(l) = -56*l + 182. Is d(-8) a multiple of 35?
True
Suppose 4*o - 169 = -17. Does 2 divide o?
True
Let s be 2033/4 - (-11)/(-44). Suppose m - 1214 = -4*m + 4*w, -4*w + s = 2*m. Is 14 a factor of m?
False
Suppose 9520 = -r + 18*r. Does 85 divide r?
False
Let h = 171 - 94. Suppose -2*a - h = -v - 0*a, 0 = -3*v + 4*a + 223. Let i = v - 47. Is i a multiple of 14?
False
Let s = -102 + 204. Does 23 divide s?
False
Suppose 0 = 3*r - 4*k - 316, 0 = 2*r - k - 277 + 63. Is r a multiple of 18?
True
Suppose -v + 1154 = 5*s, 2*v - 862 = -5*s + 291. Does 32 divide s?
False
Suppose -14*y = -2113 - 3123. Is y a multiple of 11?
True
Suppose -2*g - 462 = -h - 1563, -g - h + 552 = 0. Is 27 a factor of g?
False
Suppose -9*a + 257 = -40. Does 4 divide a?
False
Let x = 1385 + -345. Does 10 divide x?
True
Let g be (-5 - 252)*(-1 + 0). Suppose 0 = p + y - g, -y + 245 = p + 4*y. Does 13 divide p?
True
Suppose 5*z - 85 = 85. Let b(w) = w**2 + 36*w - 897. Let p 