6. Does 18 divide s?
True
Is 3 a factor of 4 + 3 + 4 + 0?
False
Let f = -2 + 1. Let h be 0 + (0 - -1 - f). Suppose -h*d = -0*d - 64. Does 16 divide d?
True
Let a(h) = -3*h - 6. Let m(s) = -4*s + 3. Let q be m(-3). Let i be (-1 + q/(-12))*4. Is 9 a factor of a(i)?
False
Let b = 406 - 234. Suppose -32 + b = 5*f. Is 7 a factor of f?
True
Suppose 0 = 3*s - 6 - 6. Suppose 67 + 61 = s*w. Is w a multiple of 16?
True
Suppose -10 = -3*z + 14. Is z a multiple of 4?
True
Suppose 4*l = -l. Suppose 0 = 2*z - 4*j - 72, l*j = 2*z + 5*j - 72. Is 16 a factor of z?
False
Let c(b) = -b - 2*b + 0*b + 4 + b. Let d be (-2)/8 + 19/(-4). Is 12 a factor of c(d)?
False
Suppose 0*c = 2*c - j - 15, -5 = -c - 2*j. Is 7 a factor of c?
True
Suppose 3*w - 244 = o, -4*w + 33 + 309 = 2*o. Suppose -5*n + w + 27 = 0. Is 18 a factor of n?
False
Suppose 0 = -7*u + 9*u - 148. Is 13 a factor of u?
False
Suppose -2*k + 5*i + 165 = 0, -5*k + 0*k - 5*i + 360 = 0. Is 21 a factor of k?
False
Suppose 896 = 13*s - 53. Is s a multiple of 27?
False
Let g(s) be the third derivative of s**5/60 - s**4/4 - 4*s**3/3 - 3*s**2. Does 8 divide g(8)?
True
Suppose 0 = -5*f + 3*a + 418, 87 = -f + 2*f - 4*a. Suppose -3*g - 4*s + f = 0, 0*g - g + 46 = 5*s. Is 10 a factor of g?
False
Let c(v) = v**3 - 5*v**2 + v + 5. Suppose -9 = -6*s + 3*s + 2*q, -4*s + 2*q = -14. Is 5 a factor of c(s)?
True
Let t = 164 - 0. Suppose t - 14 = 5*a. Is 10 a factor of a?
True
Let q(r) = 5*r + 21. Is 33 a factor of q(9)?
True
Let o(z) = -z**2 - 3. Let q be o(0). Let s = -26 - -14. Let w = q - s. Is w a multiple of 9?
True
Let w = 4 + -4. Suppose w = k + k - 98. Suppose -15 = -4*m + k. Is m a multiple of 8?
True
Let c(z) = z**3 + 27*z**2 - 36*z - 56. Is c(-28) a multiple of 42?
True
Let r(w) = -w**2 + 4*w + 1. Let n be r(4). Suppose f - 2 = n. Suppose 3*c - f*p - 7 = 68, -p - 3 = 0. Is c a multiple of 10?
False
Let u(m) = m**3 - 10*m**2 - 11*m + 6. Let z be u(10). Let w = -60 - z. Does 12 divide w?
False
Let a(m) = -2*m - 7. Let o be a(10). Let k = o - -39. Does 3 divide k?
True
Is 5122/91 + (-4)/14 a multiple of 34?
False
Suppose -6*h + 14 = 2*g - 4*h, 0 = 5*g + 3*h - 29. Suppose 7*v = g*v + 33. Suppose j - 4*q - 33 = -v, -5*q = 3*j - 32. Is j a multiple of 7?
True
Is 3 a factor of (-19)/(0 + (-2 - -1))?
False
Suppose -5*q + d + 205 = 0, 6*d - 164 = -4*q + 5*d. Is q a multiple of 9?
False
Let u = 3 + 0. Suppose 8*w - u*w = 50. Is 4 a factor of w?
False
Let w(t) = 1 + t**2 - 4 - 3 + 0 + 4*t. Is w(4) a multiple of 13?
True
Let i(c) be the third derivative of c**5/60 + 7*c**4/24 - c**3/3 + 5*c**2. Is 6 a factor of i(-8)?
True
Let y be 44*((-5)/(-4) + -1). Let f(h) = -h**2 + 11*h + 3. Let q be f(y). Suppose -q*g + 4*g = 37. Is 10 a factor of g?
False
Suppose 7*r - 3*r - 8 = 0. Let y(d) = 3 - d**2 - 13*d + 3*d + 0*d**r. Is 12 a factor of y(-8)?
False
Suppose 4*n + 2*p + 3 = 5*n, -9 = -n + 5*p. Is (52 - -1) + 2 + n a multiple of 14?
False
Suppose 5*s = 3*s + 152. Does 19 divide s?
True
Suppose 4*v + 10 = 2*t, 15 = 2*v - t + 4*t. Let q = -10 + v. Does 12 divide (-134)/q + (-10)/25?
False
Is 9 a factor of 10*((-363)/(-55) - 6/2)?
True
Let r(a) = a**2 - a + 26. Let n be r(0). Suppose 3*x = 7 + n. Let l = x - 7. Does 3 divide l?
False
Does 6 divide 2778/26 - 42/(-273)?
False
Let h = 13 + 14. Is 10 a factor of h?
False
Let p(n) = n**3 + n**2. Let l be p(-1). Let d = -1 - l. Does 10 divide 0 - d - (-18 - 1)?
True
Let u be (12/9)/(4/18). Let b be 2/(-3)*(-27)/u. Let t = b + 0. Is 3 a factor of t?
True
Suppose -3*f + 2*o - 4*o + 398 = 0, 0 = -f - 4*o + 116. Is 34 a factor of f?
True
Suppose 8 = b + 4*f + f, -5*b = 2*f - 17. Suppose -4*g + b = -9. Is 2 a factor of g?
False
Let d(z) = 3*z**2 + 3*z**2 + 2 - z**2 - 4*z. Let j be d(3). Suppose 4*r - 37 = 3*f + j, 76 = 4*r - 4*f. Is 5 a factor of r?
True
Let k(y) = 5*y. Let m(b) = b**3 - 5*b**2 - 6*b + 4. Let o be m(6). Does 20 divide k(o)?
True
Let p(r) be the third derivative of -r**4/24 + 3*r**3/2 + 3*r**2. Let j be p(4). Suppose 3*m + j*n = 2*n + 27, 2*m = 3*n + 3. Does 3 divide m?
True
Let h(q) = 22*q + 4. Let c be h(-3). Is c/(-3)*21/14 a multiple of 13?
False
Is ((-1)/(5/(-75)))/((-1)/(-1)) a multiple of 8?
False
Let h(t) = t**2 + 2*t + 4. Suppose 2*o = -s, 4*o - 6 = 2. Is 4 a factor of h(s)?
True
Let i(g) = -g**3 + 3*g**2 - 2*g - 2. Let s be i(2). Let o be 2 + -4*1/s. Suppose a = -3*j - 2*j + 2, -a + o*j = -47. Does 9 divide a?
True
Let b = 189 + -87. Let w be 12*(0 - (3 - -1)). Let d = b + w. Is 18 a factor of d?
True
Suppose -5*n + 20 = -90. Is n a multiple of 11?
True
Let i = 30 - 15. Is i a multiple of 10?
False
Let c be 2/(-4)*(0 + -122). Let b = -26 + c. Let y = 49 - b. Is y a multiple of 14?
True
Let h(v) = -20*v + 5. Let t(m) = m - 1. Let x(a) = h(a) + 5*t(a). Does 15 divide x(-1)?
True
Suppose -39 = -3*p + 78. Is 4 a factor of p?
False
Suppose 0*p + 4*p = 88. Suppose 0 = -p*g + 18*g + 48. Does 12 divide g?
True
Does 26 divide (-9)/54 - (1 + (-787)/6)?
True
Let c(y) = y**2 - 4*y - 5. Let r be c(5). Let m be 15*((-8)/(-6) - r). Let i = m - 13. Does 3 divide i?
False
Let b = -73 + 153. Is 5 a factor of b?
True
Let i = 11 + -16. Let k(m) = 3*m**2 + 7*m - 1. Does 13 divide k(i)?
True
Is (26/2)/((-4)/(-12)) a multiple of 11?
False
Suppose 0 = q - 3*x, 0 = 5*q - 0*q + 3*x. Suppose w = -2*b - q*w + 18, -w - 3 = -b. Is b a multiple of 4?
False
Let q(j) = j + 7. Let n be q(0). Let o = 11 - n. Suppose 10 = -2*s, t + o*s - 3*s = 15. Is t a multiple of 8?
False
Suppose -5*k = -4*k - 25. Is k a multiple of 5?
True
Suppose 27 + 13 = -4*x. Let q be 12/(-5) - 4/x. Does 11 divide (-1)/(q + 63/33)?
True
Suppose 0*i - 90 = -5*r - 5*i, 3*r = 2*i + 34. Does 13 divide r?
False
Suppose 0 = 2*v - 31 - 29. Is v a multiple of 10?
True
Suppose -2*d - 308 = -4*d. Is 22 a factor of d?
True
Suppose 0 = -4*s + 5*l - 48 + 235, 0 = -3*s + 3*l + 141. Is 8 a factor of s?
True
Let y be -18 + 2 + (-5 - -2). Let b = 35 + y. Does 16 divide b?
True
Suppose 0 = 4*a + a - 20. Does 3 divide a?
False
Let t = 94 + -4. Is t a multiple of 10?
True
Is ((-351)/6 - 3)/(3/(-4)) a multiple of 56?
False
Let l(b) = b - 18. Is 2 a factor of l(24)?
True
Suppose -315 = -15*m + 14*m + 3*l, 627 = 2*m - 5*l. Does 18 divide m?
True
Suppose 23 = 5*o + 8. Suppose -o*l = -4*v + l + 608, -4*l = -5*v + 762. Suppose -d + 0*d = -4*z + v, -d = -2. Is 10 a factor of z?
False
Let c = 13 + -8. Suppose 0*r - r = -4*p - 6, -r + 3*p + c = 0. Suppose -r*s + w = -80, 2*s - 46 = s + 2*w. Is s a multiple of 15?
False
Suppose -47 = -3*i - 11. Suppose 0 = 8*l + 7 + 1. Let v = i + l. Is 4 a factor of v?
False
Let m(c) = 7*c**2 + 6. Let p be m(4). Let i = p + -38. Does 20 divide i?
True
Suppose 0 = 4*m - 3*z - z - 856, 5*m + z - 1100 = 0. Is 49 a factor of m?
False
Let s = -21 + 44. Let y = s + -5. Let n = 46 - y. Is n a multiple of 14?
True
Let k = -109 + 123. Does 4 divide k?
False
Let a(c) be the third derivative of 11*c**4/24 + c**3/6 - 3*c**2. Does 6 divide a(1)?
True
Suppose -5*a + 2*w = -2*a - 157, 0 = -a - 3*w + 45. Is 17 a factor of a?
True
Suppose -4*o = 3*v - 106, 0 = 2*v - 4*o - 1 - 83. Is 19 a factor of v?
True
Suppose 27*c + 37 = 28*c. Is c a multiple of 3?
False
Let g be (3 - -34) + 1*-1. Suppose j - g = 21. Does 19 divide j?
True
Suppose 2*u + q + 0 - 15 = 0, -3*u = -4*q + 5. Let l(n) = 2*n + 7. Let p be l(u). Let a = 28 - p. Is a a multiple of 4?
False
Suppose 5*x + 1 = 2*w - 7, 0 = -2*w - 5*x - 12. Is w/1*(4 + -39) a multiple of 13?
False
Let p(g) = 5*g + 5. Let c be p(6). Is 4 a factor of ((-4)/5)/((-2)/c)?
False
Let z(m) = -5*m**2 + 4 + m**2 + 3*m**2 + 4*m**2 - m**3 + 4*m. Is z(4) even?
True
Let g be (-6)/(-4)*(35 - -5). Suppose -d - g = 2*d. Is (-492)/d + (-6)/10 a multiple of 8?
True
Let o = -5 + 11. Let q(d) = -d - 17. Let w(i) = 2*i + 26. Let r(p) = 8*q(p) + 5*w(p). Is 3 a factor of r(o)?
True
Let o = 3 - 1. Let n be (o - (5 - 1))/(-1). Suppose -y + n*y - 13 = 0. Does 9 divide y?
False
Suppose -2*y + 3*z + 370 = 0, 4*z + z = -5*y + 900. Let t be 2/3 + y/6. Suppose -4*l - t = -95. Is l a multiple of 6?
False
Suppose 4*n - 8*n = -252. Is 21 a factor of n?
True
Let q = 46 + -18. Is q a multiple of 24?
False
Let l(p) = 2*p**2 + 5*p + 5. Let a = 4 + -11. Is 20 a factor of l(a)?
False
Let y(v) = 3*v**2 + 3*v + 6. Does 22 divide y(-7)?
True