 3?
False
Let z be 1/((-16)/14 + 1). Let t(l) = 8*l**2 + 3*l + 5. Let o(s) = 7*s**2 + 4*s + 5. Let c(m) = z*o(m) + 6*t(m). Does 8 divide c(-8)?
False
Is 13 a factor of 65 + (6/(-21) - (-2)/7)?
True
Let m(g) be the third derivative of g**5/60 + g**4/6 + g**3/3 + 3*g**2. Is m(-4) a multiple of 2?
True
Let i(c) be the second derivative of 5*c**4/12 + c**3/3 - c**2 - 2*c. Does 14 divide i(-2)?
True
Let q = 12 - -49. Suppose -2*j + 108 = -4*s, 4*s = -j - s + q. Does 25 divide j?
False
Let z = -23 + 59. Does 9 divide z?
True
Let u(p) = -p**3 - 7*p**2 + 5*p - 7. Let z(b) = -b**3 - 8*b**2 + 4*b - 8. Let d(t) = 4*u(t) - 3*z(t). Is 10 a factor of d(-6)?
True
Suppose -2*c + 21 = 5*f - 2, -4*c = 4*f - 16. Is (-1 - 0)/(c/7) a multiple of 7?
True
Let g(c) = -242*c**3. Let q be g(-1). Let m = q - 61. Suppose 0 = -3*a - 43 + m. Is 23 a factor of a?
True
Suppose 3*f + 5*m = 194, -2*f + 336 = 3*f + 2*m. Is f a multiple of 34?
True
Let k be -1 + -1 - (-7 + -3). Let y(g) = g**3 - 8*g**2 + g - 5. Let t be y(k). Suppose t = 3*h - 6. Does 2 divide h?
False
Suppose 5*n = 5*v + 5, -2*v - v + 11 = 4*n. Suppose 3*x + n*c + 3*c - 82 = 0, 4*c + 84 = 2*x. Is x a multiple of 17?
True
Suppose 4*v + 6 + 6 = 0. Let i be (12 + -3)/v - -32. Let t = -20 + i. Is t a multiple of 3?
True
Suppose -j = -5*j + 24. Suppose 4*x - j = 2*x. Suppose x*a - 106 = -4. Is 12 a factor of a?
False
Let q be (-5)/(-1 - 54/(-57)). Suppose i = -5*u - 4*i + q, -4*u - i = -61. Is u a multiple of 14?
True
Suppose 3*f + 5*v = 105, 4*v = -4*f - f + 175. Suppose -28 = q + f. Is (q/(-12))/(2/8) a multiple of 14?
False
Is (1/(6/(-172)))/(4/(-6)) a multiple of 13?
False
Let z(d) be the third derivative of d**5/20 + d**4/8 + d**3/6 + 3*d**2. Let l be (-13)/5 + 2/(-5). Is z(l) a multiple of 15?
False
Suppose -3*s - 40 = 2*s. Let i(g) = -g**2 - 8*g + 2. Let p be i(s). Suppose 5*w - 88 = -p*j, w = 4*w + j - 52. Is w a multiple of 16?
True
Let k(i) = -i**3 + 5*i**2 - 4. Is k(4) a multiple of 9?
False
Suppose -2 = -h - 0. Let x(b) = 4*b**2 + 0*b**2 - h*b + 2*b**2. Does 14 divide x(-2)?
True
Let p be ((-1)/(-2))/((-2)/(-76)). Is 3 a factor of (1 - p)/(1 + -3)?
True
Suppose -39 = -3*t - 12. Is t a multiple of 9?
True
Let b = -206 - -369. Is b a multiple of 25?
False
Does 5 divide (0 + 2 + 15)*1?
False
Let u(g) = -19*g**3 + g**2 + g + 1. Let k be u(-1). Let z = 35 - k. Is 15 a factor of z?
True
Suppose d = 4*i + 3, 0 = 2*d + 2*i - 9 - 27. Is d a multiple of 10?
False
Suppose -5*h + 256 = -724. Is 49 a factor of h?
True
Let b(y) = -36*y - 1. Let d be b(1). Let c = d - -86. Does 17 divide c?
False
Let p = 23 + -16. Is 7 a factor of p?
True
Let f(h) be the first derivative of -9*h**2 + h - 3. Let q = -1 + 0. Is f(q) a multiple of 7?
False
Suppose -4*y - 12 = -3*t, y + 2 - 10 = -2*t. Suppose 0 = -t*r + 99 + 41. Is r a multiple of 10?
False
Suppose -11 = -2*y + k - 4*k, -5*y + 50 = 3*k. Is y a multiple of 13?
True
Suppose -4*o - 2*i = -24, 3*i - 4*i = 4*o - 24. Let u = 7 - o. Is (-21)/3*(0 - u) a multiple of 4?
False
Let b be 1*(6 + -1 + -2). Let q(u) = 8*u + 2. Is q(b) a multiple of 9?
False
Is 4*21/6*1 a multiple of 7?
True
Suppose 0 = -5*c - 12 + 27. Suppose 199 - 19 = c*o. Does 14 divide o?
False
Suppose 0 = -7*b - 377 + 923. Does 13 divide b?
True
Let s = 29 + 31. Does 12 divide s?
True
Let z be (-10)/3*(-31 + 7). Suppose z = -h + 3*h. Is h a multiple of 8?
True
Let m = 21 + -25. Suppose 113 = 5*x + 43. Let v = m + x. Is 4 a factor of v?
False
Suppose -4*h - 119 = 3*u - 2*u, -3*u - 125 = 4*h. Let t = h - 15. Let f = -25 - t. Is f a multiple of 19?
True
Suppose -5*x = 3*u + 40 - 11, -3*u = 9. Is 5 a factor of 11 + -1 + 4 + x?
True
Let j be 15 + (-4 - -2) + -1. Is (63/j)/(6/16) a multiple of 3?
False
Let k(b) = -109*b**3 - b**2 + 2*b - 1. Let f be k(1). Let i = f - -166. Suppose 2*s = -s + i. Does 14 divide s?
False
Let l = -16 - -32. Is l a multiple of 8?
True
Suppose 5*c + 5*g = 180, -3*g = -c - 2*c + 108. Is 9 a factor of c?
True
Let t = -116 + 224. Does 27 divide t?
True
Let k(i) = 13*i - 4. Let p(f) = -f**3 + 3*f**2 + 6*f - 6. Let q be p(4). Is k(q) a multiple of 12?
False
Let w(i) = -15*i + 3. Let u(t) = t. Let f(n) = 4*u(n) + w(n). Does 13 divide f(-3)?
False
Suppose -3*o + 5*o = 6, -58 = -2*r - 2*o. Does 6 divide r?
False
Let k = 79 + -33. Does 6 divide k?
False
Let c = 153 + -97. Is c a multiple of 14?
True
Let o be (-2)/((9/(-12))/3). Does 5 divide (-553)/(-28) + 2/o?
True
Suppose 0 = -35*u + 37*u - 26. Does 2 divide u?
False
Let r(i) = i**3 + 4*i**2 + 2*i. Let g be r(-4). Is 30/4*g/(-3) a multiple of 9?
False
Suppose -3*s = 6*s - 63. Is s a multiple of 4?
False
Does 10 divide 423*(-6)/(-63) - 4/14?
True
Let k(t) be the first derivative of 4*t**3/3 - 3*t**2/2 - 3*t - 1. Let s be ((-3)/2 + 1)*-6. Does 12 divide k(s)?
True
Let v be ((-12)/(-14))/(9/42). Suppose -117 = -v*h - 25. Is h a multiple of 4?
False
Suppose p = 2*p. Let x be p + 0/(-1) + 5. Suppose -2*s = -13 + x. Is s a multiple of 2?
True
Let a(s) be the second derivative of 2*s - 2*s**3 - 1/12*s**4 - 1/2*s**2 + 0. Does 13 divide a(-9)?
True
Let n = 56 - 79. Let g = n + 71. Is g a multiple of 24?
True
Let k be 19 + 12/(1 - -3). Suppose -t + 28 = -k. Does 25 divide t?
True
Let w(l) = -2*l - 6. Suppose -f - 55 = 4*f. Does 8 divide w(f)?
True
Let h(f) = f**3 + f**2 + f - 39. Let k be h(0). Suppose -315 = -5*z + 4*b, 4*z + b + 4*b = 211. Let y = k + z. Does 10 divide y?
True
Suppose -25*z + 2755 = -6*z. Is 10 a factor of z?
False
Let r(z) = z**2 + 8*z - 3. Let f(d) = -d**2 - 7*d + 4. Let y(k) = -6*f(k) - 7*r(k). Is y(-9) a multiple of 21?
True
Let r = 16 + -30. Let k = r - -28. Is k a multiple of 3?
False
Let d(b) = 25*b**2 + b - 1. Does 6 divide d(1)?
False
Let h = 4 + -1. Suppose 80 = 2*o + h*o. Is 10 a factor of o?
False
Suppose 0 = -2*w + 4*n + 114, -3*w + 211 = -3*n + 5*n. Does 14 divide w?
False
Let p(o) = 2*o**2 - 4*o + 8. Is 7 a factor of p(6)?
True
Let u = 17 + -20. Does 9 divide 38 - (-4)/(-12)*u?
False
Let z(n) = n**3 + 6*n**2 - 7*n + 9. Let y be z(-7). Suppose -y*h - 10 = -4*h. Is ((-4)/h)/((-6)/(-27)) a multiple of 3?
True
Does 34 divide 306/(-1 + 4)*5/5?
True
Let v(k) = 3*k**2 - 2*k - 6. Let l be v(-6). Let z = l + -41. Let f = -47 + z. Does 13 divide f?
True
Suppose 4 - 19 = -3*q. Let c(t) = -3*t - 1 - t + 6*t + 5*t. Does 17 divide c(q)?
True
Let z(g) = -4*g**3 + 2*g**2 + 3*g + 3. Let l be 4*1/(-2)*1. Let f be z(l). Let p = -17 + f. Is p a multiple of 10?
True
Let k = 6 + -6. Suppose h = -k*h - 3. Let l = 4 - h. Is l a multiple of 7?
True
Let r(b) = b + 1. Let d(q) = -6*q - 4. Let f(t) = -d(t) - 5*r(t). Let z(l) = 11*l - 3. Let c(o) = -6*f(o) + z(o). Does 18 divide c(3)?
True
Let c(m) = -15*m - 2. Let u = 20 - 21. Is 13 a factor of c(u)?
True
Let h(u) = -10*u - 7*u - 14*u. Let f be h(-2). Let l = -24 + f. Is l a multiple of 15?
False
Suppose -283 = 3*n - 88. Let s = n + 19. Let q = 64 + s. Does 9 divide q?
True
Let n = -7 + 19. Is n a multiple of 3?
True
Let b(i) = -i**2 + 19*i - 16. Does 24 divide b(11)?
True
Let l(o) = -11*o - 1. Let m(t) = -t. Let g(x) = l(x) - 2*m(x). Is 9 a factor of g(-4)?
False
Suppose -3*f - 2*f + 400 = 0. Does 20 divide f?
True
Is 5 a factor of 516/26 + 4/26?
True
Let x(t) = -4*t + 3 - t**3 + 5*t + t + 2*t**2. Let f be x(3). Suppose -4*z = 4, f*q = -q - z + 19. Is 12 a factor of q?
False
Let g(n) = 7 - 3*n - 2*n - 2*n + 3*n. Is g(-5) a multiple of 13?
False
Suppose 4*l - 20 = 3*i, 0 = -i - 5*l + 8 + 17. Suppose -3*y - 3*h - 2 = -20, i = 4*y + 3*h - 21. Suppose -8*m + 120 = -y*m. Does 12 divide m?
True
Let p = 79 - -29. Suppose -p = -6*x + 3*x. Is x a multiple of 18?
True
Let g be 6/((-1 - 1)/(-2)). Suppose -5*w + g = -c, 23 = 2*c - 0*c - 3*w. Is c a multiple of 8?
False
Suppose -3*v = -4*v + 55. Is 10/v + (-383)/(-11) a multiple of 12?
False
Let g(z) = -12*z**2 + 1. Let y be g(1). Let r(b) = -b + 1. Does 12 divide r(y)?
True
Let c(g) = g - 13. Let b be c(11). Let j be 6 - (6 - (b + 5)). Suppose 10 = j*r - r. Is r even?
False
Let s = -73 - -124. Is 17 a factor of s?
True
Let c = -48 - -66. Is 3 a factor of c?
True
Let z be 1 + 1*(34 - 0). Suppose a + z = 6*a. Suppose a*q - 64 = 3*q. Is 13 a factor of q?
False
Let u(h) be the first derivative of 41*h**3/3 - 2. Is u(-1) a multiple of 21?
False
Let a(l) = -l**3 + 15