)/(y/(-18)) + 84?
True
Let v be (7 - -47) + 1/1. Suppose -14*l + v = -43. Suppose l*z + 8*z = 4935. Is 47 a factor of z?
True
Let g(b) = b**3 - b - 1. Let d(m) = -5*m**3 - 8*m**2 + 7*m - 12. Let i(o) = -d(o) - 6*g(o). Let x be i(8). Suppose 4*k + x - 38 = 0. Is 6 a factor of k?
False
Let i = 66 + -294. Is 27 a factor of 1 + 6/(-8) + (-243219)/i?
False
Suppose -1178*c + 1179*c = 1030. Is 10 a factor of c?
True
Suppose -6*l = -3247 + 967. Suppose -5*q = -5*h + 1910, 0 = h + 5*q - 8*q - l. Is h a multiple of 38?
False
Let u = -181 + 186. Let o(z) = 5*z - 51. Let r be o(12). Is ((-57)/9 + u)/((-2)/r) a multiple of 3?
True
Suppose -5*s - 9*c + 53 = -7*c, s + 4*c - 25 = 0. Does 32 divide (s/4)/(8*(-12)/(-8192))?
True
Let j(o) = -o**2 - 6*o - 5 - 5*o + 0*o. Let f be j(-10). Suppose -u = -2*h - 150 + 40, f*h - 25 = 0. Does 20 divide u?
True
Suppose 0 = 158*t - 225960 - 1190668. Does 41 divide t?
False
Suppose -8*m + 19544 = 2*s, 4*s + 9792 = 9*m - 5*m. Does 4 divide m?
True
Let f(t) = -t**2 + 33*t - 37. Let p be f(12). Let h = p - -280. Is h a multiple of 15?
True
Suppose -2*a = -4*t + 2458, 0 = 15*a - 12*a + 3. Does 2 divide t?
True
Suppose d = -0*d + 41. Let k = 512 - d. Is 8 a factor of k?
False
Let o(u) = u + 1. Let x(b) = b + 12. Let y(c) = -2*o(c) - 2*x(c). Let g be y(-5). Is 17 a factor of (9/g)/(2/(-68))?
True
Let b be -2 + 35/15 - 8/(-3). Suppose -5*j + 4 = -b*j. Suppose 5*f = 4*y - 2*y - 105, y - 50 = j*f. Is 15 a factor of y?
False
Let z(a) = 14*a**3 + 22*a**2 + 33*a + 42. Let i(h) = 5*h**3 + 8*h**2 + 11*h + 14. Let r(p) = -17*i(p) + 6*z(p). Suppose 0 = 2*c - c + 8. Is 26 a factor of r(c)?
True
Is 22 a factor of (4 + (127864/(-6))/11)/(6/(-45))?
False
Let x(k) = k**2 - 20*k - 43. Let j be x(22). Let f be ((-65)/(-3))/((7/63)/j). Let d = 300 - f. Is d a multiple of 15?
True
Let o = 12105 + -6057. Is o a multiple of 18?
True
Suppose 5*z - 2*k + 152493 = 0, z + 4*k + 30503 = -0*z. Is -6 + z/(-42) - (-3)/(-18) a multiple of 15?
True
Let t(b) = 25*b - 19. Let v(m) = -m**3 - 9*m**2 + 2*m + 9. Let q be v(-9). Let w(n) = 13*n - 9. Let j(u) = q*w(u) + 4*t(u). Is 9 a factor of j(-5)?
True
Is 341 + (-15)/12*4 a multiple of 12?
True
Let h = 57 + -161. Let a = -397 - -177. Let w = h - a. Does 29 divide w?
True
Let q(z) = 15*z**3 - 19*z**2 + 311*z - 108. Is 8 a factor of q(12)?
True
Let v = -202 + 110. Let b = v + 94. Suppose 5*f + y - 662 = 0, b*y - 6 = -2. Does 22 divide f?
True
Let x(t) = 15*t**2 - 4*t - 7. Let i be x(-3). Suppose -o + i = f + 3*o, -f + 3*o + 126 = 0. Does 16 divide f?
False
Let r(x) = -x**3 - 4*x**2 + 3*x - 7. Let i = 43 - 10. Suppose 0 = -4*v + 3*o - i + 4, v + 14 = 3*o. Is r(v) even?
False
Let v(f) = -f**3 + 19*f**2 - 49*f + 263. Is 15 a factor of v(7)?
False
Let y(o) = 7*o**2 - 15*o + 2. Let c be y(2). Let s(t) = 4*t + 308. Is s(c) a multiple of 28?
True
Suppose 21*n - 4374 = -573. Does 2 divide n?
False
Let o = -894 + 893. Let a(q) be the third derivative of 23*q**5/30 + q**4/6 + q**3/2 - 2*q**2. Is a(o) a multiple of 25?
False
Let l(x) = 0*x - 3*x**3 + 3*x - 4*x**2 - 47 + 88 - 40. Is 49 a factor of l(-4)?
False
Suppose 21*f = 19*f + 92. Let x = f - 5. Suppose 40*c + 78 = x*c. Does 9 divide c?
False
Let q be 192/112 - 6/(-21). Is (-6 + (-18)/21)/(q/(-91)) a multiple of 8?
True
Let y = -600 + 606. Suppose 3*w - t - 4029 = -0*t, 2*t = -y. Is 85 a factor of w?
False
Let a = 0 + 3. Let b be (1 + 1 + -5)/(a/(-2)). Suppose -5*f + b*f = -150. Is f a multiple of 10?
True
Let q be 10/(-35) - 93/(-7). Suppose -o + 14 = q*o. Is 18 a factor of (((-6)/9)/((-3)/315))/o?
False
Suppose -n + 2*n = -2*h + 34, -3*n + 87 = 5*h. Let s(l) = -3*l**2 + 58*l + 6. Is 20 a factor of s(h)?
False
Suppose 0 = 2*u + y - 9202, 1918*y = u + 1913*y - 4590. Does 20 divide u?
True
Let r(v) = 5*v**2 + 22*v - 7. Let b be r(-5). Let f(h) = -3*h**2 + 0*h**2 + 2*h**3 - 3*h - 4*h**2 + 17 - h**3. Is 19 a factor of f(b)?
True
Does 16 divide 2291/(-12 + (-3)/((-96)/386))?
True
Let d(p) = -p - 12. Let h be d(-7). Does 25 divide 2/h + 9392/80?
False
Let f(u) = 2072*u**2 - 117*u - 116. Is 7 a factor of f(-1)?
False
Let c(q) = q**2 + 11*q - 5. Let k be c(-10). Let x be ((-8)/(-10))/(k/(-75)). Suppose -r = -x*r + 72. Is 6 a factor of r?
True
Let i(p) = -6*p**2 - 3*p + 2. Suppose -3*w = -5*a + 12, -2 = -5*w - a + 2*a. Let h be i(w). Let d(g) = -g**3 - 8*g**2 - 12*g - 15. Is 10 a factor of d(h)?
True
Suppose -45*x = -53*x + 22471 + 18089. Is x a multiple of 30?
True
Let f = 132 + 114. Let v = f - 174. Let j = v + -48. Does 10 divide j?
False
Let i be (5 - 5)*1/3. Suppose i = 210*h - 207*h - 90. Is 3 a factor of h?
True
Suppose 2*o + 8 = -2*o. Let d be (o/3)/(4/(-30)). Suppose 5*f - 3*b - 394 = 0, -3*f - 3*b = -d*f + 154. Is f a multiple of 20?
True
Let y = 525 + -39. Does 6 divide y?
True
Let h be (0 - (-6)/9) + 12208/12. Suppose -6*l - h + 5698 = 0. Is 65 a factor of l?
True
Let f be -5 - (-5 - -1 - -3). Let o be (0 - 4)*1/f*-3. Is (-159)/o - (-20)/(-5) a multiple of 6?
False
Suppose 24*p + 4*s - 14 = 23*p, 2*p = 4*s - 8. Suppose -c - 3*f + 834 = 0, p*f = -0*f - 4. Is 7 a factor of c?
True
Let w be (1 + 1)*(-1 - 66/(-4)). Let h = -16 + w. Is 4 a factor of h?
False
Let x(w) = -29 + 6*w + 6*w - 10*w - 5*w. Let r be x(-12). Suppose 4*t - r*t + 27 = 0. Is t even?
False
Let v be (-1)/(-5 + ((-10992)/(-3666) - -2)). Suppose 3*z - v - 433 = 0. Is z a multiple of 29?
True
Let m = -4790 + 5694. Is m a multiple of 17?
False
Suppose 0 = 7*k - 27 - 78. Is 20 a factor of (-24)/k*(1 + (-135)/10)?
True
Let f = -22 + 32. Suppose 5*i - f*i = 1085. Let v = -97 - i. Does 30 divide v?
True
Let p = -8 - -11. Let g(z) = z**3 + 6*z**2 - z - 3. Let q be g(-6). Suppose -5 = -d, q*i + 66 = -p*d + 177. Does 4 divide i?
True
Let w(r) = -r**2 + 54*r - 21. Is w(51) a multiple of 33?
True
Let g = 54869 - 25917. Is 13 a factor of g?
False
Let g = 2278 + -899. Does 7 divide g?
True
Suppose 2*l + 3*o - 434 = 6*l, -2*l - 230 = 5*o. Let u = -40 - l. Let b = -45 + u. Does 4 divide b?
False
Let q(f) = 3*f + 147. Let l be q(12). Let m = l + -142. Is 5 a factor of m?
False
Does 291 divide ((-194)/3)/((-1033765)/(-19881) + -52)?
True
Let f be -268*((-20)/(-8) - 3). Is 18 a factor of -12 + 6 + f - 2?
True
Let p(o) = -4*o**3 + 5*o**2 + 9*o + 23. Let x be p(-5). Let c = 1353 - x. Is c a multiple of 45?
False
Suppose 685*h = 692*h - 21. Suppose 0 = h*s + 4*q - 1309, 4*s - 1762 = -0*s + 3*q. Is 28 a factor of s?
False
Let f(l) = -60*l**2 - 9*l - 5. Let v be f(-2). Let y = -114 - v. Is 8 a factor of y?
False
Does 11 divide (-1485)/(-594) - (-12898)/4?
False
Let n(t) be the third derivative of 4/3*t**3 + 0 + 0*t - 19*t**2 + 2/3*t**4 + 1/12*t**5. Is 9 a factor of n(-6)?
False
Let i = 35 + -38. Let k be (-40)/i*54/45. Let b(r) = r**3 - 16*r**2 + 7*r - 30. Does 8 divide b(k)?
False
Suppose 0 = -2*u + 34 + 92. Is 8960/u + (-2)/9 a multiple of 9?
False
Suppose -18212 - 11976 = -m - 4*w, 60327 = 2*m + w. Does 16 divide m?
True
Suppose -2*b - 43 = -6*j + 5*j, -2*b + 4*j = 52. Is (-43300)/(-36) + b/(-90) a multiple of 74?
False
Suppose -4*b + 3*p - 113 = -13365, 9934 = 3*b - p. Does 18 divide b?
False
Suppose m = 2*m - 3*x + 20, -2*x - 80 = 4*m. Is 22 a factor of (-9)/45 - 11144/m?
False
Suppose -9492 - 2988 = -13*i. Suppose 24*j = 12*j + i. Does 5 divide j?
True
Suppose -5 = s, 4*w - 5*w + 5*s + 38 = 0. Suppose w*f - 1519 = 756. Suppose 65 = 3*p - f. Is p a multiple of 20?
True
Suppose -198 + 2074 = 4*t. Let r = t - 317. Suppose 2*c - r + 11 = p, 5*p - 205 = -3*c. Is 10 a factor of c?
True
Let y(s) = 2340*s - 2228. Is 22 a factor of y(4)?
False
Let z be (-60)/5*65/3. Is 23 a factor of ((-18)/15)/(-3)*z*-1?
False
Let f be ((-2)/(-12)*2)/(16/384). Suppose f*y - 7639 = -1799. Is y a multiple of 10?
True
Let s be (9 - 9) + 2 + 0/1. Suppose s*h = -2 + 28. Does 8 divide h?
False
Let v(g) = 2*g**2 + 40*g - 6. Let p be v(-25). Let i = p - 222. Does 11 divide i?
True
Let t(p) be the third derivative of -101*p**6/60 - p**5/60 + p**4/12 + p**3/2 + 8*p**2. Let z be t(-1). Let h = 283 - z. Is 27 a factor of h?
True
Let b(a) = a**2 - 2. Let s be b(3). Let z(y) be the first derivative of y**4/4 - 5*y**3/3 - 7*y**2 + 8*y - 530. Is 4 a factor of z(s)?
True
Suppose -65816 + 200280 = 64*x. Let u = x + -825. Is u a multiple of 17?
False
Let k = -69