divide j(-2)?
False
Let r be (-2 - -8)/(9/(-6)). Let d be 1/r - (-153)/4. Suppose -2*f + 4 = -2, 4*f - d = -k. Is 15 a factor of k?
False
Suppose -3*n + 2 = -n. Suppose -z = -0*z - n. Let k(a) = 13*a**3 + 2*a**2 - 1. Does 6 divide k(z)?
False
Suppose -4*h + 3*h = -2*w - 22, 5*w = 2*h - 49. Suppose 0*s - 2*s - h = -2*c, -c = 3*s - 14. Is 7 a factor of c?
False
Suppose -4*c + d + 352 = 15, 5*c = -2*d + 431. Is c a multiple of 15?
False
Suppose 8*d - 5*d = 6. Suppose 32 = d*r + 5*o, 3 = -5*o + 13. Is 11 a factor of r?
True
Suppose 0 = 5*r - 21 + 1. Suppose -r*f = -18 - 2. Is f even?
False
Let c(q) = -q**3 - q**2 + q + 3. Let w be c(0). Suppose 5*x + w*b - 9 = 4, 2*x - 4*b = 0. Is 2 a factor of x?
True
Let p be (-2 + 4)/(4/14). Let n = -5 + p. Let x = n + 6. Is 8 a factor of x?
True
Let f(w) = -w**3 + 11*w**2 - 16*w - 8. Is 23 a factor of f(7)?
False
Let t = 116 + -50. Is t a multiple of 33?
True
Let t be (282/(-9))/(4/(-6)). Let k be ((-12)/(-2))/(6/(-28)). Let w = k + t. Is w a multiple of 19?
True
Suppose 356 = -4*d + 8*d. Is d a multiple of 27?
False
Suppose 5*l = -4*a + 88, 4*l = 7*a - 2*a - 110. Does 11 divide a?
True
Suppose 4*t + 84 = 7*t. Does 14 divide t?
True
Suppose 0 = 3*w - w - 4. Is w even?
True
Let l be 2/8 + 9/(-36). Suppose -2*u = -l*u - 30. Is u a multiple of 7?
False
Let z be (-1)/(((-4)/218)/2). Let b = z + -65. Let a = b - 28. Is a a multiple of 8?
True
Let b(v) = -10*v + 4. Does 13 divide b(-6)?
False
Does 20 divide (160/(-6))/(20/(-60))?
True
Let n be 2 - (4/2 - 0). Does 20 divide n + 1 + 0 + 39?
True
Let c(z) = -3*z + 37. Does 51 divide c(-5)?
False
Let t = -13 - -21. Suppose 0 = -t*q + 3*q + 40. Is 8 a factor of q?
True
Let l = 89 - 59. Does 10 divide l?
True
Let t = -7 + 13. Is 8 a factor of (-1)/(3/t)*-7?
False
Let n(w) = 51*w**2 + w. Let p be n(1). Suppose -4*c - 60 = -4*o - o, -4*c + p = 2*o. Let x = o + -4. Is 5 a factor of x?
False
Suppose -m + 53 + 280 = 2*i, -3*i + 502 = 2*m. Is i a multiple of 50?
False
Suppose 0 = 5*y - 3*v - 49 - 25, 2*y = -5*v + 42. Let n = 28 - y. Does 4 divide n?
True
Suppose 5*l - 727 = -42. Is 22 a factor of l?
False
Let f(n) = n**2 - 4*n - 6. Is f(-4) a multiple of 9?
False
Let r(g) = g**3 + g**2 - g - 32. Let b be r(0). Is 2 a factor of (-2)/(-6) - b/12?
False
Let i = 79 + -1. Is i a multiple of 13?
True
Let m = -204 - -379. Is m a multiple of 10?
False
Suppose -12 = -2*m + 6. Suppose 2*a + m = -a. Let r = 12 + a. Is r a multiple of 3?
True
Let x(s) be the first derivative of s**3/3 - 11*s**2/2 - 4*s + 1. Is x(12) a multiple of 8?
True
Suppose 3*u = 2*h + 2, 0*h - 2*h - 2 = 2*u. Suppose 5*j = p + 152, j + u*p = 2*p + 34. Is j a multiple of 10?
True
Let c = 459 - 273. Is 13 a factor of c?
False
Does 7 divide ((-12)/15)/((-4)/70)?
True
Let q = -6 - -43. Does 6 divide q?
False
Let n(u) = 6*u**2 - 4*u. Let b be (12/(-10))/((-2)/5). Is 21 a factor of n(b)?
True
Let f(m) = 7*m**2 + m. Let s be f(1). Suppose 5*k - s + 48 = 0. Let w(l) = -l**2 - 12*l - 6. Does 12 divide w(k)?
False
Suppose 5*w = 4*f + w - 8, -f - 3*w = 6. Is 14 a factor of f + 16 - (-3 + 1)?
False
Let g = 61 + -118. Let a be 40/(-6)*(-11 + -1). Let f = g + a. Does 23 divide f?
True
Suppose -4*h - 38 = -5*x, 0*h - 16 = -x + 5*h. Is 164/x - 6/18 a multiple of 9?
True
Suppose 6 - 3 = j. Suppose j*p - 2 = 1. Does 15 divide (-5)/(12/(-9) + p)?
True
Let i(q) = q**2 + 3*q - 3. Let u be i(7). Let f = u - 36. Is f a multiple of 8?
False
Suppose 4*v = 44 + 208. Is 27 a factor of v?
False
Let s(y) be the second derivative of y**6/60 - y**5/15 - y**4/24 + y**2/2 - y. Let w(r) be the first derivative of s(r). Does 6 divide w(3)?
False
Let z(d) = -d**2 - 9*d - 10. Let m be z(-7). Suppose 2*r = 3*h - 41, -3*h + 3*r + 56 = m*r. Is h a multiple of 14?
False
Let n(y) = -y**2. Let m(v) = 6*v**2 + 12*v. Let u(k) = -m(k) - 5*n(k). Suppose -3*q + 0*q - 30 = 0. Is u(q) a multiple of 13?
False
Let q be 3/(-12) - 46/8. Does 15 divide (-107)/(-5) - q/(-15)?
False
Let v = 4 - -1. Suppose -4*u = -6*u. Suppose 2*k - 4*k + 5*o + 18 = 0, 5*k - v*o - 60 = u. Is k a multiple of 6?
False
Suppose -2*b + 1 = -19. Let t be 24/10 + b/(-25). Suppose -7*k + 10 = -t*k, 4*a = -2*k + 44. Is a a multiple of 5?
True
Suppose 1 = -5*m + 16, -2*s + 2*m - 10 = 0. Let w(d) be the second derivative of 3*d**4/4 + d**3/3 - d**2/2 - d. Is 17 a factor of w(s)?
False
Suppose 15 = 4*n - 5. Suppose 48 = n*q + 13. Is q a multiple of 5?
False
Let b(d) = d**2 + 2*d - 5. Let s be b(-4). Suppose -2*j = -s*j - 2. Does 15 divide 33/1 + -1 + j?
True
Let t be (54/21)/(6/28). Let g be (-79)/(-2) + (-6)/t. Let c = g - 22. Is c a multiple of 17?
True
Suppose 0 = 3*u + u. Let f(r) = -r**3 + r**2 - r + 16. Does 5 divide f(u)?
False
Let i(p) be the third derivative of p**6/120 - p**5/60 - p**4/24 + p**3/2 - 3*p**2. Is i(0) a multiple of 2?
False
Let y(z) = 6*z + 0*z**3 - 2*z**2 + z**3 - 6*z**2 + 2*z**2 + 4. Is y(6) a multiple of 10?
True
Let n(j) = -9*j**2 + 4*j. Let y be n(3). Does 6 divide (-2)/(-10) - y/5?
False
Let t(c) = c**2 + 2*c - 1. Let d be t(1). Suppose -d*s - s = 0. Let z = 9 - s. Is 4 a factor of z?
False
Is 6 a factor of (-66)/(-8) - (-6)/(-24)?
False
Let x(q) = q**2 + q - 102. Let h be x(0). Is 4/18 - h/27 a multiple of 4?
True
Suppose -15 = -4*i - 3. Suppose i*q + 2*q - 100 = 0. Is q a multiple of 13?
False
Let y be 9/3 + (-7 - -1). Let c(x) = x**2 - 2*x - 4. Does 11 divide c(y)?
True
Let w = 15 + -4. Suppose 51 - w = 5*g. Is 8 a factor of g?
True
Let z = -93 + 191. Does 7 divide z?
True
Let y = -60 - -101. Suppose 0 = s - y - 10. Is 17 a factor of s?
True
Let o = 153 - 113. Is 4 a factor of o?
True
Let k(p) = -p**3 + 10*p**2 + 4*p - 6. Let n(j) = j**3 - 7*j**2 + 6*j - 5. Let w be n(6). Let y = w - -15. Does 17 divide k(y)?
True
Suppose p - 3*p = -316. Is 21 a factor of p?
False
Is 28 a factor of ((-468)/10)/((-24)/60)?
False
Let d = -140 + 257. Is d a multiple of 13?
True
Let y = 11 + 40. Let p(m) = -4*m + 13. Let z be p(9). Let n = z + y. Is 20 a factor of n?
False
Suppose -81 = 5*i - 676. Is i a multiple of 16?
False
Suppose 2*n = 6*n - 40. Is n a multiple of 5?
True
Suppose -y - 3*z + 27 = 0, 5*y - 87 = -4*z + 59. Does 6 divide ((-27)/(-15))/(9/y)?
True
Let v(r) be the third derivative of r**4/12 - r**3/6 - 2*r**2. Let b be v(3). Suppose -22 - 43 = -b*o. Does 11 divide o?
False
Suppose 0*o = -2*o + 130. Suppose 3*n - o - 103 = 0. Is n a multiple of 22?
False
Let f = 108 - 18. Does 45 divide f?
True
Let v(j) be the third derivative of j**6/120 + j**5/30 - j**4/6 + j**3/6 - 2*j**2. Let t be v(-3). Suppose 4*z = 12, a - 3*a = -t*z. Does 6 divide a?
True
Let x(c) = -c**2 + 21*c - 9. Let t be x(11). Suppose j - t = -4*z, 2*z = -z + 3*j + 87. Is z a multiple of 19?
False
Suppose 5*v = -15, 2*v = -2*a + 3*v + 9. Suppose -a*d - 24 = -7*d. Is 6 a factor of d?
True
Suppose -3*t + 3*c = -87, -t + 4*t = 2*c + 89. Is 31 a factor of t?
True
Let l(n) = -18*n + 2. Let f be l(1). Let u = 46 + f. Is 10 a factor of u?
True
Does 10 divide (5/(-2))/((-7)/168)?
True
Suppose 0 = -2*y - 3*y + 190. Let c = y + -16. Is c a multiple of 11?
True
Let c(t) = -t + 10. Suppose -h = -5*q - 0*h + 25, -5*q = 5*h - 55. Let j be c(q). Suppose 2*s + 2*n = 28, s = -j*s - 3*n + 74. Is s a multiple of 8?
True
Let c(m) = m**3 - 2*m**2 - 13*m + 7. Is c(5) a multiple of 3?
False
Let p = 0 - -6. Let b = p + 7. Does 5 divide b?
False
Let q = 66 + -24. Does 7 divide q?
True
Let b(z) = -2*z - 3. Let c be b(-4). Let a be 12/(-10) + 1/c. Let p(q) = -34*q. Is p(a) a multiple of 17?
True
Suppose 6*s = 3*s + 54. Is s a multiple of 6?
True
Suppose -2*z - 10 = 4*m - 42, -5*m = -4*z + 38. Let l(y) = -y**3 + 12*y**2 - y + 17. Is l(z) a multiple of 2?
False
Suppose 4*s + 8 = f - 9, f + 2*s = 41. Does 11 divide f?
True
Let r(y) = -y**3 - 4*y**2 - 15. Let j(k) = k**3 + 5*k**2 - k + 14. Let t(l) = -3*j(l) - 2*r(l). Does 8 divide t(-8)?
False
Suppose 0 = -4*h - 32 + 12. Does 16 divide ((-24)/h)/((-18)/(-60))?
True
Does 11 divide (2 - -2 - -144) + -5?
True
Let p(c) = -c**3 + 9*c**2 + 10*c. Let q be p(10). Suppose -38 = -q*z - 2*z. Does 7 divide z?
False
Let b be (3 + -2 - 2) + 0. Is 12 a factor of (12/(-16))/(b/32)?
True
Let s(b) be the first derivative of -b**3/3 - 9*b**2/2 - 2*b + 1. Is 3 a factor of s(-8)?
True
Let u = 7 + 9. Suppose 