be (65/(-10))/((-3)/6). Let n = 17 - a. Suppose -n*h - 22 + 66 = 0. Does 11 divide h?
True
Suppose 113 = -4*z - 15. Let v = z - -32. Suppose -b - n - 2*n + 39 = v, 0 = -2*b - 3*n + 81. Does 12 divide b?
False
Let l = 25 + -23. Suppose 2*m = -3*d - d + 366, 5*m + 213 = l*d. Is d a multiple of 6?
False
Suppose 2*u + 5*s = 162 + 32, -198 = -2*u - 3*s. Is 17 a factor of u?
True
Let j(u) = -2*u + 4*u - 12*u + 20. Is j(-7) a multiple of 18?
True
Let z = 74 - 82. Let h(d) = -11*d - 13. Does 25 divide h(z)?
True
Suppose -8*b + 1 + 39 = 0. Let j(o) = o**3 - 3*o**2 - 6*o + 12. Is j(b) a multiple of 8?
True
Let a(z) = -9*z**2 - 5*z + 16. Let r be a(6). Let h = 509 + r. Is h a multiple of 9?
True
Let h(j) = 11*j**2 + 72*j + 9. Is 7 a factor of h(-11)?
False
Suppose 2*i - 15 = -2*x - 3, 0 = -2*i - x + 11. Suppose 0 = -v + i*v - 20. Suppose v*q - 152 = 23. Is 14 a factor of q?
False
Suppose -127 = -k - 2*r, k = -4*k - 4*r + 623. Let j be (5 + -4)/(0 - -1). Is 21 a factor of j + k/(-2 + 5)?
True
Let w(p) = 35*p + 13. Let c(t) = -23*t - 9. Let g(l) = -8*c(l) - 5*w(l). Suppose -i + 3*i = 6. Is 8 a factor of g(i)?
False
Let l(m) = m**3 + 11*m**2 - 3*m + 14. Let n be l(-11). Does 24 divide (0 - (0 - n)) + 1?
True
Suppose 0 = -x - 5, 2*o - 543 = -0*x - x. Is 69 a factor of o?
False
Let q(c) = 9 + c**2 + 3*c - 5*c + 3*c. Let w be q(-11). Suppose 4*o - 5*u - 93 = 66, 3*o - 4*u - w = 0. Is o a multiple of 14?
False
Suppose 36*s - 5736 = 28*s. Is s a multiple of 54?
False
Let z(v) = 57*v. Suppose 3*k - 13 = -1. Suppose 2 = k*i - 2. Is 19 a factor of z(i)?
True
Let p be (-3)/(-1) - (-2 - -7). Let n be (7 + -6)/(p/(-26)). Suppose 0 = 16*m - n*m - 63. Is m a multiple of 6?
False
Suppose 41 - 164 = -3*z. Let j = 61 - z. Does 10 divide j?
True
Let a(v) = 18*v + 31. Does 48 divide a(9)?
False
Let x be 0 - (-1)/((-4)/(-16)). Suppose 90 = 3*v - 3*m, x*m = m - 15. Let u = v - 12. Is u a multiple of 9?
False
Suppose 0 = -2*b + 4*l - 28, -b - b + 2*l - 26 = 0. Is (-5 + 2)/(4/b) a multiple of 9?
True
Suppose 5*d - 7865 = -8*d. Is 13 a factor of d?
False
Let c(q) = q**3 - 11*q**2 - 10*q - 17. Let z = -3 + 38. Suppose 1 = 3*f - z. Is 7 a factor of c(f)?
True
Suppose -3*t - 5*s = -6*t - 15, t + 3*s = -5. Let c(r) = -r**3 - 4*r**2 + 8*r + 4. Let d be c(t). Does 3 divide 6/18 + d/(-3)?
False
Let d = 10 - 6. Suppose m - 19 = j + 3*j, -d*j = 0. Let t = 5 + m. Is 12 a factor of t?
True
Suppose -19*u + 14*u + 4*x + 880 = 0, x + 5 = 0. Does 26 divide u?
False
Suppose -133 = -28*r + 24*r - 5*j, 0 = r - 5*j - 52. Does 8 divide r?
False
Let k be (2 - (-2)/(-1)) + 10. Let b = 12 - k. Suppose b*x - 112 = -m - 3*m, 4 = -x. Is 8 a factor of m?
False
Let x(w) = 2*w**2 - 9*w - 16. Let f = 17 - 7. Suppose 0 = -v + f - 2. Does 9 divide x(v)?
False
Suppose -h + 5*h - 384 = 0. Suppose -3*x = -0*x - 12. Suppose -2*r + m = x*m - h, 4*m + 8 = 0. Is r a multiple of 11?
False
Let m(t) = -2*t**2 - 9*t + 398. Does 14 divide m(0)?
False
Let s be (3 + (-362)/(-4))*-2. Let m = s - -324. Does 6 divide m?
False
Let k = -212 + 399. Does 4 divide k?
False
Suppose 2*k = -3*b + 117, 2*k - 204 + 46 = -4*b. Suppose -2*a + 7 = -b. Suppose 0*t + 4*t = a. Is t a multiple of 6?
True
Let u(m) be the third derivative of 1/60*m**6 + 1/3*m**3 - 1/30*m**5 + 0*m + 0 - 8*m**2 + 1/24*m**4. Does 6 divide u(2)?
True
Let q = 910 - 516. Does 5 divide (8/(-24))/(-2 + q/198)?
False
Let r = -48 + 33. Let s = r + 61. Is 9 a factor of s?
False
Suppose 0 = 14*c - 31 - 11. Let h(q) = 46*q + 7. Does 10 divide h(c)?
False
Suppose 0 = 3*w - 6*w + 660. Is w a multiple of 44?
True
Is 12 a factor of ((-2)/1*3)/((-36)/738)?
False
Let b(w) = -2*w**3 - 7*w**2 - 5*w + 1. Let m(o) = -o**2 - 12*o + 23. Let d be m(-14). Is b(d) a multiple of 29?
False
Let x(k) = -k**2 + 2*k + 9. Let u be x(-3). Let g(z) be the second derivative of -z**4/12 - 5*z**3/3 - 3*z**2/2 - z. Is g(u) a multiple of 7?
True
Let u be -4*4*(-2)/(-4). Let w(x) = -x**3 - 6*x**2 - 2*x - 24. Let s be w(-6). Let f = u - s. Is 2 a factor of f?
True
Let c(g) = g + 40. Suppose -6*b + 32 = -2*b + 5*h, 5*b + 5*h = 35. Suppose -b*s = 25 + 14. Is 9 a factor of c(s)?
True
Suppose 6*a - 209 = 523. Suppose -3*o - f + 3*f = -a, 2*o - 85 = 5*f. Is 39 a factor of o?
False
Let m(c) = -c**2 + 3*c + 4. Let n be m(0). Suppose -3*q - 8 = -n*q. Is q a multiple of 2?
True
Let g = -126 - -181. Suppose -4*x - x - n = -g, 40 = 3*x + 2*n. Let l = x + 4. Does 7 divide l?
True
Suppose -4*h + 53 = 5*a + 12, 2*a = h - 7. Does 4 divide (-4)/(24/h)*-34?
False
Let s(z) be the second derivative of -z**6/120 + 11*z**5/60 - z**4/6 - 2*z**3 + 3*z**2 + 5*z. Let q(p) be the first derivative of s(p). Is 10 a factor of q(10)?
False
Suppose 0 = -2*z + 22*z - 28260. Is 82 a factor of z?
False
Let y(u) be the first derivative of -11*u**2/2 + 4*u + 5. Let m be y(-4). Suppose 5*w - m = 22. Is w a multiple of 14?
True
Let m(k) = k**3 - 9*k**2 + 17*k - 34. Is m(8) a multiple of 38?
True
Let r be -28 - (2 + 3/(-3)). Let b = r - -43. Suppose -2*a - a - 15 = 0, -p + b = a. Is 10 a factor of p?
False
Let r be -4 - -1*(-6)/(12/26). Let s = 31 - 2. Let f = r + s. Is 6 a factor of f?
True
Let i(l) be the second derivative of -11*l**3/3 - l**2 - 5*l. Let t be i(-1). Let g = t - 11. Is g a multiple of 9?
True
Suppose -8*z + 85 = -59. Let o = 26 + z. Is 9 a factor of o?
False
Let w(f) = -4*f - 3. Let n be w(-4). Let o = 18 - n. Is 4 a factor of o?
False
Suppose -32832 = 16*c - 43*c. Is c a multiple of 32?
True
Let r be 1/(-2) + 345/10. Let a = -8 + 18. Suppose w - r = -a. Does 8 divide w?
True
Suppose -5*c = 15, h + 0*c - 4*c = 846. Is h a multiple of 6?
True
Let n be 0*(-4 - (-9)/3). Suppose -4*c + 4 + 8 = n. Suppose 3*d = d - 3*g + 6, 9 = 3*d - c*g. Is 2 a factor of d?
False
Let b be ((-2)/3)/((-2)/345). Suppose 3*s - 86 = b. Does 9 divide s?
False
Let f be 10/55 + (-834)/(-11). Suppose -24 - f = h. Is 26 a factor of ((-12)/(-3) - h)/1?
True
Suppose i - 6 = -2*i. Suppose -i*v = 2*v - 116. Suppose 5 = -q + v. Is q a multiple of 8?
True
Let h be (-3)/6*-12*2. Let w = -10 + h. Suppose -13 = -w*j + 37. Does 7 divide j?
False
Suppose -1566 = 26*s - 20*s. Is s/(4 + -7) + -3 a multiple of 12?
True
Suppose -2*b + 2*d = -6*b + 1316, b + 4*d - 322 = 0. Is 10 a factor of b?
True
Suppose -3*q + 12 = 2*a, a = -a - q + 8. Suppose -36 = a*v - 6*v. Does 3 divide v?
True
Suppose -c + 59 = u - 3*c, -u + 5*c = -56. Let b = 92 - u. Suppose -2*f + y = -2*y - b, 2*f - 21 = y. Is f a multiple of 6?
False
Suppose o - 49 - 55 = 0. Is o a multiple of 24?
False
Let d = 31 - 60. Let v = 43 - d. Does 24 divide v?
True
Let x = 1432 - 634. Does 38 divide x?
True
Let m(g) = -g + 8. Let z be m(5). Suppose -4*s = 4*i + 296, -7 - z = 2*s. Let u = i - -103. Does 23 divide u?
False
Let i(a) = 3*a + 3. Suppose 10*t - 12*t = 16. Let p be i(t). Let q = -7 - p. Is q a multiple of 6?
False
Let w(o) = 27*o**2 - 19*o + 37. Is w(4) a multiple of 94?
False
Suppose -34144 = -93*t + 53090. Is 32 a factor of t?
False
Let f(n) be the first derivative of -n**3/3 - n**2/2 + 27*n - 29. Let g = 1 + -1. Does 15 divide f(g)?
False
Suppose 0 = -5*f + k + 434, -4*f + f + 274 = -4*k. Suppose -284 = -5*h + f. Is h a multiple of 9?
False
Let v(s) = s**3 - 9*s**2 - 5*s - 10. Let o be v(10). Let k = -36 + o. Is k a multiple of 2?
True
Suppose 331 = 5*s + k, s + 351 = 6*s - 4*k. Let p = 160 - s. Is 31 a factor of p?
True
Suppose -4*m = -0*m + 16, -5*j + 4*m = -41. Suppose 0 = -j*s + 186 - 56. Does 5 divide s?
False
Let k be (-16)/8*1*-13. Suppose 5*f - 111 = -k. Does 2 divide f?
False
Let i(x) = 16*x**3 - 11*x**2 + 15*x - 2. Let t(z) = -8*z**3 + 5*z**2 - 7*z + 1. Let p(v) = -6*i(v) - 13*t(v). Is 2 a factor of p(1)?
False
Let q(y) = -2*y + 6*y**3 - 5*y**3 - 6 + 6*y**2 + 3*y. Is q(-5) a multiple of 10?
False
Let m = -1271 + 1430. Is m a multiple of 20?
False
Suppose 5*i = u - 4, 5*u = -5*i + 3*i + 20. Suppose -3*r + r = -5*g + 280, u*r = 0. Does 8 divide g?
True
Let w be (-1)/(-6) + 58/12. Suppose w*c = c + 4. Suppose 0 = -4*r + 131 + c. Is r a multiple of 10?
False
Suppose 4*t + 16 = 0, -4*s - 4*t + 300 = t. Suppose 4*j - 2*j = s. Does 10 divide j?
True
Let t be 2/9 + 14/(-63). Suppose m - 58 = 4*o, 5*o - 274 = -4*m - t*o. Is 22 a factor of m?
True
Let x be (-6)/(-1) + 2 + (-11)/(-11). Is 24 a factor 