. Is b a multiple of 8?
True
Let n = -873 - -877. Let h be (0 - 0) + 0 + 157. Suppose 0*x + 4*v - 160 = -4*x, n*x = -v + h. Does 9 divide x?
False
Let n(a) = -a**3 + 4*a**2 + 347 + 4*a**2 - 338 + 9*a. Is n(9) even?
False
Let l(p) = -21*p + 4. Let f be 9/(-2)*(-4)/(-6). Let r be l(f). Suppose 0 = -3*w + r + 14. Does 11 divide w?
False
Is (82 + -85)/(1 - 2) a multiple of 3?
True
Let b = 200 - -58. Is b a multiple of 8?
False
Let i = 20 - 15. Suppose 0 = -5*o + i*s + 340, 3*o + 280 = 7*o - 2*s. Is 12 a factor of o?
True
Let k be (-3165)/(-27) + (-2)/9. Let z = -77 + k. Does 20 divide z?
True
Let r(u) = u**3 + 16*u**2 - 4*u - 38. Is 2 a factor of r(-16)?
True
Let v = 362 - 142. Is v a multiple of 19?
False
Let s(w) = -4*w**2 + 18*w + 35. Let r(f) = -5*f**2 + 18*f + 34. Let p(g) = -5*r(g) + 6*s(g). Is 7 a factor of p(-16)?
False
Let b = 826 - 236. Is b a multiple of 24?
False
Let j(c) = 5*c**3 + 4*c**2 - 4*c + 31. Is 57 a factor of j(6)?
False
Suppose -3*l + 5*j = -2*l - 39, -6 = l + 4*j. Let a = -10 + l. Does 3 divide a/(-12) - (-50)/6?
False
Suppose 26*b - 24136 = 15176. Is b a multiple of 28?
True
Let n(w) = -w**2 + 48*w - 134. Does 7 divide n(9)?
True
Let d be (-74)/(-3) + (-6)/9. Let w = d + -18. Suppose w - 26 = -c. Is c a multiple of 10?
True
Let l(w) = 5*w**3 + 16*w**2 - 20*w + 17. Let q(x) = 2*x**3 + 8*x**2 - 10*x + 9. Let i(a) = -3*l(a) + 7*q(a). Is i(6) a multiple of 14?
False
Let q be -1*(-1 + 2)*0. Let l(y) = -y**3 - 2*y**2 + 88. Is l(q) a multiple of 11?
True
Let b be (-7 + 3)*-2*(-3)/(-6). Suppose -3*g = -5*x - 42, -14 = g + b*x - 45. Is 19 a factor of g?
True
Suppose -12*c + 11*c + 12 = 0. Suppose -c = -0*z - 3*z. Does 2 divide z?
True
Suppose -3*h - 5*y = 7, 4*y + 1 = -h + 3*y. Suppose -2*c - h = -7. Suppose 0 = -2*p + 5*p + 3*w - 111, 0 = -4*p - c*w + 147. Does 12 divide p?
True
Suppose 3*s - 13 = 2*h, 5*s + 7*h + 15 = 3*h. Let q be (-32)/(-12)*2/((-20)/15). Does 3 divide (4 + (q - s))*-19?
False
Suppose -4*a + 6*f - 13 = f, 2*a + 3*f = 21. Suppose -2*u + 5*x + 12 = -8, -12 = a*x. Does 6 divide 3 - (-3 - u - 5)?
False
Let h = -32 - -22. Let x(r) = r**3 + 12*r**2 + 13*r + 13. Does 13 divide x(h)?
False
Suppose 0 = -w + 6*w - 230. Is 3 a factor of w?
False
Is 40762/12 + (-413)/(-354) a multiple of 12?
False
Let i = 356 + -190. Is 47 a factor of i?
False
Suppose n + 3*n + 77 = o, 4*n = 4*o - 308. Does 7 divide o?
True
Let x = -26 + 20. Let a be 178/x*(11 - 14). Let s = a + 13. Does 13 divide s?
False
Suppose 0 = -2*h - 0*h + 6, -2*p - 4*h + 32 = 0. Let f be ((-4)/p)/(4/(-40)). Suppose 0 = -f*x + 136 + 104. Does 15 divide x?
True
Suppose -2 + 10 = 4*r. Suppose n = r + 8. Does 5 divide n?
True
Let i(o) = -o**2 + 19*o - 32. Let y be i(16). Let w(t) = -t + 46. Is 15 a factor of w(y)?
True
Let f(p) = 0*p + 13 - 8 + p + 13. Let i be f(-15). Is 20/15 + 2/i even?
True
Let y(q) = -q**3 - q - 2. Let v be y(0). Let i be 2 + v - (-6 + -10). Suppose -5*g + 4 = -i. Is g a multiple of 4?
True
Suppose 1717 = -3*d + b + 6834, 0 = -4*d - 4*b + 6796. Does 18 divide d?
False
Let v = 20 - 7. Let q(j) = j**3 - 12*j**2 - 13*j + 4. Let o be q(v). Let c = 35 + o. Is c a multiple of 20?
False
Let l(v) = 637*v**3 + v**2 - 2*v + 1. Let t be l(1). Suppose -5*j + 5*q + 800 = -0*j, -4*j + 3*q + t = 0. Does 24 divide j?
False
Suppose -h = -5*i + 8, 4 = -0*i - 2*i + 4*h. Let c = -30 + 133. Suppose -5*b + i*y = -y - c, 0 = b + y - 27. Is 9 a factor of b?
False
Let f = -207 + 966. Is 23 a factor of f?
True
Let v be (1 + 1)*-25*(-25)/10. Suppose 0 = -p + v - 34. Does 13 divide p?
True
Let o = -395 - -791. Is 12 a factor of o?
True
Let k be (-750)/(-9) - (-1)/(-3). Let m = -47 + k. Is 11 a factor of m?
False
Let g(j) = -j**2 + 8*j + 9. Let i be g(10). Let x be (3 - i)/(3 + -5). Let f = 18 + x. Is 11 a factor of f?
True
Let u be 18/(-15)*25/(-10). Suppose 3*a + 33 = u*n - 309, 224 = 2*n - a. Let l = -56 + n. Does 18 divide l?
True
Let q = -76 - -9. Let k = q + 351. Is k a multiple of 16?
False
Is 126 a factor of ((-129276)/(-216))/(1/4)?
True
Is 6 a factor of (-2770)/(-4)*(-20 + 612/30)?
False
Let d = 105 - 215. Let z = d - -263. Does 26 divide z?
False
Suppose -79 = 4*k - 619. Let h = k - 50. Does 10 divide h?
False
Let f(v) = 3*v**2 + 3*v**3 - 3*v**3 + v + v**2 + 2*v**3 - 4. Is f(5) a multiple of 45?
False
Let j(r) = r**2 + 10*r - 2. Let m be j(-4). Let l = m + 60. Is 23 a factor of l?
False
Let r = -59 + 39. Suppose 0 = -k + 14 - 6. Is 5 a factor of k/r - (-244)/10?
False
Let i = -13 - -3. Let n(r) = r**3 - 29*r**2 + 51*r + 83. Let b be n(27). Is 11 a factor of ((-204)/20)/(b/i)?
False
Suppose v = -2*g - g + 189, -5*v - g = -973. Is v a multiple of 3?
True
Let o(d) = 5*d**2 + 27*d - 18. Is 16 a factor of o(-9)?
True
Let v(u) = 2*u**2 + 10*u + 5. Let q be v(-9). Let d be (q/22)/(1/(-2)). Let g = d + 22. Is g a multiple of 5?
True
Suppose -2*o = 4*c - 2*c - 12, 5*o - 39 = 4*c. Let i(m) = 2*m**2 - 18*m + 16. Let d be i(8). Let z = o - d. Is z even?
False
Let r = -63 - -68. Is 10 a factor of r + 87 - 5 - (-1 - 2)?
True
Suppose 3*f + 2*n - 371 = 0, 8*n = -5*f + 4*n + 621. Is 11 a factor of f?
True
Let v be 8/(-76) + 45452/38. Suppose -11*f = 2*f - v. Is 23 a factor of f?
True
Suppose 0 = 2*s + 11 + 3. Let f(r) = r**3 + 7*r**2 - 4*r - 3. Does 8 divide f(s)?
False
Suppose -4*v + 244 = 4*q, v - 2*q + 24 - 94 = 0. Let p be ((-3)/(-9))/(6/666). Let m = v - p. Does 9 divide m?
True
Suppose 0 = -7*s + 1993 + 2543. Does 54 divide s?
True
Suppose -y + 19 = -3*a, -5 - 4 = a - 3*y. Let o = -124 - -123. Is 18 a factor of (o + 2)/(a/(-414))?
False
Let c = -18 - -20. Suppose 2*n - 56 = -3*x, 9 = 2*n - c*x - 27. Does 11 divide n?
True
Let g = -314 + 498. Let i be 263 - (2 + 3 + -6). Let r = i - g. Does 13 divide r?
False
Is ((0 + 61)/(18/90))/1 a multiple of 2?
False
Let h(p) = -p - 7. Let w be h(-9). Suppose 11*s + w = 10*s. Does 8 divide (10/(-5))/(s/8)?
True
Let s = 21 + 13. Is 561/s + 1/(-2) a multiple of 8?
True
Let t = 17 - 15. Suppose -t*r - 12 = 2*r. Let n(w) = 2*w**2 + w - 7. Does 4 divide n(r)?
True
Let o(m) = m**3 + 3*m**2 - 6*m - 6. Let u be o(-4). Suppose -u*i = -3*i + 390. Suppose -x - i = -6*x. Is x a multiple of 26?
True
Let k = 57 - 59. Is ((-235)/(-10))/((-1)/k) even?
False
Let g = -24 + 27. Suppose g*i + 16 = 4. Does 8 divide 12/(-5)*15/i?
False
Suppose -5*b - 4*c = -14040, 4*b - 3*c = 8*b - 11231. Does 16 divide b?
False
Let k(z) = 8*z**2 - 30. Let c be k(6). Suppose 0 = 2*p - c + 28. Is p a multiple of 25?
False
Let r(h) = -h**3 - 7*h**2 - 2*h - 9. Let n be r(-7). Suppose 6*p - 2*p = 4*i - 400, 25 = n*p. Is 15 a factor of i?
True
Suppose -416 = t - 14*t. Is 4 a factor of t?
True
Let f be (2/(-6))/(4/(-36)). Suppose -f*c + 22 + 113 = 0. Suppose 0*d - c = -d. Is 17 a factor of d?
False
Let q(t) = -t**2 - 6*t. Let l be q(-5). Let k be (-1)/2 + (-198)/(-12). Let d = k + l. Is 21 a factor of d?
True
Let g(a) = a**3 + 39*a**2 + 67*a + 44. Is g(-37) a multiple of 7?
False
Let s(a) = a**3 + 6*a**2 + 2*a + 14. Let g be s(-6). Suppose 132 + 12 = g*c. Is 24 a factor of c?
True
Let r(l) = l**3 - 15*l**2 - 2*l - 51. Is r(16) a multiple of 18?
False
Suppose -f + 135 + 351 = 4*t, 0 = f + 3*t - 486. Is 27 a factor of f?
True
Let w(p) = 183*p**2 - 1. Let j = -6 + 7. Let t be w(j). Is 6 a factor of t/10 + (-8)/40?
True
Suppose 0 = u - 123 - 102. Suppose -m + 203 = 2*k, 3*m + 32 = -2*k + u. Does 13 divide k?
True
Let s(v) = v**2 - 2*v + 3. Let f be s(2). Suppose 2*u - f*u = 0. Suppose u*o = -3*o + 90. Does 15 divide o?
True
Let q(p) = p**3 + 19*p**2 + 14*p + 84. Is q(-8) a multiple of 8?
False
Let w(p) = 18*p - 12. Let a be w(-5). Is 8 a factor of a/(-9)*6 - 1*-4?
True
Let k(y) = -5*y**2 + 4 + 13*y**2 + 25*y - 21*y. Does 23 divide k(-3)?
False
Let s = 130 + -128. Suppose s*f - 33 = -n, -4*n - 6*f + 148 = -2*f. Is n a multiple of 2?
False
Let x = -10 - -2. Let g(b) = 6*b + 3. Let i be g(x). Let q = -14 - i. Is q a multiple of 12?
False
Suppose 0 = 4*q - 5*k - 1121, 4*q - 2*k + 423 = 1541. Is 3 a factor of q?
True
Suppose -72*t + 76*t - 1716 = 0. Does 11 divide t?
True
Let d = -2 + 4. Let t(n) = -3 - 2*n + n**3 - 8*n**2 + 11*n**2 + 4. Is 13 a factor of t(d)?
False
Let v(w) = w**2 - 7*w + 5. Let q be v(7). Suppose -2*j = -3*b + q, -6*j + j - 2*b + 16 = 0. Suppose -t = -25 + j. Is 12 