be o(8). Let s be 57 - r - (-2)/2. Suppose s = 5*i + 5*d - 43, 5*i - 89 = -3*d. Does 8 divide i?
True
Let r(c) = -4*c**2 + 10*c - 7. Let i(m) = -m - 2. Let k(u) = -5*i(u) - r(u). Does 3 divide k(-6)?
False
Suppose -4296*t - 913276 = -4324*t. Does 58 divide t?
False
Is 19 a factor of 4900/(-84)*(-684)/10?
True
Let g(o) = 721*o**2 - 3*o + 2. Is 87 a factor of g(2)?
False
Let g be 1616/6*((-243)/(-12))/(-3). Let c = g + 2552. Does 15 divide c?
False
Let r(f) = f**3 - 92*f**2 + 102*f + 579. Is 123 a factor of r(92)?
True
Suppose 3402 = 29*i - 8*i. Let h = -51 + i. Does 22 divide h?
False
Suppose -3*p - 20 + 5 = 0, 4*i + 5*p - 29139 = 0. Is i a multiple of 23?
True
Let r(b) = -142 + 74 + 2*b + b**2 + 45. Let c be r(-10). Let m = c + -48. Is m a multiple of 6?
False
Let h(x) = 56*x**2 - 5*x - 1. Suppose -3*u = 4*k - 23, 5*u = -k - k + 57. Suppose -j - j = 3*p + u, 0 = 4*j + 2*p + 14. Does 39 divide h(j)?
False
Suppose -3*w = 3*i - 1113, 2*i = 69*w - 64*w + 763. Is i a multiple of 17?
True
Let l = -79 - -359. Let w = l - 225. Does 21 divide w?
False
Suppose r - 5*s = 8849, 5*s - 19617 = -4*r + 15804. Is 21 a factor of r?
False
Let i(t) = -2*t**3 + 2*t**2 - 4*t - 11. Let g be i(6). Let m = -226 - g. Suppose 3*f - 4*w = -2*w + m, -5*f = w - 273. Does 10 divide f?
False
Suppose 7*t = 3*t + 20. Suppose 5*w + 4 + 26 = -f, -t*w - 25 = 2*f. Let o(p) = p**2 - p + 13. Is o(w) a multiple of 9?
False
Let j(k) = 20*k - 37. Let q be j(2). Is (570/(-40))/(q/(-16)) a multiple of 14?
False
Suppose 18 = 3*g - 0. Let p be (-348)/(-8)*4/g. Suppose 3*n = -p + 143. Is 38 a factor of n?
True
Suppose -4*l + 17357 = -v, 3*v = -4*l - v + 17372. Is l a multiple of 28?
True
Is ((-7519)/(-206))/(1/180) a multiple of 45?
True
Let k(z) = -23*z + 11. Let w(m) = 114*m - 55. Let o(t) = -11*k(t) - 2*w(t). Does 24 divide o(7)?
False
Let m = 8 - -7. Suppose 2*p - 3*o = 177, 2*p - 2*o + m = 189. Is p a multiple of 9?
False
Let c = 494 - -55. Suppose -6*n + c = -771. Is 4 a factor of n?
True
Let f = 12 - -372. Suppose -388*m + 64 = -f*m. Does 7 divide m?
False
Let a(l) = 2*l**3 + 2*l**2 - 2. Let x be a(3). Let t be (-561)/(-17) - (2/(-3))/((-8)/84). Does 52 divide x/(-7)*t/(1/(-1))?
True
Is 5 a factor of (4/3)/((-87988)/(-7332) - 300/25)?
False
Let y be (-2938)/18 - (40/(-18) - -2). Suppose 4*g = -3*r - 60 - 193, -4*r = -5*g + 296. Let n = r - y. Is n a multiple of 14?
True
Let j be 15105/((-1)/2*-2). Suppose -5*r = -l + 3104, 3*l + 5793 - j = -3*r. Does 9 divide (-2)/9 - (l/(-36) + -4)?
True
Let s = -15197 - -20073. Does 5 divide s?
False
Let u(j) = -3*j**2 - 3*j + 406. Let m = -11 - -11. Does 11 divide u(m)?
False
Let u = 18257 - 9847. Is 29 a factor of u?
True
Let p = -61 - -105. Let k = 45 - p. Does 11 divide (4/(-10))/(1/(-460)*k)?
False
Suppose 18*w = 53719 + 2441. Is 40 a factor of w?
True
Let g = -129 + 67. Let h(a) = 2*a + 63. Let m be h(0). Let r = m - g. Is r a multiple of 42?
False
Does 136 divide (-3)/(406546/(-232288) + (-14)/(-8))?
True
Does 90 divide 5 + (-16)/3 - 97804/(-12)?
False
Suppose 0 = -2*k + w + 6471 + 1255, 3*k - 11563 = -5*w. Is 117 a factor of k?
True
Let l(o) be the third derivative of o**6/60 + o**3/6 - o**2. Let q be l(-1). Is 6 a factor of 12*(((-2)/2)/q)/1?
True
Let j(z) = -z**3 - 9*z**2 + 19*z + 6. Let o = 136 + -147. Does 39 divide j(o)?
True
Let s(m) = -m**3 + 7*m**2 - 6*m + 3. Let p be s(6). Suppose -5*u + 257 = 4*i - 51, 4*u = 2*i + 236. Suppose -p*z + u = -12. Does 6 divide z?
True
Let s(i) = -371*i**3 + 2*i**2 + 21*i - 48. Is s(-5) a multiple of 12?
True
Suppose 9*t - 14*t = 2*z - 1292, 5*t - 656 = -z. Does 30 divide 250/4*z/265?
True
Let g(x) = -22*x + 277. Let m be g(-14). Let u = -349 + m. Is 59 a factor of u?
True
Let w be 0/(0/(-2) + -20 + 23). Does 11 divide 1/(2/8) - w - -35?
False
Does 17 divide (6160/980)/((-1)/(-427))?
False
Suppose 4*w + 4*v - 20 = 2*w, w - v = 7. Let a(s) = -8*s - 11. Let n be a(w). Does 3 divide (n/(-21) - 1)/((-9)/(-84))?
True
Let c = -663 - -675. Suppose c*u = u + 20911. Is u a multiple of 113?
False
Suppose -4*p - 3*x = -1614, -2*p + 946 - 140 = 2*x. Suppose -4*n - c + p = 0, n + c = -0*c + 99. Let i = n + -67. Is 4 a factor of i?
False
Let w(i) = -201*i + 551. Is 11 a factor of w(-40)?
True
Let k(m) = -4 - m**2 + 1 + 20*m + 2. Let v be k(20). Is -12*(0 + v) + 1*2 a multiple of 5?
False
Let a(q) = q**3 + 2*q**2 - 3*q + 1352. Let j be a(0). Suppose j + 11716 = 33*i. Does 22 divide i?
True
Let d = 1973 - 1441. Does 28 divide d?
True
Suppose -39 = 7*m + 10. Let s(k) be the second derivative of -3*k**3 - k. Is 21 a factor of s(m)?
True
Let j = -495 - -797. Suppose 2*m - 364 - j = -2*s, 0 = -4*s + m + 1307. Is 42 a factor of s?
False
Let b be (-3)/((3/(-11))/1). Let m(d) = 25*d + 13. Let q be m(b). Let h = 423 - q. Is h a multiple of 15?
True
Let m(h) = 38*h**2 - 8*h + 5. Let g be m(1). Suppose -g*v = -32*v - 1680. Is 56 a factor of v?
True
Is 791932/34 + (10611/(-459) - -23) a multiple of 12?
True
Suppose -69*l = 83*l + 101*l - 2159355. Is l a multiple of 89?
False
Let p = 2986 - -718. Does 101 divide p?
False
Suppose 6*n = 2*n - i + 214, 0 = -4*n - 4*i + 208. Suppose -m + 4*k + 41 = -13, -5*m - 2*k + 204 = 0. Let r = n - m. Is r a multiple of 4?
True
Suppose a + 4*a + 5*d = 10, -4*d + 11 = 5*a. Let s(p) = p**2 - 5*p + 10. Let n be s(a). Suppose -3*q + 0*q = -n*x + 311, -3*q = x - 89. Does 10 divide x?
True
Let z(k) = 2*k**2 - 4*k + 8. Let o be 3/((-9)/14*14/(-21)). Is z(o) a multiple of 6?
True
Suppose -b - 24*b + 407592 = 11*b. Is b a multiple of 9?
True
Let t = 489 + -497. Let r(g) = -85*g - 112. Does 27 divide r(t)?
False
Suppose 10 = -495*i + 493*i. Is 16 a factor of 3/2*-12*40/i?
True
Let y be 8/6 - 5/15. Suppose s = 8 - y. Suppose s*b + 27 = 10*b. Is b a multiple of 5?
False
Let p(q) = q - 4. Let y be p(9). Suppose -y*i - 3 = 3*d, 4*d = -d + 4*i + 32. Suppose d*u = 3*s + 135, -u + 4*u - 70 = -4*s. Does 30 divide u?
True
Suppose -6*c - 8736 + 61008 = 0. Suppose -4*b - 18*b = -c. Is b a multiple of 9?
True
Suppose 0 = -c - 4*a - 17, 4*a + 8 + 6 = -2*c. Suppose w = -4 + c. Let i = 120 + w. Is i a multiple of 8?
False
Let r(p) = -35*p - 7*p - 81*p + 9. Is 39 a factor of r(-2)?
False
Let r(l) = 5*l**2 - 18*l + 13. Let x(z) = 4*z**2 - 18*z + 12. Let q(a) = -5*r(a) + 6*x(a). Is q(-9) a multiple of 2?
True
Let l be ((0 + -8)/(-2))/((-1)/(-2)). Suppose -l = -21*b + 17*b. Is b*-1 + 1218/14 a multiple of 17?
True
Suppose -13*r - 1600 = -53*r. Suppose -h = -4*f - 760, 0 = h + 4*f - r - 752. Does 27 divide h?
False
Let u be 6 + (2 - 3) - -226. Let r = u + -349. Let i = -65 - r. Does 25 divide i?
False
Let t be (-4730)/(-40) - (-6)/8. Suppose 3*q - t = 406. Suppose 15*n = 20*n - q. Does 4 divide n?
False
Let l = 11721 - 9862. Is l a multiple of 13?
True
Let g be (1 - 3) + (-8)/(-2). Let o = 2 - g. Suppose -3*v = -o*w + 3*w - 453, 5*v + 4*w = 754. Is 15 a factor of v?
True
Let h(x) = -9*x**3 + 110*x + 2*x**3 + 8*x**3 + 32*x**2 - 23. Does 25 divide h(-27)?
False
Let v(s) = -388*s + 44. Let u be v(-2). Suppose 7*k = -4*f + 9*k + u, k = -4. Is 6 a factor of f?
False
Let n(c) = c**3 + 10*c**2 - 15*c - 24. Let g be n(-11). Suppose -18*t + 13*t - g = 0. Does 12 divide ((-18)/4)/(2/4)*t?
True
Suppose -2*t - 2*b + 566 = 0, -2*t + 240 = 3*b - 326. Let q = t - 118. Is 32 a factor of q?
False
Let x = 3341 - -679. Does 20 divide x?
True
Suppose z - 1089 = -a, -a = -2*z - 598 - 500. Does 84 divide a?
True
Let v = -347 - -349. Suppose h - 799 = -2*u - 143, v*h + 650 = 2*u. Does 39 divide u?
False
Let s = 55 + -119. Let a = s - -58. Is 64/a*((-5)/4 - 1) a multiple of 3?
True
Let a(z) = -z**3 + 10*z**2 - 12*z + 30. Let n be a(9). Suppose 0 = -5*j + 5*l + 655, 661 = 49*j - 44*j - n*l. Is 5 a factor of j?
False
Let a(r) = 2*r**3 - 6*r**2 - 8*r + 14. Let o be a(4). Suppose 6*u - 136 = o. Is u even?
False
Let k = -11 - -24. Suppose k*u - 5 = 12*u. Suppose 6*m = u*m + 14. Does 14 divide m?
True
Let g be (-156)/(-54) + 2/18. Suppose -g*o - 5*m = -2, 4*m - 50 = 5*o - m. Is 30 a factor of (-30)/o - -23*5?
True
Let n(k) = k**3 + 4*k**2 + 3*k + 3. Let g be n(-3). Suppose -4*h - 385 = h + g*t, -t = -5*h - 365. Let q = 116 + h. Is q a multiple of 7?
True
Let a be (6/(-3) + 2)/(-2) - 4. Let w be (-11 - a)*((-2)/2 - 6). Let c = w - 14. Does 3 divide c