 = -5*n - 15, 0 = 5*z + w*n - 25. Let b(m) = -m**3 + 8*m**2 + 3*m + 5. Does 7 divide b(z)?
False
Suppose 0*f = -4*l + f - 21, -3*l + 3*f = 27. Let y be ((-1022)/56)/((-1)/l). Let u = 32 - y. Does 35 divide u?
True
Let c = -753 - -2958. Is c a multiple of 49?
True
Let y(g) = -g**3 + 5*g**2 - 5*g - 14. Let t be y(-6). Suppose 4*z = -4*c + t, c - 8 = 5*c. Let p = z + -73. Is 16 a factor of p?
True
Let m = -40 - -66. Let k = m - 68. Let r = -7 - k. Does 7 divide r?
True
Let t(b) = 47*b**2 + 15*b + 2 - 48*b**2 + 12. Let l be t(16). Does 5 divide 24*(3 + l) - 4?
True
Suppose -6*f + 824 = -418. Does 3 divide f?
True
Suppose 0 = -10*m + 3823 - 23. Is m a multiple of 10?
True
Let x = 5 + -2. Let r be (-8)/((-64)/36 + 2). Let q = x - r. Is 12 a factor of q?
False
Let w be 1/4*2*0. Let z(o) = 13*o**2 + 13*o - 40. Let u(v) = 7*v**2 + 7*v - 20. Let l(n) = 11*u(n) - 6*z(n). Is 8 a factor of l(w)?
False
Let p be 86/(-4) - (-8)/16. Let v be (-51)/p + 6/(-14). Suppose 4*s + 4*y - 172 = 0, 0 = 2*s + v*s + y - 169. Is 7 a factor of s?
True
Suppose 9*v - 8*v + 14 = 0. Does 11 divide (-458)/v - (-2)/7?
True
Suppose -q + y + y - 5 = 0, -3*y + 6 = -2*q. Let k(v) = 3*v - 6. Let o be k(q). Is 4/o*(-72)/(-1) a multiple of 24?
True
Suppose w = 3*v + 43, 3*w + 2*v - 94 = 4*v. Let o be 1 + 1 - (2 + w). Let t = o - -58. Does 6 divide t?
True
Suppose -3*a = -5*o - 8*a + 65, 0 = -4*o - a + 67. Is 2 a factor of o?
True
Let x(j) = 8*j**3 + 7*j**2 - 3*j - 8. Let r(g) = -7*g**3 - 7*g**2 + 2*g + 8. Let h(p) = -7*r(p) - 6*x(p). Let a be h(-6). Is 32 a factor of (-48)/(2/a - 2)?
True
Suppose 6*m = -m - 637. Is 8 a factor of (-1443)/m + (-1)/(-7)?
True
Let w(l) = -l**2 - 8*l. Let c be w(-7). Suppose -2*m - 700 = -c*m. Is 28 a factor of m?
True
Let d = -101 - -101. Suppose 3*h - 406 = -x, d = x + 7 - 2. Does 30 divide h?
False
Suppose -p = 1, -5 - 5 = -5*s + 5*p. Is ((-2)/3*s)/((-2)/237) a multiple of 9?
False
Let w be 6/24 + (-3550)/(-8). Suppose -3*r + w = r. Is 15 a factor of (1 + r)/4 - 1?
False
Suppose -20*n + 32*n = 19428. Is 88 a factor of n?
False
Suppose -3*f - 4*q = 22, -28 = 4*f + 2*q + 3*q. Let d(b) = -14*b**3 + 3*b + 1. Does 43 divide d(f)?
False
Let n = -27 + -133. Let i = n + 270. Is 10 a factor of i?
True
Suppose 73 - 2 = m - n, 2*n - 390 = -5*m. Let h = m - 43. Suppose 9 = -o + h. Does 12 divide o?
True
Let b(r) = r**3 - 11*r**2 - 9*r - 2. Let j be b(12). Let w = 62 - j. Does 5 divide w?
False
Let s(z) = -z**3 - 15*z**2 + 6*z + 22. Does 14 divide s(-16)?
True
Is (-6)/153*-15303 + 66/(-561) a multiple of 8?
True
Suppose 9 + 7 = 4*n. Suppose -21 = -n*j - 13. Suppose 0 = 5*u - 5, 3*m + 2*u - 19 = j*m. Is 6 a factor of m?
False
Let b be 0 + (-2)/(-2) - (-4 - -5). Is 18 a factor of (27 + b)/((-1)/(-6))?
True
Let m = 31 - 29. Does 49 divide 21/(-35)*-327 - m/10?
True
Is 72/(-15)*(-15)/3 a multiple of 6?
True
Let z(n) = 2*n. Let q be (2 + ((-52)/(-24) - 3))*6. Does 5 divide z(q)?
False
Suppose -8*i = -3193 - 7. Suppose 9*m = -2*y + 4*m + i, 2*y - 384 = 3*m. Is y a multiple of 23?
False
Let i(r) = r**3 + 7*r**2 + 8*r + 3. Let k be i(-6). Let d = k - -16. Let n = 22 - d. Does 3 divide n?
True
Let o(u) = 52*u**2 + 2. Let a be o(1). Suppose -2*i - 18 = -p, 4*p = 8*p - 2*i - a. Is 12 a factor of p?
True
Let c = 69 + -59. Suppose 7*d = c*d - 192. Does 16 divide d?
True
Let k = -94 + 108. Suppose -23*y = -k*y - 945. Does 15 divide y?
True
Let r(g) = -g**2 + g**3 + 1 + g**2 - 2*g**2 - 4 - g. Let l be r(3). Suppose -4*v + 3*b + 87 = 2*b, 0 = -3*v + l*b + 54. Is 7 a factor of v?
False
Suppose 3*c + 2*o + 3*o - 16 = 0, 5*o - 4 = 3*c. Let b be ((-6)/(-10) - 1)*5. Is c - b*(-6)/(-4) a multiple of 3?
False
Let o = 819 + 127. Is 66 a factor of o?
False
Let g(d) be the second derivative of 2*d + 8*d**3 - 1/2*d**2 + 0. Is g(2) a multiple of 24?
False
Let k be (-1)/(18/(-8) - -2). Let z(q) = 13*q + 4. Does 19 divide z(k)?
False
Let i = 661 - 143. Does 15 divide i?
False
Let v(r) = 20*r + 102. Is v(13) a multiple of 12?
False
Let k be (6/(-3))/(6/81). Let p = k - -23. Is p/22 + (-2925)/(-55) a multiple of 15?
False
Suppose -t + 35 = 3*i, 3*t - 5*t - 5*i = -65. Suppose l - 2*l - t = 0. Let j = 34 + l. Does 12 divide j?
False
Let m be (-2)/(-12) - (-472)/48. Let b = 21 - m. Suppose b*w = 12*w - 15. Is 5 a factor of w?
True
Let y(x) = -x**3 - 5*x**2 + 4*x - 12. Let z be y(-6). Suppose z = 6*g - 94 - 422. Is g a multiple of 3?
False
Let l(j) = -j**2 + 31*j - 61. Let f be l(28). Suppose 27*v = f*v + 588. Does 49 divide v?
True
Let c = 411 + -197. Suppose -11*v = -10*v - c. Does 43 divide v?
False
Suppose -5*h - 2*r = -576, h = 4*h + 4*r - 354. Suppose 2*x = 2*c + x - h, 0 = -x. Is c a multiple of 12?
False
Let z be (-1 + 2/3)*(12 - 12). Does 10 divide 155 + z - 4 - 1?
True
Suppose 4*x = 2*x + 58. Let h = 33 + x. Is h a multiple of 31?
True
Does 57 divide -4 + (5 + -3 + -3)*-118?
True
Suppose 5*g = -7*d + 2*d + 3090, 0 = 5*g - 5*d - 3110. Does 12 divide g?
False
Suppose -6*f = -5*f - 4. Suppose -4*r + 28 = f*s, -2*s + 0*r - 3*r + 12 = 0. Let t = 6 + s. Is t a multiple of 5?
True
Let s = 420 - 249. Is 24 a factor of s?
False
Let y be (-80)/15 + 5 + 20/6. Suppose y*s - 5*j = -28 + 134, j = 5*s - 206. Is 14 a factor of s?
True
Let d(j) = 4*j**3 - 13*j**2 + 25*j - 53. Does 3 divide d(6)?
False
Let n(c) = -29*c - 12. Is 71 a factor of n(-20)?
True
Suppose -36 + 204 = 3*j. Is 14 a factor of j?
True
Let x(l) = -l**3 + 23*l**2 - l + 37. Let w be x(23). Does 9 divide 258/w - 6/14?
True
Let h = 48 - 44. Suppose -3*a - 96 = -h*a. Does 16 divide a?
True
Suppose -r + 2 = 2*u, -5*r + 4 = 2*u + 2. Let k be r/(0 + -4 + 3). Suppose k = -4*o + 2*o + 14. Does 2 divide o?
False
Let o(h) = h**2 - 6*h + 1. Let m be ((-24)/(-20))/(2/30). Let i = -11 + m. Is 2 a factor of o(i)?
True
Suppose -1372 = -3*u - 0*q - 5*q, -3*q - 12 = 0. Does 40 divide u?
False
Suppose -9*r + 438 = -507. Does 21 divide r?
True
Let y(m) = 53*m - 24. Does 27 divide y(3)?
True
Suppose 0 = 26*s - 25*s - 91. Is s a multiple of 6?
False
Let m be 9/(-15) - 3/(-5). Suppose m = -5*r - 4*s + 225, -r + 0*r - s = -45. Does 7 divide r?
False
Is (-2)/7 - 15520/(-224) a multiple of 28?
False
Let p(f) = -2*f**2 - 10*f + 4. Let x be p(-12). Let c = x - -430. Suppose -w - c = -3*g, -271 = -g - 2*g - 4*w. Does 12 divide g?
False
Let d(r) = -r**3 + 16*r**2 - 36*r - 46. Is d(-9) a multiple of 7?
True
Is 768/80*(-525)/(-5) a multiple of 42?
True
Let i = 254 + -147. Suppose 0 = w + 53 - i. Does 9 divide w?
True
Let g(z) = -z**2 - 12*z - 1. Suppose 2*f + k + 26 = 8, 0 = -4*k. Is 13 a factor of g(f)?
True
Let f(b) = -b**3 + 3*b**2 - b + 16. Is 4 a factor of f(0)?
True
Suppose -i = -6*i + 4*q + 460, 2*q = 0. Suppose -3*m + i = -28. Does 15 divide m?
False
Let k(y) = y**3 - 2*y**2 - 3*y. Let v be k(3). Let l(x) = -x + 2. Let q be l(v). Suppose 0*t - 4*i + 14 = 2*t, 2*i + 32 = q*t. Is 13 a factor of t?
True
Suppose 169 = 3*f + 2*j, -3*j + 265 = 5*f - 17. Is f a multiple of 7?
False
Suppose 2*z - 26 - 44 = 0. Is z a multiple of 27?
False
Let z be -1 - (-4)/2 - -2. Suppose -6 = -j + z*f, -3*f = -6*f + 9. Does 3 divide j?
True
Suppose -9*z = 5900 - 15350. Does 30 divide z?
True
Let m be (10 - 14)/(1 - -1). Does 8 divide m/(-9) + (-640)/(-36)?
False
Suppose 2*q = -4, 5*s + 0*s - 35 = 5*q. Suppose s*y - 7 = -27. Let g = 14 + y. Does 10 divide g?
True
Suppose 214*k = 216*k - 576. Is 18 a factor of k?
True
Suppose -30*q + 450 = -20*q. Does 16 divide 144/q*(-1 - -51)?
True
Let o(a) = -a**3 - 7*a**2 - 8*a - 8. Let c be o(-6). Suppose c*j = -0*j. Suppose j = -l + 5*v + 30, 0 = -2*l - v - 0*v + 38. Is 20 a factor of l?
True
Suppose -7*x - 5*x + 132 = 0. Let y = 24 - x. Is y a multiple of 6?
False
Let l(r) = 13*r + 4. Let s(b) = b**3 + 4*b**2 + 2. Let c be s(-4). Let a be l(c). Let z = a + -6. Does 12 divide z?
True
Suppose 3*y - 43 = -r, -5*y = r - 3*y - 44. Does 23 divide (2/(-1))/(-4)*r?
True
Let v be (-4)/(-6) + (-592)/(-3). Suppose p = -3*u - 4*p + v, -p = -u + 74. Suppose -5*x + u = 2*o, 4*x - 85 = -2*o - 29. Is 3 a factor of x?
True
Let g = 68 - 66. Suppose -22 = -3*t + 4*i, 4*i = -g*t + 16 + 12. Is t a multiple of 4?
False
Suppose w - 2*w + 770 = 2*y, -5*y = 4*w - 3077. Suppose -3*t = 3*t - w. Is 16 a factor of t?
True
Is 3 a factor of (84/(-10) - -6)/(3/(-35))?
False
Sup