 15, -9 = -3*f - 2*y. Suppose s + f = 3. Suppose 0 = 4*q - 5*g - 1210, -q + s*g = 2*g - 296. Does 25 divide q?
True
Suppose 0 = 5*q - 119 + 4. Let t = q - 29. Let p(l) = 3*l**2 + 7*l - 2. Is p(t) a multiple of 6?
False
Let i(f) = -523*f**3 + f**2 + f. Let j be i(-1). Let w = 831 - j. Is w a multiple of 35?
False
Let z be (-78)/2*(-4)/6. Let t be 3 - (-13)/z*(-4)/(-2). Is 34 a factor of 3/((-6)/t) - -70?
True
Suppose 18*a + 80059 = 21*a + 2*x, -x = 3*a - 80060. Is 20 a factor of a?
False
Let l(o) be the third derivative of o**8/20160 - o**7/720 + o**6/120 + 13*o**5/60 + 27*o**2. Let v(z) be the third derivative of l(z). Is v(-6) a multiple of 7?
True
Suppose -2 + 2 = 16*h. Let m(u) = u**2 + 2*u + 420. Is 42 a factor of m(h)?
True
Suppose -2*x + 12156 = 3*l, 4*l - 3*x - 13088 = 3103. Does 54 divide l?
True
Let u(j) = 295*j - 302*j - 35 - 83. Is 46 a factor of u(-28)?
False
Let p = -1730 + 5343. Is p a multiple of 9?
False
Let b(l) = -46*l - 25 - 8*l + 0 + 4*l. Is b(-4) a multiple of 19?
False
Suppose 5184 = d - 57*g + 58*g, -3*d - 5*g + 15552 = 0. Is d a multiple of 64?
True
Let q(n) = 3*n**2 - 7*n - 52. Let c be q(-5). Let j = 8 - 4. Is 4 a factor of c - (12/j + 1)?
False
Suppose -x + 3*m = 4*x - 795, -3*m + 177 = x. Is 2 a factor of x?
True
Let g(d) = -d**3 + 22*d**2 + 51*d + 18. Let j be (-36)/(-5)*3*(-40)/(-36). Is g(j) a multiple of 18?
True
Let g be (1/2)/(2/8976). Is 13 a factor of (g/99)/((-2)/(-39))?
True
Suppose -2*a = -2*a - a. Let h be 14 + -14 - a/(-1). Does 5 divide (2*1)/(h + (-1)/(-6))?
False
Let u(z) = 128*z**2 - 18*z + 1. Let k be u(-3). Let o = k + -739. Is 12 a factor of o?
True
Suppose 0 = 23*x - 21*x + 6. Suppose -3*i + 3 = -5*c, -2*c - 10 - 4 = 2*i. Is 9 a factor of (x/i)/(9/756)?
True
Suppose 49*a + 44*a + 0*a - 1763094 = 0. Does 7 divide a?
False
Suppose -3*b - 10*b + 182 = 0. Suppose 0 = -b*r - 0*r + 4704. Is 8 a factor of r?
True
Suppose -16 - 21 = -5*l + 4*h, 0 = -3*l - 5*h. Suppose 5*w = -3*k + 5, 0*w = 5*k - l*w - 75. Is 4 a factor of ((-1)/5 - 0) + 82/k?
True
Suppose 29*l = 280103 + 284527. Is 66 a factor of l?
True
Let s = 43 + -15. Let o(b) = -11 - 13 - 2*b + s. Does 8 divide o(-2)?
True
Is 9 a factor of (-111021)/(-18) + 12/(72/(-5))?
False
Let d(n) be the third derivative of 1/60*n**5 + 0*n + 1/8*n**4 + 1/6*n**3 + 0 - 137/120*n**6 + 18*n**2. Is d(-1) a multiple of 19?
False
Let p = -17 + 20. Let l be p*-1*(-24)/72. Is 2 a factor of (28/70)/(l/(-70)*-2)?
True
Let i be ((-8)/6)/(80/(-60)). Let n be (-6)/(2 + i) - -108. Let w = n + -6. Does 31 divide w?
False
Let y be 34/238 + 25031/7. Suppose -y = -82*z + 76*z. Is 20 a factor of z?
False
Let h(c) = 5*c**2 - 5*c + 11. Let y = -9 + 3. Let a be h(y). Suppose 3*r = 7 + a. Is 38 a factor of r?
True
Let t(w) = 51 + 7*w + 2*w - 9 + w**2 + 0*w. Does 21 divide t(-10)?
False
Suppose z - 16*z = -30. Suppose 5*c = -25, 0 = z*i - c + 402 - 1171. Is 48 a factor of i?
False
Suppose -10*h = -6*h - a - 12769, 6380 = 2*h - 2*a. Is 29 a factor of h?
False
Suppose -24 = -4*q + 6*q - 2*j, -2*j - 21 = q. Let v be ((-378)/q)/(37/(-20) + 2). Let u = -96 + v. Is 17 a factor of u?
False
Let b = 42 + -42. Suppose b = 2*d - 3*t, -3*d - 2*t + 7*t = 0. Suppose 4*u - 3*x - 843 = 0, -9*u + 8*u + 2*x + 212 = d. Is 42 a factor of u?
True
Let n = -59 + 531. Suppose -n = 4*f - 160. Let u = f + 239. Is 27 a factor of u?
False
Let j be 6/4*5/((-15)/(-4)). Suppose 38 - j = 9*z. Is ((-354)/z)/(-3) - (-4)/(-8) a multiple of 5?
False
Suppose -606 = -3*t + 624. Suppose -5*s - t = -2215. Is s a multiple of 26?
False
Let a = 14736 + -9736. Is a a multiple of 40?
True
Let t = 8501 + 687. Is t a multiple of 35?
False
Let p(o) be the first derivative of o**4/4 + 25*o**3/3 - 19*o**2/2 + 7*o + 11. Is p(-25) a multiple of 22?
False
Let q = 19 - 28. Let d = q - -13. Does 6 divide (-28)/(d + 14/(-3))?
True
Let n(u) = 4*u**3 + 12*u**2 + 16*u - 14. Let g be n(10). Let x be g/189 + 2/(-7). Does 9 divide (441/x)/(6/16)?
False
Suppose 0*z - z - 4*h + 26 = 0, 3*z = -4*h + 46. Let p(r) = -2*r**3 - 28*r**2 - 3*r - 41. Let k be p(-14). Is (35/z)/(k/14) a multiple of 15?
False
Suppose 24 = 19*p - 7*p. Suppose 3*t + p*c - 14 = 0, 26 = 5*t - 0*t + 4*c. Suppose 0 = -4*g - t*j + 358, 2*g - 119 = -3*j + 58. Is 18 a factor of g?
True
Let n be 249/(-21) + (-2)/14. Let j(v) = -v**3 - 12*v**2 + 6*v + 7. Let d be j(n). Let q = d - -97. Is 27 a factor of q?
False
Suppose 2*y - 4809 = -5*j - y, 0 = j - 5*y - 945. Does 32 divide j?
True
Suppose -9400 = -5*d - 4*s + 16262, -9 = -3*s. Is d a multiple of 57?
True
Let s(p) = -2*p**3 - 6*p**2 - 3*p - 3. Let x be s(-4). Let r = 147 - x. Let g = r - 8. Is g a multiple of 14?
True
Is 7585230/170 + (-4 - -1) a multiple of 44?
True
Let z(x) = -90*x - 2. Let q be z(-1). Let c = q + -57. Let t = c + 8. Is 9 a factor of t?
False
Let w(y) = 322*y**2 - 121*y - 597. Is 79 a factor of w(-5)?
True
Let a be (30/(-8))/(76/32 + -2). Let v be (a/25)/(1/20). Is 11 a factor of (-1 - 30/v)*22*2?
True
Suppose -3*k = 5*s - 21, -3*s + 16 = 2*k + s. Suppose 6*a = 4*a + k*w + 354, 3*a - 532 = 4*w. Suppose 4*v = -a + 616. Is 16 a factor of v?
False
Let p = -99 - -169. Let b = p + -54. Is 8 a factor of b?
True
Let x = 1328 - -1215. Let g = -1679 + x. Is g a multiple of 5?
False
Let w(h) = h**3 - 7*h**2 + 5*h + 6. Let a be 1 - -3 - 7 - -9. Let j be w(a). Suppose -3*q + 2*f = -193, j*f - 5*f - 248 = -4*q. Is 14 a factor of q?
False
Let o(y) = 9*y**2 - 72*y + 703. Is o(10) a multiple of 68?
False
Let b = -632 + 620. Let f(j) = -62*j + 43. Is 17 a factor of f(b)?
False
Suppose 6*w = 3*w + 198. Suppose 12*h - 5*h = -140. Let p = w + h. Is p a multiple of 8?
False
Let v(i) = -16*i + 118. Let g be v(7). Suppose g*y - 1250 = y. Does 25 divide y?
True
Suppose -8*o + 19032 = -21*o. Let c = o + 2104. Is c a multiple of 40?
True
Suppose -122*n + 126*n + 3*p = 32715, 5*p + 147273 = 18*n. Is 113 a factor of n?
False
Let s be 3 - (0 - (-6)/24*-76). Suppose s*d = -33*d + 26180. Is 8 a factor of d?
False
Does 47 divide 0 + (-58835)/((-63)/9)?
False
Let m be (15/((-45)/9))/(3/(-191)). Let y = -37 + m. Does 11 divide y?
True
Suppose -4*u - 3*t + 7236 = 0, 3*t - 6*t = 2*u - 3612. Is u a multiple of 33?
False
Suppose -28 = -3*g - 2*k + 1080, k = g - 366. Suppose -y + 823 = -4*x, y + x - 450 = g. Does 9 divide y?
True
Suppose 2034*o = 2054*o - 363840. Does 24 divide o?
True
Let n = -91 + 103. Suppose 5*a + 161 = -3*h - 58, -n = -4*a. Is 13 a factor of (-5)/(1/h*2)?
True
Suppose -1 = x - 2*x. Let h be 489*((x - -2) + (-80)/24). Let o = 254 + h. Is 7 a factor of o?
True
Let m be 44/(-77)*14/4. Let z(b) = 3*b + 10. Let c be z(m). Suppose c*o = -52 + 272. Does 6 divide o?
False
Let n be (-23)/(-7) - 0 - 148/518. Suppose -5*u - 424 = -6*z + 3*z, 3*u = n*z - 426. Does 13 divide z?
True
Let d be 7048*(-6)/36*6/(-4). Suppose -9*h = d + 1784. Is (-9)/6*h/3 a multiple of 36?
False
Let d be -2 - (-30)/9 - 572/33. Is 16 a factor of (-321)/12*-18 - 8/d?
False
Let q = -124 + 126. Suppose 2*l + 5*w + 12 = 0, l - 14 = 2*w - q. Suppose -g - 109 = -2*a, -a = -l*g - g - 59. Is a a multiple of 6?
True
Suppose 20025 = 8*a - 8183. Suppose -4*p + 546 = -a. Suppose -2951 - p = -21*o. Is 20 a factor of o?
False
Is -32244*(203/(-28) - -7) + 3 a multiple of 9?
True
Let p = 8 + -4. Suppose p*u + 15 - 167 = 0. Suppose -97 = -9*b + u. Does 9 divide b?
False
Let g(p) = -11064*p - 82. Does 169 divide g(-1)?
False
Let h(i) = -326*i**3 + 12*i**2 - 22*i - 10. Is 17 a factor of h(-4)?
False
Let n = 17029 + -7973. Is 12 a factor of n?
False
Suppose 2*j - 4*w + 4 = 0, -3*j = 2*w - 0*w - 10. Suppose -12 = 3*z - 8*z + j*h, 2*z = -5*h + 28. Is 32 a factor of (z/6 + -1)/(2/(-294))?
False
Let j(l) = -l - 5. Let m be j(-6). Let u = -5 - m. Is 6 a factor of (-10)/(-15) - 248/u?
True
Let i(s) = -4*s + 0 + 15 - 3*s + s**2. Let p(a) = -a + 1. Let u be p(-5). Does 2 divide i(u)?
False
Let h(z) = -z**3 - 2*z**2 + 3*z - 3. Let t be h(-3). Let c be 2 - t*3/(18/68). Suppose -3*l - c = -327. Is 26 a factor of l?
False
Let o = -9757 + 28939. Is 5 a factor of o?
False
Is 120/100 + 15216/(-40)*(-259)/2 a multiple of 8?
False
Let q be 56487/38 + 3/2. Suppose 4*b + 4*b = q. Is 23 a factor of b?
False
Is (34892/(-305))/(4/(-30)) a multiple of 66?
True
Let o be (-4 - (-36)/4) + 2. Suppose 5*t - 