4/6 + n**3/3 - 2*n**2. Does 2 divide o(-2)?
True
Suppose 2*l + 52 = 6*l. Is l a multiple of 8?
False
Suppose 4*p = 5*r - 3 - 5, 2*p + 10 = 4*r. Suppose -p*z + 0*z = -x - 41, -z + 2*x + 17 = 0. Let t = z - -1. Is t a multiple of 11?
False
Let k = 149 + -80. Suppose -5*a = 4*z - 26 - 21, 4*a + k = 5*z. Is z a multiple of 11?
False
Let m be (-3*1)/(21/(-28)). Suppose -51 = -m*x + 33. Is 17 a factor of x?
False
Let j(w) = -w**2 + 6*w + 2. Let m be j(7). Let d = -2 - m. Suppose -d*g = -0*g - 24. Does 6 divide g?
False
Let o = -2 + 17. Suppose -5*m + 0*m = -o, 3*z + 2*m = 0. Is 14 a factor of 1*(0/z + 42)?
True
Suppose -2*v - 36 = -3*l, -2*l = -3*l + 4*v + 2. Does 14 divide l?
True
Suppose -t + 25 = 4*t. Is 2/(-5) + 77/t a multiple of 15?
True
Let u(s) = -22*s + 4. Does 14 divide u(-3)?
True
Does 4 divide 2/(4/74) + -4?
False
Suppose 5*v - 4*v - 3*n = 16, -3*v + 3*n = -24. Suppose 0 = -v*h + 2*h + 44. Does 6 divide h?
False
Suppose 2*f = 2, -s + 0 + 4 = 3*f. Let q be (0 + (-1)/(-1))*11. Is 13 a factor of (q - -2)/(s/2)?
True
Suppose 0 = -2*r + 5*a - 27 - 37, -5*r = -5*a + 175. Let b = r + 55. Is b a multiple of 6?
True
Let s(n) = -n**3 - 3*n**2 - 5. Let l = -3 + -1. Is 10 a factor of s(l)?
False
Let w = -87 + 177. Does 10 divide w?
True
Suppose 2*q + 294 = -10*g + 13*g, 0 = g + 4*q - 84. Does 3 divide g?
True
Let d = -28 - -76. Is 16 a factor of d?
True
Suppose 5*q - 45 = 10. Is 11 a factor of q?
True
Let c(d) be the first derivative of 7*d**2/2 + 4*d + 1. Is c(5) a multiple of 12?
False
Let y = -22 + 22. Suppose -3*u + 4 = u. Does 8 divide 6 - (-3 - (y - u))?
True
Suppose 4*j + 2 = 22. Suppose -y + 0*y - j*a = -35, y - 45 = -3*a. Suppose -2*m + 7*m - y = 0. Does 12 divide m?
True
Suppose -2*z = z - 5*j - 83, -z - 2*j + 13 = 0. Is 19 a factor of z?
False
Let j(s) = 140*s**2 - 1. Let o be j(1). Does 10 divide o/4 - 10/(-40)?
False
Suppose 2*m + 0*p = 2*p + 234, m - 5*p = 129. Is 6 a factor of m?
True
Let z be 232/13 + (-8)/(-52). Is 12 a factor of (-2)/(-3) - (-204)/z?
True
Let k(s) = s**2 - 6*s - 7. Let l be k(7). Suppose -3*m + 0*m + 45 = l. Is 8 a factor of m?
False
Let m(c) = 2*c**2 - 22*c + 34. Is m(15) a multiple of 14?
True
Let q = -25 - -19. Is 28 a factor of ((-3)/q)/((-4)/(-496))?
False
Let i(a) = a - 2. Let x be i(6). Let g = 7 - x. Suppose -3*b - 24 - 14 = -h, -2*b - 114 = -g*h. Is h a multiple of 14?
False
Let v = -11 - -17. Let t(d) = -d**3 + 5*d**2 + 7*d + 2. Is 4 a factor of t(v)?
True
Let w = -2 - -5. Suppose -3*z = -9, -p = w*p - z + 15. Let m = p + 23. Does 10 divide m?
True
Suppose 3*i + 832 = 11*i. Does 11 divide i?
False
Let r(k) be the third derivative of k**4/6 - k**3/6 + 2*k**2. Let i be r(1). Let p = 2 + i. Is p even?
False
Suppose -n = -72 - 33. Does 22 divide n?
False
Let r(x) = 51*x**2 - 3*x + 1. Is 10 a factor of r(1)?
False
Suppose -4*y + 146 = 3*w, 5*w + 45 = -4*y + 195. Does 7 divide y?
True
Suppose 3*n - 5 = 16. Let c(r) = -n - 7*r + r + 2*r. Is c(-5) a multiple of 13?
True
Suppose 5*i = 50 + 5. Is i a multiple of 11?
True
Let r(v) = -8*v - 3. Let j be r(-2). Suppose 95 = 2*i + 3*i. Let d = i + j. Does 11 divide d?
False
Let f = 1 - -4. Suppose -v = v + m - 22, -v + f*m + 33 = 0. Is 4 a factor of v?
False
Suppose 5*r = 215 + 60. Does 11 divide r?
True
Let s = 201 + -142. Does 59 divide s?
True
Let h = 198 - 125. Does 29 divide h?
False
Suppose 5*c - y - 2*y - 3 = 0, 3*c = 5*y - 11. Suppose z + c*z - 20 = 0. Suppose 0 = z*t - 138 + 28. Is 11 a factor of t?
True
Suppose -120 = -5*c + 5*w, 2*c - 3*w - 95 = -2*c. Let t(r) = 2*r + 5. Let s be t(4). Let o = c - s. Does 10 divide o?
True
Suppose 0 = -2*u + 4*u + 5*z - 29, 0 = u + 5*z - 2. Is 4 a factor of u?
False
Let n(g) = -g**3 - 11*g**2 - 4*g + 3. Is n(-11) a multiple of 10?
False
Suppose 0 = z - 0 - 5. Suppose -z*u - 4 = -u. Let h = u + 11. Is h a multiple of 10?
True
Suppose 5*t = c + 37, 2*t - 37 = -5*c - 6. Suppose h - 4 = t. Is h a multiple of 4?
True
Let b(w) be the first derivative of -w**4/4 + 4*w**3/3 + w**2/2 + 4*w + 5. Is 11 a factor of b(3)?
False
Suppose m - 2 = -2*m + 4*g, 0 = -3*m + 3*g + 3. Let d(h) = -14 + 8*h - 18 + 29. Is 5 a factor of d(m)?
False
Let q(y) = y**2 + 4*y - 5. Let i be q(-4). Let c(b) = b**3 + 6*b**2 + 6*b + 7. Let o be c(i). Let a(x) = 2*x**2 + 2*x - 3. Is a(o) a multiple of 9?
True
Suppose 2*z + 2*k = 18, -5*k - 15 = 2*z - 48. Suppose -z*i - 68 = -5*i. Does 17 divide i?
True
Let g(z) = -z**2 + 2*z - 4. Let n be g(3). Let p be (-12)/(-8)*(-52)/3. Let k = n - p. Does 9 divide k?
False
Is (-6 + 231)*(-6)/(-10) a multiple of 43?
False
Let f = -60 + 114. Is 27 a factor of f?
True
Suppose 4*s = -16, -2*s + 0*s = -2*c + 22. Let l(m) = -m - 2. Let w be l(-5). Suppose -c*d + w*d + 48 = 0. Is d a multiple of 12?
True
Let s(n) = -n**2 - 1. Let q(k) = -4*k**2 - 3. Let u(c) = 2*q(c) - 9*s(c). Let z be u(0). Suppose -4*v + 10 = -z*v. Is 5 a factor of v?
True
Let b = -4 + 19. Is b a multiple of 4?
False
Suppose 7*l - 9*l + 14 = 0. Is l a multiple of 6?
False
Let t(v) = 3*v**2 - 6*v + 1. Let h be t(4). Does 6 divide (-3)/1 + 1*h?
False
Let w(r) = 64*r - 47. Is w(3) a multiple of 8?
False
Suppose 168 = 6*n - 114. Is n a multiple of 16?
False
Suppose 2*z + 837 = 5*c, 2*c - 5*z = -c + 506. Is c a multiple of 24?
False
Let a be 12/5 - (-2)/(-5). Suppose j = -a*j + 60. Does 10 divide j?
True
Let i(f) = f**2 - 1. Let p be i(3). Does 8 divide -4*3/(-6)*p?
True
Let h = -7 + 41. Let r = h + -19. Does 5 divide r?
True
Suppose 3*k - 22 = k. Suppose i = 4*h + h + k, 4*i - 6 = h. Let d(g) = 5*g**2 + 1. Does 3 divide d(i)?
True
Suppose 0 = 3*w + 2*w - 120. Is w a multiple of 3?
True
Let g = 31 - 19. Is g a multiple of 4?
True
Suppose 3*a + a - 20 = -2*p, 105 = 4*p - 5*a. Suppose 0 = w - 5*v - 22, -4*w + 9 = -5*v - 19. Suppose -w - p = -j. Is j a multiple of 12?
False
Let p(o) = -o**3 - 5*o**2 - 4*o + 5. Let j be p(-4). Suppose -4*t - d + 9 = -2*d, -2*t - 5*d = -21. Suppose -s + 79 = j*k - t*s, 4*s = -8. Is k a multiple of 6?
False
Let b = -47 - -107. Is b a multiple of 15?
True
Let p = -15 - -43. Suppose -a - 93 = -2*o - p, 29 = o + 3*a. Does 10 divide o?
False
Suppose -q = 3*q - 28. Let m = 18 - q. Is m a multiple of 8?
False
Let p be (2/(-1) + -10)/(-1). Let w be ((-153)/6)/((-3)/p). Suppose 4*r - w = 46. Is r a multiple of 18?
False
Let h(j) = -j**2 + 6*j - 1. Let c be h(5). Let y = 5 - c. Let i = 4 - y. Does 3 divide i?
True
Let u(o) = -78*o**3 + o**2 + o. Is 20 a factor of u(-1)?
False
Is (-145 - 0)*(10/5 - 3) a multiple of 12?
False
Suppose -22 + 2 = -5*c. Let x = c + -2. Suppose 2*a - 45 + 8 = -3*p, -2*a - x*p = -42. Does 13 divide a?
True
Let s be (2 - 3)/((-1)/5). Let q(f) = -117 + 117 + 6*f. Does 14 divide q(s)?
False
Does 22 divide 130 - ((-4)/(-5))/((-4)/10)?
True
Let m = -43 + 63. Let n(f) = f**2 - 2. Let x be n(2). Suppose -2*w = -x - m. Does 4 divide w?
False
Let n(r) = r**3 - 4*r**2 - r - 4. Let g be n(4). Let p(t) = -t**2 - 10*t + 3. Let h(z) = -z. Let j(q) = -2*h(q) + p(q). Does 2 divide j(g)?
False
Suppose 0 = -2*k - 4*g + 10, 4*k + 2*g - 11 = k. Suppose -k*q = q - 40. Suppose 0 = t - q - 14. Is 12 a factor of t?
True
Suppose -13 - 5 = 3*u. Let x(r) = -r**3 - 5*r**2 + 3*r - 6. Does 4 divide x(u)?
True
Suppose -4*r + 9 = 3*l, -5*r - 1 = -4*r + 4*l. Suppose -d + r + 4 = 0. Is 7 a factor of d?
True
Let t = -2 + 2. Let u = 4 - t. Suppose 0 = u*y - 8 - 48. Is y a multiple of 6?
False
Let f be (14/(-5))/(2/(-40)). Let m = -34 + f. Does 20 divide m?
False
Suppose d = -d + 160. Is 16 a factor of d?
True
Suppose -3*t + 5*v = -87, -132 = -5*t - 0*v + 4*v. Let m(p) = p**2 + 3*p - 9. Let f be m(6). Let l = f - t. Is 11 a factor of l?
False
Let k(j) = j**2 + 9*j - 4. Let n be k(-12). Suppose 5*o = n + 98. Does 26 divide o?
True
Let o(m) = m - 3. Let y be o(-3). Let k = -10 - y. Is k/(-8) - (-47)/2 a multiple of 12?
True
Let h(q) be the second derivative of q**4/12 + q**3/6 - 119*q**2/2 + 4*q. Let v be h(0). Is v/(-4) + (-2)/(-8) a multiple of 15?
True
Suppose 2*a - 120 = -2*a. Is a a multiple of 6?
True
Suppose 3*z - 21 = -0*z + 3*h, 4 = z - 4*h. Let a be 7/4 + 2/z. Suppose a*s + 18 = 5*s. Is 6 a factor of s?
True
Suppose 2*u + 3*u = 20. Suppose x = -u*x. Suppose 4*w + 6 - 90 = x. Is 21 a factor of w?
True
Suppose 0*z - 160 = -4*z. Is z a multiple of 6?
