
False
Let l(r) = -r**2 - 121*r - 918. Does 8 divide l(-83)?
False
Suppose 5*l - 30089 = 31*w - 29*w, -5*w + 18041 = 3*l. Is 40 a factor of l?
False
Let v(s) = -s**2 + 2*s - 5. Let x be v(2). Let n(k) = -11*k + 11. Let t be n(x). Is 17 a factor of 136/(8/(-2)*(-11)/t)?
True
Suppose 0 = 4*n + 16, 2*b + 1640 = 8*b + n. Is 4 a factor of b?
False
Suppose -24*x + 3899 = -1165. Suppose 2*a - 273 = x. Is a a multiple of 22?
True
Suppose 39*v - 36270 = 9*v. Let q = v - 579. Is 42 a factor of q?
True
Suppose 5*g + 164046 = 62*g. Is 22 a factor of g?
False
Let x = 41 - 81. Let h = x - -42. Suppose 2*f = t - 52, h*f = -f - 3. Does 12 divide t?
False
Let s be 45/(-9)*(-86)/5. Suppose 5*p + 5 + 140 = 3*u, -s = -2*u - 2*p. Suppose -2*l = u - 185. Is 14 a factor of l?
True
Is (-95748)/(-22) + (60/(-45))/(154/21) a multiple of 177?
False
Suppose -1778 = -73*t - 83*t + 2278. Suppose -213 = -x - 52. Suppose x + t = h. Is h a multiple of 28?
False
Let h(j) = -117*j + 4. Let x be h(-7). Let k = -420 + x. Is k a multiple of 31?
True
Suppose 0 = 5*r - g - 21478, -19*r = -14*r - 3*g - 21474. Is r a multiple of 24?
True
Suppose -44*w + 4860 = -12564. Is w a multiple of 11?
True
Let w(y) = 846*y + 644. Is w(6) a multiple of 52?
True
Let x be 17 + -13 + -3*6/(-9). Let o be (-6)/(-3)*-2 + x - -486. Let z = -324 + o. Does 17 divide z?
False
Suppose 88206 = 274*b - 255*b - 102592. Is b a multiple of 80?
False
Let d be (5/(-3))/(-2 - (-77)/66). Suppose -d*f = 4*f - 2100. Is f a multiple of 10?
True
Let c(k) be the third derivative of -163*k**6/120 - k**5/15 - k**4/8 - k**3/6 - 34*k**2. Does 26 divide c(-1)?
False
Let a = 48 - 44. Let i(n) = 3*n + n + 27 - 2*n - a*n. Does 3 divide i(0)?
True
Suppose 19*m - k - 48 = 18*m, 3*m = -5*k + 104. Suppose -14*f = m*f - 21888. Is 16 a factor of f?
True
Let y(s) = s**2 + 13*s + 41. Let r be y(-21). Let f = -22 + r. Is f a multiple of 4?
False
Suppose -4*l + 131046 = -52*f + 49*f, 3*l + 2*f = 98276. Does 56 divide l?
True
Suppose -96*c + 99*c = 780. Let o = c + -212. Is o a multiple of 8?
True
Let l(o) be the first derivative of o**4/2 + 4*o**3 + 3*o**2/2 + 10*o - 7. Let p be l(-6). Is (p - 20/(-5)) + 144 a multiple of 20?
True
Let z = 702 + -1286. Let o = z - -951. Does 8 divide o?
False
Let z = 9436 - -18076. Is 8 a factor of z?
True
Let u(v) = v**3 + 6*v**2 + 13*v + 22. Let f be u(-4). Does 12 divide -8*25*((-3)/f + 0)?
True
Suppose 4*h + 4*a - 781 + 281 = 0, 251 = 2*h + 3*a. Let m = h - 35. Is m a multiple of 13?
False
Suppose -66 = 10*d - 336. Suppose 38*u - 1265 = d*u. Is 23 a factor of u?
True
Let g = 11259 - 6963. Is g a multiple of 31?
False
Let r = 3730 + -2078. Suppose -r = -4*k - 0*k. Is 36 a factor of k?
False
Let n(v) = 4*v**2 + 40*v + 1. Suppose 15*w - 4*o - 48 = 17*w, 2*w + 30 = 5*o. Does 12 divide n(w)?
False
Let i(w) = 5*w + 3. Let a be i(0). Let f be 15/12*(1 + (6 - a)). Suppose -4*q - 372 = -f*j, -2*j - q + 141 = -0*q. Does 12 divide j?
True
Let c be 9*(6 - 7)/(-1 + 4). Does 4 divide (6/(-5 + -1))/(c/129)?
False
Suppose -q = -g - 53, q + 163 = 4*q - g. Let u = -8 + q. Let i = u - -3. Is i a multiple of 12?
False
Suppose -25*r + 1492 = -24*r. Is r/8 - 15/(-30) a multiple of 6?
False
Is 7 a factor of (16390/(-15))/(-7 + (-1870)/(-270))?
False
Let s = -377 + 829. Let b be 13/(-52) + 26/8. Suppose -2*l = -4*a + s, b*a + a = -l + 446. Is a a multiple of 16?
True
Let c(r) = 3*r**2 + 4*r + 14. Let a = 68 + -63. Suppose -a*y = -0*y - 25. Is c(y) a multiple of 20?
False
Suppose 0 = v + 2*j - 8139, 4*j = 571*v - 567*v - 32580. Is v a multiple of 25?
False
Let l = 1660 - 1658. Let c(r) = -4*r**2 - r**2 + 3 + 6*r**2. Does 2 divide c(l)?
False
Suppose 1258884 = 366*l - 267*l. Is l a multiple of 11?
True
Let j(d) = d**3 - d**2 - 5*d + 2. Let m be j(3). Let l be 6*-40*(-4)/192. Suppose l*v = -m*i + 3*i + 428, -v = -5*i - 64. Is 28 a factor of v?
True
Let c be ((-1)/(12/(-597)))/((-7)/(-28)). Let j = 287 - c. Is 8 a factor of j?
True
Let h(z) = -z**3 + 33*z**2 - 55*z - 25. Let b = 125 + -94. Does 17 divide h(b)?
False
Suppose -p + 24*p - 21461 = l, -l - 2801 = -3*p. Is 6 a factor of p?
False
Let a(b) = -b**3 + 9*b**2 - 4*b - 10. Let h be a(-9). Suppose -21*r - 1208 = -25*r - 2*u, 4*u = 5*r - h. Does 12 divide r?
True
Let f be 0 + 1305 + (-12)/(-24)*-10. Suppose 13*l - f = -0*l. Does 5 divide l?
True
Let c(i) = 21*i**3 - i**2 - i + 2. Let z be c(1). Let j be (z/(-35))/((-1)/(-10)). Is 20 a factor of (2 - 17)/(j/16)?
True
Is 100 a factor of (-13)/(91/42) - 68101/(-11)?
False
Let u(z) = z**2 - 6*z + 6. Let j be 9*((-1)/2)/((-3)/(-4)). Let f(c) = c**3 + 5*c**2 - 7*c - 13. Let v be f(j). Is u(v) a multiple of 11?
False
Let p(s) = 28*s + 8*s**2 + 77*s**2 - 29*s. Is 7 a factor of p(1)?
True
Let y be (-300)/(-125) - (-4)/(-10). Suppose -15 = 5*q, -2*i + y*q + 101 = -247. Does 57 divide i?
True
Let x(t) = t**2 + 18*t - 62. Let v be x(6). Let f = 286 - v. Does 11 divide f?
False
Let m(f) = 109*f**3 + 2*f**2 + 28*f - 267. Does 13 divide m(7)?
True
Let i(v) = -v**3 - 20*v**2 - 22*v - 52. Let n be i(-19). Does 17 divide 339/n + ((-31)/(-5) - 6)?
True
Let g(j) = -65*j - 1146. Does 217 divide g(-41)?
True
Suppose 4*b = u - 4*u + 5750, 5754 = 4*b + 5*u. Suppose i + 440 = b. Suppose 2*c + 7*k - 404 = 4*k, -5*c = 4*k - i. Is 28 a factor of c?
True
Is 73 a factor of 4245*((-1)/(-4))/(((-14)/2)/(-28))?
False
Suppose 0 = -5*w + w + 4*c - 656, 2*w = 4*c - 318. Let f = 339 + w. Is f a multiple of 17?
True
Let k(i) = 19*i - 1. Let w be 106/(-5) + (3 - (-42)/(-15)). Let x = -20 - w. Is k(x) a multiple of 18?
True
Suppose -6*r + 2*r + 51*r - 72333 = 0. Is r a multiple of 9?
True
Let l(v) = -2*v + 9. Let o be l(2). Suppose o*j + 104 - 10 = 2*m, 2*m + 4*j - 76 = 0. Is 6 a factor of m?
True
Suppose -11*z + 9599 = -1302. Does 45 divide z?
False
Let u be 0/(3 - (2 - 0)) - -71. Suppose 45*i - 44*i - u = 0. Let f = 101 - i. Does 6 divide f?
True
Let q be (21 - 15) + 1*8/(-2). Suppose -3*l = -l - 2*t - 404, 2*l - 424 = -q*t. Does 11 divide l?
False
Let o = 141 - -844. Is 4 a factor of o?
False
Does 17 divide (275/(-10))/(71/(-49132))?
False
Let h(u) be the third derivative of 0 + 6*u**2 + 11/2*u**3 + 0*u - 1/24*u**4 - 1/60*u**5. Does 17 divide h(0)?
False
Let t = -63 + 66. Suppose -2 = -t*w + 7*b - 5*b, -5*b = -25. Does 4 divide w?
True
Does 4 divide (1188/(-693))/((-3)/3598)?
True
Let b be (3/(-3))/(1/407). Let r = b + 610. Is r a multiple of 16?
False
Let n be 2/(-6) + 4/(36/(-15)). Let b be (25/(-2))/((-1)/n). Let m = 47 + b. Does 11 divide m?
True
Let f(t) = 58*t**2 + 69*t + 1889. Is 11 a factor of f(-26)?
True
Suppose 18*w - 25*w = 35. Let y be -27*((-4)/20)/((-3)/w). Does 18 divide (-3073)/(-28) - (y/12 - 1)?
False
Let u(y) = 5*y + 11. Let b be ((-5)/5)/(4/(-52)). Does 58 divide u(b)?
False
Let l = -25900 - -48916. Is 168 a factor of l?
True
Suppose 4*l + 12 = 2*r + 3*l, -l + 4 = 0. Let n(o) = 103*o - 73*o - r + 2. Is 28 a factor of n(3)?
True
Let f(j) = 12*j + 2019. Is 9 a factor of f(0)?
False
Let p(d) = 45*d**2 + 82*d - 93. Does 2 divide p(-9)?
True
Let r = -325 - -1549. Suppose -1601 = -5*o + r. Is 57 a factor of o?
False
Let n(k) = 92*k + 9. Let m(v) = 17*v - 45. Let s be m(3). Is n(s) a multiple of 11?
True
Let n(o) be the second derivative of o**4/3 + 3*o**3 - 9*o**2/2 + 55*o + 1. Does 14 divide n(-11)?
False
Let p(v) = v**2 + 29*v + 118. Is 24 a factor of p(-41)?
False
Suppose 0 = b - 13 - 1. Let w be (-32)/(-112) - 130/b. Is 75/w*(5 + -20) a multiple of 9?
False
Suppose s + 3*p = 5, 24*s + 6 = 22*s + 2*p. Does 32 divide (-4 - -115)*2 + 3 + s?
True
Let o(s) = 5*s**2 - 39*s + 962. Does 8 divide o(-46)?
True
Suppose 62 = -13*t + 12*t. Let i = t + 155. Is i a multiple of 2?
False
Does 23 divide (-9)/((-54)/(-27255))*-2?
True
Let j = 81518 + -35327. Is 53 a factor of j?
False
Suppose 29*x - 58*x + 618936 = 45*x. Is 41 a factor of x?
True
Let x(v) = v**2 + 24*v - 36. Let n be x(9). Suppose -5*q + 304 = -3*y + 27, 5*q = -y + n. Does 9 divide q?
False
Let b = 17093 + -16927. Suppose -5*t + 318 = -652. Suppose -6*z = -t - b. Is 9 a factor of z?
False
Let t = 2041 + 961. Suppose 10*n - t = -9*n. Is n a multiple of 14?
False
Does 94 divide 36/144*-2820*346/(-5)?
True
Let i be (-1)/5 - 346/(-5). Suppose -3*j + 129 = -i. Suppose -3*u - 4*v + 241 = 0, -3*u - 