 - ((-2052)/(-8))/9). Let l = 71 - t. Is l a multiple of 64?
True
Let z = 63 + -57. Suppose -5 = -7*j + z*j. Is 4 a factor of 2/j + 3366/85?
True
Let z = -85 - -87. Suppose 5*l + z*j = 1367, 3*l + j - 1004 = -183. Is l a multiple of 15?
False
Let o = -6587 - -7870. Is o a multiple of 2?
False
Let q(i) = -259*i + 11536. Is 14 a factor of q(0)?
True
Suppose -v = 3*x - 7*x - 20, 5*x = -4*v - 4. Suppose -5*c + 15*l = 13*l - 1251, -4*c = v*l - 984. Is c a multiple of 5?
False
Suppose -142*d + 148*d - 2274 = 0. Suppose d = 25*p - 2096. Does 20 divide p?
False
Suppose -13380 = -2*r + 134*p - 138*p, -3*p = -18. Is r a multiple of 63?
True
Let w = -361 - -372. Suppose 3*l + w*b - 10*b - 1325 = 0, -3*l = 3*b - 1323. Is l a multiple of 17?
True
Let y(h) = 4*h - 22. Let q be y(9). Let w be ((-32)/6)/2*(-21)/q. Suppose -m - 185 = -5*v, w*v - 89 = -4*m + 83. Is 7 a factor of v?
False
Let g(l) = 8*l**2 - 24*l - 147. Is 25 a factor of g(17)?
False
Let k = -2378 - -3053. Is k a multiple of 8?
False
Let p(q) = 9*q**2 - 286*q + 171. Is 47 a factor of p(55)?
False
Let c(i) = -i**3 - 5*i**2 - i - 4. Let w be c(-5). Let u(v) = 2*v + 7. Let q(b) = -34*b + 40. Let l(g) = -q(g) + 5*u(g). Is l(w) a multiple of 13?
True
Let z = -1837 + 1842. Let i be (-6)/8*2*4. Does 9 divide ((-4)/i)/((z - 2)/81)?
True
Let c(i) = -166*i - 2. Let g be c(1). Let j be (4/12)/(2*4/g). Let s(w) = -4*w + 17. Does 9 divide s(j)?
True
Suppose 5 = -5*o - 7*f + 3*f, -5*f = -5*o + 40. Suppose -g = -2*h - 56 - 851, 1835 = 2*g + o*h. Does 11 divide g?
True
Let p be (90/35)/(((-30)/28)/5). Let j be -1*34*(-18)/p. Let b = 129 + j. Is b a multiple of 26?
True
Let d(j) = 1021*j - 58. Does 114 divide d(34)?
True
Suppose 3*a - 3*d - 5604 = 0, 125*d - 120*d = 20. Does 9 divide a?
True
Let r = 28 + -30. Let w be (4/(-2))/((-1)/r). Is (-2 - (w - 65)) + 2 a multiple of 12?
False
Let d(u) = -13 - 8*u + 5 - 4*u**2 + 2*u**2 + 1. Let z be d(-2). Suppose 2*n + 3 - z = 0, 5*f - 3*n = 463. Is f a multiple of 23?
True
Let r(c) = 2153*c**2 + 831*c + 1656. Is 8 a factor of r(-2)?
False
Is 3 a factor of (25050/(-100))/((-3)/18)?
True
Suppose 17*p - 16*p - 34878 = -15*s, 2*p = -s + 69843. Does 17 divide p?
False
Suppose -60 = -s + 3*a, -s + 6*s + 5*a = 320. Does 4 divide 3 + 72/(-21) - (-5382)/s?
False
Suppose 21*z = 19*z - 6. Is 3 a factor of (13/((-312)/16))/(z/423)?
False
Let y(l) be the third derivative of l**4/4 + 215*l**3/6 - 12*l**2 + 8. Is 37 a factor of y(36)?
False
Let d(v) = -v + 2. Let z be d(0). Suppose z*l - 1 = 7, -48 = 4*s + 5*l. Let g = 49 + s. Is 16 a factor of g?
True
Let r be 4 + -4 + (20 + -1 - 7). Is 16 a factor of (r/(-36))/(1753/(-1752) + 1)?
False
Let s be (((-112)/12)/(-14))/((-4)/18). Let h(p) = -13*p**3 - 5*p**2 - 3*p + 9. Does 36 divide h(s)?
True
Let p(f) = 25*f + 213. Let q be p(6). Let y = -119 + q. Is 12 a factor of y?
False
Let z = 79 - 77. Suppose -3*j + z*o + 2396 = 0, 0 = -4*o + 7*o - 6. Does 100 divide j?
True
Suppose 29 + 25 = -3*p - 3*v, 4*v = 2*p + 24. Let n(a) = -2*a**2 - 33*a - 14. Let d be n(p). Suppose -22 = -d*y + 64. Is y a multiple of 43?
True
Does 22 divide 16824/14 + 22/77?
False
Let q(x) = x**2 - 15*x - 14. Let w be q(15). Let j = -9 - w. Suppose -j*z + 101 = -2*r, 7*z - 3*z + 4*r = 64. Does 19 divide z?
True
Suppose j + 3*g - 855 = 0, -225*j - 2*g = -223*j - 1730. Is 6 a factor of j?
True
Let j = -218 - -215. Is 2 a factor of ((-25)/j)/(6/(-36)*-2)?
False
Let y(n) = 22*n**3 - 6*n**2 - 11*n + 31. Is 98 a factor of y(9)?
True
Let p(c) = c**3 + 17*c**2 + 15*c - 13. Let v be p(-16). Suppose -v*u + 666 = -3*q, 2*q - q + 873 = 4*u. Suppose u = -5*m + 797. Is 29 a factor of m?
True
Let i = -42 - -48. Let q(m) = 5*m**2 + i*m + 8 - 6*m - 9*m**2 + m + m**3. Is 12 a factor of q(4)?
True
Let h(o) = 3*o**3 - 25*o**2 + 16*o - 120. Is 10 a factor of h(10)?
True
Let f = 921 + -310. Is f a multiple of 10?
False
Let z(v) be the third derivative of v**6/120 - v**5/10 - v**4/8 + v**3/3 + 6*v**2 + 3*v. Let m = 5 - -2. Is z(m) a multiple of 5?
True
Let s(c) = -188 - 168 + 325 - 39*c. Is s(-7) a multiple of 4?
False
Suppose 227796 = 4*g + 31*x - 25*x, -x = -5*g + 284694. Is 17 a factor of g?
False
Suppose -2*m - 6114 = 6*p - 8*p, 6*p + 4*m - 18302 = 0. Is p a multiple of 34?
False
Suppose -21*f + 26*f = -2*j + 5475, 3*f - 2736 = -j. Is j a multiple of 5?
True
Let j be -7 + (-35)/(-7) - 1172/(-2). Suppose 290*z - 292*z = -j. Is z a multiple of 20?
False
Suppose -77*o + 31949 = -73*o - 9*c, -4*o = -2*c - 31998. Is 151 a factor of o?
True
Suppose -t = 3*h + 3, 3*h = -4*t - 1 - 2. Let f be 74 - -1*(h + 2). Is 28 a factor of (-1 - 2)*(-4900)/f?
True
Is 6/16 + (-2251652)/(-1696) a multiple of 8?
True
Let m(w) = -101*w - 545. Is 9 a factor of m(-52)?
True
Suppose i = -i - 5*o - 31, 0 = 5*i + 4*o + 69. Let z = i + 15. Suppose -y - c = z*c - 12, 5*c - 8 = -y. Is y a multiple of 3?
True
Suppose -152*z - 527 = -2*s - 149*z, 4*z + 1044 = 4*s. Is 104 a factor of s?
False
Let h(c) = c**3 + 8*c**2 + 15*c + 20. Let v be h(-6). Suppose 0*w - v*w + 3*b = -114, 0 = 2*w + 4*b - 114. Does 6 divide w?
False
Suppose -3*u + 4*r = 110 + 138, -3*u = -2*r + 238. Let x = 59 + u. Let t = x - -51. Is 13 a factor of t?
False
Let v = 316 - -3853. Does 70 divide v?
False
Let s(i) = i**2 - 3*i - 1. Let n be s(-1). Let k be -5 + (2 - (-9)/n). Suppose -a + 69 + 55 = k. Is 6 a factor of a?
False
Suppose 5*a + 2*v + 1514 = 240, 0 = 4*a - 2*v + 1012. Let f be a/9 + (-8)/(-36). Let g = 77 + f. Does 9 divide g?
False
Let v(d) = 61*d + 37. Let s be ((-36)/(-21))/(4*(-2)/(-28)). Let i be v(s). Let z = i - 219. Does 28 divide z?
False
Let l(p) = -4*p**3 - p**2 - p + 1. Let m be l(3). Does 54 divide 1*-46*m/14?
False
Let v(o) = 550*o - 1022. Is 67 a factor of v(6)?
True
Let j(g) = g**2 - 29*g + 188. Let y be j(35). Let p = -334 + y. Is 4 a factor of p?
True
Suppose 2*h + 4990 = 2*q, q - 5*h - 210 = 2289. Does 5 divide q?
False
Suppose 5*f - 5151 = -2*h, 4*h - 2038 = -2*f - 0*f. Does 21 divide f?
False
Let t be 18*(1 + (-6)/4). Let i(b) = 30*b + 29. Let l(u) = 88*u + 86. Let q(c) = 17*i(c) - 6*l(c). Is 21 a factor of q(t)?
False
Let d be 4/(-6)*(-225)/(-150). Is 65 a factor of d/4 + 54615/60?
True
Suppose 28*f + 3*f - 610266 = -31*f. Does 17 divide f?
True
Suppose -557*c - 3*p = -556*c - 10164, -2*c = -p - 20377. Is 35 a factor of c?
True
Let w(n) = -n**2 - 15*n - 24. Let v be w(-13). Suppose l = -v*c + 39 + 42, 177 = 4*c - 3*l. Is c a multiple of 3?
True
Suppose 12*j - 296720 = 7*j - 2*d, 0 = -3*j + 17*d + 178123. Is 27 a factor of j?
True
Let p = 849 + -2262. Let k = 2127 + p. Is 31 a factor of k?
False
Let m = 264 - -272. Is 24 a factor of (-11 - (-5 - -2)) + m?
True
Let r(i) = -73*i + 58. Let p be r(-8). Suppose 3*f - p = -3*a, -5*f + 8*f + a = 646. Is 13 a factor of f?
False
Let l = 362 - 267. Let i = l + -14. Is 9 a factor of i?
True
Let u(w) = 35*w + 2. Let y be u(9). Suppose 5*a - y = 123. Is 8 a factor of a?
True
Let q(g) = 254*g**2 - 2*g - 14. Does 103 divide q(3)?
True
Let w be (-4)/20 + (-156)/(-5) + -1. Suppose -35*g + 25 = -w*g. Suppose 5*v = -g + 105. Is 6 a factor of v?
False
Let b = 74 + -70. Suppose 4*m + b = 0, y + m - 564 = -4*y. Is 6 a factor of y?
False
Let u(k) = k**3 - k**2 + 7*k + 11264. Does 16 divide u(0)?
True
Let z(l) = 414*l**2 - 66*l - 212. Is z(-3) a multiple of 4?
True
Suppose 4*h - 3*w = 38, -4*h + 4*w + 0*w = -40. Suppose -9*d - h*d + 85 = 0. Suppose -d*s - i = -1038, -4*i - 198 = -s - 9*i. Does 21 divide s?
False
Let j = 2 - 166. Is (-899)/13*-1 - j/(-1066) a multiple of 58?
False
Suppose -b = 2*x - 3*b - 202, x - 5*b - 109 = 0. Let s = 101 - x. Suppose 0 = -s*g + 72 - 6. Does 17 divide g?
False
Suppose 156*b = 145*b + 1727. Let i = b + 263. Is 28 a factor of i?
True
Does 95 divide ((-4)/(-6))/((-38)/658635*-5)?
False
Let p(a) = -79*a**3 - 4*a + 3*a - 16*a**3. Let k be p(-1). Suppose 0 = -2*t + t + k. Is t a multiple of 16?
True
Let b(c) = 0*c - 2*c + 3*c + 1. Let n be b(2). Suppose 0 = -6*j + n*j + 36. Is 3 a factor of j?
True
Let d(z) = 30*z**2 - 3*z - 5. Let i be d(-4). Suppose 485 = 5*l - 5*y, 0 = -5*l - 0*y + 4*y + i. Is 3 a factor of l?
True
Let q(u) = -u**2 + u - 166. Let d be q(0). Suppose 3*r - 150 = j - 438, r + 294 = j. Let k = j + d. Is k a multiple of 32?
False
Suppose 0 = -3*c - 34 