 + 11. Is l even?
True
Suppose -k = -3 - 18. Let y(w) = -w**3 - 10*w**2 - 11*w - 6. Let b be y(-9). Let m = k - b. Is m a multiple of 9?
True
Suppose m + 11 = 77. Is m a multiple of 22?
True
Suppose 4*x - 3*y - 701 = 0, 7*x - 2*x - y - 879 = 0. Does 29 divide x?
False
Let s(i) = -8*i**3 + i**2. Let n be s(-1). Let h = 25 + -1. Let l = h - n. Is 10 a factor of l?
False
Let m = 29 + 129. Does 15 divide m?
False
Let u(f) be the second derivative of -f**4/12 - f**3/2 - f**2/2 + 2*f. Let o(q) be the first derivative of u(q). Does 4 divide o(-6)?
False
Let j(v) = v**2 + 2*v + 1. Let a be j(-3). Suppose 0 = a*m - 6*m + 20. Is m a multiple of 5?
True
Is 9 a factor of -5 + (40 - -4) - -5?
False
Let w(r) = 2*r**2 - 8*r. Is w(-8) a multiple of 34?
False
Suppose -v + 19 = 17. Is 2 a factor of v?
True
Suppose -3*s + 4 + 5 = 0. Let y(l) = 4*l - 1. Does 11 divide y(s)?
True
Let h(i) = -i**3 - 5*i**2 - 2*i + 5. Let m be h(-4). Let a be 12 + m/1 + 3. Let z = a - 5. Is z even?
False
Let g be -24*3/((-6)/1). Let v be (2 - 15/6)*-4. Does 2 divide (-1)/((-2)/g) - v?
True
Suppose -3*l + 428 = 53. Is 21 a factor of l?
False
Suppose 73 + 10 = u. Does 17 divide u?
False
Let v(u) = u**2 + 7*u. Suppose 0 = w - 4*w. Let z be (3 - 13) + (w - -2). Is 6 a factor of v(z)?
False
Suppose -2*k = -2 - 2. Let t be 15/k*6/5. Let c = t + -2. Is c a multiple of 5?
False
Let l(f) = -2*f + 37. Is 7 a factor of l(-11)?
False
Let p(v) = v**2 - 2*v + 3. Let z be p(4). Suppose z*g - 88 = 7*g. Is g a multiple of 11?
True
Let t be 3 - ((-2)/1 + -179). Suppose r - t = -r. Is 23 a factor of (r/16)/(1/4)?
True
Let m = 7 - 4. Suppose m*g - 10 = -2*g. Suppose -4*l - 92 = -2*q, g*q + 41 - 112 = -3*l. Does 14 divide q?
False
Let t = -167 + 264. Is 36 a factor of t?
False
Let r(y) = 33*y - 4. Let t(m) = 22*m - 3. Let s(b) = 5*r(b) - 7*t(b). Let j be s(4). Suppose 0 = 3*l + n - j, -n + 80 = 4*l + 20. Does 4 divide l?
False
Let o be 0 - -1*1*-8. Is 10 a factor of 2/o*0 + 22?
False
Let o be (-1 - 1) + 2 - 2. Is ((-10)/25)/(o/20) a multiple of 2?
True
Let j(w) = 23*w - 35. Is 44 a factor of j(7)?
False
Suppose 0*o = -2*o + 10. Does 9 divide (-2 + 1)/(o/(-155))?
False
Suppose 3*k = k. Suppose b + 5*m - 10 = 0, b + k*m = -4*m + 10. Is 10 a factor of b?
True
Suppose 0 = 9*q - 6*q - 6. Is q even?
True
Let h(s) = 2*s**3 + 2*s - 1. Let q be h(1). Suppose q*f - 5 = 2*f. Is 3 a factor of f?
False
Let x(j) = -14*j - 11. Is 14 a factor of x(-5)?
False
Let b(s) = s**3 - 8*s**2 + 4*s - 9. Is b(8) a multiple of 11?
False
Suppose 5*x - 17 = 2*l, 0*l - 4*l + 16 = 0. Suppose 0 = x*r + 12 - 162. Is 15 a factor of r?
True
Let n = -3 + 3. Let l be 16 - 1/(-3)*n. Suppose -5*u + u + 4*b + l = 0, 3*u - 11 = 2*b. Is u a multiple of 3?
True
Suppose 0 = 4*p + 3*k - 8*k, 4*p = -5*k. Let z be p + 0 + -5 + 27. Suppose 2*l = 12 + z. Is l a multiple of 17?
True
Suppose 0 - 18 = -3*h. Let s(n) = -n**3 + n**2 - n + 1. Let y(f) = -8*f**3 + 7*f**2 - 5*f + 4. Let l(k) = h*s(k) - y(k). Does 5 divide l(2)?
False
Let z(p) = p**2 + 7*p - 1. Let l be z(-7). Let o(f) be the second derivative of 5*f**4/6 - f**3/3 - f**2/2 + f. Is o(l) a multiple of 5?
False
Let t = -5 + 9. Does 7 divide -2*-22*1/t?
False
Let w = 7 - 1. Suppose 4*v - v = w. Is v/(-7) + (-344)/(-28) a multiple of 6?
True
Suppose -32*k + 1000 = -12*k. Is k a multiple of 10?
True
Suppose w + 0*f + 20 = -2*f, 0 = -3*w + 5*f - 38. Let n = w + 30. Is n a multiple of 6?
False
Let r(x) = -x**2 - 24*x + 17. Is r(-21) a multiple of 20?
True
Suppose -4*k = -2*c + 128, -4*c + 4*k + 264 = 8. Let f = c - 24. Is 8 a factor of f?
True
Let t be (0 - 57)*(-5)/5. Suppose -t = -5*f - 2. Is 5 a factor of f?
False
Let a be 1 - 2*1/2. Suppose 2*d - 2*c = 8, a = 2*d + 3*c - 6 + 3. Suppose 4*k - 28 = b, k = b - d + 10. Does 7 divide k?
True
Suppose 0 = -a - 3*x + 2*x + 54, 5*a + x = 270. Is a a multiple of 20?
False
Suppose 5*j - 1102 = 7*n - 8*n, 5*n + 650 = 3*j. Does 20 divide j?
True
Let m(g) = 2*g**2 + 5*g. Is 14 a factor of m(-6)?
True
Let f = -8 + 2. Let b(n) = -n**3 - 4*n**2 + 9*n + 1. Is b(f) a multiple of 7?
False
Let l be (-14)/(-6) - (-4)/6. Suppose -5*q + 77 = -3*v + 22, -5*v = 0. Suppose -l = w - q. Is w a multiple of 5?
False
Let a be (7 + -11)*(-2)/4. Suppose -4*b = -3*p - 105, -b = -a*b + 4*p + 10. Does 8 divide b?
False
Let m = 24 + -2. Is m a multiple of 12?
False
Let i(j) = -j**3 - 4*j**2 - 4*j - 1. Is i(-6) a multiple of 5?
True
Let y = -1 - -3. Let g(j) = -1 - j + 0*j + 3*j + 20*j**y. Is g(1) a multiple of 17?
False
Let m(y) = y + 1. Let d be m(2). Suppose 3*b - 92 = -2*w, d*b - w = 3*w + 86. Is b a multiple of 15?
True
Let z = 3 + -1. Suppose 3*n - 107 = v, 0*v + z*v = 2. Is n a multiple of 12?
True
Let w(r) = -r**3 + 6*r**2 + 2. Let m(b) = -b**2 + 7*b + 6. Let n be m(7). Let k be w(n). Suppose 3*z - 19 = k*z. Does 19 divide z?
True
Let b(k) be the third derivative of -1/12*k**4 + 1/6*k**3 - 3*k**2 + 0*k + 0. Is b(-1) a multiple of 3?
True
Let c(y) = 4*y**2 + 4*y - 4. Is c(-4) a multiple of 10?
False
Let x(u) = 5*u + 33. Is 19 a factor of x(14)?
False
Let y(v) be the first derivative of -21*v**4/2 - v**3/3 - v**2/2 - v - 3. Is y(-1) a multiple of 19?
False
Let m(t) = -t + 3. Let b be m(-7). Let l = -4 + 7. Let n = b - l. Does 7 divide n?
True
Let g(p) = -p**2 + 3*p + 4. Let w be g(4). Let u = w + 15. Is u a multiple of 5?
True
Let h(c) be the first derivative of -91*c**2/2 + c + 2. Let g be h(1). Is (-5)/(-10) + g/(-4) a multiple of 11?
False
Let c = -23 - -24. Is 9 a factor of (-1)/(64/(-62) + c)?
False
Let l(h) = h**3 + h + 1. Let a be l(2). Let k = 2 - -7. Suppose k*c = a*c - 96. Is c a multiple of 24?
True
Suppose -3*n - 3 - 33 = 0. Let f(o) = -2*o - 4. Is f(n) a multiple of 10?
True
Suppose 0*h = -5*h + 35. Suppose 2*p - 1 = q, -3 = 3*q + 7*p - 2*p. Let r = q + h. Is 2 a factor of r?
True
Suppose 0 = -4*j - 17 + 69. Let s be -29 - (1 + (-3 - -2)). Let u = j - s. Is 15 a factor of u?
False
Suppose 3*w - 108 = 2*w + t, -3*w = -2*t - 324. Suppose 0 = -u - 3*u + w. Let z = -18 + u. Is z a multiple of 9?
True
Suppose 0*p + 5*p = 245. Suppose -2*h = 3*o - p, 3*o + 22 = 5*o - 4*h. Is 6 a factor of o?
False
Let t(b) = -b**2 - 4. Let d be t(-3). Let o(q) = -34*q + 1. Let u be o(-1). Let p = u + d. Does 10 divide p?
False
Let h be (-2)/5 + 6144/60. Suppose h = 8*q - 5*q. Does 14 divide q?
False
Let o(a) = -4*a + 2. Is 6 a factor of o(-4)?
True
Let c = -52 - -97. Does 9 divide c?
True
Suppose 4*n = 2 - 98. Is n*(3 + (-45)/12) a multiple of 9?
True
Let n(p) = -p**3 + 6*p**2 + 5*p - 8. Let i = -14 - -22. Let k = i + -2. Is 22 a factor of n(k)?
True
Does 3 divide 1/(-2) - (116/(-8) + 2)?
True
Let p = -7 - -12. Suppose -p*f - 42 = -142. Is 10 a factor of f?
True
Is 10 a factor of 16 + (4 - (0 + 2))?
False
Suppose 0 = 4*q - 75 - 193. Is 10 a factor of q?
False
Let i(d) = d**2 - 4*d + 4. Does 4 divide i(6)?
True
Suppose -z - g = -6*z, 2*z = -3*g. Suppose -3*i + i - 34 = z. Let l = i - -25. Does 7 divide l?
False
Let w = -5 - -15. Let n = 88 + -48. Suppose w = -2*m + n. Does 15 divide m?
True
Suppose 5*c - 252 = 53. Is 5 a factor of c?
False
Let x be (-162)/(-1) - (-2 - -1). Let m = x - 113. Let h = m - 30. Is 10 a factor of h?
True
Suppose 0 = -u + 7 + 2. Does 3 divide u?
True
Suppose -a + 35 = -4*c - 15, 3*a + c = 176. Suppose -8 = -2*j, 0 = -3*p + j - 17 + a. Let y = p + 10. Does 14 divide y?
False
Let l = -7 - -10. Let r = 8 - 1. Suppose 0 = 4*v - r*v + l*u + 18, -v = 5*u - 12. Does 5 divide v?
False
Suppose 3*p + p = 148. Suppose -d + p = -3*y, -2*y - 2*d - 56 = -18. Does 3 divide ((-16)/(-10))/(y/(-35))?
False
Let f(x) = -4*x + 1. Does 9 divide f(-2)?
True
Let n(i) = -5*i**2 + 1. Let w be n(-1). Let p be 8/10 - (-84)/70. Does 8 divide (3 - w)/(p/4)?
False
Suppose 57 = m + 2*m. Let u = -7 + m. Is 6 a factor of u?
True
Let g(f) = f + 2. Let n(v) = 2*v**2 + 2*v - 2. Let z be n(-2). Let y be g(z). Suppose m = -y*m + 90. Is m a multiple of 6?
True
Suppose 0 = 3*b + 2 + 4. Let p be 2/(-2)*(b + 4). Is (13/p)/(2/(-4)) a multiple of 9?
False
Suppose 5*o + 0*o - 15 = 0. Suppose -3*d + 54 = -99. Suppose -a + 17 = 4*c, 0*a - o*a + 2*c = -d. Is 6 a factor of a?
False
Let s(q) = -q - 1. Let n be s(-6). Suppose -4*f + n*f = l - 49, -2*l + 77 = 5*f. Is l a multiple of 17?
False
Suppose 0 = -5*k, -5