8?
True
Let q = 8 + -10. Is 5 a factor of 10 + 7 - (-4)/q?
True
Does 7 divide ((-2)/(-6))/((-10)/(-540))?
False
Let j be (-12)/(-5) + (-15)/(-25). Suppose g + 2*g = -2*c + 17, 2*g = -j*c + 28. Is 10 a factor of c?
True
Suppose -3*q + 168 = 2*a, -5*a - 3*q + 328 + 101 = 0. Is 9 a factor of a?
False
Let c = 186 - -19. Is c a multiple of 41?
True
Let k(z) = 2*z**3 - 3*z**2 + 3*z - 2. Let u be k(2). Suppose -u = -4*m + 4. Suppose 0 = h - m*w - 31, 2*h + 98 = 7*h + 4*w. Is 11 a factor of h?
True
Suppose 0 = -m + 116 - 11. Suppose -m = -2*u - u. Suppose -5*i = -u - 190. Is i a multiple of 15?
True
Let c(j) = 12*j**2 - 2*j + 1. Suppose -5 = 2*m - 7*m. Let i = 1 + m. Does 13 divide c(i)?
False
Suppose -o + 262 = -144. Is 12 a factor of o?
False
Suppose 0 = -5*b - 354 - 36. Let g = 116 + b. Is 19 a factor of g?
True
Suppose 0 = -u + 5*n - 0*n + 1, -2*u = 3*n - 2. Let l be 1 - (-22 + u + -1). Suppose -4*o + 89 = -l. Does 13 divide o?
False
Let l be (5 + 35)*(-6)/(-4). Suppose -2*d - d + l = 0. Is 10 a factor of d?
True
Let f(n) = 3*n**3 - 2*n**2 - 2*n - 1. Is 28 a factor of f(3)?
True
Let k(x) = -4*x - 4. Let a be k(-3). Let b = -2 + 0. Let h = b + a. Is h a multiple of 6?
True
Let y(g) = -4*g**3 + g**2 - 4. Let i be y(-3). Let s = -71 + i. Is 21 a factor of s?
True
Suppose -165*o = -161*o - 144. Is o a multiple of 18?
True
Let i(m) = 11*m**2 - m - 23. Is i(6) a multiple of 48?
False
Suppose 3*u = 7*u + 20, -878 = -3*i - 5*u. Is i a multiple of 43?
True
Let o be 2*(2 + 3/(-6)). Let j = 16 - o. Does 13 divide j?
True
Let a(y) be the first derivative of y**5/6 + y**4/12 - y**3/6 - y**2/2 + 1. Let r(u) be the second derivative of a(u). Is 4 a factor of r(1)?
False
Let t(m) = -2*m. Let a be t(0). Suppose -4*q + 3*l - 2*l + 368 = a, 0 = -5*q + l + 461. Does 31 divide q?
True
Suppose 5*g + 10 = -2*o + o, -4*g - 16 = 0. Suppose 3*b = 5*b - o. Is 5 a factor of b?
True
Let k be (0 - -4) + -4 + 1. Let m be (-1 + 2)*(k + 42). Suppose -4*q = -2*u + 84, -3*u - 5*q + m = -39. Is u a multiple of 10?
False
Suppose 355 = 2*k - 39. Does 19 divide k?
False
Let d(k) = -k**3 - 3*k**2 + 2*k + 3. Is 11 a factor of d(-4)?
True
Suppose -2*h - r = -145, -r + 299 = 4*h - 2*r. Let s = -38 + h. Is 14 a factor of s?
False
Suppose k + k = -2. Let t(i) = 36*i**2. Does 12 divide t(k)?
True
Suppose -5*m = p - 36 + 14, -4*m + 2*p = -26. Suppose -11 = -m*d + 19. Is 6 a factor of d?
True
Let k = 68 - 39. Does 9 divide k?
False
Let h = 31 + 12. Suppose 2*a - h = -5*v, 0 = v - 4*a + a - 12. Suppose 0 = -4*y + 3*y - s + v, 2*y + 5*s = 3. Does 7 divide y?
True
Let c = -25 - -43. Is 14 a factor of c?
False
Let n be 0 - 1*(2 - 7). Suppose 0*m = 3*j - 4*m - 175, 0 = -5*j - n*m + 350. Does 25 divide j?
False
Let z(s) = s + 19. Is z(6) a multiple of 9?
False
Let z(i) = -i**2 + 7*i + 6. Let b be z(7). Let x = b + -2. Is x a multiple of 4?
True
Suppose m - 5 = b, 0*b + 21 = 3*m - 5*b. Suppose -r + 48 = m*r. Is 4 a factor of r?
True
Let k(z) = 6*z**2 - 4*z - 6. Suppose 0*i + 2*i + 5*h = 2, 18 = -4*i + h. Let l be k(i). Suppose -5*u + 3*d = -l, 2*d - 4*d - 44 = -2*u. Is u a multiple of 13?
False
Suppose -6*a + a = -3*w - 4, 2*w - 2*a = 0. Suppose -w*n + 3*n = 0. Suppose n = -4*f + 2*f - 5*x + 70, -5*f - x = -175. Is f a multiple of 13?
False
Suppose 3*w = 2*s, -2*s - 4*w = 1 - 29. Suppose 20 = s*v - 2*v. Does 5 divide v?
True
Let j be 3 - (4 + -3 - 4). Suppose j*n = 9*n - 60. Is n a multiple of 8?
False
Suppose -3*d = 60 - 159. Does 9 divide d?
False
Let u(x) = 37*x + 2. Let g be u(-2). Let b = 134 + g. Suppose 0 = z + z - b. Is 17 a factor of z?
False
Suppose -8 = -2*u + 16. Suppose -3*z + u = -39. Is z a multiple of 7?
False
Let j(d) = d**3 - 5*d**2 - d + 3. Let o be j(5). Let z = o - -22. Is 8 a factor of ((-17)/(-4))/(5/z)?
False
Let p(o) = o**3 - 9*o**2 + 17*o + 12. Is p(8) a multiple of 21?
True
Let x = -3 + 5. Suppose 2*b - x*q - 14 = -b, 5*b - 25 = 3*q. Is b a multiple of 8?
True
Let o be 67*(-1)/(0 - 1). Let y = -23 + o. Does 19 divide y?
False
Let a = 33 - 59. Suppose 125 = -3*k - 70. Let x = a - k. Is x a multiple of 13?
True
Let w(g) = -g - 1. Let q(u) = -2*u - 3. Let d(t) = -3*q(t) + 5*w(t). Does 5 divide d(6)?
True
Let z be 3*(-4)/18*12. Let i = 1 - z. Does 8 divide i?
False
Let t = 47 - 23. Suppose -k + t = 2*v, 2*k - 2*v = -v + 48. Does 12 divide k?
True
Suppose 5*o - 27 = 48. Let r(y) = -5*y**3 - 3*y**2 - y - 1. Let u be r(-2). Let d = u - o. Does 14 divide d?
True
Let i(r) = r**3 - 3*r**2 + r. Let m be i(3). Suppose -m*k - 4 = -10. Suppose p - 19 = -k. Does 14 divide p?
False
Let r = 41 + -8. Is 11 a factor of r?
True
Let t(l) = -3*l + 5 - 1 + 0. Let x be (0 + 8)*(-1)/2. Is 7 a factor of t(x)?
False
Suppose -9*c = -8*c - 22. Does 9 divide c?
False
Suppose 0*v = 4*v - 12. Let y be 5*2 + (-6)/v. Suppose y - 1 = g. Does 3 divide g?
False
Let j be 7*(-2)/14*6. Let x = j - -3. Let z(k) = k**3 + 3*k**2 - 4*k - 4. Does 8 divide z(x)?
True
Let j(n) = 2*n**2 + 5*n + 3. Is 35 a factor of j(6)?
True
Let u be (-3)/(-9) + 1/(-3). Suppose u*c + 5*c - 106 = 2*r, -3*c + 70 = 2*r. Is c a multiple of 11?
True
Suppose -18 = -4*r + 2. Suppose -5*m = -d - m - 25, -2*m + 197 = -r*d. Let s = d + 60. Is s a multiple of 9?
False
Let f be 4/(-6)*(0 - 9). Let v(q) = 3*q - 6. Is v(f) a multiple of 12?
True
Suppose -3*w = -4*w + 66. Does 11 divide w?
True
Let j(t) = -t**3 + t**2 - 3*t - 2. Is j(-3) a multiple of 10?
False
Suppose 3*h = 5*h - 36. Suppose -g = -2*p + 4*g - 56, 2*p + 40 = g. Does 19 divide 4/h + (-338)/p?
True
Suppose w + 17 - 50 = 0. Is 11 a factor of w?
True
Suppose 0 = -3*k - 2*k + 525. Is k a multiple of 24?
False
Let v(x) = -x**2 + 5*x + 1. Let m be v(5). Suppose -f + 3 = -m. Suppose 64 = 4*k - f*a, 6*a - 12 = 2*a. Does 17 divide k?
False
Let q(s) = -s**2 - 8*s. Let o be q(-8). Let d = o - -2. Is 13 a factor of -2*d*76/(-16)?
False
Let k(s) = s**3 - 7*s**2 + 5*s - 2. Let l be 18/(-8)*8/(-3). Let x be k(l). Let b = 14 + x. Is 6 a factor of b?
True
Is 2 + 34 - 0/1 a multiple of 6?
True
Let f be ((-3)/9)/((-2)/12). Suppose 0 = -4*r + 4*w - 72, 4*r - f*r - 5*w + 39 = 0. Let n = r - -45. Does 14 divide n?
True
Let t = 1 - -3. Suppose 0 = -t*x - 28 - 24. Let w = 23 + x. Is 5 a factor of w?
True
Let n(t) = t**3 - t + 18. Does 6 divide n(0)?
True
Let q(z) = -z**2 + 1. Let y(s) = 5*s**2 - 2*s - 2. Let b(m) = -6*q(m) - y(m). Is 5 a factor of b(3)?
False
Let a(n) = -n + 7. Let g be a(5). Suppose -3*t - h = g*h - 72, 3*h = 3*t - 48. Does 7 divide t?
False
Let j be (-3 - -3) + 4/2. Suppose -j*r = -7 - 11. Is r a multiple of 3?
True
Suppose 0 = 2*m - 88 - 92. Is 31 a factor of m?
False
Is (-1)/9 + (-2757)/(-27) a multiple of 17?
True
Let i be (-34)/3*-2*27. Suppose -i = 3*c + c. Is ((-4)/(-3))/((-6)/c) a multiple of 17?
True
Let f(v) = -2*v**3 - v**2 + v + 1. Let z be f(-1). Let l be -2 + (-1 + 8)/z. Is (-2)/l - (-321)/15 a multiple of 10?
False
Let f(y) = -3*y + 8. Let l(i) = 2*i - 7. Let x(s) = -6*f(s) - 7*l(s). Let n be x(-1). Is 6 a factor of (-4)/(-2 - 4/n)?
True
Let y be 4/10 + 14/(-10). Let t = 2 + y. Suppose -q + 10 = -t. Is 11 a factor of q?
True
Let o(g) = -g**3 + 7*g**2 - 6*g + 2. Let i be o(6). Is 26 + 1 + 0/i a multiple of 9?
True
Suppose w + 3*w - 512 = 0. Is 9 a factor of ((-21)/(-4))/(24/w)?
False
Suppose 4*w + 5 = -3. Does 11 divide w/1*-11 + 0?
True
Let x(g) = -g - 20. Let a be x(0). Let m = -6 - a. Is 14 a factor of m?
True
Is (384/36)/((-2)/(-6)) a multiple of 9?
False
Let t = -49 + 164. Does 12 divide t?
False
Is 7 a factor of (-9)/(-6)*(-112)/(-12)?
True
Let o = -13 - -24. Suppose -3*f + h = -2*f - 5, f = -3*h - o. Suppose 3*c + 2 = m + f, -3*m + 3*c + 21 = 0. Is m a multiple of 5?
True
Let y = -1 + 17. Does 12 divide y?
False
Suppose 2*a + 2*a - 200 = 0. Suppose 4*b - 6*b = -6. Suppose -a = y - b*y. Is 9 a factor of y?
False
Suppose 0*r - 300 = -3*r. Does 44 divide r?
False
Let w = -79 + 104. Is 4 a factor of w?
False
Is 0/((-5)/1) + 3 a multiple of 2?
False
Let m(z) = -19*z. Is m(-1) a multiple of 7?
False
Suppose -5*z + 2*f + 206 = 0, -2*z + f = -0*f - 83. Suppose t - z = -t. Is t a multiple of 20?
True
Let r = 228 + -156. Is r a multiple of 18?
True
Let m = -20 + 41. Suppose 0 = -x + 1 + m. Is x a multiple of 10?
False
Let j = 53 - 43. Is 5 a factor of j?
True
Suppose 3*i = -i 