+ 28/1. Suppose w - 4*w = -y. Does 3 divide w?
True
Suppose 40 = 5*p - 5*v, 3*v - 2*v = -4. Is 2 a factor of p?
True
Let y = -3 - 0. Does 14 divide y/((-27)/84)*3?
True
Let x = 229 + -88. Suppose 0 = 5*j - x - 104. Does 23 divide j?
False
Suppose -3*k = 5*t - 224, k - 93 = t + t. Is k a multiple of 16?
False
Suppose -u + 2*h = 6*h - 57, 3*u = -h + 226. Does 7 divide u?
True
Let i = 0 + 3. Let j be 26*i/3 - 1. Does 13 divide ((-52)/5)/((-10)/j)?
True
Suppose -v + 2*v = -5. Let d be -3*(0 + 1)*-6. Does 12 divide (d/v)/((-9)/60)?
True
Let a = 15 + -10. Suppose 4*z + 4*m = -4, a*m + 3 = 3*z - 6*z. Is 3 a factor of z/((-1)/6*2)?
True
Let q(t) = -t**3 - 3*t**2 + 5*t + 6. Let n be q(-4). Let r = 8 + 15. Suppose -r = -n*v + 55. Is 10 a factor of v?
False
Let b = -7 + 9. Suppose s = 2 + b. Is s a multiple of 2?
True
Let x = -6 + 16. Is 10 a factor of x?
True
Suppose 3*z - 3*b = 696, -z - 3*b = 2*z - 714. Suppose -4*f - p = -4*p - 243, 4*f = -5*p + z. Does 21 divide f?
False
Let y be (-4)/5 - 4536/(-45). Suppose -k = -5*k + y. Is 25 a factor of k?
True
Suppose 26 = -4*g + 50. Is g a multiple of 4?
False
Suppose 0*v + 4 = v. Suppose -120 - v = -4*u. Does 19 divide u?
False
Let n(h) = 3*h - 9. Let j be n(6). Does 6 divide (84/j)/((-2)/(-6))?
False
Let j be 6/(-24) - 13/(-4). Let x = -3 + j. Is 3 a factor of 1 - 1 - x - -3?
True
Let i(t) = t - 3. Let o be i(7). Suppose 5*p - 19 = a, -o*p - 2 + 6 = 2*a. Is (12/(-10))/(a/70) a multiple of 8?
False
Let k(d) = -d**2 + 6*d - 3. Let g be k(5). Suppose -t + g = -j - 0, 5*t = 5. Let i = j + 53. Does 26 divide i?
True
Let o be 2/(-6) + 13/3. Let h(t) = 7*t. Is 17 a factor of h(o)?
False
Let f = 94 - -22. Does 29 divide f?
True
Suppose 55 = -4*d - 5. Let w = d - -30. Is w a multiple of 15?
True
Let w be -1*(-1)/(-3)*-3. Does 11 divide -1 + -3 + w - -28?
False
Let k(u) = 2*u**2 - 10*u - 7. Does 13 divide k(-4)?
True
Is 15 a factor of 6 + (-3)/1 + 72?
True
Suppose 5*l - 11 = 59. Is 14 a factor of l?
True
Suppose 0 = -2*i - 0*i - 42. Let r = i - -34. Is r a multiple of 9?
False
Let k be (-4)/6 + 165/(-9). Let s = k + 37. Suppose -3*d + 63 = s. Does 7 divide d?
False
Let p(o) = 18*o - 4. Let d be p(7). Let w = d + -69. Suppose -w + 143 = 3*z. Is z a multiple of 13?
False
Suppose 0 = 7*y - 747 + 47. Is 10 a factor of y?
True
Suppose 0 = 3*f + 2*x + 11 - 509, -x = 5*f - 823. Does 30 divide f?
False
Let m(c) = -5*c**3 - c**2 + c + 4*c**3 + 2*c**3 + 6 - 5*c**2. Is m(6) a multiple of 7?
False
Suppose 724 - 40 = 3*r. Does 38 divide r?
True
Let d be 1/4 + (-113)/4. Let a = -8 - d. Is a a multiple of 10?
True
Let c = -145 + 157. Is c a multiple of 6?
True
Let l(o) = -o**3 + 17*o**2 - 19*o - 4. Does 41 divide l(15)?
False
Suppose 12 + 72 = 3*l. Does 7 divide l?
True
Is (22/(-33))/(2/(-153)) a multiple of 17?
True
Let q be (-72)/(-4)*1/2. Let r = q - 4. Suppose r*z - 29 = 6. Is z a multiple of 3?
False
Let t(w) be the second derivative of 2/3*w**3 + 1/6*w**4 + 0*w**2 + 3*w + 0. Does 15 divide t(-5)?
True
Suppose 5*z + 0*z = 10. Let y(t) = 4*t**3 - t**2 + 2*t - 3. Is y(z) a multiple of 21?
False
Suppose 5*z - 2966 = -4*m, 3*m = 10*z - 7*z - 1785. Is z a multiple of 66?
True
Let z = 18 - -3. Does 6 divide z?
False
Let u = -18 - -21. Let m be (-66)/(-10) - (-2)/5. Suppose -u*n = -4*n + m. Does 7 divide n?
True
Suppose -3*o = -2*o + 3*i - 15, -4*o + i = -86. Let w be ((-12)/o)/(4/(-14)). Suppose 34 = -0*h + w*h. Is 14 a factor of h?
False
Let w(g) = -g - 3. Let v be w(-5). Suppose 4*y + 5*n = 63, -2*y - v*y + 103 = -3*n. Does 6 divide y?
False
Let z(b) be the second derivative of -b**4/12 + 5*b**3/6 + 3*b**2/2 + b. Suppose -2*r - 5 = -2*m - 3, -4*m = -r - 13. Does 4 divide z(m)?
False
Let c(j) = -j**3 + 3*j**2 + 2*j - 1. Is c(2) even?
False
Is 7 a factor of 56 + 5/1 + -4 + 0?
False
Suppose 5*q + 87 = 2*q. Does 16 divide (-3 + q)*(-1)/1?
True
Suppose -3 = 4*h - 19. Does 16 divide 56 + -11 - (1 - h)?
True
Let i(d) be the third derivative of 1/120*d**6 - 5/6*d**3 - d**2 + 0*d - 1/12*d**5 + 1/12*d**4 + 0. Is 3 a factor of i(5)?
False
Let m = 72 + -108. Let o = -13 - m. Is o a multiple of 18?
False
Suppose -26 = -4*v + 3*d, -v - 5*d = -0 + 5. Suppose 0 = v*n - 2*i - 56, -4*n + i + 43 = -0. Suppose -g + n = g. Does 5 divide g?
True
Suppose -1 = f - 4*f - 5*w, -5*w - 48 = -4*f. Let l(q) = -q. Let b(g) = -2*g - 10. Let z(n) = b(n) - 4*l(n). Is z(f) a multiple of 4?
True
Suppose -39 - 57 = -6*o. Is 4 a factor of o?
True
Suppose -4*d - 3*h = -3*d + 36, -2*d = -h + 65. Let q(j) = -j**2 - 7*j + 1. Let r be q(-5). Let f = r - d. Is 16 a factor of f?
False
Let s(p) = -p**2 + 6*p + 10. Let q be s(7). Suppose 0 = 5*x - q*x - 26. Is 6 a factor of x?
False
Let t = 71 + -46. Let w = 51 - t. Does 8 divide w?
False
Is 14 a factor of (-1157)/(-26) - 2/4?
False
Let r be ((-790)/(-15))/((-4)/(-18)). Let a = r + -157. Suppose s + a = 6*s. Does 16 divide s?
True
Let v = 76 + -50. Let j = v - -11. Does 37 divide j?
True
Suppose -5*z - 8 = -108. Suppose 4*r - 10*r + 120 = 0. Does 6 divide ((-24)/z)/((-2)/r)?
True
Suppose 5*s - 3*b - 140 = -8*b, -64 = -3*s + b. Suppose 2*l + s = 5. Is 22 a factor of (-140)/(-6) - 6/l?
False
Suppose a - 3 + 0 = -5*h, 3*a = -h + 9. Let i be a/(-2)*96/(-18). Suppose u - 3*y + i = y, -5*y - 35 = -5*u. Does 4 divide u?
True
Suppose 8 = 2*z - 0. Suppose 3*v = 4*o + 2*v + 37, -5*o - 41 = z*v. Is 11 a factor of (-213)/o + 4/(-6)?
False
Let f(g) = -3*g - 5. Is f(-4) a multiple of 5?
False
Is 6 a factor of -1*1/(4/(-652) + 0)?
False
Let h = -16 + 34. Is h a multiple of 18?
True
Suppose 0 = -4*i - 4*x - 0*x - 28, -5*i - 35 = -2*x. Let j = i - -5. Is 5 a factor of (-1)/j*2*5?
True
Let u = 73 - 49. Is 24 a factor of u?
True
Let x(p) = -p**3 - 4*p**2 - 4*p + 1. Let w be x(-3). Suppose 4*m + 2*j + 82 = -0*j, 88 = -4*m + w*j. Is 4 a factor of (-48)/(-5) - m/(-35)?
False
Suppose 0 = -2*k + 9*k - 98. Suppose m + 0 - k = 0. Is m a multiple of 5?
False
Suppose -5*q + 313 = -5*o - 72, -4*o - 3*q - 329 = 0. Is (-6)/5*o/3 a multiple of 12?
False
Let n(j) = -j**3 - 2*j**2 - 4*j**2 - 1 + 4 + j**2. Let t be n(-5). Let k = t - -2. Is 5 a factor of k?
True
Let g be (6 - 2)*(2 - 3). Is -4*2/g + 30 a multiple of 16?
True
Suppose -4*o + 6*o = -40. Let l = 54 + o. Let d = l - 20. Is 7 a factor of d?
True
Let o(w) = 6*w**2 + 7*w. Let p(u) = -3*u**2 - 4*u. Let y(x) = 3*o(x) + 5*p(x). Let j = -5 + 8. Is 15 a factor of y(j)?
True
Let w(k) be the third derivative of -k**6/24 - k**5/30 + k**4/12 - k**2. Suppose 0 = 4*n + 8. Is w(n) a multiple of 14?
True
Suppose 2*w = 4*q - 216, -4*q - w = q - 256. Let r(j) = -j**3 - 7*j**2 + 4*j - 2. Let u be r(-7). Let a = q + u. Does 11 divide a?
True
Is 2 a factor of 2*(3 + (-9)/6)?
False
Let n(c) = 3*c**2 + 3*c - 1. Is n(3) a multiple of 7?
True
Suppose -3*u - 18 - 30 = 0. Let c = 30 + u. Is 6 a factor of c?
False
Let r(u) = -u**2 - 9*u + 8. Let i be r(-8). Suppose -2*c - 4*f + i = 4, 0 = -4*c - f + 17. Suppose c*t = t + 36. Is 9 a factor of t?
False
Let j(n) = -n**3 + 6*n**2 + 8*n - 2. Let r be 1 + 1 - (-5)/1. Let b be j(r). Suppose -b*l - 51 = -2*c - 0*l, 15 = -3*l. Does 7 divide c?
False
Let o = 102 - 60. Is o a multiple of 19?
False
Suppose 0 = -5*h + 10*h - 665. Is h a multiple of 15?
False
Suppose 3*w = 3*n - 21, -n + 11*w - 6*w + 27 = 0. Suppose -6 = a - 3*a - 2*t, 0 = -n*a - 4*t + 6. Suppose a*h - 86 = -20. Is 8 a factor of h?
False
Let u(y) be the first derivative of y**4/4 + 2*y**3 + 4*y + 1. Let x be (-12)/(-18)*15/(-2). Is 10 a factor of u(x)?
False
Let x(b) = 45*b**3 - b. Is 22 a factor of x(1)?
True
Let a = 13 + -8. Suppose z + 4 = -a*r + 19, -2*z + 5*r + 45 = 0. Is 10 a factor of z?
True
Let u = 46 + -19. Is 6 a factor of ((-6)/(-9))/(1/u)?
True
Suppose z = 1, 4*y + 6*z = z + 45. Suppose 3*p - y = -2*l, 3*p - 25 = -3*l - 2*l. Suppose -l*c = -31 + 6. Does 2 divide c?
False
Let m = 11 + -7. Suppose -m*g + 5 = n - 10, g - 3 = 0. Is 10 a factor of (n + (-7)/4)*24?
True
Let v(t) be the third derivative of -t**4/2 - 7*t**3/6 + 3*t**2. Does 29 divide v(-3)?
True
Suppose -3*d = d + 24. Does 4 divide 1 - 14*3/d?
True
Is 10 a factor of (2 - (-12)/(-8))*64?
False
Suppose -3*h + 22 = 7. Suppose 9 = h*u - 46. Does 11 divide u?
True
Let n = 72 - 49. Does 6 divide n?
False
Let p(x) = -33*x**3 + x**2 + x + 1. Suppose -3*c +