 - 3*z. Is 12 a factor of z - -1 - (-51 + 6)?
False
Let y(r) = r + 1. Let l(z) = z**3 - 6*z**2 + 3*z + 8. Let n(i) = -l(i) + 2*y(i). Let x be 1/(2/12) + -1. Is 14 a factor of n(x)?
True
Suppose q - i + 6*i + 16 = 0, 4*q + 4 = -5*i. Is 2 a factor of q?
True
Let j be (-2)/((-6)/9) - 0. Suppose 4*c = -c + 120. Suppose -8 = -j*o + o, 3*o = -q + c. Is q a multiple of 12?
True
Suppose -4*t - 4*l + 208 = 0, t + 2*l - 47 = 6*l. Suppose -3*q + t = -3. Is 6 a factor of q?
True
Suppose 3*c + d = 626, -4 = -0*d + 4*d. Let f = c - 147. Is 18 a factor of f?
False
Suppose 36 - 104 = -4*u. Suppose 2*b + 3*a - 72 = 0, 2*b - 4*a + 2 = 60. Let o = b - u. Does 16 divide o?
True
Let s(k) = -5*k**2 + 2*k**2 + 4*k**3 + 3 - 2*k**3 - 3*k**3. Is s(-4) a multiple of 4?
False
Suppose 45*o + 702 = 47*o. Is o a multiple of 13?
True
Suppose 3*a - 66 = 2*a. Let b = a + -33. Is 22 a factor of b?
False
Let j = -87 - -207. Is 13 a factor of j?
False
Does 5 divide (-144)/(-10) - (-8)/(-20)?
False
Let a = -3 + 1. Let d be (a + 7)*(0 - -1). Suppose -d*m - 1 = 2*x - 58, 28 = 3*m - 5*x. Is m a multiple of 4?
False
Suppose 2*m - 6 = 0, 1 = 3*h - m - 5. Suppose h*d + 6 = 114. Is 18 a factor of d?
True
Suppose z - 32 = -0*z. Does 8 divide z?
True
Let f be 190/4 - (-3)/6. Suppose -4*t = -5 - 3. Suppose 2*j = -t*r + f, -3*j = 3*r - 2*r - 62. Does 19 divide j?
True
Let t = -95 - -66. Let u = t - -53. Does 8 divide u?
True
Suppose 2*c - 2*u + 152 - 488 = 0, 2*u + 505 = 3*c. Is 13 a factor of c?
True
Let c(t) = t**3 - 9*t**2 + 11*t - 1. Let l = 13 - 5. Is 20 a factor of c(l)?
False
Let b = 274 - 122. Does 19 divide b?
True
Let z be ((-27)/6)/((-2)/(-4)). Let l = 61 - 21. Let j = l + z. Is 14 a factor of j?
False
Let h be -1 - 7 - (-2 - 0). Let m(s) = -14*s - 9. Let g be m(h). Suppose 3*f = d + d - 39, 0 = -3*d - f + g. Does 12 divide d?
True
Suppose 0 = 5*m + 1993 - 6133. Let y be (-2 + (-6)/(-4))*m. Does 14 divide (-2)/(-5) + y/(-15)?
True
Let a(u) = -25*u - 2. Is a(-2) a multiple of 24?
True
Let s(d) = 3*d**2 - 5*d - 3. Is s(6) a multiple of 15?
True
Let d = 23 - 18. Suppose -b + 4*b - 42 = 2*s, -d*s - 15 = 0. Does 4 divide b?
True
Let g(h) = -h - 5. Let u be g(-8). Suppose u*o = -0*r + 3*r + 30, o + 6 = -3*r. Is o a multiple of 3?
True
Suppose 0 = 3*k - 2 - 10. Suppose -r = 3*v - k, 3*v + v = -3*r + 17. Does 4 divide r?
False
Suppose -x = -5*x. Suppose 4*s - 8 - 8 = x. Does 4 divide s?
True
Suppose -d + 15 = -0*d. Is 8 a factor of d?
False
Let f(q) = -q**3 - 6*q**2 + 2*q - 2. Suppose 0 = 4*m + 4, -5*u + 2 = 2*m - 56. Let k be 3/4 - 93/u. Does 11 divide f(k)?
True
Suppose w - 2*b = 32, 3*w - 35 = 3*b + 61. Is 8 a factor of w?
True
Suppose 2*u + 3*b = 4*u - 413, 2*u - 419 = 5*b. Does 6 divide u?
False
Let r(i) = -i**3 - 3*i**2 - 2*i - 6. Is 27 a factor of r(-5)?
True
Let b(s) = s**3 - 4*s**2 - 3*s - 4. Let g be b(6). Is 15 a factor of ((-180)/g)/((-2)/15)?
False
Let h(k) = -6*k**2 + 2*k. Let q be h(-2). Let g = q + 48. Is g a multiple of 8?
False
Suppose -9 = 3*b, 5*r = -0*b + 2*b + 26. Let z = r + 5. Suppose 19 + z = y. Does 11 divide y?
False
Let n(x) = 7*x**2 + 2*x - 8. Is 16 a factor of n(5)?
False
Suppose 5*j = 3*c + 41, 3*c + 4*j + 5 = -0*j. Is (-2)/c - 897/(-21) a multiple of 14?
False
Suppose 0 + 3 = k. Suppose -k*w - w - 35 = -c, -w + 3*c = 6. Is 6 a factor of ((-32)/12)/(2/w)?
True
Suppose -g + 3*l = -l - 4, -5*g + l + 1 = 0. Is 6 - 8 - (-16 + g) a multiple of 14?
True
Suppose w - 5*g = -0*w + 10, w = -5*g - 10. Suppose w*m = m. Suppose m = -i - i + 26. Does 13 divide i?
True
Let h(b) = 5 + 0 - 5 - 6*b. Suppose 0 = 5*y - 2*l + 44, 2*l - l = 5*y + 42. Does 18 divide h(y)?
False
Suppose -4 = -6*y + 5*y. Suppose y = 2*g + 12. Let d(a) = a**2 + 3*a + 5. Is d(g) a multiple of 4?
False
Let x(v) = -4 + 8 - 2*v + 2. Does 6 divide x(-3)?
True
Let j be (-3 - (3 + 20)) + -1. Let f = -21 - j. Does 3 divide f?
True
Suppose -56 = -4*h + 2*k, -5*h + 92 = -0*h + 3*k. Does 15 divide h?
False
Let k be (-3)/(1 + (-10)/16). Is 6 a factor of 108/14 - k/28?
False
Let o = 5 + -19. Suppose -3*t - 17 = 4. Is (-122)/o + (-2)/t a multiple of 4?
False
Let q(u) be the third derivative of 0*u + 0*u**3 + 1/15*u**5 + 1/24*u**4 + u**2 + 0. Is q(-1) a multiple of 2?
False
Let r(x) = -x**3 - x**2 + x + 39. Let p be r(0). Let d = p - 9. Does 12 divide d?
False
Suppose -3*x - 42 = -o - o, -4*o = -3*x - 42. Does 13 divide (4/(-3))/(x/273)?
True
Let i = 78 - 39. Does 13 divide i?
True
Let j(y) = y**2 - 4*y - 7. Let i be 1*(42 + 0)/(-3). Let n = -8 - i. Is j(n) a multiple of 2?
False
Suppose 5*j - 3*y = 45, 4*j - 39 = 2*y + y. Is (-33)/(-6) - j/12 a multiple of 3?
False
Suppose 3 = 5*c - 7. Suppose -c*m + 95 = 21. Is 21 a factor of m?
False
Let b be 0/(-3) + 0/3. Suppose b = -2*d - 2*d, -w = 4*d + 2. Is (-46)/(-4) + (-1)/w a multiple of 12?
True
Let k(t) = -2*t**3 - 8*t**2 - 5*t + 2. Let c be k(-5). Suppose 2 = -5*b - 3*l + c, l = b - 15. Let h = b - 8. Is 3 a factor of h?
False
Let d be 2 + -3 - (-1 + -3). Suppose -6*r = -3*r + d*o - 96, 3*o + 72 = 3*r. Is 14 a factor of r?
True
Let b be (6/(-5))/(9/(-60)). Let z = -5 + b. Suppose -z*t + 6 = -9. Is t a multiple of 5?
True
Suppose 3*y - 16 = 5*p, 0*y + 3*p = -2*y + 17. Let d(h) = -h**2 + 9*h - 10. Let x be d(y). Suppose -4*q - 3*r = -18 - 11, x*q - 59 = 3*r. Is q a multiple of 4?
False
Let q(a) = 1 - 3*a**3 + a**2 + 4*a**2 + 2*a**3 - a. Let v(c) = -2*c**2 - 13*c - 2. Let f be v(-6). Is q(f) a multiple of 13?
True
Let r = 3 + -4. Let o(i) = 4 + 9*i**2 - i - 5 - 2*i**2 + 9*i**2. Does 10 divide o(r)?
False
Let v(w) = 5*w**2 - w + 1. Let y be v(1). Suppose s - y*d = 25, -12 = -4*s + 2*d - 4*d. Does 3 divide s?
False
Let u = 9 - 5. Suppose -70 + 14 = -u*a. Is 10 a factor of a?
False
Let v = 65 + -10. Is 11 a factor of v?
True
Let m = -13 + 35. Is m a multiple of 22?
True
Let q(s) = s**3 - 5*s**2 - 3*s + 6. Let w be q(5). Let u = w + 20. Does 3 divide u?
False
Let x(f) = -f**2 - 11*f + 5. Let m(z) = 10*z**3 - z - 1. Let s be m(-1). Does 6 divide x(s)?
False
Let v(n) be the second derivative of -n**5/20 - 5*n**4/6 - 3*n**3/2 - 5*n**2/2 + 4*n. Let y be v(-8). Let r = -15 - y. Is r a multiple of 23?
True
Suppose 301 + 164 = 3*h. Is 33 a factor of h?
False
Let s(j) = -j**2 - 7*j - 6. Let l be (-1)/3 + (-34)/6. Let f be s(l). Suppose p - 5*p = 5*h - 59, -3*p - 4*h + 44 = f. Does 6 divide p?
False
Suppose 0 = 2*y - 10 + 50. Let w be 330/4*y/(-15). Suppose 2*j - w = -0*j. Is j a multiple of 24?
False
Suppose -6 = 3*t, -3*t + 128 - 334 = -5*b. Does 5 divide b?
True
Let k be (-1)/(2*1/(-556)). Let x = k - 176. Is 26 a factor of x?
False
Is 16 + 8/(-28) + (-36)/21 a multiple of 4?
False
Let j(d) = d**3 - 9*d**2 + 7*d + 7. Let q be j(8). Let s = 9 - q. Does 10 divide s?
True
Suppose 4*u = 6*u - 8. Suppose 0 = -5*v - 25, -b = -u*v - 31 - 5. Does 6 divide b?
False
Does 11 divide 33*(10/3 - 3)?
True
Suppose 23*o = 27*o - 392. Does 14 divide o?
True
Let r = -214 + 446. Is r a multiple of 29?
True
Suppose 2*y - 4 = 60. Does 4 divide y?
True
Let m = 65 + 150. Is 36 a factor of m?
False
Suppose c - 4*c = -342. Does 10 divide c?
False
Suppose 5*d - 4*h = 4, -4*d + 2*h + 2*h = 0. Let w(z) = -z**2 + d*z + 14 + 6*z - 5. Does 9 divide w(8)?
False
Suppose 1 - 63 = -2*q. Is q a multiple of 20?
False
Let s(c) = 3*c**3 + 4*c**2 - 6 - 3*c**3 + c**3 - 5*c. Is 14 a factor of s(-4)?
True
Suppose 5*z - 25 = -0, 0 = f - 5*z + 14. Let p(g) = -2 - 3*g + g + f*g. Is 25 a factor of p(3)?
True
Let d(k) be the first derivative of -k**4/4 - 7*k**3/3 - k**2/2 + 3*k - 1. Is d(-7) a multiple of 4?
False
Suppose 3*t - 589 = s, -2*s - 77 = t - 271. Is t a multiple of 28?
True
Let j(w) = 5*w**3 - w**2 + 13*w + 17. Let o(h) = -2*h**3 - 6*h - 8. Let b(i) = 3*j(i) + 7*o(i). Does 15 divide b(5)?
True
Let j(r) = -2*r**3 - r**2 - 2*r. Let b be j(-2). Suppose 2*t + 2*t + b = 0. Does 21 divide 87/2*t/(-6)?
False
Let z(j) be the third derivative of 17*j**5/20 - j**4/24 + 2*j**2. Let l be z(-1). Suppose 5*h - l = -3*p, 0 = 3*p + 5*h - h - 50. Is p a multiple of 6?
False
Suppose 0*x - 3*r = 2*x - 204, 5*x + 5*r - 520 = 0. Suppose -x = -2*u - 0*u. Does 14 divide u?
False
Let a = 142 - 85. Suppose -2*g + 5*d + a = -6, -2*g + 68 = -4*d. Does 14 divide g?
False
Let c(l) be the third derivative of -l**5/60 + 5*l**4/24 + 7*l**3/6 +