 Is 8 a factor of f?
False
Let u(m) = m - 1. Let n be u(8). Let i be 3/9 + n/(-3). Does 12 divide 1/((-54)/(-26) + i)?
False
Suppose k = 6*k - 320. Let h = -24 + k. Does 20 divide h?
True
Suppose -5*i = -2*i - 6. Suppose 5*b + 2*z + 706 = 0, -b - i*b - 3*z = 420. Does 9 divide b/(-10) - (-3)/(-15)?
False
Let k = -10 - -17. Let s = k - 1. Suppose -s*i + 35 = -i. Does 4 divide i?
False
Suppose 0 = 4*z + g - 106, 0*z = -5*z + 5*g + 145. Is z a multiple of 11?
False
Let j be (-3*(-4)/(-6))/(-1). Let m = 31 + 4. Suppose -3*k = j*k - m. Does 5 divide k?
False
Let c = 369 + -235. Suppose n + c = 4*q - n, 3*n = -q + 51. Suppose 0 = -4*l + 16 + q. Does 4 divide l?
False
Suppose -84 = 3*r - 4*r. Suppose 0*c + 4*c = r. Is c a multiple of 10?
False
Let t(i) = -i**2 - 14*i + 18. Suppose 3*v = -4*o - 27, -4*v + 4*o - 13 = 51. Does 13 divide t(v)?
False
Suppose -k = 4 + 2. Is 1/(-3) - 116/k a multiple of 15?
False
Let b(g) = 1. Let w(u) = -23*u - 4. Let z(r) = 3*b(r) + w(r). Let d be z(-1). Let i = d - 0. Is i a multiple of 8?
False
Let d = 5 + -3. Suppose -d*j = -a + 16, 5*a - 5*j - 4 - 76 = 0. Does 9 divide a?
False
Let r be (-3)/9 - 158/(-6). Suppose -v = 2*m - 2, 3*v - 6*v + r = -4*m. Is v a multiple of 6?
True
Let q(x) = -x**3 + 9*x**2 - 4*x + 4. Is 12 a factor of q(5)?
True
Let p = -70 - -126. Is 14 a factor of p?
True
Let i(p) = 11*p**2 - p + 3. Let a be i(3). Is 11 a factor of (a/12)/(2/8)?
True
Let h(a) be the third derivative of a**5/60 - a**4/24 + a**3 - 3*a**2. Is h(6) a multiple of 12?
True
Let i be -8*1*3/(-6). Let y = 6 + -6. Does 2 divide (0 + y - 0) + i?
True
Is 19 a factor of 4/(-10) - 874/(-10)?
False
Is 7 a factor of 9/6*42/9?
True
Is 12 a factor of 111 + 5 + -5 + 3?
False
Suppose -a = -2 - 0. Suppose -86 = -a*r + 2*x, -2*r + 5*x = x - 82. Let m = -16 + r. Is m a multiple of 14?
False
Let k(a) = a**3 + 4*a**2 + 2*a - 1. Let w be k(-2). Suppose w*h = -5*t + 375, 2*h = 2*t + h - 161. Is t a multiple of 26?
True
Suppose 3*s - 2 = -g, 5*g - 10 = -s - s. Is (g/(-2))/((-2)/40) a multiple of 8?
False
Suppose 5*i - 229 = -5*m + 31, 2 = 2*m. Does 17 divide i?
True
Let s(o) = o**2 - 4*o - 9. Let x be s(-6). Let w = 85 - x. Does 10 divide w?
False
Suppose 0 = -2*i + 2, -i = 2*q - 7*q + 749. Is 11 a factor of q?
False
Let i(k) = -k + 5. Let o be i(4). Let f = o + 0. Let d(m) = 21*m**2 + m. Does 12 divide d(f)?
False
Suppose -30 - 30 = 5*h. Is 2 a factor of (h/8)/(3/(-10))?
False
Let h be -12*(5/2)/5. Let u = 30 + h. Suppose 3*x - u = -0*x. Is x a multiple of 8?
True
Suppose -5*w = 25, 4*r = -3*w + 161 + 124. Suppose -3*s + 13 + 43 = 4*j, 5*s + 5*j = 95. Suppose 0 = -5*p - s + r. Is 8 a factor of p?
False
Suppose -5*q - j = -122, 2*j = 3*q + j - 70. Suppose -c + q = c. Is 3 a factor of c?
True
Let h(g) = -g**3 + 2*g**2 + 4 + 4*g**2 - g**2 - 2*g**2. Is 4 a factor of h(3)?
True
Let n(v) = v**2 - 7*v - 8. Let t be n(8). Suppose -r + 3*h + 70 = t, 2*h - 264 + 40 = -4*r. Does 30 divide r?
False
Suppose 90 = 2*x + 20. Is 7 a factor of x?
True
Let d(m) = m**3 + 9. Let b be d(0). Let h(k) be the third derivative of k**5/60 - k**4/3 - k**3 + k**2. Is h(b) a multiple of 3?
True
Suppose -2*q = -2*a + 25 + 55, 4*q = 0. Is 7 a factor of a?
False
Let j = 39 - 61. Let b = j - -55. Is b a multiple of 11?
True
Let k = -87 - -163. Is 13 a factor of k?
False
Let u be (4 + -2)/((-4)/18). Let i = -5 - u. Does 2 divide i?
True
Let o(c) = -5*c + 5. Is 6 a factor of o(-4)?
False
Suppose -2*q = -4 - 2. Suppose 4*f - k = 5*f - q, 0 = 3*f + 4*k - 9. Is (-14 - -1)*(f - 4) a multiple of 5?
False
Suppose 3*m = -g - 40, 0*m - m - g = 14. Let q = m + 26. Is q a multiple of 7?
False
Suppose -8 = -5*o + 12. Suppose 0 = o*y + 16, 2*w + 4*y - 8 = -0*y. Is 9 a factor of w?
False
Let n(v) = 0*v + 4 + 3*v + v**3 - 3*v**2 + 0*v**3. Is 6 a factor of n(3)?
False
Suppose -a + 102 + 24 = 0. Is 37 a factor of a?
False
Let n be (-4)/6 - (-40)/6. Does 24 divide 208/n*(-9)/(-6)?
False
Let a(i) = i**3 + 9*i**2 + 5*i + 6. Is a(-4) a multiple of 14?
False
Suppose -2*a = -6 + 2. Suppose -a*w + 0 = 8. Let l = w - -6. Is 2 a factor of l?
True
Suppose 0*i - 4 = -2*i. Suppose 70 = i*a + 3*a. Suppose 0 = -0*m + m - a. Does 7 divide m?
True
Let a(v) = v**3 - 10*v**2 + 2*v - 8. Let j be a(10). Let k be 3 + 3/(6/4). Let r = j + k. Does 6 divide r?
False
Let g(z) = -2*z**2 - 1. Let o be g(1). Let t be 28/(-6) + 1/o. Let a = t - -19. Is 8 a factor of a?
False
Let h be (78/(-9))/((-4)/18). Suppose -5*m - k + 61 = 0, 3*m - h = -8*k + 5*k. Is 6 a factor of m?
True
Let u be (-3)/9 + 110/6. Suppose -3*b + 2*b + u = 0. Is b a multiple of 9?
True
Suppose 0 = -2*j - g + 421, 5*j - 886 = -4*g + 168. Is 35 a factor of j?
True
Suppose 4*q - 2*r = 6, 3 = -4*q - 4*r + 3*r. Suppose 3*b - 34 - 11 = q. Does 14 divide b?
False
Let v(p) = -p + 9. Let m be v(7). Suppose 3*i = m*i - 6. Does 18 divide ((-8)/5)/(i/195)?
False
Let h(a) = a**3 - a**2 - a - 4. Let o be h(4). Suppose -10 = -2*c + o. Suppose -20 = -4*z - 0*m + 4*m, -m + c = 5*z. Does 5 divide z?
True
Let y = 11 - 17. Let k = y - -6. Suppose -5*f = 4*m + m - 70, k = 5*f + m - 66. Does 7 divide f?
False
Let z = 4 + 0. Suppose z*j + 2*g = 202, -3*g - 92 = -2*j - g. Is j a multiple of 9?
False
Suppose -3*d - 67 = 5*k - 351, 3*k = -4*d + 397. Is 36 a factor of d?
False
Suppose -4*r + i = 2, -2 = r + 2*r - i. Is 15 a factor of (-246)/(-12)*(r - -2)?
False
Suppose -5*y + 30 = 5*d, 0 - 17 = 3*d - 4*y. Let h be 1 + d + -3 + 3. Is 13 a factor of h/(-6) + (-40)/(-3)?
True
Let v(k) = -71*k**2 - k. Let p be v(1). Suppose -6*m + 32 = -148. Is 9 a factor of (p/m)/((-4)/30)?
True
Let z = 18 + 38. Does 8 divide z?
True
Let h(d) = d**2 - 3*d - 26. Is h(11) a multiple of 31?
True
Does 17 divide (-304)/(-9) - (25/9 - 3)?
True
Suppose 0 = 3*k + k - 12. Is 22 + (-3 - -2)*k a multiple of 12?
False
Let k be (15/9)/((-1)/3). Let l = 17 - k. Is l a multiple of 11?
True
Suppose -3*d = 3*x + 9, -5*x = -4*d - 5 + 38. Let z = x - -19. Does 5 divide z?
False
Suppose -5*s + 9 = -16. Is 13 a factor of 68/5 + (-3)/s?
True
Let l(d) = -d**3 - 2*d**2 + 2*d + 13. Does 21 divide l(-6)?
False
Let z(s) = s**3 - 3*s**2 - s - 1. Let o = 3 + 1. Is 11 a factor of z(o)?
True
Let h(v) be the third derivative of -5*v**4/24 - 5*v**3/6 - v**2. Suppose -3*w = -2*z + z + 17, -4*z = 3*w + 7. Is 10 a factor of h(w)?
True
Let p(s) = -s. Let y(u) = -u - 6. Let m(q) = 6*p(q) + y(q). Let g = 5 - 9. Does 11 divide m(g)?
True
Let r(j) = j**3 + 6*j**2 + 4*j - 1. Let o be r(-5). Suppose u - 157 = -n - o*n, 5*n + 3*u - 161 = 0. Does 11 divide n?
False
Let j be (-3 - -4)/(3/75). Does 3 divide (40/j)/((-2)/(-5))?
False
Let y(q) = q**3 + 9*q**2 - 11*q - 12. Let g be y(-10). Let r = 2 - g. Let w = r - -4. Does 3 divide w?
False
Let s(z) = 8 + z**3 - 41*z - 11*z**2 + 0*z**3 + 53*z. Does 16 divide s(10)?
False
Suppose -3*l = 3*w + w - 4, -3*l + 20 = -4*w. Let i = 2 - w. Does 12 divide 2*(0 - (-54)/i)?
False
Let b be (72/42)/(1/(-7)). Is 3/(b/5)*-4 even?
False
Suppose 0 = -5*x + 7*x - 8. Suppose x*o - 1 = 47. Suppose -o = -5*w + 3*w. Does 3 divide w?
True
Suppose 2*x = 8 - 20. Is x/2 + 2 - -48 a multiple of 16?
False
Suppose -2*j - j = 4*p - 166, 0 = -5*j - 2*p + 272. Does 18 divide j?
True
Let v(z) = -z**3 + 11*z**2 + 11*z + 16. Let s be v(12). Suppose -10 = -2*q - c - 3*c, -5*c + 26 = s*q. Is q a multiple of 9?
True
Let z(w) = w**2 - w + 9. Let c be z(0). Let q = 13 - c. Suppose -5*l = -q - 46. Does 5 divide l?
True
Suppose 6*v - 2*v = 60. Is 5 a factor of -3*6/9 + v?
False
Let i(x) = 3*x. Let u be i(10). Let o = 97 - u. Is 14 a factor of o?
False
Suppose 0 = -0*b + 5*b + 45. Let a = b + 30. Suppose -4*z - 23 = -4*w + a, -5*z = -4*w + 44. Is 6 a factor of w?
False
Let z be ((-3)/(-2))/(6/4). Suppose -2*u = -z - 9. Suppose g = 5*v - 167, v - 4*v + u*g + 109 = 0. Is 12 a factor of v?
False
Let t(o) be the first derivative of o**3/3 - 3*o**2/2 - 4*o + 1. Is 4 a factor of t(5)?
False
Let q(a) = -a**2 + a + 22. Let c = -2 + 2. Let r be q(c). Suppose -2 = j - r. Is j a multiple of 10?
True
Let v = 50 - 34. Is 5 a factor of v?
False
Let u(y) = 3 - 3 + 1 + 0. Let f(z) = -2*z**3 - 6*z**2 - 3*z + 7. Let n(w) = f(w) - 3*u(w). Does 24 divide n(-4)?
True
Let l = -145 + 243. Is l a multiple of 14?
True
Is (-1)/2*(2424/(-4))/3 a multiple of 8?
Fals