60 + 5*k**4/24 - 7*k**3/6 + 3*k**2. Let u be y(-6). Does 6 divide (-1)/u - (0 + -17)?
True
Let p = 87 - 60. Let k be (-1)/(24/p + -1). Suppose 5*y - 182 = 4*w, -w = 2*w + k. Is y a multiple of 17?
True
Let u(x) be the third derivative of x**5/30 - 3*x**4/8 + x**3 + 4*x**2. Does 9 divide u(6)?
False
Suppose 12 + 0 = c + v, -5*v = 15. Is 3 a factor of c?
True
Let j be ((-6)/(-9))/((-1)/(-21)). Suppose 0 = -a - 2*q + j, -q - 18 + 60 = 3*a. Does 8 divide a?
False
Suppose -27 = -3*i + 3. Is 5 a factor of i?
True
Let x(i) = i**2 - i + 3. Let a be -1 + 2 - -9 - 3. Is x(a) a multiple of 15?
True
Suppose -78 + 246 = 2*s. Is 21 a factor of s?
True
Suppose -5*q + 29 = -26. Is q a multiple of 5?
False
Is 21 a factor of 338/8 + 1/(-4)?
True
Let l(b) = b**3 + b. Let s(o) = 45*o**3 + o**2 + 5*o - 1. Let x(q) = 6*l(q) - s(q). Let i be x(-1). Let j = -27 + i. Is 11 a factor of j?
True
Let p(r) = r**3 - r**2 - 2*r - 5. Is p(4) a multiple of 7?
True
Let k(i) be the second derivative of -7*i**6/360 + i**4/12 + 2*i. Let a(d) be the third derivative of k(d). Does 10 divide a(-2)?
False
Let t(m) = 8*m - 4. Suppose -2*h + 6 = -4*y, -5*y = h - 2*h. Let d be t(h). Suppose -199 = -5*u + d. Does 24 divide u?
False
Suppose -26 = 3*x - 8. Let l(w) = w + 9. Let i be l(x). Suppose i*k = 2*o + 64, -5*o - 3 = k - 47. Does 12 divide k?
True
Let z(t) = -t + 4. Let a be z(2). Suppose -a*j - 3 = -5. Let f(o) = 3*o**3 - 2*o**2 + o. Is f(j) even?
True
Suppose -6 = 3*h - 5*h. Does 4 divide 17*(h + -2 + 0)?
False
Does 9 divide -7 + 6 + 0 + 73?
True
Let j(h) = 22*h**3 - 6*h + 2 - 7*h**2 - 10 - 21*h**3. Does 2 divide j(8)?
True
Suppose 3*r + 2*s = 57 + 485, -905 = -5*r - 5*s. Is 45 a factor of r?
True
Let z(r) = r**3 + 4*r**2 - r. Let f be z(-4). Suppose 0 = 2*a + f*a - 612. Does 21 divide a?
False
Suppose -x - 4*n = -186, 2*n = 2*x - 7*x + 1020. Is 3/12 + x/8 a multiple of 7?
False
Let r(c) = 3*c - 3. Let z be r(2). Is 14/1 - (-1 + z) a multiple of 12?
True
Suppose -11*b = 2*b - 4901. Is b a multiple of 29?
True
Let w = -2 - -7. Is 2 a factor of w?
False
Let y(p) = p - 7. Let b(x) = x - 6. Let q(o) = 4*b(o) - 3*y(o). Is q(5) even?
True
Is 9 a factor of 15*(-4)/((-12)/7)?
False
Does 5 divide ((-10)/4)/(2/(-12))?
True
Suppose 5*j = -5*i + 410, -2*i = -3*j - 70 - 84. Is 18 a factor of i?
False
Let i = 211 - 127. Suppose -4*g = -g - i. Is g a multiple of 13?
False
Is 42/(50/(-15) + 4) a multiple of 21?
True
Let k(h) = 24*h - 41. Is 13 a factor of k(12)?
True
Suppose v = 3*r + 5, -r + 5 = 2*v + 2. Let w(o) = v*o**2 + 1 + 1 + 5*o + o - o. Does 3 divide w(-3)?
False
Suppose 0*b = 2*b - 8. Suppose u - 23 = b*n, 2*u + 4*n - 32 = 5*n. Does 15 divide u?
True
Let d = 12 - 8. Suppose -4*j + d*w - 40 = 0, -4*j - 3 = 3*w + 9. Let p = j - -26. Does 20 divide p?
True
Let d be 0 + 1 - (1 + 1). Let x = 13 + d. Is x a multiple of 6?
True
Let l(c) = -c**2 + 14*c. Is 4 a factor of l(13)?
False
Let f = -7 - -13. Suppose -2*y = -5*o + 36 + 104, -o - 4*y = -f. Is 16 a factor of o?
False
Let n = -60 + 41. Let t be (2 - 3)/(1/(-13)). Let b = t - n. Is 16 a factor of b?
True
Let q(a) be the first derivative of 2/3*a**3 + a + 5/2*a**2 + 2. Is q(-4) a multiple of 13?
True
Suppose -3 + 26 = f - 4*z, 0 = z + 5. Suppose f*w - 4*c + 6 = 6*w, -3*c + 2 = w. Suppose w*y + 3*k = 109, 3*y - 2*y + 4*k - 62 = 0. Is 13 a factor of y?
False
Suppose 2*r = 3*o + 13, r - 5*o - 3 = -r. Suppose -4*n = -r - 6. Suppose 2*w - n*x = 47, -4*w - 2*x = 20 - 102. Is 10 a factor of w?
False
Let i(f) = 2*f**3 + f**2 - 1. Let a be i(1). Suppose a*g + 3 = -m, 0 = 5*m + 5*g - g + 27. Let l = 17 + m. Does 10 divide l?
True
Let q(g) = -g**2 + 15*g. Does 18 divide q(12)?
True
Suppose g - 3*f + 1 = -1, 5*g = -2*f + 24. Is 2 a factor of g?
True
Let c(j) = -5*j. Is 10 a factor of c(-8)?
True
Suppose 5*c - 10*c = -35. Let f(p) = -p**2 + 9*p + 7. Is f(c) a multiple of 6?
False
Let d = 163 - 103. Let o = 98 - d. Is 18 a factor of o?
False
Is 15 a factor of 5/((-10)/(-6)) + 80?
False
Suppose 0 = 2*t - 6*t - 16, 5*s - 30 = 5*t. Suppose s*u + 2 = -2*o, 2*u + 2 = o - 0*u. Let x(m) = -m + 26. Does 13 divide x(o)?
True
Let b(j) = 2 - 4 - 8*j - 1. Suppose -5*p - 6 = 3*t, 0*t + 3*p + 10 = -5*t. Does 8 divide b(t)?
False
Suppose 0*k + 3 = 3*k. Is 146/(-2*(-2 + k)) a multiple of 25?
False
Let s = 43 + -95. Let i = -15 - s. Does 11 divide i?
False
Let g be (2 + 0 + -6)/2. Is 14 a factor of 20 - ((-4)/2)/g?
False
Let q be 13/(-3) + 2/(-3). Let n be (-767)/(-5) + 2/q. Suppose 3*b = 5*f - b - 137, 5*f + 4*b - n = 0. Is 12 a factor of f?
False
Let p(d) = -d**3 + 14*d**2 + 3*d + 12. Let f be p(13). Suppose -k = -5*c + k + 290, -4*k - f = -4*c. Is 30 a factor of c?
True
Is 24/9*(26 - -1) a multiple of 18?
True
Suppose m = -4 - 1. Let q(g) = 5*g. Let r(v) = 4*v. Let n(s) = -5*q(s) + 6*r(s). Is 3 a factor of n(m)?
False
Let b be 0 + 1 - 3 - -49. Let w = b + -26. Is 9 a factor of w?
False
Suppose 0 - 2 = -n - w, -2*n + 5*w - 17 = 0. Let v be 21/4 - n/(-4). Suppose 5*d - l = -0*l + 251, -v*d + 271 = 4*l. Is 22 a factor of d?
False
Suppose -4*d = -0*d - 24. Let y = -3 + d. Suppose 0 = y*j + 2*o - 6*o - 9, 4*j + 2*o - 34 = 0. Is j a multiple of 2?
False
Let p(n) = 3*n + 1. Suppose 35 = -2*b + 7*b. Does 12 divide p(b)?
False
Suppose 3*m - 10 + 1 = 0. Suppose 2*n + 12 = -4*r - 2*n, 25 = -5*r - m*n. Let k = 14 + r. Is k a multiple of 3?
True
Let u(f) = 11*f + 3. Let n be u(-4). Let r = n - -65. Does 24 divide r?
True
Suppose 4*w = 3*i + 29 - 134, 3*w - 4*i + 70 = 0. Is (-4)/10*w/2 a multiple of 6?
True
Let l be (12/(-5) - -2)*-5. Suppose f - 2 = l. Suppose -2*n + f*s + s = -74, -2*n = -4*s - 72. Is n a multiple of 14?
False
Let d be (1 - 3) + (-10)/(-2). Let t be ((-6)/(-3))/(-2)*-2. Suppose -t*l = 3*v - 18, d*v = l - 6*l + 54. Does 8 divide l?
False
Let o(t) = t**2 - 5*t - 8. Let w be o(8). Suppose -11 = -k - 4*j, -5*j - w = -3*k - 0*j. Does 2 divide k?
False
Let d(j) = j**3 - 21*j**2 + 22*j - 30. Does 10 divide d(20)?
True
Suppose s = 0, -33 = 3*x - 2*s - 342. Does 12 divide x?
False
Let q be (-1 + 1)/(22/(-11)). Suppose q = 6*o - o - 255. Is 18 a factor of o?
False
Suppose -a - 35 = 3*m, a + 0*m = 3*m - 41. Let s = a - -53. Is 9 a factor of s?
False
Let h be (111/(-4))/((-2)/(-8)). Let l = h - -27. Let p = l - -143. Does 20 divide p?
False
Let k(t) = -t**2 - 9*t - 2. Let r be k(-8). Let w(m) = -m**3 + 6*m**2 + m - 1. Is w(r) a multiple of 2?
False
Let o(c) = -c**3 + 9*c**2 + 16*c - 12. Does 12 divide o(10)?
True
Let a(x) be the second derivative of -2*x**3/3 + 3*x**2 + 9*x. Does 14 divide a(-7)?
False
Let p(b) = -4*b - 5. Is p(-12) a multiple of 43?
True
Let x(d) = -d**2 - 15*d + 21. Suppose -2*z + 6*z + 2*u + 66 = 0, 19 = -z - 3*u. Is x(z) a multiple of 3?
False
Let o(q) = -q**3 + 3*q**2 + 4*q - 4. Let v be o(4). Let b = 6 + v. Suppose -x - 2*k + 41 = 0, -b*k + 16 = 2*k. Is x a multiple of 11?
True
Let n(b) = 3*b - 1. Let d be 2 - 1 - -8 - 3. Does 17 divide n(d)?
True
Suppose 0 = -2*m + 5*r + 38, -4*m + 6 = -2*m + 3*r. Let u(n) = 5*n - 10. Does 23 divide u(m)?
False
Let x(b) = b**2 + 3*b + 2. Let u be x(-2). Let i(g) = g**3 + g**2 + g + 14. Is i(u) a multiple of 5?
False
Let w = 4 + 23. Is 9 a factor of w?
True
Suppose 2*p + 35 = 5*t + 4*p, 4*t + 3*p - 28 = 0. Suppose -3*j = -t*j + 16. Does 4 divide j?
True
Let x = 4 - 4. Suppose 15 = 5*t - x. Suppose 72 = 4*b - f + 5*f, -t*f - 72 = -3*b. Is 7 a factor of b?
True
Suppose -7*f = -3*f + 396. Let q = f + 141. Is q a multiple of 11?
False
Suppose 51 = 4*n - 29. Suppose s = -3*s + n. Suppose m = s*q - 18, -2*m + 12 = q - 7. Does 6 divide m?
False
Suppose 0 = -2*u - 4*b + 180, 5*b = -4*u - 0*b + 351. Does 21 divide u?
True
Let f be (2/3)/(12/54). Suppose 47 = f*d - 25. Is 8 a factor of d?
True
Is 15 a factor of 106 + ((-4)/6 - 15/(-9))?
False
Let x = 278 - 180. Does 21 divide x?
False
Let u(q) = -q**3 + 2*q + 15. Is u(0) a multiple of 5?
True
Let p(d) be the second derivative of d**4/6 + d**3/3 - 2*d**2 - 3*d. Is 6 a factor of p(-3)?
False
Suppose -3*c - 59 = 4. Let y = c + 66. Is 15 a factor of y?
True
Let h(r) = r**3 - r**2 - 4*r + 2. Let p(o) = o**3 - 5*o + 2. Let b(i) = 3*h(i) - 2*p(i). Suppose 0 = -0*d - d + 4. Is 5 a factor of b(d)?
True
Suppose 0 = -5*k - 3*n + 74 - 9, -4*n = -5*k + 65. Is 7 a factor of k?
False
Let a(h