4*m. Let k = -1 + -2. Does 2 divide z(k)?
False
Let g be (3 + -4 + 12)*-6. Is 6 a factor of 1*(g/(-3) - 3)?
False
Let r(u) = -7*u - 12. Does 18 divide r(-6)?
False
Let x(j) = 13*j + 4. Suppose -4*w - 2 + 0 = -2*t, 3*t - 4*w = 5. Let q be x(t). Suppose q = 2*i + 7. Does 9 divide i?
True
Let i(a) = 2*a**2 + 4*a - 3. Does 6 divide i(4)?
False
Suppose n = -2*q - 2*n + 82, -2*q + 96 = -4*n. Is q a multiple of 11?
True
Suppose 0 = -v + 4*x - 29, -3*v - 55 = -0*v + 4*x. Let k = v + 5. Let r = k - -24. Is r a multiple of 4?
True
Suppose 0 = -3*i - 2 - 1. Suppose 3*z = 4*h + 36 + 3, -z = 2*h - 23. Let q = i + z. Does 8 divide q?
True
Is 24 a factor of (22/(-55))/(1/(-140))?
False
Suppose u = 4*q + 9, 0 = -5*q + 3*u + 4 - 24. Is 10 a factor of 44 + (q - 2/1)?
False
Let n(p) = -p**2 + 13*p. Is 12 a factor of n(9)?
True
Let r be (2/5)/((-1)/5). Let x be (-9)/12 + r/8. Is (0 - 2)*(x + -1) a multiple of 3?
False
Suppose -4*g + 5*t + 79 = -g, 0 = -2*g + 2*t + 46. Is 6 a factor of g?
True
Is 226 - 2*5/(20/(-6)) a multiple of 26?
False
Let s be -2*-2*(-1)/(-4). Suppose 3*w = -w - 4. Is 17 a factor of 1 - w - s*-15?
True
Suppose -119 = -3*o - 35. Is 3 a factor of o?
False
Let u = 110 + -60. Suppose -k + 0*k = -u. Does 14 divide k?
False
Let c = 8 - 8. Suppose c = 4*q - q - 36. Is 5 a factor of q?
False
Let v(b) = -b + 4. Let n be v(-6). Let c = -6 + n. Is c even?
True
Let t(v) be the third derivative of -1/60*v**5 + 0*v + 19/6*v**3 - 2*v**2 + 0 - 1/24*v**4. Is t(0) a multiple of 13?
False
Let x(u) = -4*u**2 + 2 + 5*u**2 - 3*u**2 + u**2. Is 2 a factor of x(0)?
True
Let s be 0/(-1) - (-27)/3. Let t = 4 + s. Suppose -q + 17 = -t. Is q a multiple of 12?
False
Let a(l) = 11 - 2*l**3 + 2*l - 4*l - 8*l + l**3 + 10*l**2. Is a(9) a multiple of 2?
True
Suppose -v + 4*g = -19, -g - 4*g = 2*v - 12. Is (1 - 15)*v/(-22) a multiple of 7?
True
Let a be (0 + -2)/2 + 1. Suppose 3*q - 2 - 16 = a. Let b = q - 3. Is b even?
False
Suppose -4*j - y = 41, 7*y + 11 = j + 3*y. Is 8 a factor of ((-114)/j)/((-4)/(-6))?
False
Let j be ((18/(-3))/3)/1. Let u = j + 4. Suppose y = 3*y - 4*n - 6, -3*y + u*n = -13. Does 3 divide y?
False
Let u = -5 + 10. Is -4*u/(-2)*1 a multiple of 10?
True
Let g = -6 - -6. Suppose g*f - 3*f = 4*s - 52, f - s = 22. Does 10 divide f?
True
Let h be (2 + -1)*(-7)/(-1). Does 15 divide 107/h + (-6)/21?
True
Let q(b) = b**2 - 2*b + 2. Let a(p) = 0*p**2 + 9*p - 6*p - 2 - 2*p**2. Let g(r) = -2*a(r) - 3*q(r). Is 6 a factor of g(3)?
False
Suppose 5*s + 3 = 8. Suppose -3*g - 23 = -5*g + f, 0 = f - s. Is 6 a factor of g?
True
Suppose 19 - 5 = 2*c + 2*q, c + 5 = 3*q. Suppose 3*v - 4*n = -7*n + 3, c*v = 2*n + 16. Does 3 divide v?
True
Suppose 0*y = -5*v - 2*y + 29, -5*y = -2*v. Suppose -z - 1 = -a, 0 = 3*a - 7*a + v*z. Suppose 0*c - 80 = -a*c. Does 8 divide c?
True
Let k be (-484)/(-10) - 2/5. Let l(o) = -o - 3. Let s be l(-5). Suppose s*w = -w + k. Is w a multiple of 8?
True
Let y(a) = -a**3 + 15*a**2 - 10*a - 1. Let t be y(14). Suppose 0 = 4*m + m - t. Is 4 a factor of m?
False
Let b be 24*((-11)/(-3) - 3). Does 7 divide (b/6)/(6/45)?
False
Let u(a) = -4*a - 15. Let m be ((-7)/(-4))/((-6)/24). Is 4 a factor of u(m)?
False
Let w(f) = f**2 + 13*f - 6. Let y be w(-6). Let x = -71 - y. Let s = x - -50. Is 18 a factor of s?
False
Suppose 3*f + 1 = -26. Let r = f - -14. Is r a multiple of 3?
False
Is ((-114)/(-2))/(0 + 1) a multiple of 19?
True
Suppose -j = u + 3*j + 34, -3*u - 42 = -3*j. Let c = u - -30. Is 12 a factor of c?
True
Let m be -3*(-1)/((-4)/(-164)). Suppose 176 = -4*f + 2*f. Let w = m + f. Is w a multiple of 21?
False
Let s = 0 - -5. Suppose -5*f + 5*p + 15 = 0, 0*p + 27 = s*f + p. Does 3 divide f?
False
Does 17 divide 71 - (1 + -2 - 1)?
False
Suppose 0 = 3*g + 2*g - 495. Does 9 divide g?
True
Let r be (-1 - -3)/((-2)/(-71)). Let h be r - (-3)/(3/1). Suppose 2*t = -2*t + h. Does 9 divide t?
True
Let r(s) = -s**3 - s**2 + s + 1. Let q(u) = -6*u**3 - 4*u**2 + 4*u - 24. Let w(a) = -q(a) + 5*r(a). Is 16 a factor of w(0)?
False
Let b(o) = o**2 - o - 2. Let a be b(-2). Let q be -1*(-1 + 1 - a). Suppose q*u + 10 = 86. Does 10 divide u?
False
Suppose 4*n - 7*p = -4*p + 1738, -p = 5*n - 2163. Is 66 a factor of n?
False
Suppose 0 = 5*v + 7*o - 2*o - 625, 3*v - 399 = 3*o. Does 17 divide v?
False
Let u = -30 + 44. Let z = u + -4. Does 10 divide z?
True
Suppose -5*r = 4*s - 635, -s - 5*r = 2*s - 475. Suppose 0 = 4*t + 5*b - 137, 4*b - s = -8*t + 3*t. Is t a multiple of 15?
False
Let q(x) = -2*x - 13. Let g be q(-9). Suppose -g*b = -13 + 3. Suppose b*i = -i + 78. Is i a multiple of 13?
True
Suppose -13*g + 3008 = 434. Is 9 a factor of g?
True
Let c = 5 - 4. Suppose v - c - 3 = 0. Suppose -x = -v - 6. Does 9 divide x?
False
Suppose 0 = -i + 6*i - 15. Suppose l = i*b - 14, -33 = -5*b + l - 9. Suppose -14 = -b*s + 21. Does 4 divide s?
False
Let q(l) = -l**3 + 3*l**2 + 6*l - 5. Let k be q(4). Suppose k*n + p = 19, -3*n + p - 4*p + 27 = 0. Is n a multiple of 3?
False
Let u(c) = c**3 - 2*c**2 - c - 3. Let h be u(3). Suppose 0*f - h*f + 108 = 0. Does 13 divide f?
False
Suppose 0 = 2*a - 36 - 0. Is a a multiple of 18?
True
Suppose o = r - 0*r - 41, 0 = r + 5*o - 23. Does 8 divide r?
False
Let s = 123 + 89. Suppose s = 4*j - 0*j. Suppose -4*z - 1 = -j. Is z a multiple of 12?
False
Suppose 4*t - 5*t = -2. Let n(w) = -w**t + 5*w + 4 - 4. Is n(4) a multiple of 4?
True
Suppose -2*v + 2 = -5*o + v, -o - 4*v = -18. Suppose -9 = o*m + 1. Let d = 52 + m. Is 19 a factor of d?
False
Suppose -3*w + 3*c = -33, -2*w - 4*c + 34 = -0*w. Is 4 a factor of w?
False
Let a(q) = q**2 + 10*q + 5. Let j be a(-10). Suppose 0 = -j*l + 20, 0 = -2*o - o - 3*l + 48. Is o a multiple of 12?
True
Let i(s) = s**3 - 9*s**2 + 9*s - 4. Let j be (7 - 6)*(-32)/(-2). Let r = j + -8. Is i(r) even?
True
Let d(p) = -p - 9. Let k be d(-5). Let a = 6 + k. Suppose -a*z - 2 = 4*t, -3*z + 2*z - 10 = 5*t. Is 4 a factor of z?
False
Let k = 7 - 2. Suppose -1 - k = -3*n. Is (-1 + n)*(7 + -2) a multiple of 2?
False
Suppose 19 = c + 1. Let x = 26 - c. Is x a multiple of 6?
False
Let k = 637 - 417. Is 30 a factor of k?
False
Suppose -5*v + 49 = -71. Does 7 divide v?
False
Suppose 5*i = -0*i + 2*c + 15, -4*c = i + 19. Does 8 divide (i/1)/((-1)/(-19))?
False
Suppose 117 = -6*i + 723. Is i a multiple of 14?
False
Let y(b) = -34*b - 1. Let i be y(1). Let d = -22 - i. Is d a multiple of 13?
True
Suppose 0 = -5*f + i - 80, -f + 5*f + i + 55 = 0. Let j be (8/(-12))/(2/f). Suppose -4*g - 71 = -j*r, r + g - 29 = -2*r. Is 10 a factor of r?
False
Suppose 0 = 4*y - 7*y + 96. Does 16 divide y?
True
Suppose 4*j = 3*j + 4, 5*s + 4*j - 26 = 0. Does 2 divide s?
True
Let s be 72/14*63/6. Suppose 2*p + 5*c - 54 = 0, -3*p = -5*p - c + s. Suppose -5*j - 5*q + p = -63, 0 = -4*q - 16. Does 6 divide j?
False
Suppose k = -k. Let b be (-1)/2*(-68 - k). Let v = b + -5. Does 10 divide v?
False
Let u(c) = 14*c - 58. Does 9 divide u(20)?
False
Is 19 a factor of (3 - 2 - -48) + -7 + 6?
False
Let n = 5 - 8. Is 10 a factor of 36 - 2*(-3)/n?
False
Let b(o) = o**3 - 9*o**2 + 10*o - 2. Suppose 0 = -6*u + u - 5. Let d = 7 - u. Is b(d) a multiple of 9?
False
Let g(b) = 81*b**3 - 1. Let p be g(-1). Let l = p - -128. Is 10 a factor of 21/(-14) - l/(-4)?
True
Let u = -6 - -12. Is u*4*3/4 a multiple of 6?
True
Suppose 0 = d + 1, 6 = 4*k + 3*d - 3. Suppose 3*j = b - 5, -j - 28 - k = -4*b. Is b a multiple of 8?
True
Let z = 77 + -53. Does 9 divide z?
False
Suppose -20 = -2*a - 84. Let q(g) = -g - 11. Let x be q(-5). Does 7 divide ((-6)/(-2))/(x/a)?
False
Does 25 divide (-16)/(-4) + 171 + 0?
True
Let q(b) = b**3 - 5*b**2 + 2*b + 9. Let g = 12 + -7. Is 9 a factor of q(g)?
False
Let k = -150 - -269. Is 41 a factor of k?
False
Let c(v) = 2*v**2 - 50*v + 68. Does 22 divide c(29)?
False
Let h = 445 + -286. Does 12 divide h?
False
Suppose -6*t + 25 = -245. Does 10 divide t?
False
Suppose -v + 57 = 4*r, -v - 57 = -2*v - 3*r. Is 3 a factor of v?
True
Let x(m) = 4*m**2 - 3*m. Let j be 1*(6 + -2 - 0). Suppose -3*g = -g - j. Is x(g) a multiple of 8?
False
Let c = 18 - -2. Suppose -4*v = -c - 44. Is 16 a factor of v?
True
Let h(u) = u**3 - 4*u**2 + 5*u - 4. Let v = 3 + -4. Let x(w) = -4*w**3 + w**2 + w. Let z be x(v). Does 6 divide h(z)?
False
Suppose 0 = 4*o - 3*a + 9, a - 15 = -5*o - 4*a.