ivide z(-8)?
False
Suppose -5*r + 2*t = -10, -r - 10 = -0*r + 2*t. Let a(m) = -m**3 + m**2 + m - 12. Let f be a(r). Is 7 a factor of f/(-2)*(-20)/(-8)?
False
Suppose 4*g = 2*g + 3*v + 65, -v + 53 = 2*g. Is g a multiple of 14?
True
Let j = -5 - -5. Suppose w + w - 20 = j. Is w a multiple of 10?
True
Suppose 2*b = -2*b + 72. Let g = 29 - b. Suppose p - g = 1. Is 6 a factor of p?
True
Let f(c) = c**3 - 7*c**2 + c - 5. Let z be f(7). Suppose x - 2 - z = 0. Suppose 2*h - 5*h + x*o = -27, o = h - 9. Does 5 divide h?
False
Let m = 103 + 1. Is m a multiple of 11?
False
Let p(s) = s - 1. Let t be p(-1). Let z = t + 4. Suppose 4*v + 25 = -v, -3*i + 86 = z*v. Is i a multiple of 13?
False
Let w(r) = -r**2 + 11*r - 9. Let p be w(10). Let m = p - -27. Is m a multiple of 7?
True
Let n be 198/10 - 1/(-5). Suppose -2*r = -6*r + n. Suppose r*y - 30 - 20 = -p, y - 55 = -2*p. Is p a multiple of 10?
False
Let a(n) = n**3 + 3*n**2 - 2*n + 2. Let v be a(-3). Suppose -v*l + 3*l = -95. Is 15 a factor of l?
False
Suppose -2*u - 2 = -10. Suppose -b + u*b - 267 = -3*k, 176 = 2*b + k. Does 12 divide b?
False
Let t be 200/(-14) - 14/(-49). Let m = 0 - t. Is 7 a factor of m?
True
Let i(q) = -5*q + 13. Let p(m) = -2*m + 6. Let s(h) = -3*i(h) + 7*p(h). Let t be s(-2). Is 3 a factor of t*4 - (-6)/3?
True
Let p = -2 - -44. Is 9 a factor of p?
False
Let o(l) = -2*l + 15. Is o(-8) a multiple of 4?
False
Suppose -4*y - 5*m + 1315 = 171, 3*y + 4*m = 857. Is 38 a factor of y?
False
Let c be 2/(-3)*(-9)/(-3). Let l be (c*9/6)/(-1). Suppose i - 3*m + 0 = 9, l*i + m - 57 = 0. Is 9 a factor of i?
True
Let y(z) = 3*z - 1. Let i be y(1). Is 16 a factor of 62 + i*6/(-4)?
False
Suppose 5*q + 2*x + 392 + 50 = 0, -4*x + 106 = -q. Is 10 a factor of (q/25)/(2/(-10))?
False
Suppose 2*l + q - 6*q - 549 = 0, 5*q = -4*l + 1083. Is l a multiple of 17?
True
Suppose -5*x + 6*x = 5. Is x a multiple of 5?
True
Suppose -2*q - q = -546. Is 14 a factor of q?
True
Suppose 2*r + 2*r - 35 = -5*f, -4*r = -20. Suppose t - 32 = -f*t. Does 7 divide t?
False
Let v be (2 + 3 + 1)/1. Suppose 0 = -2*j + 6 - 2. Suppose 2*h + 3*s - 4 = 0, j*h = v*h + s - 28. Is h a multiple of 8?
True
Suppose -3 = -3*m + 6. Let r(k) = 3*k**2 - 3*k + 4. Is r(m) a multiple of 11?
True
Suppose -1 = -3*f + 5*t - 7, 0 = 3*f - t + 6. Let y be (-2)/(f + 1) + 2. Is 3 a factor of (-21)/(-4) + (-1)/y?
False
Let n be (1 + (-2 - -1))/2. Is 4 a factor of n + 13 + 13 + -10?
True
Suppose 0*v + 4*v = -4*g + 4, -5*v = -g - 17. Suppose -5 = h + h + 5*c, -v*h + 12 = c. Suppose -102 = -3*j - 3*m, -2*m + 34 = j + h. Is 14 a factor of j?
False
Suppose -369 = -0*b - 3*b. Is b a multiple of 18?
False
Suppose 0*r + 5*r - 510 = 0. Let g = 60 - r. Let t = g + 79. Does 15 divide t?
False
Let x(i) = -i - 2. Let m be x(-3). Let j be 234/(-3)*m/1. Let n = j - -145. Is 27 a factor of n?
False
Suppose 4*q = 4*x - 552, -q + 2*q = 2*x - 278. Does 14 divide x?
True
Suppose -3*j = 2*u - 136, 3*u + 252 = 5*j - 0*j. Is j a multiple of 12?
True
Let b(o) = 6*o - 6. Does 11 divide b(6)?
False
Let f = 3 - 10. Let n(m) = -8*m - 5. Does 26 divide n(f)?
False
Suppose 15 = -5*j, -4*j + j = -4*l + 121. Is l a multiple of 14?
True
Let p(o) = -o**2 + 5*o + 3. Let n be p(5). Suppose -4*g + 114 - 17 = -n*s, 0 = g + 3*s - 28. Suppose -4*f - g = -3*k, -6*k + 2*k + 2*f = -20. Does 3 divide k?
True
Let s = 73 + -35. Is 7 a factor of s?
False
Does 24 divide 58/145 + (-716)/(-10)?
True
Let z = -5 + 10. Suppose z*k - 60 = 10. Does 3 divide k?
False
Let s(v) = -v**3 + 3*v**2 + 3*v - 4. Let u be s(4). Let q = u - -6. Let i = 9 - q. Is i a multiple of 10?
False
Is (-12)/(-1) - (-22 + 19) a multiple of 9?
False
Suppose 2*v = -l - 12, -4 = -l + 3*v + 4. Is 12 a factor of ((-11)/l)/(3/36)?
False
Let w = 55 + -100. Let h = w + 29. Is 5 a factor of (h + 1)*(-2)/3?
True
Let u(g) = -1 - 4*g - g**3 + 1 - 5 + 2 + 8*g**2. Is u(6) a multiple of 15?
True
Does 2 divide (1/(-2))/((-1)/6)?
False
Suppose 9*c - 4*c = 15. Is 47/c - 2/(-6) a multiple of 16?
True
Let d = -7 + 12. Suppose 4*v = 3*j - 49, -d*v = j - 17 - 12. Does 15 divide j?
False
Suppose -3*i - i = 0. Suppose i*m + 40 = 5*m. Is m a multiple of 3?
False
Suppose 4*q - 18 = -2. Suppose b - q*b = -39. Is b a multiple of 13?
True
Let n = -27 + 52. Suppose -3*i + 22 + n = -4*z, -4*i + 16 = 4*z. Does 9 divide i?
True
Suppose -c - 8 = -3*q, -q + 3*c = -0*c. Suppose -3*y - q*z = 2*z - 111, -9 = 3*z. Is y a multiple of 14?
True
Let x be (-132)/8 - (-1)/2. Let b = -5 - x. Does 11 divide b?
True
Suppose 0 = -3*v - 4*j + 11, -5*v + j + 32 = 6. Is v even?
False
Let r(j) = j**2 - j - 1. Let w be r(2). Is (-2)/((-45)/43 + w) a multiple of 18?
False
Let l be (0 - 4 - -1) + 5. Suppose 0 = l*n - n - 4. Does 4 divide n?
True
Does 8 divide (-12)/(-18) - (-3108)/9?
False
Let g(a) = 4*a + 1. Let d(i) = -16*i - 4. Let h(c) = -2*d(c) - 9*g(c). Suppose -n - 3*n + 2*o = 20, -3*n + 4*o - 25 = 0. Is h(n) a multiple of 11?
True
Let a(j) be the first derivative of 2*j**3/3 - j**2/2 - 3*j + 4. Is a(3) a multiple of 11?
False
Let y(m) = -m**2 - 6*m + 10. Let p be y(-7). Suppose -4*j - 21 = -3*n - 3, -2*n + p*j = -12. Is n a multiple of 3?
True
Suppose w - 17 = -0*w + y, -w + 3*y + 21 = 0. Is 11 a factor of w?
False
Let f = -7 + 7. Suppose f = -j - 3*j. Suppose j = -3*p - 17 + 47. Does 7 divide p?
False
Let g(l) be the third derivative of l**5/60 - 7*l**4/24 + 2*l**3/3 + 3*l**2. Is g(8) a multiple of 4?
True
Let v = -30 + 45. Suppose 3*i - 3*s - v = 0, -5*i + 25 = -0*i - s. Suppose -3*u - 119 = -i*g - 21, 16 = 4*u. Is 6 a factor of g?
False
Let l = 3 + -4. Let t = l + 4. Is (t + (-33)/(-3))/2 a multiple of 7?
True
Suppose -j - 3 = -33. Is 3 a factor of j?
True
Let j(b) be the second derivative of 7*b**5/120 - b**4/8 - b**3/2 + b. Let q(n) be the second derivative of j(n). Does 14 divide q(3)?
False
Let y(i) = -2*i - 3. Let q be y(-3). Let g be (28/7)/(4/54). Suppose -106 = -4*w + q*k - 33, 3*w - 3*k = g. Is w a multiple of 5?
False
Let o(a) = -16*a + 3. Let q be o(-3). Suppose -z + q = 2*z. Is z a multiple of 17?
True
Let z(a) = -a**2 + 6*a + 7. Let n be z(-7). Let y = n - -155. Suppose 0 = r - 2*g - 14, -r + y = 3*r - 3*g. Is 10 a factor of r?
True
Let f = 54 - -41. Does 19 divide f?
True
Let s be (42/(-3))/(4/2). Let n be 11/(-1 - (-4 - -2)). Let t = n + s. Is t even?
True
Is 13 a factor of 1*(-3 - 68/(-2))?
False
Let x(u) = 2*u**2 - 2*u + 1. Let o be x(1). Let v be (0 + -2)/(-4)*-2. Is -2 + 10 - v - o a multiple of 8?
True
Let p(t) = -2 + 0 + 0 + t. Let i be p(7). Suppose 0 = i*j - j - 72. Does 9 divide j?
True
Suppose -775 - 23 = p. Does 15 divide p/(-30) - 6/10?
False
Suppose -k = -0*k - 3. Is 13 a factor of 41*(k + (-6)/3)?
False
Let r(w) = 5*w - 9. Let c(j) = j**3 + 8*j**2 - j. Let p be c(-8). Let x be r(p). Suppose 73 = 4*a - x. Does 13 divide a?
True
Let n(q) = q**3 - 3*q**2 - 3*q - 2. Let u be n(4). Suppose 0 = -u*f + 5*f. Suppose f*x - 3*x = -54. Is x a multiple of 9?
True
Let l = -12 - -33. Does 21 divide l?
True
Let a = 33 - 10. Does 7 divide a?
False
Does 12 divide 3/(-18) + 700/24?
False
Let w(d) = 2*d. Let z be w(2). Let i(a) = -a + 0*a - a**2 + 2 + 6*a. Does 3 divide i(z)?
True
Let n(v) = 5*v**2 - v - 3. Let h(f) = f**2 + f - 1. Let t(o) = -2*h(o) + n(o). Does 17 divide t(-2)?
True
Let i = 33 - 34. Suppose -4*c + 69 + 39 = 0. Let g = c + i. Does 13 divide g?
True
Suppose -2*a = -a - 33. Does 9 divide a?
False
Is (-2)/10 + 232/10 a multiple of 13?
False
Suppose 0 = 5*g - 5, 3*p + 2*p - 108 = -3*g. Is 21 a factor of p?
True
Is (43/2)/(8/16) a multiple of 27?
False
Let b(s) = s**3 + 8*s**2 - 10*s - 4. Let p be b(-9). Suppose 0 = p*m - 0*m - 330. Suppose 5*f - m = -16. Is f a multiple of 9?
False
Let l be (-17 + 13)*(-23)/2. Suppose l = 4*h - 2*h. Is 9 a factor of h?
False
Let i = 0 + 0. Suppose t = 2*s - 0*t - 19, -4*s - 3*t + 43 = i. Suppose 0 = 2*b + 2*c - s, -1 = 2*b + 4*c - 5. Is 8 a factor of b?
True
Let i(t) = -4*t - 9. Let n be i(-6). Suppose 0 = j - 6*j + n. Let v(s) = 2*s**3 - 3*s**2 - 2. Does 13 divide v(j)?
False
Let c(z) be the third derivative of z**5/60 + z**4/2 + 8*z**3/3 + 3*z**2. Suppose -3*s + 5*l - 37 = -s, 0 = 4*s - 4*l + 56. Is c(s) a multiple of 5?
True
Let z = 4 + -1. Suppose -2*u = -3*v - 0*v - 15, -u = -z*v - 3. Does 3 divide u?
True
Suppo