 o(c) = -c**2 - 8*c - 6. Let u be o(-5). Let r = u + -4. Is 2 a factor of r?
False
Let x = 3 + -1. Suppose -2*u + 24 = 2*z, -z - x*z = -2*u + 44. Is 8 a factor of u?
True
Let b = 65 + 27. Does 23 divide b?
True
Suppose -g + 3*g = -2*i + 36, 0 = g + 5*i - 18. Is g a multiple of 9?
True
Is 5 a factor of 39/2 - (-8)/(-16)?
False
Let d = 11 - 6. Does 3 divide ((-22)/(-8))/(d/20)?
False
Let o be 66/(-8) - (-1)/4. Let z = o - -54. Is z a multiple of 18?
False
Let x = -3 - 4. Suppose 0*o = -o + 15. Let h = o + x. Is h a multiple of 3?
False
Let h be (140/4)/((-2)/(-2)). Suppose 6*q = -3*m + q + 22, -11 = -4*m - 3*q. Is (4/(-10))/(m/h) a multiple of 7?
True
Let g(s) = -s**2 - 6*s + 4. Let r(c) = c**3 - 10*c**2 - c + 4. Let l be r(10). Is g(l) even?
True
Let v = -11 + 51. Suppose -3*p - v - 8 = 0. Let o = -6 - p. Does 9 divide o?
False
Let h = 11 - 15. Does 9 divide (96/9)/(h/(-6))?
False
Let n(h) = -h**3 + 7*h**2 + 7*h + 10. Let r be n(8). Suppose i + r*i = 66. Suppose -2*v + 3*v + 3*u - i = 0, 0 = -v - u + 14. Is v a multiple of 7?
False
Suppose 4*v - 145 = -5*p, 5*p - 55 = 3*p - v. Suppose 2*b - p = -z + 7, -7 = -b + 4*z. Does 12 divide b?
False
Is 5 a factor of (22/(-33))/(4/(-138))?
False
Suppose -12 = -2*b - b. Suppose -4*p - b = 4. Is (-4)/(1/2*p) even?
True
Let d be 4*((-3)/(-2) + -1). Let o be 1 + 2 - 4 - -3. Suppose 2*r - 3*l - 2*l = 32, -o*l = d*r - 18. Is r a multiple of 11?
True
Suppose 0 = 5*w + 15, -6*w + w = 3*f. Suppose -f = 3*q + 1. Is 10 a factor of q/((-1)/(-27)*-2)?
False
Let j(m) = -2*m - 7. Does 9 divide j(-17)?
True
Let y be (-6)/3*-1 - -3. Suppose 5 = -0*c + y*c. Does 10 divide (c/(-3))/((-3)/279)?
False
Let v = 2 + -2. Let y(b) = -b**3 + 13*b**2 - 13*b + 6. Let m be y(12). Is (m/(-1))/(1 + v) a multiple of 3?
True
Is (8 - 7)*((-74)/(-1) + 2) a multiple of 16?
False
Suppose 82 + 82 = -4*y. Let k = 57 + y. Is 7 a factor of k?
False
Let b be 9/(-2 + 2 - -1). Is (-4)/(-18) - (-106)/b a multiple of 12?
True
Let f be -54 - (-2 - 14)/4. Let c = -23 - f. Does 27 divide c?
True
Suppose -5*y + 2*y + 66 = 0. Is y a multiple of 8?
False
Let p(f) = f**3 - f**2 + f - 1. Let k be p(1). Let d = 15 - -39. Does 20 divide d/(1*(1 + k))?
False
Suppose 0 = -3*y + 8*y + 5, -y + 56 = 3*x. Is 9 a factor of x?
False
Let m(n) = 3*n**3 + n**2 + 2. Let d be m(-2). Let b = d + 32. Is 5 a factor of b?
False
Let u(x) = -25*x - 45. Let k(l) = 6*l + 11. Let j(m) = -9*k(m) - 2*u(m). Is 9 a factor of j(-7)?
False
Let z = -78 - -29. Does 4 divide 47/7 - 14/z?
False
Let l = 61 - 1. Is 12 a factor of l?
True
Let n(v) = -2*v - 11. Let i be n(-7). Suppose 6*k + i*r = k + 111, 5*k - r = 103. Is 11 a factor of k?
False
Let n be ((-8)/(-12))/(4/(-6)). Let z = -4 - n. Let p = 1 - z. Is p even?
True
Let c = -1 - 0. Let n(u) be the first derivative of -19*u**4/2 + u**3/3 + u**2 + u - 3. Is n(c) a multiple of 19?
True
Let i(l) = -223*l + 2. Is i(-2) a multiple of 11?
False
Let u be (-9)/2*(-2)/3. Suppose b + 13 = q + u*q, -5*b + 5*q + 10 = 0. Is b even?
False
Does 23 divide ((-664)/20)/(0 - 2/5)?
False
Let c(d) = -8*d - 9. Is 13 a factor of c(-4)?
False
Let f be 2/(-3) + (-78)/18. Let o be (2/4)/(f/(-130)). Suppose -4*x - 5*n = -17, 9*x - 2*n - o = 4*x. Does 3 divide x?
True
Let b(z) = 7*z**3 + 3*z**2 - 4*z + 1. Does 15 divide b(2)?
False
Let g(c) be the second derivative of c**3/6 + 2*c. Let p be g(3). Suppose t - p = -0*t. Does 2 divide t?
False
Let y(f) = -f + 9. Let x be y(4). Suppose 3*n - x*j - 1 = -6, -4*j = -4. Suppose g + 2 = -2*o + 20, n = 5*o - 3*g - 67. Is 4 a factor of o?
False
Suppose -5*p + t - 3*t = -140, 2*p + t - 56 = 0. Is 12 a factor of p?
False
Suppose -2*o + 9 + 5 = 0. Does 3 divide o?
False
Suppose -2*n - 37 = 39. Let o = n + 73. Suppose 9 = -2*k + o. Is 13 a factor of k?
True
Suppose 3*v - 16 = -1. Suppose -3*m + 440 = m. Suppose 7*y + c = 2*y + 110, -5*y = v*c - m. Is 13 a factor of y?
False
Let f(t) = -t**3 - 20*t**2 - 25*t - 6. Is f(-19) a multiple of 9?
True
Let g = 19 + 1. Is 10 a factor of g?
True
Suppose y + 5*w - 5 - 24 = 0, -4*w = -2*y - 12. Suppose 0*z + 116 = 3*z - 5*x, 5*z = -y*x + 218. Is z a multiple of 14?
True
Let v(j) = j. Let i be v(5). Suppose 0 = i*p - 4*u - 4, p - u = -p + 1. Suppose -4*d + d + 15 = p. Does 2 divide d?
False
Let v(x) be the first derivative of x**3/3 - 2*x**2 + 4*x + 1. Suppose 2*d = 4 + 8. Does 6 divide v(d)?
False
Let o(s) = 2*s - 6. Let w be o(4). Suppose 2*x - w*c = 0, 0*x - c = x - 4. Suppose 96 = x*d + 2*d. Is 7 a factor of d?
False
Suppose 5*r = -0*r + 25. Suppose 2*l + 4 = -2, -3*l + 251 = r*y. Suppose w + 2*u = -w + y, 2*w = -u + 49. Is 10 a factor of w?
False
Let s(u) = 42*u - 3. Is s(2) a multiple of 27?
True
Let x = 2 - -12. Let n = x - -37. Does 17 divide n?
True
Is (4/(-6))/(10/(-915)) a multiple of 15?
False
Let d(s) = -s**3 + 4*s**2 + 4. Let o be d(4). Suppose -x = -o*x. Suppose x = -5*l + 38 + 52. Does 11 divide l?
False
Let y(a) = a**3 - 3*a**2 + a + 4. Let n be y(3). Suppose -180 = 2*g - n*g. Let h = 53 - g. Is 17 a factor of h?
True
Let k(n) = -n**2 + 11*n - 10. Is k(9) even?
True
Is 16 a factor of 56*(6/(-2))/(-3)?
False
Let a be 1/(6/(-8) + 1). Suppose -a*w - 20 = -9*w. Suppose -5*l + 141 + 55 = 3*v, 0 = -4*l - w*v + 160. Is 19 a factor of l?
True
Suppose d - 2 = -z + 2, z + 6 = 4*d. Suppose -4*o - 2*t - 15 = t, d*o = -3*t - 15. Let h(c) = -c**2 + 18. Does 11 divide h(o)?
False
Suppose g - 2*g + 6 = 0. Let q(s) = -s**2 + 12*s + 4. Does 12 divide q(g)?
False
Let m be (6 - 9)*-2*1. Let c(x) = x**2 - 3*x. Does 9 divide c(m)?
True
Let h = 0 - 0. Let c be (h + -9)*(-2)/6. Is (c - 1)*23/2 a multiple of 14?
False
Is (-9 + 7)*126/(-4) a multiple of 22?
False
Let n(v) = -v**3 - 4*v**2 + v - 2. Let c be n(-4). Let t(b) = b**3 + 6*b**2 - 2*b + 3. Does 4 divide t(c)?
False
Let w = 135 - 90. Is 9 a factor of w?
True
Let l = 172 + -112. Is 15 a factor of l?
True
Let g = 88 + -48. Let l = -24 + g. Is l a multiple of 6?
False
Suppose 0 = -h - 3 + 51. Is 18 a factor of h?
False
Let j(s) = 92*s**3 - 2*s**2 + s. Let v be j(1). Suppose 2*a - 10 = 0, d + a = -d + v. Is d a multiple of 11?
False
Suppose 4*f - 16 = -2*x, 3*x - 38 - 1 = -3*f. Suppose -x = -4*m + m. Does 5 divide ((-4)/(-6))/(m/126)?
False
Suppose 3*n + 2*n = 0. Suppose n = -5*y + 59 + 1. Is y a multiple of 3?
True
Let v(o) = o - 5. Let g be v(7). Suppose -360 = -g*q + 5*q. Is 7 a factor of q/(-4)*2/4?
False
Let z = 15 - 9. Suppose 5*k + z = 4*y + 4*k, -3*k - 8 = -2*y. Let i(n) = 8*n + 1. Is i(y) a multiple of 9?
True
Let k(l) be the second derivative of l**5/20 + l**4/2 + 2*l**3/3 - 2*l**2 + 14*l. Let i be (4/(-6))/(1/6). Is k(i) a multiple of 4?
True
Let m(h) = -5*h + h**2 + 5 + 4 - 4. Is m(6) a multiple of 10?
False
Let u = 28 + -12. Is 16 a factor of u?
True
Suppose -9 + 135 = 3*r. Suppose 0 = x - 5*x + 12. Suppose -x*a + 24 = -r. Is a a multiple of 16?
False
Let u(q) = 5*q - 55. Is 3 a factor of u(13)?
False
Let w(f) = f + 0*f + 2*f**2 + 1 + 0*f + f**2. Is 11 a factor of w(-3)?
False
Let j be 2/2 - (-1 - -2). Suppose 0*u + 2 = u. Suppose 74 = u*d + d - 2*i, -2*d - 5*i + 81 = j. Is 15 a factor of d?
False
Let n = -13 - -113. Does 10 divide n?
True
Let a = 1 - 0. Let s be 3 - a - (2 - 1). Is s/(2 - 3) + 25 a multiple of 12?
True
Let a be 12/42 + 836/14. Suppose 2*s - 22 = -4*x, -3*s - 8 = -5*x + s. Suppose -5*i - 2*y + 75 = 0, -x*i + 7*y + a = 3*y. Is 15 a factor of i?
True
Let y = -3 - -3. Suppose -3*k = -y*k. Does 18 divide 18 - 1/(-3)*k?
True
Let v be -1*(-12)/(2 - 4). Let d = v + 13. Does 7 divide d?
True
Suppose 4*f = 122 + 34. Does 39 divide f?
True
Let s = 277 - 163. Does 57 divide s?
True
Suppose 0 = -p + 3*p + o - 7, 4*o + 22 = 2*p. Suppose 35 + 43 = 2*u + 2*j, -p*u + 205 = 3*j. Suppose 0*q - 2*q + u = 0. Is 22 a factor of q?
True
Is ((-115)/(-3))/((-1)/(-3)) a multiple of 22?
False
Suppose 0 = -4*p - 5*h + 17 - 78, -4*p = 2*h + 46. Let r(c) = c**3 + 9*c**2 - 2*c - 12. Let x be r(p). Let k = 0 + x. Is 6 a factor of k?
True
Let h be 2/3 - (-65)/15. Suppose -86 = -h*n - 16. Is n a multiple of 14?
True
Suppose a = -6*a + 462. Is 6 a factor of a?
True
Suppose -4*a + 9 = -a. Suppose l - 2*r - 2*r = -12, -3 = a*l - r. Suppose l*k = 4*k - 32. Is 4 a factor of k?
True
Suppose -4*g + 13 = 5. Is 2 a factor of g?
True
Suppose 4*a + b + 284 = 