 7 a factor of k?
False
Let y = -28 + 46. Suppose -5*v + y = -3*v. Is 7 a factor of v?
False
Let q(y) = y**3 - 4*y**2 - 5*y + 3. Let h be ((-2)/6)/((-3)/45). Is q(h) even?
False
Let j = 5 + 12. Suppose -2*g + 4*n - j = -g, n - 17 = -4*g. Suppose 3*l - 2*h - 38 = 61, 4*l = -g*h + 132. Is 20 a factor of l?
False
Suppose -4 = 4*c - 16. Suppose -g = c*g - 156. Is 13 a factor of g?
True
Suppose f + 4*b = -15, f + 5*b = -0*b - 10. Let h = f + 182. Suppose -63 = -a - 5*s, -6*a + s + h = -2*a. Does 19 divide a?
True
Let l = -313 + 154. Let d = 223 + l. Is 16 a factor of d?
True
Let c(b) = 7*b - 16. Let n(r) = r. Let o(m) = c(m) - 2*n(m). Does 8 divide o(8)?
True
Let c be 1/((-2 - -3)/2). Suppose 0 = 7*k - 143 + 17. Suppose -c*i + k = -60. Is 15 a factor of i?
False
Let g(l) = l**3 + 2. Let s be g(0). Let w be (12/(-15))/((-2)/(-5)). Is 26 a factor of ((-22)/2 - s)*w?
True
Is 6 a factor of -2 - 2*(3 + -13)?
True
Suppose 6*o = 10*o - 176. Does 23 divide o?
False
Let t = 73 + -44. Does 13 divide t?
False
Let b be ((-23)/(-2))/((-5)/(-20)). Suppose -4*u = 5*i - b, 3*u - 37 = -5*i + i. Is 5 a factor of i?
True
Suppose 6*w - 58 = 62. Is w a multiple of 11?
False
Suppose 260 = 4*l - 132. Suppose 3*s = -4*u + l, -3*s + 0*u + 2*u + 122 = 0. Does 21 divide s?
False
Suppose -4*x - 9 = 2*d + 3, 3*d = 2*x + 22. Suppose 12 = -0*j + d*j. Is 13 a factor of 11 - -1 - j/(-3)?
True
Let o(d) = -3*d - 3. Let s(v) = -v**3 - 10*v**2 + v + 5. Let j be s(-10). Is o(j) a multiple of 12?
True
Let c = 6 + -6. Suppose r + 6*g = g + 82, r - 4*g - 73 = c. Does 25 divide r?
False
Suppose -q - q + 4 = 0. Suppose -4*c + 4 = -p, p - 3*c + 6 = q*c. Let s(f) = -f**2 + 6*f - 1. Is s(p) a multiple of 7?
True
Suppose -255 = -5*f + 5*l, -3*f + 4*l - 15 = -166. Is 14 a factor of f?
False
Let a(p) be the third derivative of -p**7/720 + p**6/360 + p**5/20 - 2*p**2. Let u(l) be the third derivative of a(l). Does 15 divide u(-4)?
True
Suppose -3*x + 0*x = -141. Is 8 a factor of x?
False
Let c(n) = 2*n**2 + n + 4. Suppose s + 0 = -3. Let u be c(s). Let k = u + -7. Does 6 divide k?
True
Suppose 4*d - 29 = b, 0 = 5*b - 15 - 0. Suppose 88 = 5*g + d. Does 16 divide g?
True
Let n(d) be the third derivative of -d**5/60 - 5*d**4/12 - 2*d**3/3 - d**2. Let a be 87/(-15) - (-24)/30. Is n(a) a multiple of 7?
True
Is 24/42 - (-2781)/21 a multiple of 19?
True
Suppose -3 = -2*y + 5. Suppose y*x = -54 + 246. Does 19 divide x?
False
Is -2 + 2 - (-34)/2 a multiple of 17?
True
Let o = -26 + 16. Let u(p) = p**2 + 6*p - 2. Is 19 a factor of u(o)?
True
Let l(w) = -6*w - 4. Suppose 11 = -2*y - z, 2*z - 2 = -0. Is l(y) a multiple of 13?
False
Suppose 0 = r + 6 - 42. Does 9 divide r?
True
Suppose -3 = 2*a - 5*a. Let v(h) = 37*h**2. Is 11 a factor of v(a)?
False
Does 10 divide (-16)/24*39/(-2)?
False
Suppose -16 - 20 = -4*q. Let t be 3/q*(-3)/(-1). Does 3 divide (2/(-1))/(t/(-3))?
True
Suppose -2*f + f = 7. Let w = 5 - f. Is w a multiple of 12?
True
Let k(u) = -2*u + 10. Let f be k(11). Let t = -6 - f. Is 4 a factor of t?
False
Suppose -3*d + 4*r - 278 = 0, 5*r + 2 = 2*d + 192. Is (2/(-6))/(5/d) a multiple of 6?
True
Let c(p) = p**2 - p - 54. Is 4 a factor of c(10)?
True
Suppose 16 = 5*f + m + 1, -2*f - 2*m = -14. Does 11 divide (-1 - (f + -5)) + 20?
True
Suppose 0 = -4*k - 2 + 22. Suppose 2*r + 36 = k*r. Let f = r - 5. Does 7 divide f?
True
Let o be ((-1)/2)/(3/(-6)). Suppose -h + 11 = o. Does 11 divide h - 1 - (-4)/2?
True
Let c = 21 + -15. Let g(q) = q - 4. Let m be g(c). Suppose k + 20 = m*k. Does 17 divide k?
False
Let l(q) = 3*q**2 + q - 3. Let w be l(-3). Suppose 2*k - w = 3*r + 13, 3*k = 3*r + 45. Is k even?
False
Let z be 13/3 + 1/(-3). Let k = z + -4. Suppose g - 4 = -k. Is 3 a factor of g?
False
Let z be -31*(-2 + 1)*-1. Let o = z + 53. Is o a multiple of 22?
True
Suppose 0 = -t + 3*z + 282, 2*t + z - 539 = 2*z. Let y be (12/18)/(2/t). Suppose 5*n - 3*d - y = -8, -5*d = -3*n + 39. Is n a multiple of 9?
True
Suppose 64 = -a - 26. Suppose -2*f - 106 = -0*f. Let k = f - a. Does 13 divide k?
False
Let q(f) = f**2 + 8*f - 12. Let a be q(-11). Suppose 2*k - a = -k. Does 5 divide k?
False
Suppose 5*o + 5*h = 1115, h - 6*h - 709 = -3*o. Is o a multiple of 12?
True
Let s(b) = 6*b**3 - 13*b**2 - b - 2. Let c(o) = -7*o**3 + 14*o**2 + 2*o + 1. Let m(x) = -5*c(x) - 6*s(x). Does 7 divide m(7)?
True
Let h(y) = -y**3 + 7*y**2 - 7*y + 10. Does 6 divide h(4)?
True
Let z = -1 - -3. Is 2 a factor of z?
True
Let o(y) = -3*y + 4. Suppose 35 = -3*b - 2*t + 15, 3*t = -5*b - 35. Is o(b) a multiple of 17?
True
Suppose -4*i = 5*z - 256, -7 + 3 = z. Suppose -7*r + 180 = 5*u - 3*r, -2*u - r + i = 0. Is 14 a factor of u?
False
Let w = -54 - -132. Is 23 a factor of w?
False
Is 25 a factor of (-4)/(-6) + -5 + (-1565)/(-15)?
True
Let k(v) = v**3 - 5*v**2 - 4*v - 4. Let g(q) = -q**3 + 5*q**2 + 6. Let m be g(5). Is 4 a factor of k(m)?
True
Suppose s + 0*z - 3*z = 23, s = -5*z - 17. Suppose 0 = 3*d + s*o - 3*o - 47, -2*o - 1 = -d. Is 3 a factor of d?
True
Let y be 2 + (0/2 - 0). Suppose -h + y = -3*h. Let k = h + 4. Does 2 divide k?
False
Let o(c) = 5*c**2 + c - 1. Let r be o(1). Suppose 4 = 5*t + 4*g - 2*g, -2*t - r = 3*g. Suppose -n + 0 = t*m - 19, -5*m - 5*n = -55. Is 8 a factor of m?
True
Let s(l) = -4 + 2*l - 4*l + 0. Suppose 7 = 2*h - 5*p, h + 3*p + 2*p = -19. Is s(h) a multiple of 4?
True
Let s(b) = 22*b + 8. Does 13 divide s(2)?
True
Let p(v) = v**2 - 8*v + 7. Let m be p(10). Suppose 0 = 2*d - 159 + m. Does 15 divide d?
False
Suppose -b = 2*c + 2 - 8, 4 = -3*c + 5*b. Is 21 a factor of ((-9)/c - -4)*-84?
True
Is ((-1)/2 - -1)/((-6)/(-672)) a multiple of 32?
False
Let u(b) = -b**3 - 9*b**2 - 13*b - 11. Does 4 divide u(-8)?
False
Let b = -17 + 31. Is b a multiple of 14?
True
Suppose m + 2 = 3. Let x be m/2 - 1/2. Suppose -3*g = -x - 72. Is 12 a factor of g?
True
Let g be 2/(-6) + (-49)/(-3). Let u be (g/(-3))/((-2)/15). Let i = u - 27. Does 13 divide i?
True
Let f(h) = h - 4. Let l be f(8). Is (0 - -38) + (6 - l) a multiple of 10?
True
Let d = 120 - 71. Is 15 a factor of d?
False
Let t be ((-1)/(-3))/((-4)/(-1092)). Let a = -51 + t. Does 19 divide a?
False
Suppose -p = 4*p - 90. Does 9 divide p?
True
Let v be 1*(6 - 2 - -2). Let s = v - 2. Suppose s*c + 0*d = -3*d + 55, 3*d = c + 5. Is c a multiple of 10?
True
Let p(j) = 5*j. Suppose 2*m = -d + 30, -3*m + 45 = 2*m - 5*d. Let s = m + -7. Does 10 divide p(s)?
True
Let x(w) = 9*w**2 + 9*w - 4. Is 26 a factor of x(-4)?
True
Let f = -2 + 1. Let j = 1 + -2. Is 12 a factor of f + 0 - (j + -24)?
True
Let a(o) = o**3 + 7*o**2 + 6*o + 2. Let z be a(-6). Suppose z*v - 4 = 5*v - 2*r, 4*v = -3*r + 23. Suppose v = 3*m - 46. Does 8 divide m?
True
Let z(u) = 8*u + 4. Is z(2) a multiple of 5?
True
Let u = 17 + 36. Does 14 divide u?
False
Suppose 2*j - 57 = -6*y + y, 2*j + 2*y - 42 = 0. Is 4 a factor of j?
True
Suppose 7*v - 741 - 337 = 0. Is v a multiple of 20?
False
Does 24 divide -2*((-460)/8 - -3)?
False
Suppose 2 - 1 = x. Let u(n) = 22*n**3 - n**2 + n. Is 11 a factor of u(x)?
True
Let w(b) = 4*b**3 + 2 - b**3 - 4*b**3 - 2*b**3 - 3*b**2. Does 9 divide w(-2)?
False
Let b = -69 - -129. Does 15 divide b?
True
Let i = 86 - -13. Suppose 0 = -2*l + f + i, f = -4*l + 2*f + 197. Is 10 a factor of l?
False
Is 16 a factor of 32*(-3)/(-18)*9?
True
Let c be (9 - -5)*36/14. Let y = 54 - c. Suppose -3*j - y = -3*r, -2*r + 6 = -4*r - 4*j. Is r a multiple of 3?
True
Let q = 134 + -46. Is q a multiple of 37?
False
Suppose 3*i = i + 3*t + 19, 5*i = 3*t + 25. Suppose z - 2 - i = 0. Suppose 2*a + z*n = 0, -3*a = -2*n + n - 35. Is 10 a factor of a?
True
Suppose -15 = 5*v, -f = v + 5 - 0. Let k(c) = -11*c**3 + c**2 + c. Let y be k(f). Suppose -6*p - y = -3*o - 2*p, -58 = -2*o + 2*p. Is o a multiple of 13?
True
Let i(u) be the first derivative of u**4 + u**3/3 + 3. Let c = -5 + 7. Is 18 a factor of i(c)?
True
Suppose -4*g + 3*g - 3 = 0. Let p = 8 + g. Is 17 a factor of 2 - (3 + -7*p)?
True
Suppose 2*n - 71 = l + 52, n + l = 66. Is n a multiple of 18?
False
Let n = -592 - -872. Suppose -2*z = 2*z - n. Suppose -t - 9 = -5*b, -b - b = -5*t + z. Is t a multiple of 16?
True
Let s = 58 - 27. Does 8 divide s?
False
Let a = -62 + 106. Is a a multiple of 13?
False
Suppose r = -4*z + 66, 0*r - 4*z = -4*r + 264. Does 48 divide r?
Fal