57. Let z = a - y. Does 6 divide z?
False
Does 23 divide ((-2)/4)/(3/(-210))?
False
Suppose 3*n = -3*g + 33, n = 3*g - n - 23. Is g a multiple of 3?
True
Let l = 419 - 284. Suppose -2*v + l = v. Is v a multiple of 15?
True
Suppose -f + 16 = 3*j, 23 + 9 = 5*f + 3*j. Is f a multiple of 4?
True
Let d = -31 - -88. Does 19 divide d?
True
Let m be (-4)/(-18) - (-681)/(-27). Is 3 a factor of ((-30)/m)/(4/10)?
True
Let k = 209 + -137. Is 4 a factor of (k/(-20))/(2/(-10))?
False
Let w be (-2 - (-86)/(-3))*-3. Suppose 6*p - w = 2*p. Does 9 divide p?
False
Let y be (-153)/2*12/(-9). Suppose -2*w + 98 = -y. Suppose -30 + w = 2*l. Does 23 divide l?
False
Let y be ((-24)/(-28))/(1/7). Let f(s) = 3*s**2 + s + 3. Let d(j) = 4*j**2 + 3. Let k(u) = 4*d(u) - 5*f(u). Does 2 divide k(y)?
False
Suppose -3*j = 2*r + 10 + 16, -4*r - 2*j = 36. Let o = r - -33. Is 21 a factor of o?
False
Let y be (2 + (-2)/6)*-18. Is (y/(-9))/((-4)/(-18)) a multiple of 15?
True
Let f = -108 - -114. Is 3 a factor of f?
True
Let a(r) = -4*r - 4*r**2 + 3*r**2 - 5*r + 7. Let u be a(-8). Suppose 4*f = u + 97. Is f a multiple of 14?
True
Suppose -4*b - 10 = 2*x - 0*b, -x + 3*b = -15. Let j = 3 - x. Suppose 5*l + j*k + 4*k - 40 = 0, 3*k = 3*l + 3. Is l a multiple of 2?
True
Suppose -3*i = -5*h - 185, 74 + 42 = 2*i + 4*h. Is 17 a factor of i?
False
Suppose v + v = 64. Suppose 4*r + 8 = v. Is 3 a factor of r?
True
Suppose a - 114 = 4*a. Let d = a - -64. Is 13 a factor of d?
True
Suppose -z + 77 = 2*l, 4*z + 5*l - 29 = 273. Let y = z - 19. Is 18 a factor of y?
True
Is 31 a factor of 310/(-4)*(-144)/60?
True
Suppose -2*r = -4*w + 2*r, 3*w = -4*r. Suppose m - 7 = -w*m. Is m a multiple of 4?
False
Suppose 122*c = 119*c + 174. Does 29 divide c?
True
Let r(k) = 198*k + 1. Let g be r(3). Suppose -3*a + g = -d, -221 = -2*a + d + 174. Suppose 3*w - 6*w - 3*f + 153 = 0, -a = -4*w - 2*f. Is w a multiple of 17?
False
Suppose -4*n - 5 = -1. Does 26 divide 98/2*n*-2?
False
Let f = -1 - -2. Let r be 18/4 - f/2. Suppose -7*l = -2*l - r*p - 120, -p + 55 = 3*l. Does 9 divide l?
False
Let v = 14 - -3. Is 17 a factor of v?
True
Suppose 5*z - 4*x - 235 = -9*x, 0 = 2*x + 10. Let j be (-2)/(-7) - z/(-14). Suppose 24 = j*m - m. Is m a multiple of 4?
True
Suppose 3*x = 4*a - 8, x + a - 2 = -4*x. Suppose 6*k = 3*k + 9, x = c - 2*k - 8. Is c a multiple of 14?
True
Let p(r) = r**2 + r + 2. Let q be p(-2). Suppose 0 = -q*i + c + c, 3*c - 8 = 2*i. Suppose -40 = -2*b + i*v - 0*v, 35 = 2*b - v. Is b a multiple of 15?
True
Does 9 divide 1 + 59 + 3 + 0?
True
Suppose 36*d = 42*d - 1404. Is d a multiple of 13?
True
Suppose q + 88 = 9*q. Is 3 a factor of q?
False
Suppose 2*f - 5 + 1 = 0. Suppose 12 + 90 = f*p. Is p a multiple of 19?
False
Let l(h) = 0*h**3 - 2*h**3 - 7 + h**3 + 6*h**2. Let q be l(6). Let j(i) = i**3 + 9*i**2 + 9*i + 4. Is j(q) a multiple of 14?
False
Suppose 4*t + 3*s = t, 0 = -t - 5*s. Suppose 0*v - v + 140 = 0. Suppose 5*w - v = -t*w. Is 14 a factor of w?
True
Let r be ((-1)/(-1))/((-3)/(-15)). Suppose -3*a = -r*a + 4. Suppose -h + v = -11, -a*h - 2*v + 90 = 3*h. Is 6 a factor of h?
False
Suppose -4*v - v + 10 = 0. Suppose 4*h + 3*u + 7 = -2*u, -5*h = 3*u + 25. Is 13 a factor of (h + 0 + v)*-3?
False
Suppose -2*o = -5*a - 45, 3*a = -4*o + 55 + 22. Does 4 divide o?
True
Let y(v) = -2*v - 1. Let j be y(1). Is -2 + j*7/(-3) a multiple of 4?
False
Suppose k + 38 = 3*k. Is k a multiple of 4?
False
Let u be 1/1*(-10 - -12). Suppose 0*o + u = r + o, r - 4*o = 7. Is 2 a factor of r?
False
Suppose 4*z - 5*s = 35, 0 = 5*z + 5*s - 11 + 1. Suppose 2 = 5*n + 7, d - 24 = z*n. Is 5 a factor of d?
False
Suppose 2*q = 3*q + 6. Is 12 a factor of (-118)/(-5) - q/15?
True
Let f(g) = -g**3 - 4*g**2 + 3. Suppose 7*v - 4*v = -12. Let d be f(v). Let r = d - -4. Does 7 divide r?
True
Let d(b) = b**3 - b**2 - 4*b + 3. Let h be d(2). Let k(l) = -9*l**3 - 2*l**2 + l + 3*l**2 + 3*l**3. Does 6 divide k(h)?
True
Suppose 5*x = 15, 0*s - s + 15 = x. Does 12 divide s?
True
Suppose 3*r = 77 + 139. Let u = -8 + r. Is 26 a factor of u?
False
Suppose 5*h - 54 = -j + 75, 3*j + 4*h = 354. Let a = j - 54. Is 17 a factor of a?
False
Let f(t) = 7*t**2 - 4. Does 6 divide f(-2)?
True
Let w(p) = p**3 - 8*p**2 - p + 8. Let y be w(7). Let h = -63 + y. Is 14 a factor of 4/16 + h/(-4)?
True
Let p = 32 + -18. Let h be 165/(-25) + (-2)/5. Let f = h + p. Is 7 a factor of f?
True
Let y(r) = r**3 - 3*r**2 - 4*r - 1. Let c be y(4). Let v = 2 + c. Does 9 divide 17 + 0 + (v - 0)?
True
Let i(z) = -2*z - 8. Let k(w) = -2 + 0*w + 0 + w. Let p be k(-4). Does 2 divide i(p)?
True
Let y(n) = 11*n + 4. Let p(z) = -21*z - 9. Let c(x) = 4*p(x) + 7*y(x). Is 6 a factor of c(-6)?
False
Let l(s) be the third derivative of s**5/20 + 5*s**4/8 - 2*s**3/3 - 3*s**2. Is l(-7) a multiple of 13?
False
Is (-1 - 0)/(12/(-300)) a multiple of 10?
False
Let l(y) = 2*y**3 + 2*y**2 - 3*y - 3. Let s(w) = -w**3 + 2*w**2 - 2. Let v be s(2). Let b be l(v). Let o = 8 - b. Does 10 divide o?
False
Let x(a) = 3*a**2 - a + 4. Is 21 a factor of x(-5)?
True
Suppose 0 = -3*b - 2*b + 245. Is b a multiple of 7?
True
Let h be 2/4 - 15/6. Let i(r) = -r**2 + 4*r - 2. Let p be i(4). Is ((h - p) + -7)/(-1) a multiple of 4?
False
Suppose 6 = 5*l + 1. Suppose -3*p + 22 = -k - k, -3*k = -3*p + 36. Is 17 a factor of (l*2)/(k/(-119))?
True
Suppose -5*a - 6 - 2 = -2*t, 0 = -2*a + 3*t - 12. Suppose 4*j - 344 = -a*j. Does 13 divide j?
False
Is 16 a factor of 4 + (-3 - -62) + 1?
True
Let d = -8 + 13. Suppose -185 = -d*j + 4*s, j + 4*j - 5*s = 190. Does 14 divide j?
False
Suppose -u + 6*u = 0. Suppose -5*m - 8 + 33 = u. Is 6 a factor of 2/m + 56/10?
True
Let l(n) = -91*n + 5. Is l(-1) a multiple of 12?
True
Let t(r) = 2*r**2 + 7*r + 9. Let c be t(-8). Suppose 3*d - c = 3*y + 12, -2*d + 4*y = -56. Suppose -4*j + d = -46. Is j a multiple of 11?
False
Let a = 160 + -82. Is 13 a factor of a?
True
Let v be 27/6 - 2/4. Suppose 13 = -v*i - 5*b, -2*i + 22 = -4*b - 4. Suppose i = -4*r + 35. Does 8 divide r?
True
Suppose -4*d + 6 = -2. Suppose -d*w = -57 + 13. Is w a multiple of 11?
True
Suppose 1064 = -2*g + 10*g. Is 18 a factor of g?
False
Let f(d) = 3 - 3*d + 1 + d**2 - d**3 + 4*d. Let m be f(0). Suppose -i = m*i - 60. Does 6 divide i?
True
Let h(u) = u**2 - 5*u. Let z be h(3). Does 11 divide (-52)/(-3) + 2/z?
False
Let o(f) = -3*f**3 + 1. Let s be o(1). Let u be 2 + s/4*0. Suppose u*n = 5*v + 54 + 13, n - 2*v = 31. Does 8 divide n?
False
Suppose -5*x = 5*j - 230, -2*x = -5*j - 4*x + 227. Does 19 divide j?
False
Suppose o - 3*r - 28 = -8*r, 5*r - 46 = -2*o. Does 3 divide o?
True
Suppose 4*j + 43 - 187 = 0. Does 17 divide j + (1 - 1)/2?
False
Let n(l) = 3*l**2 - l - 3. Does 21 divide n(3)?
True
Let u = -1 - -4. Suppose s - 21 = 5*g, -g - u = 2*g. Does 8 divide s?
True
Let g = 36 + -23. Is g a multiple of 3?
False
Let v(q) = -q + 1. Let c(o) = -o**2 - 4*o + 9. Let d(m) = -c(m) + 3*v(m). Is d(-8) a multiple of 12?
False
Suppose -z - 274 = -3*z. Suppose 0 = 2*d + 5*k - 81, 2*d - z = -2*d - 5*k. Is d a multiple of 9?
False
Let q be (41/(-2))/((-2)/16). Suppose 4*i + 2*n + 108 = -110, 0 = 3*i + n + q. Let k = -24 - i. Is 8 a factor of k?
False
Suppose 5*t = 3*p - 7, -5*t - 5*p - 11 = -2*t. Is 2 a factor of -1 + 2 - 1 - t?
True
Let i(n) be the first derivative of n**4/4 - 7*n**3/3 + 4*n**2 - 9*n + 2. Does 3 divide i(6)?
True
Suppose 0 = -2*i + 4*z + 8, -2*i = -4*i - z - 2. Let c be -1 - -1*(2 - -1). Does 11 divide 11/2*(c + i)?
True
Let z = 37 + -17. Is z a multiple of 16?
False
Let t(g) = 65*g**2 - 1. Let v be t(-1). Let s = 70 + -35. Let r = v - s. Is 8 a factor of r?
False
Suppose -35 + 10 = -5*r. Let u = 15 - r. Does 5 divide u?
True
Let u = -167 - -303. Does 35 divide u?
False
Let g(b) = -3*b + 5. Suppose -4*t + 13 = m, 4*m - t - 6 = -5. Let j be -6 - (-2 - (-1 + m)). Is 7 a factor of g(j)?
False
Is 11 a factor of 2/(-3) + (-210)/(-18)?
True
Let r(a) = a**2 - 2*a + 12. Let f be r(8). Suppose -2*x = 3*x - f. Does 12 divide x?
True
Let b(i) = i**2 + i - 3. Let k be b(-3). Suppose -5*a - 137 = -4*o, k*o = 3*a - a + 59. Let l = a + 65. Is l a multiple of 18?
False
Let u(t) = -98*t**3 - t**2 + 1. Let o be u(-1). Suppose -5*c + 7 = -o. Does 7 divide c?
True
Let t(i) = -i**2 - 11*i - 4. Is 2 a factor of t(-10)?
True
Let h(x) = 41*x - 1.