e
Suppose -2*o + 2*m + 116 = 3*o, -3*o - 4*m + 80 = 0. Suppose -2*j + o = -5*k, -3*j - 5*k + 13 = -k. Let s(l) = l**3 - 7*l**2 + l + 5. Does 5 divide s(j)?
False
Suppose v - 36 = -q, 2*v = -3*v + q + 192. Is 11 a factor of v?
False
Is 456/(-16)*(-56)/6 a multiple of 14?
True
Let z(v) = v - 2*v - 16*v**2 + 22*v**2 - 1. Let f be z(-1). Suppose -f*h = -2*h - 108. Is 5 a factor of h?
False
Suppose -3*c = -2*c + 18. Let p be (c - (8 + -4)) + 4. Let w = p - -96. Is 13 a factor of w?
True
Let p(q) = -16*q**3 + 2*q**2 - 5*q + 4. Let b(s) = 31*s**3 - 4*s**2 + 9*s - 7. Suppose k + 3 = 6. Let l(j) = k*b(j) + 5*p(j). Is 5 a factor of l(1)?
False
Let p be (3*8/(-60))/((-1)/40). Suppose p = 2*n + d - 3*d, 4*n = -d + 42. Is 2 a factor of n?
True
Let f(v) = 7*v**3 + 71*v**2 - 13*v - 15. Does 6 divide f(-10)?
False
Let h(m) be the third derivative of -m**4/6 - 5*m**3/6 + 5*m**2. Let y(o) = 5*o + 4. Let q(a) = -6*h(a) - 5*y(a). Is 18 a factor of q(-8)?
True
Let z(t) = -t**3 + 3*t**2 + 5*t - 2. Let u be z(4). Suppose 0 = -b + 5*b - 5*c - 195, 39 = b + u*c. Is 15 a factor of b?
True
Let t(n) = 4*n**3 - 8*n**3 + 1 - n**3 + 4*n**3. Let z(h) = 3*h**3 - 7*h**2 + 10*h + 7. Let m(v) = 4*t(v) + z(v). Is m(-9) a multiple of 15?
False
Suppose 23 = -3*w + 5*n, w + 3*n = -0*n - 3. Is 195/((2/w)/(2/(-6))) a multiple of 13?
True
Suppose -3*r - 3377 = -q, 17*q = 12*q - 2*r + 16902. Is 13 a factor of q?
True
Suppose -6*h + 14 = 2. Is 8 a factor of 38 - (-1 + (h - 2) - -1)?
False
Does 5 divide -1 + 14/12 - (-357)/18?
True
Suppose 41*s - 39*s + 294 = 4*m, 5*m - 369 = 4*s. Does 4 divide m?
False
Let d(o) = -o**3 - o**2 - o - 1. Let v be d(-2). Let b(p) = -p**3 + 6*p**2 - 6*p - 7. Let a be b(v). Let g = 33 + a. Does 15 divide g?
False
Suppose 0 = c + 4*h - 294, c = 2*h + 2*h + 262. Suppose 0 = 10*x - 1118 + c. Is x a multiple of 14?
True
Let p(d) = -5*d - 5. Let g(x) = -14*x - 14. Let l(h) = 4*g(h) - 11*p(h). Suppose 0 = -5*n + 46 - 21, -4*n + 60 = -4*j. Is 3 a factor of l(j)?
True
Let n = -9 - -33. Is 25 a factor of (n/20)/((-6)/(-620))?
False
Does 5 divide (-77330)/(-444) + (22/12 - 1)?
True
Suppose -133 + 3 = -5*v. Let d be (-34)/221 + (-48)/v. Does 5 divide (-1)/d - 58/(-4)?
True
Let g = 62 - 132. Let o = g - -133. Does 9 divide o?
True
Does 14 divide ((-1)/2*6 - -3) + 264?
False
Let q(o) = o**3 - 21*o**2 + 2*o + 22. Suppose 0 = 3*h + 2*u - 53, -47 = -5*h + 4*u + 78. Does 13 divide q(h)?
False
Let f(y) = -y**2 + 8*y + 5. Let s be f(9). Does 12 divide -2 + 46 + s - 4?
True
Suppose -18 = -3*x - 6. Suppose -s + 175 = 2*r + 57, -4*r = x*s - 236. Is 17 a factor of r?
False
Suppose 4*z - 296 = 464. Let m = z - 136. Is m a multiple of 54?
True
Let o = -2484 - -2875. Is o a multiple of 40?
False
Suppose 0 = 3*s + 3*s + 168. Let b = 48 + s. Does 10 divide b?
True
Is 9 a factor of 207*((-10)/5 - -3)?
True
Let m = 84 + -82. Suppose 5*v - 2*v = p - 35, 0 = p + m*v - 10. Does 10 divide p?
True
Suppose 0 = -7*a + 263 - 11. Suppose -3*l + 2*x + 44 = l, 3*l - 5*x - 26 = 0. Suppose a - l = w. Does 9 divide w?
False
Let m = -118 + 111. Let k(u) = 8*u**2 + 12*u + 16. Does 13 divide k(m)?
False
Suppose 1089 + 381 = 10*f. Suppose -10*g + f = -63. Is g a multiple of 21?
True
Let d be 2/(-7) + (-2832)/(-14). Suppose -902 = -4*w + d. Is 9 a factor of 1/(-5) - w/(-30)?
True
Suppose 4*p + 120 = c, 3*c - 320 = -14*p + 18*p. Suppose -3*v + 131 + c = 0. Is 11 a factor of v?
True
Let m(y) = -8*y**3 - 20*y**2 - 115*y + 13. Is m(-7) a multiple of 9?
False
Let l be (-3)/(3/5 - (-24)/(-32)). Suppose -l*v + 102 = -17*v. Is v a multiple of 4?
False
Let i = 4 + 1. Let t be (-6)/(-2) + i + -16. Does 9 divide (42/t)/((-2)/8)?
False
Suppose 0 = -17*d - 22729 + 75089. Is 110 a factor of d?
True
Let p = 417 - 15. Is p a multiple of 7?
False
Let v(n) = 2*n**2 - 13*n - 7. Let u be v(7). Suppose u = -3*t + 142 + 344. Does 18 divide t?
True
Suppose 2*q + 10 = 2. Does 9 divide (0 - q/2)*3519/46?
True
Let b be ((-20)/(-30))/(-2*(-1)/(-6)). Let w(k) = -12*k**3 - 2*k**2 - 3*k - 2. Is w(b) a multiple of 12?
False
Let t(d) = d + 2. Let g be t(-2). Let j be (0 + -1)*((0 - -5) + 10). Let k = g - j. Does 5 divide k?
True
Let n = -468 + 721. Is n a multiple of 11?
True
Suppose 3*z + 3 + 18 = -3*j, -3*j + 2*z = 36. Does 20 divide j/2 + (-15 - -57)?
False
Let n be (-1)/(-2)*(4 + 30). Suppose -5*w = 4*q - n, -q + 0 = -w - 2. Is q even?
False
Is 14 a factor of (755 + -9 - 12)*6/4?
False
Let h(n) be the first derivative of -13*n**2/2 - 10*n + 20. Is h(-7) a multiple of 20?
False
Let j = -15 - -18. Suppose 0*r = j*r + 15. Is (-249)/r + 10/50 a multiple of 25?
True
Suppose 3*w - 5*q + 2 = 42, 4*q + 25 = w. Suppose -2*m - m + 390 = w*h, 0 = -4*h. Does 13 divide m?
True
Let d be (-2)/(-11) - 72/33. Let y be 1/d + 195/10. Suppose -g = -y - 11. Does 14 divide g?
False
Suppose 6*c - 1134 = 1806. Is c a multiple of 49?
True
Let s(r) = -11*r. Let t = 16 + -17. Is 11 a factor of s(t)?
True
Let z be (-7)/(-21)*0/(-2). Suppose z = 2*l + 3 - 1. Is 5 a factor of -14*l/(-2 + 3)?
False
Let m = -26 + 15. Let f = 6 + m. Is 15 a factor of 45*(f/(-3) + -1)?
True
Suppose 0 = 5*z - 5*d - 9615, -5*z + 7526 + 2095 = d. Is 8 a factor of z?
False
Suppose 26*k + 3 = 27*k. Suppose k*l - 93 = -0. Is l a multiple of 6?
False
Let a be (2/5)/(2/(-10)). Let s(i) = -i**2 + 6*i - 5. Let v be s(3). Let x = v - a. Is x a multiple of 2?
True
Suppose 6*f + 702 = 15*f. Let q = 126 - f. Is 40 a factor of q?
False
Suppose -4*h + v = -1927, 11*h - 12*h + 5*v + 458 = 0. Is h a multiple of 21?
True
Is -12*(79 - 4)*2/(-6) a multiple of 5?
True
Let l(z) be the first derivative of 4*z**3/3 + z**2 - 4*z - 13. Is 25 a factor of l(4)?
False
Let w = 208 - 8. Is w a multiple of 20?
True
Let r(s) be the second derivative of 2*s**5 + s**4/12 - s**3/3 + s**2 - 16*s. Is 6 a factor of r(1)?
False
Let h = 2 + 66. Suppose v + h = 3*v. Is v a multiple of 8?
False
Is 3 a factor of (-31)/(9/72*-2)?
False
Suppose 0*k - 3*k + 9 = 0. Suppose 5*y - 3*p - 22 = y, 5*y - k*p - 26 = 0. Suppose -y*w - 3 = -43. Is w a multiple of 10?
True
Let z = 39 + -15. Suppose -2 - 2 = -m, p - z = 3*m. Is 4 a factor of p?
True
Does 23 divide (4/7)/((-144)/(-127512))?
True
Let m = 341 - 269. Is m a multiple of 18?
True
Let i(f) = -610*f + 417. Is i(-4) a multiple of 18?
False
Let i be -4*(14/8 + -2). Let k = 31 - i. Does 8 divide k?
False
Let y(w) = -2*w**2 - 15*w - 4. Let j be y(-7). Suppose -802 = -5*c + 4*m, 4*c - j*m - 620 = -7*m. Is 16 a factor of c?
False
Suppose 3*w + 16*o - 12*o = 487, -4*o = -5*w + 833. Is 11 a factor of w?
True
Suppose 2*n = 5*l + 1182, -2*n + 0*l + l = -1190. Is 17 a factor of n?
False
Let d(g) = -59*g**2 - g**3 + 50*g**2 - 2*g + 1 - 1 - 1. Is 9 a factor of d(-9)?
False
Let u = -1144 - -2146. Is u a multiple of 47?
False
Let g be (0 - -6) + 3/(-1). Let s(z) = 2*z**3 + 5 - 1 - 3*z**g. Is 31 a factor of s(-3)?
True
Does 10 divide 5883/21 - (18/42)/3?
True
Let w = -79 - -78. Is (-1848)/21*(w - 2/(-4)) a multiple of 19?
False
Suppose 0 = 24*w + 39*w - 18585. Is 74 a factor of w?
False
Suppose 740*l = 733*l + 9086. Does 59 divide l?
True
Suppose -5*c + 3*t - 2*t + 10161 = 0, -3*t + 2029 = c. Suppose 14*h + 352 = c. Is 15 a factor of h?
True
Let r = -61 + 52. Is 6 a factor of -1*1*369/r?
False
Let s be 152 - 0 - (-8 + 13). Suppose s - 1017 = -5*o. Is o a multiple of 58?
True
Let q = 263 - 119. Is 8 a factor of q?
True
Let t(f) = f**3 + 6*f**2 - 5. Let d be t(-6). Let c = 9 + d. Suppose c*l + l = 4*x - 169, -5*x - 5*l + 155 = 0. Is x a multiple of 13?
False
Let p(u) be the second derivative of -u**3/3 + 17*u**2/2 + 18*u. Is 26 a factor of p(-11)?
False
Suppose -3*n + 3*j + 15 = 0, -j = 3*n - 1 - 14. Suppose 6 = n*k - i, 6 + 14 = 5*i. Does 16 divide 33 + k + -4 + 1?
True
Suppose -7*q = 979 + 2339. Let z = q + 663. Does 21 divide z?
True
Is 25 a factor of ((-5)/10)/(6 - (-14245)/(-2374))?
False
Let j(w) = w - 6. Let m be j(7). Let q = 4 + m. Suppose 12 = -p + q*p. Does 2 divide p?
False
Let j = -37 - -39. Is 20 a factor of ((-92)/16)/(j/(-8)) + -3?
True
Let d = -61 - -114. Suppose -2*p + 4*f = -26, -d - 60 = -5*p - 2*f. Suppose 5*a - p = 4*a. Does 6 divide a?
False
Suppose 0 = -4*y + 4*p, 0*p + 2 = p. Suppose y*q - 204 = 5*l, 4*q - 355 = -l + 97. Is 8 a factor of q?
True
Let v(y) = -y**3 - 11*y**2 -