56 + u. Is 11 a factor of h?
True
Let a be -1 + -6*(2 - -1). Let t = 35 + a. Is 3 a factor of t?
False
Suppose 0 = d + 1 - 0. Let c = 5 + d. Suppose v - 30 = 3*m, -c*v + 5*m + 117 = 25. Is v a multiple of 9?
True
Let i = 13 - 15. Is -3 + (i - 108/(-4)) a multiple of 14?
False
Let l be (-5)/(-2)*4/5. Suppose -3*p = h - 43, -l*h + 72 = 3*p + 2*p. Is p a multiple of 5?
False
Suppose 46 - 6 = 4*g. Suppose -5*w = -0*w + g, 0 = 5*v + 2*w - 26. Does 6 divide v?
True
Suppose 3*b = -v + 39, -3*v + v = 5*b - 82. Let h(s) = s**3 + 11*s**2 - 7*s + 3. Let k be h(-11). Let c = k - v. Does 17 divide c?
False
Let n(d) = 2*d - 3. Let a(r) = -r + 1. Let f(x) = -11*a(x) - 4*n(x). Does 4 divide f(1)?
True
Let c = 7 + -3. Suppose 2*o = -c*g + 328, 5*g + 2*o - 323 = 87. Does 21 divide g?
False
Suppose 9 = 5*n - 3*x - 200, -37 = -n - x. Is n a multiple of 25?
False
Suppose 7*s = 3*s + 1008. Is 18 a factor of s?
True
Let f = 167 - 111. Is 8 a factor of f?
True
Let j = -9 + 15. Suppose 5*u = 2*u + j. Suppose -u*o + o + 7 = 0. Does 4 divide o?
False
Let m be -3 - 19*(3 - 2). Let o = m + 51. Is 9 a factor of o?
False
Let t be 0 - (2/(-2) - 3). Suppose 2*u + t = -0*j + 5*j, 0 = -5*u + 5*j + 5. Is 2 a factor of u?
False
Let g(f) = f**3 + 11*f**2 - 3*f - 8. Is 25 a factor of g(-11)?
True
Let l(p) = 29*p**3 - p + 2. Does 10 divide l(1)?
True
Suppose 0 = 4*a - 3*a - 11. Is a a multiple of 11?
True
Let h(q) = q. Let s be h(3). Suppose 2*j + 20 = s*z, 4*z - 15 = 4*j + 13. Suppose 0 = -l + 2 + z. Is 8 a factor of l?
True
Let v(g) = -g**2 + 3*g + 3. Let k be v(3). Let h = k - -1. Suppose 0 = h*r - 5*r + 7. Is 4 a factor of r?
False
Let l = 50 - 32. Let a be 4/l - (-806)/18. Suppose 2*o - 1 = a. Does 9 divide o?
False
Let w(f) = 2*f**2 + 1. Let z be w(-1). Is (z/(-4))/(3/(-60)) a multiple of 12?
False
Let d(t) be the third derivative of -t**7/1680 - t**6/720 + t**5/30 - 2*t**2. Let o(q) be the third derivative of d(q). Does 11 divide o(-4)?
True
Let r = -7 + 0. Let o = -5 - 9. Let p = r - o. Is 7 a factor of p?
True
Suppose -5*m + 29 = -921. Does 13 divide m/5 + -1*1?
False
Let p be 0 + (-8)/(-1) + -1. Suppose -2*w = -p*w. Suppose -m + 27 + w = 2*z, 3*m + 4*z = 81. Is m a multiple of 7?
False
Let f = 733 - 1027. Is ((-6)/(-7))/((-7)/f) a multiple of 10?
False
Suppose 0 = p - 3, -3*y - 5*p + 3 + 129 = 0. Is 39 a factor of y?
True
Let o(d) = -d**3 + 8*d**2 + 10*d + 14. Does 2 divide o(9)?
False
Let f be (3/(-6))/((-1)/4). Suppose 0 = -2*d + f*b + 42, -3*d + 5*b + 41 = -2*d. Is d a multiple of 14?
False
Let u be 1/4 - 72/32. Let r be 2/(-4) - (-63)/u. Let h = 6 - r. Does 18 divide h?
False
Suppose -6 = 2*w - 4. Let d = w - -19. Does 18 divide d?
True
Suppose -3*l + 9 = 159. Let b = l + 108. Suppose -8 = -2*v + b. Does 14 divide v?
False
Suppose -3*s + 90 + 105 = 2*u, -2*u = s - 185. Is 15 a factor of u?
True
Let f be ((1 - -2) + 126)*10. Suppose -t = 2*t + f. Is (2/4)/((-5)/t) a multiple of 20?
False
Let q(f) = -f**2 + 15*f - 9. Suppose -5*s + 62 = -4*m - 35, 5*s = -2*m + 109. Suppose 5*c - 9 - s = 0. Is 17 a factor of q(c)?
False
Let s(a) = -a**3 - 4*a**2 + 6*a - 4. Let j(w) = -w**3 + w. Let r be j(2). Let p be s(r). Is p/1 + -4 + 3 a multiple of 11?
False
Let m(n) = -n**2 - 15*n - 12. Let q be m(-10). Let i = q - 8. Is i a multiple of 15?
True
Let q be 1/((3 - 6)/33). Let r(y) = -y**2 - 13*y - 4. Is 11 a factor of r(q)?
False
Suppose -2*g = -w + 25, -4*w + 2 = -3*g - 88. Is 21 a factor of w?
True
Let s = -14 + 17. Suppose -5*t - s*n + 54 = 0, 5*t - 20 - 36 = -2*n. Is 9 a factor of t?
False
Suppose -4*v = 7 + 5. Let x = v - -7. Suppose -x*f + 71 = -41. Does 14 divide f?
True
Let t = 4 + -10. Does 25 divide (-186)/(-4) - t/(-4)?
False
Let q = 362 - 96. Is q a multiple of 7?
True
Suppose 4*l = 29 + 43. Is l a multiple of 18?
True
Let w(t) = -57*t**2 + 6*t + 3. Let k(c) = 56*c**2 - 7*c - 4. Let q(v) = -4*k(v) - 5*w(v). Does 20 divide q(1)?
True
Suppose 0 = -5*n + 37 + 203. Does 16 divide n?
True
Let v(d) = -105*d - 2. Let u be v(1). Let c = u + 164. Is 19 a factor of c?
True
Let r(w) = w**2 + 10*w**2 + 3 + 0*w**2. Let p be r(-3). Suppose -5*k = 10, -6*q - k = -2*q - p. Is 13 a factor of q?
True
Let f be (3/(-6))/(2/(-12)). Suppose 3 = a - 5*k, f*a + a = -2*k + 12. Is 2 a factor of a?
False
Let j = 30 - 19. Does 4 divide j?
False
Let v(p) = 5. Let c(o) = o. Let i(g) = -3*c(g) - v(g). Does 5 divide i(-5)?
True
Let r = -18 + 17. Let g = 92 - r. Is g a multiple of 31?
True
Let o(w) = -w**2 - 11*w - 6. Let r be 26/(-3) + (-1)/3. Is o(r) a multiple of 6?
True
Suppose -408 = 10*q - 1488. Is q a multiple of 27?
True
Let x(f) = f**2 + 3 - 2*f**2 + 11 + f**3. Is 14 a factor of x(0)?
True
Let u(q) = -q**2 + 6*q. Let g be u(6). Suppose g*k + k = 5. Suppose 5*c = -4*a + 80, -k*c + c = -16. Is a a multiple of 15?
True
Let b(o) = -2*o**3 + 6*o**2 + 6*o + 7. Does 23 divide b(-4)?
True
Let w = 15 - -49. Is w a multiple of 8?
True
Suppose 2*t = -0*t - 6. Let r(f) = -12*f**2 + 2*f + 0*f + 16*f**2. Is 10 a factor of r(t)?
True
Suppose 4*d = -0*d + 360. Suppose 0*g + 4*k = -3*g + d, -3*g = -3*k - 69. Suppose 0*a = -2*a + g. Does 13 divide a?
True
Let r(k) = k**3 + 11*k**2 - 8*k. Is r(-11) a multiple of 32?
False
Let a(t) = 3*t - 3. Let o = 4 - 2. Is a(o) a multiple of 3?
True
Suppose -r = 204 + 314. Is 11 a factor of (-2)/((-7)/(r/(-4)))?
False
Let p(v) = 97*v + 2. Is p(1) a multiple of 33?
True
Let a(x) be the third derivative of -x**5/30 - 3*x**4/8 - 2*x**3/3 - x**2. Let b be a(-6). Let q = b + 41. Is q a multiple of 11?
False
Let t(b) be the second derivative of 0 + 1/12*b**4 + 1/6*b**3 - 2*b - 1/2*b**2. Does 4 divide t(-3)?
False
Suppose 3*t = -3*n + 34 - 7, t - 14 = 4*n. Is t a multiple of 5?
True
Suppose -2*z + 192 + 6 = 0. Does 15 divide z?
False
Suppose -3*i - 4*r + 39 = -r, -4*i - 3*r = -57. Is (-3)/6*-2*i a multiple of 5?
False
Suppose 0 = -5*j + 21 + 9. Is 36*j*(-1)/(-8) a multiple of 6?
False
Let s = 16 + 42. Is s a multiple of 14?
False
Let w(s) = -s**2 - 8*s + 5. Let v be w(-6). Suppose 3*z - v = 19. Is z a multiple of 11?
False
Suppose -4*u - 10 = -a + 8, 0 = 2*u - 6. Is a a multiple of 4?
False
Let s = 55 + -25. Suppose -x = x - s. Suppose -2*m = -2*j - 2, 6*j - x = j + m. Does 2 divide j?
True
Suppose 3*x - 13 - 5 = 0. Is x a multiple of 3?
True
Let p be (-7)/3*-3 - 3. Suppose -p*f + f = -36. Is f a multiple of 6?
True
Let o(t) = t**2 - 2*t - 1. Let i be o(2). Let l be 1 - (i + (-2 - 0)). Suppose 0 = -l*x + 2*x + 68. Is x a multiple of 16?
False
Let g = 5 - 3. Suppose -3*l = g*l - 225. Is l a multiple of 12?
False
Let t(s) = s**2 + 28. Is 7 a factor of t(0)?
True
Let m be (-3)/(-4) - (-18)/(-24). Suppose 3*t = -m*d - 5*d + 46, 25 = 5*t - 2*d. Suppose -4*u + 25 = -t. Does 4 divide u?
True
Let p(q) = q**3 - q**2 + q + 1. Let a(f) = f + 8. Let y be a(-4). Let v(s) = -3*s**3 + 3*s**2 - 3*s + 25. Let o(x) = y*p(x) + v(x). Does 10 divide o(0)?
False
Suppose -c - 88 = -3*c. Suppose w + c = 3*w. Does 22 divide w?
True
Suppose 2*g + 2*g = 96. Is 12 a factor of g?
True
Let y = 67 + -9. Let l = y + 6. Is l a multiple of 18?
False
Let k = -15 - -20. Suppose 4*s - 5*z + 0*z - 204 = 0, 4*s + k*z = 244. Is s a multiple of 25?
False
Let t = 16 - -65. Does 14 divide t?
False
Does 2 divide -6*34/(-12) - (4 + -1)?
True
Let k be 19/7 + 8/28. Suppose k - 39 = -3*z. Is z a multiple of 6?
True
Is 10/80 + 1941/24 a multiple of 16?
False
Let n = -4 - -7. Suppose n*w = 59 + 253. Is 26 a factor of w?
True
Let k(a) = a**3 + 14*a**2 + 12*a + 26. Is k(-13) a multiple of 13?
True
Suppose 5*w - 10*w + 390 = 0. Is w a multiple of 39?
True
Suppose -184 = -2*m - 66. Let u = -19 + m. Is u a multiple of 14?
False
Let c(i) = 4*i**2 + 5. Let x be c(4). Suppose j = 4*j - x. Does 23 divide j?
True
Let u = 141 - 100. Does 26 divide u?
False
Let i be 6*2 + -1 - 0. Is 32/2 + (11 - i) a multiple of 9?
False
Suppose -6*q + 211 + 209 = 0. Is 14 a factor of q?
True
Suppose 7 = -2*v + v + 3*r, 8 = 2*r. Let h be 5*(12/v + -2). Is 7 a factor of 10 - -1 - (h - 2)?
False
Suppose 0 = 4*k + 4*z - 116 + 632, -631 = 5*k - 2*z. Let b = -71 - k. Let d = b - 10. Does 20 divide d?
False
Let x be (2 + -1)/(2/(-44)). Let m be 13*(-2)/((-4)/6). Let s = m + x. Is 15 a factor of s?
False
Suppose -5*z = -2*z + 3*g - 33, -4*z - 2*g + 36 = 0. Let s = 