uppose x - 4*x = -15. Suppose -x*q - 5 = 5*m, m + 2 + 7 = -3*q. Does 3 divide 3 + m + (2 - 0)?
False
Let d(s) = s**3 + 2*s**2 - 2*s - 1. Let q be d(2). Suppose -4 - q = -c. Is c a multiple of 13?
False
Let s = -8 + 20. Does 3 divide s?
True
Let v(n) = n**2 - n + 24. Suppose -1 = i - 4. Suppose -2*l = -0*l + i*d, -3*d = 0. Is 12 a factor of v(l)?
True
Let k(d) = -d**2 - 5*d + 3. Let f be 0/4 + -5*1. Let q be k(f). Is q/(2*9/48) a multiple of 7?
False
Suppose 3*v + 3 - 9 = -2*u, 2*u = 5*v - 10. Suppose -v*h + 21 = h. Is 3 a factor of h?
False
Suppose n + 5*z = 18, 80 = 2*n - 5*z + 4*z. Does 19 divide n?
True
Is 19 a factor of -2 + (23 - 2/1)?
True
Let v = 117 - 56. Is 9 a factor of v?
False
Suppose 2*t + 0*z + 3*z - 11 = 0, 4*t + z - 27 = 0. Let n(l) = l + 2*l**3 - 4 + 6*l**2 - 3*l**3 + 8*l. Does 5 divide n(t)?
True
Suppose 0 = -4*k - 54 + 570. Suppose -5*q - 5 = 3*h, 0 = 4*h + 3*q - 0 + 3. Suppose -4*l + l + k = h. Is l a multiple of 16?
False
Let b = 109 - 83. Suppose 5*a = 3*i + 10, a - 2*i + 10 = 6*a. Suppose -a*c + 12 = -b. Does 11 divide c?
False
Let z(g) = 31*g**2 + 2. Is 11 a factor of z(1)?
True
Let g be (-26)/(-6) + (-3)/9. Suppose 0 = -g*q + q + 27. Is q a multiple of 9?
True
Let j be 6/((-28)/(-8) + -2). Let l be -2*2/4 + 1. Suppose l = j*w - 6*w + 64. Does 16 divide w?
True
Suppose -2*w + 2 = 0, 0*w - w = 2*z - 19. Let k(t) = -t**3 + 8*t**2 + 7*t - 13. Let s be k(z). Let a = -15 - s. Is 10 a factor of a?
False
Is (38/(-6))/(5/(-15))*15 a multiple of 36?
False
Suppose -25 = -3*d - 10. Let t(f) = f - 11. Let b be t(d). Is (b/(-4))/((-2)/(-12)) a multiple of 6?
False
Suppose -5*v - 3*r + 136 = -r, 5*r + 94 = 3*v. Is v a multiple of 28?
True
Does 14 divide 257/5 + 20/(-50)?
False
Let h = -2 - -8. Let r(v) = v**3 - 4*v**2 - 6*v + 1. Is r(h) a multiple of 14?
False
Let p(o) = -o**3 + 4*o**2 - 2*o + 1. Let a be p(3). Let g = a + 3. Does 2 divide g?
False
Is (-32)/(14/(-4) + 3) a multiple of 26?
False
Suppose -j - 3*j - 12 = 0. Let o be -2 - 25*(j + 2). Suppose -q + o = -4*z + z, 4*q - 78 = -2*z. Is 15 a factor of q?
False
Let x(g) = 3*g**2 - 4*g. Let j(p) = p + 9. Let n be j(-6). Is x(n) a multiple of 5?
True
Suppose r - 5*r = -12. Is r a multiple of 3?
True
Let v(f) = -f**3 + 6*f**2 + 8*f + 8. Suppose 0 = 5*a - 2 - 13. Suppose 0 = a*p - 14 - 7. Is v(p) a multiple of 14?
False
Suppose 4*p + 0*p = 496. Does 28 divide p?
False
Suppose -2*a + 236 - 58 = 0. Suppose 0*h + 3*h - 79 = 2*d, 0 = 3*h - 4*d - a. Is h a multiple of 9?
False
Let g(s) = -3*s**2 + 9*s - 5. Let y(l) = l**2 + l - 1. Let o(p) = -g(p) - 4*y(p). Let c be o(-8). Let u = c + -3. Is 23 a factor of u?
True
Suppose k - 1 = -10. Let o = 17 + k. Is 8 a factor of 0 + o + -2 - -2?
True
Suppose -4*a = -3*a - 4. Is a a multiple of 4?
True
Suppose 0*m = -3*m + 48. Let y = -7 + m. Suppose 15 = 2*k - y. Does 12 divide k?
True
Let b = -14 - -27. Let f = b + -8. Let h = f + 6. Is 5 a factor of h?
False
Let v = 354 - 84. Is 18 a factor of v?
True
Let z = 1 - 1. Let n(j) be the second derivative of -j**3/6 + 17*j**2/2 - j. Is n(z) a multiple of 17?
True
Let c(j) be the second derivative of j**5/20 - 2*j**4/3 + 5*j**2/2 + 15*j. Let k(w) = 7*w**2 + 1. Let x be k(-1). Is c(x) a multiple of 5?
True
Let v(s) = s**3 - 9*s**2 - 2*s + 13. Suppose 0*p + 45 = 5*p. Let a be v(p). Let k = a - -13. Is k a multiple of 4?
True
Suppose -4*k - 2*g = k - 248, 3*g - 147 = -3*k. Is 10 a factor of k?
True
Let m(c) = 6*c + 3. Let h(r) = -12*r - 5. Let y(o) = -3*h(o) - 7*m(o). Let q be (20/(-5))/((-2)/(-2)). Is y(q) a multiple of 9?
True
Let g = -6 + 11. Suppose 5*s = g, 5*s + 0*s - 85 = -u. Suppose 5*f + 0*f - u = 0. Does 8 divide f?
True
Let m = -30 - -72. Is m a multiple of 21?
True
Suppose -2*g + 5*g = 126. Suppose 2*c + s = -3*s + 24, 4*c + 5*s - g = 0. Is 3 a factor of c?
False
Is 27 a factor of (6/18)/((7/(-156))/(-7))?
False
Suppose 4*p = 5*m - 60, 5*p = 29 - 4. Is 5 a factor of m?
False
Let c(p) = p**3 - 8*p**2 + 6*p - 12. Let g be 1 + (-3)/6*-14. Does 12 divide c(g)?
True
Let w be 1 + 0 + 80/4. Suppose w = 4*j - 39. Does 15 divide j?
True
Does 11 divide 4/10 - ((-8722)/(-10))/(-7)?
False
Suppose -4*o + 43 = 7. Does 3 divide o?
True
Let m be (-10)/45 + (-2)/(-9). Suppose -t - 4*v + 51 = m, 23 = 5*v + 8. Does 14 divide t?
False
Let g = 47 - 37. Does 3 divide g?
False
Is 27 a factor of (-2)/10*100/40*-82?
False
Suppose 715 = 2*h + 2593. Is (-4)/(-18) + h/(-27) a multiple of 13?
False
Let a be (-2)/8 + (-1)/(-4). Suppose -4*t = -5*l + 83, -2*l + 23 = -a*l - 5*t. Does 9 divide l?
False
Let q(o) = -o**2 + 6*o - 5. Let z = -6 - -10. Let c be q(z). Let x = 21 + c. Does 9 divide x?
False
Is 19 a factor of -9*(-2)/6 + 52?
False
Suppose -d - 4*v = -1, 0*v - v = 2. Suppose -d*a + 285 = -4*a. Is a a multiple of 19?
True
Let o(w) be the third derivative of -w**4/2 - w**3/6 - 6*w**2. Is o(-3) a multiple of 8?
False
Let v = -16 - -10. Let y = v + 3. Let u = y - -7. Is u even?
True
Suppose 0 = i - 3*t, 11 = -5*i - 3*t - 7. Let n = i + 1. Is 28/6 - n/(-3) a multiple of 2?
True
Let z be (-24)/(-10) - 8/20. Suppose -p + 0*p = z*m - 79, 101 = 3*m + 5*p. Is 9 a factor of m?
False
Let f be (-2)/9 - 38/(-9). Suppose f*k - 90 - 50 = 0. Suppose k - 4 = u - b, 5*b + 31 = u. Is 11 a factor of u?
False
Suppose -79 = -v - 5*f, -4*f + 13 = v - 67. Let q = 50 - v. Let z = -24 - q. Is 5 a factor of z?
True
Suppose -5*u + 6*u - 19 = 0. Is 5 a factor of u?
False
Let g be -4 + (2 - 1 - -1). Let b = 19 + g. Is 17 a factor of b?
True
Let w be ((-9)/6)/(6/(-16)). Let b(s) = -s**3 + 6*s**2 - 5. Is 11 a factor of b(w)?
False
Let m(j) = 77*j**2 + 3*j + 2. Does 19 divide m(-1)?
True
Let h = -16 + 11. Let r(z) = -5*z**3 + 2*z - 5 - 3*z**2 + 0*z + 4*z**3. Is r(h) a multiple of 18?
False
Let k be 4/(-1) + (-15)/(-1). Suppose k*p - 50 = 6*p. Is 6 a factor of p?
False
Let k(h) = h**2 + 5*h + 1. Suppose 3*m + 42 = -3*t + 12, -5*m = 2*t + 38. Is k(m) a multiple of 5?
False
Let q = 9 + -15. Let i = 21 + q. Is i a multiple of 5?
True
Let q(w) be the third derivative of w**5/60 - w**4/12 + w**3/3 - 3*w**2. Let i be q(-3). Let b = i - -16. Does 12 divide b?
False
Let r(k) = k**2 + 2*k - 3. Does 17 divide r(8)?
False
Let x(j) be the first derivative of j**4/4 - 10*j**3/3 + 5*j**2 - 3*j - 4. Let a be x(9). Let n = 28 - a. Does 6 divide n?
False
Let z(j) = 3*j**2 + 2*j - 1. Let a be z(1). Let l be (-1 - -1)/(4/(-4)). Suppose -a*c - 8 = -l*c, -4*c - 2 = f. Is 3 a factor of f?
True
Suppose 2*s = 6*s - 48. Does 6 divide s?
True
Let f(d) = 2*d**3 + 2*d**2 - 3*d + 2. Is f(3) a multiple of 12?
False
Suppose s - 25 = -4*r, 2*s = -s + 2*r + 47. Does 9 divide s?
False
Suppose -3*g = 3, 6*p - 5*g = 3*p + 47. Does 7 divide p?
True
Suppose -20*x + 22*x - 120 = 0. Does 12 divide x?
True
Suppose 5*q = 5*d - 195, -3*q = 2*d - 7*q - 74. Is 8 a factor of d?
False
Let y(q) = 7*q - 6. Let r be y(-6). Let k be ((-69)/4)/((-5)/(-20)). Let a = r - k. Does 13 divide a?
False
Let m(d) = -11*d + 9. Let b(p) = 6*p - 4. Let u(g) = 5*b(g) + 3*m(g). Is u(-7) a multiple of 22?
False
Let w(c) be the second derivative of -2*c**2 - 5/3*c**3 + 2*c + 0. Is w(-3) a multiple of 14?
False
Let h(c) = c**3 - 8*c**2 - 8*c + 12. Let i be h(10). Suppose 120 = 4*s - i. Suppose -s = -0*a - 3*a. Is 7 a factor of a?
True
Suppose -5*q = 0, 5*q - 30 = z - 6*z. Suppose -3*m + 6 = -3*f, f = 2*m - 0*f - z. Is 3 a factor of m?
False
Let v be -1 - -2 - (-3 - -4). Suppose 10 = 2*p - v. Suppose 0 = p*d + w - 77, -d - d + 2*w + 38 = 0. Does 9 divide d?
False
Suppose 21*o - 1091 = 463. Is 3 a factor of o?
False
Suppose 0 = -5*m + 3*i + 324, 3*m - 21 = -3*i + 183. Let s = -15 + m. Does 17 divide s?
True
Is 28/(-6)*(8 + -44) a multiple of 8?
True
Let k = 251 - 107. Suppose k = 3*u + u. Is u a multiple of 18?
True
Let g be (-68)/(-2)*6/(-12). Let p = g - -89. Is 17 a factor of p?
False
Suppose -184 = -i - i. Suppose -b - i = 3*b. Let t = b - -52. Does 16 divide t?
False
Let j = 19 - 15. Does 2 divide j?
True
Suppose -4*v = 31 - 7. Let k(o) = -o**3 - 6*o**2 - 3*o + 3. Does 14 divide k(v)?
False
Let v(w) = -11*w - 2. Let k(b) = 56*b + 10. Let c(o) = 3*k(o) + 16*v(o). Is 17 a factor of c(-6)?
False
Suppose 0 = -2*z - 0*z - 2*n + 40, 0 = -2*z + 3*n + 40. Let a = z + -7. Is 10 a factor of a?
False
Suppose 0 = -y + 2*y + 4