**4/24 + 3*k**2. Is s(-4) even?
True
Let p be 2/(-3) - 8/(-3). Suppose -p*w = 3*w. Suppose w*v = v - 36. Does 18 divide v?
True
Let z(w) = 3*w + 1. Let d be z(1). Suppose 0 = 2*h - f - d, -4*f = 5 - 21. Suppose -3*x + 5 = -h. Is x even?
False
Let v = -37 - -67. Suppose -2*n + 0*n = -v. Is n a multiple of 15?
True
Let t(q) = -10*q - 5. Is 7 a factor of t(-4)?
True
Let r = 268 - 191. Is 24 a factor of r?
False
Let p = 2 + 14. Let m = -3 + p. Suppose -3*q + 29 = -m. Is q a multiple of 12?
False
Suppose 5*c = 2*z + 232, 2*c + 0*c + 4*z = 112. Let f = c + -33. Is 15 a factor of f?
True
Let t(b) = -b**3 + 8*b**2 - 8*b. Suppose h - 4*h = -18. Let z be t(h). Let c = z + -13. Is 10 a factor of c?
False
Let o(t) = -t**3 - t**2 + t + 64. Is o(0) a multiple of 32?
True
Suppose -l = 2, 4*l - 134 = 4*y - 2*y. Let p = 134 + y. Is 9 a factor of p?
True
Suppose 3*t - 8*t + 25 = 0. Let i(b) = b**3 - 2*b**2 - 3*b - 2. Is 29 a factor of i(t)?
True
Let w(z) = z**3 + 4*z**2 + 4*z + 3. Let b be 13/(-4) - 3/(-12). Let p be w(b). Suppose s = -p*s + 8. Is 4 a factor of s?
True
Let r(x) = 5*x**3 - 4*x**2 - 4*x - 3. Let i(a) = 14*a**3 - 11*a**2 - 11*a - 9. Let c(b) = 3*i(b) - 8*r(b). Let g be c(3). Let v = g + -23. Is 10 a factor of v?
False
Suppose 20*n + 5 = 19*n. Let v(c) be the first derivative of -c**2 + 3*c + 1. Is 12 a factor of v(n)?
False
Suppose -10 + 0 = -5*q. Suppose -q*y = 5*v - 5*y - 315, -5*v = -4*y - 320. Is 23 a factor of v?
False
Suppose 162*d = 165*d - 408. Does 46 divide d?
False
Suppose 9 = j - 3*j - 3*b, -2*j - 4*b - 8 = 0. Let y be (-16)/(3/j*4). Suppose -v + y = i, 2*i - 3*v + 15 = 4*i. Does 9 divide i?
True
Suppose 0 = t - 5*l - 49, 2*t - 3*l - 111 = -2*t. Does 24 divide t?
True
Suppose -2*n = -2*k - 52 + 2, 0 = -3*n + 12. Let d = k + 32. Does 5 divide d?
False
Let c be 2/(-3)*(-3)/1. Suppose c*n - 6*n = -176. Suppose 0 = 2*b + 2*b - n. Does 9 divide b?
False
Let z be 2/5 - 32/5. Let y(m) = -2*m + 5. Let a be y(z). Suppose 0 = -p + 2*p - a. Does 11 divide p?
False
Let m(o) = -o**3 - o**2 - o. Let v(j) = 4*j**3 + 4*j**2 - j - 1. Let t(y) = -3*m(y) - v(y). Does 4 divide t(-3)?
False
Suppose 5*d - 4*d - 8 = -2*p, -5*d - 20 = -5*p. Let i = -81 + 147. Suppose d = -4*t + 38 + i. Is 7 a factor of t?
False
Let t = -6 + 16. Is 10 a factor of t?
True
Is (-479)/(-8) - (-27)/216 a multiple of 60?
True
Let u be (3 - -1)/((-1)/(-1)). Is -2 - (-7 - (u + -1)) a multiple of 5?
False
Let i(v) = v**3 + v**2 - v + 10. Let q be i(0). Suppose 104 + q = 3*s. Let b = s - 25. Is 7 a factor of b?
False
Suppose o + 36 = 4*d - o, 3*d - 17 = 4*o. Suppose 0 = 4*m - 67 + d. Is 6 a factor of m?
False
Suppose 0*f = -f + 6. Is f even?
True
Let g = -20 - -80. Is g a multiple of 20?
True
Suppose 7 + 1 = 4*o. Let s(n) = 36*n - 2. Let w be s(2). Suppose 0*p = o*p - w. Does 13 divide p?
False
Let g(n) = -n + 16. Let x(o) = 3*o - 49. Let h(y) = 7*g(y) + 2*x(y). Suppose -2*b + 25 = -4*b + 5*k, 0 = b - 5*k + 25. Does 7 divide h(b)?
True
Let c(i) = -i**3 - 2*i - 8. Is 16 a factor of c(-4)?
True
Let x(h) = 2*h**2 - 2*h - 12. Let w(d) = -d**2 + d + 6. Let b(m) = 11*w(m) + 6*x(m). Does 8 divide b(6)?
True
Let c(u) = -1 - 4 + u + 4. Let k be c(0). Is 2/(-3)*12/k a multiple of 4?
True
Let b(f) = 9*f + 5. Let j be b(4). Let o = 69 - j. Is o a multiple of 14?
True
Let s = 6 - 5. Let k(h) be the second derivative of 13*h**3/6 + h. Is 13 a factor of k(s)?
True
Suppose 2 - 26 = 4*a. Let w(n) = -n**2 - 10*n - 7. Is 12 a factor of w(a)?
False
Let m(b) = 34*b - 1. Does 26 divide m(2)?
False
Let i(t) = -t**3 - t**2 + 40. Let y be i(0). Suppose -v - 60 = -4*l, -3*l - l = 4*v - y. Let b = 24 - l. Is 7 a factor of b?
False
Let a be -1*3*(-4)/(-6). Suppose -z + o + 0*o = -10, 5*z - 4*o = 48. Let u = z + a. Does 5 divide u?
False
Does 30 divide 1*(0 + 5)*(-1888)/(-80)?
False
Suppose -n = -3*n, 0 = 5*b + 2*n - 30. Suppose -c + b = c. Is c a multiple of 2?
False
Let o(f) = f + 5. Let a be o(0). Suppose -a*d + 50 = -2*v - 2, -d + 3*v = -13. Is d a multiple of 3?
False
Let u(o) = -o + 3. Let s be u(0). Let q = 3 - s. Suppose -5*n + q*n = -3*w + 71, 4*n = 4*w - 84. Is w a multiple of 6?
False
Is (-340)/(-6) - (28/12)/(-7) a multiple of 19?
True
Suppose -8 + 68 = 4*x. Let b = x - 6. Is 9 a factor of b?
True
Let l = 2 + 2. Suppose 0 = l*m + m - 200. Is m a multiple of 20?
True
Let n(t) = t**3 + 6*t**2 + 9*t + 8. Let k be n(-6). Let j be -1 - -2 - 15*1. Let x = j - k. Does 11 divide x?
False
Let w be (-30)/2*(-1394)/51. Suppose 8*c - w = 4*c + 2*k, 0 = 2*c + 2*k - 214. Does 27 divide c?
False
Let u = -23 - -31. Does 5 divide u?
False
Let k = -1 - 0. Let l be 5/k*56/(-10). Does 26 divide (-2)/7 + 736/l?
True
Suppose -100 - 65 = -5*s. Is s a multiple of 4?
False
Let p = 7 - 3. Suppose 32 = 3*m - 5*l, -2*m = -4*m + p*l + 20. Suppose 0 = -2*b - 0 + m. Does 3 divide b?
False
Let o = -8 + 8. Suppose 3*g + o*g = 9. Suppose -106 = -2*q - 4*h, -q + 160 = g*q - 5*h. Is 15 a factor of q?
True
Let z(f) = -2*f - 7. Let d be z(-7). Suppose 0 = 2*v - d*v + 150. Is 8 a factor of v?
False
Let h be 4/14 + (-2493)/(-21). Let k = h - 70. Let u = k - 29. Is u a multiple of 9?
False
Let n be -9 - 1*(-2 - -1). Let d = n - -17. Is d a multiple of 5?
False
Suppose -60 - 60 = -4*a. Does 5 divide a?
True
Let r(j) = 5*j**3 + 2*j**2 - j - 1. Let i(u) = -u**3 + 2*u**2 + 3*u + 2. Let f be i(3). Let m be r(f). Suppose -2*n = -m - 35. Is n a multiple of 20?
True
Let h(q) = -q**2 + 9*q + 10. Let r be h(7). Let c = r - 3. Is c a multiple of 10?
False
Let n(p) be the second derivative of p**3/6 + 27*p**2/2 - p. Does 9 divide n(0)?
True
Let s(v) = 17*v**2 + 3*v + 3. Let g be s(-3). Suppose -132 = -3*d - 2*n, 0*d = -3*d + 3*n + g. Suppose -2*o = 3*i - d, 0*i + 2*i - 100 = -4*o. Does 26 divide o?
True
Is -4 + -4 + 7 + (285 - 0) a multiple of 27?
False
Let d(z) = z + 10. Let n be d(-5). Suppose -k + n*m + 1 = 0, -2*k - 3 = 4*m - 47. Let l = k - 10. Does 6 divide l?
True
Let d be (-4 - -5)*3*1. Suppose -3*p - 9 = -s, 3*s + 0*p - 21 = d*p. Suppose -s*w + 117 = -3*w. Is 14 a factor of w?
False
Suppose 0 = -x + 2*w, 4*x - 2*w - 3*w = 9. Let m(s) = -21*s + 14. Let c(a) = 14*a - 9. Let b(l) = 8*c(l) + 5*m(l). Does 16 divide b(x)?
False
Suppose 3*f = 15, 0*f = o - f - 85. Suppose 0 = -3*h + h + o. Does 15 divide h?
True
Let z(h) = h + 9. Let s be z(-3). Suppose 11*j - s*j - 315 = 0. Is j a multiple of 21?
True
Suppose -3*i - 10 = -283. Does 30 divide i?
False
Let d be -2 + 4 + (-3)/(-1). Suppose 2*x + 1 = d. Suppose -x*n + n = -17. Is 12 a factor of n?
False
Does 18 divide (-18)/(((-26)/(-12))/(-13))?
True
Let i = 15 + 72. Is i a multiple of 14?
False
Does 25 divide (-6)/(-15) - (-3 + (-429)/15)?
False
Let n(a) = -a**3 + 11*a**2 + 12*a - 8. Let j be n(12). Is (1/(-3))/(j/240) a multiple of 10?
True
Suppose 346 + 314 = 6*q. Is 9 a factor of q?
False
Suppose 4*c = 9*c - 85. Let g = -8 + c. Does 4 divide g?
False
Let h(l) = 2*l**2 + l + 45. Is 10 a factor of h(0)?
False
Let r be 294 + (3 - 6/3). Suppose -f - 5*w + 41 = 0, 5*f = 3*w + 2*w + r. Is 28 a factor of f?
True
Let w = -35 - -62. Is 9 a factor of w?
True
Suppose 4*z - 78 = -18. Suppose -95 = -5*x - z. Does 16 divide x?
True
Let t(d) = d**2 + d + 13 + 0*d - 4 - 2*d. Does 5 divide t(0)?
False
Let c be (-1)/(0 - 3/(-9)). Let i be c/(-3) - 1 - 0. Let u(j) = -j**2 + 13. Does 13 divide u(i)?
True
Suppose 0 = 3*g - 2*g - 5*i - 12, -2*i - 6 = 0. Let d = 12 + g. Is 9 a factor of d?
True
Suppose 0*a + 3*a = 3*r - 9, 0 = 2*r - 5*a. Let z = -1 + r. Suppose -5*v + p = 3*p - 25, -5*p - 20 = -z*v. Is 2 a factor of v?
False
Let c be (0/(3 - -1))/(-1). Suppose 0 = t - c*t - 14. Is t a multiple of 7?
True
Suppose -5*u + 20 = 0, 2*h + 4*u + 0 = 2. Let p = h + 12. Is 2 a factor of p?
False
Let m(u) = 5 + u**3 + 6 + 3*u**3 + 9*u**2 - 5*u**3. Let n be m(9). Suppose 5*v + 5 = -5, n = 3*d + 2*v. Does 5 divide d?
True
Suppose 2*m + 4 + 8 = 2*z, -4*m = 4*z - 40. Suppose 2*d = -l + 8 + 24, -2*l + z = 0. Is 11 a factor of d?
False
Let x = 31 - 23. Is x a multiple of 2?
True
Let f = 163 - 103. Let m = f - 30. Does 10 divide m?
True
Let i(q) = 2*q + 3. Let j be i(-3). Let w(x) = -x**3 - x**2 + 4*x + 4. Is 5 a factor of w(j)?
True
Let d(a) = -27*a - 37. Is 18 a factor of d(-9)?
False
Let o(q) = 3*q - 17. Let b be o(9). Let u(s) = 2*