 k(s) = 1 + s**3 + 7*s - 4*s - s**2 - 2*s**3. Let g be k(-2). Let o(d) = 52*d**2. Does 13 divide o(g)?
True
Let v = -135 + 274. Let u = v + -92. Is u even?
False
Is 18 a factor of 15*35 - 6*8/(-12)?
False
Let f(b) = 2*b**3 + b**2 + 4*b + 304. Is f(0) a multiple of 8?
True
Does 7 divide 8/(-12)*(-381 + 3)?
True
Suppose 3*a + 4509 - 305 = 4*k, -4*a - 5254 = -5*k. Is 5 a factor of k?
False
Does 5 divide (4 + 736)*(-5)/(5/(-2))?
True
Suppose -2*h + 11*z + 1470 = 15*z, z = -4*h + 2954. Does 3 divide h?
False
Let v(s) = -5*s**2 - 19*s + 12. Let o(u) = 14*u**2 + 56*u - 37. Let i(a) = 6*o(a) + 17*v(a). Let j be i(11). Suppose -j*n + 84 = 16. Is 3 a factor of n?
False
Let u(f) = f**2 + 11*f + 3. Let z be u(-11). Suppose 0 = -z*k - 43 + 214. Is 7 a factor of 2/(-8) + k/4?
True
Suppose 46*t - 95400 = -7*t. Does 40 divide t?
True
Suppose 742 = 11*v - 7266. Is v a multiple of 14?
True
Suppose -7 = -5*a + 13. Suppose -a*g = -3*u - 691, u = 2*g - 76 - 267. Does 13 divide g?
True
Let s(x) = -2*x + 4. Let q be s(-2). Let i(h) = h**3 - 7*h**2 - 4*h + 2. Let m be i(q). Suppose 2*z - 70 = m. Is 13 a factor of z?
True
Suppose -7*r + 8 = -13. Let x = r + 70. Is 8 a factor of x?
False
Suppose 31*y - 33*y + 3*r + 270 = 0, 0 = y - 4*r - 130. Is y a multiple of 3?
True
Let b(n) = -n**3 + 21*n**2 - 21*n + 43. Let a be b(20). Suppose -18*c - 550 = -a*c. Is c a multiple of 26?
False
Let l(h) = h - 1. Let c be l(-2). Let y = 6 + c. Suppose -66 = -3*v + 2*g, v - y*g + 31 = 3*v. Does 10 divide v?
True
Suppose -4*h + 8*h + 5228 = 0. Does 32 divide 12/66 + h/(-11)?
False
Let y be (1/(-2))/((-6)/3420). Let a = y + -142. Suppose 5*x + a = 5*v - 47, 0 = -2*v + 5*x + 73. Does 9 divide v?
False
Suppose 0 = a - 3*k - 12, 4*k + 8 = -5*a + 2*k. Let t = -3 + a. Let c = 39 + t. Is 12 a factor of c?
True
Suppose 2*r + 3*f - 426 = -72, 4*f = -r + 167. Is r a multiple of 61?
True
Suppose -j - 6 = -1. Let q be ((-24)/j)/((-21)/280). Is 2*q*13/(-26) a multiple of 16?
True
Suppose -954 = -15*t + 396. Is 90 a factor of t?
True
Let h(q) = -4*q - 33 + 35 - 9*q + 4*q. Is 8 a factor of h(-6)?
True
Is 28 a factor of (-16610)/(-10) - (-4 + 0 + -2)?
False
Suppose 3*m - 3 = 0, -3*q + 7*q = -4*m. Let n(i) = 32*i**3 - 1. Let l be n(q). Let t = -9 - l. Is t a multiple of 8?
True
Does 70 divide 21/(-36)*15*-88?
True
Suppose 3*r = -2*c + 128, c = -5*r - c + 208. Suppose -3*g + r = -266. Is 13 a factor of g?
False
Let r(b) = b**2 - 3*b - 11. Is 15 a factor of r(10)?
False
Suppose -25 = -2*g - 3*g. Let l(a) = -a**2 + 2*a - 3. Let i be l(g). Let n = i + 45. Does 9 divide n?
True
Let j = 8141 + -4722. Does 13 divide j?
True
Let n = 95 - -242. Let o = 487 - n. Does 6 divide o?
True
Let n be 2/4 - (22/4 - -1). Let t(i) = -i**3 - 6*i**2 - 7*i - 2. Does 20 divide t(n)?
True
Suppose 0 = -5*w - 27 + 2. Let k be (w/(-15))/((-1)/(-15)). Suppose 304 = -t + k*t. Is t a multiple of 20?
False
Let x = -8 + 8. Let c(o) = 3*o + 7*o**2 + 1 + 1 + x. Is 12 a factor of c(-2)?
True
Let g(c) be the second derivative of c**5/20 + 11*c**4/12 + 3*c**3/2 + 7*c**2/2 + 14*c. Suppose -70 = 5*n - 20. Is 6 a factor of g(n)?
False
Let a be (-9)/(-4) - 3/12. Suppose 0 = w - 2*j - 114, -116 = a*w - 3*w + 4*j. Is w a multiple of 8?
True
Suppose -2*z - 6 = 6. Let g be ((-2)/z)/(5/90). Is (g/(-5))/(5/(-25)) a multiple of 3?
True
Let r be (6 - 3)*67/3. Let t = r + -32. Let c = -19 + t. Does 3 divide c?
False
Suppose 2*w + 50 = 5*t, -3*w = -3*t - 0*w + 21. Suppose -3*f + 9 + t = 0. Suppose f*q + 8 = 9*q. Does 3 divide q?
False
Let f be 1/(-4) + 17/4. Suppose f*d + 7 = 31. Let m(j) = 2*j + 5. Does 17 divide m(d)?
True
Is 7 a factor of ((-116)/8)/((36/(-56))/9)?
True
Let w(c) = -2*c - 20. Let r be w(-11). Suppose 2*g = -n - 25 + 85, -r*n + 130 = -g. Is n a multiple of 17?
False
Let x = -234 - -374. Is x a multiple of 18?
False
Is 27 a factor of (0 + -2)/(4328/(-864) - -5)?
True
Let j(m) = 2*m**2 - 37*m + 196. Does 4 divide j(20)?
True
Let i(z) = z**3 - 7*z**2 - 18*z + 2. Is i(10) a multiple of 12?
False
Let f(a) = 7*a**3 - 25*a**2 + 27*a + 16. Let h(n) = 4*n**3 - 13*n**2 + 14*n + 8. Suppose 0 = -4*k - 5 - 7. Let g(l) = k*f(l) + 5*h(l). Is 16 a factor of g(8)?
True
Suppose -3*u + 1 = -6*u - t, -3*t = -6. Let r = 0 + u. Let j = 52 - r. Does 33 divide j?
False
Suppose 5*i - 16 = 3*a + 6, 5*i - 5*a = 30. Let c be 105/(-14)*i/(-3). Suppose -101 = -c*v + 34. Is v a multiple of 9?
True
Does 4 divide 455/195*(-72)/(-1)?
True
Let n(r) = 24*r - 85. Is n(17) a multiple of 13?
False
Does 3 divide (-3*3)/(43/(-215))?
True
Let m(l) = -l + 3. Let h(n) = -3*n + 5. Let u(w) = -2*h(w) + 5*m(w). Let s be u(-5). Suppose -q = -1 - 1, 4*v + 2*q - 164 = s. Is 11 a factor of v?
False
Suppose -5*y = 15, -5*y + 2 = z + 127. Let w = z + 169. Is w a multiple of 33?
False
Suppose 3*w = -4*z + 942, -6*z = 5*w - 3*z - 1559. Is 62 a factor of w?
True
Suppose -9*d + 12*d + 573 = 0. Let n = -87 - d. Let x = n + -58. Is 10 a factor of x?
False
Suppose 277 + 3 = j. Is j a multiple of 5?
True
Let p(c) = 3 + 0*c + 143*c**2 + 6*c - 4*c. Is p(-1) a multiple of 18?
True
Let m be 1*1/1 + 4. Suppose -636 = -m*t - 3*o, -t - 4*t - 5*o = -630. Is t a multiple of 17?
False
Let p = -13 - -18. Suppose -145 = -p*r - 2*t, 5*t - 27 - 72 = -4*r. Let w = r - 18. Is w a multiple of 13?
True
Suppose -3*f + 2*f + 548 = -4*n, -n = 2*f - 1087. Is 32 a factor of f?
True
Is (3/(-4))/(2/(-2984)) a multiple of 43?
False
Let f = -228 - -348. Is 6 a factor of f?
True
Suppose -211 = -2*f + 89. Let y = -11 + 16. Suppose -y*d = -2*d - f. Does 12 divide d?
False
Suppose -f = -14*f + 3432. Does 3 divide f?
True
Let v(c) = -5*c + 128. Is 90 a factor of v(-16)?
False
Let g be (2 + -4 - -19)/1. Let v(a) = -7 - 2*a + 2*a + a. Is 5 a factor of v(g)?
True
Suppose -59 = -4*a + 3*a - 5*h, -3*h = -5*a + 155. Let f be (20/(-6))/(1/3). Let t = f + a. Does 12 divide t?
True
Let g(n) = -n - 6. Let k = 2 - -3. Let a be g(k). Is (-2300)/(-55) - 2/a a multiple of 14?
True
Suppose 4*c + 4 = 5*b, -b - 2*c = 3*c + 5. Suppose -5 = -5*i - x, b*x + 3*x + 9 = -3*i. Is 10 a factor of 4*(3 - 1) + i?
True
Let f = 26 + 29. Let g = f - 3. Is g a multiple of 7?
False
Let j be (-1)/(2/28) + 1. Let a(t) = t**2 + 7*t + 12. Let l be a(j). Let w = l + -62. Does 14 divide w?
True
Does 4 divide 5*91/(-35)*-28?
True
Let p(n) = 34*n**2 + 7*n - 32. Is 115 a factor of p(-6)?
True
Is 5 a factor of (-485)/(-2) + 15/(-6)?
True
Suppose 146 + 254 = 5*j - 2*f, -25 = 5*f. Let q = 1 - -43. Suppose -a - q = -2*l, 4*l - j = -3*a + 10. Does 11 divide l?
True
Let q be (-50)/(-25) - 1*-5. Suppose -5*b + 4*u + 474 = 0, 2*b - q*b - 5*u = -510. Does 7 divide b?
True
Let a = 35 - 8. Let u(z) = 9*z - 12. Let s be u(6). Let y = s - a. Is 9 a factor of y?
False
Let x be -2 - (2 + -25 + -1). Let a be (52/(-20) - -2)*-5. Suppose -a*s - x + 58 = 0. Is s a multiple of 9?
False
Let g = 223 - -1791. Is g a multiple of 19?
True
Let h(b) = -b + 37. Let n = -20 + 31. Is h(n) a multiple of 13?
True
Suppose 2*j - 596 = -3*w, 0*j + j = -2*w + 298. Let l = -170 + j. Is l a multiple of 32?
True
Let a = 22 - 17. Suppose 2*z = -a*w + 13, z = 2*z - 4*w - 39. Let y = 28 - z. Is y a multiple of 2?
False
Suppose 2*t - 4 = -2*t. Let y be (4 + t)/((-4)/(-4)). Suppose 2*p - 139 = -y*b, 3*b = 2*b + 3*p + 21. Does 8 divide b?
False
Suppose -2 = -a - 7, 2*h - 4*a = 18. Let m(p) = -103*p**3 - p - 1. Does 29 divide m(h)?
False
Suppose 16*v + 317 = 17*v. Let c = v - 156. Is c a multiple of 23?
True
Let v(z) be the first derivative of z**4/6 - z**3/3 + 2*z**2 + 5*z - 1. Let m(t) be the first derivative of v(t). Is 22 a factor of m(5)?
True
Is 2 a factor of 6/10 + 3482/(-10)*-2?
False
Let j be 2 - 1 - (1 - 2). Suppose -o + 81 = j*o. Is o a multiple of 9?
True
Suppose -2*n = 2*n - 572. Suppose -2*q + 4*b = -66, -4*q = b - n + 38. Is 7 a factor of q?
False
Suppose -2536 = -11*t + 10103. Does 18 divide t?
False
Suppose 2*w - 3*w = 51. Is 9 a factor of 6/w - (-6438)/102?
True
Let l = -2066 - -3000. Is l a multiple of 4?
False
Is (-25)/225 + (-2540)/(-18) a multiple of 4?
False
Suppose 6 - 10 = -2*r. Suppose 258 = r*p + 18. Is p a multiple of 24?
True
Let h = -319 + 786. Is h a multiple of 13?
False
Suppose 0 = 2*q - 8. Let j be (q/(-10))/(5/(-25)). Suppose -x - 4*w + 17 = j*x, -7 = -x - w. Is 3 a factor of