-2)/4*(-36)/6. Is ((-350)/15)/((-1)/b) a multiple of 14?
True
Let n(y) be the first derivative of y**4/4 - y**3 + 3*y**2/2 - 2. Let h be n(2). Suppose -80 = -3*c + 2*l, h*l + 4 = 4*l. Is 11 a factor of c?
False
Let l be ((-66)/8)/((-3)/8). Suppose 7 = -o + l. Does 5 divide o?
True
Let o = -18 - -108. Is o a multiple of 15?
True
Let m(v) = 2*v - 3. Let b be m(3). Suppose -3*r + 8 + 38 = 4*q, -b*r = q - 34. Suppose 0 = -3*g + 5*g - r. Is 5 a factor of g?
True
Let d be -1*7*6/6. Let i = d - -34. Is i a multiple of 20?
False
Suppose 0 = 4*d - 21 - 43. Suppose -2*a + 20 + d = 0. Does 14 divide a?
False
Suppose 124 = 4*m - 3*p, 6*m - 4*p = 3*m + 86. Is 3 a factor of m?
False
Suppose 0 = -d - 2 - 0. Let w be (-54)/4 - (-1)/2. Is w/d*(9 - 3) a multiple of 15?
False
Let z(r) = -r**2 + 10*r - 5. Let x be (-1 - 3)*(-7)/4. Let o be z(x). Suppose 0*y + y - o = 0. Is 8 a factor of y?
True
Suppose -4*w = -0*w + 36. Let z = 19 + w. Does 10 divide z?
True
Does 21 divide 3/(-12) + 33/(-12)*-23?
True
Let k be (-1 - 14)/(9/(-6)). Suppose -z = -k - 5. Is 14 a factor of z?
False
Suppose 3*j + j = -52. Let x be 3/((-2)/4 - 0). Does 9 divide (j/3)/(2/x)?
False
Let m(y) be the third derivative of -y**6/120 + y**5/15 + y**4/24 + y**2. Let g be m(4). Suppose -3*o = -g*f + 2*o + 41, -2*o = 2*f - 34. Is f a multiple of 11?
False
Suppose 4*u = -2*o + 56, -5*u - 2*o = -56 - 14. Let n(m) = -6*m - 1 + u*m + 4*m. Is 4 a factor of n(1)?
False
Suppose -5 = -k - 0. Let h(c) = -4*c - 9. Let f(l) = -l. Let r(n) = k*f(n) - h(n). Does 4 divide r(0)?
False
Let f be (-3)/4*(-7 - -3). Suppose -f*z - 46 = -0*l - 5*l, -36 = -4*l + 2*z. Is 3 a factor of (14 - l)*1/2?
True
Let c(i) = -i**3 + 7*i**2 + 6*i - 10. Let p be c(7). Suppose -f - p = -3*y, -6*y = -3*y - 5*f - 28. Is 11 a factor of y?
True
Let s(p) = -p**2 - 3*p + 5. Let t(q) = -q**2 - 5*q - 4. Let d be t(-5). Let c be s(d). Does 2 divide c/(-4) + (-84)/(-16)?
False
Suppose 0 = -3*i + 5*p - 60, -5*i - 50 - 31 = -2*p. Let r = 3 - i. Does 6 divide r?
True
Suppose -4*u - 4*i = -32, 0*u + 56 = 5*u + i. Suppose z - u = 15. Does 16 divide z?
False
Is 4 a factor of 2 + 42 - (-4)/(8/(-4))?
False
Does 14 divide (-5*10)/(-1) - -3?
False
Suppose 0 = 2*g + 3*g - 15. Suppose -o + c - g = -50, -o - 3*c = -47. Is 17 a factor of o?
False
Suppose -270 = -3*w - 108. Does 27 divide w?
True
Let y = 6 - 0. Let n(w) be the third derivative of -w**6/120 + w**5/12 + w**4/3 + w**3/6 + w**2. Does 12 divide n(y)?
False
Let k(f) = f. Let n(q) = 6*q + 2. Let i(t) = -3*k(t) - n(t). Does 16 divide i(-2)?
True
Let v = 96 + -20. Is 21 a factor of v?
False
Suppose 4*j - 17 = 19. Let f(s) = -s**3 + 8*s**2 + 8*s + 13. Is f(j) a multiple of 2?
True
Let t(s) = -s + 59. Let i be t(0). Suppose -5*m = a - 8 - 21, -i = -3*a - m. Does 9 divide a?
False
Let o(d) = d**3 - 2*d**2 - 3*d + 12. Does 62 divide o(8)?
True
Let a(v) = 4*v**3 - 3*v**2 - 4*v - 3. Let r be a(-2). Let y be 2/(-4) + r/(-6). Suppose y*g - 4*g = 46. Does 15 divide g?
False
Let o be ((-4)/3)/((-4)/(-12)). Let c(j) be the first derivative of j**3/3 + 2*j + 3. Is 14 a factor of c(o)?
False
Let m = -13 - 3. Is m/(-1) - -1 - -3 a multiple of 10?
True
Let a be (0*1/2)/2. Suppose a = 5*x - 0*x - 240. Does 16 divide x?
True
Let t(k) = k**3 - 6*k**2 - k + 2. Let g be (-3)/(-9) + 17/3. Let u be t(g). Is -1 + (-34)/u*2 a multiple of 8?
True
Let p(k) = -9*k + 64. Is 4 a factor of p(-9)?
False
Suppose 0 = 3*b + 6 - 51. Suppose 4*s - 16 = 0, -4*s + 20 = 5*y - 11. Suppose -4*q + 32 = y*l, -l + 2 = -5*q - b. Is 6 a factor of l?
True
Let z = -2 - -1. Is (-96)/(-2) - (-4 - z) a multiple of 26?
False
Let s = 18 + -27. Let k = s + 7. Is 18 a factor of 2/k*(-50 - -5)?
False
Let s be (-10 - -6)*(-6)/(-8). Is 11 a factor of (s/(-9))/((-4)/(-192))?
False
Let z = 381 - 249. Suppose 7*l - 2*l + u = 5, -u = 0. Is l/((-2)/(z/(-3))) a multiple of 11?
True
Let j = -33 - -57. Does 8 divide j?
True
Suppose 3*x - 9 = -0*x. Let n be (-6 + 6)/(-1 + 3). Suppose x*j - 5*o + 8 = 0, 2*j - 3*o = -n*j - 4. Is 4 a factor of j?
True
Suppose -2*q + 102 = 5*x, -2*q + x + 282 = 3*q. Is 21 a factor of q?
False
Let n(s) = -s**3 - 4*s**2 - 4*s + 1. Suppose 0 = 2*b - 8, 18 = -0*o - 3*o + 3*b. Let y be (2 - 5 - o)*5. Is n(y) a multiple of 19?
False
Suppose -9 + 249 = 10*m. Does 14 divide m?
False
Is 7 a factor of (-1)/(6/(-154)) + (-4)/(-12)?
False
Let d(x) = -12*x - 9*x + 22*x - 12*x - 7 - x**2. Is d(-7) a multiple of 5?
False
Let f be (6/2)/(7/7). Suppose -f*w = -16 - 83. Is w a multiple of 23?
False
Let t be (-4)/(-6) + 2/6. Is (1 + t - 1) + 5 a multiple of 3?
True
Let s(b) be the third derivative of 5/12*b**4 + 0*b + 7/60*b**5 - 2/3*b**3 - 1/120*b**6 + 3*b**2 + 0. Is 6 a factor of s(8)?
True
Let d = 28 + -26. Let z(l) = 6*l**2 - 3*l + 5. Does 9 divide z(d)?
False
Let p = -8 + 14. Is -1 - (-92)/(-2 + p) a multiple of 6?
False
Let b be (1/1)/(1/3). Let j be -2*b*2/(-4). Suppose 0 = 3*h + 4*w - 125, j*h = 3*w - 6*w + 123. Is h a multiple of 14?
False
Let d(b) = b**3 - 8*b**2 + b - 5. Is d(9) a multiple of 17?
True
Let o(h) = -h**2 - h + 325. Let r be o(0). Suppose -4*s + r = s. Does 5 divide s/10 - (-1)/(-2)?
False
Suppose 0 = -13*d + 15*d - 102. Is 8 a factor of d?
False
Let z(o) = 2*o**3 + 2*o**2 - 3*o + 4. Let v be z(-3). Let x = v - -52. Is x a multiple of 19?
False
Let c = 14 + -12. Suppose -5*v = -5*z + 125, c*v - 23 = 3*z - 93. Is z a multiple of 9?
False
Suppose 0 = 5*k + 3*f - 353 - 226, 5*k - 576 = -2*f. Is k a multiple of 22?
False
Suppose 0 = 3*w - 19 - 44. Is w a multiple of 6?
False
Suppose z = -0*m - 4*m - 14, 0 = z - m - 11. Let g be (-4 + 2)*z/4. Let l = g + 19. Does 8 divide l?
True
Let m be (-177)/(-7) - 4/14. Let f = 2 + m. Is f a multiple of 14?
False
Let q(w) = -3 + 10*w + w - 3*w. Let v = 1 - -2. Is q(v) a multiple of 10?
False
Suppose -3*r + 3 = -12. Let y(m) = m**2 - m + 5. Does 14 divide y(r)?
False
Suppose 5*i - 6 = 2*d - 0*i, 5*i = -2*d + 14. Let h be 0 - 50/(2/d). Does 13 divide (-7 - -11)*h/(-4)?
False
Suppose 2*r = 7*r - 490. Let f = r - 47. Is 17 a factor of f?
True
Let o = -69 + 104. Does 8 divide 3/15 - (-1463)/o?
False
Suppose -5*k + 148 = 3*b, -4 = -2*k + 5*b + 80. Is 6 a factor of k?
False
Let z(q) = 2*q**2 - 2. Let c be (-4)/(-16) - (-7)/4. Does 3 divide z(c)?
True
Suppose -w = 4*w + 3*i + 5, 3*w + 3*i = -3. Let m be w/(-1 - -2) + -36. Let q = -23 - m. Does 7 divide q?
True
Let u be (34/6 + -1)*-3. Is 4/14 - 458/u a multiple of 17?
False
Let w(a) = -a**2 - 33*a + 36. Is 18 a factor of w(-12)?
True
Let a = -44 + 84. Is a a multiple of 7?
False
Suppose -286 = -16*t + 5*t. Is 12 a factor of t?
False
Let a be -1 + -15*(-1 - -2). Is 9 a factor of 66/a*2*-4?
False
Let i(k) = -k**3 - 13*k**2 + 8*k - 48. Is 4 a factor of i(-14)?
True
Let g(m) = 11*m**2 + m + 1. Suppose 0 = -3*b, -2*l = b + 2 - 0. Let h be g(l). Does 7 divide (-2)/h + (-804)/(-66)?
False
Suppose 44 = -3*y - y. Let x = -2 - y. Is 7 a factor of x?
False
Let c = -291 - -471. Suppose -3*m = -c - 63. Is 10 a factor of m/4 + (-1)/4?
True
Suppose 5*r - 25 = -3*c, 0*c - 15 = -3*c. Suppose -5*m = -u - 15, r*u + 3*u = -m + 3. Suppose 0 = -m*n - 0*n + 162. Is n a multiple of 15?
False
Does 17 divide (9 + -5)*(-34)/(-8)?
True
Suppose -3*r - 15 = n - 4*n, -3*n - 34 = 4*r. Let g = r - -25. Is g a multiple of 8?
False
Let f(t) be the first derivative of -94*t**3/3 - t**2 - t - 1. Let d be f(-1). Let o = -45 - d. Is 13 a factor of o?
False
Let i(p) = 13*p + 1. Let l be i(-1). Does 12 divide 36/l + 49 + -1?
False
Suppose 3*i - 9 = 9. Let v = 5 + i. Is 11 a factor of v?
True
Let w(x) = 5*x**2 + 3*x - 2. Is w(3) a multiple of 26?
True
Let s(n) = -59*n + 8. Does 7 divide s(-2)?
True
Let y(x) = x**2 + 1 + 3 - 5*x + 0*x. Let c(i) = -i**3 - i**2 - i + 1. Let t be c(-2). Is y(t) a multiple of 9?
True
Suppose -4*f = -0*f - 348. Is 11 a factor of f?
False
Let s be (-1)/(-5) - (-2818)/10. Let b be s/9*6/4. Suppose -b - 55 = -3*i. Does 16 divide i?
False
Is 32 a factor of 93 - 2/(2/(-3))?
True
Suppose 3*i - 3 = 3. Suppose -4*l + i = -6. Is l a multiple of 2?
True
Suppose 0 = -3*o + z + 33, -4*z = -2*o + 5*o - 48. Is 4 a factor of (1 - -2) + o/4?
False
Suppose -2*q + b = -b + 8, -2*b - 28 = 2*q. Let m(o) = -o + 3. Let j be m(q). Suppose 4*v + 0*v - j = 0. Is 3 a factor of v?
True
Let j(