4)*16/6?
False
Let t(k) = -k - 17. Let d be t(-7). Is 7 a factor of (-94)/d + (-4)/10?
False
Let d(w) = -w**3 - 3*w**2 - 5. Is d(-4) a multiple of 11?
True
Let d(q) = -q**2 - 10*q - 7. Let i be d(-13). Let p = -23 - i. Is p a multiple of 8?
False
Let m = 1 - 0. Let b(a) be the third derivative of a**6/40 + a**5/60 - a**4/24 + a**3/6 - 5*a**2. Does 2 divide b(m)?
True
Suppose -2*o - 252 = -5*a, 249 = 6*a - a + o. Suppose -3*w = -w - a. Is w a multiple of 8?
False
Let b = 127 + -55. Is b a multiple of 10?
False
Let b(i) = -2*i**2 + i - 1. Let o be b(3). Let w = 91 + o. Suppose 2*v = -v + w. Is 12 a factor of v?
False
Let l = -1 - -4. Suppose 0 = 3*k + l*i + 150, 0*k = 5*k - i + 220. Let p = k + 68. Is 8 a factor of p?
False
Let j(r) = r**3 + 8*r**2 + r - 1. Let g be j(-4). Suppose 5*a - 4*n - g = -0*a, -n - 71 = -5*a. Let f = -3 + a. Is 5 a factor of f?
False
Suppose -4*h + 7*h = 12. Suppose -n + 20 = -3*v, -h*v = 5*n + 13 - 151. Is n a multiple of 13?
True
Let z(y) = 2*y**2 - 2*y - 4. Let m be z(3). Does 2 divide m/(5/((-5)/(-2)))?
True
Let l(o) = 7*o - 1. Let x be l(1). Suppose -3*t = -x - 18. Does 8 divide t?
True
Let y(i) = i**2 - 5*i + 2. Let r be y(5). Let l(w) = 3 - w - w**r + 3*w**2 - 2. Is 11 a factor of l(-3)?
True
Suppose -2*j = 2 - 32. Is j a multiple of 15?
True
Let y(o) = o**3 + 6*o**2 + 3*o + 5. Let x be y(-6). Suppose -18 - 7 = -d. Let q = x + d. Is q a multiple of 12?
True
Let y(b) = -b**3 - 7*b**2 - 6*b - 5. Let s be 0 + -8 - -1 - -2. Let r be y(s). Let j = -16 - r. Does 9 divide j?
True
Suppose 13 = 5*k - 12. Does 2 divide k?
False
Suppose -7 = -m - v + 1, 44 = 3*m - v. Does 4 divide m?
False
Let p be -2 - (-8)/(-2 + 4). Suppose i + p*i = 105. Is i a multiple of 35?
True
Let m(o) = 3*o - 15. Is 2 a factor of m(8)?
False
Is 12*((-24)/9 + 3) even?
True
Let l(q) = 2*q**2 + 4*q - 5. Let p = 13 - 17. Is l(p) a multiple of 5?
False
Let c(s) = s**2 + 10*s + 12. Let m be c(-9). Suppose 0 = -m*i + 3 + 3. Suppose 0 = i*l + p - 33, -2*l - 75 = -6*l - 5*p. Is l a multiple of 6?
False
Let t be 6*1*9/(-6). Let s(w) be the first derivative of -w**2 - w + 2. Is 9 a factor of s(t)?
False
Suppose 7*d = 176 + 202. Is d a multiple of 22?
False
Let q(f) = f**2 + 7*f + 5. Let h be q(-7). Suppose -4*s = 5*t - 9, s - 45 = -h*t + 6*s. Suppose -n - n = p - 35, -2*n - 151 = -t*p. Is p a multiple of 14?
False
Suppose 3*z + z - 3*b = 20, 5*b + 22 = z. Let c be (-2)/(1/2*2). Does 6 divide c*(39/(-6) + z)?
False
Suppose -3*p = -18 - 18. Suppose -5*l - p = 3. Is 13 a factor of 3*((-29)/l - 1)?
True
Let f be (-9)/4 + (-1)/(-4). Let d(u) = -2*u**3 - 5*u**2 + 5*u - 6. Let k(g) = -g**3 - 5*g**2 + 4*g - 6. Let a(t) = f*d(t) + 3*k(t). Is 4 a factor of a(5)?
True
Let h(c) = -3*c + 12. Let f be h(9). Let l be 5/f*(-1 - 8). Let s(g) = g**2 + 5*g - 2. Is 17 a factor of s(l)?
False
Suppose 3*i = 2*t - 23, 5*t + 3*i - 12 - 77 = 0. Is t a multiple of 4?
True
Suppose 5*j + 2*q = -q + 409, -q = 4*j - 330. Is j a multiple of 12?
False
Let y be (3 + -1)/((-2)/(-57)). Suppose -38 = 3*b - 5. Let o = b + y. Does 23 divide o?
True
Let p = -11 + 14. Suppose 3*t = 2*h + p*h - 201, 2*h + 4*t = 96. Does 14 divide h?
True
Let w(p) = 3*p**2 - 3*p + 1. Does 13 divide w(6)?
True
Suppose 0 = 5*c - 3*b - 26, 0 = -c - 2*b - 2*b - 4. Suppose -4*i + 2*i + y = 0, -14 = -i + c*y. Let l(s) = 7*s**2 + 2*s + 1. Is 10 a factor of l(i)?
False
Suppose 4*y - c + 127 = 2*c, -3*y - 3*c - 111 = 0. Does 3 divide y*((-6)/4 + 1)?
False
Let a be 21/(-9) - (-2)/(-3). Let b(c) = 4*c**2 + 4*c + 3. Is 19 a factor of b(a)?
False
Is 5 a factor of 7 + 1416/44 - 2/11?
False
Let a = -4 - -6. Suppose -4*w = -a*w + 18. Is (-6)/(20/w + 2) a multiple of 12?
False
Let l(o) = -17*o - 5. Let x(d) = -6*d - 2. Let n(u) = -3*l(u) + 8*x(u). Is n(4) a multiple of 11?
True
Let p be (-33)/(-9) - 6/9. Let i be 2*(2 - p) - -2. Does 19 divide (-48 - -1)/(i - 1)?
False
Let p(a) = a**3 - 5*a**2 + 6. Let j be p(6). Suppose 0 = w - z - 26, 5*w - z - j = 68. Is 14 a factor of w?
False
Suppose -l + 4*l + 6 = 0, 5*l = 2*m - 10. Suppose m = g + g - 10. Does 21 divide (-648)/(-30) + (-3)/g?
True
Let a = 6 + -46. Let x = 84 + a. Is 16 a factor of x?
False
Let i(w) = w**2 - 6*w - 1. Let d(n) = -n + 11. Let j be d(6). Suppose 5*o + j*z - 65 = 0, z + 20 = 4*o - 3*z. Is 13 a factor of i(o)?
True
Let a(w) = -w**3 - 10*w**2 - 4*w + 3. Let t be (2/4)/((-3)/60). Let z be a(t). Suppose z - 5 = 2*m. Is m a multiple of 19?
True
Is 40 a factor of 1 - -89 - ((-6 - -7) + -4)?
False
Let m be ((-7)/(-14))/((-1)/(-6)). Suppose m*x + 27 = 4*f, 0*x = -f - x - 2. Suppose -20 = f*n - 4*n. Does 13 divide n?
False
Let u be (1 - 1)/((-1)/1). Suppose u = -2*m + 35 + 11. Is 6 a factor of m?
False
Suppose 0 = 61*v - 57*v - 120. Is 15 a factor of v?
True
Let x(k) = 3*k**3 - 2*k**2 + 1. Let m be x(1). Suppose -2 = m*h - o - 9, -5 = -5*o. Is h even?
True
Suppose 3*i - 18 = z, -4*i - z = -i - 12. Is 2 a factor of i?
False
Suppose 41 - 63 = -d. Is 13 a factor of d?
False
Let q(h) = h**3 - h**2 + 4. Let m be q(0). Suppose 0 = s - m - 4. Let z = s - -12. Is 10 a factor of z?
True
Suppose -a - 17 = -2*n + 15, 0 = a - 4*n + 42. Let o = a + 38. Let h = -5 + o. Does 11 divide h?
True
Suppose 4*n - 5 = -3*h, -4*h + 0 = 2*n - 10. Suppose 0 = -2*f + h*f - 12. Does 6 divide f?
True
Let x be (-2)/(-3)*30/4. Suppose 0 = x*q - 9*q + 24. Is 3 a factor of q?
True
Suppose -35 = 5*d - 205. Is 14 a factor of d?
False
Let a = 10 + -7. Let p be a - (-6)/(-3)*1. Suppose 0 = 5*b + p - 11. Is b even?
True
Let b = 41 - -4. Is b a multiple of 8?
False
Suppose 0 = -3*h + 10 + 32. Let x = -6 + h. Is 3 a factor of x?
False
Suppose 81 = n + 5*s, -5*n + 67 + 233 = 4*s. Is 8 a factor of n?
True
Is 9 a factor of (-95)/(-57)*(-21)/(-1)?
False
Let y = -2 + 3. Let x = 13 - y. Is x a multiple of 6?
True
Suppose 2*w = 6*w - 576. Let q = w - 98. Is q a multiple of 17?
False
Suppose u - 42 = 74. Is u a multiple of 27?
False
Suppose 16 = -5*b + 36. Does 4 divide (5 - b) + (-1 - -9)?
False
Let n = -7 + 137. Is 13 a factor of n?
True
Suppose 0 = -s - s + 5*d + 46, 0 = -2*s + 3*d + 46. Suppose 0 = u - s - 38. Is 12/18 + u/3 a multiple of 7?
True
Let r = 2 + -14. Let j = 38 + r. Is j a multiple of 12?
False
Suppose a + 29 = 2*t + 4*a, -45 = -5*t - 2*a. Suppose -t - 5 = -i. Is 6 a factor of i?
True
Suppose 12 = 4*u - 12. Let x(i) = i**3 - 5*i**2 + 4*i**2 - 3*i**2 - 8*i. Is x(u) a multiple of 9?
False
Let a be (-3 + 5/2)*0. Suppose a = -5*f + 8 + 52. Does 4 divide f?
True
Let r(s) = -s**2 + s. Let w be r(3). Does 17 divide 106/6 - (-4)/w?
True
Let q(s) = -s**3 - 5*s**2 - 5*s - 2. Let w be q(-4). Is 4 a factor of 2 + (4 + w - 1)?
False
Let c = -11 + 13. Suppose 3*o - c*a + a = 63, -o + 10 = -4*a. Does 11 divide o?
True
Suppose -4*i = -31 - 25. Does 27 divide 556/i - 12/(-42)?
False
Suppose a = -2 - 2. Does 12 divide -2 + (-12)/a - -50?
False
Let s = -7 - -5. Let d = 18 + s. Does 8 divide d?
True
Let x(i) = i**3 + i + 4. Let q be x(0). Suppose -u = -6*d + q*d - 2, 0 = 4*u - 8. Suppose -2*k + d*k = -4. Is k even?
True
Suppose -4*d - 59 = -5*f + 124, 3*f - 120 = -d. Is 10 a factor of f?
False
Suppose 0 = -3*o - p + 2*p + 30, -2*p = -5*o + 50. Does 2 divide o?
True
Let b(l) = 6*l + 3. Is 7 a factor of b(3)?
True
Let i be (0/2 + 0)/2. Suppose -2*l - n = -i*l + 34, -5*n = -2*l - 22. Let y = -10 - l. Is 4 a factor of y?
False
Suppose 0 = -5*y + 6 + 994. Is 40 a factor of y?
True
Is 1/(1 - 60/64) a multiple of 2?
True
Let j(c) = -c + 5. Let r be j(11). Let w be (3 - 1)*r/(-12). Does 18 divide 36/14*(w - -6)?
True
Suppose 0 = -2*b + 3*m + 57, 133 = 6*b - b + 2*m. Is 9 a factor of b?
True
Suppose 3*n - 3*l - 702 = 0, 0 = -2*n + 4*l + 255 + 219. Is 10 a factor of n?
False
Suppose -10 = 4*d + 2. Is 0/d + 29/1 a multiple of 8?
False
Let m(s) = s**3 - 8*s**2 - 10*s. Let a be m(9). Is 14 a factor of 2/a - 724/(-18)?
False
Let z = 23 + -15. Is 4 a factor of z?
True
Let l be (0 + -1)/((-3)/18). Suppose -120 = -l*k + 2*k. Does 15 divide k?
True
Let l be 5 - (5 + (-6)/2). Suppose l*j - 44 = -j. Is 6 a factor of j?
False
Suppose 0*l - 30 = 5*l. Let a = -32 + 67. Let z = a - l. Is z a multiple of 15?
False
Is 19 a factor of ((-4)/6)/(7/(-798))?
True
Does 12 divide 80/2*(5 + -4)?
False
Let o(k) = k**2 - 4*k + 0*k**2 + 29 + 2*k + k - k**