39. Suppose 0 = 3*c - 5*s - 88, c = -2*s + 56 - f. Is 18 a factor of c?
True
Suppose 3*a - 2 = 5*j, 0*j = 4*a + 5*j - 61. Does 2 divide a?
False
Suppose -3*c + 78 + 27 = 0. Is c a multiple of 4?
False
Suppose 185 = 6*m - m + 2*g, m - 25 = 2*g. Does 3 divide m?
False
Suppose -4 = t, t - 12 = 4*g + 2*t. Let f be (3 + -4)/(g/4). Suppose 5*p + f = 172. Is 17 a factor of p?
True
Let r be (-3 - (1 - 1))/(-1). Let z(b) = -2 + 2 + 9*b. Is 12 a factor of z(r)?
False
Suppose 4*x + x - 5*f = 485, 0 = 4*x - f - 400. Is 14 a factor of x?
False
Let v(u) = 6*u + u**3 - 5*u + 2*u. Is 18 a factor of v(3)?
True
Let o(u) = 10*u**2 - u - 2. Is o(-2) a multiple of 8?
True
Let w = -12 + 6. Let d(p) = -9*p - 9. Let k be d(w). Suppose -2*h + k = -3*t - 8, -60 = -3*h - 2*t. Does 11 divide h?
True
Let i(q) = q**2 - 2*q - 9. Let b be (10/(-6))/((-5)/(-15)). Let z = -11 - b. Is 15 a factor of i(z)?
False
Suppose 2*x - 2*f = 2, -4*f = 5*x + f + 25. Let z = x + 4. Does 7 divide (5/15)/(z/54)?
False
Is 24 a factor of ((-6)/8)/((-9)/864)?
True
Suppose -2*z - 10 = 0, 0 = -3*x + z - 4*z - 66. Suppose b - 62 = -b. Let q = b + x. Is 6 a factor of q?
False
Suppose 2*o - 362 = -3*o - g, 286 = 4*o + 2*g. Is 16 a factor of o?
False
Suppose 4*z + 330 = 3*a + z, -5*a - 2*z = -515. Suppose 0 = v - 0*v - 5*t - 18, -2*v - 9 = 5*t. Suppose v*y - 12 = a. Is 23 a factor of y?
False
Let l(v) = -v**2 + 7*v + 1. Is 7 a factor of l(4)?
False
Let h(c) = c. Suppose p = -a + 2*a + 5, -p = -5*a - 17. Suppose -2*m = -3*g - 0*g - 27, -4*m + 34 = -p*g. Does 5 divide h(m)?
False
Let v be (6 - 0) + -1 - -3. Suppose 0 = 5*i - l - v - 57, -5*l = 4*i - 81. Is 7 a factor of i?
True
Let z be ((-15)/3)/(-2 - -1). Suppose 5*o - 14 = 31. Suppose z*g + o = 39. Is 6 a factor of g?
True
Does 2 divide 4/10 + (-1038)/(-30) + 0?
False
Suppose 5*u - 976 + 261 = 0. Is u a multiple of 7?
False
Let u(t) = -t**3 - 5*t**2 - t - 6. Let v(m) = m - 1. Let l(d) = u(d) - 5*v(d). Does 3 divide l(-4)?
False
Let b = 126 + -63. Does 22 divide b?
False
Suppose 2*b = 3*b + 5*h + 3, 3*b + 5*h - 11 = 0. Is b a multiple of 6?
False
Let u be 10821/15 + (-2)/5. Let r be u/49 + 2/7. Suppose -5*c + 50 = -r. Is c a multiple of 10?
False
Let x(r) = r + 3. Let b be x(0). Suppose 5*o = 3*o + b*a - 11, 0 = 2*a - 10. Suppose -o*h + 64 = 12. Is 13 a factor of h?
True
Suppose -4*n + 16 = -0*n, 0 = -3*l + 4*n + 29. Does 5 divide l?
True
Let k = -112 - -640. Is 66 a factor of k?
True
Suppose -14 = -2*k - 0*k. Is k even?
False
Suppose 4*v - 578 = 482. Suppose -v = -5*t - 95. Is t a multiple of 17?
True
Let v be -1 + 2 - (-1 + -1). Let h(g) = 1 - 4*g - v - g. Is h(-2) a multiple of 5?
False
Is 21 a factor of (-3)/7 + (-900)/(-42)?
True
Let a = 7 + -2. Let v = 4 - a. Let s = v - -17. Does 8 divide s?
True
Let c(f) = -f**3 - 5*f**2 + f - 3. Let r be c(-7). Suppose r + 53 = 3*d. Is 20 a factor of d?
False
Let s(g) = -5*g + g + 0*g. Is 10 a factor of s(-6)?
False
Let r = 5 + -5. Suppose 2*k - 5*v - 47 = r, -v - 5 = -0. Is k a multiple of 3?
False
Suppose -20 = -3*l + 4*d - 0*d, l - d = 5. Let z(p) = -p**3 - p**2 + 24. Let v be z(l). Suppose y - v = -3*y. Does 3 divide y?
True
Suppose -59 = -4*w - 2*n + 55, 3*n + 109 = 4*w. Let x = w - 13. Is 6 a factor of x?
False
Suppose -4*f = -0*f. Let o(v) = 11*v - 3. Let t be o(3). Suppose f*x - x + t = 0. Is 15 a factor of x?
True
Suppose 0 = 5*f + 5*f - 2090. Does 31 divide f?
False
Suppose 0*c = -4*u + 4*c + 416, 4*u + 2*c = 392. Is u a multiple of 20?
True
Suppose 0 = 4*j - 4 - 4. Suppose -t = -6 + j. Suppose -3*k + 29 = -5*h, k = t*h + 2 + 17. Is 2 a factor of k?
False
Suppose 415 - 175 = 5*q. Is q a multiple of 8?
True
Suppose 2*b + 5*c + 5 = -4, -c + 12 = 5*b. Let y(d) = -3*d**3 - 4*d**b + 7*d**2 + 6 + 6*d**3 - 4*d. Is 19 a factor of y(4)?
True
Let t(l) = l**3 - 5*l**2 - 3*l + 3. Let z be t(6). Suppose -5*o - 2*a = -a - 63, -4*a = -o + z. Suppose 1 = -d + o. Does 12 divide d?
True
Let v(q) = 5*q + 4. Let t be v(3). Suppose -2*y + 85 = -3*x, -t = -5*x + 6. Suppose y + 22 = 4*m. Does 10 divide m?
False
Let p(j) be the third derivative of -3/20*j**5 - j**2 - 1/120*j**6 - 13/6*j**3 + 0 + 0*j - 1/12*j**4. Is p(-9) a multiple of 5?
True
Let d be 8/12 - (-8)/6. Suppose 3*m - m + 8 = 0, d*a - 56 = -m. Is 10 a factor of a?
True
Suppose -3*l - 2*l = -20. Suppose -l*w + 13 - 1 = 0. Suppose -3*p = 5*b - 24 - 77, w*b = 3*p - 141. Is p a multiple of 21?
True
Suppose 5*s + 2 = 32. Is s a multiple of 5?
False
Is 15 a factor of 2*(-167)/(-22) + 18/(-99)?
True
Suppose -3*k + 3*o = 15, -2*k = 2*o - 0 - 2. Let u be (0 + 2/4)*k. Does 20 divide (u + 13)/(2/8)?
False
Suppose -3*i + 5*i = 20. Let w(s) = s**2 - 3*s + 6. Let x be w(i). Suppose -48 = -3*y - 3*z, x = 2*y + 3*y + 3*z. Does 14 divide y?
True
Suppose -2*q + 332 = 62. Does 24 divide q?
False
Suppose 31*t + 105 = 36*t. Does 7 divide t?
True
Suppose -4*o + 88 = -5*z, 0 = 3*z - 4*z - o - 23. Is z/(-2 - (-2)/2) a multiple of 10?
True
Let v = -6 + 11. Suppose 3*o + p + 83 = 0, v*p = 3*o + 86 + 3. Is 2 a factor of 1/3 + o/(-6)?
False
Let j = 37 + -26. Let g be 4/(-22) + 46/j. Suppose 4*i + x = 37, 5*i + g*x = 10 + 28. Is i a multiple of 6?
False
Suppose -3*q - 2*o = 2*o - 599, 0 = 2*q + 4*o - 398. Does 27 divide q?
False
Let b(o) = -o**3 + o**2 - 1. Let f be b(-1). Suppose 0 = -c + f - 5, 4*i + 4*c = -8. Does 7 divide 84/18*3/i?
True
Let r = -84 + 126. Is 21 a factor of r?
True
Let a = 5 - 10. Let j(b) = -5*b - 1. Does 10 divide j(a)?
False
Let q(a) be the third derivative of -a**6/120 - a**5/12 + a**4/12 - a**3 - a**2. Is q(-6) a multiple of 9?
True
Let g(q) = 11*q. Is 12 a factor of g(4)?
False
Let u = 1176 - 680. Is (u/24)/(1/3) a multiple of 14?
False
Suppose 4*s - 315 = s. Suppose -s = -5*k - 2*r + r, 0 = -2*k + 5*r + 69. Is k a multiple of 22?
True
Suppose 5*g = 2*g + 27. Suppose 3 - g = -f. Is 7 a factor of (2 - 3*f)/(-1)?
False
Let q(v) = -v**3 + 9*v**2 + v - 5. Is q(3) a multiple of 13?
True
Let m(x) = x**3 + x + 2. Let u be m(0). Suppose -3*o + 40 = -u*y, y - 3*y = 5*o - 88. Does 8 divide o?
True
Let u(s) = -4 + 7*s - 5 - s**3 - 3*s**2 - s**2 - 4*s**2. Is u(-9) a multiple of 7?
False
Let p = -233 + 443. Is 42 a factor of p?
True
Suppose 3*q - 13 - 14 = 0. Let o = -10 + q. Is o/(-5) - 78/(-10) a multiple of 7?
False
Suppose -f - 2*f + 117 = 0. Suppose -3*s = -33 - f. Does 8 divide s?
True
Suppose 4 = -2*u - 0. Let t be (6/2 + -3)/u. Does 19 divide t/(-2 - 0) + 56?
False
Is 17/(-51) - 34/(-3) a multiple of 11?
True
Suppose 0 = -4*y - q + 16, -5*q = 1 + 19. Suppose -y*w = -2*a - 70, 4*a + 0*a - 100 = -5*w. Does 8 divide w?
True
Let b(c) = -91*c - 64. Is b(-4) a multiple of 20?
True
Let f(w) = 2*w**3 + 23*w**2 - 23*w - 14. Let m(t) = -t**3 - 12*t**2 + 12*t + 7. Let l(u) = -3*f(u) - 5*m(u). Is l(-10) a multiple of 8?
False
Let l(x) = 4*x**2 - 4*x - 8 - 3*x**2 - 2*x. Does 16 divide l(10)?
True
Let v = 107 + -28. Is v a multiple of 27?
False
Let j(w) = -3*w**3 + 0*w**3 + 2*w**3 + 8*w - 2 + 4*w**2. Let i be j(6). Let l = i - -50. Does 12 divide l?
True
Let m be -10*((-24)/(-15) + -2). Suppose -2*n + m + 2 = 0. Does 3 divide n?
True
Let s(y) = y**3 - 1. Let d(p) = -p**3 - 4*p**2 - 5*p - 3. Let l(w) = -d(w) - 2*s(w). Does 2 divide l(5)?
False
Let r be (16/6)/((-3)/9). Let q(k) = 2*k**2 - 2*k + 1. Let g be q(r). Suppose -3*i = 2*i - g. Is i a multiple of 11?
False
Does 19 divide (-2)/(((-4)/(-24) - 0)/(-6))?
False
Let j(b) = 20*b**2 + 2*b + 8. Does 48 divide j(4)?
True
Suppose b - 6*b - 3*h = -340, 2*h = -4*b + 274. Does 11 divide b?
False
Let u(v) = -v**3 - 6*v**2 - 4*v + 5. Let x be u(-5). Let t(d) = -2*d + 32. Does 16 divide t(x)?
True
Suppose f - 2 = -4. Does 7 divide 2 - -17 - (f + 0)?
True
Let r be 138/(-8) - (-4)/16. Let m = r - -57. Does 10 divide m?
True
Let g = 7 - -3. Suppose -g - 56 = -2*l. Is l a multiple of 20?
False
Let q(o) = o**3 + 10*o**2 - 5*o - 3. Does 4 divide q(-10)?
False
Let i(t) = t**2 - t + 2. Let w be i(4). Suppose 0 = -4*o + 3*o + w. Is o a multiple of 3?
False
Let d(b) = 2*b**2 - 4*b + 6. Is d(4) a multiple of 6?
False
Let g(k) = k**3 + 14*k**2 + 16*k - 23. Is 8 a factor of g(-12)?
False
Suppose 4*c = -16 + 52. Let q(j) = j**3 - 2*j**2 - 5*j - 1. Let s be q(4). Let w = s - c. Is w a multiple of 2?
True
Suppose 0 = -2*a - 3*x - 1, -4*a - 5*x + x = -8