 6. Is 17 a factor of k?
False
Suppose -2*l + 15 = 11. Suppose -48 = -l*c - c. Does 10 divide c?
False
Is (-17 - 12/(-6))*(-17 + 1) a multiple of 16?
True
Let j = -18 - -24. Is j even?
True
Let a(g) = -2*g - 14. Suppose 12 + 43 = -5*w. Is a(w) a multiple of 8?
True
Let x(j) = -3*j**3 - 9*j**2 + 8*j**2 + 4*j**3 - j + 7. Does 5 divide x(0)?
False
Let a(o) = -5*o + 21. Is a(-8) a multiple of 11?
False
Suppose 0 = -0*k - 4*k - p + 11, -k + 4*p + 7 = 0. Suppose 0 = c - 5*c + 436. Suppose -4*x - 3*f + c = 0, -k*f = 2*x + x - 78. Is x a multiple of 20?
False
Suppose 2*t - 4 = 2. Suppose 0 = t*a + 3*m - 27, 0*a - a + 2*m + 3 = 0. Is a a multiple of 3?
False
Let k(p) = -4*p**3 + 2*p**2 + p. Suppose -4*s = -8*s - 4. Is 5 a factor of k(s)?
True
Is -2*278/(-5) - (-5)/(-25) a multiple of 18?
False
Suppose 51 = 3*r - 2*g + g, 0 = 4*r - 4*g - 68. Is 17 a factor of r?
True
Let z(c) = -c**2 + 4*c - 3. Let q be z(3). Suppose 33 = l - q*l. Is l a multiple of 15?
False
Let z = 25 + -9. Suppose 4*m - 56 = -z. Does 7 divide m?
False
Suppose a + i + 3*i = 61, 0 = -3*a + 2*i + 127. Does 15 divide a?
True
Let v = -9 + 15. Let x = v + 40. Is 23 a factor of x?
True
Let x(h) = -h**2 - 7*h. Let i be x(-8). Is 10 a factor of (-90)/21*(i - -1)?
True
Suppose -4*u + 9*u = 20. Suppose 5*o - 189 = 3*c, -2*o - u*c + 70 = -8*c. Is 30 a factor of o?
False
Let s be (-3)/(-2) + 236/(-8). Let d(m) = m**3 + 7*m**2 - m. Let w be d(-6). Let v = s + w. Does 14 divide v?
True
Let w = 54 + -27. Is 8 a factor of w?
False
Let t be 6 - 7 - (-1)/1. Suppose -g - 13 - 10 = t. Let n = g + 47. Is n a multiple of 14?
False
Is 29 a factor of (-1734)/(-30) + 2/(-40)*-4?
True
Suppose -5 = 3*b - 2. Let v(x) = -5*x - 1 - 1 + 1 + 2. Is 3 a factor of v(b)?
True
Let c(m) = m + 10. Let a be c(-8). Let r = 4 + a. Does 6 divide r?
True
Let x(j) = -57*j - 31. Is x(-4) a multiple of 11?
False
Let g(v) = 3*v + v**3 - 7*v + 0 + 5 + 3*v**2. Let j be g(-4). Suppose 0 = j*s - 2*s + 6, 0 = c + 5*s - 2. Does 6 divide c?
True
Suppose 0 = 13*n - 4*n - 837. Is n a multiple of 17?
False
Let k = -46 + 125. Does 34 divide k?
False
Does 15 divide (-2)/(-3) + (-387)/(-27)?
True
Let n = -29 - -36. Let l(y) = -y**3 - 6*y**2 + y - 2. Let u be l(-6). Does 6 divide 159/n + u/(-28)?
False
Suppose 3*p + 3*g - 224 = -2*g, -5*p = 2*g - 348. Does 34 divide p?
True
Suppose 7*h - 9*h = -200. Is h a multiple of 25?
True
Let f = 7 - 16. Let s(h) = h**3 + 8*h**2 - 10*h + 9. Is s(f) a multiple of 6?
True
Let v(s) = -92*s + 1. Let h be v(1). Let b = -37 - h. Is b a multiple of 22?
False
Let l(w) = 3*w**3 + w**2 - w + 1. Let g be -2 + (6 + 1 - -1). Let p(a) = a**2 - 5*a - 5. Let n be p(g). Is l(n) even?
True
Suppose 44 = l + c + 3*c, 0 = -4*l - c + 116. Is 12 a factor of l?
False
Let v = 16 - -49. Is 19 a factor of v?
False
Let n(p) = -1 - p**2 - 4*p + 3 + 4*p + p**3 - p. Is n(2) a multiple of 4?
True
Is (-4)/(-22) + 192/33 a multiple of 3?
True
Let f(x) be the third derivative of x**4/24 + 3*x**2. Is 3 a factor of f(6)?
True
Let u(y) = y**3 + 3*y**2 - 6*y - 4. Let j be u(-4). Suppose 32 = 3*h + 2*r, j*r = 4*h - 26 - 30. Is h a multiple of 4?
True
Suppose -2*n + 93 = -3*p, p = -3*n - 2*p + 117. Does 3 divide n?
True
Let b be 1/2 - (-1)/(-2). Suppose -2*w = -b*w - 6. Is 3 a factor of 14*w/6*1?
False
Let p(o) be the first derivative of o**4/12 - 5*o**3/6 + 5*o**2/2 - o + 1. Let f(r) be the first derivative of p(r). Is f(5) a multiple of 3?
False
Let g(z) be the third derivative of -7/24*z**4 - 1/60*z**5 - z**3 + 0 + 0*z + z**2. Does 4 divide g(-5)?
True
Let u(k) = 10*k - 11. Does 11 divide u(11)?
True
Let k(w) be the third derivative of -w**4/24 - w**3/6 - 4*w**2. Let z be k(-3). Let o = z - -7. Is o a multiple of 6?
False
Let m be 1*-1 - (-7)/7. Suppose m = -5*w + 121 + 209. Let d = w - 42. Is 8 a factor of d?
True
Let x = -15 - -29. Suppose 0 = 3*c + 3*r - 33, -2*c + 5*r + 8 + x = 0. Does 5 divide c?
False
Is 12 a factor of (-2)/((-6)/141)*1?
False
Let u(j) = 6*j - 16. Is u(10) a multiple of 11?
True
Let h = 217 + -130. Suppose 5*c + 3*y - 60 = 52, -4*c - 5*y + h = 0. Is 19 a factor of c?
False
Suppose -11 = 2*z - 37. Let c(n) = 3*n**2 + 8*n - 1. Let b be c(-6). Suppose z - 3 = 5*j, -m - 4*j = -b. Is 19 a factor of m?
False
Let x(y) = y**3 - 7*y**2 + 6*y + 1. Let c be 40/7 - (-6)/21. Let u be x(c). Is 14 a factor of u + -1 + (-14)/(-1)?
True
Let g(s) = -s**3 - 5*s**2 - 2*s - 1. Let r be g(-4). Let o be r/12 + 79/4. Suppose 0 = -3*y + t - 1 + o, 30 = 3*y - 5*t. Is y a multiple of 3?
False
Let s(h) = 2*h**2 - 5*h + 3. Suppose y = -y + 14. Let t = -3 + y. Is 11 a factor of s(t)?
False
Let m be (1/2*8)/2. Suppose m*r + 4*q = -q + 41, 2*r + 3*q - 35 = 0. Is r a multiple of 12?
False
Suppose 3*q + 8*q - 715 = 0. Does 5 divide q?
True
Suppose -3*l - 2*l = 15. Let p be (-4)/(l/(9 + -3)). Suppose -2*x - 88 = -4*v, -2*v - p = -3*v + 4*x. Is v a multiple of 9?
False
Let g be (2/5)/(3/15). Let h(q) = -q**2 - 4*q + 8. Let y be h(-5). Suppose y*k + 79 = 4*u, g*k + 0*k - 6 = 0. Does 17 divide u?
False
Suppose 7*w - 375 = 2*w. Let g = w + -52. Does 23 divide g?
True
Suppose 5*l + 11 = -9. Does 5 divide (10/8)/(l/(-16))?
True
Let c be -2 - 0 - 2/(-1). Suppose c = -h - h + 6. Does 3 divide h?
True
Let f = 226 - 41. Does 12 divide f?
False
Does 6 divide (-3 - -4)/(3 - 2) - -35?
True
Suppose -2*j + 0*f + 80 = -f, f - 4 = 0. Suppose -3*v - 19 = 8. Let d = j + v. Does 9 divide d?
False
Let d(p) = -2*p - 4. Let c be d(-3). Let x(w) = w**3 - 2*w**2 + w - 2. Let o be x(c). Suppose 6*m - 3*m - 72 = o. Is m a multiple of 12?
True
Suppose -1 = -g + 3*j, -2*g + j + 6 = -j. Suppose -5*p - g*t + 9 = -13, -2*p - 4*t = -16. Suppose -4*y = p*u - 6, -3*y + 6*y = 2*u + 15. Is y a multiple of 3?
True
Let b(p) be the second derivative of p**4/6 + p**3/3 - 3*p**2/2 + 2*p. Is b(2) a multiple of 5?
False
Let w = 9 - 4. Suppose -p + w = -0*p. Is 5 a factor of p?
True
Suppose 0 = 5*n - 9 - 51. Does 10 divide n?
False
Suppose -4 = -a + 3*a. Let c be (1 - 3)/(a/(-15)). Let b = c + 53. Does 17 divide b?
False
Let w(z) = 2*z**2 - 6*z + 9. Let h(i) = 6*i**2 + i + 1. Let v be h(-1). Let y be w(v). Suppose 4*o - y = o. Is o a multiple of 5?
True
Let v be (-4)/(-2 - 0) + 31. Let u(s) = -3*s**2 - 1. Let a be u(-2). Let l = a + v. Does 20 divide l?
True
Let u(b) = b - 8. Let h be u(10). Let a = 38 - h. Is a a multiple of 18?
True
Suppose -4*q + 4*g = 12, -3*q - 3*g - 2 = 1. Let u be (-11 + q)*(-1 + -1). Suppose -u = -4*n + 6. Is n a multiple of 8?
True
Suppose -2*q = 31 + 25. Is 4 a factor of (-164)/(-14) + (-8)/q?
True
Let o(g) = 4*g**2 - 7*g - 9. Is o(-2) a multiple of 4?
False
Let n be (1/3)/(1/15). Suppose -4*z = 0, -n*y - 3*z = -z - 5. Let r = y + 5. Is 3 a factor of r?
True
Let b(c) = -c**3 - 7*c**2 + 12*c - 4. Is b(-9) a multiple of 10?
True
Let m = 271 - 151. Is m a multiple of 40?
True
Let k = -46 - -60. Is 7 a factor of k?
True
Suppose -k - 2*k = 3*g - 684, 3*g - 5*k = 692. Let b be (-4)/16 + g/4. Suppose 4*o - b = -3*x + 3, 3*x = 0. Does 15 divide o?
True
Suppose -56 = -7*c + 3*c. Suppose -b = -3*l + 1, -l - 5*b + c = -13. Is l even?
True
Is (11/(-33))/(2/(-24)) a multiple of 4?
True
Let c(u) = -4*u**2 + 6 + 3*u**2 + 7*u - 5. Let l be c(8). Is 17 a factor of (-8)/(-28) + (-278)/l?
False
Let l(p) = p**2 - 7*p + 7. Let s be l(6). Let j = 6 + s. Is 6 a factor of j?
False
Let k(q) = -7*q**2 + 2*q + 1. Let i be k(-1). Let t = i - -8. Suppose t*v = -v - 5, -37 = -c + v. Is c a multiple of 16?
True
Let g(j) = 2*j**3 + 4*j**2 + 6*j - 2. Does 42 divide g(5)?
True
Suppose 212 = 2*m + t - 6*t, t - 200 = -2*m. Is m a multiple of 28?
False
Let n be -8 - (-3 - 3/(-3)). Let p(q) = q**2. Let s(x) = -5*x**2 + 10*x + 2. Let a(w) = -6*p(w) - s(w). Does 11 divide a(n)?
True
Suppose -87 = -l - 2*l. Suppose -4*q + l = h, -3*q - 2*q + 20 = -2*h. Suppose 0*u + 2*u - q = 0. Is u a multiple of 2?
False
Suppose -3*u = 6, -3*w + u - 4*u + 42 = 0. Suppose w = 2*a - 22. Is a a multiple of 9?
False
Suppose 4*g = -g - 25. Let l(t) be the first derivative of -5*t**2/2 - 3*t - 8. Is l(g) a multiple of 22?
True
Is 14 a factor of -1 + 86 - (-9)/(-9)?
True
Let x(o) = -o**3 + 11*o**2 + 3*o. Let l be x(8). Suppose -l = -5*m + 374. Suppose -m + 30 = -4*b. Does 11 divide b?
True
Let t be (-3)/(-2) + 4/8. Is 5 a factor o