 - t. Is 14 a factor of o?
False
Let y(a) be the second derivative of -a**5/10 - 5*a**4/12 - 2*a**3/3 + a**2/2 - 2*a. Is y(-3) a multiple of 22?
True
Let h(w) = w**2 - 2*w + 1. Let v be h(3). Suppose -q = v*q + 235. Let x = -34 - q. Does 7 divide x?
False
Let r be ((-1)/(-3))/(1/117). Suppose 3*q - m = -0*m + 47, 3*q + 3*m = r. Is 5 a factor of q?
True
Does 5 divide -5*(-24)/30*22/8?
False
Suppose 0*i + 4*i - 20 = 0. Let g(o) = o + 3. Let j be g(i). Is 8 a factor of 2/j + (-252)/(-16)?
True
Let f(w) = -w**2 + 6*w - 1. Let p be f(5). Suppose -238 = -5*c - p*j, 0 = 2*c + 2*j - 6*j - 112. Does 18 divide c?
False
Let d be (-12)/9*(-6)/(-4). Let c be (12/15)/(d/(-115)). Let a = c - 28. Is 9 a factor of a?
True
Suppose 2*b = 4*b + 6. Suppose 0 = m + 3*m - 20. Let n = m - b. Is 7 a factor of n?
False
Let q = -61 + 107. Is 7 a factor of q?
False
Let h(z) = -18*z - 7. Does 7 divide h(-2)?
False
Let h = 136 - 31. Does 21 divide h?
True
Let z = 36 - 13. Does 4 divide z?
False
Let q be (-3)/(-3) + -1 + -21. Let v = -9 - q. Let x = v - 2. Is x a multiple of 5?
True
Suppose -z + 0*z - 20 = -5*l, -4*l + 2*z + 16 = 0. Let o be 2/6 - l/(-6). Is (-8)/((3 - o) + -3) a multiple of 8?
True
Let l = 69 - 31. Suppose -4*b - 4*o + l = -22, -4*o = -16. Suppose -2*f = b - 83. Does 20 divide f?
False
Let h = 17 + -7. Does 5 divide h?
True
Let i(f) = -4*f - 16. Does 39 divide i(-15)?
False
Let h(t) = 17*t - 1. Does 15 divide h(2)?
False
Let p = -5 + 66. Suppose 2*f = -s + 25, -2*f = -7*f - 4*s + p. Let j = f - -4. Does 17 divide j?
True
Suppose 3*j - 5*o + 193 = 743, 0 = -j - 3*o + 202. Let n = -134 + j. Does 14 divide n?
True
Suppose -4*n = -3*g + 7 - 21, -5*n + 2*g = -21. Suppose -n*b + b = -12. Suppose -4*a + 4*y + 156 = -0*a, -4*a + 135 = b*y. Does 18 divide a?
True
Suppose -2*s - 6 = -8. Suppose -2*v = -4 + 12, -19 = -5*y - 4*v. Is s*22 - (-6 + y) a multiple of 13?
False
Let a = 57 - -18. Is a a multiple of 15?
True
Let b = -30 - -71. Does 7 divide b?
False
Let x be (-1)/(3/(-2) + 1). Suppose 4*c = -3*q + 2 - 6, 3*q + x = -5*c. Let h = 11 + q. Is h a multiple of 4?
False
Let w(s) be the second derivative of -s**6/360 + s**4 + 5*s**3/6 - 3*s. Let y(b) be the second derivative of w(b). Is y(0) a multiple of 24?
True
Let f(k) = 4 - 2*k**3 - 2*k**3 + 0*k + 5*k**3 - k**2 - k. Let r be f(0). Is -1 + r + (-1)/1 a multiple of 2?
True
Let z(a) = 89*a**2 - 2*a - 1. Let p be z(-1). Suppose 0 = -5*q + p. Is q a multiple of 18?
True
Let t be 6 - (7 - 1)/3. Let s(q) = 2*q - 5. Let u be s(t). Does 16 divide 2 + 15 - (u - 2)?
True
Let c(g) = -g**2 - 3*g + 3. Let s be c(-3). Suppose -s*l + 58 = 3*m + 2*m, -2*m = -3*l + 23. Does 10 divide l?
False
Suppose 4*v - 177 = -b - 13, 0 = 2*v + 2*b - 88. Is 8 a factor of v?
True
Let s(f) = f**3 - 4*f**2 - f - 6. Is s(6) a multiple of 7?
False
Let l(o) be the second derivative of o**4/6 - 5*o**3/6 - o**2 - 5*o. Is l(6) a multiple of 10?
True
Let t(q) = 6*q**2 - 11*q - 7. Does 44 divide t(5)?
True
Suppose -3*v = 5*f - 14, -f + 2*f + 8 = 3*v. Suppose 0*p + 4*u = v*p - 45, p - 16 = u. Is p a multiple of 5?
False
Let z(u) be the second derivative of -u**6/120 + 3*u**5/20 - u**4/12 - u**3/6 + 3*u**2/2 + u. Let d(l) be the first derivative of z(l). Is 15 a factor of d(8)?
False
Suppose -5*b + b = -4*g + 4, -2*g = -10. Suppose -3*y = -y + b*o - 34, -3*y = -o - 16. Is 3 a factor of y?
False
Suppose 18 = -c - 4*o - 14, 4*c + 5*o + 183 = 0. Let a = c + 88. Is a a multiple of 12?
True
Let j(t) = 2*t. Let b be (-3)/(-1 + -2) - -2. Let o be j(b). Suppose -3*p = -45 - o. Is 8 a factor of p?
False
Is (-14)/119 - 2316/(-34) a multiple of 5?
False
Suppose -3*x + 376 = 5*p, -3*p + 2*p = -2*x + 242. Does 16 divide x?
False
Let l = -9 + 17. Is l a multiple of 7?
False
Is (-2 + 20)*2/4 a multiple of 6?
False
Let d(z) = 5*z - 3. Let j(c) = c**2 - 2*c + 1. Let m be j(1). Suppose m = x - 2 - 2. Does 6 divide d(x)?
False
Let c = 16 + -37. Does 11 divide 15/(-10)*(c + -1)?
True
Suppose -4 - 1 = 5*u. Let j be ((-6 - 2)*u)/(-1). Is 36/(-42)*(1 + j) even?
True
Let v(p) = p. Is 18 a factor of v(18)?
True
Suppose 0 = -c + 2*b - 4*b + 60, 5*c - 300 = -b. Let z = c + -35. Is 17 a factor of z?
False
Let d = -4 - -9. Let r = 104 - 16. Suppose 42 + r = d*s. Is 13 a factor of s?
True
Let r(n) = -4*n**3 + n + 1. Suppose 3 = -4*i - 1. Let c be r(i). Suppose -v + 120 = c*v. Is v a multiple of 12?
True
Let v(j) = 13*j - 3. Let o(l) = 9*l - 2. Let y(a) = -7*o(a) + 5*v(a). Let k be y(2). Suppose k*s = -9, -s + 6*s = 5*t - 165. Is 10 a factor of t?
True
Is 8 a factor of (72/(-54))/(1/(-18))?
True
Suppose 5*r = -4*u + 5, 0 = -0*r - 2*r - 2*u + 4. Let t be (-167)/r + 4/(-6). Suppose x = -4*x + t. Is x a multiple of 11?
True
Suppose 5*x - 5*w = 1300, 3*x - 776 = 2*w + 2*w. Suppose 0 = 3*g - 2*d + x, -5*g - 4*d - 462 = -0*d. Is 6 a factor of (4/5)/((-6)/g)?
True
Let y(z) = -3*z - 3. Suppose -j - 4 = -s, -5*j + j + 2*s - 14 = 0. Is 6 a factor of y(j)?
True
Suppose -7*c = -433 - 575. Is 12 a factor of c?
True
Let i = 57 - 6. Suppose -2*b = b - i. Is 11 a factor of b?
False
Suppose 2*c + 2*c = 544. Suppose 3*m - c = -m. Does 16 divide m?
False
Let k(i) = 5*i + 55. Is k(0) a multiple of 49?
False
Let l(t) = -t**2 + 9*t. Let b be l(9). Suppose -209 = -4*g + 4*q - 53, -4*g - 5*q + 156 = b. Is 13 a factor of g?
True
Suppose 4*t = -16 - 44. Let g = 7 - t. Let p = -13 + g. Is p a multiple of 9?
True
Let v = -447 - -822. Suppose -12*o = -7*o - v. Is 20 a factor of o?
False
Let b(u) = 40*u**2 + u - 1. Suppose j - 5 + 1 = 0, -5*k + 22 = 3*j. Let x be b(k). Suppose g = -4*h - 4*g + x, 4*h + 3*g = 151. Is 17 a factor of h?
True
Suppose 2*w + 3 = 3*w. Let v be 3/7 + 831/21. Suppose -w*o = -8*o + v. Is 8 a factor of o?
True
Let t(f) = 3*f**3 + 2*f**2 + 1. Let p be t(3). Let c = p - 39. Is 24 a factor of c?
False
Suppose 0*d + 80 = 4*d. Is d a multiple of 5?
True
Suppose -5*g = -3*g - 2. Let v = -5 - g. Does 10 divide 73/3 - v/9?
False
Let n = -5 + 11. Is 3 a factor of n/27 - 140/(-18)?
False
Let n(r) = r**2 - 3*r - 2. Let m be n(4). Suppose 5*u - 2*c + m = 0, -c = -2*c + 1. Suppose 0 = 5*v - u*d + 2*d - 80, -19 = -v - d. Is 7 a factor of v?
True
Let d = 25 - 7. Does 13 divide d?
False
Let f = 38 + -14. Is 23 a factor of f?
False
Let d be (-20 + 3)*(0 + 1). Suppose 2*u - 5*u = 0. Does 15 divide u + -1 + -1 - d?
True
Let d be 3/1 - 2/(-1). Suppose 6*z - z - 3*y = 161, -d*z - y = -153. Is z a multiple of 11?
False
Let b(h) be the first derivative of -2*h**2 + 2*h - 4. Is b(-5) a multiple of 6?
False
Let f be 10/6*(1 + 2). Suppose i - f*z = 95, 0 = 2*i - 4*i + z + 163. Is i a multiple of 22?
False
Suppose 0*h = -4*h + 12. Suppose 2*b + 3*n = n + 8, -30 = -3*b + h*n. Does 2 divide b?
False
Suppose 81 - 21 = 3*p. Is p a multiple of 14?
False
Suppose -26 - 19 = -9*n. Does 3 divide n?
False
Let f(b) = b**3 - 19*b**2 + 6*b - 37. Is f(19) a multiple of 5?
False
Let l be (-6)/(-4) + 6/12. Let a = 6 - l. Suppose a*x + 2*y - 85 = y, -x = 3*y - 35. Is x a multiple of 10?
True
Let c(t) = t**3 + t**2 - 2*t + 3. Let w be c(2). Let v = w - 7. Suppose 0 = -v*k - 3*f + 22, -k - f = -0*k - 6. Is 4 a factor of k?
True
Let v(n) = -n**3 - 2*n**2 - n - 3. Let c(b) = b**3 - 2*b**2 + b + 2. Let y be c(2). Suppose -5*j + 3*s - 18 = -y*j, 2*j - 3*s + 21 = 0. Is 9 a factor of v(j)?
True
Let l = 27 + -19. Suppose -l = -2*p - 2*r, -2*r = -p - 2*p + 12. Suppose -p*q + 5*c + 4 + 54 = 0, 4*c = 4*q - 56. Is q a multiple of 12?
True
Suppose 2*f - 150 = -4*d, -f - 143 = -3*d - 28. Does 16 divide d?
False
Suppose 4*w - 60 = 2*w. Is w a multiple of 3?
True
Let l = 107 - 171. Let v(k) = 5*k**3 + 2*k - 1. Let h be v(1). Does 3 divide (h/(-4))/(12/l)?
False
Let n(i) = 3*i**2 - 17*i + 17. Is 15 a factor of n(7)?
True
Let o = 21 + 49. Is o a multiple of 19?
False
Suppose p - 3 = -1. Let v(c) = 6*c**2 - 3*c + 3. Is v(p) a multiple of 17?
False
Let v(c) = 7*c + 113. Does 10 divide v(0)?
False
Let a be 230/8 - 2/(-8). Let n = -18 - a. Let c = 69 + n. Is c a multiple of 19?
False
Is 7 a factor of 15/(-35) - 843/(-7)?
False
Let u(t) = 3*t**2 + t. Is 11 a factor of u(-4)?
True
Suppose -r - 5*d = -d + 139, -5*r - 678 = 3*d. Let v = 189 + r. Does 18 divide v?
True
Suppose 5*o - 5 = 4*c, -2*c + 2*o + 0*o - 2 = 0. Let v = 14 + c. Is 13 a factor of v?
False