or of o?
False
Let g = 0 - 2. Let s(h) be the first derivative of 3*h**3 + 2*h**2 + 4*h + 737. Is 8 a factor of s(g)?
True
Let q be 8/(-6) + (14/21 - (-4044)/(-9)). Let y(n) = -631*n**3 + n**2 - n - 1. Let d be y(-1). Let k = q + d. Is 24 a factor of k?
False
Let m(l) = -404*l**3 - 5*l**2 + 273*l + 1094. Is m(-4) a multiple of 221?
False
Let p(k) = -k**2 - 26*k - 30. Let c be p(-20). Suppose -4*y = 6*y - c. Suppose 427 = y*o + 157. Does 6 divide o?
True
Let p(m) = 189*m**2 - 7*m + 42. Does 42 divide p(-6)?
True
Let t be (-7 - -4) + (-5 - -7). Is 9 a factor of ((0 + t)/(-1))/((-24)/(-5112))?
False
Let r = 7980 + -4823. Is 12 a factor of r?
False
Suppose -24908 = -s - 5*y, -143*s - 49822 = -145*s - 4*y. Does 125 divide s?
False
Let w = 6494 + -3343. Is 20 a factor of w?
False
Let r(h) = -9*h**3 + 267*h**2 + 51*h - 13. Is r(27) a multiple of 15?
False
Let r(n) = -11*n**3 - 35*n**2 - n + 41. Is 47 a factor of r(-6)?
False
Let t(i) = 7*i**3 - 7*i**2 - 1. Let c(s) = 3*s**3 - 3*s**2. Let v(b) = 5*c(b) - 2*t(b). Let r be v(0). Is r/10 - (-2390)/50 a multiple of 12?
True
Suppose -3*g - 33 = 3*x - 330, 5*g = -x + 111. Does 43 divide x?
False
Does 8 divide (21260/(-50))/((-26)/520)?
True
Let c = -15 - -40. Let i be c/8 + (65/(-40))/13. Suppose i*p + 3*r = -p + 44, -2*p + 24 = r. Is p a multiple of 3?
False
Suppose 171*v - 607431 = 260736. Is 60 a factor of v?
False
Suppose -3*t - 15 = -5*f, 2*f = 5*t + 6*f + 25. Does 29 divide 307 + -5 - t/(10/4)?
False
Let o(n) be the first derivative of -n**5/30 + 5*n**4/6 - 7*n**3/6 + 7*n**2/2 - 9. Let p(w) be the second derivative of o(w). Does 11 divide p(8)?
False
Let y(d) = -d + 19. Let x be (2/5)/(1 - 156/160). Let g be y(x). Suppose -g*k + 68 = 4*w - 95, -3*k = -3*w + 138. Does 14 divide w?
False
Let q = -81 - -52. Let k = q - -50. Does 10 divide 1*2*(k + -6)?
True
Let q(o) = o**3 - 15*o**2 + 14*o + 2. Let h = -8 - -22. Let x be q(h). Is 4 a factor of 11 - (x/(-3))/(6/(-18))?
False
Suppose 9*o + 4 - 22 = 0. Suppose 4*x = -3*p, 2*p = -o*x - 2*p. Is 22 a factor of 54 - (-2 + -2 - x)?
False
Suppose 1255 = -5*b + 4*c, -3*b + c = -b + 499. Suppose -8*s = -1158 + 2494. Let d = s - b. Does 16 divide d?
True
Let i(k) = -148*k**3 - 3*k**2 + 16*k + 1. Let m(v) = 74*v**3 + v**2 - 7*v. Let z(y) = 2*i(y) + 5*m(y). Is 15 a factor of z(2)?
False
Let z(n) = 243*n - 5 + 30 + 52*n. Is z(3) a multiple of 14?
True
Let x = 181 + -77. Suppose 3*c - 316 = x. Is c a multiple of 70?
True
Is (((-35)/14 - -8) + (-18)/3)*-11482 a multiple of 16?
False
Let w = 24 + 15. Suppose 0 = -2*m - 3*i + 71, -2*i - w = -0*m - m. Suppose -m = -3*l + 137. Is 29 a factor of l?
True
Suppose -3*x = m + 36, -4*m + 60 = -14*x + 9*x. Let j = x + 26. Does 2 divide j?
True
Suppose -55169 - 20559 = -5*v - 3*g, 2*v - 3*g - 30266 = 0. Does 3 divide v?
False
Let q(p) = -81*p + 12. Let x(l) = 81*l - 13. Let f(o) = -3*q(o) - 4*x(o). Is f(-2) a multiple of 6?
False
Suppose -7*u + 7467 + 28420 = 3652. Does 21 divide u?
False
Suppose -r - 72 = -4*r. Let q be (4/(r/(-9)))/((-2)/4). Suppose 0*o + 5*o + 5*b = 200, -q*b - 139 = -4*o. Does 12 divide o?
False
Does 26 divide 332598/39 - (-2)/(-13)?
True
Suppose -157 = -2*o + 171. Let l(n) = -n**2 - 122*n - 981. Let g be l(-109). Let x = g - o. Is x a multiple of 29?
False
Let n be (-4 - -16)/(-5*(-15)/3950). Let l = -309 + n. Is 16 a factor of l?
False
Let h = -7710 - -12904. Does 53 divide h?
True
Let g(o) = -15*o + 5*o - 6 + 6*o + 8 + 5 + 3*o**2. Let u be 37/(-7) - (-2)/7. Does 17 divide g(u)?
True
Suppose -i - 4*n = -2922 + 1702, 0 = -5*i + 5*n + 6225. Does 4 divide i?
True
Let d(u) = u**3 + 21*u - 6*u + 10*u**2 - 3*u - 4*u. Let k be d(-9). Suppose -l - 5*v = -2*l + k, v - 175 = -5*l. Is l a multiple of 17?
True
Let m be (-6)/9*177 - -5. Let j = m - -188. Is j a multiple of 2?
False
Suppose 0 = -2*z - 2*z + 40. Suppose -7*s - 18 = z. Does 5 divide 29 - (1 - 8 - s)?
False
Let s be (44/(-33))/((-68)/(-36) - 2). Suppose 0*f = -4*f - 4*k + 516, -s = 3*k. Does 10 divide f?
False
Suppose 0 = l - 4*i - 2, -3*l + 2*i + 7 = -9. Suppose 0 = -5*p + l*p + 2. Is (-420)/((-10)/p)*-1 a multiple of 7?
True
Suppose 4*q - 20 = 4*d, 0*q = -2*q + 3*d + 13. Suppose n + q*l = -n - 14, 0 = -2*n + 5*l. Does 39 divide 21/(-35) - 978/n?
True
Suppose 0 = -37*k + 2*k + 161700. Is 15 a factor of k?
True
Suppose -82*z + 102*z - 60 = 0. Let g(w) = 23*w**3 - w**2 - 5*w + 1. Does 26 divide g(z)?
True
Let j(v) = v**3 + 9*v**2 - 11*v - 1. Let q be j(-10). Let u(d) = -45*d + 133. Let c(w) = -11*w + 33. Let k(p) = -9*c(p) + 2*u(p). Is k(q) a multiple of 7?
False
Suppose 0 = -5*q - 0*q + 2*u + 242, -5*u - 230 = -5*q. Suppose -6*c + q = -226. Is c a multiple of 2?
True
Suppose 0 = -9*v + 12*v + 12, 5*v = -2*m + 294. Let x = m + -118. Is 13 a factor of x?
True
Let n = 551 - 1237. Let x = n - -1277. Is x a multiple of 79?
False
Let b be -394*2/(-1 + -3) + 0. Let m = -102 + b. Let q = m + -20. Does 15 divide q?
True
Let s(x) = 98*x + 278. Does 24 divide s(29)?
True
Let b(r) = -r**3 - 11*r**2 - 26*r - 11. Let m be b(-7). Let k = m - -95. Is k a multiple of 4?
False
Let l(y) = -y**3 + 9*y**2 + 14*y - 24. Let n be l(10). Suppose z + z - 3*d = 12, -2*z + 4*d = -n. Is z + 0 - (1 + 3)*-30 a multiple of 15?
True
Let m(n) = n**2 - 27*n - 2170. Is m(-59) a multiple of 12?
True
Let t(w) = -w**3 - 7*w**2 - 6*w - 34. Let j be t(-7). Let f(d) = 8*d**2 - 21*d - 13. Is 13 a factor of f(j)?
False
Let b(o) = o**2 - 5*o - 7. Let z be b(5). Let f = 3 - z. Suppose 78 = 2*v + f. Does 23 divide v?
False
Let g(q) = -2*q - 39. Suppose 3*c + 34 = -4*d - 13, -4*c + 2*d - 92 = 0. Let m be g(c). Is -3*-5*(8/(-12) + m) a multiple of 29?
False
Let j(h) = 328*h + 616. Is 12 a factor of j(2)?
True
Let k = -47926 - -83676. Is 143 a factor of k?
True
Suppose 3*h - 5*h = 3*j + 58236, 5*j + 87354 = -3*h. Is 49 a factor of (-4)/18 - h/54?
True
Does 38 divide 286/(-429)*((-55914)/10)/(2/5)?
False
Let p = -121 - 34. Let d = 187 + p. Is 5 a factor of d?
False
Let t(h) = h**3 + 42*h**2 - 330*h + 1. Does 99 divide t(-45)?
False
Suppose 4218 - 798 = -5*k. Does 70 divide 5*(-3)/(-5) - k?
False
Suppose -11*o + 4864 = -30*o. Let z = o - -317. Does 10 divide z?
False
Let f(l) = 1059*l + 3. Let j be f(1). Suppose 3*m - 3*a = 1596, -j = -2*m - 4*a + 7*a. Suppose -n - 197 - m = -5*v, 5*n = -5*v + 725. Is 25 a factor of v?
False
Suppose -2*x - 57 = -5*x + 3*w, 4*x = -2*w + 46. Suppose -5*f + 21 = -x. Suppose -3*n = -5*d - 128, -f*n + 2*n = d - 176. Does 7 divide n?
False
Let g be ((-164)/205)/(4/250). Is 2 a factor of (280/g)/((-6)/15)?
True
Let o = 34 - 25. Let r(l) = -7*l**2 - 2*l**3 + 6*l - o*l**2 + 4 + l**3 + 19*l**2. Does 3 divide r(4)?
True
Suppose -5*s = 3*o - 62, -3*o = -3*s - 43 + 13. Suppose o*m + 20*m = 38488. Is m a multiple of 16?
False
Let s(i) = 2*i**2 - i + 2*i + 27 - 9*i**3 + 3*i**3 + 7*i**3. Let p be 0/2*2/6. Is 5 a factor of s(p)?
False
Suppose -21*m + 24*m = 0. Suppose -c + 2*k + 1 = 3*k, -5*c - k + 9 = m. Suppose -c*s - 5*y + 300 = 108, 0 = -4*y + 8. Is s a multiple of 7?
True
Suppose 2*m = s - 14, 5*s = -0*s - 4*m. Let r be (-7)/((-210)/195) + 2/(-4). Suppose -s*x + 105 = 3*t - r, x - 120 = -3*t. Is 7 a factor of t?
False
Suppose 4*v - 15432 = 2*l, 13*l - 12*l = v - 3858. Is v a multiple of 11?
False
Suppose -126 = -64*o + 70*o. Let u(i) = -14*i - 96. Does 18 divide u(o)?
True
Let l(g) = -101 + 16*g + 30*g - 20*g + 72*g. Is l(7) a multiple of 21?
False
Let p(k) = 3 + 5 + k + k - 3*k. Let a be p(6). Suppose -4*b - 2*q = -22, -2*b - 3*q - q + a = 0. Does 3 divide b?
False
Is 9 a factor of (0 - 148/6)/(38/(-13851))?
True
Let r(d) = 3*d**2 + 2*d + 50. Let y = -317 + 311. Does 15 divide r(y)?
False
Let m = -34 - -37. Suppose -m*h - 29 + 92 = 0. Is 2 a factor of h?
False
Let t = 32 - 24. Suppose 6 = 2*r - t. Suppose v - 18 = -r. Is v a multiple of 4?
False
Is 12298 - 39/(-15 - -28) a multiple of 29?
False
Let w(h) be the third derivative of h**6/120 - h**5/30 - 5*h**4/24 - h**3/3 + 2*h**2. Let v be w(4). Let a(l) = 2*l**2 - 15*l + 15. Does 13 divide a(v)?
True
Suppose 34*n + 23*n - 66177 = 0. Is 43 a factor of n?
True
Let x(a) = -546*a + 4. Is 20 a factor of x(-6)?
True
Suppose -811 = -2*l - 3*o, 5*l - 4*o = -0*o + 2016. Let c = l - 222. Is 13 a factor of c?
True
Suppose -40 = -5*n, -486*n + 48