 the first derivative of -3*v**2/2 - 3*v + 1. Is a(-3) even?
True
Let o(u) = -8*u - 2. Let w(m) = 24*m**2 + 1. Let a be w(-1). Suppose -3*x + 4 = 2*s, -9*x + 4*x + 3*s = a. Is 10 a factor of o(x)?
False
Is (2 - 72)*(-2)/5 a multiple of 14?
True
Let x(b) = 10*b + 17. Let a(n) = -5*n - 8. Let d(w) = -5*a(w) - 2*x(w). Is 19 a factor of d(5)?
False
Suppose 0 = -4*t + 9 + 3. Suppose t*v + 14 = 482. Does 16 divide (-2)/(-5) - v/(-10)?
True
Suppose 0 = -g - 0 + 6. Let p(x) = -2*x + 0 + 6*x - 3. Is 7 a factor of p(g)?
True
Is (-8)/12 - 114/(-9) a multiple of 11?
False
Suppose 0 = -3*b + h + 5, 4*b - 5*h + 3 = 3*b. Let x be (b - 3) + -3*1. Let q(j) = -j**3 - 3*j**2 - j - 1. Is 7 a factor of q(x)?
False
Suppose o - 25 = -4*o. Suppose 4*b = -t, 3*t - t = 3*b - 11. Let f = o + b. Does 4 divide f?
False
Let n(y) = y**3 + 17*y**2 - 18*y + 15. Is 7 a factor of n(-18)?
False
Let f(k) = -14*k + 3. Is f(-8) a multiple of 26?
False
Let v be (0/(2 + -3))/(-2). Suppose 2*u + 3*t = t + 22, 3*u - t - 13 = v. Does 6 divide u?
True
Is 116 - ((-2)/2 + 3) a multiple of 21?
False
Let k(w) = 3*w**2 - 7*w + 6. Is 14 a factor of k(6)?
False
Let n = 24 - 3. Is n a multiple of 10?
False
Let w(n) = -n**2 - 6*n. Let f be w(-5). Does 7 divide 42/15*f/2?
True
Let g(r) = -r**2 - 7*r - 2. Suppose -256 + 64 = -4*n. Let v be n/(-9) + (-4)/(-12). Is 7 a factor of g(v)?
False
Let x be (-15)/(-6)*8/10. Suppose x*i - 2*p + 4 = 5*i, -32 = -5*i + 3*p. Suppose 8 = i*s - 8. Does 2 divide s?
True
Suppose 0 = x + 3*f - 77 + 1, 3*f = 15. Does 20 divide x?
False
Suppose -14*n = -2*n - 132. Is 6 a factor of n?
False
Suppose -5*i - d = -91 - 51, -i + 32 = 2*d. Does 4 divide i?
True
Let u = 67 - 40. Is 8 a factor of u?
False
Let h(j) = -2*j + 3 - 2 + 11*j + 29*j. Let p be h(-1). Let r = -26 - p. Is 11 a factor of r?
True
Suppose -3*f + 85 = -17. Suppose 2*a + 25 = 5*q - 27, -2*a - f = 4*q. Is (-729)/a - 2/(-7) a multiple of 17?
False
Let k be -1 + 4 - -126 - 2. Let x = -70 + k. Is x a multiple of 19?
True
Let n = 27 + -25. Suppose -36 = -n*p + 82. Is 13 a factor of p?
False
Let d be (6/8)/(3/180). Suppose -6 = -5*x - 1. Is x + -3 + d + 0 a multiple of 15?
False
Suppose -2*m + 4*c + 52 = 2*m, c - 17 = -m. Does 5 divide m?
True
Suppose 4*a + 56 = 4*j, 3*a + a - 16 = -4*j. Is j a multiple of 9?
True
Let o(b) = -21*b - 1. Let t be o(-5). Suppose 2*n + t = 4*n - 3*p, -3*n = -p - 163. Suppose z - n = -4*z. Is z a multiple of 11?
True
Suppose 0 = 2*x - 3*x + 4. Suppose x*h + 10 = -2*s, -h + 17 = -4*s - 6*h. Does 6 divide 26/(3 + (s - -2))?
False
Let v(s) = 4*s + 1. Let r be v(1). Suppose -r*q = -298 - 2. Is q a multiple of 30?
True
Let m(a) be the third derivative of -1/10*a**5 + 0*a**4 + 0 + 1/120*a**6 + 0*a + 2/3*a**3 - 2*a**2. Is m(6) a multiple of 2?
True
Let q = 123 - -34. Is q a multiple of 31?
False
Let i = -15 - -27. Does 3 divide i?
True
Let c(h) = h**2 - 3*h - 2. Let m be c(3). Let t = -3 - m. Is 1 - (2 + t + -5) a multiple of 5?
True
Suppose 4*o - 312 = -4*g, 24 = 2*g - 3*o - 132. Is g a multiple of 14?
False
Suppose -9*d + 1411 = -1433. Is 25 a factor of d?
False
Let r(a) = a**3 - 8*a**2 - 7*a + 2. Does 9 divide r(9)?
False
Suppose -5*k + 1332 - 252 = 0. Suppose k = m + 3*m. Is 27 a factor of m?
True
Let p = -7 + 15. Suppose 88 = 2*b + p. Is 20 a factor of b?
True
Let g(b) = -b**2 - b**2 + 3*b**2 - b. Does 12 divide g(-3)?
True
Suppose 5*q = 4 + 6. Suppose -28 = 2*l - 3*l + n, 0 = -l - q*n + 19. Does 7 divide l?
False
Let n be (-18)/27 - 4/(-6). Suppose n = 3*w - 83 - 1. Is 9 a factor of w?
False
Suppose 2*p - 23 + 65 = 4*j, -4*j = 2*p - 46. Let z = -6 + j. Suppose z*r - 89 = q, 3*r = -q + 83 - 28. Is r a multiple of 6?
True
Suppose 5*d = z + 94 + 4, 3*z + 9 = 0. Suppose -3*n + d = -68. Is n a multiple of 13?
False
Let m be ((-2)/(-2))/(3/117). Is 3 + (-1 - -1) + m a multiple of 15?
False
Suppose 17*k = 14*k + 327. Does 6 divide k?
False
Let i = -5 - -3. Let l be 1*1*(-2 - i). Suppose 30 = -w + 3*w - 4*x, 4*x + 20 = l. Does 2 divide w?
False
Suppose 2*a + 6 = 0, 1 = 5*g + 3*a + 10. Suppose -5*h + 3*h + 4*o + 12 = g, 0 = 5*h - 2*o - 30. Is 3 a factor of h?
True
Suppose -4*u = -4 - 4. Suppose u*b - 18 - 20 = 0. Is 8 a factor of b?
False
Let h(r) = -r**3 - 3*r**2 - 3*r - 4. Let l be h(-3). Suppose k + 24 = l*k. Does 3 divide k?
True
Let i(c) = -c**3 + 4*c**2 + 5. Let a be i(4). Suppose -o + 22 = -2*m, -o + 11 = m - a. Does 10 divide o?
False
Let k be (-222)/((-2)/6 - 0). Suppose 0 = 3*b - 0*b + k. Does 9 divide 1/(-5) - b/10?
False
Let h(n) = -n**3 + n**2 + 40. Let w be h(0). Is 15 a factor of (-9)/(-2)*w/3?
True
Suppose 0 = -3*u - 2*u + 15. Let o be -5 - 40/((-20)/5). Suppose -u*k - o = -47. Is 7 a factor of k?
True
Let o(q) be the first derivative of q**3/3 - 2*q**2 - 2*q + 1. Let g be o(5). Suppose -g*z = 2*x - 64, -5*z + 3*x + 93 = -1. Is z a multiple of 10?
True
Let l = -8 - -12. Suppose l*c = -0*c + 36. Let v = 1 + c. Is 10 a factor of v?
True
Let v be -4 - (0 - -14 - 0). Let f = 20 + v. Does 2 divide f?
True
Suppose 2*o - 37 = 27. Is o a multiple of 16?
True
Let u be (-1 - -1)/((-3)/(-3)). Let k(n) = -n**3 + n**2 + n + 10. Does 10 divide k(u)?
True
Suppose 2*m = 13 - 3. Does 5 divide m?
True
Suppose 3*q - 16 - 50 = 0. Suppose -q = -4*g - 2*o, 5*g - 2*g + 2*o = 18. Does 2 divide g?
True
Let u(o) = 3*o - 5. Let b be u(10). Let i = 57 - b. Is i a multiple of 7?
False
Let j(k) = -97*k + 1. Let u be j(-1). Let w = -48 + u. Does 18 divide w?
False
Suppose 4*u + t = 65, -4*t = -2*t - 2. Is u a multiple of 8?
True
Let o be 390/4*8/(-10). Let c(n) = -114*n + 1. Let l be c(1). Let s = o - l. Is s a multiple of 14?
False
Is (-22*2)/(8/(-20)) a multiple of 11?
True
Let f(x) = x**2 + 5*x + 4. Let p be f(-3). Let m = p - -26. Is m a multiple of 12?
True
Suppose -3*x - 6 = -4*h, -h - 2*h - 2*x = -13. Suppose h*a - 5*q + 114 = -q, 0 = -2*q + 6. Let y = 4 - a. Is 19 a factor of y?
True
Let j(v) = 2*v**3 + 7*v**2 + 11*v + 14. Let p(u) = -3*u**3 - 11*u**2 - 17*u - 21. Let w(b) = 7*j(b) + 5*p(b). Let z = 1 - 6. Does 4 divide w(z)?
True
Let v = -62 + 112. Is 9 a factor of v?
False
Let h be 2 + 1 - (1 - 1). Suppose -h*u - 3*s + 16 = -2*u, 3*s - 4 = 2*u. Suppose -u*t + 140 = 2*n + 3*n, t = 5*n - 165. Does 12 divide n?
False
Let l = 10 + 1. Suppose -19 - l = -3*t. Is 7 a factor of t?
False
Let h = 702 - 377. Is 67 a factor of h?
False
Let b(r) = r + 43. Let w be b(0). Let h = w + -25. Is h a multiple of 9?
True
Let v be -2*(-6)/(-16)*-20. Suppose -v - 44 = -3*s + 2*n, -3*n + 61 = 2*s. Is 13 a factor of s?
False
Let i be ((-8)/12)/(2/(-15)). Suppose 2*g = r - 8, 2*r + 3*g = -0*g - i. Suppose 3*x - 10 = -r*x. Is x a multiple of 2?
True
Is 6/((-1 - 2) + 956/316) a multiple of 17?
False
Let z be (-6 - -2)*23/4. Let r = 7 + z. Let a = -8 - r. Is 8 a factor of a?
True
Let h = 15 - 11. Suppose -h*q - 10 = -2. Is 2 + 1 + 0/q a multiple of 2?
False
Let f be (3 - 1)/(3/(-18)). Is 8/((-39)/f - 3) a multiple of 7?
False
Let f = -4 + 4. Is 7 a factor of 15 + -1 + f/2?
True
Suppose 0 = i + 1, -5*p = 2*i + 3*i - 285. Is 7 a factor of p?
False
Suppose 31 = 5*t - 109. Suppose -3*p - 5 = b + 2, -4*p - t = -b. Is 4 a factor of b?
True
Suppose -3*t + 27 = -0*t. Suppose 3 + t = 4*v. Suppose 0*i = v*w + i - 48, -2*w + 3*i = -43. Is w a multiple of 6?
False
Is 5 a factor of (13/(-3) - -4)*-93?
False
Is 41 a factor of (-371)/(-9) - 34/153?
True
Let h = 190 - 103. Is 9 a factor of h?
False
Is (5 + -6 - -4) + (35 - 1) a multiple of 7?
False
Let p(l) = l**3 - 26*l**2 + 27*l - 29. Is 11 a factor of p(25)?
False
Let m be (-3)/3*(-1 - 1). Let g(c) = 0 + c + 0 - m. Is 2 a factor of g(5)?
False
Let l = 15 + -10. Suppose -4*x + l = 5*y - 108, 0 = -3*y + 5*x + 90. Suppose -j = 3*r - y, -r - 3*j + 0*j = -11. Does 4 divide r?
True
Suppose -4*k + 8 = 0, 2*u + 2*k + 316 = 4*u. Does 32 divide u?
True
Let z(l) = 67*l**2 - l - 2. Let n be z(2). Suppose 3*p - n = -p. Does 25 divide p?
False
Is 2/4 + (-114)/(-4) a multiple of 13?
False
Let j(l) = -l**3 + 8*l**2 - 7*l + 3. Let x be j(7). Suppose 0*o = -3*o + x*i + 51, 0 = 5*i. Does 12 divide o?
False
Let f = 20 - -2. Does 11 divide f?
True
Suppose -2*w - 18 = -5*w. Suppose w*q = 4*q. Suppose x + x + 3*i - 77 = q, -5*x - i + 173 = 0. Is 14 a factor of x?
False
Suppose -10*y + 5*y + 455 = 0. Does 13 div