2 = 0. Does 27 divide i?
True
Let s be 1/((-24)/(-510)) - 5/4. Suppose -p = 2*n - 66, -178 = -3*p - 2*n - 0*n. Let c = s + p. Is c a multiple of 10?
False
Let d be 90/(-27)*(-2 + 245)/(-1). Suppose 8*y = 13*y - d. Suppose y = -16*v + 22*v. Is v a multiple of 25?
False
Let w(r) = r**3 - r**2 + r - 1. Let y(s) = -s**3 - 8*s**2 + 2*s - 3. Let d = -43 - -41. Let o(q) = d*w(q) - y(q). Is 12 a factor of o(8)?
False
Suppose 4*i + 0*i - 208 = 0. Suppose 68*c - i = 64*c. Let h = 27 - c. Does 2 divide h?
True
Let h = -25 + 84. Let k be ((3856/(-12))/4)/((-1)/3). Suppose 4*c - h - k = 0. Is 20 a factor of c?
False
Let p(f) = -7*f + 1. Let h be p(10). Let u = h - -64. Does 9 divide 27/(3 - u/(-2))?
True
Suppose 1009165 = 182*d - 94650 - 1109123. Is 21 a factor of d?
True
Suppose 0 = 12*r + 16*r. Suppose r = -g + 4*c + 117, -5*g - c = -0*g - 501. Is 17 a factor of g?
False
Let p = -62 - -141. Let i = p - 82. Let r(h) = -h**3 + h**2 + 3*h + 6. Is r(i) even?
False
Suppose 1050*j = 1027*j + 68073 + 41131. Does 16 divide j?
False
Suppose 0 = -f + 4. Let b(l) = 21*l**2 - l + 1. Let r be b(f). Is 35 a factor of 16/(-24)*r/(-2)?
False
Let b = 490 + -285. Let y = 267 - b. Is y a multiple of 62?
True
Let n = -45 - -55. Let o(c) = -c**3 + 12*c**2 - 14*c + 12. Let g be o(n). Suppose -3*j - 4*l = -g, 3*j + 3*l = -0*j + 72. Does 8 divide j?
True
Let f be -2*3/6*(-6 + 1). Suppose f*m - m - 3*i = 18, -3*m + 19 = -5*i. Suppose -20 = -g - 4*d - 8, -m*d + 45 = 3*g. Is 4 a factor of g?
True
Let x be ((-300)/(-16))/(3/24). Let a = x + 122. Is a a multiple of 8?
True
Let d be 6 + -1 - 0/(3 + -1). Suppose d*u - 144 - 241 = 0. Does 6 divide u?
False
Suppose 3*w - 5322 - 18208 = 5*i, 0 = -3*w + 4*i + 23531. Does 8 divide (-172)/946 + 0 + w/11?
False
Let y be 9/6 + (21/2)/(-7). Suppose y = -2*f + 340 + 170. Is 17 a factor of f?
True
Let q = 7093 + 5435. Is 24 a factor of q?
True
Suppose -22*i - 276 = -26*i. Suppose 3*v + 21 = i. Suppose 15*r - v = 14*r. Does 2 divide r?
True
Let a = -142 + -530. Let d = -212 - a. Is 46 a factor of d?
True
Is (-2687416)/(-122) + (0 + -4)*3 a multiple of 128?
True
Let r(z) = -15*z**2 - 3*z + 3. Let k be r(2). Let s = 66 + k. Suppose s*d = -u - u + 222, 5*d = 10. Is u a multiple of 44?
False
Suppose 24 = -f + 2*f + 2*a, 0 = 3*f + 4*a - 72. Suppose 22*k - f*k = -258. Does 21 divide k?
False
Let p(x) = x**3 + 31*x**2 + 47*x + 33. Does 11 divide p(-29)?
True
Let f be 572 - 2/(-1*1/2). Suppose -2*b - f = -6*b. Suppose -2*z = -s + 31 - b, s - 115 = -2*z. Does 5 divide z?
False
Let t(d) = 34*d + 1683. Is 83 a factor of t(113)?
False
Let i be 16/(-64) - 411/4. Suppose 586 = -k + 3*k. Let j = k + i. Is 37 a factor of j?
False
Suppose 94164 = 786*g - 765*g. Is 12 a factor of g?
False
Suppose 3*r + 564 = 3279. Let w = r + -252. Is 5 a factor of w?
False
Let o(i) = -629*i - 5. Let b be o(-2). Suppose -4*j = -0*j + g - b, 0 = 5*j - 3*g - 1562. Is 30 a factor of j?
False
Let n(c) = 20*c + 15*c - 41*c + 24 + 28. Let j = -20 + 2. Does 16 divide n(j)?
True
Suppose 5*n = -v + 288 + 958, 0 = 4*n - v - 995. Let c = n + -100. Does 9 divide c?
False
Let h(l) be the third derivative of 5*l**4/24 - l**3/3 - 18*l**2. Let q be h(1). Suppose -q*p = -4*p + 66. Does 11 divide p?
True
Suppose 4*j = -4*n + 64020, 2142*j - 2145*j + 47975 = -5*n. Is 64 a factor of j?
True
Let o = 99 + -91. Suppose -o*c + 289 = -23. Is c a multiple of 6?
False
Let r(f) = 7*f**2 + 7*f - 55. Suppose 10*i = 62 - 2. Is r(i) a multiple of 15?
False
Let a(i) = -8*i - 73. Let t be a(-13). Suppose 29*r + 312 = t*r. Is r a multiple of 7?
False
Let j(b) = b**3 - 8*b**2 - 10*b - 1. Let r be j(9). Let m be (r/4)/(6 - 13/2). Suppose -m*c + 6*c = 96. Does 6 divide c?
True
Let v be 6/36 + (-2859)/(-18). Is 17 a factor of -4 + v + (-4 - -2)*1?
True
Let z(p) = p**2 + 22*p - 13. Let c be z(-18). Let j = -37 - c. Suppose -153*y = -155*y + j. Is y a multiple of 24?
True
Let s(p) = -3*p**3 - 10*p**2 - 14*p + 8. Let z be s(-7). Let i = 925 - z. Does 27 divide i?
False
Suppose 5*k - 367 = -427. Is 46 a factor of 138*(k/(-21))/(3/35)?
True
Suppose -3*j - 2*h + 1154 = -0*h, -4*h + 1532 = 4*j. Suppose -2*v - 2*v = -j. Suppose -6*w = 3*m - w - 112, -2*w + v = 3*m. Is m a multiple of 11?
False
Suppose -96*j + 50*j + 97317 = -37*j. Does 79 divide j?
False
Let c be (3/6)/(-7 - 120/(-16)). Does 2 divide (c/(-3))/(62/(-21204))?
True
Let w = -2027 - -3679. Is w a multiple of 59?
True
Is 4/68 + 4 + (-1367610)/(-102) a multiple of 14?
True
Let t(r) = 3979*r**2 + 143*r - 572. Is t(4) a multiple of 22?
False
Let t(m) = 2*m**2 - 4*m - 11. Let f be t(9). Suppose 13 = 4*v - f. Is 30*9/(108/v) a multiple of 20?
True
Let u(g) = -1374*g - 5578. Is 37 a factor of u(-13)?
True
Suppose 0*t + 2*t = n + 14, 35 = 5*t - 2*n. Let z(o) = o**3 + o**2 + o + 4. Let v be z(0). Suppose t*g + 7 = 6*g - 5*c, -4*c - 68 = -v*g. Is g a multiple of 13?
True
Let q(j) = -3*j**2 + 6*j - 1. Let o be q(1). Suppose 0 = -4*z - 4, -4*y + o*z + 11 = -z. Suppose y*d + 5*t - 45 = 0, 5*d + 4*t - 27 = 4*d. Does 3 divide d?
True
Let v(n) = -4*n**2 - 11*n + 73. Let x be v(-6). Suppose 0 = -5*i + 4*j - 5 + 1, -5*i + 2 = 2*j. Does 13 divide i/1 + (-325)/x?
True
Let y(q) = -q**3 + 19*q**2 - 19*q + 19. Let h be y(18). Let z be (-1)/(5*h/135). Is ((-16)/12)/(1/z) a multiple of 6?
True
Let y(d) = -46*d + 19. Let v be y(-16). Suppose -2*l - 3*u + 297 = 0, -5*l + 8*u - 13*u + v = 0. Does 12 divide l?
True
Suppose 2*c = -3*b + 4, -4*c + 8 = -2*b + 5*b. Let i be (b + -5)*48/(-2). Let v = 6 + i. Does 30 divide v?
False
Let v = 8589 + -8371. Does 7 divide v?
False
Suppose -33*r + 7697 - 173 = 0. Let y = r - 181. Is 4 a factor of y?
False
Let c(r) = -r**3 - 46*r**2 - 14*r + 31. Does 46 divide c(-47)?
True
Suppose m - 2 + 3 = 0, m - 206 = -u. Suppose u = x - 79. Is 52 a factor of x?
False
Suppose -3*u + 1 - 10 = 0. Let m be (-2 - u)/((-5)/(-10)). Suppose m*t - 102 = 68. Is t a multiple of 7?
False
Is 12 a factor of ((-68)/30 - (-580)/348) + (-7326)/(-10)?
True
Let f be 3*(-5)/15*-3. Let k(j) = 25*j - 26. Let w(i) = -26*i + 27. Let t(l) = f*w(l) + 4*k(l). Is t(4) a multiple of 13?
True
Let b(s) = -s**3 + 13*s**2 - 18*s - 8. Let z be b(11). Does 43 divide (7 + z)/(5/50)?
True
Suppose 585*y = -c + 582*y + 18979, 0 = -4*c + y + 75812. Is 223 a factor of c?
True
Let l = 2984 - 1418. Is l a multiple of 58?
True
Let p(u) = 2542*u**2 + 109*u - 443. Does 12 divide p(4)?
False
Let t = 992 - 992. Suppose -1233 = -5*i + s + 182, t = -s. Is i a multiple of 16?
False
Let r = -5629 - -5774. Is r a multiple of 29?
True
Let s(f) = 14*f + 53. Let z(h) = -7*h - 27. Let n(w) = 3*s(w) + 5*z(w). Let x be n(13). Let a = 190 - x. Is 15 a factor of a?
True
Let j be (4/8)/((-6)/384). Suppose 5 = -11*r - 6. Is ((-24)/j)/(r/88*-2) a multiple of 3?
True
Let k be (-6)/6 - 8*-1. Suppose 1141 + 2499 = k*c. Suppose -4*w + 2*d = -402, 7*w - 2*w + d = c. Is w a multiple of 5?
False
Let p(c) = -9*c + 103. Let s be p(11). Does 11 divide (-1 - s) + (-5 - -58 - 4)?
True
Let p(i) = 7*i - 6*i**2 - 5*i**3 + 6*i**3 - 3 - 10*i**2. Let a be p(16). Suppose -3*c + 3*f = -108, -4*c = -c - 4*f - a. Is 12 a factor of c?
False
Let a = 4976 - 4019. Is a a multiple of 12?
False
Let s(g) = 31*g + g**2 - 66*g - 63 + 30*g. Let m be s(11). Suppose -m*n + 344 = 4*h, 3*h = 3*n + n - 442. Does 28 divide n?
True
Is 14 a factor of 15 + -9 + -15 - (-19479 - 4)?
True
Let d(j) = -j**2 + 15*j - 7. Let o(g) = -4*g**2 + 77*g - 33. Let m(u) = -11*d(u) + 2*o(u). Let w = 0 - -3. Is m(w) a multiple of 5?
True
Suppose 143 = 9*l + 26. Suppose -l*w = -9*w - 120. Is w even?
True
Suppose 25*o - 24*o - 2 = 0. Suppose -12*q + 20 = -o*q. Suppose -k = -f + 7, 0*f - 10 = -q*f + 4*k. Is f even?
False
Suppose 3*i - f - 18349 = 0, 5*i - 2*f = 22417 + 8163. Does 40 divide i?
False
Suppose -4*k + 6 = m, 2*k + 5*m = 16 - 4. Let o be (2 + 7)*((-12)/(-9) - k). Suppose l + 37 = t - 54, -o*l = -4*t + 363. Is t a multiple of 10?
True
Let a(q) = q + 34. Let s be a(-15). Suppose s*u = 13*u + 2478. Is 12 a factor of u?
False
Let o(d) = -d**2 - 54*d + 317. Let v be 2 + -1 - 1080/20. Is 37 a factor of o(v)?
True
Suppose 3*d = 8*d - 35. Let i(b) = d*b + 12*b - 23*b + 47. Is i(-13) a multiple of 9?
True
Let i(h) = -3*h + 97. Let g(y) = -y**2 + 15*y. Suppose -4*u = -76 + 16. Let v be