5856. Is 31 a factor of s?
True
Suppose -11*g + 2 = 3*b - 13*g, 5*b - 5*g = 0. Suppose 3*m - 65 = b*k + 3, -k - 64 = -3*m. Does 10 divide m?
True
Suppose 0 = 6*q - 53 - 49. Let x = q + -98. Is 4 a factor of -1*9/12 + x/(-12)?
False
Suppose 18*o + 35530 = 95*o - 56562. Is o a multiple of 52?
True
Let r be ((-52)/(-6))/(((-40)/15)/(-4)). Suppose -5*w - 130 = -3*v, -r*v = -15*v - 3*w + 93. Is v a multiple of 5?
True
Let g(v) = -4*v**3 - 26*v**2 - 3*v - 46. Let h(o) = o**3 + o**2 + 1. Let j(p) = -g(p) - 5*h(p). Is 3 a factor of j(21)?
False
Let n = -583 + 586. Is 4/1 - (-761 - n) a multiple of 48?
True
Let n(u) = -u**3 + 4*u**2 + 2*u - 8. Let j be n(4). Suppose j = -2*l + 2, -346 = -3*y - 0*y - 4*l. Does 24 divide y?
False
Let p be (1*(-3)/6)/((-2)/12). Suppose 36 = -3*b + p*r, 5*b = -r - 3*r - 33. Is (-110)/(-9) - (-2)/b even?
True
Let a(h) = 60*h + 48. Let n be a(19). Suppose -9*l + 1242 + n = 0. Is 18 a factor of l?
True
Suppose -18*l + 14 = -22. Suppose -5*q + 275 = 5*x, 0*x - l*q - 98 = -2*x. Is 13 a factor of x?
True
Let l(b) = -2*b**2 - 75*b - 137. Is 7 a factor of l(-31)?
True
Let f(c) = 2*c**3 + 5*c**2 - 5*c - 3. Let j be ((-4)/(-5))/((-597)/(-150) - 4). Let k = j - -44. Is 19 a factor of f(k)?
False
Let g be ((-2)/(-4))/(2/56). Let u = 1553 + -1474. Is 16 a factor of (g/(-21) - (-5)/3) + u?
True
Let z = -14087 - -21407. Is 24 a factor of z?
True
Let s(c) = -26*c + 63. Suppose 32 = 40*l - 48*l. Is 2 a factor of s(l)?
False
Is ((-28905)/(-41))/((-4)/(-10) + 8/(-40)) a multiple of 8?
False
Suppose -63*y + 72*y = -12501. Let k = y + 2157. Is 16 a factor of k?
True
Let a(r) = 0 + 177*r**2 + 265*r**3 + 2 - 87*r**2 - 93*r**2. Does 11 divide a(1)?
True
Suppose 26*d = 23*d + 2*s + 2692, 0 = 2*d - 3*s - 1798. Is 56 a factor of d?
True
Is (-18)/4*(-620 - 6) a multiple of 105?
False
Suppose 8*t = 2*t + 18. Suppose -11 + t = -8*v. Is v - (-1)/(1/53) a multiple of 18?
True
Suppose 2*s + 31 = 35. Suppose 5*r + s*m - 2035 = -m, 4*r = -m + 1621. Let t = -224 + r. Does 36 divide t?
True
Let l = -68 + 68. Suppose -4*h - b + 540 = 0, 0 = -4*h - l*h + 4*b + 560. Is 8 a factor of h?
True
Let x be (170/51)/((-2)/(-444)). Let k = -191 + 183. Is 12 a factor of (x/k + 1)*(-8)/6?
False
Suppose 0 = 4*p + 5*l - 33, 5*l = 4*p + 12 + 5. Suppose -p*f + 4*w = 0, -f = -4*f + w. Suppose 5*i - 145 - 25 = f. Is 17 a factor of i?
True
Let v be (-19 + 29)*(-2)/(-20). Is 60 a factor of (312/(-40) - 9)/(v/(-30))?
False
Let t(r) = r**3 - 19*r**2 - 12*r - 31. Let c = -7 - -27. Is t(c) a multiple of 7?
False
Let m = -1436 - -3721. Is m even?
False
Let y = 3149 + 423. Does 94 divide y?
True
Suppose 2*x + 3*x = 45. Let o be 273/x + (-12)/(-18). Let v = -16 + o. Is 2 a factor of v?
False
Suppose 0 = -18*w + 17 + 253. Suppose j = w*j - 11046. Does 17 divide j?
False
Let v = 362 + -1219. Let c = -41 - v. Suppose 144 = -6*u + c. Is u a multiple of 16?
True
Let n(v) = -v**3 - 16*v**2 - 20*v + 8. Let g(z) = z**3 + 15*z**2 + 20*z - 7. Let p(r) = 5*g(r) + 6*n(r). Is p(-20) a multiple of 2?
False
Is (-84)/(-2)*(-306 + 369) a multiple of 9?
True
Suppose -17 = -2*n - 13. Suppose s = 5*z - 23, -n*s + 4*z = -3*s + 13. Is (((-36)/7)/s)/(1/7) a multiple of 2?
True
Suppose 50 = -5*v - 5*s, 3*v + 5*s - 2 + 28 = 0. Is 8 a factor of (v/30)/(4/(-390))?
False
Suppose 8*l - 11 = -19. Let p(x) = -219*x**3 + x**2. Does 29 divide p(l)?
False
Suppose 2158 - 228 = 5*c. Is c a multiple of 3?
False
Let j(v) = -v**3 + 2*v**2 - 21*v + 20480. Does 128 divide j(0)?
True
Let d = -11244 + 14222. Is d a multiple of 19?
False
Let r = 23875 + -15515. Does 47 divide r?
False
Suppose -3*j - 595 = -m, 4*j - 7*j = -3*m + 1773. Is 6 a factor of m + (-2 - (-4 + 2))?
False
Let n(u) = 31*u - 3. Let h be n(2). Let d = h - 56. Is d a multiple of 2?
False
Let h = 37 + -37. Suppose u + 98*d - 102*d - 1612 = h, -3*u + 5*d + 4815 = 0. Is 50 a factor of u?
True
Let c(m) = 9*m - 86*m**2 + 91*m**2 - 7 + 21*m**3 - 22*m**3. Suppose -2*r = 2*b - 8, 4*r + 30 = 4*b + r. Does 4 divide c(b)?
False
Suppose -78*h - 7*h + 178222 = 22077. Is h a multiple of 34?
False
Suppose 5*v = -2*s + 3*s + 2, -5*v = -4*s + 22. Let g be 1/(-2) - 4/s. Is 12 a factor of g/(-1)*56 - -3?
False
Is (-805320)/(-35) - (-3)/(-29 - -8) a multiple of 10?
False
Let c = 858 - -767. Suppose -c = -5*f + 700. Is 14 a factor of f?
False
Let x = 838 - 834. Suppose -5*s - 785 = -3*p - 4*s, x*p + 3*s = 1025. Does 10 divide p?
True
Let a(p) be the third derivative of -p**4/6 - 31*p**3/6 + 13*p**2. Let d be a(-6). Let g(f) = -27*f + 44. Is g(d) a multiple of 25?
False
Let f(i) = 30*i**2 + 2. Let b be f(-2). Suppose -b*d + 18 = -119*d. Let a(m) = 7*m + 9. Does 22 divide a(d)?
False
Let h(q) = 3*q - 52. Let r be h(11). Let i(l) = -l**3 - 19*l**2 - 4*l - 51. Is i(r) a multiple of 11?
False
Suppose 0*y + 10*y = 3120. Is (-208)/y + (-298)/(-12)*2 a multiple of 18?
False
Let y = 54760 - 32151. Is 19 a factor of y?
False
Let c(u) = -u**2 - 15*u - 9. Let k be c(-13). Let n = 60 - k. Let m = n - 14. Is 10 a factor of m?
False
Let z = -332 + 346. Does 6 divide 12*(77/z)/11?
True
Let a(j) = -j**3 - 67*j**2 - 308*j + 122. Let o be a(-62). Suppose -5*t = v + v + 188, -5*v = 20. Is (-3222)/t + o/4 a multiple of 6?
False
Suppose 2*c + 5*s + 310 = 0, 0 = -4*c + 4*s - 129 - 547. Does 4 divide (2 - (c/6)/(-11))*-1208?
True
Let c be 16/(-10)*((-21)/(-6) + -1). Let m(k) = k + 10. Let g be m(c). Does 36 divide 1*g/3 - (-1 + -285)?
True
Let h = 805 + -359. Suppose h = -0*m + m + 2*k, 5*k = m - 474. Suppose 4*s - t - 359 = 0, -5*s + 2*t = 6*t - m. Does 9 divide s?
True
Suppose 4*b - 19 = 2*k + 13, 20 = -5*k. Let i(u) = u**3 + 9*u**2 - 12. Is i(b) a multiple of 44?
True
Suppose 2*g = -5*g + 56. Suppose -3*u - 2 = -w - g, -5*w = 0. Is 11 a factor of (-5)/(-15)*(u - -130)?
True
Suppose 5*g + 15 = 0, -85 = -3*c + 5*g + 464. Let q = 107 - c. Let p = q + 263. Does 12 divide p?
True
Suppose 5*c + j = -19, 5*c - j - j + 22 = 0. Let d(y) = -2*y**3 - 2*y**2 - 15*y - 38. Is 6 a factor of d(c)?
False
Let z = 320 - 248. Let k = z - -87. Is k a multiple of 28?
False
Suppose 65*k + 36*k = 274922. Is 12 a factor of k?
False
Suppose -16*v + 402 = -19*v + 3*y, -2*v + 4*y = 274. Let h = 327 - 127. Let d = v + h. Is d a multiple of 8?
False
Let g(r) = -5290*r**3 - 13*r**2 - 13*r. Is g(-1) a multiple of 115?
True
Let o be 25/6 - 18/108. Suppose 3*n - 1960 = -2*m, 0*m + 3*m = -o*n + 2615. Is 13 a factor of n?
True
Let c(v) = -v**3 - 34*v**2 + 89*v - 660. Is c(-44) a multiple of 48?
True
Let o = -1726 + 3202. Suppose -4*t + 16*t = o. Does 63 divide t?
False
Let b = 110440 - 72761. Is b a multiple of 103?
False
Let b = -5760 - -8445. Is b a multiple of 15?
True
Suppose 2*s + 5*q = 7348, 7*q = -3*s + 9*q + 11060. Is s a multiple of 4?
True
Let d = -329 + 335. Suppose 0 = -d*x - 54 + 954. Is 15 a factor of x?
True
Let m = 115 + 43. Let u = m + 66. Is u a multiple of 8?
True
Let d be (-1)/(3 + 84/(-27)). Suppose 0 = 2*y - d*y + 1694. Does 11 divide y?
True
Let o(k) = k + 3. Let q be o(-1). Let z(y) = 7*y**3 + 2*y**2 + y - 2. Let c be z(q). Let b = -41 + c. Is b a multiple of 14?
False
Suppose -9*s - 25596 = -3*n + 828, -4*s = -16. Is n a multiple of 12?
True
Suppose -12*q + 90 = -3*q. Let i(s) = -s**2 + 8*s + 30. Let u be i(q). Suppose -5*m - 220 = -u*m. Does 31 divide m?
False
Let c = -32 - -32. Let t = -19 - -24. Suppose t*x - 4*x - 53 = c. Does 6 divide x?
False
Suppose 3 = -5*f - 3*w, 0*w = -f - 2*w - 2. Suppose f = -4*n - m + 4096 + 819, -3*n = -2*m - 3689. Does 38 divide n?
False
Is (-6)/45 - (-1176543)/135 a multiple of 16?
False
Let u be 4 + (0 - 0) - 5. Let z = -2 + u. Does 49 divide 94 - (-9)/(-6)*8/z?
True
Suppose -14*s = 19*s - 66. Suppose -3*y + 4*y - s*j - 143 = 0, 2*y - 280 = 2*j. Is y a multiple of 7?
False
Let a = -711 + 1899. Does 36 divide a?
True
Let r(i) = -i**2 + 1. Let n(u) = -2*u**2 + 3*u - 6. Let b(q) = q**3 - 10*q**2 - 10*q - 10. Let s be b(11). Let g(p) = s*n(p) - 3*r(p). Does 12 divide g(4)?
False
Let x(w) = 7*w**2 - 33*w + 10. Let z be x(-14). Suppose 2*d + 3*b = 932, -4*d + 2*b + z = 3*b. Is d a multiple of 10?
True
Let h be 2 + 123/(-18) - (-2)/(-12). Let f(x) = 33*x**2 + 6*x - 5. Let t be f(h). Suppose 8*w - t = 162. Is 7 a factor of w?
True
Does 8 divide (-15)/(-18) - 546/396 - 284710/(-55)?
Tr