s 8 a factor of d?
False
Let k(x) be the second derivative of -2*x**3/3 - x**2 + 3*x. Let y be k(-1). Suppose -y*p + 19 = 1. Is 7 a factor of p?
False
Let t(v) = -12*v - 13*v - 2 - 4. Let u(h) = -5*h - 63. Let x be u(-12). Does 17 divide t(x)?
False
Let v be 156/24*(-12)/2. Let m = v + 70. Is m even?
False
Suppose -5*r + 110 = -155. Let o = r + -11. Is 6 a factor of -1 + (-5)/((-15)/o)?
False
Let j(i) = 47*i + 11. Let b be j(6). Let m = b - 174. Is 28 a factor of m?
False
Let v(l) = 403*l**3 + 3*l**2 + 3*l - 5. Is v(1) a multiple of 16?
False
Suppose -5*f - 4 - 6 = 0. Let t be 0 + -4 + 36/f. Let r = -17 - t. Is r a multiple of 4?
False
Suppose -3*f - 4*c - 53 = 0, f + 4*f + c + 60 = 0. Suppose -94 = g - 144. Let i = f + g. Does 12 divide i?
False
Does 9 divide 2148/14 - (380/70 - 5)?
True
Let w = -1349 + 2258. Is 8 a factor of w?
False
Let y(t) = t**2 + 54*t - 103. Let r be y(-57). Let u(n) = 57*n - 1. Let b be u(2). Let w = b - r. Is 9 a factor of w?
True
Let c = -33 + 26. Is 36 + (-4 + 1 - c) a multiple of 4?
True
Suppose 0 = 6*c - 11*c + 25, -4*k + 1378 = 2*c. Is 27 a factor of k?
False
Let o = -27 + 84. Suppose -4*y - 5*h + 178 = 0, -3*y + 2*y + 5*h + o = 0. Is 7 a factor of y?
False
Let u(r) = 23*r - 51. Is u(9) a multiple of 5?
False
Let x(o) = -o**3 + o**2 - 5*o + 320. Is x(0) a multiple of 32?
True
Let c = 259 - 140. Is c a multiple of 7?
True
Let a(r) = 2 - 2 - 7*r - 4. Suppose -3*v + 2*h - 4 = 10, -5*v - 18 = 2*h. Is 8 a factor of a(v)?
True
Does 32 divide 11/((-55)/(-10))*(-1222)/(-1)?
False
Let g be (-6)/4 - 216/16. Let q = -79 - -149. Let s = q + g. Is s a multiple of 34?
False
Let y(t) = 7*t**2 + 3. Let h be 0 - (2 - -1 - 4). Suppose -h = -3*m - 7. Is y(m) a multiple of 13?
False
Suppose -l + 9 = 7. Suppose 3*a - 106 = -7*o + l*o, -o + 2*a + 16 = 0. Is 5 a factor of o?
True
Let v(s) = 2*s**3 + 5*s**2 + 12*s + 39. Let n be v(-7). Let b = n + 706. Does 44 divide b?
True
Suppose -1 + 1 = -6*p. Suppose p = 7*k - 214 - 227. Is k a multiple of 28?
False
Does 12 divide -5 + (8 - 4) - -1297?
True
Let s(q) = 107*q + 3. Let h be s(-9). Does 24 divide (h/56)/(2/(-14))?
True
Let i(c) be the first derivative of -10 + 3*c**2 - c**2 + 0*c**2 - 22*c. Is i(9) a multiple of 12?
False
Suppose -12*x + 11*x + 4*q + 372 = 0, 3*x - 1071 = -3*q. Is 30 a factor of x?
True
Suppose 0 = -148*x + 142*x + 810. Does 15 divide x?
True
Is (-1 - (-2 - 2))/(8/432) a multiple of 9?
True
Let i(u) be the second derivative of -u**5/20 + 13*u**4/12 - 5*u**3/3 - 25*u**2 + 7*u. Is i(10) a multiple of 6?
True
Let l(k) = 5*k + 4. Let y(w) = 2*w**3 - 3*w**2 + 3*w. Let f be y(2). Suppose 3*q - f = -3*g + 2*q, 0 = -3*g + q + 20. Is l(g) a multiple of 8?
False
Suppose 0 = -8*n + 8 + 32. Suppose -t = n*l - 377, -3*l + 221 = -4*t + 2*t. Is l a multiple of 15?
True
Let m be 28/8 + 9/6. Suppose -q + 6 = 3*y, -10 = -q - m*y + 2. Does 11 divide 18/27 + (-70)/q?
False
Let l = 68 + -16. Let j = -31 + l. Does 21 divide j?
True
Suppose -5*h = l + 3*l - 205, -10 = -2*l. Let j = 13 + h. Is j a multiple of 13?
False
Suppose 2*f + 4*c - 526 = 0, 0 = -5*f - 3*c + 6*c + 1315. Is f a multiple of 17?
False
Suppose 2*d + 30 = -4*z + 24, 5*z + 15 = 0. Let l(b) = 21*b + 9. Let j(m) = 104*m + 44. Let f(q) = 3*j(q) - 14*l(q). Is f(d) a multiple of 20?
True
Let m(r) = -12*r - 48. Let p(f) = 42*f + 168. Let b(d) = 18*m(d) + 5*p(d). Is b(-12) a multiple of 16?
True
Let a be (48/(-20))/(4/(-10)). Suppose -a*x + 24 = -252. Is x a multiple of 26?
False
Let n be (3 + (0 - 2))/(3/6). Suppose 0*x = x + n*g - 55, 0 = -5*x - 4*g + 245. Is x a multiple of 5?
True
Let y(q) = 5*q - 20. Suppose 2*h = 4 - 10, -3*t + 4*h + 30 = 0. Is y(t) a multiple of 10?
True
Let v(p) = 47*p**3 - 2*p**2 - p + 2. Let y be v(1). Is 23 a factor of y/2*(-2 - -3)?
True
Suppose -23*z = -17*z - 966. Is 23 a factor of z?
True
Let c(i) = 6*i**3 + 5*i**2 + 5*i - 6. Let l be c(5). Does 8 divide 2/(-8) - l/(-24)?
False
Let q = -72 - -95. Suppose -q*z + 19*z + 96 = 0. Is z a multiple of 4?
True
Let f(k) = -k**3 - 6*k**2 - 15*k - 1. Let a be f(-6). Suppose -71 + a = 3*x. Is 3 a factor of x?
True
Let q(o) = 237*o + 72. Is q(4) a multiple of 85?
True
Suppose 0 = 3*j - 1737 + 9. Is 96 a factor of j?
True
Suppose -4*w - 3*v = -2, 0 = -3*w - 0*v - v + 4. Let q(g) = 26*g**3 + 3*g - 2. Does 9 divide q(w)?
False
Let v(l) be the second derivative of l**4/24 + 10*l**3/3 - 5*l**2/2 + 2*l. Let j(t) be the first derivative of v(t). Is 9 a factor of j(-9)?
False
Let w be ((3 + -4)*2)/(-2). Suppose 5*d + 4 = -4*j + d, -w = -3*j + d. Suppose j = -2*z + 50 + 82. Is 22 a factor of z?
True
Let g = 577 - 474. Does 8 divide g?
False
Suppose 0 = -5*f - 3*v + 6, 4*f - 2*f + 8 = 4*v. Suppose f*g - g = 132. Let p = -82 - g. Does 22 divide p?
False
Let t(r) = -4*r - 34. Let d be t(-9). Suppose -d*o + 291 - 94 = 5*i, 3*o - 5*i - 358 = 0. Is o a multiple of 53?
False
Let o = 4 - 14. Let h be (-9 - o)/(1/(-4)). Does 13 divide h/14 + 1464/28?
True
Let y = 659 + 69. Is y a multiple of 14?
True
Suppose 6*f = -10*f + 17184. Does 69 divide f?
False
Let t(y) = -y**2 + 2*y + 5. Let k be t(3). Suppose 2*c - 115 = -k*c - 5*x, -5*c - 3*x + 160 = 0. Does 5 divide c?
True
Let d be (0 - 0) + 33 + 5. Let a be 3*-6 + (-2 - -2). Let t = d + a. Does 10 divide t?
True
Let x(d) be the second derivative of 8*d**3 + 2*d**2 + 3*d. Let k be x(2). Let j = 169 - k. Does 20 divide j?
False
Let x(g) = g + 9. Is x(11) even?
True
Let d = -134 - -221. Does 2 divide d?
False
Let b be (16/(-24) - (-130)/6)*-55. Does 12 divide ((-2)/(-6))/((-5)/b)?
False
Suppose 2*z + 5 = 3*z. Suppose -5*j - z*s + 55 = 0, 18 + 6 = 2*j + s. Is 13 a factor of j?
True
Let y be 11 - 7/(14/(-4)). Suppose 21*g - 344 = y*g. Is g a multiple of 7?
False
Suppose 3*b + 4*j = 3*j + 4131, -2*b - 2*j = -2758. Does 32 divide b?
True
Let y(w) = -w + 28. Let d be y(13). Suppose -64 = -19*x + d*x. Does 5 divide x?
False
Let w(b) = 7*b**3 + 17*b**2 + 17*b + 7. Let v(i) = 6*i**3 + 16*i**2 + 17*i + 7. Let j(p) = 6*v(p) - 5*w(p). Is j(-9) a multiple of 6?
False
Let o(h) = 3*h**2 - 2*h + 3. Let c = -41 - -33. Is 49 a factor of o(c)?
False
Let v = 19 + 81. Suppose -2*n + 0*k + v = -4*k, 132 = 2*n + 4*k. Is 19 a factor of n?
False
Suppose -14*s - 252 = -0*s. Let k = s - -50. Is k a multiple of 5?
False
Let j(u) = 43*u - 8. Let l be j(-16). Is 29 a factor of (l/15)/((-2)/5)?
True
Suppose 0 = 4*z - 363 - 953. Let d = z - 164. Is d a multiple of 33?
True
Let w = 51 - 27. Suppose -4*o + 20 = 0, -2*y - 5*o = -o - w. Let i(k) = 21*k - 3. Does 10 divide i(y)?
False
Suppose 3*a - 4*c = 34, -4*a + 5*c + 37 = -7. Suppose -277 = -a*h + 17. Does 4 divide h?
False
Let n(v) = -v**3 + 6*v**2 + 1. Let w be n(6). Suppose 0 = c - 2*l - 35, w - 13 = -4*l. Is 7 a factor of c?
False
Let w(z) = z**3 + 28*z**2 - 53*z + 51. Is w(-25) a multiple of 26?
False
Let g(o) be the first derivative of -o**5/20 - 5*o**4/12 - 2*o**2 + 6*o + 6. Let a(p) be the first derivative of g(p). Does 14 divide a(-6)?
False
Let m = 20 - 28. Let c(u) = -8*u**2 - u**3 - 5 - 9*u - 2 + 0. Is 13 a factor of c(m)?
True
Suppose 2*c + 9*y - 7*y = 8, c = y + 12. Is 4 a factor of c?
True
Let t(m) = m**2 + 7*m - 5. Let j be t(-8). Let v = -5 - j. Does 8 divide v/28 + (-594)/(-21)?
False
Let b be 1618/5 + 4/10. Let s(c) = -c + 10. Let h be s(6). Suppose -h*u + 7*u = b. Does 36 divide u?
True
Is 83 a factor of (14 - 2)/((-4)/(-480))?
False
Let r(n) be the third derivative of n**5/15 + n**4/12 - n**3/6 - 11*n**2 + 2*n. Suppose 0 = -5*c - 10. Does 3 divide r(c)?
False
Let z(w) = w**2 - w + 8. Suppose 0 = -2*r + j - 3, 3 + 21 = -r - 4*j. Is 28 a factor of z(r)?
True
Suppose -5*k - 35 - 85 = -m, -2*m + 96 = -4*k. Let h = 14 + k. Does 13 divide (-62)/(-3 - h/5)?
False
Suppose -v - 2*r = -5*r + 7, 2*v + 2*r = 18. Suppose -3*k - 5*y + 2 = -18, -k = v*y - 20. Suppose -12*i + 7*i + 170 = k. Is 17 a factor of i?
True
Let d be (3 + 0)/(6 + (-39)/7). Suppose d*p - 167 - 197 = 0. Is p a multiple of 18?
False
Suppose 0 = 5*q - 2*l - 10, 5*q = 4*q + 2*l + 10. Suppose q*j = -2*j + 280. Does 7 divide j?
True
Let k(d) = d**2 - 6*d + 4. Let o be k(-14). Suppose 0 = -4*t - 3*n - 292, -8*t = -4*t + n + o. Is (-10)/(-45) + t/(-9) a multiple of 4?
True
Let n = 630 + -396. Is 9 a factor of n?
True
Suppose y - v = 3*v - 16, 