
Let h be (2 - (-148)/(-12)) + 1/3. Is 19 a factor of ((-1)/(-4))/(h/(-21720))?
False
Let v be (-30)/(-4)*(-12)/(-18). Let o(a) = 4*a**2 + 24*a - 30. Let x(l) = -3*l**2 - 16*l + 20. Let f(w) = 5*o(w) + 7*x(w). Is f(v) a multiple of 2?
False
Let n = -1057 - -3766. Is 9 a factor of n?
True
Let s(a) = -59*a + 2*a**2 + 21*a + 105 - 5*a. Is 67 a factor of s(27)?
True
Let f(s) be the third derivative of 0*s - 3/8*s**4 + s**2 + 0 - 14/3*s**3. Does 19 divide f(-13)?
False
Suppose 16*i - 54 = 90. Let y(u) = -14 - 2*u - i + 0. Is y(-14) a multiple of 2?
False
Is 61 a factor of (-2125656)/(-396) + 2/(-66)*-6?
True
Let l be 0 + -4 + (-7 - -8) - -1. Does 2 divide 72 - (l/14 + 80/(-28))?
False
Let b(q) = 345*q - 341*q + 52*q**2 - 4 + 31*q**2. Is b(2) a multiple of 24?
True
Let w = 13161 - 6582. Is 43 a factor of w?
True
Let u(q) = q**3 + 7*q**2 - 14*q - 12. Let b(k) = k - 1. Let c be (15*6/(-27))/((-2)/(-3)). Let i(j) = c*b(j) - u(j). Is 3 a factor of i(-8)?
True
Let v = 19969 + -7782. Is v a multiple of 9?
False
Suppose 104 = 3*p + 32. Is -3 - 6/(p/(-1036)) a multiple of 6?
False
Let z be 57/2*(-1)/(30/(-20)). Suppose -7*r - z*r = -14768. Does 14 divide r?
False
Let j(c) = c**3 + 27*c**2 - 108*c + 20. Does 7 divide j(-24)?
True
Let k be (-3)/(-15) - 9*6/45. Let w(o) = o + 15. Let v be w(-8). Is 17 a factor of k - ((-288)/v + (-5)/(-35))?
False
Let f be 2/10*657 - 9/(-15). Let r = f + -132. Suppose r*q = 10*q - 1680. Does 8 divide q?
True
Does 13 divide (-4720)/(-24)*2712/40?
False
Let d be (-64)/6*(-9)/(-2). Let o(q) = q**2 - 4*q + 16. Let s be o(14). Let m = d + s. Is m a multiple of 9?
True
Is (17 - (-72)/(-8)) + (12837 - 7) a multiple of 131?
True
Let u(q) = 2*q**2 - 10*q - 9. Let j be u(8). Suppose -2*h = 4*b - 118, -h + j = -2*b - 28. Does 15 divide 150/7 - 27/h?
False
Let z(a) = 31*a + 160. Let l = 587 - 577. Is 10 a factor of z(l)?
True
Let x(y) = 7*y**3 - 14*y**2 + 83*y - 46. Is 19 a factor of x(10)?
True
Suppose 9*q - 5 = 8*q. Suppose f + 6 = -q. Let z(m) = m**2 - 2*m + 13. Is z(f) a multiple of 25?
False
Suppose 7 + 3 = 2*h. Suppose -4*z + 2*d + 2*d + 464 = 0, 98 = z + h*d. Is 2 a factor of z?
False
Let g(u) = 2*u**3 + 12*u**2 + 21*u - 152. Does 2 divide g(5)?
False
Suppose -4*k - 8*i + 3*i = -9796, 4*i = -2*k + 4898. Is 31 a factor of k?
True
Let f(x) be the first derivative of -10 - 16*x + 5*x**3 - 1/4*x**4 - 8*x**2. Does 38 divide f(13)?
True
Suppose 20 = 8*k - 4. Suppose 0 = -k*s + 11 - 5. Is 1 + 70 + -3 + s a multiple of 9?
False
Suppose 0 = 1824*f - 1798*f - 21268. Is f a multiple of 6?
False
Suppose -5*a - 5*u + 9*u = -2168, -4*a - 2*u = -1750. Is 10 a factor of a?
False
Let f(r) = -40 + 52*r - 88 + 95. Is 6 a factor of f(2)?
False
Suppose -26*l = -37*l - 275. Is ((-6)/2 - l)/((-26)/(-117)) a multiple of 33?
True
Let t(g) = 7*g**2 - 30*g + 578. Let o(c) = 10*c**2 - 29*c + 579. Let s(p) = -2*o(p) + 3*t(p). Is 9 a factor of s(0)?
True
Let r = 4210 + -4061. Let v be 2*-1 + 1 + -103. Let k = v + r. Does 5 divide k?
True
Let d = 7396 - 3486. Is d a multiple of 70?
False
Let d(a) = 309*a - 2. Let t be d(-1). Let l = t + 697. Is 30 a factor of l?
False
Suppose 213*j = 37*j + 9563840. Is 41 a factor of j?
False
Let t(q) = 227*q**2 + 267*q + 1928. Does 17 divide t(-7)?
False
Let n = -64 - -146. Let q = n + -62. Suppose 0 = -q*x + 2*x + 1944. Is x a multiple of 12?
True
Let w = -47 - -44. Let f(x) = x**3 + x**2 - 1. Let z(k) = 2*k**3 + 21*k**2 - 15*k - 27. Let i(d) = w*f(d) + z(d). Is 2 a factor of i(17)?
True
Let b(m) = 36*m + 112. Suppose 20*u - 462 = -13*u. Is 32 a factor of b(u)?
False
Let k be ((-2055)/6)/(21/(-42)). Suppose 10*j = k + 175. Is j a multiple of 43?
True
Let h(n) = 122*n - 7653. Let w be h(64). Let g be 0/2 - -105*4. Suppose -5*j + w = -g. Does 13 divide j?
False
Let n = 301 + -343. Suppose 4*d + d + 2*m = -65, -3*m = -3*d - 39. Let g = d - n. Does 3 divide g?
False
Does 89 divide 212*((-9)/(-36)*150 - -7)?
True
Let v(d) = 6*d + 8 - d**2 + 3*d**2 - d**2. Let q(y) = -2*y**2 + 29*y + 8. Let m be q(15). Does 2 divide v(m)?
False
Let y = -2056 - -11995. Suppose -109 = -32*z + y. Does 21 divide z?
False
Let t(v) = 3*v**2 - 30. Let o(c) = 41*c - 11. Let y be o(4). Let w be 68/y - 68/(-9). Is t(w) a multiple of 14?
False
Is 189/(-252) + 40230/8 a multiple of 101?
False
Does 12 divide 6348/10 - (((-3120)/50)/(-13) - 6)?
True
Suppose -422 = -4*j + 5*o, 0 = 2*j - 3*j + 2*o + 104. Suppose 3*a + a - j = 4*m, -3*a - 2*m = -106. Suppose a*t + 40 = 36*t. Is t a multiple of 2?
True
Let v = 40 - 16. Suppose 0 = 4*m - o - 83, 15 = 3*o - 0*o. Let q = v + m. Does 10 divide q?
False
Suppose 0 = 4*h - 3*v - 386 - 2984, 0 = 2*h - 2*v - 1686. Let p = h - 556. Is p a multiple of 56?
False
Let w = 39 + -39. Suppose t - 11 + 4 = w. Let h(x) = 32*x + 61. Is h(t) a multiple of 45?
False
Suppose 0 = -5*w + 5*q + 300860, -w - 592*q + 594*q + 60165 = 0. Is 292 a factor of w?
False
Let t(g) = 21*g**2 - 242*g + 978. Does 8 divide t(27)?
False
Let a = 230 - 231. Is a/(((-5)/1685)/1) a multiple of 47?
False
Suppose -215*p - m - 16109 = -219*p, 2*p - 8062 = -2*m. Is p a multiple of 19?
True
Let u(m) = -9*m - 72. Let y be u(-8). Suppose -11*p + 93 + 2305 = y. Is 69 a factor of p?
False
Let c be 4/4*(3 - -6). Let m = c + 1. Is (-5)/(m/98)*-2 + -4 a multiple of 11?
False
Let d(w) = 241*w**2 + 31*w - 158. Is d(6) a multiple of 272?
True
Let n = 78 + -73. Suppose -g - 744 = n*j - 18, -3*g = 4*j + 583. Let t = -89 - j. Does 8 divide t?
True
Let a be 0/2 + (-4)/1 + 133. Let r = -1 + a. Suppose 5*l = -2*m + r, -6*m = -m - 5*l - 250. Does 9 divide m?
True
Let z = -86 + 91. Let s = 92 - z. Is 32 a factor of s?
False
Let q = -71 + -188. Let l = -137 - q. Suppose 0 = 2*g - 4*h + 8*h - l, 4*g - 2*h = 194. Is 26 a factor of g?
False
Let j be -2 - -1 - (1 + -2). Suppose j = 3*k + k - 856. Suppose 2*c = -4*d + 6*c + 288, 0 = 3*d - 5*c - k. Is 22 a factor of d?
False
Let q = 253 - 249. Suppose -770 = -d - 5*m, -d + 3894 = q*d + 3*m. Is 20 a factor of d?
True
Suppose l = 3*g + 843 + 1618, -4*l - 4*g = -9780. Is l a multiple of 79?
True
Let s(g) = g**3 + 11*g**2 - 10*g - 16. Let p = -7 + -3. Let q be s(p). Suppose -3*r + q = a, 209 = 3*r - 2*a - 2*a. Does 9 divide r?
True
Suppose 3*l + 5*z + 53 = 0, -z = 5*l + z + 101. Is (-48)/(-56) - 6828/l a multiple of 20?
False
Let r be (9 - (-21)/(-2))*-2. Suppose -4*i + 668 = -4*w - 4, 5*w = r*i - 494. Is i a multiple of 14?
False
Let s(b) = -16*b**3 + 13*b**2 + 4*b - 23. Is 6 a factor of s(-3)?
False
Let u = -639 - -681. Suppose -u*x + 15*x = -2052. Is x a multiple of 19?
True
Suppose -3085 = -5*t - 745. Suppose -3*q + q = -t. Is 26 a factor of q?
True
Let t be (-1 - -2)/((-7)/1624*-4). Suppose z - 284 = t. Is 34 a factor of z?
False
Let x(l) = -15*l**3 + 21*l**2 - 4*l - 18. Let c be x(-11). Suppose -5*b = -48*b + c. Is b a multiple of 43?
False
Let x(v) = v**3 + 31*v**2 - 35*v - 35. Let t(j) = j**3 + 6*j**2 - 5*j - 18. Let d be t(-7). Is x(d) a multiple of 18?
False
Let p = 97 + -90. Let b(u) = -1 + 4*u - 6*u + p + 13. Is 3 a factor of b(7)?
False
Suppose -2*w = 3*w - 1055. Suppose 0 = -m - 4*o + w, 0 = m + 4*o + o - 215. Is m a multiple of 39?
True
Suppose 21*h = -55731 + 94579 + 121235. Is h a multiple of 36?
False
Let l = -403 - -517. Suppose -2*z - l = -3*k + 517, 5*z + 193 = k. Is k a multiple of 23?
False
Let y(b) = 7*b + 28. Let h(q) = 7*q - 114. Let l be h(18). Is 16 a factor of y(l)?
True
Let v(w) = 2*w**2 + w - 2. Let l be v(-2). Let t be (-1)/((-136)/320 - l/(-10)). Does 10 divide t/(-6)*(-342)/95?
False
Suppose -34*v - 99*v = -3024021. Does 11 divide v?
True
Suppose -6*r + 13070 = 16874 - 50184. Does 10 divide r?
True
Let k(v) = -8*v**2 - 264*v + 29. Is 67 a factor of k(-10)?
False
Does 3 divide 18/(-21)*((-385030)/42 + 56/(-196))?
False
Let s(y) be the second derivative of y**4/12 - y**3 + 15*y**2/2 - 23*y. Let j be s(13). Is -1 + j/(4/4) a multiple of 9?
False
Let o(d) = 279*d**2 + 19 - 285*d**2 + 5 - 6*d - d**3. Let b be o(-11). Suppose 0 = 5*n - n + 2*j - 698, 4*n - b = j. Is 20 a factor of n?
False
Let x be 2/(-7)*(13 + -6). Is -15*(-3 + (-10)/(-6) + x) a multiple of 34?
False
Suppose x - 20155 = 5*y, 100709 = -165*x + 170*x - 3*y. Does 186 divide x?
False
Let q(h) = -h**2 + 2*h + 108. Let z be q(0). Let a be (z/15)/((-5)