divide z(-4)?
True
Let m(c) = -8*c + 44. Does 12 divide m(-8)?
True
Let m = 21 + -11. Does 5 divide m?
True
Suppose -71 = 4*i + r - 288, -2*r = 2*i - 116. Suppose f = 5*d + 11, -5*f + 25 + i = -2*d. Is f a multiple of 7?
False
Let z = 59 + -41. Does 4 divide 292/18 - 4/z?
True
Let f(b) = -b**2 - 18*b - 3. Is 53 a factor of f(-14)?
True
Let g be (-3)/18 - (-98)/12. Suppose 4*z - g = -2*j, 5*j - 2*z = z + 20. Does 4 divide j?
True
Suppose 2 = i, i = 2*w - 0*w - 68. Is 11 a factor of w?
False
Let z be 11 + (-3 - -1 - 1). Suppose 4*k = z - 20. Let v(a) = -a**3 - 2*a**2 + 2. Is 11 a factor of v(k)?
True
Let f(g) = g**2 + 3*g. Let l be f(-3). Suppose 0*h - 4*h + 24 = l. Is h a multiple of 6?
True
Let x(z) = -z**3 + 8*z**2 + 13*z - 12. Is 11 a factor of x(8)?
False
Let s(k) = -4*k**2 + k - 1. Let d be s(3). Let o be d/(-9) - 2/(-9). Suppose 3*f + 73 = 2*h + o*f, -h - 5*f = -41. Is 18 a factor of h?
True
Does 16 divide (-3 - 0)/(-3) - -79?
True
Let o(m) = 9*m - 5. Let r(w) = -17*w + 10. Let p(b) = 7*o(b) + 4*r(b). Let s(j) = 5*j - 5. Let y(h) = 2*p(h) + 3*s(h). Does 9 divide y(6)?
False
Suppose 0 = 2*v - 5 + 1. Let u be -4*5/v + 0. Does 3 divide (-22)/(-4) + 5/u?
False
Suppose -5*x = 0, 0 = k - 2*k + 4*x + 36. Is 12 a factor of k?
True
Let s(t) = t**2 + 2*t - 3. Is s(-4) a multiple of 3?
False
Let t = 4 - 10. Is 10 a factor of (8 - 1)*t/(-2)?
False
Suppose -r + 4 = 2. Suppose -20 = -d + r. Does 11 divide d?
True
Let l be 1/(2/(-4)) + -73. Let g = 59 - -55. Let o = l + g. Is 19 a factor of o?
False
Let k = -5 + 1. Let c(d) = -d**2 + 6*d + 6. Let g be c(6). Let f = g - k. Is f a multiple of 4?
False
Let g(a) = -a**2 - 15*a - 8. Is 13 a factor of g(-11)?
False
Let f = 29 - 13. Is f a multiple of 5?
False
Suppose 0 = 3*y + 2*o + 4, -4*y + 26 = -4*o - 2. Suppose -y*c = c - 18. Does 6 divide c?
True
Suppose -l + 2*v + 11 + 3 = 0, -4*l - 4*v = -68. Does 6 divide l?
False
Suppose 30 + 6 = 4*d. Does 3 divide d?
True
Suppose -4*z + 55 = -2*a + 7, 2*z + 8 = 0. Let l = -17 - a. Is 3 a factor of l?
True
Is 2/8 + 1524/48 a multiple of 8?
True
Let v(h) be the second derivative of -5/6*h**3 - h**2 + 3*h + 0. Does 6 divide v(-4)?
True
Let c = 1 - 3. Let i(t) = -7*t + 1. Is i(c) a multiple of 15?
True
Let w = -6 - -44. Suppose -5*g - 43 = -2*p, -3*p + 4*g + 16 = -w. Is 6 a factor of p?
False
Let n(u) = -1. Let j(v) = -5*v. Let a(d) = -j(d) - 2*n(d). Suppose 0*c = 5*c + o - 7, c - 2*o = 8. Does 12 divide a(c)?
True
Is 19 a factor of (195/(-2))/(-1 - (-2)/4)?
False
Let q(x) = x**3 + 9*x**2 + 4*x + 8. Does 18 divide q(-8)?
False
Suppose -3 = b - 7. Suppose b*r = 5 + 7. Suppose 0*u = -r*u + 72. Is 24 a factor of u?
True
Let h(d) be the first derivative of d**4/4 + 4*d**3/3 + d**2/2 + 4*d - 3. Let g be h(-4). Is g + 11 + (-3 - -3) a multiple of 5?
False
Is (-3)/((2 - 3)/49) a multiple of 14?
False
Let t(s) = s**3 + 2*s**2 + s + 1. Let z be t(-2). Let l be 1 + z*2 - 7. Let r = l - -19. Is r a multiple of 4?
False
Let d be (-2)/(-8) - 11/(-4). Let m(l) = -l**3 - 7*l**2 - 6*l + 1. Let p be m(-6). Let q = d + p. Does 4 divide q?
True
Suppose -2*n + 5*r + 0*r = -44, -5*n + 95 = -5*r. Does 6 divide n?
False
Suppose 4 = -5*y - 11. Let r = 0 - y. Suppose h - 104 = -r*t, -5*t + 0*h = -3*h - 164. Is t a multiple of 17?
True
Suppose 0 = -5*b - 3*s - 50, 2*b + 0*s + 3*s + 29 = 0. Let k(n) = -4*n. Does 14 divide k(b)?
True
Let q(l) = 44*l - 3. Does 17 divide q(1)?
False
Let p = 100 - 56. Is 11 a factor of p?
True
Suppose -46 = -2*j - 0*j. Suppose -2*o + 5*k + j = 0, 0*o = -o + k + 10. Is 12 a factor of (4/3)/(1/o)?
True
Suppose z + y = 9, 5*y + 75 = 5*z + 10. Suppose 3*h - 2*h = 4*b - z, -24 = -b - 4*h. Does 4 divide b?
True
Let r(a) be the third derivative of -a**5/60 - a**4/12 - 5*a**3/6 - 4*a**2. Let w be r(-5). Is 11 a factor of (-3)/(w/(-22) + -1)?
True
Let s be 3/(2/(-22) + 0). Let w be (-3 - -7)*(-22)/4. Let a = w - s. Is a a multiple of 11?
True
Let k(l) be the third derivative of l**5/60 - l**4/24 + 7*l**3/6 + l**2. Does 21 divide k(8)?
True
Let m be (-50)/4*10/5. Let v be 15/m - (-38)/5. Suppose v = -2*x + 3*x. Is x a multiple of 7?
True
Let o(k) = -54*k + 2. Let n be o(-2). Suppose n - 41 = d. Is d a multiple of 23?
True
Let c(t) = t**3 - 2*t + 2. Suppose 5*v - l = -0*v + 9, -4*v + 5 = -3*l. Does 6 divide c(v)?
True
Is 11 a factor of (-4 + 3)/(1/(-66))?
True
Let y(w) = -w + 3. Let l be y(6). Let s(j) = -j**2 - 4*j - 4. Let c be s(l). Does 5 divide c*(2 + -2 - 17)?
False
Let i(k) = -4*k**3 - k**2 + 5*k - 1. Does 33 divide i(-3)?
False
Let f = 397 + -205. Is f a multiple of 8?
True
Let g = -3 - -3. Suppose g = 5*x - 2 - 248. Is 10 a factor of x?
True
Suppose 2*x + 0*x = 120. Does 12 divide x?
True
Let m = 5 + -2. Suppose -m*b + b = -12. Suppose -2*s = 2*k - 6, -3*s = k - b*k + 15. Is k a multiple of 3?
True
Let a(z) = 11*z**2 - 2*z**2 + 0*z**2 + 8*z - 4 + 0*z + z**3. Let f = 1 + -7. Does 21 divide a(f)?
False
Let a = 7 - 2. Suppose -a*b + 39 = -2*k, 2*k - 6*k - 15 = -3*b. Is 4 a factor of b?
False
Let t = 10 + -8. Let v be (-8)/12*(-1 - t). Suppose 0 = -4*w + y + 100, -y + 6*y = -v*w + 50. Is 21 a factor of w?
False
Let r(n) = 22 + n**2 + 0*n + n + 25. Is r(0) a multiple of 12?
False
Let r = 0 + -4. Let x(g) = g**3 + g**2. Let f(t) = -6*t**3 - 6*t**2 - t + 4. Let n(k) = f(k) + 5*x(k). Is n(r) a multiple of 20?
False
Suppose -6*r + 9*r = 96. Let f(m) = -2*m. Let g be f(-2). Suppose r = g*k - 2*k. Is k a multiple of 14?
False
Suppose 3*r = 4*k + 45, 26 = -2*r - k + 67. Suppose -4*g + 253 + r = 0. Is 21 a factor of g?
False
Let w(v) be the second derivative of 0 + 1/6*v**3 + 3*v + 1/2*v**2 + 1/6*v**4. Is 8 a factor of w(-3)?
True
Let y(t) = -8*t**2 - 9*t**3 - 7 + 11*t**3 - 3*t - 3*t**3. Is y(-8) a multiple of 7?
False
Let x(g) = -g**3 - 7*g**2 + 6*g + 6. Let c = -12 + 4. Does 11 divide x(c)?
True
Suppose 92 = 2*k + 4. Is k a multiple of 11?
True
Let p = -5 + 6. Let o = p - -17. Is 9 a factor of o?
True
Suppose -2*y = -2*w + 43 + 23, -y = -4*w + 132. Is w a multiple of 20?
False
Suppose -5*l + 10*l - 335 = 0. Is l a multiple of 14?
False
Let b be ((-8)/3)/((-2)/3). Suppose -2 = -2*i - b*y + 24, -4*i - 3*y = -57. Does 5 divide i?
True
Suppose -143 = -5*i - 3*f + 125, -2*i + 110 = 4*f. Does 16 divide i?
False
Suppose 0 = 3*g + 4*d - 19, -d = 5*g + d - 27. Let o(t) = -t + 13. Does 4 divide o(g)?
True
Let a = 5 - 3. Suppose a*k = 7 + 9. Let m(r) = 3*r - 4. Is 17 a factor of m(k)?
False
Suppose -f + q + 43 = 0, 2*f + 5*q = -3*f + 205. Is f a multiple of 7?
True
Suppose -2*o = -0*o + 16. Let k be ((-8)/10)/(o/20). Let c = k - -11. Is 13 a factor of c?
True
Suppose -99 = 4*w + 9. Let x be (3 - 1)*(-57)/(-2). Let f = x + w. Is 20 a factor of f?
False
Let x(y) = 3*y + 2. Let f = -8 - -16. Does 13 divide x(f)?
True
Let x = -7 + 11. Suppose -5*h - x*i + 25 = 0, i + 26 = 5*h + 1. Does 4 divide h?
False
Is 8/(-60) - 2927/(-15) a multiple of 39?
True
Let d(u) = 0*u + 9 + 0 - u - 2. Is 2 a factor of d(0)?
False
Suppose 5*j - 20 = -3*x, x + 2*x = 0. Suppose -30 = -j*g - 6. Is 6 a factor of g?
True
Suppose -2*n - 16 = -0*q - 5*q, 10 = -5*n + 5*q. Let i be (2 + 2)/(n/21). Suppose -3*t + y + 27 = -2*y, 3*t + 2*y = i. Is t a multiple of 12?
True
Let r = 76 + -38. Suppose -r + 14 = -s. Is s a multiple of 12?
True
Suppose 5*r - 28 - 109 = -2*t, -5*r = 5. Is 18 a factor of t?
False
Let b be 0 + -1 + (-5)/1. Suppose 4*p - 2*q = 82, -4*q = -5*p + p + 84. Let v = p + b. Is 5 a factor of v?
False
Suppose 0 = 2*s - 7*s + 40. Is s a multiple of 4?
True
Suppose -p + 32 = -l - l, 3*p = -4*l + 86. Let s = p - -26. Is 18 a factor of s?
False
Does 2 divide 3/(12/16) - -4?
True
Let h be (1*-2)/(6/(-6)). Does 12 divide h*20 + 21/(-7)?
False
Let z(p) = p**3 - 4*p**2 + 5*p - 2. Suppose -c + 6 + 6 = 3*x, 24 = 5*x + 3*c. Let y be z(x). Suppose 0 = -y*v + 54 + 18. Is v a multiple of 9?
True
Let s(m) = -m**3 + 5*m**2 - 4*m + 2. Let y be (-5 - -1)*(-2)/4. Suppose -y*l + 5 = -1. Does 4 divide s(l)?
True
Let r be 3 + 2/(-2) + -1. Let u be 4*(-3)/(-3)*r. Suppose 12 = u*k - 24. Is k a multiple of 8?
False
Suppose a - 95 = -4*a. Let s = 7 + 30. Let v = s - a. Does 9 divide v?
True
Let t(j) = j + 2. Let c(i) = -i**3 - 3*i**2 - i. Let s be c(-3). Let p be t(s). Suppose 130 = p*u - 0. Is u a multiple of 13?
True
Let r = -13 - 