0 - -166. Is k even?
True
Let i be 2 + 66 - (0 - -1). Suppose -2*k = -2*g - 7*k + i, k + 51 = g. Does 12 divide g?
False
Let z(u) = -2*u. Let p be z(-2). Does 4 divide p/14 - 54/(-7)?
True
Suppose 1 = 3*y + 13. Let d = y + 7. Suppose 0 = d*m + m - 56. Is 7 a factor of m?
True
Let o(n) = -n**3 - 7*n**2 + 6*n - 4. Suppose 5*y = -4*f + 19, f = -4*y - 8 + 21. Suppose -6 = 2*u, y*u + 24 = -2*t - 1. Does 6 divide o(t)?
True
Let p = 16 - 53. Let j = p - -61. Let n = -3 + j. Does 6 divide n?
False
Let f(p) = 2*p**2 + 3*p + 6. Suppose -y = 5*n + 10, 3*y - 2*y - 17 = 4*n. Does 5 divide f(n)?
True
Suppose 10 = 4*n - z, -2*n - 2*z = -5*n + 5. Let p(d) = d**2 + 7*d + 3. Let x be p(-5). Let a = n - x. Is 5 a factor of a?
True
Let o(k) be the first derivative of -k**4/4 + 5*k**3/3 + 2*k + 1. Let q be o(5). Does 17 divide (-22 + 3 + q)*-1?
True
Let p(y) = -y**2 - 5*y + 2. Let r be p(-5). Suppose -3*f - r*o + 3 = 0, -4*o + 5 = 5*f - 6*o. Let w(c) = 12*c**3 + c - 1. Does 10 divide w(f)?
False
Let c(s) = s**2 - 7*s + 2. Is 8 a factor of c(-3)?
True
Suppose -3*j = 4*q - 187, 3*j + 3*q = 5*q + 217. Does 4 divide j?
False
Suppose 6*r - 1156 = -232. Is r a multiple of 11?
True
Let q(d) = d**3 + 9*d**2 + 3*d + 8. Let y be q(-8). Suppose 3*z - y = z. Is z a multiple of 9?
False
Let w(g) = -g**2 - 8*g. Let t be w(-8). Suppose 56 = 4*m - t*m. Is m a multiple of 7?
True
Suppose -2*x = -5*x + 9. Suppose 0*q = -q + 2. Is (6*x)/q*1 a multiple of 5?
False
Let m(p) = -p**3 - 3*p**2 + 5*p. Is 2 a factor of m(-5)?
False
Suppose 2 - 6 = -2*o - 3*x, 4 = 2*o + 4*x. Suppose -h = o*b - 33, -b = 5*h - 10 - 2. Is 4 a factor of b?
False
Let t = 50 + -10. Suppose -2*a + 26 = -t. Does 11 divide a?
True
Suppose 4*i = d + 2*d - 149, 4*i = 4. Let l = -31 + d. Does 10 divide l?
True
Let d(y) = 0*y**2 - 3*y**2 + y**2 - 2*y + 2 - y**3. Does 6 divide d(-2)?
True
Let v = 68 - 62. Does 2 divide v?
True
Suppose 0*s = -s - 1. Let z be 16 - (s + 0 + 2). Is 11 a factor of ((-66)/z)/((-2)/10)?
True
Suppose -3*c - 4*s - 34 = -4*c, -5*c = s - 107. Is 22 a factor of c?
True
Suppose 5 + 10 = 5*i. Suppose i*u + u = 40. Is 10 a factor of u?
True
Let d(i) = 2*i**2 + 2*i - 2. Let n be d(-2). Suppose 3*u + 5*o - 27 = n*o, -4*u + 41 = 5*o. Suppose -6*j + 11 = u*l - j, 28 = 2*l - 2*j. Does 9 divide l?
True
Let l(b) = b**3 + 5*b**2 - b + 3. Let n be l(-5). Suppose 3*p = 5*p - n. Is 2 a factor of p?
True
Is 8 a factor of -11*5/5*-23?
False
Let v be -3*((-69)/(-9))/(-1). Suppose -5*a + 87 = -v. Is a a multiple of 11?
True
Let b(a) = a**2 + 27*a - 10. Is b(10) a multiple of 10?
True
Suppose -4*h = 5*t + h - 40, 3*t - 20 = -5*h. Suppose 2*f + 5*c - 6 = t, 4*c - 11 = -f. Suppose -2*v + 3*v = 5*q + 36, 0 = -f*v - 2*q + 108. Does 18 divide v?
True
Let v(u) = -u**2 + 5*u + 3. Let x be v(7). Let c = 16 + x. Is c a multiple of 4?
False
Is 11 a factor of (-4)/10 + 1385/25?
True
Suppose 3*p - 101 = 2*h, 4*p - 67 - 61 = -4*h. Is p a multiple of 11?
True
Suppose -3*t + 0*t - 6 = 0, -2*t + 82 = 2*b. Is b a multiple of 5?
False
Suppose 0 = 3*n - 2*n - 3. Suppose -2*s - 38 = 4*f, s + n = -3*f - 21. Let o = -3 - s. Is o a multiple of 3?
True
Suppose -58 - 50 = -r. Is 27 a factor of r?
True
Let c = -3 + -3. Let m be 2 + 15 + -2 + 0. Let u = m - c. Is u a multiple of 10?
False
Let v be (-3)/(0 + -3 + 2). Suppose v*f + 32 = 5*f. Suppose 4*k - y = 63, -2 + f = k - 2*y. Does 14 divide k?
False
Suppose -j - 2 = -4, -5*k - 2*j = -24. Suppose k*w - 8 = 16. Does 3 divide w?
True
Let u(k) = 5. Let c(w) = -w + 10. Let l(h) = -4*c(h) + 9*u(h). Is l(7) a multiple of 20?
False
Let f(o) = 66*o + 66. Let b(n) = 5*n + 5. Suppose -3*w = -0*v + 4*v - 6, 4*v + 6 = 3*w. Let d(y) = w*f(y) - 27*b(y). Does 9 divide d(-4)?
True
Let s(l) = 7*l + 3*l - 3*l**2 - 1 + 2*l**2. Does 8 divide s(9)?
True
Let n = 5 - 12. Let p(l) = -l**2 - 8*l - 5. Let r be p(n). Let c(u) = u**3 + 2*u. Is c(r) a multiple of 12?
True
Suppose -3*y - 3 = 2*w + w, 3*w - 12 = 2*y. Suppose w*h = -4*i + 28, 4*h + 2*i - 41 = 27. Does 9 divide h?
True
Suppose 5*c - 369 = -94. Does 12 divide c?
False
Let v be 6/2 - (-372 - 0). Suppose 0*r = 5*r + 4*c - v, -2*c = 2*r - 152. Does 18 divide r?
False
Suppose -2*k = -7*k - 4*n - 36, 5*n - 5 = 0. Let i(p) = -10*p - 11. Is i(k) a multiple of 16?
False
Suppose -4*t - 4 - 10 = -3*q, -3*q + t + 26 = 0. Does 10 divide q?
True
Let o be 72/(-16)*19*2. Let q be (2/(-6))/(3/o). Suppose q = 4*l - 9. Is l a multiple of 7?
True
Is (-4)/(((-27)/(-60))/(-9)) a multiple of 20?
True
Let n(d) = -d. Let o be n(-3). Suppose -j = -o + 5. Is (2 - -50)*(-1)/j a multiple of 14?
False
Suppose -m = -7*m + 24. Is m a multiple of 4?
True
Let y(h) = -3*h - 13. Is y(-6) a multiple of 3?
False
Suppose -5*h + f + 124 = 0, f - 3*f - 32 = -h. Is 15 a factor of h?
False
Suppose -4*n + 4*i + 552 = 0, -n + 0*n + 150 = -4*i. Suppose 0 = -v + 2*h + 53, 0 = 3*v - h - 0*h - n. Let g = v + -21. Is 11 a factor of g?
True
Let z(t) = -2*t**3 - 2*t**2 - 3*t - 5. Let m be z(-4). Suppose 125 = -2*r - 13. Let d = m + r. Is d a multiple of 17?
True
Suppose 0 = 3*q - 6*q. Let h be -2 - (-3 - q) - 3. Is ((-25)/h)/(-5)*-6 a multiple of 15?
True
Let o = 6 - 0. Let v be (-55)/(-15) - 4/o. Suppose -2*w = -v*w + 15. Is w a multiple of 15?
True
Suppose 4*b = -0*b - 8. Let p be 0/(3/((-3)/b)). Suppose p*u - 2*u + 6 = -2*y, 0 = -3*u + y + 15. Is u a multiple of 3?
True
Does 13 divide 8/12 + (-930)/(-9)?
True
Let n(r) = -r**2 + 15*r + 10. Is n(6) a multiple of 16?
True
Let f = -1 - -11. Suppose 6*q - f = q. Is (-4)/(q/(-21)*3) a multiple of 12?
False
Suppose 4*t - 21 = t. Suppose 2*q + 60 = t*q. Is q a multiple of 8?
False
Suppose -o + 3*o = -32. Does 16 divide 8/o - (-33)/2?
True
Let n(z) = 15*z + 6. Let a(f) = -7*f - 3. Let m(y) = -13*a(y) - 6*n(y). Let j be m(0). Suppose -r - 16 = -j*r. Is 6 a factor of r?
False
Suppose 17*z = 21*z - 224. Does 7 divide z?
True
Suppose o + 178 = 3*j, -j - 23 + 81 = o. Is 9 a factor of j?
False
Let a(m) = 2*m + 1. Let d be a(3). Let c = d + 13. Does 14 divide c?
False
Let m(b) = b**3 + 8*b**2 - 11*b - 7. Suppose -2*v + c - 51 = 0, v - 4*c + 12 = -10. Let a = 17 + v. Does 11 divide m(a)?
True
Let d(b) = b**2 - 6*b + 19. Is d(23) a multiple of 27?
False
Suppose -d + 0 = -3. Suppose r = 5*s + 34, s + 38 = 2*r - d*s. Is 5 a factor of r?
False
Let a = 1 - -3. Let u be a/10 + 321/(-15). Is 4 a factor of 6/u + 60/14?
True
Does 23 divide 1/(-8) + 681/24*3?
False
Let k(t) = t**2 + 12*t - 22. Is k(-14) even?
True
Let a(l) = 7*l + 1. Let c be -1 - -58*(-3)/(-6). Suppose -c = 6*s - 10*s. Is a(s) a multiple of 13?
False
Let h(c) = -8*c. Let r be h(-4). Suppose -r + 12 = -3*o - 5*y, 2*o = -4*y + 12. Is 12 a factor of ((-36)/o)/3*-30?
True
Let t(s) = -s**3 - 4*s**2 - s - 6. Let l be t(-6). Suppose -l = -5*x + x. Does 6 divide x?
True
Let y(i) = -i**3 + 7*i**2 + 2*i - 5. Is y(6) a multiple of 6?
False
Let l = -4 + 7. Suppose l*w + 34 - 100 = 0. Is 22 a factor of w?
True
Let f(b) = -b**3 + 4*b**2 + 2*b - 3. Let i be f(3). Does 13 divide 470/i - (-1)/(-6)?
True
Let t = -3 + 6. Let j = -6 + t. Let f = j + 14. Does 5 divide f?
False
Is (-217)/(-28) + 6/(-8) a multiple of 2?
False
Let j be 2*3*3/(-3). Let m(z) = z**2 - z - 8. Let b be m(j). Suppose 23 = 4*n - y, 4*n + 4*y = -n + b. Does 3 divide n?
True
Does 32 divide (-30)/8*128/(-12)?
False
Suppose -l + 129 = 4*m, -m - 4*m + 177 = -4*l. Let s be (-6)/m - (-2490)/22. Let b = s - 65. Does 16 divide b?
True
Suppose 3*w = 3*l - 15, 2*l - 4*l = 3*w - 35. Is l a multiple of 10?
True
Let w(v) = -v. Let i(g) = -8*g - 4. Let b(n) = 2*i(n) - 20*w(n). Does 16 divide b(10)?
True
Suppose -5*o = -25, -n + 3*o - 8*o + 23 = 0. Let x be (-5)/(n/(-4)*-2). Suppose -v + x + 4 = 0. Is 9 a factor of v?
True
Suppose -b = -2, -4*b + 128 = 4*c - 0*c. Is c a multiple of 10?
True
Is (14/21)/((-1)/(-123)) a multiple of 25?
False
Let c be (2 - 1 - 1) + 2. Suppose -5*g - 16 = -4*g - 4*z, -4*g - 3*z + 12 = 0. Suppose 2*y + c - 8 = g. Does 3 divide y?
True
Let j(i) = 0*i - 4*i + 2 + 1. Let d be j(4). Is 11 a factor of (2 + -3 - d) + -1?
True
Suppose -2*z + 93 = -9. Suppose w = -9 + z. Is w a multiple of 19?
False
Let v be (-5)/25 - 62/(-10). Let m be 2/4 + (-3)/v. Suppose -t + m = -16. Is t a multiple of 8?
True
Suppose 12*l = 13*l - 31. Does 4 divide l?
False
Let u 