se
Let b(y) = -y**2 + 1. Suppose -2*s - 1 = -s. Let c(j) = -9*j**2 - 4. Let z(v) = s*c(v) - 4*b(v). Is 5 a factor of z(1)?
False
Suppose 184 = 2*a + 64. Suppose a = 6*z - 2*z - 4*f, f + 45 = 4*z. Does 2 divide z?
True
Suppose -36 = -4*x + 12. Is x a multiple of 3?
True
Let a = 38 - 22. Suppose -r + 5*r - a = 0. Is 4 a factor of r?
True
Let j = -325 + 469. Does 24 divide j?
True
Let z(p) = 6*p**2 - 5*p - 1. Let a(o) = -7*o**2 + 6*o + 2. Let s(v) = 5*a(v) + 6*z(v). Does 13 divide s(3)?
True
Let l(b) = 5*b**2. Is l(-3) a multiple of 11?
False
Suppose 5*m - 64 + 24 = 0. Suppose 2*x - m = 4*g, -x + g = 3*x + 12. Is 2/8 - 15/x even?
True
Let k be 1*23*-124 + 2. Is 11 a factor of k/(-70) - (-2)/7?
False
Let s = -8 + 44. Does 9 divide s?
True
Suppose 0 = -n - n + 80. Suppose 0 = -s - 4*s + n. Is s a multiple of 4?
True
Suppose -4*w + 2*r + 3*r = -99, -2*r + 28 = w. Is 13 a factor of w?
True
Suppose -3*m + 2 = -43. Does 6 divide m?
False
Let s(o) = -44*o - 116. Let y(r) = -8*r - 21. Let l(t) = 5*s(t) - 28*y(t). Does 16 divide l(10)?
True
Suppose -5*y + 2*i + 3 + 11 = 0, -y - i = 0. Suppose -c = -y*c. Let a = c + 2. Does 2 divide a?
True
Let f = 38 + 2. Is 10 a factor of f?
True
Suppose -4*i = -3*i - 7. Is i a multiple of 7?
True
Let c = -11 - -21. Let j = 14 - c. Does 3 divide j?
False
Let c = 40 + 82. Is 15 a factor of c?
False
Suppose 0 = 5*g - 476 + 76. Let z be g + 4 + (-2)/1. Suppose 0*w - 2*w + z = 0. Is w a multiple of 14?
False
Suppose 2*d - 5*a - 267 + 95 = 0, -2*d = a - 196. Does 22 divide d?
False
Let m(n) = -n**3 + 7*n**2 - 6*n - 5. Let o be m(5). Let d be -3 - ((-4)/2)/1. Let q = o + d. Is 5 a factor of q?
False
Let x be (2/8)/((-2)/(-8)). Is 9 a factor of (1 - 2 - -9) + x?
True
Let s be 9/2 - 3/2. Let j = s - -4. Does 6 divide j?
False
Is 10 a factor of (6/(-3))/((-2)/20)?
True
Does 34 divide 5/((-175)/10) - 1906/(-7)?
True
Does 29 divide 3/(-2) - (0 - (-2454)/(-12))?
True
Is 5 a factor of ((-15)/(-3))/30 + 357/18?
True
Let d = 0 - -4. Let l(z) = -2*z - 3. Let t be l(d). Let f = 19 - t. Does 11 divide f?
False
Let m = -1 - -1. Let q = m - -12. Is q a multiple of 6?
True
Let g = 72 + -63. Is g a multiple of 7?
False
Let c be (-3 + 0)*(-4)/6. Suppose c*w = 6*w - 40. Does 5 divide w?
True
Let o be (-1)/2 - 33/(-6). Let h = o + -9. Let d = -2 - h. Does 2 divide d?
True
Suppose 0 = j - 0*j - 1. Suppose -3*s = -11 - j. Does 4 divide s?
True
Suppose -u - u = 16. Does 4 divide ((-18)/4)/(3/u)?
True
Suppose 3*m - 17 = 5*h, m - h - 1 = -4*h. Suppose 3*o = -0*t - m*t + 246, -2*o + 4 = 0. Let w = -32 + t. Does 11 divide w?
False
Let s = -66 - -134. Is 20 a factor of s?
False
Suppose -u + 2*u = -4*h, 3*u = 3*h + 60. Let t be ((-3)/(-4))/(4/u). Does 10 divide (-15)/(-1 - t/(-12))?
True
Let u(r) = -r**3 + 2*r**2 + 4*r + 2. Does 10 divide u(-2)?
True
Let a be (-3)/((-6)/80*-1). Let p be (-7)/2*(a + 6). Suppose 3*h - 5*o = 75 + p, 0 = 5*h + 2*o - 282. Is h a multiple of 21?
False
Let j = 110 + -93. Is j a multiple of 8?
False
Let j(o) = o**2 - o - 17. Let c be j(0). Let w = -12 - c. Is 2 a factor of w?
False
Let u = 39 - 4. Let l = u - 23. Is 6 a factor of l?
True
Let h be (-4)/(-1)*(5 + -4). Suppose -6*i = -h*i - 2. Suppose r + 2*f + i = 0, -3*r + 2*r - 7 = 5*f. Is r a multiple of 3?
True
Let j(z) = z**2 - 9*z + 9. Let r be j(6). Let u = 15 + r. Suppose 0 = -v + k + u, 36 = 3*v + v + 2*k. Does 3 divide v?
False
Let a = -5 - -10. Suppose 25 = -2*s + a*n, 2*n + 28 = -s + 2. Let b = 35 + s. Is 9 a factor of b?
False
Suppose -9 = 2*s + s. Let z = s + -3. Let w = z - -20. Is 7 a factor of w?
True
Is (-2)/(-4) - (-2007)/18 a multiple of 21?
False
Suppose -180 = -3*i + 45. Is i a multiple of 32?
False
Suppose -3*t = -p - 102, 0 = 2*t - 3*t - 3*p + 34. Is t a multiple of 20?
False
Let d = 1 - -1. Suppose -d*n = 2*n - 4. Does 4 divide 1/n + 3/1?
True
Let r(g) be the second derivative of -g**3/6 + 2*g**2 + 3*g. Is 3 a factor of r(-7)?
False
Suppose -2*q + 5*m - 6 = 0, -m - 3 = q - 3*m. Let p = q + 28. Suppose p = 2*z - 9. Does 17 divide z?
True
Let v = 48 - 30. Suppose 0 = -3*y + 5*y - v. Does 2 divide y?
False
Suppose 0 = -3*j - 0 + 6. Suppose -2*u = 3*f - 9, -j*u - 10 = f + 3*u. Does 5 divide f?
True
Let u be (2 + 2 + -9)*-1. Suppose 0 = -5*i + 5, -115 = -u*b - 0*i + 5*i. Does 24 divide b?
True
Let k be (-74)/(-4) - 2/4. Is (-191)/(-3) - 12/k a multiple of 21?
True
Let g = -10 + 20. Suppose -2*c - 2*z + 16 = c, -2*z + 10 = 0. Suppose c*s - 43 = u, 2*s = 5*u + 45 + g. Does 10 divide s?
True
Let l = 205 - 121. Let d be -49 + ((-4)/1)/2. Let i = d + l. Is i a multiple of 15?
False
Suppose 1 + 1 = d. Suppose d*l + o = 31, 4*l - 2*o = 82 - 0. Is 9 a factor of l?
True
Suppose -3*i = 2*i - p + 107, -3*i - 3*p - 57 = 0. Does 11 divide (-12)/(-4) - i - 1?
False
Let o(b) = b**3 - 8*b**2 - 11*b - 8. Let l be o(10). Suppose -2*u + 23 = p - 15, -l = -4*u - 5*p. Is 9 a factor of u?
True
Let c(f) = 52*f**3 - 2*f**2 - f + 1. Suppose 0 = -3*k - 12, -d - 6 = 4*k + 9. Is c(d) a multiple of 10?
True
Let l(r) = r**2 - r. Let f be l(2). Suppose -3*s - 2*n = -6, n + 9 = 3*s + 2*n. Suppose -4*m = -d - f*m + 2, 5*m - 60 = -s*d. Does 10 divide d?
True
Let h = 131 + -54. Is 17 a factor of h?
False
Suppose -3*c - 5*l - 277 = 0, c - 415 = 6*c - l. Let z = 5 + 1. Is 14 a factor of c/10*(-20)/z?
True
Let h = -103 + 186. Does 10 divide h?
False
Suppose 2*b - 4*x - 184 = 0, 4*b - x + 3*x - 408 = 0. Let q be (-4)/6 + b/15. Let f = 15 - q. Does 5 divide f?
False
Suppose -5*d + 25 = -2*z + 7*z, 5*z - 2*d = 11. Suppose z*a = 4*m + 22, -4*m + 26 - 6 = 0. Does 7 divide a?
True
Let y = -55 - -39. Is -1 - 6/(-3) - y a multiple of 13?
False
Suppose 4*h = 5*d + 93, -4*h + 45 = -2*h - 3*d. Is 9 a factor of h?
True
Suppose 0 = -y + 1, 2*y + 102 = 4*n - 168. Is 17 a factor of n?
True
Let k be 2 - 1 - (-2 + 1). Let l(a) = 2 + k - 5 + 20*a. Does 14 divide l(1)?
False
Let r(v) = -8*v + 20. Is r(-9) a multiple of 23?
True
Is 8/(-60) - 1352/(-15) a multiple of 30?
True
Suppose 0 = -39*m + 36*m + 96. Is m a multiple of 16?
True
Let x = 230 + -56. Does 29 divide x?
True
Let z(f) = f + 3. Let w be z(1). Is 5 a factor of 23 - w/(4 - 6)?
True
Let o = 87 - 59. Suppose o + 26 = 3*q. Is 9 a factor of q?
True
Let h be (-4)/(-8) + 38/(-4). Is 14 + h/(9/3) a multiple of 6?
False
Suppose 0*c - 8 = -2*c. Suppose 0 = -3*h + h + c*g + 16, -2*h = 3*g - 44. Does 8 divide h?
True
Does 13 divide (74/(-37))/((-3)/((-351)/(-2)))?
True
Is 8/(-36)*-1 + 1922/18 a multiple of 11?
False
Suppose -2*m = 3*m - 90. Suppose 2*q + m = -s + 6*s, 14 = -s - 4*q. Suppose -p = -s*p + 18. Is p a multiple of 7?
False
Let n(b) = 2*b + 7. Let l be n(0). Let a be (-1 + -1)*9/(-6). Suppose 0 = a*q + l - 103. Does 16 divide q?
True
Suppose 103 = f - 62. Is 15 a factor of f?
True
Suppose 13 = 3*v - 44. Suppose -v + 2 = -p. Is p a multiple of 9?
False
Let c(o) be the second derivative of 4*o**3/3 - 4*o**2 - 4*o. Is c(4) a multiple of 12?
True
Let w(a) be the third derivative of a**4/8 + a**3/6 + a**2. Let n be w(-2). Let m(u) = -u**2 - 6*u + 5. Does 7 divide m(n)?
False
Let l(z) = 3*z + 11. Is 11 a factor of l(5)?
False
Is 26 a factor of ((0 - -3) + 0)*19?
False
Let x = 4 - 5. Let b = 6 - x. Does 4 divide b?
False
Let g = 11 - 20. Let a = g + 18. Does 4 divide a?
False
Let j = 19 + 1. Suppose -4*m = -4 + j. Is ((-31)/(-2))/(m/(-8)) a multiple of 8?
False
Suppose 0 = 4*b - 68 - 156. Is 14 a factor of b?
True
Let q(a) = 5*a + 4. Let i be q(4). Is 0 - 7/((-7)/i) a multiple of 17?
False
Is 7 a factor of 30/4*(0 - -6)?
False
Let u(o) be the first derivative of 5*o**3/3 - 3*o**2/2 + 2*o + 1. Let t be 4/(-6)*(-6)/2. Is 8 a factor of u(t)?
True
Suppose -3*v + 5*c = -4*v - 40, 5*v - c + 96 = 0. Let k be (4/(-5))/((-2)/v). Does 3 divide -5 + 3 - k*1?
True
Suppose -3*o = 4*o - 392. Does 11 divide o?
False
Let s = 18 - -1. Does 19 divide s?
True
Suppose -3 = 3*a + 5*x, -4*a - 4 + 17 = x. Suppose -4*z - 3*v + 28 = 0, -v + 10 = 2*z - a. Is 4 a factor of z?
False
Let s(t) = -4*t - 5. Let w(a) = 12*a + 16. Let d(b) = 16*s(b) + 5*w(b). Let m(x) = -x - 13. Let z be m(-9). Is d(z) a multiple of 7?
False
Let i(d) = d**3 - 11*d**2 + 14*d + 1. Is i(10) a multiple of 10?
False
Let t = 7 + -3. Suppose 4*u + 177 = 3*d + 43, 0 = -t*u - 8. Is d a multiple of 14?
True
Let j be (1