*l + 4*l - 28 = -4*g. Does 10 divide a(l)?
True
Let s(g) = 3*g - 10. Let v be s(5). Suppose 3*w + 172 = v*c, -3*w - 10 = -4*c + 130. Does 16 divide c?
True
Suppose 3*q = q + 5*v + 71, q - 32 = -v. Suppose 2*j - q = -1. Is 16 a factor of j?
True
Let n(i) be the third derivative of i**5/60 + 7*i**4/24 + 3*i**3/2 - i**2. Is n(-9) a multiple of 20?
False
Let k = 70 + 11. Does 27 divide k?
True
Let b(v) = 13*v**2 - v + 2. Does 24 divide b(2)?
False
Suppose -2*p + 21 = 3*g, 2*p + 5*g = -0*p + 31. Suppose 3*z + 3*c - 60 = 0, 4*z + z = -p*c + 96. Does 9 divide z?
True
Suppose 0 = 5*y + a - 245, 0*y + 3*y - 5*a = 175. Is 26 a factor of y?
False
Let h(d) = -70*d**3 + d**2 - d - 1. Let w be h(-1). Let i = w - 16. Suppose -2*b = -3*a - 6*b + i, -3*b - 27 = -a. Is 11 a factor of a?
False
Let p(q) = -q**3 - 12*q**2 + 9*q + 0*q**2 + q - 5. Is 8 a factor of p(-13)?
False
Let p = 8 + -6. Suppose -y = 2*y + 2*i - 30, -y = p*i - 14. Let t = 2 + y. Does 5 divide t?
True
Let t = 49 + -32. Does 17 divide t?
True
Let x be (-1 + 2)*(-7 - 1). Let d(p) = -p**3 - 9*p**2 - 9*p - 8. Let q be d(x). Suppose q*h - 60 = -5*h. Is h a multiple of 11?
False
Let k(g) = -4*g**3 + 15*g**2 - 3*g - 5. Let u(c) = 2*c**3 - 7*c**2 + 2*c + 2. Let p(w) = 2*k(w) + 5*u(w). Let o be p(3). Suppose 4*q - o = 3. Does 5 divide q?
False
Let h(r) = 3*r**3 - 2*r**2 - 3*r - 1. Let q be h(3). Suppose -4*m + q + 19 = 0. Is 6 a factor of m?
True
Let f(w) = 4*w**2 - 2*w. Is 2 a factor of f(2)?
True
Let x = 10 - -31. Is x a multiple of 12?
False
Let g(d) = -d + 7. Does 4 divide g(-5)?
True
Let y be (-6)/(-4)*-1*26. Let i = y - -78. Suppose -r + 5*u + i = 0, 0 = 2*r - 4*r - 3*u + 13. Is 14 a factor of r?
True
Let g be (12/14)/(6/1302). Suppose -5*k + g = -74. Is 32 a factor of k?
False
Does 3 divide 16/28 + (-31)/(-7)?
False
Let n be (2 - 3 - 10) + -1. Is 6 a factor of ((-1)/2)/(n/576)?
True
Let t(n) = 3*n**3 + 3*n**2 + 6*n - 15. Let y(h) = -2*h**3 - 4*h**2 - 7*h + 14. Let v(d) = -3*t(d) - 4*y(d). Does 2 divide v(8)?
False
Let n(s) = -s**3 - 7*s**2 + 24*s + 17. Does 18 divide n(-11)?
False
Let k be (2/(-4))/((-4)/32). Let n = -2 + k. Suppose 3*m + 4*o = 1, -n*m - 5*o = 3*m - 10. Does 5 divide m?
False
Suppose -2*d - 3 = -4*x - 7, 4*d - 18 = -2*x. Is 14 a factor of 220/8 + x/2?
True
Let i be -4*((-2)/4 - -1). Let f(l) = -15*l - 3. Does 9 divide f(i)?
True
Suppose -2*x - 2*r = -r - 24, 48 = 4*x + r. Is x a multiple of 6?
True
Does 15 divide 3*(-3 + 2 + 16)?
True
Let m = 5 + -27. Let p = m - -31. Is p a multiple of 9?
True
Let s = -24 - -21. Let a = -87 - -49. Does 6 divide (a/(-4))/(s/(-6))?
False
Suppose -u - 5 = 2*d, 5*d - 10 = d + 2*u. Suppose d*a - 94 = -2*a. Is 14 a factor of a?
False
Suppose 0*i = 5*r - 3*i - 11, -12 = -4*i. Suppose 0*d + 3*d + r*a = 20, 0 = 5*d + 2*a - 38. Is 4 a factor of d?
True
Let r(q) = 2*q**3 - q**2 - 2*q + 2. Let v be r(3). Let x be 10/4*(-654)/(-15). Suppose 2*s = 3*o - x, s - 4*s = -o + v. Does 12 divide o?
False
Let a = 74 + -132. Let g = a + 81. Is g a multiple of 23?
True
Suppose -2*c = -7*c + 20. Suppose -c*k + 7 + 13 = 0. Is k a multiple of 2?
False
Suppose 2*x + 32 = 5*l, 2 = -2*x - 0*x. Suppose -62 = -2*s - l. Does 7 divide s?
True
Is 9 a factor of (-236)/(-6)*(-6)/(-4)?
False
Let o(t) = t**3 - 7*t**2 - 1. Let s be o(7). Let a(h) = -3*h. Let q be a(s). Suppose q*p - 30 = p. Is 15 a factor of p?
True
Let c(b) = -b**2 + 9*b - 9. Let w be c(7). Let v(i) = -5*i**2 + 4*i - 1. Let t(s) = -9*s**2 + 7*s - 2. Let g(f) = -4*t(f) + 7*v(f). Is 11 a factor of g(w)?
False
Let g be (-4)/26 + (-2844)/(-234). Suppose 0 = 2*r - r. Suppose r*z = -3*z + g. Is z a multiple of 3?
False
Suppose 5*s + 0*s = 5*g - 15, 0 = -s - 3*g + 17. Suppose p + 18 = -5*u, s*p - p + 3 = 0. Is 19 a factor of u - (3 + -46 + 2)?
True
Let v(l) = -2*l**3 + 3*l**2 + 4*l + 4. Let f(x) = 5*x**2 - x. Let j be f(1). Let k be v(j). Let i = k + 110. Is i a multiple of 17?
False
Suppose 4*d = v - 23, -3*d + 109 + 20 = 3*v. Is 11 a factor of v?
False
Let z(h) = h**2 + 1. Let j(g) = 3*g**2 - 4*g - 3. Let c(t) = j(t) - 2*z(t). Suppose -2*p - 4 = -16. Is c(p) a multiple of 3?
False
Let b(l) = l**3 + 4*l**2 + l + 1. Let n(a) = a**3 - 7*a**2 - 2*a + 10. Let o be n(7). Let q be b(o). Let h = q - -8. Is 2 a factor of h?
False
Suppose m - 14 = 21. Is m even?
False
Let y(j) = j**3 + 6*j**2 - 3*j + 8. Suppose 5 = 4*d - 3. Let z be (d/5)/((-1)/15). Does 13 divide y(z)?
True
Suppose -158 - 17 = 5*l. Let y be (-16)/7 + (-10)/l. Is 9 a factor of 8/(-12)*27/y?
True
Let h = -3 + 10. Suppose -h*z + 3*z - 100 = 0. Is 5*(-5)/(z/18) a multiple of 9?
True
Let s be 4/6*(-22 - 2). Does 27 divide ((-72)/s)/((-2)/(-48))?
True
Let j = -199 + 341. Suppose -5*u + 3*v = 57 - j, 4*u - 81 = 5*v. Is u a multiple of 7?
True
Let j be (-30)/(-1) + 0 - 2. Let h be j/6 - 4/6. Suppose h = -2*a + 3*a. Is 4 a factor of a?
True
Let s be (-1 + 1)/(2 + -3). Suppose 5*z + 4*p - 14 = s, 0 = -2*z - p + 7 - 2. Is z even?
True
Suppose -b = -5*b, -3*j = -3*b - 69. Is (j/(-4))/(1/(-4)) a multiple of 12?
False
Let c(x) = -5*x - 1. Let a be c(-1). Let k(m) be the third derivative of 5*m**4/24 + m**3/3 - 2*m**2. Is 11 a factor of k(a)?
True
Suppose 3*u - 6*r + 2*r + 42 = 0, -4*r = -4*u - 60. Let x(q) = q**3 + 8*q**2 + 4*q - 7. Let o be x(-5). Let v = o + u. Is 15 a factor of v?
True
Suppose 15 = -w + 4*w. Suppose -w*b = -3*b. Suppose -t - 3*t + 140 = b. Is t a multiple of 12?
False
Is (-104)/12*((-177)/6 - -1) a multiple of 43?
False
Suppose -485 = -4*n - 129. Suppose 5*d + 4*x - n + 28 = 0, 4*d = -x + 40. Does 9 divide d?
True
Is 8 a factor of 3654/35 + 8 + (-4)/10?
True
Let x be 0/1 + 11 + -3. Let c = x - 5. Let l(q) = 11*q - 2. Is l(c) a multiple of 14?
False
Suppose 0*j = k + j - 22, 0 = j - 5. Does 7 divide k?
False
Suppose -h = -2*h. Suppose 2*n + h*z - 18 = 2*z, -n - 11 = 3*z. Suppose 0 = 2*t + t, n*t = -4*w + 56. Is w a multiple of 7?
True
Let p(f) = f**2 + f - 5. Let b be p(-4). Let d(m) = m**3 - 8*m**2 + 11*m - 10. Does 13 divide d(b)?
False
Let q = 58 - -2. Does 20 divide q?
True
Let k(s) = 7*s**2 + 18*s + 8. Let y(i) = -8*i**2 - 19*i - 8. Let c(p) = -7*k(p) - 6*y(p). Is c(-10) a multiple of 12?
True
Suppose -5*m + 21 = 4*f, f + 4*m - 8*m = 0. Suppose 2*d - d - 3*l - 29 = 0, -f*d = 4*l - 100. Is d a multiple of 8?
False
Let k = -12 + 2. Is k*21/6*-1 a multiple of 10?
False
Suppose -4 = 3*u - 22. Suppose -180 = -h + u*h. Does 6 divide (-1)/(3/(h*1))?
True
Let a(i) = -2*i**2 - 2*i + 2. Let c be a(3). Let v = -25 - -9. Let d = v - c. Does 6 divide d?
True
Suppose -2*u + 6 + 9 = -s, -4*s = -5*u + 39. Let z be (3 - u)*2/(-4). Suppose 12 = -z*c + 48. Does 12 divide c?
False
Let m(l) = -l**3 - 4*l**2 - 6*l - 6. Does 6 divide m(-4)?
True
Let o(c) = -5*c + 10. Let s be o(-10). Suppose -5*r + 135 = -3*y, -2*y - 74 = -0*y + 2*r. Let i = s + y. Is 10 a factor of i?
True
Let b(k) = -10*k**3 - k**2 + 3*k. Does 41 divide b(-3)?
False
Suppose -3*w + 13 + 35 = 0. Let x = w + -10. Suppose 3*d - 6 = 0, -x*d + 3*d = -3*y + 90. Is 14 a factor of y?
False
Let j(h) = -5*h - 3. Let u = 2 - 1. Suppose u + 2 = -k. Does 4 divide j(k)?
True
Is 37 + (-2)/1 - (-1 - -2) a multiple of 13?
False
Suppose 5*x - 2*k + 4*k - 719 = 0, -2*k - 6 = 0. Suppose 0 = 5*b - 10*b + x. Does 10 divide b?
False
Suppose h = -3*h + 168. Does 7 divide h?
True
Suppose -14 = 5*g - 2*f + 3*f, -2*g - 4*f - 20 = 0. Does 12 divide g + 29 + (-3)/(-1)?
False
Is (-5)/(-45) + 3310/18 a multiple of 16?
False
Let w(n) = n**2 - 1. Let j be w(-2). Suppose -3*g - j*m + 189 = 0, 2*g + 0*m - 3*m = 116. Is g a multiple of 16?
False
Does 4 divide (36/(-21))/((-15)/7 - -2)?
True
Let b(d) = -d**2 + 7*d + 8. Let z be b(7). Suppose -118 = -5*q - z. Does 14 divide q?
False
Suppose -5*v + 2*y + 13 = 0, -v + 11 = -4*y - 6. Let a(n) = -2*n**2 + 2*n - 3. Let d(b) = -b**2 + b. Let c(w) = v*a(w) - 3*d(w). Is 4 a factor of c(4)?
False
Let p(q) = -2*q**2 - 39*q - 8. Is 23 a factor of p(-18)?
True
Let a be (-2 - -14) + 8/(-4). Suppose a*c - 83 = 9*c. Does 31 divide c?
False
Suppose 0 = w - 3*w + 26. Is 3 a factor of w?
False
Let n be (340/25)/(1/5). Suppose -g - g = -n. Does 11 divide g?
False
Let r(c) = 9*c**2 - 5*c - c**3 + 14*c + 7 + 1. Let b be r(10). Does 9 divide 1*-6*3/b?
True
Suppose 4*t - t - 15 = 0. Suppose 0*f + t*f = 150. Suppos