*n - 143 + 7 = 0. Is 12 a factor of n?
False
Let t(r) be the second derivative of r**5/30 - 11*r**4/24 + 3*r**3/2 - r**2 + r. Let v(h) be the first derivative of t(h). Is v(7) a multiple of 12?
False
Suppose 2*x + 0*x - 2 = 0. Suppose x - 13 = 3*j. Is 35 + j*2/(-4) a multiple of 11?
False
Let v(h) = 20*h. Let p be v(1). Suppose 0*a + 76 = 2*a. Let x = a - p. Is x a multiple of 17?
False
Suppose 2*i - i - 4*s - 17 = 0, -2*s - 4 = 4*i. Suppose -3*t + 5*t = p + i, -4*t + p = -7. Suppose -t = -k - 1. Is k a multiple of 2?
True
Let l = 4 - 3. Let c be 2 + 0 - (-62 - l). Let f = -38 + c. Is f a multiple of 21?
False
Does 45 divide (12/8 - -3)*20/2?
True
Let f(g) = -3*g**2 + g + 1. Let t be f(2). Let b = t + 4. Let k(j) = -j**2 - 6*j - 1. Is k(b) a multiple of 4?
True
Let g = 0 - -5. Let s(o) = -9*o**3 + 17*o**2 - 13*o + 4. Let a(k) = 5*k**3 - 9*k**2 + 7*k - 2. Let d(y) = -7*a(y) - 4*s(y). Is 11 a factor of d(g)?
False
Let d = 16 - 30. Is 2 a factor of (-21)/d*(1 + 1)?
False
Suppose y = 8 + 1. Does 4 divide y/6*2 + 9?
True
Let b(s) = -s + 4. Does 13 divide b(-9)?
True
Suppose 5*j - 3*j - 60 = 0. Let v(h) = h**3 - 4*h**2 - h - 4. Let p be v(4). Let r = p + j. Does 11 divide r?
True
Let i(g) = -2*g + g**2 + 0*g + 3 + 0*g - 5. Let f(s) = -s**3 - 4*s**2 + 3. Let v be f(-3). Is i(v) a multiple of 23?
True
Suppose 6*l - 3*l = -4*a + 24, 23 = 5*a + 2*l. Suppose a*b - 6 = -0*b. Is (24/b)/(3/2) a multiple of 3?
False
Suppose 10 = -2*d + 20. Suppose w - 40 = d*f, -2*w - 20 = -3*w - 5*f. Does 11 divide w?
False
Suppose -3*x - 3 = -4*x. Let d(u) = 2*u + 4. Is d(x) a multiple of 6?
False
Let d = -18 + 25. Suppose 0 = -2*a + 35 + d. Does 6 divide a?
False
Let q(d) = -d**3 + 12*d**2 - 10*d - 11. Let c be q(11). Suppose c = -5*w + 5*o + 180, -5*o - 111 + 9 = -3*w. Does 23 divide w?
False
Is -1 + 46 + 13 + -16 a multiple of 14?
True
Suppose -5 = -r + 55. Is 12 a factor of r?
True
Let j(k) = 2*k + 3*k + 2 - 5 + k**2 - k**3. Let s be j(-4). Suppose -5*d = -s - 128. Does 18 divide d?
False
Let i = 9 + -5. Suppose -n = -2*v - 1 + 13, -i*v + 20 = -n. Does 11 divide 9/v*(-16)/(-3)?
False
Let q be 1 + 0/(-3) - 2. Let d be ((-10)/4 - q)*-4. Suppose 3*j + 12 = d*j. Does 2 divide j?
True
Let s(t) be the third derivative of t**4/24 + t**3/6 + t**2. Does 3 divide s(5)?
True
Let q be 260/22 - 4/(-22). Suppose -2*u - 2 = -q. Is 5 a factor of u?
True
Suppose 2*z = -0*z - 4*b + 4, z - b = 2. Let y(i) = -i + 4. Let n be y(2). Suppose n*a = -s, z*a = -2*s - 0 + 4. Is 4 a factor of s?
True
Suppose 208 = 5*d - 407. Does 8 divide d?
False
Suppose 0*x = 2*x - 4. Suppose 19 - 3 = -4*v + b, b = -x*v - 8. Let i(f) = -2*f**3 - 6*f**2 - f + 5. Does 11 divide i(v)?
False
Let c(i) = i**2 - 4*i - 6. Is c(-9) a multiple of 29?
False
Let d be (-2 - -2)/1 + 39. Suppose -g = -123 + d. Is 28 a factor of g?
True
Let n(l) = -l**3 + l**2 - l - 1. Let w be n(-1). Suppose -2*a - 14 = -4*t, t - 14 = -2*t - w*a. Let s(b) = b**3 - 3*b**2 - 2*b + 3. Is 9 a factor of s(t)?
False
Suppose 0 = -l + 39 + 20. Is 4 a factor of l?
False
Let h = 12 + -7. Suppose 0 = -h*k + 3*k + 2*b + 32, -3*b = 5*k - 64. Is k a multiple of 7?
True
Suppose -5*w = -5*b - 2*w + 69, 0 = 5*b - 2*w - 71. Suppose 0 = 4*m + m + b. Does 6 divide 12/(-3)*m + -2?
False
Let y = 17 - 7. Let v = -6 + y. Suppose -16 = -v*c + 12. Does 7 divide c?
True
Let z(m) = -m**2 + 9*m - 2. Let f be z(9). Let d = f + 4. Suppose -2*c + c - 58 = -4*g, -26 = -2*g + d*c. Does 15 divide g?
True
Let t = 57 - 35. Is 11 a factor of t?
True
Suppose 2 = -2*k + 4*z + 10, k = -5*z - 24. Is 14 a factor of (k + 6)*(8 + -1)?
True
Let w(z) = z**2 - 11*z - 6. Let i be w(12). Suppose 2*g = -4*d - i, -5*g + 5*d = -2*g - 24. Does 3 divide g?
True
Suppose 3*k + k + 40 = 0. Let y = -2 - k. Does 8 divide y?
True
Let a = 5 + -5. Let s = -1 - a. Let k(f) = 13*f**2 + f + 1. Is 10 a factor of k(s)?
False
Let i = 50 - -7. Suppose p - 2*u - 48 = 0, -2*p + i = -p - 5*u. Is p a multiple of 21?
True
Let m(c) = c**3 + 5*c**2 + 3*c. Let q be m(-4). Suppose 5 = 3*l - q. Suppose l*b = -b + 64. Is b a multiple of 8?
True
Let u(a) = -a**2 + 2*a + 3. Let l be u(3). Suppose 2*x + x - 12 = l. Does 6 divide 8/6*18/x?
True
Let g(o) = -o**2 + 28*o + 56. Does 17 divide g(14)?
False
Suppose 4*k - 99 = k. Let z = k - 17. Is 8 a factor of z?
True
Suppose -63 = -4*r + r. Let m = r + -15. Suppose -d = -m*d + k + 75, 5*d = -2*k + 60. Is 12 a factor of d?
False
Suppose v - 12 = -v. Let h = v + 14. Suppose f - 28 = r, 2*f - 3*f - 3*r + h = 0. Is f a multiple of 17?
False
Suppose 2*d + 76 = 3*k + 262, -5*d - 2*k = -446. Does 9 divide d?
True
Let k = -1 + -6. Let r(b) = b**2 - 6*b + 2. Let v(w) = w**2 + w - 1. Let c(z) = r(z) - 2*v(z). Does 8 divide c(k)?
False
Suppose w - 2*w = -37. Does 3 divide w?
False
Let l = -134 + 204. Suppose 3*c - 5*c = l. Let o = -13 - c. Is 10 a factor of o?
False
Suppose -b + 0*b + x - 8 = 0, -10 = 5*x. Does 4 divide (-205)/(-25) + 2/b?
True
Let k = -10 - -40. Let j = 78 - k. Is 24 a factor of j?
True
Suppose 2*t = 5*t. Suppose -r + 0*r = t. Suppose -40 = -3*m - r*m + v, 0 = 3*m - 4*v - 52. Does 10 divide m?
False
Let l(n) = n**3 + 9*n**2 + n + 11. Let j be l(-9). Suppose -j*m + 43 = 3*v, 4*v = -4*m + 20 + 32. Is v a multiple of 3?
False
Suppose 3 + 30 = k. Is k a multiple of 22?
False
Suppose -3*f + q = -3 + 1, 0 = -2*f + 2*q - 4. Suppose 0 = 5*t - f*t - 69. Does 7 divide t?
False
Let h(o) = o**3 - 3*o**2 + 2*o - 3. Let a be h(2). Is 3 a factor of (9 - 1) + 3 + a?
False
Let l = -5 - -9. Suppose 0 = -l*a + 313 - 121. Is 14 a factor of a?
False
Let o(z) be the first derivative of 3*z**2/2 - z + 2. Let t be o(4). Let u = t - 7. Does 2 divide u?
True
Let x(h) be the second derivative of -h**5/20 + h**4/3 - h**3/6 + 5*h**2/2 + 2*h. Let w be x(5). Is -2 - (-1 - w/(-1)) a multiple of 8?
True
Suppose 5*j = j + 24. Does 2 divide (-9)/j*(-12)/9?
True
Suppose 2*k = -2*k + 48. Let b be -4*(-2 - (-15)/k). Is 3 a factor of (b - -1) + 1 + -1?
False
Let d = -11 - -15. Suppose 4*n + q - 42 = 6*q, d*q - 21 = -n. Let g = 3 + n. Is 12 a factor of g?
False
Let b be -5 + -4 + (-6)/(-2). Is (-3)/((b/(-106))/(-1)) a multiple of 14?
False
Let i = 10 - 7. Suppose b - c = 9, -i*b - 13 = c - 44. Does 5 divide b?
True
Suppose -5*y + 284 = 54. Is 23 a factor of y?
True
Let f(y) = -y + 47. Let u(t) = -t**2 + 3*t + 2. Let j be u(3). Suppose 0*g = -j*g. Is f(g) a multiple of 19?
False
Let q be (6/(-4))/((-3)/36). Does 9 divide q*(-4)/12*-3?
True
Suppose 0 = 2*c - 8 - 8. Suppose -2 = -n + c. Is 8 a factor of n?
False
Is 12/(-20) + 789/15 a multiple of 13?
True
Let v = -2 - -2. Suppose v = o + o - 10. Suppose -a = 2*u - u - 9, -4*a - o*u + 40 = 0. Is a a multiple of 5?
True
Let g be (-1)/((-2)/10 - 0). Suppose 3*o = g*p + 296, 6*o - 530 = o + p. Suppose 3*w - k - o = -w, 4*k = -w + 48. Is 14 a factor of w?
True
Suppose 4*r - 60 = -2*w, 0*r = -w + 4*r. Is 20 a factor of w?
True
Suppose 5*f = 13 - 3. Suppose f*q = 11 + 21. Is 4 a factor of q?
True
Suppose 3*p - 164 = -2*p - 4*j, 4*j = -4*p + 128. Let q = p + -12. Let w = 0 + q. Is 7 a factor of w?
False
Suppose 6 = 4*x - 3*c, 5*x - c - 2 = 3*x. Suppose x = 2*d - 7*d + 200. Suppose -6*r = -r - d. Does 4 divide r?
True
Let n(h) = h**3 + 1. Let t(k) = -4*k**3 + 5*k**2 - 5*k - 2. Let r(i) = 5*n(i) + t(i). Is r(-5) a multiple of 14?
True
Suppose -39 = -4*y - 7. Suppose -b = -y - 2. Is 10 a factor of b?
True
Let a(x) = 6*x - 3. Let w be a(7). Suppose -4*b + w = -g - 12, 4*g + 48 = 3*b. Is b a multiple of 8?
False
Let b(y) = 12*y - 2. Let k(p) = -p + 4. Let v(q) = -q**3 - 2*q**2 + 3*q + 2. Let z be v(-3). Let w be k(z). Does 14 divide b(w)?
False
Is (0 - 3)*(7 + (-47)/3) a multiple of 13?
True
Let q be (-2)/(-9) + (-530)/(-45). Is 18*9/q*2 a multiple of 18?
False
Let i(y) = 2*y**3 - 5*y**2 + 7*y - 16. Is i(5) a multiple of 16?
True
Let x(i) = i**2 - 2*i - 8. Let f(k) = -k**2 - 4*k - 1. Let u be f(-5). Is x(u) a multiple of 12?
False
Suppose -4*a + 126 = -102. Is 19 a factor of a?
True
Let c = 5 + -9. Let y = c - -35. Is 14 a factor of y?
False
Let y(t) = 2*t**3 + 2*t**2 - t + 2. Is y(2) a multiple of 12?
True
Suppose 5*i - 13*i = -648. Does 14 divide i?
False
Let a(j) be the second derivative of -j**3/2 + 3*j**2 + 4*j. Let y be a(10). Is y/(-2) - (-1 + 4) a multiple of 9?
Tr