(f) = 7*f**3 - 13*f**2 + 9*f + 4. Let n(u) = -6*l(u) - 7*z(u). Is 23 a factor of n(5)?
False
Suppose -3*q + 8 = q, 4*j = -2*q + 32. Let h(p) = p**2 - 3*p + 8. Let y be h(j). Suppose -2*d + y = -5*g, 5*d + 4*g - 3*g = 36. Is 3 a factor of d?
False
Let o(p) = -3*p - 3. Let t be (5 - (-4)/(-2)) + -1. Let y be -5 - (t - (1 - -2)). Is o(y) a multiple of 9?
True
Let u = -18 - -18. Suppose 4 = -2*o, 4*i + u*o - 110 = 3*o. Does 13 divide i?
True
Let q(w) = -w**2 - w + 90. Let z be q(0). Let d = z - -3. Suppose 21 = -3*k + d. Does 12 divide k?
True
Let b(g) = g + g**2 + 2 - 3 - 2. Let c be b(0). Is 5 a factor of (c/1)/((-3)/9)?
False
Suppose -71 = 3*b - 2*i, -3*i + 69 = -2*b - 6*i. Is b/12*16/(-6) a multiple of 2?
True
Suppose 661 = 5*f - 3*t + 2*t, 2*t = -3*f + 394. Is f a multiple of 24?
False
Let w = -64 + 69. Does 3 divide w?
False
Let d be 2/11 - (-84)/22. Suppose a = d*a. Suppose -4*n + 113 = -3*u, a = n + n - 3*u - 49. Does 28 divide n?
False
Suppose p + p - 4*d - 8 = 0, p = -5*d + 11. Let k(z) = 2*z**2 - 4*z + 8. Let g be k(p). Suppose 5*x - g = -4*r, -5*x - 96 = -6*r + 2*r. Does 6 divide r?
False
Suppose 3*k - 5*j - 22 = 0, 2*k - 4*k + 2 = 3*j. Suppose -u = -k*u + 207. Is 14 a factor of u?
False
Let p(q) = 2*q**2 - 4*q + q + 3 + 4*q - q**2. Is p(4) a multiple of 16?
False
Let d(z) = z**3 + 4*z**2 - z - 2. Let w be (-9)/12*(1 - -3). Is 5 a factor of d(w)?
True
Suppose -3*y + 341 = 5*v, -4*y + 125 + 353 = 2*v. Is y a multiple of 27?
False
Let a = 65 - 9. Is 28 a factor of a?
True
Suppose 0 = -13*x + 17*x - 108. Does 7 divide x?
False
Let t be ((-4)/(-1))/(6/(-36)). Let a = -1 - 3. Let r = a - t. Is 15 a factor of r?
False
Let s(q) = -q - 2. Let k be s(-7). Suppose -k*b = -67 - 43. Is 11 a factor of b?
True
Suppose 3*a + 96 = 4*a. Is 24 a factor of a?
True
Let w(m) = 6*m + 6*m + 4*m**2 + 3 - 5*m**2 + 5. Does 6 divide w(10)?
False
Let v be (3*2)/((-18)/(-12)). Suppose 4*d = -5*w + 138, w - v*w + 78 = 4*d. Is 10 a factor of w?
True
Let i(x) = 6*x**3 + 2*x**2 + 2. Is i(2) a multiple of 9?
False
Suppose 2*o - 136 = -4*y, 2*y + 224 = 3*o + 4*y. Suppose 4*a + w = o + 10, -3*a + 59 = -w. Does 7 divide a?
True
Suppose 3*j + 88 = r, -2*j - 372 = -0*r - 4*r. Suppose 3*k + 2*c = -k + r, -3*c - 13 = -k. Is 14 a factor of k?
False
Let u be 1*-1 + (-2 - -43). Does 8 divide 1/(1 + (-36)/u)?
False
Let l = 11 - 7. Suppose r + 6 = l*r. Is r even?
True
Let t(n) = -13*n + 2. Is 3 a factor of t(-1)?
True
Suppose -2*q - 2 = 4*b, -q + 7 = -b + 2. Suppose 2*w = -2*y - q*y + 74, 0 = -y + 5*w + 31. Does 8 divide y?
True
Let r(x) = -x**3 + 8*x**2 - 6*x + 2. Is r(6) a multiple of 19?
True
Let v(n) = n + 3. Let x = -14 - -28. Is v(x) a multiple of 17?
True
Let o be 4 + -134 - 6/(-2). Let l = -85 - o. Does 14 divide l?
True
Let k(g) be the second derivative of -g**5/20 - 2*g**4/3 + 7*g**3/6 - 2*g**2 - 2*g. Let l be 3/(3 + (-20)/6). Is k(l) a multiple of 9?
False
Does 12 divide -4 + (-2 + 1 - -41)?
True
Suppose -5 = -3*o - 2. Suppose s - 3*b = -4*b + o, 4*s + b - 13 = 0. Suppose 0 = -m + s*m - 12. Does 2 divide m?
True
Let x be (-3 - -2)/((-1)/4). Suppose -o - x*o = 0. Suppose 20 = 2*r + 4*w, -2 = r - 4*w - o*w. Is r a multiple of 6?
True
Suppose -61 = -3*z + v, 92 = 4*z - 0*v - 4*v. Does 3 divide z?
False
Let p be 6*(-4 - -5)*-1. Does 9 divide (-27)/p*(-24)/(-3)?
True
Let h(d) = d**3 - 6*d**2 + 2*d - 7. Does 8 divide h(7)?
True
Suppose -5*j - o - 49 = -9, 0 = 3*j - 5*o + 52. Let h = 19 + j. Is 3 a factor of h?
False
Let b = 100 + -57. Let p = 83 - b. Is p a multiple of 20?
True
Suppose -4*z = -3 + 19. Let d(n) = 2*n**2 + 3*n + 6. Is 9 a factor of d(z)?
False
Let l(d) = -12*d + 4. Let y be l(3). Let k = 10 - -40. Let f = y + k. Does 8 divide f?
False
Let c = -27 + 47. Suppose -2*p - 3*p = -c. Suppose -3*q = -p*g - 34, -15 = -q + 6*g - g. Is q a multiple of 7?
False
Suppose -i + 17 - 1 = 0. Suppose u - 2*u = g + 4, 0 = -4*g - i. Suppose w - 8 = -u*w. Does 8 divide w?
True
Suppose 4*j = -486 + 2310. Suppose 3*c + j = 7*c. Does 30 divide c?
False
Let d be (-49)/(-4) - (-6)/8. Let y = d - 7. Is y a multiple of 6?
True
Suppose -2*t = -5*n - 272, -3*n - 5*t = -5 + 193. Let r be (-6)/4*n/6. Suppose -l - k = 3*k - r, -67 = -2*l + 5*k. Does 12 divide l?
False
Let p(s) = -s**3. Let m be p(-1). Suppose 5 = h + 2*f - m, 3*h = -2*f + 34. Suppose -2*y + 5*o + h = -6, 4*o = 3*y - 30. Is y a multiple of 10?
True
Suppose -f - 2*b + 0 = -11, 0 = 3*f - 2*b - 9. Suppose 4*p = -2*l - 2 - 4, f*l + 15 = -2*p. Suppose p = 3*c - 16 - 65. Is 10 a factor of c?
False
Let l(b) = b**3 - 7*b**2 - 2*b + 8. Let j be l(7). Let k(y) = y**2 + 6*y + 2. Let g be k(j). Suppose 0*c = -2*c - 3*u, g*c - 3*u = 24. Does 3 divide c?
True
Let z = 7 + -13. Let w(k) = -k**2 - 7*k + 5. Does 11 divide w(z)?
True
Suppose i - 18 = -5*n, 2*i = -i + 5*n + 14. Does 4 divide i?
True
Let y(h) = -h - 1. Let t be y(-5). Suppose o = -t*v + 15, -18 + 0 = -o - 5*v. Is 8 a factor of 18*1 - (o + -1)?
True
Suppose -v + 2 = 1, -5*h + 22 = -3*v. Suppose -2*j + h = 29. Let r = j + 22. Is 5 a factor of r?
True
Suppose 5*s + p - 24 = -p, 2*p - 16 = -3*s. Suppose -54 = -s*a - 18. Does 9 divide a?
True
Suppose k - 2*v = -7*v + 19, -2*k - 5*v + 43 = 0. Does 24 divide k?
True
Let x = 27 + -14. Let q = x - 3. Does 6 divide q?
False
Let l(z) be the second derivative of -z**4/8 + z**3 - 3*z**2/2 - 3*z. Let k(n) be the first derivative of l(n). Is k(-7) a multiple of 9?
True
Suppose -2*k - k = -48. Is k a multiple of 8?
True
Let v be (-6)/27 - (-38)/9. Suppose 14 = 4*p - o, v*p - 11 = -3*o + 11. Is 37 + 0*2/p a multiple of 13?
False
Let o be 73 - (-3 + 2 + 4). Let g = 135 - o. Suppose 0*d - 5*d = -g. Is 7 a factor of d?
False
Let a = 2 - 2. Let i = 2 - a. Is 33 - ((-12)/(-3))/i a multiple of 15?
False
Let p = 148 + -53. Is p a multiple of 45?
False
Suppose 0 = 5*p - 9 - 131. Is p a multiple of 12?
False
Suppose r = -4*w - 3*r + 52, 3*w = 2*r + 44. Does 7 divide w?
True
Let w = -2 - -4. Does 7 divide ((-42)/(-9))/(w/3)?
True
Is 19 a factor of (4*(-4)/(-8) - -208) + 4?
False
Suppose t + 503 = 5*d, 4*t = 2*d + 2*t - 198. Is 29 a factor of d?
False
Is 13 a factor of (69*(0 - 1))/(-3)?
False
Suppose 9 = -2*x - 11. Let i(q) = q**3 + 11*q**2 + 5*q. Let b be i(x). Let a = -18 + b. Is a a multiple of 16?
True
Let m = -213 - -619. Does 37 divide m?
False
Suppose -k - 2*h + 153 = 2*k, -4*k + 224 = -4*h. Does 12 divide k?
False
Suppose -5*a + 19*a = 4970. Is a a multiple of 24?
False
Let y(w) = 2*w**2 + 20*w. Does 30 divide y(-15)?
True
Suppose -3*s = s + 52. Let l = s - -18. Let p = 2 + l. Is p a multiple of 3?
False
Suppose 4*z - c = 2*c + 797, -3*z - c = -601. Suppose -3*h + h = -z. Suppose i = 6*i - h. Is 10 a factor of i?
True
Let a(c) = 10*c**2 - c. Let z be a(-1). Suppose 3*h - 125 + z = 0. Does 19 divide h?
True
Let t(v) = 5*v**3 + 14*v**2 - 9*v + 14. Let a(u) = 3*u**3 + 10 - 1 - 8*u + 9*u**2 + 2*u. Let w(f) = -8*a(f) + 5*t(f). Does 3 divide w(2)?
False
Suppose c = -5*o + 3*o + 1, -o - 1 = 0. Suppose 4*n - 4*g = 3*n + 43, 2*n - c*g = 66. Does 13 divide n?
False
Let q = -4 - 3. Is 22 a factor of -1*q/((-28)/(-104))?
False
Let l be 0 + 53 - (1 - 1). Let s = -34 + l. Let w = s + -4. Is 14 a factor of w?
False
Suppose -2*o = 2*o - 8. Suppose 0 = 4*r - 3*r + 4*l - 5, -o*l = r - 7. Is 15 a factor of 10/(1/r*3)?
True
Let z(d) = d + 4. Let q be z(-3). Does 10 divide (19 - -1)/(2 - q)?
True
Suppose -p = p + 28. Is (-2*7)/(7/p) a multiple of 14?
True
Let s = 15 - 10. Let v = 44 + -37. Suppose -f + b + v = -17, -b = s*f - 114. Is 10 a factor of f?
False
Let c(d) = 1 - 3*d**2 + 2 + 4*d**2 - 8*d. Let f be c(8). Let a = f + 0. Is a a multiple of 3?
True
Let g = 122 - -68. Suppose -2*k + g = 3*k. Is 19 a factor of k?
True
Let j = 18 + -7. Suppose 6*k - j*k + 290 = 0. Does 12 divide k?
False
Let b(q) = 9*q**3 - q + 1. Let m be b(1). Suppose 2*v - 3*u - 63 = 0, 4*v - 111 = -2*u + 3*u. Suppose -4*i + v = 5*l, 2*l = -2*l + i + m. Does 3 divide l?
True
Suppose 0 = 2*h - h - 3. Let j be (4/6)/(h/(-9)). Is (j/3)/((-7)/252) a multiple of 12?
True
Let p = -10 - -5. Let n = 14 + p. Is 15 a factor of 266/18 - (-2)/n?
True
Let y = 7 - -7. Suppose -y = -5*p - 2*w, -2*p + 8 = 3*p + 4*w. Suppose 17 = p*a - 7. Does 5 divide a?
False
Does 5 divide 70/(-4)*(-36)/30?
False
Let k(v) = -