3*u = 5*j + 27. Does 17 divide z(u)?
True
Let m = -5 - -11. Suppose -m*c + 75 = -3*c. Suppose x + c = -5*t + 85, -15 = -3*x. Is 11 a factor of t?
True
Suppose -6*o = 4*b - 3*o - 37, -b - 4*o = -19. Is 2 a factor of b?
False
Suppose 3*y = 20 + 73. Let j(t) = -2*t. Let g be j(-2). Let i = y - g. Is 27 a factor of i?
True
Let t = 42 + -29. Let u = t - 8. Suppose -2*o + u*o - 51 = 0. Is 7 a factor of o?
False
Let i(b) be the third derivative of 0*b - 1/120*b**6 - 1/4*b**4 - 2*b**2 + 1/6*b**3 - 1/10*b**5 + 0. Is i(-5) a multiple of 3?
True
Let l = -1 + 6. Suppose 2*y - 4*y - 104 = -2*t, -l*t + 3*y + 268 = 0. Is t a multiple of 15?
False
Let b(f) = 8*f + 9. Suppose -4*z - 14 = h, 0*h - z = h - 1. Is b(h) a multiple of 12?
False
Suppose 0 = 3*d - 5 - 1. Suppose d*k + 5 + 7 = 0. Let s(f) = f**3 + 8*f**2 + 5*f - 4. Is 19 a factor of s(k)?
True
Let v(c) = c**3 - 3 + 0*c - 2*c - 4*c**2 + 4. Is v(5) a multiple of 8?
True
Suppose -n - 4*j + 13 = -5*j, 2*j = -n - 2. Is n a multiple of 4?
True
Suppose -p - 158 = -2*p + w, -2*p - 3*w + 296 = 0. Is 8 a factor of p?
False
Let x be -1*(3 - 0) + 7. Suppose 10 = x*q + q. Does 8 divide (q + (-15)/6)*-22?
False
Suppose -12 = -3*t - 0*t. Suppose -5*m = -m + 4*r + 4, 2*r + 26 = t*m. Suppose 2*b + m = 16. Is b a multiple of 3?
True
Let l(f) = -f - 9. Let g be ((-9)/(-4))/(6/(-24)). Let k be l(g). Suppose k = -0*u - u + c + 9, -2*u + 23 = -3*c. Is u a multiple of 4?
True
Suppose 4*z - 92 = -3*y, -3*y + 86 = -2*z + 24. Is y a multiple of 8?
True
Let a(p) be the first derivative of -p**5/24 + p**4/24 + 2*p**3/3 + 3. Let x(m) be the third derivative of a(m). Does 3 divide x(-1)?
True
Suppose 3*r = -5*v + 104, r + 5*v = 5*r - 127. Suppose -5*x + 2*m = -2*m + r, -18 = 4*x + m. Let f = 27 + x. Does 11 divide f?
True
Let r be 1/3*3 + -2. Let p = 4 + r. Does 9 divide 0/(-3) + p*4?
False
Let r = 2 + -1. Let o = 1 + r. Suppose d - s - 4 = o*s, -3*d = 2*s - 45. Does 7 divide d?
False
Suppose -4*n - 256 = -4*h, -2*h + h + 62 = -2*n. Suppose -9 + h = v. Suppose 3*f - v = -18. Is 5 a factor of f?
False
Let u(t) = t**2 - t + 2. Let z be (0/3 - -2)*1. Let l be u(z). Is 8 a factor of (-3)/l + 249/12?
False
Let o = 6 - 6. Suppose -6 = -3*c - o, 5*w = 3*c + 154. Is w a multiple of 30?
False
Suppose -o - 33 = -4*o. Is o even?
False
Let q(o) = 2*o + o**2 + 19 - 19. Let d be q(6). Suppose 4*l = -0*l + d. Is 10 a factor of l?
False
Let f(b) = 2*b - 9. Let a be f(-9). Let l = a + 41. Does 3 divide l?
False
Let c(r) be the first derivative of -r**4/4 - r**3/3 + 3*r**2/2 + 2*r + 3. Let p be c(-2). Is (p + 1)/((-2)/(-68)) a multiple of 11?
False
Let b be -5*(66 - (3 - 1)). Let q be ((-6)/(-4))/((-15)/b). Suppose 3*c - c = q. Is c a multiple of 16?
True
Let t = -7 + 11. Suppose -14 = -x + t*c, 0 = x + 3*x + 2*c - 128. Is 10 a factor of x?
True
Let a(o) = -o**3 + 6*o**2 + 10*o - 3. Let j = 11 - 5. Suppose 3*c - 15 = j. Is 10 a factor of a(c)?
False
Let w(i) = 0*i**2 - 4*i**2 + 2 + 8*i + 3*i**2. Let y be w(8). Is 3 a factor of (9/4)/(y/8)?
True
Suppose 0 = 5*u + 6 + 9. Let a = u - -7. Is (0 - 0) + 56/a a multiple of 10?
False
Let n(w) = 4*w - 11. Let q(t) = 10*t**2 + 1. Let g be q(1). Is 12 a factor of n(g)?
False
Let n = -6 + 8. Suppose 0 = -i + n*i - 43. Does 14 divide i?
False
Suppose 3*x = 2*x + 4. Let h(t) = x*t - 5*t - 6 - 1 - t**2 - 8*t. Is h(-6) a multiple of 11?
True
Suppose x - 4*s + 4 - 33 = 0, -x - 5*s = 7. Is x a multiple of 3?
False
Let p = -27 - -51. Is p a multiple of 12?
True
Suppose 14*u = 15*u - 64. Suppose -u = -5*n + n. Does 4 divide n?
True
Let y = -11 + 16. Suppose 0 = -y*v + 5*x - 5, 2*x = -2*v + 3 - 9. Does 11 divide ((-11)/2 - 1)*v?
False
Let y(j) = -44*j + 12. Is y(-6) a multiple of 23?
True
Let s(p) = p**3 - 4*p**2 - 10*p + 9. Is s(6) a multiple of 6?
False
Let s = -113 - -183. Suppose 0 = y + 4*y + 3*u - s, -4*y + 2*u + 78 = 0. Suppose y = 2*d - d + 2*r, 3*d - 5*r = 29. Does 6 divide d?
False
Let u = -6 - -9. Suppose -j = -u*j. Is (-6)/(-2)*(12 + j) a multiple of 16?
False
Let s(h) = -40*h + 26. Does 45 divide s(-6)?
False
Let h be (-24)/(-4) - (2 + -2). Suppose m - 59 + h = 0. Is m a multiple of 18?
False
Suppose -2*k + 0*k + 6 = 0. Is 3 a factor of k?
True
Let j = 25 + -35. Does 6 divide (-10)/4*24/j?
True
Let w be 2/((-3)/((-258)/4)). Let y = 46 - 44. Suppose 0 = y*b - w + 1. Is 13 a factor of b?
False
Let l(m) = 3*m**2 + m + 1. Let f be l(-1). Let c be (9/f)/(3/(-10)). Is 0 + (-2 + 0 - c) a multiple of 4?
True
Let f be (6/4)/((-9)/(-60)). Suppose -3*j = -4*x + 8*x - f, 3*x + 65 = 5*j. Let i = j - 8. Is i even?
True
Let r(x) = -2*x**3 - 2*x**2 + 4*x + 3. Is 6 a factor of r(-3)?
False
Let t be 1*(-2 + 1)*9. Let m(g) = -g**3 - 8*g**2 + 8*g - 5. Let s be m(t). Suppose -p + 6 + s = 0. Is p a multiple of 10?
True
Is (-184)/(-18) - (-36)/(-162) even?
True
Suppose 4*n - 2*n = 30. Is 15 a factor of n?
True
Let i(q) = 3*q + 3*q**2 + 1 - 5 + 0*q**2. Does 18 divide i(3)?
False
Suppose 5*i = 5*c - 375, -c - 375 = -6*c - 5*i. Suppose 3*l = 4*f - 160, 4*l - c - 94 = -5*f. Does 9 divide f?
False
Let a = -122 + 176. Does 18 divide a?
True
Let n(w) = 9*w**2 - 7*w - 12. Let x(i) = -4*i**2 + 4*i + 6. Let v(u) = -2*n(u) - 5*x(u). Is v(6) a multiple of 13?
False
Suppose -5*c - 5*i + 984 = -7*i, -2*c - i = -390. Does 7 divide c?
True
Let l = -9 + 68. Does 19 divide l?
False
Let b = -65 + 85. Is 20 a factor of b?
True
Suppose 124 - 1034 = -5*n. Is 26 a factor of n?
True
Does 16 divide (-2)/(-12) + (7975/(-6))/(-5)?
False
Suppose 7*f = 2*f + 10. Suppose -g - 145 = -5*d, f*d = -2*g + 23 + 23. Is 14 a factor of d?
True
Suppose 3*k - 91 = -34. Is 19 a factor of k?
True
Suppose 5 + 499 = 6*d. Is 10 a factor of d?
False
Let y(c) = 12*c + 1. Suppose 3*p = -0*p + 6. Let v be y(p). Let a = -5 + v. Is a a multiple of 10?
True
Suppose -3*x + 24 = x. Let z = 18 - x. Is z a multiple of 11?
False
Let s = 8 - -24. Does 16 divide s?
True
Let c = -29 + 4. Let p = 3 - c. Does 28 divide p?
True
Let h(y) = -3 - 3*y + y**2 + 0*y + 7. Let z be h(3). Let p = 16 + z. Does 10 divide p?
True
Let c(q) = q**2 + 5*q - 2. Let s be c(-6). Suppose -2*m + 0*m = a - 67, -s*m + 3*a + 129 = 0. Is m a multiple of 11?
True
Let b(h) = 2*h**3 + h**2 - 3*h + 2. Is 7 a factor of b(2)?
False
Suppose 6*p - 8*p = -296. Does 37 divide p?
True
Let a(v) = v**2 + 7*v + 2. Is 18 a factor of a(6)?
False
Suppose 0*a - 402 = -2*a. Suppose 3*l = -4*o + 221, -4*l + 4*o + 103 = -a. Is l a multiple of 15?
True
Suppose 0 = -4*i + b - 3*b + 172, 4*i + 4*b = 180. Does 21 divide i?
False
Suppose k = -4*k - 20. Let c(n) = -2*n. Does 4 divide c(k)?
True
Suppose -2*p - 2*d + 174 = -82, -2*d - 276 = -2*p. Is 34 a factor of p?
False
Let w = 19 + -9. Is 7 a factor of w?
False
Let m(f) = -74*f**3 + 2*f + 1. Is 15 a factor of m(-1)?
False
Let u = 51 - 23. Is 6 a factor of u?
False
Suppose 2*c + 25 + 83 = 0. Is (c/(-1))/(15/10) a multiple of 9?
True
Suppose 0 = 9*x - 8*x - 16. Is x a multiple of 5?
False
Suppose -31 - 425 = -3*w. Let p = -104 + w. Is 16 a factor of p?
True
Suppose -2*k + 4*j = -28, -2*k + 30 = k - 3*j. Let x = 6 - 4. Suppose x*o - k*o + 64 = 0. Does 8 divide o?
True
Let f(w) = -w**2 - 19*w + 30. Is f(-20) a multiple of 5?
True
Suppose 0 = -3*h + 2*r + 657, 2*r + 657 = 3*h + r. Is 13 a factor of h?
False
Let f = 69 + -24. Let a = -27 + f. Is 6 a factor of a?
True
Suppose 3*j + 2*p = -2, -5*j + 0*p + 1 = -p. Suppose -f + j*l = -l, 4*l - 20 = 0. Suppose 0 = 5*h + 8 + 2, 5*y - 80 = -f*h. Is y a multiple of 9?
True
Suppose 0 = i + 2*j + 6 - 44, -5*i - 2*j + 230 = 0. Is 12 a factor of i?
True
Suppose -2*c - 4*y + 84 = 0, -4*c + 4*y + 182 = 50. Does 5 divide c?
False
Let c be 405/(-12) + (-2)/8. Let h = 37 - c. Suppose -33 = -3*x - 3*o, -4*x - o = x - h. Does 15 divide x?
True
Let r be (2/(-8))/(3/(-24)). Is (-7)/(-1)*1 - r even?
False
Let n(y) = 2*y**2 - 2*y - 3. Is n(-4) a multiple of 12?
False
Suppose 2*z + 3 - 75 = -3*y, y + 2 = 0. Suppose 0*i + z = i + 4*l, -76 = -4*i + 4*l. Is 23 a factor of i?
True
Let d(j) = 53 - j - 16 + 30. Let p be d(0). Let s = -17 + p. Does 25 divide s?
True
Let d be 1/(-2 - 9/(-4)). Suppose -d*u - 5*c + 84 = 17, c + 37 = 2*u. Is 9 a factor of u?
True
Let w = 2 - -2. Let f = w - -13. Does 10 divide f?
False
Does 15 divide (1/(2/(-19)))/((-32)/128)?
False
Let d(k) =