es 9 divide z?
False
Let a(f) = -35*f**3 - f**2 - 2*f - 1. Let j(o) = o + 11. Let p be j(-10). Let n = -2 + p. Is a(n) a multiple of 12?
False
Let c(a) = 2*a**2 + 8. Is 11 a factor of c(-5)?
False
Is -1 - (3 + 1140/(-5)) a multiple of 11?
False
Suppose -3*y - 38 = -5*y. Is y a multiple of 7?
False
Suppose 0 = -0*w + w - 78. Does 15 divide w?
False
Let a be (20/(-15))/(2/(-6)). Suppose -66 + 198 = a*h. Is h a multiple of 11?
True
Let b be (0 - 1)*(-6 - 0). Let a be (-1)/3 - (-20)/b. Suppose 2*j - 4 = 2*f + 16, a*f = 4*j - 43. Does 13 divide j?
True
Is 2038/17 + (83/(-17) - -5) a multiple of 6?
True
Does 11 divide (0 + 1455/10)/(6/8)?
False
Let y(p) = 2*p**2 - 3*p - 3. Suppose k - 4*k + 54 = -2*s, -4*s = 3*k - 72. Suppose 0 = -u - 3*u + k. Does 16 divide y(u)?
True
Suppose 53 = 2*l - 143. Does 7 divide l?
True
Suppose 2 = -2*v + 2*c, 4*v - v + 15 = -3*c. Let b(o) = o**2 - 5*o - 4. Does 10 divide b(v)?
True
Suppose 186 = 5*y + 26. Does 6 divide y?
False
Suppose -21 = -2*c + 5*c - 3*j, 2*c = -4*j - 20. Let h = c - -28. Is 9 a factor of h?
False
Suppose 2*x - 5*x - 3*d = -30, -4*x + 4*d = -32. Suppose -4*i + 75 = -x. Is 21 a factor of i?
True
Let t(m) = 5*m**2 + 2. Let f be t(3). Let l = 111 - f. Let d = 104 - l. Does 20 divide d?
True
Let l(i) = i**2 - 7*i - 4. Let k be l(8). Suppose 0 = -z - 2*z - k*b, 2*b = 4*z. Suppose z = 2*m - 3*m + 42. Is m a multiple of 14?
True
Suppose -4*d - 80 = -9*d. Is d a multiple of 14?
False
Let z = 8 - 5. Let g(r) = r + 3. Let u be g(z). Is 8 a factor of (-4)/u*-2*15?
False
Let v = 31 + -15. Let z = 22 + v. Does 19 divide z?
True
Suppose p + p + l - 76 = 0, 2*l - 8 = 0. Is 8 a factor of p?
False
Does 11 divide -2*(1 + 316/(-8))?
True
Suppose j + 544 = 5*h, 8 + 4 = -3*j. Suppose -27 + h = 3*x. Does 16 divide x?
False
Let z(k) = -k**2 - 9*k - 6. Let g be z(-8). Suppose -g*f + 81 = -4*o - 57, -2*o - 10 = 0. Is 20 a factor of f?
False
Suppose -2*d = 3*d - 10. Is 252/8 + 3/d a multiple of 11?
True
Let h(q) = q**3 - 7*q**2 - 11*q + 6. Let t be h(8). Is 2/(-1)*t/4 a multiple of 9?
True
Let p(a) = a**2 - 15*a + 9. Is p(15) a multiple of 7?
False
Suppose 10 = 2*b - 6. Is 8 a factor of b?
True
Suppose 6*h = h + 10. Let a = 4 + h. Is a a multiple of 3?
True
Let u(q) be the third derivative of -q**5/60 - 3*q**4/8 - 5*q**3/6 + q**2. Let d be u(-7). Suppose -4*j + d*j = 3*f - 1, -j = 5*f - 39. Is f a multiple of 3?
False
Let s(p) = p**3 + 7*p**2 + 2*p - 13. Is s(-6) a multiple of 9?
False
Let y = 77 + -35. Is y a multiple of 9?
False
Suppose -b - 5 = -2. Let m = 5 + b. Suppose m*t - 28 = 26. Is t a multiple of 14?
False
Suppose -4*r = -0*r - 168. Suppose 5 = c - b - 39, -r = -c + 2*b. Is 23 a factor of c?
True
Let t(r) = 3*r + 3. Let k be t(-3). Let c be 117/7 - k/21. Does 3 divide (-2)/3 - c/(-3)?
False
Is 9 a factor of 6/15*90/3?
False
Suppose 29*f - 30*f + 5 = 0. Is f a multiple of 2?
False
Let s = -5 + 10. Suppose -s*m + 263 = -3*v - 21, -4*m - 2*v = -214. Let w = m + -31. Is w a multiple of 9?
False
Let i be (3/3)/1 + 1. Suppose -2*o = i*o - 16. Let v = 6 - o. Is v even?
True
Let i be (-4)/(-6) - 3/(-9). Let h(k) = -k**2. Let g(p) = -7*p**2 + 8*p - 4. Let m(f) = i*g(f) - 6*h(f). Is m(7) even?
False
Let g be (-52)/(-1 + 3/(-3)). Does 10 divide (g/(-6) - -1)*-3?
True
Let f = -17 + 11. Let q = f + 4. Is 22 a factor of 26 + q*1 - 2?
True
Let n = 9 - 4. Suppose -3*q = -2*x - 84, n*q - 87 - 53 = 4*x. Is 28 a factor of q?
True
Suppose 0 = -3*i + 3 + 3. Is 15 a factor of (i + 18/4)*6?
False
Let l be 3/5 - 14/(-10). Let r(v) = v**2 - 7*v - 4*v**l - 3 + 4*v**2. Is 2 a factor of r(8)?
False
Let i(x) = -4*x + 7. Let g be i(7). Let s = g - -38. Is s a multiple of 12?
False
Let j(g) = -4 + g**3 - 8*g**2 - g + g - 2*g**3 - 2*g. Let k be (-8)/28 - 108/14. Is j(k) a multiple of 12?
True
Let f(s) = -s**2 - s. Let p be f(0). Let t be (-1 + 0)*(0 - p). Suppose o + t*o = 10. Is o a multiple of 10?
True
Suppose 6*v = v - 40. Let a(n) = n**2 + 7*n - 3. Let p be a(v). Suppose 5*m - p*b = -6*b + 95, -4*m + 3*b + 57 = 0. Is m a multiple of 12?
False
Let k(l) = l**2 + 2*l + 2. Let t = 2 + 2. Suppose -g + 13 = 3*z, t*z - 15 = -z. Does 13 divide k(g)?
True
Suppose 4*j - 3*m - 121 = 116, 0 = -3*j - m + 181. Is 25 a factor of j?
False
Let d = 3 - -1. Suppose -3*j = d*s - 35, -s = 5*j + 3*s - 45. Does 5 divide j?
True
Suppose -45 = p - 213. Is 32 a factor of p?
False
Suppose v + 2*v = -5*g - 21, 2*v = 4*g - 36. Does 6 divide v/3*-2 - -2?
False
Let o(i) = 22*i + 4. Let s be o(-5). Let v = s - -160. Does 18 divide v?
True
Let p be 276/(-27) - (-4)/18. Let x = p - 5. Is 3 a factor of 18/5 + (-6)/x?
False
Suppose -3*d + 8 = -1. Suppose -d*b + 251 = -133. Suppose -6*s + 2*s + b = 0. Does 16 divide s?
True
Let h be (-4)/6 + 22/6. Suppose 2*n + 12 = 4*n - h*l, 0 = -2*n + l + 12. Is 2 a factor of n?
True
Suppose 0 = 2*a - 7*a + 395. Let i = -33 + a. Does 20 divide i?
False
Suppose 2*g = g + 54. Let f = 31 - g. Is 1 + (-1*2 - f) a multiple of 11?
True
Let h = 51 + -29. Suppose o + 16 = 5*p, 0 = -5*p + 3*o - 4 + h. Does 2 divide p?
False
Suppose h - 4 + 1 = 0. Suppose -r = h*r - 64. Does 8 divide r?
True
Suppose -5*l + 648 = 4*d, -2*d - 2*l + l + 324 = 0. Suppose d = 3*v + 36. Is v a multiple of 15?
False
Suppose 5*n = -271 + 691. Does 21 divide n?
True
Let q(f) be the first derivative of -f**4/4 + f**3/3 - f - 1. Suppose v + 5 = -5*d + 6*v, d + 2*v = -4. Is 4 a factor of q(d)?
False
Suppose m + 0*m - 4 = 0. Let y(c) = -c + c + c**2 - m. Is 2 a factor of y(-3)?
False
Is (-9 - -6)/((-1)/6) a multiple of 6?
True
Let l(x) = 3*x + 3*x - 2*x - 1. Let j be l(6). Is 18 a factor of (j - 0) + -5 + 5?
False
Suppose -2*t - 2*t - 20 = 0, 4*d + 2*t = 362. Is 19 a factor of d?
False
Let f(l) = -l**3 + 4*l**2 + 4*l + 4. Let z be f(4). Suppose 3*s - z = 7. Does 5 divide s?
False
Suppose 4*o - 14 = 2*o. Is 6 a factor of o - ((0 - 1) + -1)?
False
Let x(d) = d**2 - 9*d + 9. Suppose 0 = p + c + 3 - 5, 0 = -5*p + 3*c + 50. Let j be x(p). Is 19 a factor of j/((-5)/(-2)) - -21?
True
Suppose 3*n - 13 = -7. Suppose 0 - 10 = -n*v. Is v even?
False
Let w = -219 - -322. Is 13 a factor of w?
False
Is (21 + 5)*33/6 a multiple of 20?
False
Suppose -2*s + 5*s = 0. Suppose s*h + 120 = 3*h. Is h a multiple of 20?
True
Suppose 0 = 3*r - 3*z - 18, 2*z = -2*r - 2*r - 6. Suppose -28 + 4 = 4*v. Does 6 divide (4/v)/(r/(-18))?
True
Suppose -4 = 3*s - 7. Is 10 a factor of 5/((-10)/(-48)) + s?
False
Let b(t) = 33*t - 1. Let k be b(5). Suppose -4*j + 23 + 37 = -2*n, 2*j + 4*n - 20 = 0. Is k/j - (-2)/7 a multiple of 11?
False
Let x be ((-489)/6)/(4/(-8)). Suppose 0 = -3*w + x - 61. Is w a multiple of 33?
False
Is 2*-8*(-21)/14 a multiple of 12?
True
Let z = 2 + 7. Is z + 2 - (1 - 2) a multiple of 12?
True
Suppose 4*u + 12 = -0, 2*p = -4*u + 284. Does 37 divide p?
True
Suppose 2*l = 4*k + 4, 2*l = k - 2*l + 8. Let w = 10 - k. Is w a multiple of 5?
True
Suppose 16 = 5*s + 4*i, 0 = 5*s - 3*i + 13 - 36. Suppose 0 = -s*q + 28 + 8. Is 7 a factor of q?
False
Let g be (30/18)/(1/(-3)). Let c(a) = a**2 + 6*a + 8. Does 2 divide c(g)?
False
Let c(u) = u**3 - 8*u**2 - u + 9. Let k be c(8). Let n(q) = 4*q**3 - 2*q + 1. Is 3 a factor of n(k)?
True
Let i be (-19)/2 + (-1)/(-2). Suppose 2*m + 3*m - 105 = 0. Let h = i + m. Does 9 divide h?
False
Let w be (-3 + 2)/((-3)/9). Suppose w*p = -r - 2*r + 99, -5 = 5*p. Is r a multiple of 17?
True
Suppose 0 = 4*k + 3*x + 2*x + 2, 2*k = -3*x - 2. Let c(j) = 8*j + 4. Is c(k) a multiple of 12?
False
Let v(k) be the third derivative of k**8/5040 - k**6/720 - k**5/15 + 2*k**2. Let y(m) be the third derivative of v(m). Does 2 divide y(-1)?
False
Let w(g) = 4*g**2 + 2*g**2 + 3 - 2*g**2 - g**3 - 3*g**2. Let u be w(0). Suppose x - 19 = -3*j, -2*x - u*j + 45 - 16 = 0. Does 5 divide x?
True
Let o(i) = i + 1. Let t be o(-4). Let h be (t/6)/(2/(-48)). Let w = -5 + h. Does 7 divide w?
True
Suppose -3*m - 312 = -6*m. Is m a multiple of 18?
False
Suppose -5*y + 0*y + 5 = 0. Let q = 9 - y. Is q a multiple of 3?
False
Let d(x) = x**2 - 2 - x + 1 + x. Let q be d(-2). Let y(i) = 2*i**3 - 4*i**2. Is 8 a factor of y(q)?
False
Let k = -14 - -68. Is k a multiple of 11?
False
Let t(v) = v**3 - 9*v**2 + 7*v + 7. Let a be t(8). Let y be a*1 + 3 + -3. Let c(w) = -9*w**3 + w**2 - w - 1. Is 4 a factor of c(y)