 = -5*j. Is n(t) even?
False
Suppose -r + 0 = 5. Let o(t) = -t**3 - 5*t**2 - 2*t + 6. Is 13 a factor of o(r)?
False
Let h be (9/(-6))/(1/(-2)). Is (h - 83)*1/(-2) a multiple of 23?
False
Let l(f) = 3*f**2 + 28*f + 10. Let p(o) = o**2 + 9*o + 3. Let i be (-4)/(-8)*(3 - -1). Let j(u) = i*l(u) - 7*p(u). Is 3 a factor of j(-5)?
True
Let r(i) = 4*i + 4. Let l be -2 + 3 + (3 - -4). Is 18 a factor of r(l)?
True
Suppose b = 3*b + 12. Let g be ((-136)/b)/((-2)/(-6)). Suppose -67 = -5*z + g. Is z a multiple of 13?
False
Suppose 2*x + k = -14 + 3, 2*k + 2 = 0. Let r(t) = t**3 + 4*t**2 - 6*t. Let d be r(x). Suppose 0*f = d*f - 215. Does 18 divide f?
False
Suppose -4*d = 6*f - f - 221, -5*d = 5. Suppose g = -2*l + 30, 40 + f = 5*l + 5*g. Suppose -a + b + 15 = -l, -3*a + 92 = 5*b. Does 16 divide a?
False
Let r(m) = m**2 + 8*m + 10. Let q = -37 + 24. Is 27 a factor of r(q)?
False
Let b(u) = u**3 + 6*u**2 - 2*u + 3. Let d be b(-6). Suppose 0 = -t + d + 15. Does 10 divide t?
True
Suppose 0*p + 3*w + 79 = 2*p, 76 = 3*p + 4*w. Suppose n + 23 - 109 = 0. Let t = n - p. Is 20 a factor of t?
False
Suppose -2*j + 150 = -0*g - 2*g, 4*g = -5*j + 411. Is 21 a factor of j?
False
Suppose 275 = 7*d - 2*d. Suppose 0 = -4*b + 2*i + 80, -4*i = -3*b - 5*i + d. Is b a multiple of 10?
False
Suppose -2*n - 3 + 19 = 4*d, 0 = 4*n - 5*d - 6. Suppose -5*k + 230 = -n*p, 138 = 3*k + p - 3*p. Does 14 divide k?
False
Let g(x) = 6*x**2 - 4. Let d(r) = -2*r**2 + 1. Let c(z) = -10*d(z) - 3*g(z). Let s be c(-2). Suppose s = -3*v + 37. Does 9 divide v?
True
Let l(p) = -3*p**2 + 9*p + 3. Let u(q) = 16*q**2 - 44*q - 14. Let n(a) = 11*l(a) + 2*u(a). Does 17 divide n(9)?
False
Let j(k) = k**2 - 12*k + 9. Let u be j(7). Let v = -105 + 153. Let c = u + v. Is c a multiple of 6?
False
Let f(p) = -10*p**2 - p. Let y be f(-1). Let q(w) be the second derivative of w**5/20 + 3*w**4/4 - w**3/2 + 3*w**2/2 + 2*w. Does 15 divide q(y)?
True
Let f(b) = 4*b + 10. Let m(p) = p**3 + 6*p**2 - p + 1. Let g = 16 + -22. Let r be m(g). Does 22 divide f(r)?
False
Suppose -2*w + 268 = 3*j + j, 4*j + w - 272 = 0. Is 10 a factor of j?
False
Let m(h) = 1 + 2*h**2 + 8*h - 5*h**2 + 2*h**2. Let v be m(8). Is 17 a factor of 2*(66/4 + v)?
False
Suppose 0 = 2*l - 3*l + 50. Suppose -a = -4*a + 90. Let t = l - a. Does 10 divide t?
True
Let t(y) = -2*y - 7. Let g(v) = -v - 3. Let k(w) = -13*g(w) + 6*t(w). Let f be k(6). Suppose a = 3, 2*a - 73 = -2*m + f. Does 10 divide m?
False
Let i(j) = -5*j**2 - j + 2*j + 6*j**2. Suppose -4*u = -5*w, 3*u = 2*w + 3*w + 5. Does 7 divide i(w)?
False
Let w(l) = l + 5. Let x be w(-4). Let m = 1 - x. Let k(g) = -g + 16. Does 9 divide k(m)?
False
Let s = 40 + 38. Is s a multiple of 14?
False
Let u = -6 - -9. Suppose 0 - 6 = -u*x. Suppose x - 1 = -i, n - 40 = -3*i. Is 15 a factor of n?
False
Let s(q) = -q + 1. Let u be s(-2). Suppose -u*z - 3 = -9. Suppose 4*v = -v - h + 104, z*h = v - 23. Is 14 a factor of v?
False
Suppose 26 = 4*q + 2*u, -q + 2*u - 18 = -3*q. Suppose 0 = 3*f + 3*h - 27, q*f + f + h - 57 = 0. Is f a multiple of 9?
False
Suppose -2*r - 39 = -3*d, -4*d + 2*r - 5*r = -52. Is 5 a factor of d?
False
Let d = 2 - -4. Suppose 3*f + d = 4*f. Does 2 divide f?
True
Suppose f + 3*f - 12 = 0. Let u = f + 0. Is 4 a factor of u - 3 - 10/(-2)?
False
Suppose 65 = 3*i - 142. Suppose 0*b = -b - 4*f + 78, b = -f + i. Is 22 a factor of b?
True
Let m(z) = -4*z + 13. Let i(q) = -3*q + 12. Let o(s) = 3*i(s) - 2*m(s). Is o(8) a multiple of 2?
True
Let j be (-2 - 3/(-15))*-5. Let z = -2 - -1. Let n = z + j. Is n a multiple of 4?
True
Let i be (-2 - -2) + 4/4. Is i/(-7) - (-1370)/35 a multiple of 10?
False
Let k(t) = 6*t**3 - t**2 + t - 4. Let g(h) = h**2 - 8*h - 5. Let o be g(8). Let v(f) = f**3 + f**2 + f + 1. Let u(a) = o*v(a) + k(a). Is 6 a factor of u(7)?
True
Suppose 3*n - 4*m - 140 = 0, -4*n - 3*m = 2*m - 197. Is 7 a factor of n?
False
Suppose -510 = -4*u - 3*h, 2*u - 2*h - 29 = 219. Is 21 a factor of u?
True
Suppose 104 = 5*w - 61. Does 11 divide w?
True
Let y(d) = 8*d + 5. Is y(3) a multiple of 3?
False
Suppose 2*b + 494 = 15*b. Is 19 a factor of b?
True
Suppose -2*l + 20 = 3*l. Suppose -2*p - l*r = -80, -4*r = p + r - 49. Does 10 divide p?
False
Is 6 a factor of (-63)/(6/(-2)) + 1?
False
Let s(k) be the second derivative of -k**5/10 + k**4/6 + k**3/6 + 4*k. Does 12 divide s(-2)?
False
Let j(t) = -t. Let l be j(-4). Let z be (8/6)/((-6)/(-18)). Suppose -3 = 2*s - 3*w + z, 3*s - l*w + 8 = 0. Is s a multiple of 2?
True
Does 67 divide 279 - (-12 + 2)/(-5)?
False
Is 7 a factor of 4/(-16) - (-57)/4?
True
Does 12 divide (-3)/2*(-168)/9?
False
Suppose 3*o - 2*o - 88 = 0. Let c = o + -51. Does 17 divide c?
False
Let a be 60/(-18)*3/(-2). Let n(f) = f - 6*f**2 - 3*f + 3*f**2 + f**3 - 5. Does 13 divide n(a)?
False
Is 41 a factor of 204 + 4 + -1 + -2?
True
Let n = -48 - -67. Is 4 a factor of n?
False
Suppose -2*u + 3 + 0 = -v, 0 = -4*u. Let c(o) = -30*o - 1. Does 36 divide c(v)?
False
Suppose -5*s + 276 = -2*h + h, 1 = -h. Is 17 a factor of s?
False
Suppose -2*h + 348 = h. Let y = -32 + h. Does 21 divide y?
True
Let t(h) = -11*h - 3. Let g(f) = -5*f - 1. Let y(k) = -13*g(k) + 6*t(k). Let s be y(-5). Suppose 2*l - 16 = -2*c, c - 18 = -s*c - 3*l. Is c even?
False
Let y be (-18)/(-4) - 2/4. Is 14 a factor of -2 - 65/(y/(-4))?
False
Let p = 28 + 0. Is (-21)/p + 159/4 a multiple of 12?
False
Let h(g) = g**2 + 18*g - 48. Is h(-26) a multiple of 17?
False
Let v(h) = -h**2 + 16*h. Does 19 divide v(12)?
False
Let n be (-6)/(-21) + (-26)/(-7). Suppose -n*j = 26 - 82. Suppose b - 2*q + 0*q = j, -2 = -3*b - 2*q. Does 4 divide b?
True
Let j(f) = f**3 + 6*f**2 + 4*f + 1. Let z be j(-5). Let m be (z/15)/(3/(-15)). Is m/6 - 56/(-6) a multiple of 9?
True
Suppose -42 + 124 = 2*p. Does 18 divide p?
False
Is ((-627)/55)/((-3)/10) a multiple of 35?
False
Let w(d) = -d**2 + 6*d - 3. Let c be w(2). Suppose 3*p - c*p + 26 = -5*m, -6 = -3*m. Is 9 a factor of p?
True
Let i be 2/3 + (-2)/(-6). Let c = 6 - i. Suppose c*j - 85 = -0*j. Is 6 a factor of j?
False
Let h(l) = 2*l - 9. Let n be h(9). Let x(m) = m**3 - 9*m**2 + 3*m + 7. Is x(n) a multiple of 17?
True
Suppose 4*g + 96 = 348. Does 38 divide g?
False
Let j(i) = -i**2 - 9*i - 5. Let g = -15 + 9. Does 13 divide j(g)?
True
Let f = -19 + 9. Is (0 - 6)/(f/35) a multiple of 19?
False
Let h be 2/(-6) + (-64)/6. Let q = h - -17. Is q even?
True
Suppose 0*o = 5*f - o - 515, f - 2*o - 112 = 0. Suppose h = 4*h - f. Does 17 divide h?
True
Let r = 29 - 12. Does 6 divide r?
False
Suppose -7*i + 3*i = c - 65, -4*c - i + 260 = 0. Is c a multiple of 29?
False
Let f(o) be the first derivative of -33*o**4/4 - o**3/3 - 1. Let d(j) = -2*j - 5. Let i be d(-2). Is 12 a factor of f(i)?
False
Let d be 1/(1/(-3)) - 3. Is 16 a factor of (-138)/(-4) - d/(-12)?
False
Let t(h) = -h**2 + 6*h + 5. Let n be t(6). Suppose 4*r - 3 - n = 0. Suppose -r*m + 65 = 3*m. Is m a multiple of 4?
False
Let y = 18 + -10. Let q(r) = -r**2 + 8*r + 8. Does 8 divide q(y)?
True
Let w = 53 - -23. Is 38 a factor of w?
True
Suppose 0 = -2*o + 12*o - 530. Is 5 a factor of o?
False
Suppose 0 = -7*j + 13*j - 366. Does 5 divide j?
False
Let r = -96 - -175. Let d = -31 + r. Is 13 a factor of d?
False
Let q(w) = 43*w**3 + w - 2. Does 14 divide q(1)?
True
Let j(s) = -s**3 + 4*s**2 + 7*s - 6. Let w be j(5). Suppose -w*d = d. Suppose d = 4*a - a - 90. Does 10 divide a?
True
Let j be -1 + (5 - 2) - 3. Is (13 - 14)*54/j a multiple of 18?
True
Let q(y) = -3*y**2 - 5*y - 6. Let a(r) = r**2. Let j(x) = 5*a(x) + q(x). Let c be j(5). Suppose -5*i + 35 = -4*z, 4*i - 2*z - 3*z = c. Does 5 divide i?
False
Let n(m) = -13*m - 1. Is n(-4) a multiple of 6?
False
Let p be (-1091)/(-3) - (-2)/6. Suppose -2*y + 2*u + 188 = 0, -7*y + p = -3*y - u. Is y a multiple of 15?
True
Let i(d) = -d**2 - d. Let z(p) be the first derivative of 14*p**3/3 + p**2 + p + 1. Let r(c) = 2*i(c) + z(c). Does 7 divide r(-1)?
False
Let s = 22 - 10. Let z be ((-9)/s)/(3/12). Let f(y) = 5*y**2 + 2*y - 3. Does 15 divide f(z)?
False
Let d(s) = -s**2 - 3*s + 3. Let a be d(-6). Let r = 39 + a. Is 12 a factor of r?
True
Let w be ((-10)/(-4))/(1/2). Suppose -19 = 6*z - w*z. Let p = z + 34. Is p a multiple of 8?
False
Suppose 2*q - 2*w - 8 = q, 3*w = -3*q - 3. Let o = q + 1. Suppose -o*b + 3