s 8 a factor of y?
False
Suppose -5*h + 81 = -179. Suppose -2*d + 34 = 2*n, -4*n - h + 16 = -4*d. Is 7 a factor of d?
False
Let z(k) be the first derivative of k**4/24 - k**3/6 - k**2/2 + 2. Let f(l) be the second derivative of z(l). Is f(6) even?
False
Let h = -43 + 23. Let u = 42 + h. Suppose 0 = -4*o + u + 74. Is o a multiple of 12?
True
Let w(k) = 2*k**2 + k + 7. Is 11 a factor of w(-3)?
True
Suppose 0 = 10*z - 13*z + 54. Is 12 a factor of z?
False
Does 12 divide 242 - (2 + (-15)/(-5))?
False
Suppose -5*g - 480 = -5*v, -2*v + 2*g = -3*g - 186. Suppose -h - v = -2*t - 4*h, -168 = -4*t + h. Does 17 divide t?
False
Let z(q) = -q**3 + 7*q**2 + 3*q + 7. Let j be z(6). Is 13 a factor of (-4 - j)*(-4)/10?
True
Let a(v) = 2*v**2 + 9. Is 7 a factor of a(-4)?
False
Let u = -21 - -39. Is 18 a factor of u?
True
Let l(c) = c**3 - 2*c**2 - c - 4. Let m be l(3). Suppose m*x - 74 = -0*x. Suppose -11 + x = u. Does 13 divide u?
True
Let f(q) = -q + 10. Let m be f(0). Suppose m = 4*o - 22. Is 7 a factor of (6/(-3) - -4)*o?
False
Let m be 138/9*3/2. Let v = m + -43. Let n = v - -55. Is 9 a factor of n?
False
Let k = 78 - -128. Does 44 divide k?
False
Let o(l) = -l**2 - 13*l - 15. Is 8 a factor of o(-9)?
False
Let h be 6/15 + 3386/10. Suppose -138 = 3*i - h. Let z = i + -48. Is 8 a factor of z?
False
Suppose -4*w - 4*f = -144 - 20, -f = -4. Is w a multiple of 8?
False
Let y(w) = -w**3 + 2*w**3 - 5*w**2 + 0*w**3 + w - w**2. Does 3 divide y(6)?
True
Let w be 1 + (-8)/(-4 + 0). Suppose 3*l + 5*f - 207 = 0, w*l - 4*l - 3*f + 69 = 0. Does 23 divide l?
True
Let w = -13 + 3. Let y = w - -16. Is y even?
True
Let v(d) be the second derivative of d**7/840 - d**6/60 + d**5/60 - d**4/6 + d**3/6 + 3*d. Let z(o) be the second derivative of v(o). Is z(6) a multiple of 6?
False
Let u(z) = 4*z - 7. Does 6 divide u(8)?
False
Let w be (-9)/15 - 376/(-10). Suppose 4*s - w = 7. Does 10 divide s?
False
Let x(k) = 6*k**2 + 2*k + 2. Let z = -1 + -5. Let h = 4 + z. Is 22 a factor of x(h)?
True
Suppose -30*k = -29*k - 28. Let i = 7 + -4. Suppose -k = -r - i*r. Is 6 a factor of r?
False
Let k(g) = -g**3 + 4*g**2 - g - 1. Let t be k(3). Suppose 0 = 3*m - 4*m + t. Suppose 4*h = -m*b + 45, 0*b - 41 = -4*h - b. Does 5 divide h?
True
Let s(q) = q + 3. Let i be s(-5). Let a = i - -3. Let c(d) = 26*d**3 - d**2. Does 18 divide c(a)?
False
Let w(c) = c**2 - 5*c - 4. Let g be w(6). Suppose 59 = 2*p - 5*a, 2*p + 4*a = -g*p + 76. Does 11 divide p?
True
Let t = 4 + -1. Suppose -24 + t = 3*h. Let q = h + 12. Does 5 divide q?
True
Let b(s) = s - 6. Let h be b(4). Let i(u) = -14*u + 0 + 0 - 3. Is i(h) a multiple of 11?
False
Suppose 3 = -l + 6. Suppose -k = -l*h - 2, k + h = -h + 2. Is k even?
True
Let j = 37 - 25. Suppose 3*o = -d + 6, 2*d + 3*o - j = -2*o. Is 5 a factor of d?
False
Let v be (-1)/((0 - 1)/3). Suppose g + v = t, 3*g - 3 = t - 4*t. Is t even?
True
Suppose -180 = -5*w - x, -2*w + 0*w - 2*x = -72. Let h = w + -20. Is h a multiple of 13?
False
Is ((-5)/(-6))/(-5) + 291/18 a multiple of 16?
True
Suppose 22*w - 832 = 9*w. Is 27 a factor of w?
False
Suppose 0 = -2*p + 90 + 56. Suppose -16 = 2*a + l - p, 0 = -3*a + l + 78. Is 9 a factor of a?
True
Let l(k) = k**3 - 3*k**2 - 6*k + 2. Let j be l(4). Let a be (2 - 7) + 2*1. Is (-43)/j + a/18 a multiple of 7?
True
Let o(b) = -b**2 + 8*b + 5. Is 6 a factor of o(7)?
True
Suppose -5*p - 2*g + 342 = g, -143 = -2*p + 5*g. Does 9 divide p?
False
Let y(u) = -u**3 - 14*u**2 + 16*u + 14. Let r be y(-15). Is r/((-160)/(-54) - 3) a multiple of 9?
True
Is ((-4)/14)/((-2)/56) a multiple of 3?
False
Is 46 - 1/((-12)/(-8) - 1) a multiple of 8?
False
Let f = -72 - 66. Let j = -63 - f. Does 30 divide j?
False
Suppose 145 = -4*k - k. Let x = k + 50. Is 7 a factor of x?
True
Let d = -5 + 3. Is (-1 - d - 2)*-27 a multiple of 9?
True
Let y = 2 - 2. Let o be (y - -23)/(0 - -1). Let t = o + -11. Is t a multiple of 6?
True
Let b(w) = -w + 1. Let v be b(7). Let j be (5 - 0)*v/10. Does 4 divide j/(-3)*4/1?
True
Let q = 42 - 20. Is 11 a factor of q?
True
Suppose 4*i + i + 90 = 0. Let l = -13 - i. Is 5 a factor of l?
True
Suppose 3*b + 4*i - 15 = 2, -i + 5 = 0. Let h be b/(-3)*(0 - -471). Suppose -3*y - 58 = 3*o - h, -2*y + 72 = -o. Does 16 divide y?
False
Suppose -3*t = -5 + 14. Let j be 4*-2*t/(-6). Is 11 + (-2)/(-4)*j a multiple of 4?
False
Let t = 79 + -47. Suppose -t = -5*h + 43. Does 7 divide (-3)/h + (-82)/(-10)?
False
Let b = -1 - 5. Let g(d) = -d - 1. Let v be g(b). Is 18/v*(-20)/(-6) a multiple of 12?
True
Suppose -2*x = 3*x - 175. Is x a multiple of 18?
False
Suppose -5 = 5*j, 0 = -4*l - j + 24 + 11. Is 28 a factor of (-2)/6 - (-759)/l?
True
Let l = 297 - 212. Is 2 a factor of l?
False
Suppose 4*a - 13*a = -1098. Is 10 a factor of a?
False
Suppose d = 2*d - 5. Suppose -d*j + 79 = -16. Is 19 a factor of j?
True
Suppose 77 = 4*d - 167. Let c = d - 96. Does 3 divide (1 - 2)*c/5?
False
Let v be (1 + -179)*10/(-10). Suppose 4*y - v = 62. Is 12 a factor of y?
True
Suppose v - 3*t = 2*t + 123, -v - 2*t + 130 = 0. Is 32 a factor of v?
True
Let f(d) = 11*d**2 + 11 - 2*d**3 - 3*d**3 + 22*d + d**3. Let t(o) = 3*o**3 - 7*o**2 - 15*o - 7. Let n(r) = 5*f(r) + 7*t(r). Is 6 a factor of n(-5)?
True
Suppose 3*i = -70 + 178. Is i a multiple of 18?
True
Let l(q) = q + 101. Let f be l(0). Suppose y = 4*o - f, 6*y + 20 = 2*y. Is o a multiple of 10?
False
Let d(n) = n**2 - 9*n + 12. Suppose 5*z - 18 = -3*g + 2*z, -5*g - 4*z + 33 = 0. Is 12 a factor of d(g)?
True
Suppose -5*z + 3*z = -12. Let m = z + -3. Does 3 divide m?
True
Suppose -7*o + 341 = -254. Is 17 a factor of o?
True
Let u(w) = -3*w**2 + 2*w + 6. Let m(v) = 4*v**2 - 3*v - 7. Let x(i) = 2*m(i) + 3*u(i). Let a be x(7). Does 8 divide 1/(-4) - a/4?
False
Let z = -32 - -109. Is z a multiple of 20?
False
Let j(k) = k + 7. Let v be j(-10). Let o = v + 12. Suppose 2*u + o = 3*u. Is 9 a factor of u?
True
Suppose 3*u - 152 = 7*u. Let s = 4 + u. Let m = -14 - s. Does 17 divide m?
False
Let j = 12 - -2. Suppose -j = -2*y + 34. Is y a multiple of 12?
True
Let d(k) = -4*k - 8*k**2 + 0*k**2 - 1 - 2 + 2*k**2 + k**3. Is d(7) a multiple of 9?
True
Does 8 divide ((-99)/(-2))/((-6)/(-8))?
False
Let r(n) = -n**3 + 8*n**2 + 3*n + 4. Is r(4) a multiple of 40?
True
Let o(g) = -g**3 - g**2 + 130. Is 34 a factor of o(0)?
False
Let m = 46 - 20. Suppose n + 0*n = -2. Let v = n + m. Does 12 divide v?
True
Let d = -28 + 19. Let w = d + 18. Does 9 divide w?
True
Is 60/(-30)*(-298)/4 a multiple of 25?
False
Suppose 5*u - 27 = -2. Suppose u*k = -2*y + 2, 2*y - 10 = -k + 4*y. Suppose 0 = c - k, -60 + 20 = -4*l - 2*c. Is l a multiple of 6?
False
Let b(y) = -y**2 - y + 1. Let i be b(2). Let k(l) = -5*l**2 - l + 3. Let x(a) = -4*a**2 + 2. Let v(o) = 5*k(o) - 6*x(o). Is v(i) a multiple of 3?
True
Is 2 a factor of -13*5/((-15)/3)?
False
Let t = 1 + 21. Is t a multiple of 5?
False
Is 11 a factor of 84/8*3*(-4)/(-6)?
False
Let g = 6 - 4. Suppose -3*v + t + 51 = 0, 4*v - 3*t - 34 = g*v. Does 10 divide v?
False
Let j(c) = c**3 + 2*c**2 - c + 4. Let d be j(-3). Let t(s) = s**2 + 2*s. Let u be t(d). Let m(q) = -q**2 + 20. Does 20 divide m(u)?
True
Let v(k) = -20*k**3 + 3*k**2 + 5*k - 8. Let m(q) = -13*q**3 + 2*q**2 + 3*q - 5. Let l(g) = -8*m(g) + 5*v(g). Does 15 divide l(2)?
True
Let d = -6 - -8. Suppose -d*q - 54 + 236 = 0. Does 21 divide q?
False
Suppose -5*h + 10 = 0, -44 = -t + 3*h + 70. Is t a multiple of 30?
True
Let m(u) = u**2 + 6 - 5*u + 4*u + 2*u. Is 12 a factor of m(5)?
True
Let a = -12 + 25. Is a a multiple of 13?
True
Let j(h) = -h**3 + 8*h**2 + 12*h + 2. Let m be j(9). Let c = 3 + m. Is 19 a factor of c?
False
Suppose 3*k = 2*y - 4*y + 80, 158 = 3*y - 5*k. Is y a multiple of 33?
False
Is 39 a factor of (3*2/3 + -88)/(-2)?
False
Let q = 0 - 2. Let t = 35 - q. Does 14 divide t?
False
Suppose -4*o - 3*h + 0*h - 62 = 0, 58 = -4*o - h. Let s = -2 - o. Is 12 a factor of s?
True
Is (-22)/((-8)/(-34)*(-10)/20) a multiple of 11?
True
Let l(c) = 2*c**2 + 3*c - 4. Let y be l(-4). Suppose -v + y = -3*v. Is (-25)/(-2) + 4/v a multiple of 8?
False
Suppose 3*y + 4*c - 25 = 6*c, 0 = -2*y + 2*c + 16. Is 2 a factor of y?
False
Let j(r) = 9*r - 58. Does 11 divide j(9)?
False
Let d(l) = -22*l + 2. Is d(-2) a multiple of 23?
True
Suppose x = 1 + 3. Suppose x*m - 48 = -4*z,