e s?
True
Let k(b) = 2*b**3 + 89*b**2 - 53*b + 64. Is k(-45) a multiple of 4?
True
Suppose 167*u - 2794 = 156*u. Is 4 a factor of u?
False
Let r(n) = -29*n**2 - n + 2. Let d be r(-2). Let g = 256 + d. Suppose -x = 3*x - g. Is x a multiple of 12?
True
Suppose k - 5*l + 14 = -9, 2*k - l + 1 = 0. Suppose -4*u + 4*o + 32 = 0, 2*o - 5*o = k*u - 16. Let r(d) = d**3 - 7*d**2 - 6*d + 11. Does 9 divide r(u)?
True
Suppose -11*p = -6*p - 25, -4*v = -3*p - 1305. Is v a multiple of 11?
True
Does 31 divide 2434/7 + (-12)/(-42)?
False
Let v(f) be the second derivative of -f**5/10 + 5*f**4/6 + f**3/3 - 7*f**2/2 - 7*f. Let t be v(5). Suppose t*r - 7*r + 116 = 0. Does 10 divide r?
False
Suppose -5*s + 985 = -5*j, 4*j - 818 = -4*s + 2*j. Suppose 4*b + i - s = 2*i, 0 = 3*b - i - 152. Is 19 a factor of b?
False
Let o = 7 - 7. Suppose -j + 19 - 15 = o. Suppose -32 + 264 = j*q. Is q a multiple of 13?
False
Let t = 2093 - 1175. Does 21 divide t?
False
Let c(l) = -36*l - 6. Let h be c(1). Does 5 divide (-2)/7 + (-936)/h?
False
Let d(p) = -79*p - 33. Is 13 a factor of d(-7)?
True
Let o(r) = -2*r**3 - 14*r**2 + 178*r + 10. Is 35 a factor of o(-17)?
False
Let b(m) be the first derivative of 7*m**4/4 + 3. Is 2 a factor of b(1)?
False
Suppose -10*o = -7*o - 906. Is o a multiple of 20?
False
Let s = 891 - 545. Does 5 divide s?
False
Suppose -3*r + 5*s - 36 = -149, 74 = 2*r - 2*s. Is r a multiple of 2?
True
Let h = -399 + 850. Is 14 a factor of h?
False
Suppose -35 = -0*n - 4*n + 3*r, 0 = 3*n + r - 23. Suppose 176 + 160 = n*p. Is p a multiple of 8?
False
Let d = -1912 - -1042. Let b be (1/2)/((-1)/d). Suppose u + 4*r = 3*r + 89, -b = -5*u - 3*r. Does 28 divide u?
True
Let c(b) = b**2 + 8*b - 25. Let f be c(5). Let j(v) = 15*v + 1. Let m be j(7). Let l = m - f. Is l a multiple of 22?
True
Suppose 4*w - 4 = -5*d + 11, -w + 3 = d. Suppose w = -2*o + 5 - 31. Let k = o - -52. Is k a multiple of 14?
False
Let f(l) = 6*l**3 - 6*l - 3. Let g be f(-2). Let i = g - -121. Is 11 a factor of i?
False
Let t(o) = o**3 + o + 16. Let d be t(0). Suppose -4*b - d - 8 = 4*v, 0 = 4*b + 5*v + 24. Let j(k) = -k**3 - 6*k**2 - 4*k + 8. Is j(b) a multiple of 16?
True
Let p = 989 + 207. Is p a multiple of 13?
True
Let v(u) = -7*u**2 - 22*u - 3. Let c be v(-7). Let t = c - -269. Is 7 a factor of t?
True
Suppose 0 = -3*o - 4*v + 38, o + 0 - 4 = 3*v. Let w(m) = 2*m**3 - 21*m**2 + 10*m + 16. Does 8 divide w(o)?
True
Suppose -4*u + 1092 = -2*l, -u - 3*u - 4*l = -1092. Is 39 a factor of u?
True
Let l be 8/14 - 153/(-63). Does 12 divide (l - 1)/((-6)/(-93))?
False
Let f(x) = -x**2 - 15*x - 3. Let n(h) = h - 4. Let s be n(4). Suppose s = 3*c + 6 + 12. Does 17 divide f(c)?
True
Suppose 11*w = 4712 + 3857. Is w a multiple of 6?
False
Suppose -466 = -14*n - 18. Does 16 divide n?
True
Let c(i) = 15*i**2 - 13*i - 15. Is c(-5) a multiple of 30?
False
Let n be 0/((9/3)/3). Let p(u) = -3*u**2 + 2*u + 189. Does 39 divide p(n)?
False
Let t(o) = 87*o - 41. Is 44 a factor of t(3)?
True
Let i(k) = -k**3 - 4*k**2 + 14*k + 6. Let r be i(-6). Let s(u) = -24*u - 38. Does 13 divide s(r)?
False
Let a = -10 - -12. Suppose -2*r = a*r - 172. Let p = r + -11. Is 16 a factor of p?
True
Suppose 0 = -3*t - 5*i + 41, -i = -5*t + 87 - 28. Let x(n) = 43*n**2 + n - 2. Let f be x(-2). Suppose f = 4*s + t. Is s a multiple of 9?
False
Is -3 + (-11332)/(-36) - (-20)/90 a multiple of 78?
True
Does 7 divide -3*2 + 2015/13?
False
Let y be -1*(-16)/4 - 35. Let c be 1 - (-1)/((-2)/(-104)). Let a = c + y. Is a a multiple of 11?
True
Suppose 0 = 3*v + 4*m + 14, 3 = 4*v + m + 13. Let i = 597 - 593. Does 16 divide v*(2 + (-126)/i)?
False
Suppose 2 = -4*q - 2. Let i = q + 6. Let f(u) = 2*u**2 - 5*u - 7. Is 18 a factor of f(i)?
True
Suppose 5*m + k - 156 = 589, m - 160 = 2*k. Does 22 divide m?
False
Let o = -2 - -174. Suppose -1485 = 167*u - o*u. Is u a multiple of 41?
False
Let p(t) = -155*t - 1. Let f(r) = 310*r + 1. Let q(n) = -4*f(n) - 9*p(n). Is q(1) a multiple of 17?
False
Is ((-6)/(-4))/(-2 - 3912/(-1952)) a multiple of 15?
False
Let p = 554 - 60. Is 6 a factor of p?
False
Is 34 a factor of (0 - -4) + -2 - -134?
True
Let f(v) = 2*v**3 + 36*v**2 + 4*v - 10. Is 50 a factor of f(-17)?
True
Let n(u) = 94*u + 4. Let c(j) = -31*j - 1. Let s(h) = -7*c(h) - 2*n(h). Let w = 4 + -3. Is s(w) a multiple of 14?
True
Suppose 4*r = 6*r - 6. Suppose -2*u = -15 + r. Is u a multiple of 3?
True
Is 6/22 - (-37746)/22 a multiple of 11?
True
Let q(o) = -7*o - 16. Let j(m) = -8*m - 17. Let y(k) = -5*j(k) + 6*q(k). Does 2 divide y(-9)?
False
Let m(p) = 150*p**2 + 19*p + 19. Does 25 divide m(-1)?
True
Suppose 2*s + 4702 + 521 = 5*r, -5221 = -5*r + 4*s. Is r a multiple of 54?
False
Is ((-105)/6)/((0 + -9)/630) a multiple of 49?
True
Let w(z) = z**3 + 14*z**2 + 30*z + 276. Is w(-8) a multiple of 30?
True
Suppose -2040 = 7*g - 9*g + 2*t, 4*g + 5*t - 4098 = 0. Is 29 a factor of g?
False
Suppose -116067 + 39171 = -16*t. Is t a multiple of 89?
True
Suppose 5 = -3*r - 2*r, 2*y = 2*r + 324. Let x = -108 + y. Is 10 a factor of x?
False
Suppose 10*w = 27*w - 2142. Is w a multiple of 21?
True
Let o = 1 - -3. Let v(p) = -2*p + 1. Let a be v(-3). Suppose i = c + a, -i - o - 1 = -4*c. Is i a multiple of 11?
True
Suppose -2*w - 432 = 2*w - a, 0 = -4*w - a - 432. Let b = -96 - w. Is 3 a factor of b?
True
Let q be (-10)/(-35) - ((-1548)/21 - -1). Let x = -52 + q. Does 16 divide x?
False
Let b = 23 - 32. Let v(w) = -w**3 - 7*w**2 + 14*w + 20. Is v(b) a multiple of 14?
True
Suppose -2*g = 2*g - 20, 0 = -5*z + 5*g + 485. Is 45 a factor of z?
False
Suppose 0 = 3*p + 1 + 17. Let l(f) = -14*f - 6. Does 26 divide l(p)?
True
Suppose 0 = -2*m - 27 - 57. Let u = m - -71. Suppose -3*f + 4*f = u. Does 7 divide f?
False
Let j(v) be the third derivative of -31*v**6/40 - v**5/60 + v**4/24 + v**3/6 - 16*v**2. Is j(-1) a multiple of 23?
True
Let m(x) = 3*x - 2. Let p be m(-2). Let g(w) = w**3 + 8*w**2 - 4*w - 1. Let c be g(p). Let z = c - 13. Is z a multiple of 6?
True
Let o be (2 - 2)/(4 + -3). Let b be (-126)/(9/(-3)) + o. Suppose 2 = -2*n + b. Is n a multiple of 8?
False
Suppose -7*v - 5*v + 1572 = 0. Suppose -2*u + 0*u + 332 = 5*w, 2*w - v = u. Is w a multiple of 22?
True
Let t(d) be the first derivative of d**2/2 + 23*d - 7. Let x be t(-12). Let u = x + 15. Is 5 a factor of u?
False
Suppose -32*j + 40*j = 352. Suppose 0 = -3*l - 17 + j. Does 3 divide l?
True
Suppose 76*s - 85*s = -5643. Is s a multiple of 70?
False
Let k = -92 + 692. Is k a multiple of 40?
True
Let a(n) = -n**2 - 21*n + 9. Let g be a(-11). Let q = -41 + g. Is q a multiple of 18?
False
Let j = 68 + -48. Suppose -w - 2 = -j. Is w a multiple of 3?
True
Let l = -87 - -97. Let s(o) = o**3 - 10*o**2 + 13*o - 10. Does 12 divide s(l)?
True
Suppose -c - 5 = -3*u, -2*c + 2 = -5*u + 9. Suppose u*j = 618 + 99. Is j a multiple of 44?
False
Let z = -34 + 38. Suppose -q - 2*k = q - 46, z*q - 4*k - 60 = 0. Is 7 a factor of q?
False
Suppose 2*l - 722 = 4*p - 8*p, 5*p - 910 = 5*l. Is p a multiple of 17?
False
Let j(w) = 30*w**2 - 71*w - 7. Does 9 divide j(-5)?
True
Suppose 1622 = 11*m - 3229. Let s = m - 233. Is 21 a factor of s?
False
Let j(r) = -r**2 - 13*r - 37. Let z(x) = -3*x**2 - 27*x - 73. Let d(b) = 5*j(b) - 2*z(b). Is 12 a factor of d(17)?
False
Suppose -5*t + t + 72 = 4*d, 5*d - 5*t = 110. Does 3 divide d?
False
Suppose 0 = 2*g - 3*t - 2097, -4179 = -4*g - t + 2*t. Is g a multiple of 15?
False
Let x = -2031 + 2910. Is 28 a factor of x?
False
Suppose -9*h = -5*h - 32. Is h a multiple of 4?
True
Suppose 0 = -12*d + 15*d - 1194. Is d a multiple of 23?
False
Does 16 divide -24*(-1 - (20/12 - 2))?
True
Suppose -5*z - 28 = -2*w, -w + 2 + 1 = 3*z. Suppose -4*j + w*j = 70. Let f = 24 - j. Does 8 divide f?
False
Let b(m) = m**2 - 14*m - 48. Let v be b(17). Is 17 a factor of (-89 + -19)*(-2)/v?
False
Let c(d) = -d**3 - 3*d**2 + 12*d + 4. Let z be c(-5). Does 23 divide 1221/24 + z/(-48)?
False
Let n be (36/16)/(-3)*-24. Let x = 51 - n. Is x/2 + (-2)/4 a multiple of 16?
True
Suppose -1664 = -13*l + 2756. Does 85 divide l?
True
Let n be ((-5)/5)/((-2)/14). Suppose 4*c - 13 - n = 0. Suppose -264 = -c*f - 69. Does 13 divide f?
True
Let m be (16/(-6))/((-79)/(-948)). Let x be 11/4 + (-2)/(-8). Is (x/2)/((-2)/m) a multiple of 8?
True
Let a = -256 + 290