e 2/9 - (52/(-9) - -2). Suppose 5*g + 2704 = 3*j - 2367, u*j - g - 6767 = 0. Is 18 a factor of j?
True
Let v(p) = 2*p**2 - 62*p - 16. Let a be v(31). Let i = a + 80. Does 3 divide i?
False
Let h(t) = 3720*t - 4217. Does 17 divide h(11)?
True
Let t be (-6 - -3) + 8 + -2. Let r = 14 - t. Suppose -2*c + 23 = -r. Does 2 divide c?
False
Suppose 0 = -5*s - 3*x + 67 + 6, 2*s = 2*x + 42. Suppose -2631 + 9346 = s*d. Does 11 divide d?
False
Let o(k) = 10*k**2 - 10*k + 49. Suppose 37*m - 30*m = 70. Is o(m) a multiple of 52?
False
Suppose -3*x + 5*v + 10 = 0, x - 3*v + v - 2 = 0. Is -4 + (-93*x/(-15) - 2) a multiple of 56?
True
Let x = 415 - 436. Does 7 divide (-7936)/x + 60/630?
True
Let d(i) = 3*i**2 + 9*i - 7. Let u be d(-5). Suppose -u*s = -15*s - 3880. Is 10 a factor of s?
False
Let l(i) = -7835*i - 1972. Does 41 divide l(-2)?
False
Suppose 93*v - 1515167 - 1123243 = 0. Is v a multiple of 67?
False
Suppose 503 + 785 = t - 2*q, t + 3*q - 1293 = 0. Is t a multiple of 10?
True
Let z(l) = 2*l - 44. Let b be z(24). Is 7 a factor of ((-10)/b)/(32/(-4928))?
True
Suppose -o - 5*t = -0*t + 70, 0 = 5*t. Let q = o + 69. Is 84/(q*(0 + -1)) a multiple of 10?
False
Suppose -266*a - 2393 = -268*a + 3*b, 4*b = -4*a + 4736. Does 29 divide a?
True
Let r be 17/9 + (-2)/(-18). Suppose 0 = -s - r*t + 9, 4*s - t - 14 = 2*t. Does 5 divide (90/3)/(5/s)?
True
Let n = -41 - -46. Suppose -123 + 1398 = n*p. Suppose 18*w = 13*w + p. Is 11 a factor of w?
False
Suppose -9*y + 11*y - 17948 = 0. Does 199 divide y?
False
Suppose 0*x + 4*x = 4*c + 272, 3*c + 60 = x. Let t(s) = 19*s - 145. Let u be t(9). Let v = x - u. Does 15 divide v?
False
Suppose -4*c - 296 + 1556 = 0. Suppose 3*x = -3*a + 143 + 148, 3*x - 5*a - c = 0. Let h = x - 20. Does 16 divide h?
True
Let f be (-504)/(-96) - (-5)/(-4). Suppose -2*b = f*o - 24, 30 = 4*o + 4*b + 6. Suppose o*g - 534 = -150. Is g a multiple of 32?
True
Suppose 12*k = 8*k + 4*u + 7860, k - 4*u = 1983. Does 5 divide k?
False
Suppose -20*m + 620 = -200. Does 10 divide 6/9*(m + -3 - -1)?
False
Let u(m) = -m**3 - 6*m**2 - 3*m - 14. Let o = 9 - 15. Let t be u(o). Suppose -t*v = 12, -5*s - 3*v = -220 - 431. Does 22 divide s?
True
Let w(z) = 3*z - 58. Let p be w(16). Is 8/(-32) - -762*p/(-16) a multiple of 21?
False
Suppose -5*a - v + 113162 = 0, 3*a + 43*v = 38*v + 67906. Does 141 divide a?
False
Suppose -49 + 49 = 20*n. Suppose -18*y + 39384 = -n*y. Does 44 divide y?
False
Suppose 5*x = f + 2*f + 2, 5*f = x + 26. Let o(r) = r**3 - 7*r**2 + r + 6. Let l be o(f). Let h = 31 + l. Is h a multiple of 7?
True
Suppose 0*a - 510 = 17*a. Let s(r) = r**3 + 30*r**2 - 4*r + 64. Does 23 divide s(a)?
True
Suppose -c = -3*v - 17, -4*v = -5*c + 3*c + 22. Let j be 2 + (-260)/(v - -2). Is 10 a factor of 3 - j/(1/(-2)*2)?
True
Let o = -8 - -20. Suppose 2*s - 227 = -d, -4*s = -0*s - o. Let j = -101 + d. Does 27 divide j?
False
Suppose -39 = -5*q - 9. Suppose -22 = -12*i + 26. Is 15 a factor of (-9)/q + 274/i?
False
Let f = 198 + -197. Suppose -f - 47 = -4*m. Is m a multiple of 6?
True
Suppose -p = -5*p. Let y(w) be the third derivative of w**6/120 + w**5/30 - w**4/12 + 2*w**3 - 569*w**2. Does 3 divide y(p)?
True
Is (-13 - 325*-10) + -8 - 6/2 a multiple of 6?
False
Let k(n) = -8*n**2 - 448*n + 261. Is k(-50) a multiple of 11?
False
Suppose -15 = 2*l + 5*v, 19*v - 18*v + 10 = l. Suppose l*q - 190 = 5*z, 3*z + 2*z = 10. Does 10 divide q?
True
Let j be 1*-53 - 18/6. Let u be (-834)/(-14) + (-24)/j. Does 17 divide 6/u + 1017/30?
True
Suppose -3*q + 6254 = -v, 3*q - 110*v + 112*v = 6248. Is 73 a factor of q?
False
Suppose 2*w + 5*f - 10 = 0, 0*w + w = -5*f + 5. Suppose m + 8*g - 9*g = 397, 4*m - 1585 = w*g. Is 25 a factor of m?
True
Let g = -12 - -15. Let t = 174 + -173. Is 20 + (5 + t - g) a multiple of 6?
False
Let o = 53 + -44. Suppose 2*c = -o*c + 374. Suppose -x + 2*q - c = -88, -5*x + 275 = -5*q. Is x a multiple of 4?
True
Suppose -30*g + 7*g + 2245 = 382. Is 21 a factor of g?
False
Let s = -6416 + 22103. Is 27 a factor of s?
True
Let a(s) be the first derivative of -s**3/3 + 9*s**2/2 - 15*s + 2. Let d be a(6). Suppose -4*i = -d*i - 216. Is 18 a factor of i?
True
Suppose l - 2*s - 329 = 0, 5*s - 737 = -4*l + 644. Is 18 a factor of (-27)/((54/l)/(-6))?
False
Let y = 699 + -493. Suppose 574 + y = 12*c. Is 13 a factor of c?
True
Let t(m) = -68*m**2 - m - 3. Let g be t(-1). Let i = -56 - g. Does 19 divide 3352/28 - (-4)/i?
False
Let t(v) = -v**3 - 62*v**2 + 31*v + 129. Does 26 divide t(-63)?
False
Suppose -4*n - 3*w = -37, 0*w + 75 = 5*n - 2*w. Suppose 2*d - 4*b = -6, 4*b - n + 1 = 0. Suppose -d*j - 130 = -445. Is 20 a factor of j?
False
Let w(j) = -j**3 + 7*j**2 + 2*j. Let z be w(7). Suppose 6*u - 13*u = -z. Suppose u*b - 83 = g + 106, -2*g + 6 = 0. Does 16 divide b?
True
Let n(a) = a**2 + 22*a + 124. Let q be n(-25). Let h be (-388)/10 - 1/5. Let f = q + h. Does 45 divide f?
False
Let z be 24/9*(-21)/(-14). Suppose z*t = -t. Suppose t = 6*o - 4*o - 84. Does 28 divide o?
False
Suppose -15*a = -2*z - 17*a + 48754, -4*z = -5*a - 97499. Does 22 divide z?
True
Let c(b) = 53*b + 11. Let f be c(4). Suppose m + 4*m - 1139 = -4*n, 4*n + f = m. Does 7 divide m?
False
Does 373 divide (3/27*1119)/(19/(-214149)*-17)?
True
Let x(f) = f**3 - 11*f**2 + 23*f + 9. Let b be x(9). Suppose 2*j + w - 92 = 104, 292 = 3*j + w. Let q = j - b. Is q a multiple of 7?
True
Suppose 97353 = 9*h + 1269. Is 17 a factor of h?
True
Suppose -98*h + 760 = 4582. Let y(f) = -f**3 + 4*f**2 + 2*f. Let o be y(6). Let n = h - o. Is n a multiple of 21?
True
Suppose -15*w + 104*w - 167409 = 0. Is w a multiple of 22?
False
Is (257925/76)/(55/264) a multiple of 30?
True
Let z = -9009 + 10268. Is z a multiple of 2?
False
Let l(s) = -27*s + 19. Let r be l(4). Let q = 83 + r. Does 11 divide (-4 - -37)*(-10)/q?
True
Let i(y) = -1109*y - 1355. Is 17 a factor of i(-5)?
False
Let j = 470 + -470. Suppose 10*g - 8*g + 2*z - 2648 = j, -4*g + 5341 = -5*z. Is 39 a factor of g?
False
Let t(h) = -2 - 2*h - 44*h - 22*h. Is t(-5) a multiple of 13?
True
Let g(k) = -9*k**2 - 22*k + 1. Let a be g(-7). Let m = a + 396. Is 3 a factor of m?
False
Let m = 33857 - 22108. Is 31 a factor of m?
True
Suppose -f + 5*r + 41 = 3, f - 28 = 3*r. Let v(o) = -o**3 + 12 - 13 + 22*o - f*o**2 + 17 - 2*o**2. Does 38 divide v(-17)?
False
Let b(j) = -2*j**3 - 85*j**2 - 303*j - 33. Is b(-41) a multiple of 79?
True
Does 27 divide (270/25)/(5/1950)?
True
Let s = -52 - -31. Let d = 24 + s. Suppose d*m = -m + 68. Is 7 a factor of m?
False
Let l be 235/25 - 9 - 4313/(-5). Let b = -269 + l. Is b a multiple of 11?
True
Suppose 4*u - 15 = -u. Let p be (-7)/u*(-132)/22. Suppose -p*b + 1 + 41 = 0. Is 2 a factor of b?
False
Suppose 3*s + 41793 + 27102 = 5*m, -5 = s. Is m a multiple of 56?
True
Let c = -1756 - -1756. Suppose 4*m = 2*g - 18, g - 7 - 8 = 5*m. Suppose 4*d - 3*b - 1003 = -c*d, -g*b = -d + 238. Is d a multiple of 11?
True
Suppose -17*t = 6*t - 2*t - 70707. Does 97 divide t?
False
Suppose -2*w + 37*w - 9*w - 29432 = 0. Is w a multiple of 2?
True
Suppose 3 = 3*y - 3, -4*r + 16 = 2*y. Let w(s) = 5*s**r - 4*s**3 + 1 - 7*s**2 - 4*s + 10*s - 2*s. Does 3 divide w(7)?
False
Suppose -4*m + 3*u + u + 1532 = 0, 771 = 2*m - 3*u. Suppose -3*j = -5*z + 2313, -5*j - m - 89 = -z. Is 22 a factor of z?
True
Let a(p) = -p**3 - 7*p**2 + 4*p - 15. Let h be 952/98 - ((-4)/(-7))/(-2). Let g be 5*24/(-18)*12/h. Is 3 a factor of a(g)?
False
Let j(a) = 2*a**3 - 4*a**2 + 2*a - 4. Let x be j(3). Suppose x*b - 4593 = 1527. Is 12 a factor of b?
False
Suppose -13*u + 2671 = -3179. Does 6 divide u?
True
Suppose 0*l + 38 = 4*l + 2*v, -5*l + 70 = -2*v. Suppose 5*q = 25, -l*t = -7*t - 2*q - 2630. Is 33 a factor of t?
True
Let l = -8448 + 9447. Does 27 divide l?
True
Let c(y) = -542*y - 6082. Does 7 divide c(-38)?
False
Let m = -338 - -328. Does 45 divide 0 - (m/(-6))/((-6)/2106)?
True
Let c be -207 - -5 - (-3 + 1 - -1). Let g = c + 311. Does 11 divide g?
True
Let h(v) = 5473*v - 1808. Is 66 a factor of h(3)?
False
Does 7 divide -2 - 4/5*6/(48/(-35780))?
False
Let y(k) = -6*k**3 - 65*k**2 + 34*k - 3. Is y(-15) a multiple of 33?
False
Let s = 3044 + 7828. Does 8 divide s?
True
Let v = -11 + 8. Let q(u) = 126*u + 9. Let c be q(1). Is 13 a factor of c/(-2)*(26/(-6) - v)?
False
Let s(n) be the 