 a multiple of 12?
True
Let t(b) = 18*b**2 - 4*b + 3. Let w = -18 - -19. Let d be t(w). Suppose -2*m + 7 = m - v, -3*m + d = 4*v. Is m a multiple of 2?
False
Let p(x) be the first derivative of 2*x**2 + 126*x + 33. Does 47 divide p(17)?
False
Suppose -49*s = -293*s + 2155740. Does 123 divide s?
False
Suppose -108*c + 9*c + 180887 + 259168 = 0. Is c a multiple of 59?
False
Suppose 293 = -6*q + 2*q + n, -2*n + 82 = -q. Is (q/(-16) - 3)/(6/560) a multiple of 20?
True
Suppose -s + 2*s + 20 = 4*b, -3*b + 2*s + 20 = 0. Suppose -b*g + 9*g - 700 = -3*l, -2*g - 8 = 0. Is 20 a factor of l?
True
Let u be (2/4)/((-2)/(-392)*2). Let k = 82 - u. Suppose d = 2*a + k, 2*d - 77 = 3*a - 6. Does 29 divide d?
False
Suppose 5*k = 5*v - 50, -1 - 9 = -k - 3*v. Is 20/(k - 0) - -441 a multiple of 33?
False
Let i be (-8)/24 - 12442/(-3). Let r = i + -2783. Is r a multiple of 62?
True
Let i(x) = x**3 - 6*x**2 + 5*x - 2. Let v be i(5). Let z(l) = 4*l**2 + 6*l + 3. Let c be z(v). Suppose c*b - 108 = 130. Is 16 a factor of b?
False
Is 57 a factor of (-1958747)/(-435) - (-6)/45?
True
Is (-25974)/259*(-476)/6 a multiple of 78?
True
Let c(q) = 130*q**2 + 40*q + 483. Does 75 divide c(-8)?
False
Let r = -324 - -118. Let q = r - -374. Does 42 divide q?
True
Let p(u) = -5230*u + 310. Let g be p(-9). Suppose 39*f = -7*f + g. Is 6 a factor of f?
False
Let r(x) = -48 + 26 - 3*x + 156 + 103*x + 50. Does 38 divide r(5)?
True
Let h(g) = 6*g**2 - 38*g - 35. Let z be h(7). Let o = 5 + -14. Is 10 a factor of 30/o*(-31 - z)?
True
Suppose 0 = -4*g + 28598 + 12554 - 3968. Is g a multiple of 56?
True
Let i = 69 - 65. Suppose -i*l + 406 = 3*l. Suppose 2*v - l = 24. Does 12 divide v?
False
Suppose -48*a = -50*a + 8. Suppose a*j - 1713 = 2503. Is 45 a factor of j?
False
Suppose -8*a = -10*a + 2088. Let w = -588 + a. Is w a multiple of 24?
True
Let g(l) = -2*l. Let z be g(-4). Suppose 30*p = 8*p + 66. Suppose 0 = -p*t + z*t - 270. Is t a multiple of 6?
True
Suppose -8*n = -2 + 674. Let q = n - -274. Is 19 a factor of q?
True
Suppose 0 = h + 2*m - 2, -m + 9 = -4*m. Suppose -4*v + h = -4*c + 4, -5*c + 11 = 3*v. Suppose -2*t + v*b = -178, -162 = -0*t - 2*t - 2*b. Is 9 a factor of t?
False
Let b = -304 + 124. Is b*4/(40/(-25)) a multiple of 9?
True
Let x(n) be the first derivative of -2*n**3/3 + 10*n**2 - 39*n - 61. Is x(5) a multiple of 3?
False
Let k(g) = 37*g - 6 - 22*g - 25*g. Let y = -245 - -230. Is k(y) a multiple of 36?
True
Let q(g) = 2889*g**2 - 20*g - 2. Is 47 a factor of q(-1)?
False
Suppose -111*q - 42082 = -179278. Is q a multiple of 6?
True
Let w be ((55/4)/(-1))/(1/(-48)). Let o = w + -352. Is o a multiple of 20?
False
Let i(l) = -l**2 + 10*l - 6. Let t be i(8). Suppose 157 = x + z, -3*x - t*z = -13*z - 447. Is 13 a factor of x?
False
Let y = 98 + -52. Let w = 50 - y. Suppose -2*f - 3*q - q = -12, 5*f - w*q - 58 = 0. Does 2 divide f?
True
Let d(c) = 50*c**2 + 21*c - 106. Is 65 a factor of d(6)?
True
Let k be 3 - (-1 + -31) - -2. Let i(h) = h - 2. Let o be i(5). Suppose 0 = o*j - u - 105, -4*u + 19 = 2*j - k. Is j a multiple of 14?
False
Let c = -12283 - -18289. Is c a multiple of 78?
True
Does 85 divide (-9231)/34*(-390)/9?
False
Suppose -223*t + 348*t - 317125 = 0. Is 59 a factor of t?
True
Let j = -631 + -521. Let c = -557 - j. Does 8 divide (-2)/4*-6 - c/(-7)?
True
Let q(t) = 77*t**2 - 185*t + 141. Is 117 a factor of q(12)?
True
Let y = -534 - -1081. Suppose 2*r - y = -97. Suppose -3*g = -135 - r. Is 12 a factor of g?
True
Let q(u) = -369*u + 1620. Does 18 divide q(0)?
True
Let s(d) = -4*d**2 - 21*d - 9. Let w be s(-6). Let o = 30 + w. Suppose t = i + 4*t - 147, o*i - 3*t - 477 = 0. Is i a multiple of 39?
True
Suppose l + 2*l + 5*b + 11 = 0, 3*b + 6 = -2*l. Let g(a) = -l + 6 + 5*a + 14*a**2 - 1 - 4*a**2. Is 13 a factor of g(3)?
False
Let w be (-8 + 10)/((-7)/28). Let s(a) = 12*a**2 + 7*a + 14. Does 22 divide s(w)?
True
Let c = 13148 + -6312. Is c a multiple of 87?
False
Let b = -5 - -10. Suppose -u - a = -4*a, -3*u + 4 = -b*a. Suppose -2*n = -p + 45, -p = -4*p + u*n + 120. Is p a multiple of 28?
False
Suppose -5*y + 96 = 2*d, 0 = 4*y - 3*d + 13 - 99. Suppose 622 = y*a - 1238. Is a a multiple of 24?
False
Let o = 34 - 31. Suppose o*l + 107 - 386 = 0. Suppose 5*c + 41 = 2*n, 0 = 5*n + 3*c - 6*c - l. Does 14 divide n?
False
Suppose 0 = c - k - 3 - 4, 5*c + 3*k = 19. Suppose -144 = -3*y - c*y. Let f = y - -16. Is f a multiple of 17?
True
Let h = 16593 + -4604. Is h a multiple of 109?
False
Is 11 a factor of (1012/(22 - 45))/(4/(-118))?
True
Let z = -376 + 379. Suppose 2*s = -5*k + 456, 0 = z*k - 4*s + 13 - 297. Is k a multiple of 23?
True
Let q(b) = 18*b + 4. Let a be (6/(-12))/(-1*1/(-2)). Let n be q(a). Does 15 divide -5 - n/4 - 214/(-4)?
False
Suppose l = 5*j - 7744 - 28272, j = 5*l + 7184. Is j even?
True
Let w = 4138 + 16821. Is w a multiple of 47?
False
Let t(z) = -z**2 + z + 1. Let p(i) = 153*i**3 - 3*i - 12 - i + 2*i**2 + 10. Let r(y) = -p(y) - 5*t(y). Is r(-1) a multiple of 17?
False
Suppose 0 = -2*x - 9*l + 7*l + 292, -294 = -2*x - 3*l. Let b be ((-1)/2)/((-2)/8). Suppose 0 = -6*t + b*t + x. Is 4 a factor of t?
True
Let f = 74 - 54. Suppose 25 + f = -9*y. Let v(t) = -t**3 + 2*t**2 - 2*t. Is v(y) a multiple of 37?
True
Let i(s) = 100*s**2 + 47*s + 88. Is i(10) a multiple of 9?
False
Let u = 1185 + 18729. Is u a multiple of 9?
False
Suppose 3*b = 3*d - 420, -4*b + 298 - 322 = 0. Is d a multiple of 11?
False
Let b = -279 - -281. Suppose -1133 = b*z - 4325. Is z a multiple of 76?
True
Does 26 divide (-3897)/(-15) - (-3 + 10 - (-612)/(-85))?
True
Let p(m) = 2*m**2 - 14*m + 20. Let y be 3/(-9) + (-88)/(-12). Let k be p(y). Suppose 17*r = k*r - 72. Is r a multiple of 2?
True
Let u = -54 - -57. Suppose -1651 = -5*o + 4*w + 415, u*w + 411 = o. Is o a multiple of 69?
True
Let x(a) = a**3 + 9*a**2 + 3*a + 50 - 2*a - 38. Let c be x(-9). Let m(b) = 4*b**3 + 3*b**2 - 8*b + 4. Is 15 a factor of m(c)?
False
Suppose 1 = i - 76. Suppose 0 = 132*s - 74*s + 2552. Let g = s + i. Is 11 a factor of g?
True
Suppose 10*z - 32*z + 39143 = -28815. Does 3 divide z?
False
Suppose 0 = -5*p + 10, -27*p + 120936 = 4*a - 25*p. Is a a multiple of 133?
False
Does 43 divide (4 + 222/9)/((-17)/(-3876))?
True
Let s = -276 + 277. Is 16 a factor of (128/72*39)/(s/3)?
True
Let c be 4/30 - (-10)/(-75). Suppose 0 = 2*m - j - 246, m = -c*m - 2*j + 113. Is 11 a factor of m?
True
Suppose -6 = 4*g + 7*x - 9*x, 3 = -g - x. Does 11 divide (g/((-32)/168))/(1/2)?
False
Suppose 4*j + 21 = 25, -w + 63 = 3*j. Is 3 a factor of (-9 - w)*(-1)/3?
False
Suppose v - 5*r = 2102, -57*r = -5*v - 58*r + 10536. Does 49 divide v?
True
Let w = 589 - 595. Is (3/w)/((-1)/2622) a multiple of 57?
True
Let u be -3 + 8 + 25890 + 1. Suppose 17*l + u = 43*l. Is 12 a factor of l?
True
Does 102 divide (-909)/(-1212) - (-8973)/4?
True
Let z be (-5)/(-3) - ((-40)/(-24) + -1). Let g(j) be the second derivative of 15*j**4/4 + j**2/2 - 7*j. Does 23 divide g(z)?
True
Is 162 a factor of (-96)/(-40)*-15*(-846)/4?
True
Suppose -7486*z = -7474*z - 261000. Is z a multiple of 83?
False
Let s = 480 + -477. Suppose s*d - 124 = -4*t, -4*t + 108 = -45*d + 44*d. Is 28 a factor of t?
True
Let s(y) = y**2 + 13*y + 20. Let m be s(-11). Let b(j) = -8*j + 50. Is b(m) a multiple of 2?
True
Is (-499 - 26)/((-6)/34) a multiple of 7?
True
Suppose 1591 = -5*h + 101. Let r = 454 + h. Does 12 divide r?
True
Let h = -17 - -20. Suppose -h*i = -138 + 12. Let p = -30 + i. Does 3 divide p?
True
Let q(k) = k**2 - 9*k - 67. Let d be q(-5). Suppose -5*s = -2*p - 540, d*s - 2*p - 343 = 3*p. Is s even?
True
Suppose -3*o - 6*i + 66312 = 0, -33316 + 121809 = 4*o - 3*i. Is 18 a factor of o?
False
Let b be 156/11 - 34/187. Let q be -6 - -5 - 7*-1. Suppose -t + k = -44, 2*k + q = b. Does 9 divide t?
False
Suppose 3*c - 3*v + 60 = -6*v, c + 28 = 3*v. Let u be 12/(-5)*(c/4 + 3). Is 14 a factor of 4/u - (722/(-3))/2?
False
Let b(l) = -l**3 + 67*l**2 + 78*l + 28. Is b(68) a multiple of 12?
True
Suppose 48*t - 2646 = -15*t. Does 28 divide (-112)/((-222)/t + 5)?
True
Suppose 0 = -0*o + o + 2. Let f be (520/(-70))/(o/7). Suppose 20*n - 18*n - f = 0. Is n a multiple of 4?
False
Suppose 22997 + 66427 = 27*j. Is 16 a factor of j?
True
Let s(b) = -23*b - 19*b**3 - 28*b**3 - 29*b**3 + 9*b**2 + 12 + 78*