 6?
False
Does 7 divide (-507)/(-18) + 2/(-12)?
True
Let i(l) = l**3 + 8*l**2 - 9*l + 4. Let h be i(-9). Suppose -h*x = 4*n - 84, 3*n + 75 = 3*x + 2*n. Is x a multiple of 9?
False
Let i(c) = c + 5. Is i(5) a multiple of 10?
True
Suppose -2*j + 2 + 2 = 0. Suppose -3*o + 26 = 2*v - 42, j*v - 2*o - 88 = 0. Is v a multiple of 14?
False
Suppose 0 = -0*g + 5*g - 295. Does 12 divide g?
False
Let x(y) = 2*y**3 + 27*y**2 - 24*y + 20. Is x(-14) a multiple of 20?
True
Let z be 4/(-16) + (-2)/(-8). Suppose z = -2*n + 4*n. Suppose n = -o - 0*o + 22. Does 9 divide o?
False
Suppose b = 3*j - 6*j + 14, -2*j + 14 = 3*b. Is j even?
True
Suppose 0 = 3*y + 2*o - 82, -3*y + 19 = 4*o - 61. Let s = y - -15. Does 15 divide s?
False
Let f be (2 + -1)/(4/44). Suppose -2*m = -r + f, -3*m + 3 = r - m. Let l(s) = s**2 - 7*s + 4. Is 3 a factor of l(r)?
False
Let z be (-1)/2*2*-2. Suppose z*m = -2*m - 1016. Is 16 a factor of (-3)/(-12) - m/8?
True
Is 11 a factor of (33/(-5))/(2/(-20))?
True
Let s(x) = -x - 4. Let p be s(-9). Suppose 4*i + 4*j + 24 = 0, p*i + 5*j + 25 = j. Is 8 a factor of 4*i/3*-12?
True
Suppose -207 = -2*s - 5*q + 35, 4 = 2*q. Is s a multiple of 30?
False
Let g(c) = -c**3 - 9*c**2 + 9*c + 2. Let d be g(-10). Let a be ((-16)/6)/((-4)/d). Let k = a - 6. Is k a multiple of 2?
True
Let g(f) = f**2 - 8*f - 18. Let p = 33 + -19. Does 33 divide g(p)?
True
Let c = 6 + -2. Suppose -3*n = x, c*x + 6*n = n. Is 19 a factor of (-3)/6*(x - 38)?
True
Suppose -4*j - 14 = -22. Suppose 2*w - 8 = -j*v - 0*v, 3*v - 18 = -w. Does 5 divide v?
False
Suppose -4*a + 65 = -3*a. Is a a multiple of 20?
False
Let d(o) = -o**3 - 20*o**2 - 5*o + 29. Is 13 a factor of d(-20)?
False
Let q be (16*1)/((-3)/(-42)). Suppose 0*d = 2*d - q. Suppose 16 = -4*z + d. Is 7 a factor of z?
False
Let k be (-35)/4 - (-3)/(-12). Let u(v) = -v**3 - 6*v**2 + 3*v. Let d be u(-7). Let l = d + k. Is 13 a factor of l?
False
Let x(s) be the second derivative of 7*s**3/6 - 2*s**2 + 4*s. Does 10 divide x(2)?
True
Let l(j) = -j**2 - 10*j - 11. Let h be l(-14). Let o = h + 102. Does 10 divide o?
False
Let c(d) be the third derivative of d**6/120 - d**5/60 - 5*d**4/24 + d**3/3 - 8*d**2. Does 5 divide c(3)?
True
Let d(z) = -z**3 - 9*z**2 + 8*z - 9. Let u = 14 + -24. Is d(u) a multiple of 11?
True
Suppose 0 = 3*z + 4*v + 5 + 1, 3*z + 3 = -5*v. Let n = z + 8. Suppose 3*b - n*c - 69 - 49 = 0, -2*c = -b + 42. Does 13 divide b?
False
Suppose 5*q + 2*n = 80, 6 = q + 4*n - 10. Is q a multiple of 14?
False
Suppose -w - 4*c = 3 + 6, -2*w - 6 = -4*c. Let n = 2 - w. Does 16 divide (n + 1)/((-1)/(-4))?
True
Let q be 10/(-15) - (-40)/6. Is 117/6 - q/4 a multiple of 7?
False
Suppose 16 + 4 = 5*l. Suppose -2*w = w. Suppose m + l*b + w = -6, m + b = 6. Is 4 a factor of m?
False
Let q(p) = -p**2 + p - 11. Let u be q(0). Let x(a) = 2*a**3 - 2*a**2 - 2*a + 2. Let b be x(2). Let w = b - u. Is w a multiple of 17?
True
Is (1152/224)/((-74)/(-70) - 1) a multiple of 15?
True
Suppose 3*c - 17 = 19. Is c/4 - (-14)/2 a multiple of 4?
False
Let v = 8 - -2. Does 4 divide (-1770)/(-75) - 6/v?
False
Suppose -2*j = j + 27. Let l(v) = v**2 + 5*v + 9. Is l(j) a multiple of 15?
True
Let o(r) = 53*r + 5. Is 37 a factor of o(2)?
True
Suppose 0 = -o - 2*b + 72, -4*b - 163 = -3*o + 83. Is o a multiple of 25?
False
Let u = 35 + -19. Does 4 divide u?
True
Suppose -204 = -2*b - 4*b. Is b a multiple of 24?
False
Let z = 0 - -20. Is 20 a factor of z?
True
Suppose 0 = -x + 2 - 0. Suppose 2*r + 3*r - 143 = a, -x*r + 3*a = -52. Is 11 a factor of r?
False
Let j = 9 - 6. Suppose -h + j*i = 4, 4*h + 3*i = -2*i + 1. Is (1 - (h + 1))*3 even?
False
Let b(u) = 6*u**3 + 18*u**3 + u**2 - 5*u + u + 3*u. Is b(1) a multiple of 12?
True
Let n be 2/3 + (-14)/(-6). Let m(b) = -b**3 - b**2 - b. Let h(o) = 7*o**3 + o**2 + 9*o + 1. Let s(q) = -h(q) - 6*m(q). Does 4 divide s(n)?
True
Suppose -x - 8 = -3*x. Suppose -2*f = 8, -x*a - 4*f + 2 + 2 = 0. Is a a multiple of 4?
False
Suppose 0*f - 4*f - 4 = 0. Let q(o) = -37*o + 1. Let n be q(f). Let h = n - 25. Does 13 divide h?
True
Let r(k) = 4*k + 4*k + 8 - 3*k - 3*k. Let d be r(7). Suppose 0 = -5*q + 18 + d. Is q a multiple of 4?
True
Let y = -4 - -6. Suppose 5*c - y*c = 99. Is 11 a factor of c?
True
Let n = 164 + -24. Does 13 divide n?
False
Let q(l) = -23*l + 3. Let m be q(-3). Suppose 4*w - m = -0*w. Is 13 a factor of w?
False
Let r(g) = 16*g - 3. Let f be r(3). Let z = f + -26. Is z a multiple of 7?
False
Let u(a) = 7*a - 18. Let g be u(5). Let p(s) = -29*s - 2. Let z be p(-2). Let w = z - g. Is 14 a factor of w?
False
Does 14 divide (5/(-10))/((-3)/588)?
True
Let c(b) = -b**2 - 14*b - 14. Does 8 divide c(-9)?
False
Let c(k) = 2*k - 2. Let i be c(3). Let h be 32 + -2 + i/2. Suppose 4*w - 4*z = h, 31 = 3*w + 3*z - 17. Is w a multiple of 11?
False
Let b(u) = 4 + 6 - 10*u + u**2 - 6 + 6. Is 3 a factor of b(10)?
False
Let f = -10 + 15. Let n(x) = -x**3 + 5*x**2 + 2*x + 6. Is 16 a factor of n(f)?
True
Let p = -32 - -80. Does 12 divide p?
True
Suppose 4*r + 0*l = 3*l + 22, 2*r = l + 10. Let b(k) = -2*k + 5 + 3*k + k**2 + 0*k**2. Is 9 a factor of b(r)?
False
Let j(y) be the third derivative of y**6/120 - 2*y**5/15 - 5*y**4/12 + 13*y**3/6 + 2*y**2. Let x be j(9). Suppose -2*f + x*f = 18. Does 3 divide f?
True
Does 10 divide -1 + -1 + (6 - -111) + -5?
True
Let w(i) = 5*i**2 - 10*i + 33. Does 5 divide w(6)?
False
Suppose 525 = 4*l + l. Is 21 a factor of l?
True
Suppose -3*d + 25 + 52 = 2*x, 2*d - 3*x - 73 = 0. Does 15 divide d?
False
Let h(l) = 2*l**2. Suppose -7 = 5*r + d, r - 9 = 4*r - d. Let a be h(r). Let f = a + 8. Does 8 divide f?
True
Suppose 123 + 12 = g - 2*s, 3*g - 414 = 3*s. Let j be (-12)/8*1*-116. Suppose -2*c + 0*c + j = 5*v, c - g = -4*v. Is v a multiple of 17?
False
Let q = -51 - -81. Suppose 0*b = 2*b - q. Is 12 a factor of b?
False
Let x = 134 - 72. Is x a multiple of 10?
False
Let p = 303 - 153. Is 13 a factor of p?
False
Suppose 2*i = -3*f - 1, 2*f + 8*i = 3*i - 19. Suppose -138 = -k - f*k - d, 4*k = d + 142. Is 7 a factor of k?
True
Suppose n + 3*k - 32 = 1, 2*n - 66 = -2*k. Suppose n + 27 = -2*g. Is 11 a factor of (-6)/g - 288/(-10)?
False
Suppose 4*v + v - 195 = 0. Is 13 a factor of v?
True
Let x = 131 + -68. Is x a multiple of 14?
False
Let t = 73 + -39. Suppose -42 = -4*y + t. Is 18 a factor of y?
False
Suppose 20 + 5 = -5*z, 3*j = -4*z - 8. Let f = j - -3. Let y(r) = r**2 - 6*r + 5. Does 9 divide y(f)?
False
Suppose -4*z = -4*k - 284, -3*z - k = -196 - 21. Is z a multiple of 20?
False
Does 72 divide 4332/11 - 4/(-22)?
False
Let z be 2/(-2)*(12 + -1). Let u be (-57)/z - (-2)/(-11). Suppose -4*t - 12 = -u*t. Is 4 a factor of t?
True
Let o(n) = 95*n**3 + 2*n**2 - 2*n + 1. Is 32 a factor of o(1)?
True
Suppose 180 = 3*c + c. Does 9 divide c?
True
Suppose 0 = -5*h - o - 3, 4*h - o - 4*o = 15. Let a = 4 + h. Let u = a + 28. Is u a multiple of 16?
True
Let v(c) = c - 1. Let t(h) = -5*h - 1. Let g(m) = -t(m) - 6*v(m). Let i be g(3). Let r = i - 0. Is r a multiple of 2?
True
Let r = 210 + -56. Let h = -88 + r. Suppose -3*w = -0*w - 15, 2*p + 2*w - h = 0. Is p a multiple of 12?
False
Suppose 0 = 46*h - 50*h - 24. Let x be (-1 + 0)/((-3)/21). Does 4 divide (h + -1)*(-10)/x?
False
Let v = 15 + -8. Let f(l) = l + 8. Is 10 a factor of f(v)?
False
Let a(q) = -q**3 + 5*q**2 - 5*q - 1. Let u be a(4). Let y(o) = o**2 + 5*o + 2. Let k be y(u). Is (k + 1)*(-28)/(-6) a multiple of 11?
False
Suppose -461 = -4*i - 5*w, 4*i + 0*w - 451 = 5*w. Is 43 a factor of i?
False
Is 722/12 - 12/72 a multiple of 6?
True
Suppose -5*k = 25, 4*k - 61 = -3*y + 6*y. Is 13 a factor of 482/18 + (-6)/y?
False
Suppose o + 16 = -2*o - 5*q, -5*q - 28 = -o. Is 10 + -1 + o + 0 a multiple of 12?
True
Let p be ((-6)/5)/((-4)/10). Suppose -p*w = -0*w - 132. Suppose -w = -5*x + 46. Is 8 a factor of x?
False
Suppose -3*f - 4 = -4*f. Is ((-34)/(-4))/(2/f) a multiple of 13?
False
Let o(f) = -98*f - 2. Let b be o(-1). Let c = -1 + 3. Suppose -g = c*g - b. Is 16 a factor of g?
True
Let h(n) = -2*n**3 - 4*n**2 - 4*n - 3. Let r be h(-3). Let u = r - -18. Is 15 a factor of u?
True
Suppose 0*v - 182 = -2*v. Is v a multiple of 19?
False
Let l(o) = o**3 - 13*o**2 - 13*o - 16. Let k be l(14). Is k - (-16)/4*2 a multiple of 3?
True
Let u(l) = l**3 - 2*l**2 - 4*l + 3. Is u(4) a