w + j, 5*w - 6 = -2*v. Is 2 a factor of v?
False
Suppose -5*n - 6 + 0 = -z, 3*z = -n + 2. Let v be ((-17)/(-2) + n)*18. Let k = v + -84. Does 13 divide k?
False
Let n be -4 - 14*2/(-4). Suppose -k + n*k - 78 = -3*r, -r + 38 = k. Is k a multiple of 9?
True
Let f = 10 + -11. Let x(i) = 20*i - 7. Let a(t) = 19*t - 6. Let b(z) = -7*a(z) + 6*x(z). Does 13 divide b(f)?
True
Suppose 32 = 3*m + m. Suppose -m = -4*p + 4. Does 16 divide ((-16)/(-3))/(1/p)?
True
Suppose -4*j - 68 = i, -4*i - 63 - 175 = -j. Let x = 90 + i. Does 11 divide x?
False
Let m = -10 - -6. Let v be 38/(-2) - (m - -1). Let u = v - -45. Does 11 divide u?
False
Let r = 106 - 32. Is r a multiple of 9?
False
Let o(m) = -53*m**3 - 3*m**2 - 3*m + 3. Let j(b) = -18*b**3 - b**2 - b + 1. Let k(y) = -11*j(y) + 4*o(y). Let z be k(1). Does 2 divide (-35)/z + (-2)/(-3)?
False
Let h(v) = v**3 - 24*v**2 - 22*v - 33. Does 21 divide h(25)?
True
Suppose -6 = -3*l - 3*m, -5*l - 6 = -0*l + m. Let a(w) be the third derivative of -w**6/20 + w**4/24 + w**3/3 + 2*w**2. Is a(l) a multiple of 16?
True
Is (-115)/(-5) + (5 - 0) + -2 a multiple of 5?
False
Let l = -170 - -247. Suppose -2*t = -t - 62. Suppose 3*y = 2*r + l, -2*y - 5*r = -r - t. Is 18 a factor of y?
False
Let r = 32 + -23. Let l = 14 + -29. Does 3 divide (-32)/(-5) - r/l?
False
Suppose -2*z + 1 + 21 = 0. Suppose z = r + 1. Does 5 divide r/(-4)*4/(-2)?
True
Let f(z) be the first derivative of 10*z**3/3 + z**2/2 + z - 3. Is f(-1) a multiple of 7?
False
Suppose -5*j - 3*i + 62 = 0, -7 - 13 = -5*i. Suppose -j = -2*z + 52. Suppose -z = -m - q, -2*q = 4*m - q - 133. Does 9 divide m?
False
Suppose -9*k + 488 = -43. Is k even?
False
Let s = 11 - 11. Suppose 2*k + s*k - 10 = 0. Suppose 19 = 5*d + k*n - 46, 3*d - 19 = n. Does 8 divide d?
True
Suppose 0*d - 132 = -4*d. Does 11 divide d?
True
Suppose 0 = 5*i - 64 + 9. Suppose -b = 2*u + i, -3*b + 0*b + 5*u - 22 = 0. Is (-74)/(-3) + 6/b a multiple of 12?
True
Let k(i) = i**3 + 9*i**2 + 5*i - 9. Let r be k(-9). Let m = -34 - r. Is m a multiple of 10?
True
Let f(b) = b - 2. Let d be f(2). Let j be d + (1 - (-1 + -3)). Suppose -j*k - v + 25 = 2*v, -v - 25 = -5*k. Is k a multiple of 5?
True
Suppose 3*h - 47 = -j + 4*h, -3*j + h = -147. Is j a multiple of 21?
False
Let q(b) = -b**2 - b - 1. Let w be q(5). Let k = -3 - w. Does 14 divide k?
True
Let m = -5 + 63. Does 10 divide m?
False
Let s(y) = 7*y**2 + 9*y. Is s(-4) a multiple of 18?
False
Let y be 504/35 + (-4)/10. Let w = y - 3. Is w a multiple of 11?
True
Let o(s) be the first derivative of s**2/2 + 3. Let i be o(0). Suppose q + y + 69 = 6*q, i = y - 1. Is q a multiple of 7?
True
Suppose -3*u - s = -2*u + 4, 2*u - 2 = 3*s. Let j = 4 + u. Suppose -2*m - g = j*m - 68, -5*g = 4*m - 52. Is 9 a factor of m?
True
Let h(k) = -k**3 + 10*k**2 - 3*k - 7. Let f(t) = t**3 - 11*t**2 + 4*t + 6. Let j(m) = 3*f(m) + 4*h(m). Let d be j(7). Does 7 divide (-84)/10*25/d?
True
Let q(k) = -k**2 + 5*k - 6. Let y be q(4). Does 12 divide ((-57)/9 - y)*-3?
False
Let c be 2418/24 - 1/(-4). Suppose -y = 2*y + 4*t - c, 0 = 2*t + 2. Is 7 a factor of y?
True
Suppose -n + 6*n = 25. Suppose -n*w = m - 27, 3*m + w + 2*w - 33 = 0. Let h = m - -3. Is 7 a factor of h?
False
Suppose 4*u = -0*u - 32. Let j(s) be the first derivative of -s**4/4 - 3*s**3 - 5*s**2 - 5*s - 1. Is 7 a factor of j(u)?
False
Is -1*(1 + 3)*756/(-14) a multiple of 36?
True
Let m(r) = 51*r - 4. Let p be m(-6). Does 26 divide p/(-6) - 3/(-9)?
True
Let p = -18 - -45. Let v = -19 + p. Does 8 divide v?
True
Let f(s) = 46*s**3 - 2*s**2 + 1. Let i be f(1). Is 6 a factor of ((-4)/(-5))/(2/i)?
True
Suppose -27 = -2*l - 5*a, -3*l - 5*a = -2*a - 45. Is l a multiple of 6?
False
Let i(t) = -2*t**3 - 3*t**2 - 2*t - 1. Let f = 5 - 7. Does 7 divide i(f)?
True
Let l(b) = b**2 - 5*b + 3. Let q be l(5). Let w(i) = 8*i**2 + i + 2. Let j be w(2). Suppose q*a + 4*g - 21 - j = 0, 3*a - 48 = -g. Does 8 divide a?
False
Let c(z) = 40*z - 10. Is 28 a factor of c(3)?
False
Let a = 4 - 6. Let l be 0/(a/(-2) + 0). Let t(w) = w**2 + w + 13. Does 13 divide t(l)?
True
Let h = -43 - -86. Is h a multiple of 10?
False
Is 8 a factor of (38 + 2)*(-6)/(-15)?
True
Let g(c) = c - 1. Let d be g(3). Let v be ((-18)/(-8))/(d/16). Is 4 a factor of 16/(-72) + 148/v?
True
Suppose 2*w = 6*i - 2*i - 416, i + 2*w = 99. Let j be (-149)/(-3) + 1/3. Suppose 4*l - j = -2*a + 18, -i = -4*a + 3*l. Is 14 a factor of a?
True
Suppose 3*b = -2*v + 121, -6*v + 2*v = b - 227. Does 7 divide v?
True
Let t(u) = -2*u + 7*u - 3*u. Let x = 6 + -4. Does 4 divide t(x)?
True
Suppose 3*s - 8*s + 4*i - 37 = 0, 0 = -5*i + 15. Let z(a) = -a + 4. Is z(s) a multiple of 5?
False
Is 4 a factor of (-140)/(-15) - 4/(-6)?
False
Is 16 a factor of 14/35 + (-476)/(-10)?
True
Let p be 27*(-3)/18*-8. Let v = 5 + -3. Does 8 divide (v/4)/(2/p)?
False
Suppose 0 = 2*c + 2*w - 68, -5*c + 3*w + 140 = 2*w. Is c a multiple of 22?
False
Let t be 3/18*8*12. Suppose 3 = 3*h - 2*o - 11, 2*h + 5*o + t = 0. Does 5 divide 1 + 2*(h - -2)?
False
Let c be ((-4)/(-3))/(2/75). Suppose t - c = 19. Does 18 divide t?
False
Let u(v) = v + 17. Let r = -69 + 45. Let c = 15 + r. Is u(c) a multiple of 8?
True
Suppose -3*z - 6*b + 2*b = -8, 0 = 3*z - 2*b - 14. Is 3 a factor of (z/(-6))/(5/(-45))?
True
Let g(p) = -17*p**2 + p**3 + 17*p**2 + 5 - p. Is g(0) even?
False
Let c = 121 - 77. Is 22 a factor of c?
True
Let y(h) = -4 - 21*h + h**3 + 5 + 12*h**2 + 3*h. Is y(-13) a multiple of 33?
True
Suppose 0*p - p = 1. Let b = 1 - p. Suppose b*d = -5*o + 13 + 34, 0 = 2*d + 8. Is 6 a factor of o?
False
Let j be (-190)/(-8) + 6/24. Suppose -2*k + 10 = -j. Is 11 a factor of k?
False
Let j = 22 + -19. Does 2 divide j?
False
Let c = -4 + 1. Let r(m) = m**3 + 4*m**2 - m. Does 12 divide r(c)?
True
Let g(p) = p**2 + 9*p + 1. Let h be g(-9). Let v(c) = 1 - c**2 + c**2 + 19*c**3. Is v(h) a multiple of 10?
True
Suppose 3*y = -0*y + 153. Is y a multiple of 11?
False
Let w be -16*1/(8/50). Suppose j + 420 = 4*j. Let i = j + w. Does 20 divide i?
True
Let f(t) = -t**2 - 4*t - 3. Let w be f(-3). Is (2 - 3 - w)*-20 a multiple of 10?
True
Let y(f) be the third derivative of -1/8*f**4 + 0*f - 5/6*f**3 + 0 - 3*f**2. Is y(-9) a multiple of 12?
False
Let d be (-256)/(-6)*36/8. Suppose -4*f - 32 + d = 0. Does 8 divide f?
True
Let w = 90 + -192. Suppose -2*n = 2*m - 0*n + 138, 0 = 5*m - 5*n + 375. Let p = m - w. Does 10 divide p?
True
Suppose 5*b - 14 - 11 = 0. Suppose p + 112 = b*p. Is p a multiple of 17?
False
Let t(i) = i**3 - 8*i**2 + i - 8. Let m be t(8). Let s = m + 2. Suppose -5*h + 11 = 2*j - 8, -s*j + 4*h = -10. Is j a multiple of 7?
True
Suppose 497 = 4*y - 3*f + 2*f, 3*y + 4*f = 387. Is 34 a factor of y?
False
Let v = 508 - 354. Is 24 a factor of v?
False
Does 12 divide (13/(-1))/((-12)/36)?
False
Let v(l) = l**2 - 5*l - 3. Let p be v(6). Suppose 3*n + z - 160 = -p*z, -n + 5*z + 66 = 0. Does 16 divide n?
False
Let z(g) = 17*g + 15. Let o(x) = -8*x - 7. Let h(v) = 13*o(v) + 6*z(v). Is 13 a factor of h(-7)?
True
Is 2 a factor of 1/4 + 57/12?
False
Is (4/(-12) - (-417)/(-18))*-2 a multiple of 8?
False
Suppose 38 + 230 = 4*n. Is 19 a factor of n?
False
Let a(q) = 200*q + 4. Does 12 divide a(1)?
True
Is 19 a factor of ((-21)/(-6))/(-7)*-38?
True
Suppose -5*m + 2*s = 3*s - 95, -76 = -4*m - 2*s. Does 18 divide m?
False
Suppose 0 = 3*o + 5*k - 191, 5*o - 201 = -5*k + 134. Does 24 divide o?
True
Let x(m) be the second derivative of -m**5/20 - m**4/4 + m**3/3 + 7*m**2/2 - 8*m. Does 28 divide x(-6)?
False
Let v(l) = 7*l + 3. Is 17 a factor of v(2)?
True
Let n(o) = o**2 + 4*o + 1. Let y be n(-7). Suppose -2*a + 78 = y. Does 8 divide a?
False
Let f(t) = -t**2 + 6*t + 8. Let q(s) = s**3 + 6*s**2 - 7*s + 4. Let a be q(-7). Suppose -a*o = -c - 14, 0 = o - 3 - 2. Is 4 a factor of f(c)?
True
Suppose 0 = v - 4*v + 6. Does 13 divide -2 - (-25 + (-6)/v)?
True
Suppose 0 = -4*m - 4, 839 = 2*f - 0*f + m. Is 42 a factor of f?
True
Let i(m) = m**3 + 13*m**2 + 8*m + 3. Is 25 a factor of i(-12)?
False
Let k = 21 - 12. Let g be (-3)/k + (-38)/(-6). Suppose 70 - g = 2*q. Is q a multiple of 16?
True
Let g = 209 + -313. Let j = -23 - g. Is 18 a factor of 0 - (j/(-3) + -3)?
False
Let j = -95 - -51. Let d = j + 73. Is d a multiple of 11?
False
Let n = 12 - 7. Is 12 a factor of n/(15/(-6)