e w?
False
Let j(y) = y**2 + 8*y - 5. Let i be j(-8). Let r(t) be the second derivative of -t**3/2 - t**2/2 + t. Is 7 a factor of r(i)?
True
Let y = 2 + -1. Let h = y - -28. Is 14 a factor of h?
False
Suppose -p = 4*d - 20, 15 = 5*p - 2*p - 3*d. Let s(b) = -2*b + 12*b + b**3 - 9*b**2 - 11 + 0*b**3. Is s(p) a multiple of 2?
False
Suppose 0 = 5*b - 2*f - 8 - 1, f - 15 = -4*b. Suppose -5*c + 4*c + 3*u + 2 = 0, -b*c - 4*u = -19. Suppose 122 = c*h + 7. Is h a multiple of 14?
False
Let t = 24 - 9. Is 7 a factor of t?
False
Suppose 0 = -v - v + 14. Let i(n) = 4*n - 10. Is i(v) a multiple of 9?
True
Let a be 32/20*5*-1. Let z = -3 - a. Suppose -2*q = -z*q + 12. Does 2 divide q?
True
Let q(d) = -d**2 - 13*d - 14. Suppose 0*g = 5*g + 50. Does 16 divide q(g)?
True
Let q be 7 + (-3)/(-2)*-2. Let z = q - 4. Let w(s) = s**2 - s + 7. Does 6 divide w(z)?
False
Let n = -122 - -202. Is n a multiple of 20?
True
Let u(g) = g + 3. Let z be u(3). Let p = 10 - z. Is (1/2)/(p/56) a multiple of 6?
False
Suppose -540 - 412 = -7*c. Is c a multiple of 17?
True
Let r(a) = -2*a**3 + a**2 - a + 2. Is 25 a factor of r(-4)?
True
Let u = -15 - -9. Let i = u - -15. Is 3 a factor of i?
True
Let p(a) = 58*a**2 - a - 1. Is p(-1) a multiple of 17?
False
Let s(y) = y**3 - 6*y**2 - 8*y + 9. Let a be s(7). Suppose -3*f + 22 = -a*f. Is f a multiple of 10?
False
Let b = 25 + -13. Let n = 41 + b. Does 14 divide n?
False
Suppose -r = 3*r - 32. Is r a multiple of 4?
True
Suppose 0 = 5*y - 8 - 7. Let x be y/3*-3 + 5. Is 8 a factor of x/8 + 186/24?
True
Suppose -13*l + 507 = 143. Does 7 divide l?
True
Suppose 4*t + 5*v - 864 = 9*v, 0 = -5*v - 20. Is t a multiple of 42?
False
Is (-3)/(-2) - (-360)/16 a multiple of 12?
True
Let q = -89 + 128. Does 7 divide q?
False
Let d(r) = -32*r - 7. Let b be d(3). Let w = b + 168. Is w a multiple of 13?
True
Suppose 0 = -52*j + 54*j - 434. Does 18 divide j?
False
Suppose 4*a + 4 - 116 = 0. Is a/10*(-25)/(-10) a multiple of 7?
True
Suppose -2*z - 4*q = -82, 5*z + 4*q - 40 = 165. Does 41 divide z?
True
Suppose -z + 7 = -q, -2*z = -5*q - 38 + 9. Suppose -z*j = 4*o + o - 54, -j + 4*o = -14. Is 5 a factor of j?
False
Is 7 a factor of (204/8 + -1)/(5/20)?
True
Suppose w - 6 + 3 = 0. Suppose 12 = 2*p + w*p - 2*l, -3*p + 4 = -2*l. Let a = -2 + p. Does 2 divide a?
True
Let v(n) = 7*n + 2. Let u be v(1). Suppose -4*w = -5*o + 3, 3*w + 3 = o + u. Is o a multiple of 2?
False
Let h = 288 - 92. Does 14 divide h?
True
Let m(f) = -3*f**2 - 6*f + 5. Let n(x) = -3*x**2 - 7*x + 6. Let p(q) = -3*m(q) + 2*n(q). Is p(2) a multiple of 16?
False
Let x(o) = 5*o - 1. Let u be (2/(-4))/((-4)/(-8)). Let f be x(u). Does 7 divide 42/(-10)*(f + 1)?
True
Suppose 5*j - 23 = -3*d, d + 14 = 3*d + 3*j. Does 25 divide -1 - -36 - (d + 1)?
False
Let j(w) = -16*w + 5. Is j(-2) a multiple of 14?
False
Suppose 2*k = 2*x - 76, -5*x = k + 2 - 192. Is 5 a factor of x?
False
Suppose -3*i - 2*r - 1 = -5, 3*r = -i - 1. Suppose -2*g + 38 = i*q - 12, -5*q + 95 = -5*g. Does 11 divide q?
True
Let q be (-65)/(-39) + 2/(-3). Suppose -2*v = -5*y - 0*y - 15, -v - 9 = 3*y. Suppose v = -5*s - q + 21. Is s even?
True
Is 24 a factor of ((-108)/(-10))/((-48)/(-640))?
True
Let n = -3 + 4. Suppose -p + 4*v = -3, 2*v - 9 - 7 = -2*p. Let s = p - n. Is 4 a factor of s?
False
Let k(r) = -r**3 + 6*r**2 + 2*r - 5. Let w be k(5). Suppose 0 = 5*y - 0*y + w. Does 6 divide (-160)/(-12) - (-2)/y?
False
Let r(k) = k**2 - 4*k - 2. Let j(i) = i**3 + 7*i**2 + i + 5. Let y be j(-7). Let l = y + 9. Does 18 divide r(l)?
False
Let b(s) = -s**3 + 8*s**2 - 8*s - 9. Let f be b(7). Let j = -4 - f. Does 5 divide j?
False
Let v = 80 - 50. Does 15 divide v?
True
Let r(c) = -c + 5. Let q be r(8). Let o be -3 - (-147)/(0 - q). Let b = -18 + o. Is 14 a factor of b?
True
Suppose 0 = 5*v - 2*v - 2*p - 256, -4*v + p + 348 = 0. Is v a multiple of 10?
False
Suppose -j + 638 = 3*h + 4*j, 0 = -3*h - j + 646. Is 24 a factor of h?
True
Let z be 10/4 - (-1)/(-2). Let m be z*-1*(-11)/2. Let f = m + 0. Is f a multiple of 8?
False
Suppose -8*b + 130 = -374. Does 8 divide b?
False
Suppose 8*r - 3*r - 81 = -n, 4*r + 260 = 5*n. Is n a multiple of 28?
True
Let x = -108 + 179. Suppose s - 4*q = -0*s + 3, -3*s - 4*q - x = 0. Let m = -10 - s. Is 7 a factor of m?
True
Let m(h) = h**2 + 11*h - 11. Let n be m(-14). Let y = n + -11. Is 10 a factor of y?
True
Does 11 divide 31/2 - 14/(-28)?
False
Let n = 5 + -12. Let f = n - -13. Is 6 a factor of f?
True
Is ((-23)/(-5))/(5/25) a multiple of 8?
False
Let x(y) = -13*y**3 - 5*y - 7. Does 11 divide x(-2)?
False
Let v(t) = -t**3 + 11*t**2 - 10*t - 9. Let j be v(10). Let y be 166/18 + 2/j. Suppose 3*d - 10 = 3*p - 1, -y = -2*d + p. Does 5 divide d?
False
Let x(s) = -8 + 0 - s**2 + 1 - s. Let v be x(-6). Let p = 69 + v. Is 14 a factor of p?
False
Suppose 2*v - 3 = -3*i + 1, -5*i = 3*v - 6. Suppose i*y - 48 = -4*y. Suppose -y = 3*z - 4*z. Does 12 divide z?
True
Let s = -8 + 11. Suppose s*z = 52 - 13. Is z a multiple of 3?
False
Let k(b) = b**2 - 4*b. Let q be k(3). Let z be ((-4)/16)/(q/12). Let d = 21 + z. Does 8 divide d?
False
Let x(c) = 5*c + 1. Let k be x(3). Let v be 46*((-2)/4 + 1). Let r = v - k. Does 7 divide r?
True
Suppose -4*d + 19 = -13. Let t(k) = 23*k**2 - k - 1. Let i be t(-1). Suppose 4*s - p = -4*p + i, 0 = s + 3*p - d. Is s a multiple of 3?
False
Suppose -3*u + 242 = 2. Does 40 divide u?
True
Let w(x) = -2*x**3 - 2*x**2 - 2*x - 2. Let v be w(-2). Suppose 0 = 2*u + 3*u - v. Suppose 0*l = u*l - 46. Is 7 a factor of l?
False
Suppose -d - 3*r + 32 = 6, -d + 4*r = -40. Does 8 divide d?
True
Let k = -4 + 7. Suppose -k*n + 31 = 10. Let f = n - -1. Is f a multiple of 3?
False
Suppose 0*x - 3*x + 69 = 3*h, -104 = -4*x - h. Does 9 divide x?
True
Let l = 1 + 0. Let a be (90/(-21))/(l/(-7)). Suppose a = 5*h - 80. Does 11 divide h?
True
Suppose 5*q + 30 = -n, 2 = -n - 3. Let t = 3 + q. Is 13 a factor of 24*1 - (t - -3)?
False
Suppose -43 = 6*m - 145. Is m a multiple of 17?
True
Let w be 4/14 + (-393)/(-21). Suppose 0 = -3*a - 4*u + u + 12, 0 = 4*a + 5*u - w. Is 6 a factor of 8 + (2 + -4)/a?
True
Let w = -50 + 130. Does 20 divide w?
True
Let j be -3*(-1)/((-3)/(-34)). Suppose 84 = 5*l + j. Does 5 divide l?
True
Let s be 4*(-2 + -1)/(-12). Let c be 21 + (-2 + 1 - 0). Let i = c + s. Is 9 a factor of i?
False
Let u be 3/(-2) + 2/(-4). Let a = u + 6. Let x = a + 0. Is x a multiple of 2?
True
Suppose -3*t = -2*t - 2. Suppose 0*d + 110 = t*d. Does 15 divide d?
False
Let p = 292 - -93. Does 55 divide p?
True
Suppose 0 = 2*w + 3*o - 31, 4*o - 5 - 7 = w. Let f(i) = -i + 19. Let j be f(w). Let q = -4 + j. Is 3 a factor of q?
False
Suppose 0 = -10*x - 3*x + 312. Does 2 divide x?
True
Let r = -62 - -118. Does 28 divide r?
True
Let m(p) = -5*p**3 + 7*p**2 + 5*p - 1. Let v(x) = 11*x**3 - 15*x**2 - 11*x + 2. Let j(g) = 13*m(g) + 6*v(g). Let t = 7 + -5. Does 5 divide j(t)?
False
Let j(u) = u - 4. Let z be j(6). Does 8 divide (-6 + (0 - z))/(-1)?
True
Let u(n) = n**3 + 3*n**2 - n + 3. Let f be u(-4). Let o(m) = -2*m - 7. Is o(f) a multiple of 6?
False
Let f = 27 - -53. Is f a multiple of 20?
True
Let f(d) = 4*d - 5. Is 9 a factor of f(8)?
True
Let a = 41 - 21. Does 4 divide a?
True
Let n(l) = 4*l + 4 - 2*l**2 - 1 - 5 + l**3 + 3. Is 22 a factor of n(3)?
True
Let m = 17 - -43. Does 6 divide m?
True
Let w be 4*(-3 - (-7)/2). Suppose 4*u - 47 = w*u + 3*q, -5*q = 5*u - 55. Does 7 divide u?
False
Let k = 4 + 27. Does 14 divide k?
False
Let k = 3 - 11. Let f = 4 + k. Let d = f - -21. Is 17 a factor of d?
True
Suppose -5*f - 2*k + 114 = 0, 0 = 3*f + 4*k - 30 - 30. Does 2 divide f?
True
Let g be (0/2)/(6/3). Suppose g = -2*p - 4, -3*p = -d + p + 17. Is d a multiple of 7?
False
Suppose -2*c = -4*r + 172, 0*r + 2*c + 37 = r. Does 15 divide r?
True
Does 28 divide 2 - (-27 + -4 + 5)?
True
Let d(k) = 2*k**2 - 13*k - 7. Suppose 8*c - 4*c = 40. Is 16 a factor of d(c)?
False
Let k = -35 + 61. Suppose 2*n = -n. Suppose k = -n*g + g. Does 9 divide g?
False
Let f be (-102)/(-8) - 1/(-4). Let y = 18 - f. Suppose -15 = -5*s + 2*l + y, 4*l - 14 = s. Does 6 divide s?
True
Let j(o) = -36*o + 49. Let a(y) = 7*y - 10. Let v(x) = -11*a(x) - 2*j(x). Let f be v(9). Let h = f + 76. Is 21 a factor of h?
False
Let s(k) be the third derivative of k**6/120 + k**5/15 - k