divide y?
False
Suppose -4*s - z + 6*z + 783 = 0, -3*s + 2*z + 582 = 0. Does 32 divide s?
True
Let c(v) = 4*v**2 + 2*v + 7. Is c(4) a multiple of 27?
False
Let z = 12 - -33. Does 21 divide z?
False
Let k(w) = -2*w**2 + 2*w. Let o be k(2). Let b = o - -3. Does 11 divide 111/6*-2*b?
False
Is 11 a factor of 6/18 - 393/(-9)?
True
Suppose -4*w = w. Suppose -11 = i - 4*c, 7*i + 4*c - 17 = 2*i. Is 4 a factor of w - (-9 + i - 0)?
True
Does 6 divide 8/5*(-75)/(-6)?
False
Suppose 3*g - 24 = 57. Is 9 a factor of g?
True
Suppose 0 = -a - 0*a + 7. Let t(d) = d**3 - 5*d**2 - 11*d + 7. Is t(a) a multiple of 14?
True
Suppose 5*u + 14 = 4*d, 0*d + 3*d + 5*u - 28 = 0. Does 3 divide d?
True
Let h = -31 + 50. Suppose -53 = -3*f + 5*o + h, 0 = -5*f + 2*o + 101. Let b = f - 3. Does 8 divide b?
True
Suppose 5*q = 2*u + u + 264, -2*q + 5*u = -98. Does 31 divide q?
False
Let h = 14 + -92. Is h/(-4)*(-4)/(-3) a multiple of 13?
True
Let z = 167 + -25. Suppose 0 = 5*p - z - 48. Does 17 divide p?
False
Let l(i) = -i**3 - 5*i**2 - 5*i - 2. Let r be l(-4). Let u = r - 1. Is u + 12/2*1 a multiple of 6?
False
Suppose 4*k - 3*k + 172 = 0. Suppose -3*p = 2*p - 70. Is 11 a factor of (-4)/p - k/14?
False
Suppose 3*y = -2 - 4. Is y/(-4) + (-31)/(-2) a multiple of 8?
True
Suppose 0*x - x - 3*n = -60, 5*x - 236 = n. Does 24 divide x?
True
Suppose 2*h = -0 + 6, 39 = 2*a - 3*h. Is a a multiple of 12?
True
Suppose -109 - 11 = -3*g. Suppose 0 = -v - 5*y + 15, 3*v = v + 4*y - g. Is (-1 - 9)*4/v a multiple of 3?
False
Does 18 divide 1198/15 - (-42)/315?
False
Suppose 2*k - 1 = -5. Does 4 divide (k - 0) + (19 - 6)?
False
Let y(q) = q + 3. Let b be y(-5). Let p = 4 + b. Suppose p*s = -2*t + 6, 2*s - 3*t - 8 = 18. Is 7 a factor of s?
True
Suppose -8*n = -3*n + 25. Let k = 10 + n. Is k a multiple of 2?
False
Let i(s) = -s**3 + 11*s**2 + 8*s - 15. Is i(7) a multiple of 54?
False
Is 12 + 4/(-8)*4 a multiple of 10?
True
Suppose 3 = -h + 27. Let s be 82/12 + 4/h. Is 14 a factor of (30/7)/(1/s)?
False
Let m = -14 + 69. Does 8 divide m?
False
Suppose -1 = f - 13. Let d be 2 - (-1)/((-1)/2). Let b = f + d. Does 6 divide b?
True
Let i(b) = 104*b**3 - b**2 + b. Is 13 a factor of i(1)?
True
Let c(x) = 11*x - 2. Suppose -5*j = -0*j - 10. Does 17 divide c(j)?
False
Let a(t) = t**3 - 3*t**2 - 8*t + 12. Is 20 a factor of a(5)?
False
Let m(n) = 2*n**2 - 5*n + 2. Suppose -q + 0*q + 27 = -3*y, -q + 32 = -4*y. Suppose -2*b - 2*b = -q. Is 5 a factor of m(b)?
True
Suppose 5*c - 424 = -164. Is c a multiple of 13?
True
Does 21 divide (-12)/9*(-12)/(-8) - -213?
False
Let w(c) = 3*c - 5. Let a be w(4). Let j(z) = 4*z + 3. Is j(a) a multiple of 11?
False
Let q be 3/(-6)*-8*1. Suppose -4*j = 8, -3*d = -d - q*j - 16. Let k(w) = w + 1. Is k(d) a multiple of 5?
True
Let i(o) = o**2 + 3*o - 8. Let g be (-1 - 3)*6/(-3). Let c = -14 + g. Is i(c) a multiple of 10?
True
Suppose 3*s + 5*o - 890 = 0, -2*o = s + s - 596. Is s a multiple of 12?
True
Let x be ((-21)/9)/((-1)/6). Let u be x/8 + 1/4. Suppose -u*c = c - 57. Is 12 a factor of c?
False
Let i = 78 + -111. Let u = i - -71. Is 19 a factor of u?
True
Let g = 91 - 57. Does 17 divide g?
True
Suppose 50 - 188 = -2*b. Suppose 4*t - b = 27. Is t a multiple of 6?
True
Let i = -11 - -74. Is i a multiple of 21?
True
Let v(j) = -j**2 + j. Let q(l) = -8*l**2 + 3*l + 3. Let o(a) = -q(a) + 3*v(a). Is o(-3) a multiple of 13?
False
Let r(h) = -h**2 + 20*h + 65. Is 9 a factor of r(19)?
False
Let x(v) be the first derivative of 3*v**2/2 - 4*v - 1. Let m be (-5 - -1*2)/(-1). Is 2 a factor of x(m)?
False
Let g = -7 - -10. Suppose 0*f = 3*l - g*f - 69, -f + 49 = 2*l. Does 13 divide l?
False
Let q(o) = 8*o - 3. Let f be q(-6). Let a = f - -7. Does 3 divide ((-2)/(-8))/((-1)/a)?
False
Suppose r = -4*h - 5 + 37, 0 = 4*h + 2*r - 36. Suppose -8 = -2*w - 4*d, -w - 5*d = -0*w - h. Suppose w*p - 26 = -0*p + n, -p + 4*n - 1 = 0. Is 7 a factor of p?
False
Let j be 4/6*(-9)/(-6). Let m be j/(-3)*(1 + -25). Suppose 4*b = m - 0. Is 2 a factor of b?
True
Suppose 4*q - q + 12 = 0. Let s(p) = -p**3 - 3*p**2 + 4*p. Let w be s(q). Suppose w*g = 3*g - 66. Is g a multiple of 11?
True
Let t = 29 - 19. Let d = 18 - t. Is 4 a factor of d?
True
Is 12/21 - (-1246)/49 a multiple of 13?
True
Let p be 1 + 21 - (5 + -4). Suppose -s - p = -4*s. Suppose -m - 14 = 5*q, 0 = 5*m + 2*q - s*q - 80. Is 7 a factor of m?
False
Let l be 1/((-68)/22 - -3). Let b = 40 - l. Is 18 a factor of b?
False
Let m be -5*(1 + 7/(-5)). Let s be (-2 + 2 + 0)/m. Suppose l + l - 58 = s. Is l a multiple of 17?
False
Let s(a) be the third derivative of a**6/120 + 2*a**3/3 - a**2. Let g be s(0). Suppose -5*n + g*f + 28 = -74, -3*n + 70 = 2*f. Is n a multiple of 11?
True
Suppose -5 = 2*p - 13. Suppose -2*k = v - 20, p*v - 3*k = 3*v + 10. Suppose 80 + v = 4*z. Is 15 a factor of z?
False
Let c(w) = 3*w**2 - 8*w - 23. Does 18 divide c(-7)?
True
Is 17 a factor of (-72)/(-2 - -1) - -1?
False
Suppose 8*r + 296 = 16*r. Is r a multiple of 10?
False
Suppose 12 = -3*o + 66. Is 9 a factor of o?
True
Suppose 6*l - 228 - 90 = 0. Does 21 divide l?
False
Let f(g) = -g + 8. Is f(4) a multiple of 4?
True
Let x be 2/(-5)*-4*-20. Let b = x - -72. Suppose o - b = -o. Does 11 divide o?
False
Let i(o) = -o + 14. Let u be -1 - 28/(-4) - -2. Is i(u) a multiple of 2?
True
Let w = -12 - -6. Let l = 0 + w. Is 2 a factor of (-2)/(4/l - 0)?
False
Let l(z) be the third derivative of z**5/60 + z**4/4 + 7*z**3/6 - 2*z**2. Let m be l(-7). Is (-4)/m + (-44)/(-7) a multiple of 3?
True
Let m = 83 + -37. Is m a multiple of 46?
True
Let b(a) = -21*a**2 - 5. Let v(u) = -11*u**2 - 2. Let q(k) = 3*b(k) - 7*v(k). Is q(-1) even?
False
Let l = 2 + -1. Let f(s) = -65*s**2 - s + 1. Let r be f(l). Let p = r + 97. Is p a multiple of 16?
True
Let r = -7 - -3. Is 18/1 + 2 + r a multiple of 16?
True
Let v be 2/(-6)*(-21)/(-1). Let o(m) = -m**3 - 6*m**2 + 8*m + 10. Does 2 divide o(v)?
False
Let q = -4 - -6. Suppose 3*f - 18 = 4*w - 0, q*f - 3*w - 13 = 0. Suppose -l + 144 = f*l. Is l a multiple of 24?
True
Let s(z) = -z**3 + 2*z**2 + z + 2. Let c be s(2). Suppose -183 = -0*w - c*w - 3*k, 3*k + 105 = 2*w. Does 5 divide (1/(-1))/((-4)/w)?
False
Suppose 6*i + 90 = 4*z + i, i + 62 = 3*z. Is 10 a factor of z?
True
Let w be (-1)/(0 - 2/10). Let u = -5 - w. Is 5 a factor of (-5)/u - 19/(-2)?
True
Let g = 4 + 20. Suppose 0 = 3*n - 0*n - g. Does 4 divide n?
True
Let w = 123 - 57. Is w a multiple of 5?
False
Let h be 16/9 + (-2)/(-9). Let a be ((-5)/(-10))/((-2)/(-96)). Suppose 104 = 5*u - 2*c, h*u - a = 3*c + 11. Does 9 divide u?
False
Let l = 9 - 9. Let z(g) = -g + 4. Is 2 a factor of z(l)?
True
Suppose 23 = j - 20. Let a = j + -18. Is a a multiple of 7?
False
Let s(m) be the third derivative of m**7/1008 + m**6/720 - m**5/60 - 3*m**2. Let p(x) be the third derivative of s(x). Does 14 divide p(3)?
False
Suppose s - 1328 = -5*o, -545 = -2*o - 2*s - 3*s. Is 53 a factor of o?
True
Suppose 428 = x + 3*x. Does 14 divide x?
False
Let x = 184 - 101. Suppose -2*p + x + 33 = 0. Is p a multiple of 29?
True
Let y(d) = 8*d + 4. Suppose o = -4*o - 30. Let u = 10 + o. Does 18 divide y(u)?
True
Is 13 a factor of -68*((-8)/20 - 6/10)?
False
Let h = 2 + 15. Let b = -10 + 14. Suppose h = j + b. Is j a multiple of 6?
False
Suppose o + 132 = 4*o + 3*p, -3*p = -3*o + 120. Does 17 divide o?
False
Let u be 20/6 + 2/(-6). Suppose b = -o + 60, 2*o + u*b - 90 = 25. Suppose 5*i - o = -0*i. Does 13 divide i?
True
Let z(n) = -23*n. Let t be z(-1). Let i = 51 - t. Does 14 divide i?
True
Let i(d) = 3*d**2 + 2*d - 1. Let b be i(1). Suppose -b*x - 75 = -7*x. Is x a multiple of 8?
False
Let b = 79 - 53. Let k be b/6 - 2/6. Suppose -36 = -3*z - y, k*y + 12 = z + 3*y. Is 6 a factor of z?
True
Let h(v) = -4*v + 9. Let n(o) = -5*o + 10. Let p(c) = 3*h(c) - 2*n(c). Suppose -4*q + 6 - 26 = 0. Does 14 divide p(q)?
False
Does 2 divide 18/4 + 1/2?
False
Suppose -r = r + 2, -4*p + r + 77 = 0. Does 14 divide p?
False
Let z = -1 - -3. Suppose -y + 31 = k, k - 24 = -2*y + 3. Suppose -z*t + 5*u + k = 0, -4*u + 3 + 1 = 0. Does 10 divide t?
True
Let h = 3 + 1. Does 4 divide h?
True
Let s(m) = m**3 + 7*m**2 - m + 5. Let l be s(-7). Does 8 divide (-100)/(-6) + (-8)/l?
True
Let o(f) = 2*f + 5. Let d be o(8). Suppose z + 2*c = -2*z + d, -5*c + 15 = 0. Suppos