6?
True
Let l = -23 + 16. Let k(v) be the second derivative of -v**3 - 3*v**2/2 - 2*v. Is k(l) a multiple of 13?
True
Let j = 16 + -42. Let c = j - -40. Is c a multiple of 14?
True
Does 8 divide 33/(0 - -3) - 3?
True
Suppose -27 + 6 = -3*c. Is 3*(c + (-3 - -3)) a multiple of 7?
True
Let r be 8/3 - (-12)/(-18). Suppose 0 = 5*x + r*j - 169, -2*x + 2*j + 95 = x. Is 11 a factor of x?
True
Let n be ((-2)/4*0)/2. Suppose -5*z = -j - 4*j + 35, n = -4*j + 12. Does 9 divide z/((-4)/9) + 0?
True
Let r(g) = g**3 + g**2 + g + 33. Suppose 3*f - 7*f = 0. Does 15 divide r(f)?
False
Suppose i + 38 = 3*i. Let o = i - -2. Is 8 a factor of o?
False
Let t be 5*-3*4/(-30). Suppose t*r - 36 = -4. Does 16 divide r?
True
Suppose 21 = -i - 5*k - 0*k, -4*i + 2*k - 106 = 0. Let a = i - -52. Is 13 a factor of a?
True
Let y(h) = 4*h - 1. Let w be y(1). Suppose 4*k = w*i - 0*i - 47, -3*i = -k - 50. Does 9 divide i?
False
Suppose -115*l = -118*l + 15. Is 2 a factor of l?
False
Is 19 a factor of 54 - (-1 + (-3 - -1))?
True
Let r be (0 - 1)*(-3)/1. Suppose 2*d + r = 3*v, d - 3*d - 4 = -2*v. Does 12 divide -2 - 4*6*v?
False
Suppose 4*y - 60 = -y. Suppose 7*o - 3*o = -y. Does 16 divide o/(-12) + 126/8?
True
Suppose 5*r + 80 = 5*m, r + 4*m = -r - 32. Let k(q) = -q**3 - 2*q. Let c be k(-3). Let h = r + c. Does 8 divide h?
False
Suppose -3*k - 2277 = -14*k. Does 19 divide k?
False
Let o(v) be the first derivative of v**3/3 + v**2 - 5*v - 5. Is o(-5) a multiple of 5?
True
Suppose r = -0*r - 19. Let y = r + 39. Does 10 divide y?
True
Suppose n - 46 - 2 = 0. Is 48 a factor of n?
True
Let a = 18 + 2. Is a a multiple of 20?
True
Let i(f) = -f**2 - 1. Let t be i(0). Let k(u) = 7*u**2 - u - 1. Is 6 a factor of k(t)?
False
Suppose 0 = 7*w - 5*w - 40. Is w a multiple of 10?
True
Let p = 94 - -4. Suppose -3*q + 2*n + p = 0, 5*q + 25 - 163 = -3*n. Is q a multiple of 15?
True
Let i be (-1 - 1)*4/8. Let x(c) = -43*c**3 + c**2 - 1. Is x(i) a multiple of 19?
False
Let s = 10 + -7. Suppose 0 = -3*i + 3*c + 45, -7 = i - 2*i + 3*c. Let o = i - s. Is 7 a factor of o?
False
Let m(y) = 5*y**3 + 2*y - 8. Does 18 divide m(2)?
True
Let b(m) = 2*m**2 - m - m**2 + 3 - 2*m. Let h be b(2). Let p(c) = 5*c + 1. Is 3 a factor of p(h)?
True
Let j(t) = -5*t. Let l(a) = -a. Suppose 0 = -2*w + w + 2. Let s(y) = w*l(y) - j(y). Is 3 a factor of s(2)?
True
Let a = -128 + 476. Is 15 a factor of a?
False
Let v be ((-5)/10)/((-2)/(-24)). Let q(c) = c + 11. Is 5 a factor of q(v)?
True
Let d(k) be the second derivative of k**4/3 + 5*k**3/6 + 3*k**2 - k. Is d(-4) a multiple of 16?
False
Let n(s) = -9*s - 3. Does 5 divide n(-2)?
True
Is 15 a factor of (-5)/(-4)*(-144)/(-12)?
True
Let u = 225 + -148. Is u a multiple of 26?
False
Let u(x) = x**3 + 5*x**2 + 3*x + 1. Let z be u(-4). Suppose -134 = -z*m + 46. Does 18 divide m?
True
Let k(y) = 2*y + 10. Suppose 3*b + 2 - 17 = v, -5*v - 15 = -3*b. Is 10 a factor of k(v)?
True
Let w(d) = 3*d + 7. Let k be 14*1 - 3/(-3). Let m be ((-2)/(-5))/(1/k). Is 17 a factor of w(m)?
False
Let h(p) = -4*p - 3 + 6*p**2 - 4*p + 4*p. Let r be h(-2). Suppose 0*j - r = -j. Is 18 a factor of j?
False
Let x(b) = 9*b - 10. Let t be x(5). Suppose -j = 1 - t. Does 13 divide j?
False
Suppose 0 = 2*w - 4*w + 80. Is w a multiple of 5?
True
Let t(x) = 26*x**2 + x - 1. Let k be t(1). Let y = k - -14. Suppose -4*z = -3*n + 11 - 1, -5*z = 5*n - y. Is n a multiple of 6?
True
Let l = 28 - 1. Is l a multiple of 9?
True
Let w = -45 - -65. Does 5 divide w?
True
Suppose -6*s - 140 = -s. Suppose -106 - 158 = 3*p. Let x = s - p. Is 22 a factor of x?
False
Let r be -3 + 1*(7 + -2). Suppose -d - r*d = 45. Is 6 a factor of (-4)/(-5)*d/(-1)?
True
Suppose 127 = 5*j - 2*c, 103 = 4*j + 5*c + 8. Does 14 divide j?
False
Suppose -4*l = -6*l - 5*w + 123, -l + 5*w + 84 = 0. Is 20 a factor of l?
False
Suppose -2*j + 0*j + 20 = 0. Suppose o - 3 = 3. Suppose -4*x - j = -o*x. Is 4 a factor of x?
False
Let r(v) = -v**3 - v**2 - 6. Let d = -11 - -8. Is r(d) a multiple of 4?
True
Let j(u) = -12*u + 1. Let c be j(-12). Suppose -o = -6*o + c. Is o a multiple of 22?
False
Suppose 6*g - 2*g = 8. Suppose -g*t + 54 = t. Does 7 divide t?
False
Let z(k) = 6*k - 15. Is z(7) a multiple of 9?
True
Suppose -5*o + 368 + 261 = -4*p, -o = -4*p - 113. Is o a multiple of 46?
False
Let i = 2 - -1. Let j = 6 - i. Suppose 4*q - u - 33 = 0, -5*q + j*u + 2*u = -45. Does 3 divide q?
False
Let u(f) = f**3 - 9*f**2 + 2*f - 13. Suppose 0 = -8*q + 3*q + 45. Does 3 divide u(q)?
False
Let m(z) = -2*z + 5. Let v be 1/(((-9)/(-12))/3). Let s be m(v). Is (-2)/s - 10/(-3) even?
True
Suppose 4*q = q + 6. Suppose -p - q*l = p - 42, -96 = -5*p - 2*l. Is p a multiple of 16?
False
Let m = -13 - 7. Let v = -13 - m. Suppose 2*b - b - v = 0. Is 4 a factor of b?
False
Let x = -120 - -174. Is x a multiple of 20?
False
Let o(a) = -a**2 - 5*a + 6. Let q be o(-7). Let k(l) = -11*l - 6. Does 21 divide k(q)?
False
Let f(l) = -l - 3. Let o be f(-5). Is 3 a factor of 8*(o - 15/12)?
True
Let d(b) = 16*b + 4. Let n be d(12). Does 12 divide n/10 + 12/(-20)?
False
Suppose 4*y = -12, 4*v + y = 1170 - 165. Does 12 divide v?
True
Suppose -2*n = -6*n - 8. Suppose 0 = o - 7 - 5. Let u = o - n. Does 7 divide u?
True
Let z = -7 - -1. Let p be 7 - 3/6*z. Is 2 a factor of p*(2/2)/2?
False
Let y = 181 + -117. Suppose 0 + 4 = -g - 5*t, 4*t - y = -5*g. Is 3 a factor of g?
False
Let w(g) = -g**2 + 2*g. Let t be w(2). Let m be 13 + (0 - (t + -2)). Suppose -q - m = -2*q. Does 7 divide q?
False
Suppose -2*x + 1 + 21 = 0. Is 7 a factor of x?
False
Suppose 5*n = -0*n + 5*k + 1855, 1855 = 5*n + k. Is n a multiple of 29?
False
Let n be 45/(-6) + (-4)/8. Is n/12 - (-154)/6 a multiple of 17?
False
Let h = 19 - 13. Let x(w) = h - 2*w - 2*w**3 + w**3 - 4*w**2 - 2*w**2 - 4*w. Is 11 a factor of x(-5)?
True
Let z(n) = -49*n**2 - n - 3. Let g be z(5). Does 18 divide g/(-36) + 1/(-4)?
False
Suppose -2*g + 236 = -36. Does 17 divide g?
True
Let j(f) = -2*f**2 - 16*f - 2*f**2 + 3*f**2 + 5*f. Is j(-9) a multiple of 6?
True
Suppose -98 + 318 = 5*v. Is 6 a factor of v?
False
Suppose -2*z - z + 15 = 0. Suppose 0 = z*f + 2*c - 14, -5*f + 0*c = -2*c - 26. Does 18 divide 1/(-2) - (-146)/f?
True
Suppose 171 + 60 = 3*h. Is 15 a factor of h?
False
Suppose -396 = -5*t - 4*j, 6*t + 3*j = 8*t - 163. Is 13 a factor of t?
False
Let c(r) = -r - 13. Is c(-16) a multiple of 3?
True
Suppose 0 = 4*f + 2*y - 208, -61 = -0*f - f - 5*y. Is f a multiple of 5?
False
Suppose -4*z + 625 = m, 0*z - 305 = -2*z - 3*m. Let u = z + -112. Is 15 a factor of u?
True
Suppose -5*m + 11*m = -66. Let i(w) = -19*w - 32. Let k(c) = -9*c - 16. Let g(d) = -6*i(d) + 13*k(d). Does 12 divide g(m)?
False
Let p(z) = z**2 + 2*z + 1. Let q(y) = -4*y - 2. Let j be q(-2). Suppose -12 = 4*f, 2*r - j*f = -8*f - 16. Is p(r) a multiple of 6?
False
Suppose 2*o + 2 = 0, -30 = -5*b + 4*o + o. Is b even?
False
Suppose -4*b + 20 = 0, 2 - 1 = 2*n - 3*b. Suppose -3*u + 8*u = 2*t + n, -t - 6 = -3*u. Does 3 divide t?
True
Suppose 3 = 5*p - r + 9, 2*p + 6 = 4*r. Is ((-6)/p - 1)*2 a multiple of 7?
False
Let n = -520 - -732. Does 33 divide n?
False
Let y = 442 + -242. Suppose -6*f + 5*u + 205 = -f, 4*f + 5*u = y. Is 15 a factor of f?
True
Suppose 3*l - 240 = -5*l. Is l a multiple of 15?
True
Let t = -1 + 7. Suppose -2*j - j + 55 = -5*q, -t = 3*q. Is j a multiple of 4?
False
Let x(v) = v**3 + 8*v**2 - 6*v - 10. Is 11 a factor of x(-8)?
False
Let n(f) = 2*f**2 + 4. Is n(4) a multiple of 12?
True
Is 12/8*(-224)/(-12) a multiple of 7?
True
Let s = -45 + 55. Is 5 a factor of s?
True
Let k = 222 + -157. Suppose 3*t + 2*h - 35 = -9, -5*t + h = -k. Is 9 a factor of t?
False
Let r(c) = c**3 - 2*c**2 + 6*c - 4. Let w be r(4). Is w/(2/((-8)/(-4))) a multiple of 26?
True
Suppose l = -5*p + 42, 45 = 3*p + p - 3*l. Is p even?
False
Suppose 0 = 2*j + 4*u - 18, -11 = 5*j + 5*u - 36. Let r be 9 + -5 + (j - 2). Let p = 2 + r. Is 3 a factor of p?
False
Suppose 3*t - 3 = 3. Suppose 3*w - 81 = -2*w + 4*y, t*w + y - 35 = 0. Does 10 divide w?
False
Let m = -6 + 11. Is 2 a factor of m?
False
Let q be 24/(39/(-48) + 1). Suppose z = -3*z + q. Does 12 divide z?
False
Suppose -r + 20 + 26 = 0. Is r a multiple of 14?
False
Let i = 6 - -18. Does 4 divide i?
True
Let a = 30 - 45. Is 184/(5/(a/(-6))) a multiple of 2