 s(g) be the first derivative of -g**3/3 + 6*g**2 - 3*g - 2. Let c be s(5). Suppose 5*b + c = r, -3*r + b = -r - 19. Is 2 a factor of r?
False
Let x = 91 + -87. Is 6 a factor of (x - (-32)/(-4)) + 64?
True
Suppose -216*o = -218*o + 862. Let a = -345 + o. Does 3 divide a?
False
Let y(z) = -3*z**2 + 21*z + 2*z + 0 + 13 + 2*z**2. Does 23 divide y(6)?
True
Let a(z) = -36*z + 2. Let x be a(-5). Suppose -x*b = -174*b - 768. Is b a multiple of 4?
True
Let m be 26952/48 + 22/4. Let a = -836 - -444. Let y = m + a. Does 35 divide y?
True
Let o(b) = b**3 + b**2 - 2*b + 1. Let z be o(-2). Let d be (z + 0)/(-2 + (-35)/(-15)). Does 12 divide (-1*15)/(d/(-14))?
False
Is ((-40)/28)/((-1 - 2310/(-2330))/70) a multiple of 71?
False
Suppose 70 + 50 = 15*h. Does 16 divide h/10*10455/34?
False
Let a(y) = y**2 + 10*y + 2. Suppose 2*n = v - 24, 0 = -3*n - 5*v - 0*v - 10. Let w be a(n). Is (-4 - (-33)/w) + (-2)/(-4) even?
False
Let z(s) = -s**3 - 11*s**2 - 11*s - 2. Let m be (-147)/15 + 4/(-20). Let q be z(m). Suppose 0 = q*g - 5*g - 60. Does 8 divide g?
False
Let s be (-4)/(-3) + -58*168/(-9). Let m = s + 13. Does 12 divide m?
False
Suppose -20*r = -7864 - 3656. Is (2/((-8)/9))/((-6)/r) a multiple of 9?
True
Let u be (-6)/8*88/(-33). Suppose -u*r - 3*t = -13, 4*r = -0*t - 2*t + 14. Suppose r*j = -o + 12, j = 6*j - 2*o - 30. Is j a multiple of 3?
True
Suppose 2*d - 8 = -2*p, -3*d - 5 = -5*d - 5*p. Is 6 a factor of ((-4)/d)/((-6)/165)?
False
Let f(v) = 17*v**2 - 173*v + 3390. Is f(18) a multiple of 6?
True
Let f be 2 + (6/3 - 19). Let z be (-1)/2 - f/(-6). Let a = z - -51. Is 12 a factor of a?
True
Suppose 2*z - 49 = -4*r + z, r - 7 = -2*z. Suppose 10*g - r*g = -2*w - 10, 0 = g - 4*w - 20. Is (g - (-3)/(-2))*8600/(-150) a multiple of 43?
True
Let h(b) = b**2 - 5*b - 2. Let c be h(5). Let l be c - (16/4 + 106). Is 16 a factor of (3/21 - 1)*l?
True
Suppose 6*u - 63 = -u. Suppose -5*b + 5*a + 35 = 0, 4*a = 5*b - u - 21. Suppose -5 = 5*s, 3*q - 2*s = -b*q + 327. Is 7 a factor of q?
False
Let x(f) = -19*f**3 - 60*f**2 - 13*f + 109. Is 10 a factor of x(-15)?
False
Let z = 23 - -32. Let c be 61/(5 + z/(-10)). Let f = c + 191. Is 8 a factor of f?
False
Let q = 69 + -121. Let y = q - -52. Suppose -4*d = 2*a - 438, 2*d - a + 6*a - 223 = y. Does 10 divide d?
False
Suppose -40*n - 14*n = -88*n + 24242. Is n a multiple of 32?
False
Suppose -38*g = 25*g + 2*g - 2327130. Is g a multiple of 221?
True
Let a be (-18)/54 + 196/3. Let f = a - 83. Is -2*(357/f - (-4)/3) a multiple of 19?
False
Let v(b) = 861*b**2 - 54*b - 99. Does 6 divide v(-3)?
True
Suppose 24*i - 339269 = 34699. Is i a multiple of 106?
True
Suppose 42*o - 39*o + 15 = 0, o + 859 = l. Does 5 divide l?
False
Suppose 14*u - 8 - 20 = 0. Suppose u*q - 20 = -26, 3*t = 5*q + 1443. Does 17 divide t?
True
Let y(r) = 6*r**2 + 16*r - 10. Let k be y(-3). Is 47 a factor of ((-61852)/(-235))/(k/(-10))?
True
Let b = -2140 + 2102. Let z(v) = -17*v**2 + v - 2. Let r be z(2). Let y = b - r. Is 15 a factor of y?
True
Is 28 a factor of 3573 + 1 + (-244 - -254)?
True
Is ((-2)/5 - (-1)/15) + (-3410035)/(-237) a multiple of 187?
False
Suppose 4*x - 4*k - 25180 = 0, -2008 + 14588 = 2*x - 4*k. Is 6 a factor of x?
True
Let i(x) = 2*x + 22. Let o be i(-9). Suppose 7*t - o*t + 30 = -3*d, -5*d + 60 = -5*t. Let s = 230 + t. Is 22 a factor of s?
False
Let l(o) be the second derivative of o**3 + 24*o**2 - o. Let c(i) = -i**3 + 9*i**2 - 6*i + 66. Let a be c(9). Is 40 a factor of l(a)?
True
Let h = -95 - -86. Is 13 a factor of (-8)/18 - 1030/h?
False
Suppose 0 = -4*w - a + 1089, 4*w = a + 868 + 227. Suppose -w = -5*s + 4*s. Does 42 divide s?
False
Let h = -19146 + 22346. Is h a multiple of 18?
False
Suppose 4*m = c - m, 4*c - 2*m = 0. Suppose r + 230 = 5*f + 788, c = f. Is r a multiple of 62?
True
Let x(y) = 147*y**2 - 9*y - 41. Does 137 divide x(-4)?
False
Let c(d) = d**3 - 3*d**2 - 3. Let y be c(3). Let j(h) be the second derivative of -h**5/10 + h**4/4 - h**3/3 - 3*h**2 + 31*h - 2. Is j(y) a multiple of 27?
True
Suppose 4*k - 12 = 3*f, 61*k - 62*k = -2*f - 3. Is 11 a factor of (100/k + 2/3)/1?
False
Let v(y) = 2195*y - 770. Is 90 a factor of v(4)?
True
Let t(g) be the third derivative of g**5/30 - g**4/8 + 17*g**3/2 + g**2 - 22. Is 5 a factor of t(8)?
True
Let k(f) = f**3 - 25*f**2 - 7*f + 638. Is 4 a factor of k(26)?
True
Suppose 3*n = -7*n - 240. Let h = -28 - n. Does 5 divide (-15)/2*h/(-10)*-5?
True
Let h be (-3)/15 - 1929*(-8)/60. Let b = -226 + h. Does 2 divide b?
False
Let w(d) be the second derivative of -d**4/6 - 3*d**3 + 3*d**2 - 3*d. Let g be w(-8). Suppose g*c - 1088 = 6*c. Is c a multiple of 4?
True
Suppose -12 = 4*x + 4, -4*h = -4*x - 2344. Let n = h + -363. Is 46 a factor of n?
False
Is 24 a factor of 5507 - 27*(-34)/(-51)?
False
Let l = 0 + -3. Let b(u) = 31*u**2 + 6*u + 25. Is 22 a factor of b(l)?
True
Let p(g) = -5*g - 42. Let q be p(-11). Is 11 a factor of ((-22)/(-4))/((q/(-12))/(-13))?
True
Let b(a) = 15*a - 38. Let r be b(3). Is 15 a factor of r*(-30)/(-35) - -354?
True
Suppose 0 = -7*n - 1574 + 1602. Suppose -n*h + 2099 = 347. Is h a multiple of 11?
False
Suppose -17*h - 1605 = -4767. Suppose -10*x = -h - 2654. Is 35 a factor of x?
False
Let o(c) = 49*c**3 + 4*c**2 + 11*c + 16. Let d be o(-2). Let w = -106 - d. Is w a multiple of 19?
False
Does 21 divide ((-498)/15 + 2)/((-151230)/5600 - -27)?
False
Is (-81)/33 + ((-252)/66)/7 + 7859 a multiple of 17?
False
Let k(t) be the third derivative of t**4/6 + 23*t**3/3 + 25*t**2. Let o be k(-11). Is 5 a factor of (21*(-48)/(-18))/(-1 + o)?
False
Suppose -27*l = -29*l + 2628. Suppose l = 7*h + 40. Is 26 a factor of h?
True
Let d = -20 + 315. Suppose -p - 151 + d = 0. Does 13 divide p?
False
Let b(j) = -2*j**3 - 21*j**2 + 3*j + 22. Let z(d) = -19*d - 353. Let r be z(-18). Does 55 divide b(r)?
True
Suppose 5*l = s - 69, -s + 3*l + 60 = -11. Suppose n - 3*k = -5*k - s, 0 = -5*n + 4*k - 328. Let y = 137 + n. Is y a multiple of 7?
False
Let b be -4*(-4 + -2 - -5). Suppose 9*q + 3*c - 5118 = b*q, c - 1024 = -q. Does 34 divide q?
False
Does 9 divide (12/42)/((-35)/(-6615))?
True
Let l = 7 + 41. Let p = 114 - l. Suppose 0 = -72*w + 75*w - p. Is 22 a factor of w?
True
Let c(j) = j**3 - 7*j**2 + 9*j + 1. Let a be c(5). Is 18 a factor of (-152)/((-85)/(-34)*a/25)?
False
Let v be -12*(5 + 0)/(-15). Suppose 0 = 2*n + v, 0 = -4*a - n + 30. Does 13 divide (52/a)/(1/22)?
True
Suppose -w - 26 = -2*q, 5*w = -q - 4*q + 65. Let n = 13 - q. Suppose 5*v - 4*g = 383, n*v - g + 73 = v. Is 15 a factor of v?
True
Suppose -7*i + 384 = 5*i. Suppose v + 4*d = 79, -36*v - 5*d + 305 = -i*v. Is v a multiple of 9?
False
Suppose 2*y - 6*y - 3*q = -8, 2*y = 3*q + 4. Let t = 85 + y. Suppose t = 8*i - 5*i. Does 4 divide i?
False
Let u(a) = -13*a + 57. Let p be u(6). Is 19 a factor of (105/10)/(p/(-812))?
False
Let u(p) = 2846*p - 576. Is 56 a factor of u(4)?
True
Suppose 0 = -4*r - 16, -2*y - 3*r + 295 = -127. Suppose y = 4*l + 17. Does 5 divide l?
True
Suppose 23887 = 15*h - q + 2509, 2*h - 2847 = -q. Is 25 a factor of h?
True
Suppose -3*u = v + 6, 3*v + 2*u - u + 2 = 0. Suppose -3*o + 4*q + 4720 = v, -5*o + 6*q + 7828 = 9*q. Suppose o = 3*l + 4*l. Is l a multiple of 28?
True
Let p(f) = f**3 - f + 0*f**3 + 1 + 3*f**2 - 7*f**3 - 7. Let x = -186 + 184. Does 14 divide p(x)?
True
Suppose -1476 = -264*k + 228*k. Is 2 a factor of k?
False
Let l(w) = 6*w + 23. Let z be l(28). Suppose 1081 = 12*n - z. Is 7 a factor of n?
False
Let v = 3428 + 2686. Does 56 divide v?
False
Let d(o) = -4*o**2 - 109*o - 52. Let n(h) = h**2 + 27*h + 13. Let y(s) = -2*d(s) - 9*n(s). Is y(-20) a multiple of 3?
True
Suppose 0 = 9*n - 12*n + 4608. Let o = n + -710. Is o a multiple of 7?
True
Is ((-1 + -5)/(-2))/((-152)/(-71896)) a multiple of 33?
True
Suppose 84 = 5*c - 11. Suppose w + 5 = a + a, -w + c = 4*a. Suppose -j = -4*d + 255, 265 - 45 = w*d + 5*j. Does 12 divide d?
False
Let d = -15 + 43. Suppose 0 = -r + 2*s - 14, -4*r + 2*r - 3*s - d = 0. Does 30 divide ((-48)/r)/(8/140)?
True
Let c(b) = -b**3 + 77*b**2 + 2*b - 1354. Is 15 a factor of c(33)?
False
Suppose 0 = 2*n - o - 951, -8*o = 3*n - 13*o - 1437. Suppose -n = -12*y + 1698. Does 21 divide y?
False
Let u(x) = 11*x - 4. Let t(s) = -56*s + 21. Let b(p) = -4*t(p) - 21*u(p). Let l be b(-13). 