(-2)/l?
True
Let b(x) be the second derivative of -x**5/20 + x**4/3 - x**3/6 + x**2/2 - x. Does 7 divide b(2)?
True
Let m(i) = i - 4. Let j be m(6). Suppose 3*b - 7 = j. Suppose -n = -7*g + b*g + 43, -31 = -3*g + n. Is g a multiple of 12?
True
Let l(h) = -h**3 + 4*h**2 + 5*h + 2. Let i be l(5). Suppose 0 = -2*c + g - 147, -7 + 85 = -c + i*g. Does 3 divide 5/(-2)*c/20?
True
Suppose 0 = -w - 3*w. Suppose 0 = 3*j + q - 27, 5*j - 4*q - 45 + 0 = w. Is 4 a factor of j?
False
Does 20 divide 2/(-4) + (-3850)/(-44)?
False
Let v = -15 + 9. Is 15 a factor of 20/v*(-1 - 8)?
True
Let l = 79 - -26. Does 21 divide l?
True
Let m be -4 - (-8)/4 - -2. Suppose -2*j + 5*q - 45 = -3*j, 3*j + q - 135 = m. Does 9 divide j?
True
Let h(c) = -c + 92*c**3 + 12*c**3 + 0*c**3. Does 28 divide h(1)?
False
Let k(h) = h**2 + 6*h - 14. Is k(-8) a multiple of 2?
True
Suppose 4*x = 154 - 18. Is x a multiple of 2?
True
Let w be 14*1 + 2*-1. Suppose -4*b + 20 + w = 0. Suppose -4*r + b*r - 96 = 0. Is 10 a factor of r?
False
Let m be (-158)/(-18) - (-10)/45. Suppose -2*k + 6*k - 41 = -3*h, 3*h - 3*k = 27. Suppose -h = -5*t + m. Is 4 a factor of t?
True
Suppose 5*q + 0*o + 3*o - 41 = 0, -2*q + 2*o = -26. Does 6 divide q?
False
Let u(h) = 23*h**3 + 2*h - 1. Let j be u(1). Is (0 - -5)*j/30 a multiple of 3?
False
Suppose -4*s = 2*p + 2*p - 376, -3*s = -3*p + 270. Suppose -5*f - 3*k - 20 = 0, 3*k - 5*k - 5 = -5*f. Does 3 divide f/(-6) + p/24?
False
Let s = 80 - 76. Is 2 a factor of s?
True
Let k(r) = -3 - 5*r + 7*r + 2*r. Is 13 a factor of k(7)?
False
Does 6 divide 21 + (-2 + 3 - (-2)/1)?
True
Suppose -294 = -2*y - y. Let r = y - 36. Is 20 a factor of r?
False
Let t(g) = g**3 - 12*g**2 + 11*g + 9. Let x be t(11). Does 22 divide 2/9 + 664/x?
False
Suppose -p = -5*m - 27, -25 = -3*p + 5*m + 6. Let f = p - 2. Suppose f = -v - w + 8, w + 0*w = 0. Does 8 divide v?
True
Suppose -2*h + 5*h = 72. Suppose 0*m - 2*m - h = -2*g, 0 = -m + 2. Is g a multiple of 5?
False
Let x = 2 - -3. Suppose 0 = -x*b - 2*t + 20, -b + 3*b - t = -1. Is (-2)/((-6)/45) - b a multiple of 13?
True
Let u(g) = -2*g**3 - 4*g**2 + g. Let k = 5 - 8. Let r be u(k). Suppose 5*v - 45 + r = 0. Does 6 divide v?
True
Let s(d) = 10*d**2 + 6*d + 4. Does 8 divide s(-2)?
True
Suppose 0 = 2*m - 5*m + 54. Suppose 162 = 5*v - m. Is v a multiple of 12?
True
Let b = 4 + -9. Does 2 divide -20*((-8)/b - 2)?
True
Suppose -4*k - 4*r + 4 = 0, k - 4*r - 26 = -k. Suppose 0 = 2*j + k*h - 15, -2*h + 24 = 3*j - j. Let i = j + -2. Does 6 divide i?
False
Let z = -7 - 2. Let m = -101 - -193. Does 10 divide (-2)/9 - m/z?
True
Let r be (-7 - -10)/(-2*(-9)/(-444)). Let c(s) = -107*s**2. Let b be c(1). Let t = r - b. Does 9 divide t?
False
Suppose 5*z + 2125 = 10*z. Is z a multiple of 29?
False
Suppose -4*t - 2*w = 6, 0*t + w + 7 = -4*t. Is (-45)/(-10) + t/4 a multiple of 2?
True
Let p = 19 + -16. Suppose -3*m + m + 18 = 0. Suppose -5*s - 14 = w, m = -w - 3*s + p. Is w a multiple of 6?
True
Let q be (-2)/((-3 + 5)/(-60)). Suppose -5*v + q = -25. Is 5 a factor of v?
False
Let g = 239 + -123. Does 32 divide g?
False
Let z(q) = -2*q**3 + 2*q**2 + q + 2. Let d be z(2). Is 3 a factor of d/(-6) - 168/(-18)?
False
Let c = -22 - -17. Is 1*1*-9*c a multiple of 14?
False
Let l(c) be the first derivative of -c**4/4 - 2*c**3/3 + 5*c**2/2 + c + 2. Is l(-4) a multiple of 10?
False
Let a = 135 - 50. Is 28 a factor of a?
False
Let i(r) = 5*r**2 - 3*r - 7. Let j(d) = d**2 - d - 1. Let u(t) = i(t) - 4*j(t). Let w be u(-3). Is (-2)/(w*(-6)/207) a multiple of 19?
False
Let w(k) = k**3 + 17*k**2 + 11*k - 26. Is w(-16) a multiple of 31?
False
Let p = 26 + -16. Is p a multiple of 4?
False
Let x(o) = 24*o**2 - o - 1. Let i = 0 - 1. Is x(i) a multiple of 12?
True
Is 20 a factor of 35 + 3/3 - -3?
False
Let m(w) = -w**3 + 7*w**2 + w + 8. Suppose 0 = 4*j - 2*q - 22, -2*q = -0*q - 6. Let d be m(j). Suppose -2*b + 5 = -d. Is 10 a factor of b?
True
Suppose 3*s = -5*m + 2*s + 327, 3*s = 3*m - 207. Is m a multiple of 14?
False
Let u(q) = q**3 - 10*q**2 + 16*q + 3. Is u(8) even?
False
Let i = -27 - -30. Is 3 a factor of i?
True
Let g(s) = s**3 + 4*s**2 - s + 1. Let j = -6 - -2. Let h be g(j). Suppose -h*t + 4*w = -0*w - 57, 30 = 2*t - 4*w. Is 5 a factor of t?
False
Let q be 99/27 - 2/3. Let i(g) = 13*g - 8. Is i(q) a multiple of 8?
False
Suppose -12*r + 233 + 535 = 0. Does 9 divide r?
False
Let v = 26 + 16. Is 14 a factor of v?
True
Let a(t) = 2*t - 7. Let q be a(5). Suppose q*n + 4*x = -x + 10, -n - 3*x = -6. Suppose -3*b - i + 38 = n, -2*i + 5 - 20 = -b. Is b a multiple of 6?
False
Suppose 0 = 6*k - 3*k - 6. Suppose -5 = -k*q + q. Suppose q*y - 4 - 21 = 0. Is y even?
False
Let m = 192 - 112. Does 20 divide m?
True
Let j be 2/7 + 52/14. Suppose 0 = 4*o + 2*b + b - 585, -3*o + 3*b + 423 = 0. Suppose -o = j*i - 8*i. Is i a multiple of 13?
False
Is 18 a factor of (-1876)/(-26) - 4/26?
True
Suppose 270 = 5*j - 0*j. Is 10 a factor of j?
False
Suppose 4*t + 2*k + 10 = 2*t, 0 = t - 5*k + 17. Is (t + 4)*4/(-3) a multiple of 2?
True
Let f(w) = w**2 - 2*w. Let x be f(2). Suppose x - 12 = -t. Is t a multiple of 9?
False
Let h(d) = -15*d - 29. Does 7 divide h(-8)?
True
Let r(p) = -13*p**3 - 2*p**2 + 2*p + 3. Does 50 divide r(-3)?
False
Suppose 24 = -q - 7. Let h = q + -6. Let v = h + 97. Does 20 divide v?
True
Let k be (-207)/(-6)*(5 - 3). Suppose -21 - k = -5*y. Does 6 divide y?
True
Suppose -2*p - 3*p + 33 = h, 5*h - 4*p = 194. Is 14 a factor of h?
False
Is 14 a factor of -21*(0 + -6 - -5)?
False
Let q be 2/(-2*(-2)/6). Let b be q/4 + (-252)/16. Let d = b + 34. Is d a multiple of 19?
True
Is 5 a factor of (-1283)/(-8) + -6*(-1)/(-16)?
True
Let j(r) = 341*r**3 - 2*r**2 + 3*r - 2. Is 24 a factor of j(1)?
False
Let f be (1 + 1)*(-3)/(-2). Let k = 54 - -56. Suppose 2*r - k = -f*r. Is r a multiple of 12?
False
Let i = 1 - -69. Is i a multiple of 18?
False
Does 53 divide 212/(-3 + -1)*-2?
True
Let n = 45 - 9. Suppose -7*j + 2*j + 3*i = 8, 5*j = -4*i - n. Does 14 divide 568/20 - j/(-10)?
True
Let q be (-4)/10 - (-1341)/15. Let g = q - 50. Is 19 a factor of g?
False
Let y(b) = -3*b + 3*b - 3*b - b + b**3 - b**2. Let z = 12 + -8. Is 16 a factor of y(z)?
True
Let q = 0 + 5. Suppose q*c - 275 = -6*z + z, 0 = -3*c + 3*z + 177. Is 14 a factor of c?
False
Suppose t = -t + 6. Let z be (0/2)/(6 - t). Suppose g - 13 = -z*g. Does 12 divide g?
False
Let q(u) = -11*u - 22. Is 11 a factor of q(-5)?
True
Let r be (-2)/(-2) - (-20)/5. Suppose -5*a + 14 + 30 = 2*j, 0 = r*j + a - 156. Does 14 divide j?
False
Let c = -87 + 131. Is 44 a factor of c?
True
Suppose 5*r = -4 + 14. Let g be ((-12)/(-20))/(r/10). Let c = g + 43. Does 21 divide c?
False
Suppose 124 = 3*x - 4*f + 9, 41 = x - 4*f. Is 7 a factor of x?
False
Let f(v) = -v + 7. Let b be -8 - 2 - (-1 + -1). Is f(b) a multiple of 7?
False
Is -15 + 11 + 38 + 0 a multiple of 34?
True
Let z = 8 + -4. Suppose 3*f = -s + 73, 3*s + 124 = z*f - s. Does 13 divide (f/(-3))/((-4)/12)?
True
Let d(x) = -x**2 - 5*x. Let l be d(-5). Let o be 0/((-3)/(-3)) + l. Suppose j - 2*t - 17 = o, t = j + 3*t - 5. Does 11 divide j?
True
Is 7403/165 + 2/15 a multiple of 9?
True
Let p be 3 + -1 + -1 - 2. Let y = -3 - p. Is 11 a factor of y - (-25 - (1 + -2))?
True
Let w(u) = -2*u - 10. Let m be w(-6). Suppose 74 = r + 3*k, -m*r + 111 + 7 = -4*k. Is 23 a factor of r?
False
Suppose r + 4*z + 18 = 0, 0 = 3*r + r + z + 12. Does 22 divide (-24)/(-1) - (r + 4)?
True
Let j = -372 + 560. Is 8 a factor of j?
False
Is 17 a factor of ((-2)/(-8))/((-8481)/1212 - -7)?
False
Suppose -4*h - 33 = -1. Let c(m) = -m**3 - 9*m**2 - 11*m - 12. Is c(h) a multiple of 12?
True
Let j(c) = c**3 + 7*c**2 - 8*c + 1. Let r be j(-8). Is 31 a factor of (26/(-4))/(r/(-12))?
False
Let c be (2/(-3))/(2/(-15)). Let v(p) = -p**3 + 11*p**2 - 8*p - 5. Let s be v(10). Suppose 0 = -0*u + c*u - s. Does 2 divide u?
False
Suppose 6*w = 254 + 856. Suppose w = d + 4*d. Is 11 a factor of d?
False
Does 12 divide 1/((-610)/204 + -3 + 6)?
False
Does 11 divide (117/2)/((-9)/(-12) - 0)?
False
Let z be (-4)/(-7) + 300/(-84). Does 5 divide (z/2)/((-18)/60)?
True
Suppose -3*q + 3*v = -30, -2*q = 3*v - v. Suppose -q*o - l + 20 = 0, 0*o - 3*l - 20 = -o. Is 17 a factor of -1*o/1*-5?
False
Let h(y) = y - 1. Let q be h(3). Suppose -4*t - q = 3*v, 4*t = 