 v(1). Suppose -y*s - 5*a = -15, a + 22 = 7*s - 3*s. Let b = s - -17. Does 11 divide b?
True
Let c be ((-2)/(-4))/((-5)/(-260)). Let i = 50 - c. Is i a multiple of 12?
True
Let b be (-4)/6 - (-4)/6. Let s(f) = -f**3 - 8 - 4*f**2 + f + 44 + 3*f**2. Does 12 divide s(b)?
True
Suppose -5*c - 4*i = -243, -5*c + 0*i - 2*i = -239. Does 15 divide c?
False
Is 2*11 - (4 + -6) a multiple of 24?
True
Let v(m) = m**3 - 8*m**2 - 8*m - 4. Let k be 3*3 - (3 + -3). Is v(k) a multiple of 2?
False
Let w(l) be the third derivative of -l**4/24 + 5*l**3/6 + 6*l**2. Is 14 a factor of w(-9)?
True
Let u(s) = -s**2 + 7*s + 9. Let n(b) = -2*b**2 + 13*b + 17. Let d(z) = -4*n(z) + 7*u(z). Is 21 a factor of d(-6)?
False
Let m(k) = k**3 - 2*k**2 - k - 1. Let c be m(2). Let u be 1 + c - (0 + 1). Let i(z) = -z**3 - z**2 + 3*z - 4. Is 2 a factor of i(u)?
False
Let f = 2 - 2. Suppose -d + v + 1 = -2*d, 4*d - 4*v - 28 = f. Is 3 a factor of d?
True
Suppose -4*k = -4*x - 20, -5*k - 3*x - 2*x + 15 = 0. Suppose k*v = -5*i - 0*v - 157, 0 = i + 5*v + 23. Let z = -11 - i. Is 11 a factor of z?
True
Suppose j + 13 = 5*l, -5*l = 5*j - 17 - 8. Suppose 5*t + 6 = 7*t. Suppose 3*x - 12 = 0, 24 = v + l*v - t*x. Does 4 divide v?
False
Suppose 0 = -j + 2*j + 7. Let z = -15 - j. Let b = 18 + z. Is 8 a factor of b?
False
Let r = 15 - -7. Let o = 13 + 1. Let u = r - o. Does 8 divide u?
True
Let y(l) = -l + 43. Does 18 divide y(7)?
True
Let d = 198 - 107. Let g = d + -61. Suppose w = g + 1. Is w a multiple of 12?
False
Let b = 1 - 7. Let l(g) = -5*g**3 + 13*g**2 + 12*g - 6. Let k(p) = -6*p**3 + 14*p**2 + 13*p - 6. Let o(s) = 6*k(s) - 7*l(s). Does 6 divide o(b)?
True
Suppose v + 3*d = 7, 4*v + 13 = 6*v + 5*d. Let u(j) = 0*j + 4 + 3*j + j**2 - 2*j**2 + 3*j. Is 4 a factor of u(v)?
True
Let f(r) = 2*r + 36. Is 12 a factor of f(0)?
True
Let r = 7 - 1. Suppose -4*d - c = 1, r*d + 3*c + 12 = 3*d. Let q = 9 - d. Is 7 a factor of q?
False
Suppose -5*o + 5 = y + 2, 2*o = 5*y - 42. Let q be ((-6)/y)/((-5)/(-240)). Is 8 a factor of (-4)/(-18) - 568/q?
True
Let c(q) = q**3 - 5*q**2 + 6*q - 17. Is c(7) a multiple of 13?
False
Let c(b) = -11*b**3 - 2*b**2 + 1. Let d be (4 - 2)/((-6)/(-3)). Suppose a - 2*a = d. Is 10 a factor of c(a)?
True
Let w be 2/8 - (-62)/8. Suppose -22 - w = 5*x. Is 4 a factor of (-44)/x - 3/9?
False
Let x(p) = p**2 + 14*p - 9. Let n be x(-14). Let c(s) = -2*s + 4. Is 22 a factor of c(n)?
True
Suppose -7 - 36 = -i. Suppose 0 = -3*p - 0*r + r + i, r - 69 = -4*p. Does 10 divide p?
False
Let n(w) = w**3 - 2*w**2 + w - 4. Is n(3) a multiple of 5?
False
Let s(m) = -m**3 - 3*m**2 - m. Let q be s(-3). Let y be (-2)/q - 2/(-3). Does 3 divide y - 3/((-6)/14)?
False
Let v = 39 - 28. Is 14 a factor of (v/(-4))/((-2)/40)?
False
Suppose n - 2*u + 0*u = 0, -4*n = 2*u. Suppose n = s + 5, -4*r + 7*r + 5*s - 38 = 0. Does 8 divide r?
False
Let c = 1 + 7. Let p = 2 + -2. Suppose -t = -p*t - c. Is t a multiple of 3?
False
Suppose 5*t + 47 = -118. Let r = t + 69. Is r a multiple of 17?
False
Let w be -3*2/3 + 2. Suppose 2*o - 63 - 29 = w. Is o a multiple of 23?
True
Suppose -3*u + u = -4*b + 8, 0 = 5*b + 10. Suppose 5*f - 130 = -0*f. Let q = f - u. Does 17 divide q?
True
Let q(x) = x**2 + x - 7. Let t be q(-4). Suppose -8 = -d + t. Is 6 a factor of d?
False
Let p = 11 - 8. Let r be (-1 + p/(-1))/1. Is 6 a factor of r/(-18) + (-372)/(-27)?
False
Suppose 5*w + 5 = -4*p, 0*p + 50 = 5*p - 5*w. Suppose -z + 3*c - 11 = 0, z - 2*z + 14 = 2*c. Suppose p*u - 90 = z*k, u - 2*u - 4*k + 18 = 0. Does 9 divide u?
True
Let k be (-3)/((-6)/4) + 76. Suppose 3*n + 3*x = 57, -2*x - 4 = 4*n - k. Does 6 divide n/(-8)*(-5 + -3)?
True
Let t(r) = -10*r**2 + 2*r + 2. Let j be t(-3). Does 16 divide (-1)/(-3) + j/(-6)?
True
Suppose -3*f + 18 = 3*o, -11 - 1 = -3*o - f. Let s = 5 + o. Is (-18)/4*s/(-12) a multiple of 3?
True
Let w be 2*-1*3/2. Is 10 a factor of (-48)/(w*1) + 2?
False
Suppose -o = 3*o - 144. Let w = 74 - o. Is w a multiple of 13?
False
Let a(o) = 10*o - 4 - 3*o**3 - 2 - 4*o**3 + 8*o**2 + 6*o**3. Let l be a(9). Suppose l*c = 0, -i - 5*c + 22 = -0*i. Is i a multiple of 11?
True
Suppose -13 = -u - 6. Suppose 0 = -y + 2*l + 58, -u*l = -2*l - 5. Does 27 divide y?
False
Let c = 14 - 16. Let g(o) = -32*o - 1. Is 21 a factor of g(c)?
True
Suppose -19 - 9 = -4*u. Suppose u + 14 = 3*y. Is 7 a factor of y?
True
Let t be (1 + 2/(-2))/2. Suppose 0 = -t*n - n + 17. Is 11 a factor of n?
False
Suppose -4*h + 4 = x, 3*x = 7*x - 4*h - 96. Is 4 a factor of x?
True
Suppose 15*w - 546 = 399. Is w a multiple of 9?
True
Let y(w) = w**3 + 8*w**2 + 4. Suppose 24 = -5*q + 2*q. Let r be y(q). Suppose -r*f - 2*d + 42 = 0, -f = 2*f - 4*d - 59. Is 8 a factor of f?
False
Suppose 4*d = -5*m + 2*d + 59, 2*d + 18 = 2*m. Is m a multiple of 11?
True
Let p(f) = f**2 - 2*f - 24. Is 8 a factor of p(-6)?
True
Let f = 0 + -10. Let g = f - -31. Is g a multiple of 4?
False
Suppose -h = -5*h + 28. Let d = 31 + -2. Let l = d - h. Is 11 a factor of l?
True
Suppose 0 = -6*l + 8*l - 112. Is 8 a factor of l?
True
Let x(g) = g**2 - g - 2. Suppose -5*z = 3*k + 14, 3*k - 4*z + 8 = -k. Let l be x(k). Let h = -5 + l. Is h a multiple of 2?
False
Let t be 33*(2 + 0 + -1). Is 9 a factor of t/1 + 1/(-1)?
False
Suppose 4*y - 126 = -2*t, 3 = 3*y - t - 79. Is 13 a factor of y?
False
Let y(u) = 4*u - 2. Let c = 1 - -6. Does 13 divide y(c)?
True
Let a(j) = -j**2 - 5*j + 1. Let v be a(-5). Does 24 divide (v + 2)*335/15?
False
Suppose -v = 2*r + 16, 0 = 3*r + 4*v + v + 17. Let n = -33 + 46. Let i = n + r. Is i a multiple of 2?
True
Suppose 188 = 4*u + 4. Is u a multiple of 9?
False
Is 50 a factor of -375*(-5 - 23/(-5))?
True
Let d(p) = p**2 + p + 5. Let t be d(0). Suppose 0*l + t*b = 2*l - 29, -3*l = -5*b - 51. Let v = 54 - l. Is 16 a factor of v?
True
Suppose -x + q + 10 = 0, -2*x + 8 = -3*q - 9. Does 6 divide x?
False
Suppose -145 = -0*a - 5*a. Suppose 0 = -2*p + 3 + a. Is p a multiple of 16?
True
Does 4 divide (-18)/4*(-8)/6?
False
Let v(k) = -k**2 + 3*k + 4. Let n be v(4). Suppose n = r - 2*r + 2. Suppose 5*u = r*p - 0*u + 10, 2*u = 8. Is 5 a factor of p?
True
Suppose 5*v = 20, 0*v - v - 167 = -3*o. Does 25 divide o?
False
Is (-1203)/(-24) - (-4)/(-32) a multiple of 23?
False
Suppose 8*w - 5*w = 9, 3*u = -5*w + 27. Suppose 2*o - 4*o = 2*r, 2*r = 0. Suppose -5*g - 3*q + 45 = 0, u*g + g + 4*q - 50 = o. Does 6 divide g?
True
Let o = 4 + 16. Is 14 a factor of o?
False
Suppose -2*b + 3*b - 84 = 0. Does 14 divide b?
True
Let u = 1 + 4. Let p be (-2)/4*-4 + u. Suppose -j = 2*z - p, 0 = -z - 0*z + 5*j + 20. Is 5 a factor of z?
True
Suppose 6 = 5*z + 1. Let q(v) = 16*v - 4 - 3 + 5 + 3. Is q(z) a multiple of 12?
False
Let j = 47 - 25. Does 9 divide j?
False
Suppose -5*z = -2*g - 104, 0 = -z - g + 5*g + 28. Is z a multiple of 4?
True
Suppose 5*k - 820 = -4*z, -4*z = 3*k - 2*k - 180. Suppose k = 3*v - 26. Let s = -44 + v. Is s a multiple of 9?
True
Suppose -g - 5 = 0, 0*g = 5*l + 2*g - 95. Suppose u = -2*u + l. Is u a multiple of 5?
False
Let t(j) = -j**3 - 8*j**2 - 9*j - 9. Let s be t(-7). Let f be 2/3 + 4/(-6). Suppose g + 2*d = 10, -s*g + f*d - 3*d = -64. Is 14 a factor of g?
True
Let n = 298 + -101. Let i = n - 107. Suppose -j - i = -4*j. Does 19 divide j?
False
Let u(w) = 118*w**3 - 4*w**2 + 4*w - 1. Is u(1) a multiple of 13?
True
Suppose -5*m - 4*h = -161, 3*h - 43 = -m - 2. Is 7 a factor of m?
False
Let c = -3 + 7. Suppose a = -3*w + c*a + 153, 4*a = -w + 76. Is 28 a factor of w?
True
Let q be (-2)/(-8) - (-7)/4. Suppose -5*f - 5*u = -285, -q*f + 3*u + 0*u = -114. Let v = -35 + f. Is v a multiple of 9?
False
Let m(f) = 3*f**3 - f + 6. Let l(r) = -10*r**3 + r**2 + 3*r - 19. Let v(b) = -2*l(b) - 7*m(b). Let q be (-7)/1 + 2 + 2. Is v(q) even?
True
Suppose 120 = 5*n + 8*v - 3*v, -2*n - 4*v = -48. Does 9 divide n?
False
Let l(t) = t**3 + 2*t**2 - t + 3. Let q be l(-3). Is 2 a factor of (-2)/q - 66/(-9)?
True
Suppose 42 = 3*t - 7*c + 2*c, 2*t - 44 = -2*c. Is 2 a factor of t?
False
Let p = 467 - 258. Is 16 a factor of p?
False
Let p(i) = i**3 + 8*i**2 + 6*i + 6. Suppose -9 = -5*s + 1. Let b be s*(-2 - 9/6). Is p(b) a multiple of 7?
False
Let i(o) = -12*o - 14. Does 29 divide i(-7)?
False
Suppose -2*o - 12 = -4*o. Let g be o/(-15) - 184/(-10). Suppose -4*v = 2*i - g, -4*i = -3*i + 5*v. Does 8 