-2?
False
Let x(z) be the second derivative of z**5/20 + z**4 + z**3/6 + 9*z**2/2 + 5*z. Let v be x(-11). Suppose 3*n = 118 + v. Does 14 divide n?
False
Suppose -10*z + 5*z - 420 = 0. Let u = 157 + z. Is 16 a factor of u?
False
Suppose l - 291 = 4*l. Is l/(-3) + (-12)/36 - -4 a multiple of 24?
False
Let v = 30 + -26. Suppose -c - 111 = -3*p, -v*p + p = 5*c + 573. Is 8 a factor of c/(-9)*3/2?
False
Let h(r) = 9*r + 11*r**3 + 12 + 9*r**2 - 10*r**3 + 0*r. Let x be h(-8). Is 17 a factor of (58/x)/(-1)*-4?
False
Let c(s) = s - 7. Let p be c(7). Suppose 16*t - 13*t - 69 = p. Does 11 divide t?
False
Suppose -4*f - 3*j + 8066 = 0, 4*j = -44*f + 40*f + 8068. Is 31 a factor of f?
True
Suppose 22*b = 21*b - 3*d + 1142, 4*b = d + 4568. Is b a multiple of 40?
False
Let n(a) = a**3 + 2*a**2 - 113*a + 3. Is n(13) a multiple of 20?
False
Let z = -322 - -578. Suppose -3*c = 5*t - 757, -z - 198 = -3*t - 2*c. Is 51 a factor of t?
False
Let h = 624 - 30. Is h a multiple of 18?
True
Let k(d) = 17*d - 8. Let t(o) = o**2 - 8*o + 2 - 3 - 3*o**2 + o**3 + 8*o**2. Let c be t(-7). Is 21 a factor of k(c)?
False
Suppose -o + 2*o + 3 = 0. Let c be 8/(-28)*21/o. Let z(p) = 5*p**2 + 4. Does 8 divide z(c)?
True
Let q = 1072 + -435. Is q a multiple of 49?
True
Suppose 10 = -2*h + 4. Let i = -2 + h. Let w(z) = z**2 + z - 1. Is w(i) a multiple of 15?
False
Let a(y) = y**3 + 9*y**2 - 7*y - 8. Let q be ((-6)/54)/((-3)/63)*-3. Does 38 divide a(q)?
False
Suppose 3*w + 5*f + 52 = 0, -w - 6 = 2*f - 6*f. Is 13 a factor of 0/w + 22 + -1?
False
Let r(j) = j + 86. Is r(-9) a multiple of 3?
False
Suppose 4*q = 13 + 7. Let y(p) = -p**2 - p. Let z(d) = -d**3 - 3*d**2 + 2*d + 6. Let f(v) = 4*y(v) - z(v). Is f(q) a multiple of 28?
False
Suppose 3*w - 21 = 5*m, 0 = 4*w - 4*m - 0*m - 20. Suppose n - 6 = -0*b - 2*b, 0 = -5*b - 25. Let r = w + n. Is 9 a factor of r?
True
Let v be 3 - 1 - (12 + -1). Let p be 168/v*(-12)/8. Is 23 a factor of 2985/35 - 8/p?
False
Let s = -155 + 244. Let b = s + 3. Is b a multiple of 8?
False
Let u = 34 - 29. Suppose 4*t - 4*m + 2*m + 2 = 0, 0 = 3*t + 3*m - 3. Suppose u*n - 84 - 41 = t. Is 25 a factor of n?
True
Let o(b) = -b**2 - 14*b - 12. Let j be o(-14). Is 275/(-10)*j/5 a multiple of 12?
False
Let d(i) be the third derivative of 0 - 11/6*i**3 - 4*i**2 - 1/8*i**4 + 0*i. Is 8 a factor of d(-12)?
False
Suppose -5*o + f + 505 = 0, -4*o + 405 = f - 2*f. Does 4 divide o?
True
Let i = -6 - -11. Suppose 15 = i*q - 0. Suppose -24 - 15 = -q*s. Is s a multiple of 8?
False
Let c(b) = -6*b + 21. Let y be c(-9). Suppose 29 = i - y. Is 26 a factor of i?
True
Let r be 41*(1 - 2) - 24/12. Let d = -34 - r. Is 9 a factor of d?
True
Let h = 457 + -187. Does 5 divide h?
True
Let i(y) = 15*y + 13. Is i(13) a multiple of 6?
False
Suppose -5*v - 25 = 4*r, -4*r = -16*v + 12*v + 52. Let o(g) = 5*g. Let z(i) = -16*i + 1. Let n(c) = -7*o(c) - 2*z(c). Is n(r) a multiple of 28?
True
Suppose -2*o = m - 4, -3*o - 2*m = -0*m - 5. Suppose o*q - 18 = q + 5*t, 0 = q - 5*t - 19. Let c = 5 - q. Is 5 a factor of c?
False
Let j be -5*4*(72/(-15) + -4). Let x = j - 114. Does 21 divide x?
False
Let n = -41 + 84. Suppose 9*a = n + 119. Let p = a - -10. Does 6 divide p?
False
Let o = 9 - 14. Let g be 3 - (4 + o) - 1. Is 105/8 + g/(-24) a multiple of 13?
True
Suppose 159 = 3*q - 4*j, q - 23 = -5*j + 49. Suppose -n + 137 = q. Is n a multiple of 20?
True
Let a be 9/(9 + -1 + -5). Is -2*(-56 + (1 - a)) a multiple of 11?
False
Let w = 62 - 96. Let m = 37 + w. Is 2 a factor of m?
False
Let z(k) = -5*k**3 + k**2 + k. Let a be z(2). Suppose -6*i + 635 = -55. Let r = a + i. Is r a multiple of 28?
False
Let g(x) = -14*x**3 - 13*x**2 + 26*x + 13. Let q(h) = 5*h**3 + 4*h**2 - 9*h - 4. Let d(t) = 6*g(t) + 17*q(t). Is d(10) even?
True
Let j be 4 - 2/(-4)*-98. Suppose 192 = -3*c + c + 2*g, 264 = -3*c - 5*g. Let k = j - c. Does 24 divide k?
True
Let s = 4616 - 2951. Is 48 a factor of s?
False
Let c(k) = -7*k - 15. Let i be c(-3). Does 7 divide 5*56/i*3/5?
True
Let d(w) = -3*w**3 + 2*w**2 + 3*w + 4. Let j be d(-4). Suppose 5*q = -20, 4*q = -3*u + j - 61. Is u a multiple of 10?
False
Suppose 16*u + 1097 + 423 = 0. Let w = u - -164. Is 23 a factor of w?
True
Let v = 125 + -106. Suppose -v*q + 18*q = -23. Does 15 divide q?
False
Let a = 17 + -17. Suppose a = 4*l + 4*n + 108 - 316, 4*l + 2*n = 200. Is 16 a factor of l?
True
Suppose -5*w = -5*r + 10, 21 - 6 = 3*w + 4*r. Let i be -2 + 5 - w - 18. Does 19 divide 12/i - (-158)/8?
True
Let j = -234 - -249. Is j a multiple of 3?
True
Suppose 16 = 4*p - 16. Suppose 0 = -2*k - 4 + 76. Is 8 a factor of 724/18 - p/k?
True
Does 17 divide 14/(-21) - (-6)/(-18)*-716?
True
Let p be 51/12 + -4 - 443/(-4). Suppose 2*t = 4*t - 2*f - 198, -t + p = -4*f. Is t a multiple of 19?
True
Suppose -5*d = 4*f - 4433, 4*f - d = 2467 + 1960. Is f a multiple of 58?
False
Let f(j) = -j**3 + 11*j**2 + 28*j - 17. Let g be f(13). Does 13 divide (-258)/g*(-18)/12?
False
Let i = 149 - 99. Does 5 divide i?
True
Let f = 384 + -120. Is f a multiple of 11?
True
Let u = 53 - -20. Suppose 0 = 3*s + 9, -4*c = s - u - 592. Does 16 divide c?
False
Let h = 254 - 93. Suppose m = -4*n + h, 2*m + m + 4*n - 475 = 0. Is 14 a factor of m?
False
Let h = 84 + 76. Is h a multiple of 20?
True
Let j(s) be the first derivative of -3*s**2/2 + 24*s - 30. Does 15 divide j(-12)?
True
Suppose -108 = n + 4*r, 10 = -0*r + 5*r. Let g = n + 203. Does 29 divide g?
True
Let p = -1344 + 2040. Suppose -p = -15*f + 11*f. Is f a multiple of 29?
True
Let c = -40 + 45. Suppose -8 = -2*p + 5*l - 2, 14 = 3*p - c*l. Is p a multiple of 3?
False
Let k be (25/20)/(1/4). Suppose -5*m + 2*q = -97, 2*q + 41 - 154 = -k*m. Is m a multiple of 13?
False
Suppose -20*q = -o - 15*q + 514, 4*o + 3*q - 1987 = 0. Is o a multiple of 15?
False
Suppose 8*q + 1560 = 4040. Does 10 divide q?
True
Does 72 divide 9/((-99)/(-4378))*(-9)/(-6)?
False
Does 9 divide 24/(-18)*891/(-6)?
True
Suppose 4*m + 480 - 1924 = -5*x, 4*x = -2*m + 1154. Is x a multiple of 16?
True
Suppose -290 = -3*s - 2*s - 5*l, 5*l = 0. Let h = 100 - s. Does 14 divide h?
True
Let v(d) = -d + 1. Let m be 1/(-6)*-2*15. Let o be v(m). Let z(g) = 2*g**2 - 6*g - 3. Is z(o) a multiple of 24?
False
Let o(c) = 2*c - 2. Let p be o(-2). Let g = p + -12. Let f = g - -42. Is 8 a factor of f?
True
Suppose 6 = -6*p + 3*p. Is 10 a factor of 504/10 + p*1/5?
True
Let l(d) = 3*d + 10*d - 4 + 11 - 1. Is l(4) a multiple of 11?
False
Suppose 0 = 15*v - 9*v - 2160. Is 72 a factor of v?
True
Let h(d) = 10*d**2 - 5*d - 10. Let k be h(7). Suppose -k = -4*y - a - 4*a, -5*a = -y + 80. Is 17 a factor of y?
False
Suppose -4*o = -2*o, -2*o + 40 = 2*d. Suppose -y + 17 = 5*u - 91, -u - y = -d. Does 12 divide u?
False
Does 62 divide (-39)/429 + (-12278)/(-22)?
True
Let x(l) = 3*l + 23. Let s be x(-20). Let i = 45 + s. Is i a multiple of 6?
False
Let o = 3739 + -2980. Does 69 divide o?
True
Let w be ((-11)/33)/((-2)/78). Suppose -2*d = -5*o + w, 4*o + 5*d = o - 17. Is (4 - o) + 31 + -4 a multiple of 15?
True
Suppose 8*w - 66 = 10*w. Let n = 46 + w. Does 2 divide n?
False
Let j(p) be the first derivative of -3*p**4/8 - 25*p**3/6 + 3*p**2/2 - 4. Let x(i) be the second derivative of j(i). Does 23 divide x(-13)?
True
Suppose -b + n - 28 = -2*b, -2*b - 4*n + 66 = 0. Suppose 4*w = 3*w + 2*l, 0 = -w - 5*l + 28. Let u = w + b. Does 13 divide u?
False
Suppose -1 = -d + 5*s - 6, -5*d = 2*s - 29. Suppose 2*a + 0*a - 2*c - 136 = 0, -348 = -d*a + 3*c. Does 12 divide a?
True
Let u(s) = 6*s**2 + 2*s - 7. Does 9 divide u(-4)?
True
Is (-4)/(-5)*(-7600)/(-40) a multiple of 3?
False
Let x be -3 - (-1 + (-28)/(8/4)). Suppose -x*r = 2*r - 2968. Is 39 a factor of r?
False
Is 29 a factor of 1585/2 + (-574)/(-164)?
False
Suppose -2*d + 5*a + 670 - 53 = 0, 5*d = -4*a + 1592. Is d a multiple of 3?
False
Suppose -5*s - 11 = 3*z - 0, 3*z - 25 = 4*s. Suppose -3 = 3*f, p = 3*p - z*f - 59. Does 14 divide p?
True
Let y(f) = 5*f**3 + 3*f**2 + 3*f + 1. Let k be y(-1). Is -8*(-1)/(-2) - k*31 a multiple of 20?
True
Let u(m) be the second derivative of 8*m**4/3 + m**3/6 + m**2/2 - m. Suppose -15 = 3*h, 4*q + 3*h + 2 = -17. Does 10 divide u(q)?
False
Let b(n) = -173*n**2 + 17*n - 1. Let w(v) = -43*v**2 + 4*v. Let i(c) = 2*b(c) - 9*w(c). Let q be i(-1). Let r = q - -4. Is 23 a 