 = 11*b**3 + 2*b - 3. Let y be k(2). Let n = 128 - y. Let z = n - -5. Is 22 a factor of z?
True
Let c be ((-24)/10)/((-12)/80). Is c/7 + (-4)/14 even?
True
Let s = -14 - -13. Is 30/(-2 - -1)*s a multiple of 11?
False
Let j = -352 - -542. Suppose 2*z - 7*z = -j. Suppose 5*h - z - 2 = 0. Is h a multiple of 6?
False
Let s(q) = -q**3 - 3*q**2 + 1. Let y be s(-4). Let b = 0 + y. Is 9 a factor of b?
False
Suppose 8*g + 20 = 3*g. Let j(n) = -2*n**3 - 7*n**2 - 5*n - 2. Does 7 divide j(g)?
False
Let y = -109 + 205. Does 6 divide y?
True
Let z be -3*3/(-9) - 1. Suppose 5*j - 120 - 40 = z. Is 21 a factor of j?
False
Suppose 2*u = -0*a + a - 2, 0 = -2*u + 2*a - 2. Does 13 divide 0 + (16 - (u + 4))?
True
Suppose -w + 32 + 23 = 0. Is 6 a factor of w?
False
Let w(g) be the second derivative of -g**3/6 + 11*g**2 + 3*g. Let h be w(0). Is 14 a factor of 3*(h/2 + 2)?
False
Suppose 0 = -2*b - 2*t + 6*t - 6, -5*t = -5*b + 5. Suppose -b*i + o = -82, -2*i - 4*o = 3*i - 72. Is i a multiple of 8?
True
Let u = 30 + -14. Suppose -5*g + u = -4*g. Suppose -k + 2 + g = 0. Is k a multiple of 6?
True
Let c = -72 - -110. Does 12 divide 7/14*(c - 0)?
False
Let g(b) = b**3 - 5*b**2 + 4. Let w be g(5). Suppose -16 + w = -4*u. Let t = 8 + u. Is 11 a factor of t?
True
Let n(m) = 7*m**2 + 2*m + 1. Let g be n(2). Let u(d) = 13*d + 6. Let c be u(-2). Let t = g + c. Does 13 divide t?
True
Let g = 6 - -28. Does 17 divide g?
True
Let h(g) be the first derivative of -2*g**2 + 2*g - 1. Is h(-2) a multiple of 6?
False
Suppose 26 = 2*l + 2*x + 3*x, 3*x = -2*l + 18. Suppose -l*b = -6*q + q - 32, 4 = b - 3*q. Does 19 divide b?
True
Let b be (10/(-4))/((-2)/340). Let v = b - 303. Suppose 0 = -2*t - 32 + v. Does 12 divide t?
False
Let k(z) = -z**2 - 19*z - 5. Is k(-14) a multiple of 42?
False
Is 6 a factor of 297/22*4/3?
True
Let f = -32 - 10. Let n be ((-2)/(-4))/((-3)/f). Suppose n + 5 = u. Is u a multiple of 10?
False
Let c(k) = -k**3 + 8*k**2 - 7*k + 10. Does 6 divide c(7)?
False
Is 22 a factor of (-27)/9 - -1 - -7*16?
True
Suppose 0 = -4*l + 3*l - 5*v + 45, -2*l + v + 134 = 0. Let k = l - 46. Is k/5 - 4/(-20) a multiple of 4?
True
Let i = -45 + 117. Is 18 a factor of i?
True
Let n = -15 - -25. Suppose -m + 6*c = c - 15, -n = -5*c. Does 12 divide m?
False
Suppose -y + 0*t - 5*t + 9 = 0, -4*t + 16 = 3*y. Suppose 5*w = -y*m - 0*m + 52, m - 11 = -w. Is w a multiple of 4?
True
Let l(m) = m**2 - 2*m - 4. Let q be l(4). Let i be (-1)/2 + 1/2. Suppose i = -t + q. Does 4 divide t?
True
Suppose 2 + 17 = b. Does 7 divide b?
False
Suppose 52 = -2*r - 8. Is (-6)/r - (-198)/10 a multiple of 7?
False
Suppose 4*s = -3*z - 10 + 1, 0 = -s + 4*z - 26. Let d = s - -14. Let n = 16 - d. Is 3 a factor of n?
False
Let x(l) = l + 11. Is 6 a factor of x(-5)?
True
Suppose 2*q - 186 - 100 = -d, 4*d - 2*q = 1094. Is 6 a factor of d?
True
Let w(n) = -11*n**3 + 3*n**2 - 4. Is w(-3) a multiple of 40?
True
Suppose 0 = 5*g + p + 1382, -3*g = p + 578 + 252. Let h be (-2)/(-4)*g/(-3). Suppose -4*i - c = -h, -42 - 8 = -4*i + c. Is 6 a factor of i?
True
Let h(j) = -j**3 - 3*j**2 + 5*j + 6. Let d be h(-4). Suppose d*o - 4*o = -48. Is o a multiple of 6?
True
Let h(r) = -r**3 - 9*r**2 - 6*r - 7. Let q be h(-6). Let p = 21 - q. Let d = p + -70. Does 11 divide d?
False
Does 4 divide ((-14)/3)/2*-3?
False
Let y = 213 + -123. Is y a multiple of 30?
True
Let h(c) = -27*c + 6. Let p be h(-7). Suppose -p = -4*l + u - 48, l + 2*u = 48. Is l a multiple of 19?
True
Suppose 0 = -5*h - 15, h - 30 = -2*m - 5. Is 5 a factor of m?
False
Let n(t) be the first derivative of 2*t**3/3 + t**2 - 3*t + 1. Let x be n(2). Suppose z = 3*d + 3 + x, -5*z - d + 76 = 0. Is 7 a factor of z?
False
Suppose -3*s + 6*s = r + 110, -136 = -4*s - 4*r. Does 6 divide s?
True
Suppose 4*c - 4 = t + 10, -c = -5*t - 13. Does 4 divide (-30)/(-4) + c/(-6)?
False
Let t(p) = p**3 + 7*p**2 - 2*p - 5. Let d be ((-54)/12)/((-3)/(-4)). Is t(d) a multiple of 12?
False
Let q(g) be the first derivative of -g**2/2 - 2*g - 2. Let m(n) = n**2 + 7*n + 6. Let l be m(-4). Does 4 divide q(l)?
True
Suppose 3*p - 35 = -2*p. Let x(i) = 7*i - 4. Does 13 divide x(p)?
False
Let j(u) = u**3 - 13*u**2 - 12*u - 14. Is j(14) a multiple of 3?
False
Let w(n) = 9. Let f(i) = -i - 19. Let u(k) = -2*f(k) - 5*w(k). Let p be u(5). Suppose 2*l = l + 2*d + 1, -p*l + 7 = -4*d. Is l even?
False
Let x(o) = -o**2 - 28*o + 14. Is 11 a factor of x(-26)?
True
Let i = -98 - -210. Does 30 divide i?
False
Let f(a) = -a - 5 + 3 + 2*a**2 + 3. Is 8 a factor of f(3)?
True
Let z(c) = c - 8. Let b be z(12). Suppose -b*h + 28 = -0. Is h even?
False
Suppose 0*x + 2*x = 0. Let z = 15 - x. Does 12 divide z?
False
Let r(y) = -6*y + 4. Let b be r(6). Let q be 3*(b/(-3))/2. Suppose 0 = -f - 5*u + u + 30, 2*f - 3*u - q = 0. Is f a multiple of 14?
True
Is 6 a factor of 20/30 + 104/6?
True
Suppose -5*h - 9 - 6 = 0. Is 16 a factor of 1*8*(h + 5)?
True
Let i be 3/(-6) + (-63)/(-2). Suppose 4*f - 32 = -3*h, -3*f - 3*h - 4 = -i. Suppose f*r = 8*r - 66. Is r a multiple of 22?
True
Suppose -7*v + 145 + 86 = 0. Is 10 a factor of v?
False
Let m = 22 + -4. Is m a multiple of 9?
True
Let w = 94 + -45. Suppose m = -3*b - 4*m + w, 2*b + 4*m - 36 = 0. Does 3 divide b?
False
Suppose 0 = 6*a + a - 469. Is a a multiple of 7?
False
Let b(j) = j - 4. Let r be b(-5). Let l(p) = -7*p - 6. Let w(o) = 13*o + 13. Let z(t) = 11*l(t) + 6*w(t). Does 2 divide z(r)?
False
Let y(g) = 1. Let l(m) = 6*m + 10. Let p(d) = -l(d) + 6*y(d). Suppose 5 = -2*u - 3. Is p(u) a multiple of 9?
False
Let y = 1 + -12. Is (-2)/11 + (-57)/y even?
False
Let y(j) = j**2 - j - 1. Let q(v) = 10*v**2 - 5. Let o(i) = q(i) - 5*y(i). Is o(3) a multiple of 30?
True
Let z(a) = -a**2 - 14*a - 9. Is 15 a factor of z(-11)?
False
Suppose 5*d + 3 + 2 = -4*j, -11 = 3*d + 4*j. Suppose -d*f + 72 = g - 97, g = -2*f + 112. Is f a multiple of 19?
True
Does 12 divide (-2)/(-11) + (-13149)/(-99) + -1?
True
Suppose 12*c - 8*c = 44. Is c a multiple of 11?
True
Let w(s) = s**3 + 6*s**2 + 3*s + 2. Let f = -17 - -25. Let c be (-42)/f - 3/(-12). Is 6 a factor of w(c)?
True
Let c be 3*(92/3 - 0). Let q = 12 - 7. Is 8 a factor of c/q - 6/15?
False
Let q(z) be the second derivative of 3*z**5/20 + z**4/12 - z**3/2 + z**2/2 - 4*z. Let x(u) = u**2 + 8*u + 9. Let r be x(-7). Is q(r) a multiple of 11?
False
Let s(m) = -13*m + 3. Let h be s(-4). Suppose -2*b + 0*b = o - h, 4*b - o - 125 = 0. Is b a multiple of 8?
False
Let l(o) = -o**3 + o**2 + 4*o. Let b be l(5). Let y = b - -56. Is 9 a factor of (2/(-4))/(1/y)?
False
Suppose 8*y + 448 = 12*y. Does 16 divide y?
True
Let q(c) = c**3 - 9*c**2 - 9*c - 4. Let k(w) = 5*w + 1. Let s be k(4). Suppose -3*f + s + 9 = 0. Is q(f) a multiple of 5?
False
Let n(z) = 9*z - 1. Let i(v) = 8*v - 1. Let s(p) = 6*i(p) - 5*n(p). Let f(t) = t**2 - t + 3. Let b be f(0). Is s(b) a multiple of 4?
True
Is 2 a factor of 2/7*(-2 + (40 - 3))?
True
Let t be (-147)/(-12) - (-1)/(-4). Suppose -3*n + 9 = -t. Is n a multiple of 2?
False
Let q be -3 + -2 + 27/3. Suppose 0 = -4*j + q*u + 92, 3*j + 15 = 4*j - 5*u. Does 25 divide j?
True
Let c = -7 + 9. Suppose c + 4 = t. Is t a multiple of 3?
True
Suppose -z + 3 = -0. Suppose -66 = -6*p + z*p. Does 10 divide p?
False
Let w(t) = -t**3 + 5*t**2 + 3*t - 6. Let b be (-2)/(-11) - (-252)/66. Is 14 a factor of w(b)?
False
Let u be 4/(2 - 6)*-17. Let i = u + -6. Is i a multiple of 11?
True
Suppose -3*y = 5*i - 131, 5*i = i - 2*y + 106. Is 28 a factor of i?
True
Let l(z) = -10*z + 1. Let c be l(-4). Let w = -29 + c. Does 6 divide w?
True
Suppose -2*z = -5*n + 1452 - 313, -4*z - 689 = -3*n. Is n a multiple of 21?
False
Suppose 12 = -q - 4*g, -2*g - 1 = 2*q + 5. Let d be (-4)/(-2)*(q + 1). Suppose 4*m = d*x + 2*x - 72, 5*x + 3*m - 50 = 0. Does 13 divide x?
True
Suppose 21 = 3*h + 9, h + 14 = u. Suppose 19 = 3*m + 2*k - u, 2*k = 3*m - 53. Is 4 a factor of m?
False
Let b be (-936)/(-32) + (-6)/(-8). Let p = b + -20. Is p a multiple of 4?
False
Suppose 12*z - 1116 = 1188. Is z a multiple of 32?
True
Let f(g) = -g + 1. Let a(j) = -j - 3. Let v(o) = -a(o) - f(o). Does 6 divide v(4)?
False
Let i = 38 + -26. Suppose -4*v + i = -4. Suppose 2*z + h - 25 = -v*h, -z + 5*h = -20. Is 7 a factor of z?
False
Suppose 0 = -4*g + 584 + 400. Is g a multiple of 20?
False
Let l 