. Is b a multiple of 8?
False
Let v = -588 + 607. Suppose v*x - 19739 = -2297. Does 51 divide x?
True
Let h be 76 - (0/(-1))/1. Let n = 1790 - 1709. Suppose -h*l = -n*l + 20. Is l a multiple of 3?
False
Suppose 33*a - 23*a - 60 = 0. Let y(z) = 24*z + 56. Is y(a) a multiple of 9?
False
Suppose 0 = 2*c + 5*f - 525 - 671, 2*c - 3*f = 1196. Let l = c + 580. Is l a multiple of 18?
False
Suppose -5*g = 2*v + 773, 0*g = -3*g - 5*v - 479. Let c = -101 - g. Suppose 174 = -49*y + c*y. Is 4 a factor of y?
False
Does 77 divide (-34 - 467458/(-259)) + 2/28*2?
True
Suppose -5*m = 3*z - 247058, -98848 = -2*m - 19*z + 24*z. Is 13 a factor of m?
False
Let m = 14682 + -11604. Is 24 a factor of m?
False
Suppose 5*a + 0*a + b - 2605 = 0, -2105 = -4*a - 5*b. Suppose 0*o = -2*o - 4*r + a, -3*o - 2*r = -764. Does 16 divide o?
False
Suppose -2*j + 4*n + 8 - 24 = 0, 0 = j + n - 7. Suppose 5*d - 20 = j*d - 5*s, -5*s = -20. Suppose -b - 3*b + 324 = d. Is b a multiple of 18?
False
Suppose 0 = -4*p - 4*r + 3560, 2*p + 336*r = 332*r + 1774. Does 5 divide p?
False
Let n = 1293 - 1291. Let k(y) = -y + 1. Let r be k(1). Suppose 3*u + r*m + n*m - 127 = 0, 4*m + 136 = 4*u. Is 3 a factor of u?
True
Let v = 770 + -479. Let n = 728 + -249. Let k = n - v. Does 47 divide k?
True
Does 33 divide (-7)/1 - (-8 + -4421) - 0/2?
True
Let a = -4014 + 11079. Does 15 divide a?
True
Let w(k) = k**2 + k. Let g(d) = 5*d**2 + 12*d + 5. Let y(r) = g(r) - 6*w(r). Let h be y(6). Suppose h*t - 125 = 250. Is 5 a factor of t?
True
Let m(b) = 5*b**2 + 172*b + 60. Is 9 a factor of m(-42)?
True
Does 11 divide ((-11618)/(-296))/(4/(-14) + 760/2464)?
True
Let r be 4 + (627/1 - (7 + -6)). Let c = -270 + r. Is c a multiple of 14?
False
Let s(r) = -r**3 - 10*r**2 - 9*r + 8. Let x be s(-9). Does 42 divide 6/(-2) + (351 - 4 - x)?
True
Let p(z) = -z**3 - 3*z**2 - z + 1. Let h be p(-3). Let d(q) = 4*q**2 + 11*q + 31. Let u be d(-7). Is 50 a factor of (1 + (-39)/(-9))/(h/u)?
True
Let n = 14737 - 5039. Does 17 divide n?
False
Let r = 922 - 634. Is 8 a factor of r?
True
Let m(k) = 24*k**2 - 60*k - 1086. Is m(-14) a multiple of 63?
False
Suppose -44*r - 5772 = -35340. Does 16 divide r?
True
Suppose 3*m - 12 = m. Suppose 11*v - 5 = m*v. Suppose -7*z = -v - 335. Does 16 divide z?
True
Is 13 a factor of (-15)/6*(-8)/(-130) + (-1189836)/(-2691)?
True
Let w(v) = -3451*v**3 - 51*v - 95. Does 133 divide w(-2)?
False
Suppose -3*a - 19756 + 3071 = -50*a. Does 71 divide a?
True
Suppose -4*p = -2*o - 11448, p - 47*o = -48*o + 2865. Is p a multiple of 88?
False
Let w = -445 + 2597. Suppose -5*t - 4*a + w = 0, t + 4*a = 182 + 242. Is t a multiple of 36?
True
Suppose 48 = -2*a + 6*r - r, -20 = 2*a + 2*r. Let t(u) = 21*u - 26. Let z be t(a). Let y = -200 - z. Does 24 divide y?
True
Let x(m) be the second derivative of 5*m**3 + 4*m**2 - 15*m. Let q be x(2). Suppose -18*o + 22*o - q = 0. Does 8 divide o?
False
Let k(q) = q**2 + 6*q + 32. Let j(m) = 2*m - 27. Let w be j(-13). Let d = 39 + w. Is 24 a factor of k(d)?
True
Suppose -12 = x + 3*d, -19 = -3*x + d - 5. Suppose 0 = -15*n + x*n + 3624. Let y = n + -76. Is 20 a factor of y?
False
Let x(o) = 3*o**3 - 6*o**2 + 4*o - 209. Is x(9) a multiple of 8?
True
Let g(w) = 3*w**2 + 19*w + 9. Let r be g(-6). Let q(m) = -35*m**r - 15*m**2 + 10*m + 34*m**3 - 20 + 3*m. Is 17 a factor of q(-16)?
False
Let w be (-5 + (-290)/(-30))/(2/(-3)). Let o(m) = -63*m - 25. Is o(w) a multiple of 32?
True
Let i(s) be the second derivative of 185*s**4/12 - s**3/3 - 3*s**2 - 11*s. Let c be i(-2). Suppose 11*j = 978 + c. Does 35 divide j?
False
Let j(l) = l**3 + 18*l**2 - 18*l - 21. Let s be j(-18). Let f = 371 - s. Is 45 a factor of f?
False
Suppose 0 = -4*m - 5*o + 7081, -3*o = -205*m + 203*m + 3513. Does 10 divide m?
False
Suppose -5*z + 225 = -3*s, 2*s + 10*z - 5*z + 125 = 0. Suppose -5*r = -3*c + 115, 6*r - 5*r = c - 25. Let n = r - s. Does 4 divide n?
False
Suppose 0 = -3*p + 5*f + 1059 + 6676, 0 = p - 3*f - 2577. Suppose -16*m + 22*m - p = 0. Is 43 a factor of m?
True
Let y(x) be the second derivative of 2*x**4 - x**3/2 - x**2 + x. Suppose -51 = 129*t - 309. Is 22 a factor of y(t)?
True
Suppose 2*r - 2*b = 35358, -10*b + 112770 = 5*r + 24300. Is 22 a factor of r?
False
Let q = 5624 - -340. Does 12 divide q?
True
Let w(n) = -n**3 - 42*n**2 - 41*n - 11. Let p be w(-41). Let x(q) = -q**3 - 9*q**2 + 8*q + 31. Is 12 a factor of x(p)?
False
Let r be ((-12)/8)/((-24)/1568). Let z = 213 + -111. Suppose -r = -5*w + k, 5*w + 10 = -k + z. Is w a multiple of 15?
False
Suppose 49205 = 24*j - 194567 + 58972. Is 50 a factor of j?
True
Let q be (3 - (3 + -179))/(2/(-10)). Let k = -542 - q. Is k a multiple of 41?
False
Let p(h) = -33*h + 68. Let n be p(2). Is 15 a factor of n*((-3988)/(-8) + -3) + 0?
False
Let i(o) = -o**3 + 127*o**2 - 140*o - 121. Does 13 divide i(125)?
False
Let z(n) = 2*n - 20. Let o be z(11). Suppose -17 + o = -5*r. Suppose 38 = 4*c + 2*b - 90, -2*c = r*b - 64. Is 8 a factor of c?
True
Let i(s) = -2*s**2 + 52*s + 58. Let c be i(27). Suppose -2*q + c*o + 146 = 0, -2*q + 5*q - 259 = -2*o. Does 49 divide q?
False
Suppose 452 = -n + 5*x, 0*n - 4*n - 4*x - 1712 = 0. Let g be n/(-126)*(0 - -28). Let p = g + -39. Does 5 divide p?
False
Let u = -4342 - -14047. Is u a multiple of 61?
False
Let k = -63 + 59. Let v be k + 6 - 11*-11. Suppose 4*s - 5 - v = 0. Does 7 divide s?
False
Let j be 6/(-10) - 68/(-20)*19. Let t = j - 61. Suppose -2*r + 2*z = -348, t = -z - 1. Is 14 a factor of r?
False
Let b(p) = -p**3 + 26*p**2 - 10*p + 9. Let g be b(9). Let o = g + -564. Does 73 divide o?
False
Let w be 8/(-6)*(-7)/((-28)/(-300)). Let a = 59 - w. Is 12 a factor of 2/((-166)/a - 4)?
False
Suppose -2193 = -4*t - c + 19508, 27140 = 5*t + 4*c. Is t a multiple of 101?
False
Let d(f) = 1514*f**2 + 77*f + 215. Is 10 a factor of d(-3)?
True
Suppose 0 = 2*x - 4*v - 1996, 4*v = -0*v - 4. Is x a multiple of 12?
True
Let v = 33944 - 28305. Is 71 a factor of v?
False
Let k = -44712 + 63330. Does 174 divide k?
True
Suppose 0*h - h = 0, -345 = 5*i - h. Let a = -69 - i. Suppose a = 6*u - 10*u + 608. Is 30 a factor of u?
False
Let s = -78 + 80. Let n(l) = -6*l**3 - l**2 - l + 1. Let k be n(-2). Suppose b + k = s*b - 5*u, -4*b = -u - 93. Is 4 a factor of b?
False
Let k be 4/(-3 - -11)*6. Is (2 - 6)/1*(-7 - k) a multiple of 8?
True
Suppose 0 = 2*b - 10 + 4. Suppose h + 76 = 3*r, r + b*h = -0*h + 32. Suppose 4*z - r = -u - 0*u, -179 = -4*u - z. Is 14 a factor of u?
False
Let d be (-907 - 4 - -9) + -3. Let q = -138 - d. Is 46 a factor of q?
False
Let a = 374 - 176. Suppose 0 = d - 3*p - a, 4*p + 6 = -2. Is 5 a factor of d?
False
Let d = -707 + 720. Suppose -x + 3*x + 8 = 0. Is 16 a factor of 20/6*(d + x)?
False
Suppose 3*t + k + 2 = 13, 13 = 5*t + 3*k. Suppose -t*l = 3*l - 48. Suppose -c = l*c - 1176. Is 24 a factor of c?
True
Let i(w) = 18*w**2 - 8*w - 12. Suppose 20*x = 22*x + 8. Is 11 a factor of i(x)?
True
Let l = 78754 + -26480. Does 11 divide l?
False
Let s be (16 - -1) + (12 - 6)/2. Is 8 a factor of (s*4)/((-28)/(-42))?
True
Suppose 11*j - 29 = 26. Suppose 0 = -2*a + b + 11, 0 = j*b - 10*b + 5. Does 3 divide a?
True
Let a = 38 + -33. Suppose -13*o - 3*j + 1023 = -11*o, 0 = a*o - j - 2566. Is o a multiple of 19?
True
Suppose 30*b - 35*b = -10. Does 48 divide 40*(13/5*b - 4)?
True
Let r = -51 - -53. Suppose r*q - 22*q + 1540 = 0. Is q a multiple of 7?
True
Let o be 0 + -1 + 90/4*-2. Is 11 a factor of 5/(230/4) - 8092/o?
True
Suppose -2*b = -2*i + 358, -10*i + 6 = -7*i. Let q = b - -1017. Is q a multiple of 35?
True
Let y = -66 - -34. Let z = y - -34. Suppose -x = 1, 4*x - 46 = k - z*k. Is 9 a factor of k?
False
Suppose 10*m - 6*m - 101 = -j, 2*m = j + 43. Does 40 divide (7040/(-33))/(4/m*-2)?
True
Let j be (7 - 10) + 0/(-2). Let k(z) = -z**2 - 5*z + 3. Let w be k(j). Is w/(-6) + 1228/8 a multiple of 38?
True
Is 26 a factor of (-15 + 18810/20)/(1/2)?
False
Suppose -z + 2 = m - 1, -3*z + 5 = -m. Suppose -4*r + 2*r = -z*p + 272, 0 = 3*p + 2*r - 428. Is 9 a factor of p?
False
Let y(m) = -m**3 - 13*m**2 - 21*m + 11. Let t be y(-11). Suppose 52 + 72 = 5*s + g, t = -s - 3*g + 36. Does 4 divide s?
True
Let d(r) = -r**2 + 0 - 1 + 23 + 5 - 29*r. Is d(-16) a multiple of 47?
True
Suppose -4*t + 5*m = -920 - 229, 3*t - 856 = -2*m. Let c = t + 4