= -k. Is k even?
True
Let j = 13 + -16. Does 11 divide 22/j*(-15)/2?
True
Suppose 0*h + 5*v = 5*h - 520, -v = h - 94. Does 11 divide h?
True
Let n be 4/14 + 2203/7. Suppose -3*d + 960 - n = 0. Suppose 15 + d = 5*q. Is q a multiple of 17?
False
Suppose 2*d + 7 = -3*u, 0*d + d = -2*u - 3. Let v be 0*(-3)/(-9) - -12. Let s = d + v. Is 4 a factor of s?
False
Let n(z) = -2*z + 9. Let l be n(5). Is 4 a factor of (11 + -1)*l/(-2)?
False
Let k(o) = -2*o**2 - 6*o + 9. Let r(y) = 3*y**2 + 5*y - 10. Let u(n) = -4*k(n) - 3*r(n). Let f be u(7). Let b(d) = -d**2 + 11*d - 4. Is b(f) a multiple of 10?
True
Suppose 0 = 17*u - 21*u + 20. Does 4 divide u?
False
Suppose -4*q - d + 23 = 0, -4*d - 4 + 1 = -3*q. Suppose q*c = -0*c + 25, -v - 1 = -c. Is 5 a factor of (-770)/(-49) - v/(-14)?
False
Suppose -12 = -3*h - 2*f, 0 = -0*f - 5*f. Does 4 divide h?
True
Suppose 0 = 4*q + 152 - 488. Let z = q - 29. Let x = 107 - z. Is x a multiple of 18?
False
Let i = 12 - 31. Let z = 36 + i. Is z a multiple of 6?
False
Let n = 6 + 0. Is n a multiple of 4?
False
Let m(k) = k**3 - 9*k**2 + 10*k + 6. Let a be m(8). Let w = 16 - a. Let r(x) = -x**2 - 9*x - 5. Is 7 a factor of r(w)?
False
Let v(l) = -2*l + 10. Is v(-7) a multiple of 8?
True
Suppose -l + b = -37, 0 = -3*b + 6 - 0. Let w = 56 - l. Does 10 divide w?
False
Let u(d) = -d**2 + 5*d + 6. Let l be u(-4). Does 11 divide (-800)/l - 2/(-6)?
False
Let z be 176/(-40) + (-2)/(-5). Is (z/6)/((-6)/171) a multiple of 13?
False
Does 7 divide (-14)/21 + 88/6?
True
Let z be 2/(-6)*(5 + -14). Suppose a = -0*a + 4*s + 24, -2*s + 58 = z*a. Suppose -a = -w - 8. Is 6 a factor of w?
True
Does 8 divide -44*20/24*-3?
False
Let i(b) = -5*b. Let l be i(7). Let q = l - -83. Is 14 a factor of q?
False
Suppose -2*k - 2*r + 13 = -9, 0 = k + 3*r - 9. Let x be 30/4*k/18. Suppose 2*a - 17 = x. Is a a multiple of 11?
True
Suppose 0 = -2*z - 3*n + 1 - 4, 4*n = 2*z - 18. Suppose g - 28 = -r, 0 = g + z*r + r - 22. Does 10 divide g?
True
Let o = -94 + 116. Is o even?
True
Let c = 3 - 3. Let m be 1/4 + 75/4. Suppose 4*n + m - 75 = c. Is n a multiple of 14?
True
Let k(g) = -g**2 - 8*g + 5. Let w be (-3 - (-2)/(-2)) + 0. Does 8 divide k(w)?
False
Does 5 divide 2/(-3) - 210/(-18)?
False
Let g(a) = -a**3 - 5*a**2 + 4*a - 3. Is g(-6) even?
False
Suppose 2*f - 8*j = -4*j - 74, 0 = 2*f + 3*j + 81. Let t = -22 - f. Is 17 a factor of t?
True
Let v(s) = s**2 + s + 3. Let d be v(0). Suppose -2*g + 2 = -d*g. Does 8 divide g/8 - 89/(-4)?
False
Suppose 5*m + 36 - 6 = 0. Let h(k) be the first derivative of k**2/2 + 14*k - 2. Is h(m) a multiple of 8?
True
Suppose -u - 1 = a + a, 3*a = 2*u + 2. Suppose -2*j + 148 = 5*z, a = -2*z - 3*j + 78 - 21. Suppose -4*w = -i - i - z, 5*w = -4*i + 57. Is w a multiple of 7?
False
Let s = -4 + 4. Does 9 divide s + 1 + 33 - -3?
False
Let k(w) be the third derivative of 19*w**5/20 + w**3/6 - w**2. Let i be (2/6)/(2/(-6)). Is k(i) a multiple of 22?
False
Suppose -3*q + 0*q + 6 = 0. Suppose -3*o + 4*c - 35 = 2*o, -c = o - q. Let n = o + 11. Does 7 divide n?
False
Let m(i) = 2*i**2 + i + 36. Is 4 a factor of m(0)?
True
Suppose u + 80 = 2*x, 4*x - 133 = -4*u + 39. Let n = x - 26. Is n a multiple of 10?
False
Let f(a) = 22*a. Suppose 2*o - 2 = 2. Is f(o) a multiple of 13?
False
Let z = -20 - 57. Let n = z + 122. Does 15 divide n?
True
Let v = 9 + -7. Suppose -80 = -3*z - v*z. Is 8 a factor of z?
True
Let u = -6 + 11. Suppose 28 = u*t - 3*t. Is t a multiple of 12?
False
Let z = 102 + -73. Does 13 divide z?
False
Let z(w) = 60*w**2 + w. Does 18 divide z(1)?
False
Let l(r) = -r + 17. Let a(n) = n**3 + 4*n**2. Suppose -3*v - 5*m = 22, 3*m + 7 = -2*v - 7. Let z be a(v). Is l(z) a multiple of 8?
False
Let j(o) = -6*o**2 - 4*o - 9. Let y(x) = 5*x**2 + 3*x + 8. Let r(u) = 6*j(u) + 7*y(u). Let t be r(-3). Is 6 a factor of 0*t/(-6) - -13?
False
Let h be (8/(-6))/(10/(-1455)). Suppose -4*n + h = -2*r, 5*r = 20 + 5. Is n a multiple of 17?
True
Let w be (-3)/((-2)/((-4)/(-3))). Suppose -86 = -3*m + w*c, 2*m - 54 - 10 = 3*c. Is 13 a factor of m?
True
Let w(m) = -m**2 - 14*m - 3. Let a be w(-9). Is a*(-2)/((-16)/4) a multiple of 7?
True
Let u = 5 + -3. Let i(p) = -17*p + 1. Let l(h) = 1. Let d(q) = -i(q) + 3*l(q). Does 14 divide d(u)?
False
Suppose -3 = -5*o - d + 2, o - 1 = -5*d. Let p(r) = 15*r**2 + 1. Is 4 a factor of p(o)?
True
Let r(w) be the first derivative of w**5/24 - w**4/6 + w**3/3 + 2. Let l(c) be the third derivative of r(c). Is l(4) a multiple of 8?
True
Let t(d) = 16*d**3 + d**2 + d - 2. Does 33 divide t(2)?
True
Let i(h) = -3*h + 8. Is i(-3) a multiple of 5?
False
Let w(m) = -m**3 - 2*m**2 + 6*m + 1. Let l be -4 + 5 + (-3 - 3). Does 9 divide w(l)?
False
Let x(c) = c**2 + 5*c - 10. Is 37 a factor of x(-12)?
True
Let o(q) = q**2 - q + 10. Let g be o(0). Let l = 15 - g. Does 12 divide 2 - l/((-15)/84)?
False
Let r be 4/(-18) + 38/9. Suppose 5 = -r*n - 3*k + 66, 4 = n + 3*k. Let f = n - 1. Does 13 divide f?
False
Suppose 4*v - j - 18 = j, 2*j = -2*v + 18. Let s(u) = 10*u - 9. Let m be s(v). Suppose 63 = 3*w - m. Is w a multiple of 19?
True
Let i(o) = -o - 6. Let w be i(-9). Is 2/w + (-194)/(-6) a multiple of 16?
False
Suppose 17 + 10 = 3*l. Does 2 divide l?
False
Let j(m) = -m**2 + 9*m - 4. Let x be j(8). Suppose -4*r + 16 - x = 0. Suppose 95 = 5*f - 4*q - 24, 67 = r*f + 2*q. Does 8 divide f?
False
Let v(p) be the third derivative of p**5/30 - p**4/3 + 4*p**2. Is 14 a factor of v(7)?
True
Suppose 2*x + 1 = 13. Let i(a) = a**2 - 7*a + 6. Let p be i(x). Suppose p = 2*c + 4*f - 32, -5*c + 2*f - 5*f = -52. Does 8 divide c?
True
Let q(i) = i**2 - 2*i - 1. Suppose -4*p = 11 - 31. Is 7 a factor of q(p)?
True
Let q(g) = 4*g. Let z be -6*(3/(-2))/(-3). Let u = -2 - z. Does 2 divide q(u)?
True
Let t = -169 - -325. Does 26 divide t?
True
Suppose 2*a - 25 = -3. Does 11 divide a?
True
Let h(q) = -2*q + 1. Let l be h(-1). Let d be (-30)/240 + ((-1)/8)/(-1). Suppose -l*s + 4 + 56 = d. Is 17 a factor of s?
False
Let b = 111 + -63. Does 16 divide b?
True
Let r(c) = c**3 - 3*c**2 + 3*c. Suppose 5*h - 35 = 4*t, -3*t + 2 = -h + 20. Is r(h) a multiple of 9?
True
Suppose -4*d - 1 - 7 = 0. Is 7 a factor of (21/(-3))/(d + 1)?
True
Suppose 0 = -w - 5*k + 60, k + k - 369 = -5*w. Is 25 a factor of w?
True
Suppose 4*l - 3*s = -4*s - 65, -5*s - 70 = 5*l. Let z be 110/4 - (-7)/14. Let u = z + l. Does 5 divide u?
False
Suppose 4*h + 3 = 15. Suppose h*r = -2*t + 15, -r + 15 = 2*r + 5*t. Suppose r*p = -u + 25, -25 = -4*p - p + 4*u. Does 2 divide p?
False
Let g be 2 + (-5)/((-15)/36). Suppose g = a + 1. Is 4 a factor of a?
False
Suppose -2*k - 55 = -5*k + 2*x, k - 3*x - 16 = 0. Is k a multiple of 4?
False
Let u be -7 + (-1)/(2/(-6)). Let d be (34/u)/(2/(-36)). Let b = d + -108. Does 15 divide b?
True
Let b(f) = 2*f - 3. Let y be b(4). Suppose 0 = y*c + 19 + 16. Let u = c + 11. Is u a multiple of 2?
True
Suppose 0 = -3*i - 3*x + 15, -3*i + 6*i - 4*x - 8 = 0. Suppose -2*l = i - 20. Is l a multiple of 6?
False
Suppose -h - 2*g = -0*g - 9, 4*h = 3*g + 14. Does 2 divide h?
False
Let c(a) = a**3 + 11*a**2 + 10*a - 12. Let m be c(-9). Suppose -3*n + 6*n = 15. Suppose u = n*u - m. Does 15 divide u?
True
Let v be (6/2)/(-3) - -3. Suppose 16 = 3*p - v. Is 3 a factor of p?
True
Suppose 9*k - 4*k - 285 = 0. Suppose -5*m + 5*d + k = -3, -4*m + 5*d = -48. Is m a multiple of 4?
True
Let a(v) = -45*v - 13. Is 5 a factor of a(-2)?
False
Suppose -2*w = -7*w. Suppose w = -3*q + 6*q, -s + 2*q = -53. Suppose 4*l - 27 - s = 0. Is 10 a factor of l?
True
Let d = 116 - 77. Does 6 divide d?
False
Let f = 9 - -13. Does 11 divide f?
True
Suppose -y + 4 = -26. Suppose -j + 30 = -y. Suppose -4*k + 70 = -0*o + 2*o, -4*k - 4*o + j = 0. Does 10 divide k?
True
Suppose 5*w = -3*t + 37 - 8, -2*w + 17 = 3*t. Suppose 5*i + 188 = 38. Is w/10 + (-288)/i a multiple of 5?
True
Let o = 1 - 1. Let p(m) = m**2 + m + 20. Is 10 a factor of p(o)?
True
Let l be (-3)/15 - 768/(-15). Suppose -4*j = 3*r - 85, 3*j - 13 = -2*r + l. Is j a multiple of 11?
True
Let j = -96 + 202. Does 15 divide j?
False
Let c(p) = 9*p**2 - p + 2. Suppose -5*w = 3*k + 1, 16 = -5*w + k + k. Is 20 a factor of c(w)?
True
Suppose 4*q = 2*a + 12, q - 6*q + 4*a + 15 = 0. Suppose -6*w = -j - 2*w + q, 1 = w. Does 4 divide j?
False
Suppose -3*h - 2*c = 3*c + 4