Does 8 divide b?
False
Is 2 a factor of (15/((-180)/1456))/((-1)/3)?
True
Suppose 0 = 2*v - 3*g - 119 + 9, 5*v - 292 = -g. Is 6 a factor of v?
False
Suppose 2*x - 1943 = x - 4*p, 4*x - 4*p = 7852. Is x a multiple of 8?
False
Let r = -8 - -12. Let q(k) = 0*k**2 + r*k + 2*k**2 + 4*k**2 + 2. Does 9 divide q(-2)?
True
Let t(y) = y**2 - 5*y - 46. Is t(-21) a multiple of 25?
True
Suppose -q - 13 = -y + q, -y + q = -8. Suppose 0 = -4*x - 2*r - 94, 0 = -4*x - y*r + 6*r - 89. Does 12 divide 3/(-3) - (-2 + x)?
True
Suppose 3*g - 56 = 2*g. Suppose -221 = 5*i - h, -h + g + 120 = -4*i. Let d = i - -76. Does 9 divide d?
False
Let l(s) = -4*s**3 - 2*s - 1. Let i be l(-2). Let y = i + -24. Suppose -24 = -5*a + y. Is a a multiple of 7?
True
Let v(k) = 2*k**3 - k**2 - 2*k - 1. Let u be v(2). Let z = u + -8. Let c(p) = 15*p**2 - 2*p - 1. Is 16 a factor of c(z)?
True
Let s(n) = 6*n**3 + 2*n**2 - 10*n + 7. Let f be s(4). Suppose 0 = 5*r + f - 963. Does 5 divide r?
False
Suppose 0 = 3*v + 2*v + 485. Let f = 35 - v. Suppose f = 2*g - 4*u, 2*g + 54 = 3*g + 2*u. Is 11 a factor of g?
False
Let u(n) = -n**3 - 3*n**2. Let i be u(-4). Suppose -244 - 113 = h. Is i/(-40) + h/(-5) a multiple of 22?
False
Suppose -3*u - u + 12 = 0. Let s be (-6 + (-56)/(-8))*3. Is 2/s - (-16)/u a multiple of 2?
True
Suppose 0 = -v + 5*y + 16 + 13, -4*v = 4*y + 4. Let d(b) = 3*b - 7. Let h be d(v). Suppose h*p - 149 = 171. Does 16 divide p?
True
Let y(g) = -8*g - 6 - g**3 + 3 - 6*g**2 + 0. Does 13 divide y(-6)?
False
Suppose 22*f - 17*f = -4*b + 5020, 3*b - 3764 = -4*f. Is 18 a factor of b?
True
Let q = 298 - 180. Does 23 divide (q/(-3))/(22/(-33))?
False
Suppose 131 = 3*s - 145. Let t = s + -6. Is t a multiple of 14?
False
Let h be 57/8 + 11/(-88). Suppose -3*i - 3*r + 6 = 0, 3*r + h = 4*i - 1. Suppose -i + 13 = d. Does 3 divide d?
False
Let n = 1150 - 751. Is n a multiple of 18?
False
Let y = -29 + 16. Let i = -10 - y. Suppose -3*d + 166 = 2*v, i*d - 207 + 13 = 5*v. Does 15 divide d?
False
Let t(u) = -u**3 + 3*u - 1. Let y be t(2). Let r be ((-4)/y)/(4/6). Suppose r*i - 4 = 4. Is 4 a factor of i?
True
Let w = 632 + -272. Is w a multiple of 9?
True
Let a(t) = -t**3 - 9*t**2 - 2*t - 2. Let j be a(-9). Suppose 20*m - 480 = j*m. Does 20 divide m?
True
Let r(x) = 6*x**2 + 11*x + 3. Is 4 a factor of r(-3)?
True
Let x be (5/(-2))/(1/(-2)). Suppose -3*y + 0*y = x*j + 1, -j = 5*y - 13. Is 34/8*12/y a multiple of 6?
False
Suppose 2*g = -x - 11, 5*x + 19 = g - 2*g. Let w be -1 + (-2 - g) + -18. Let z = 27 + w. Does 5 divide z?
True
Suppose 0 = -5*z + 2882 + 763. Is z a multiple of 27?
True
Suppose -5*c + 492 + 1714 = -2*f, -2*f - 1764 = -4*c. Does 26 divide c?
True
Let q(j) = j**2 - 18*j + 35. Suppose -3*u - 9 = 4*s - 65, -s = 5*u + 3. Is q(s) a multiple of 6?
True
Let t(q) = -12*q - 3. Let h = -29 - -33. Let k be t(h). Does 12 divide (-2)/3 - 1258/k?
True
Let y = 24 + 94. Suppose -2*p - y = -2*w, 3*w - p = 3*p + 181. Does 5 divide w?
True
Suppose -5 + 11 = i. Suppose 0 = i*l - l - 10. Suppose 0 = -3*r + l*h + 26, 3*h = -4*r - h + 68. Is r even?
True
Suppose -13*s = -12*s + 8. Does 3 divide s/12*(-90)/4?
True
Suppose 0 = 2*h - 7*h + 675. Is h/36*128/6 a multiple of 40?
True
Let p = -49 - -64. Does 8 divide (-766)/(-12) + p/90?
True
Let w(b) = -36 - 2*b + 3*b - 2*b + 32 + 9*b**2. Is w(-2) a multiple of 4?
False
Suppose -23*z = -8*z - 7245. Does 21 divide z?
True
Let t(v) = -v**3 + 3*v**2 + 2*v - 6. Let h be t(-5). Suppose -w = 3*w - h. Let j = w - 27. Is j a multiple of 19?
True
Let l(v) = 92 + v**2 + 5*v**3 - 91 + 0*v**2. Is l(2) a multiple of 35?
False
Suppose -5*l + 555 - 145 = -3*z, 0 = z + 4*l + 148. Let f = 34 - z. Does 14 divide f?
False
Suppose -4*u - 368 = -4*f, -4*u = f - 56 - 16. Is f a multiple of 11?
True
Suppose -b + 5 + 108 = -2*f, -2*f = -4*b + 422. Suppose 197 = 4*w - 0*w + 5*j, -2*w - j + b = 0. Does 6 divide w?
False
Suppose -3*m = -h + 54, 4*h = m - 3*m + 160. Is 3 a factor of h?
True
Let r(b) be the third derivative of b**4/12 - 4*b**3/3 - b**2. Does 4 divide r(6)?
True
Let r(b) = 3*b**2 - 3*b - 8. Suppose -6*n + 0 = -24. Does 14 divide r(n)?
True
Let u = 10 - 10. Suppose n - 5*n + 260 = u. Is n a multiple of 12?
False
Let u(v) = 2*v**2 - 12*v + 3. Let r be u(7). Does 12 divide ((-3)/(-6) + 0)*2 + r?
False
Suppose 497*w - 1664 = 489*w. Does 16 divide w?
True
Suppose 25 = 2*d - 7*d, 0 = -h + d + 28. Does 2 divide h?
False
Let q be 4 + -3 + 3 + -6 + -32. Let c = q - -72. Is 20 a factor of c?
False
Let p = -18 + 27. Let c be (10/(-15))/((-2)/p). Is 1/(-1) + (50 - c) a multiple of 10?
False
Let i be -3 - -3 - -2 - -2. Let x(d) = 3*d**2 - 2*d. Is 7 a factor of x(i)?
False
Let b = 7 + -5. Suppose 188 = 5*g + 3*k, -31 + 103 = b*g + 2*k. Is 16 a factor of g?
False
Does 11 divide (2/4)/(45/49500)?
True
Let b be (0 + (3 - -3))*2. Suppose 3*n - n = b. Suppose 0 = -n*a + 2*a + 52. Is 4 a factor of a?
False
Suppose -5*q - 379 = -939. Suppose 3*j + 2*a = -17 + q, 0 = -2*j + 5*a + 57. Is 7 a factor of j?
False
Let f = 172 - 179. Suppose 0 = 7*c - 2*c + 10. Let m = c - f. Is m a multiple of 3?
False
Let a(n) = n**3 - 17*n**2 + 17*n - 21. Let q be a(16). Does 28 divide 111/(-6)*q/(15/6)?
False
Let x be 6/(3/(-816)*2). Let w be (-6)/(-4)*x/(-18). Is (-15)/(-45) - w/(-3) a multiple of 4?
False
Suppose 3*d = 2*i - 2043, -5*i + 10*d = -3*i - 2022. Does 19 divide i?
True
Suppose -r = -3, 5*z - r + 19656 = r. Suppose 10 = 2*s + 3*p, 0 = -3*p + 5*p - 4. Does 12 divide z/(-54) + s/9?
False
Suppose q = -4*m + 250 + 61, 2*m - q = 157. Let a be (0 - 1) + 0 + 1. Suppose 0 = -2*w - 0*u - u + 45, -3*w - 5*u + m = a. Does 15 divide w?
False
Let y be 700/6 - (-3)/9. Suppose -v = 2*v - y. Suppose -5*b = -v - 101. Does 9 divide b?
False
Let q be (1 + (-5)/2)/((-13)/(-26)). Is 24 a factor of (q + -1)/((-12)/144)?
True
Suppose 1 = -t + 6. Suppose -10 = t*u + 7*b - 2*b, 0 = -3*u + b + 10. Suppose -u*y - 16 + 190 = 0. Does 29 divide y?
True
Let j(m) = -13*m**3 - 2*m**2 - 2*m - 1. Let t be j(-2). Suppose -3*r + 30 = 3*g, -r + 3*g + 26 = 8*g. Suppose -5*n + t = -r. Is n a multiple of 7?
True
Suppose -996*b + 997*b = 1078. Does 7 divide b?
True
Suppose 0 = -2*d + 4*o + 79 + 55, -5*o + 161 = 2*d. Suppose -5*g + 4*j = -0*g - 337, g + 2*j - d = 0. Is g a multiple of 10?
False
Let h(b) = -b - 16. Let j be h(-10). Let g be j/(-4) + (-18)/(-12). Is 1119/12 + g/(-12) a multiple of 12?
False
Let j(d) = -9*d**3 - d**2 + 2*d + 3. Let r be j(-1). Let b(c) = c + 6 + 2*c + 2*c. Is b(r) a multiple of 12?
False
Let v(b) = b + 7. Let x be v(-5). Suppose -2*w - 43 = -p - 7*w, 3*w - 39 = -p. Suppose -t + x*t - p = 0. Is t a multiple of 8?
False
Suppose -3*y - 4*t + 107 = 0, 2*y - 97 = t - 11. Suppose -22 - y = -7*r. Does 9 divide r?
True
Let a be (4 - 1)*28/42. Suppose -4*s + 203 = -v - 186, -a*s + 2*v = -196. Does 14 divide s?
False
Let l(f) = 3*f + 15. Let c be (-1 + 37)*11/33. Let w be 92/c + (-2)/(-6). Does 9 divide l(w)?
False
Let b = 66 + -67. Let n(p) = 76*p + 4. Let i(s) = 114*s + 6. Let h(g) = 5*i(g) - 8*n(g). Does 9 divide h(b)?
True
Suppose 3*z = 4*z - 7. Suppose -z - 4 = -g. Let d = g - -17. Is d a multiple of 10?
False
Let a = 155 + -30. Does 10 divide a?
False
Let v(z) = z**3 + 19*z**2 + 16*z + 54. Does 17 divide v(-16)?
False
Suppose -4 = -2*h, 4*x - 5*h - 2568 + 730 = 0. Does 11 divide x?
True
Let q be (5 + 4/4)*26. Let r = 283 - q. Does 24 divide r?
False
Let r(x) = -13*x - 46. Let p be r(-14). Suppose 344 = 15*f - p. Is f a multiple of 15?
False
Suppose -3*t = -0*t. Suppose t = 22*z - 27*z + 440. Is 8 a factor of z?
True
Suppose 0 = 2*b - v - 4172, 5*b - 2*v - 8369 - 2060 = 0. Is 86 a factor of b?
False
Suppose 4*h - 32 = 4*k - 0*k, -3*h = 3*k. Suppose 78 = h*a + a - 2*l, 5*a = 5*l + 90. Is 6/14 + 806/a a multiple of 29?
True
Let b(h) = 8*h + 6. Let v be b(9). Suppose -19*c + v = -16*c. Is c a multiple of 19?
False
Let q = 137 + 27. Suppose -q - 53 = -7*n. Is n a multiple of 22?
False
Let x(w) = w**3 - 4*w**2 + 3*w + 3. Let u be x(4). Suppose 0 = -2*l + u + 43. Is 6 a factor of l?
False
Suppose -5*b + 45 = 140. Let f = b - -28. Is 4 a factor of f?
False
Let s = -17 - -21. Suppose o = -2*o + s*i + 85, 0 = -2*o + i + 60. Is o a multiple of 7?
False
Suppose 48 = -56*b + 60*b. Suppose r - 6 - b = 0. Is 4 a factor of r?
Fal