b = 0. Does 11 divide v?
True
Let m be ((-16)/(-10))/((-2)/(-5)). Suppose 3*v = 2*u - 40, -4*u - m*v + 52 = -3*v. Does 5 divide u?
False
Let n(v) = -7*v + 14. Does 4 divide n(-3)?
False
Let l(o) = -o**2 - 23*o + 13. Does 16 divide l(-18)?
False
Suppose 14 = -h + 3*q + 67, -5*h + 2*q = -291. Does 10 divide h?
False
Suppose 3*y - 6*j - 185 = -7*j, 2*j + 260 = 4*y. Suppose -2*v + y = 19. Is v a multiple of 9?
False
Does 4 divide ((-13)/(273/(-36)))/((-1)/(-7))?
True
Let o be 4/6 - 1032/(-18). Let c = 86 - o. Is 6 a factor of c?
False
Suppose 215 = 15*c - 10*c. Does 7 divide c?
False
Let a = 21 - 19. Suppose -a*y - 226 = -5*d, 3*y - 123 = -3*d - 0*y. Is 14 a factor of d?
False
Let o(s) = s + 8. Let k be o(-10). Let r = k - -5. Suppose r*n = 6, -46 = -3*q - 5*n - 9. Is q a multiple of 4?
False
Suppose 5*c + 4 = -4*q, 0*c - 4*q = 3*c + 4. Let v be c + -2 + -2 + 1. Does 15 divide 75*(v/(-9))/1?
False
Suppose 180 = 4*h - 3*y, -2*h + 5*y = -65 - 11. Does 16 divide h?
True
Let p be 2*-11*1/(-1). Suppose 6 - p = 4*n. Let w = n + 8. Does 2 divide w?
True
Let u be 7 - (3 - -1 - 0). Suppose -4*t + u = -f, -2*t + 47 = f + 2*f. Does 3 divide f?
False
Let z = -10 - -13. Suppose g - c - 7 = 0, g + 2*c + 5 = -z. Let i = g + 16. Does 9 divide i?
True
Suppose -4*u = u - 4*z + 6, 2*u + 2*z - 12 = 0. Suppose -1 = d + 2*c + 2, -5*c = 25. Does 10 divide (-5)/((-5)/u)*d?
False
Suppose -68 = -5*c + 7. Let w = c + 30. Is w a multiple of 13?
False
Let b(n) = n**3 + 6*n**2 + 12. Does 7 divide b(-6)?
False
Let y be (4/(-6))/((-4)/18). Suppose -c - 1 = 2*a, -4*a = -y*c - 2*c - 19. Let p = c - -8. Does 2 divide p?
False
Let r be -1 - (-6 - (-6 + 3)). Suppose -r*j + 108 = -k, 4*j - 3*k = -0*k + 220. Is 26 a factor of j?
True
Let a(o) = 4*o**2 + o + 2. Let n be (5 + 1)*-1 + 3. Does 20 divide a(n)?
False
Let s be ((-9)/(-6))/((-6)/(-296)). Let i = s - 50. Does 10 divide i?
False
Let s = 47 + -25. Let t = s - 15. Is t a multiple of 5?
False
Let y(s) = 6*s**3 - s**2 + s. Let p be y(1). Suppose -4 = -t + p. Is 12 a factor of (-4)/t*(-55 + -5)?
True
Let d(k) be the first derivative of 1 - k - 3/2*k**2. Is d(-9) a multiple of 15?
False
Let t(c) = -c - 1. Let l be t(-6). Let b be (1 + (-2 - -9))/2. Suppose l*x - 84 = -0*z - z, x = 5*z - b. Does 6 divide x?
False
Let h(s) = s**3 + 7*s**2 + 4*s - 5. Does 8 divide h(-5)?
False
Let z(g) = g**3 - 3*g**2 + g - 1. Let m be z(3). Suppose -m*w + 14 = 3*p - 29, 15 = -5*p. Does 7 divide w?
False
Suppose -23 = -w - 125. Let u be (w/(-4))/((-2)/(-4)). Let c = u + -31. Is 10 a factor of c?
True
Let n(c) = 2*c**2 + 6*c. Let k be n(-4). Let d = k + -5. Does 2 divide d?
False
Suppose -2*j = 3*j - 795. Does 25 divide j?
False
Let z(l) = 2*l + 1. Let a be z(-9). Let k = 53 + a. Does 12 divide k?
True
Is (-4)/26 - 1728/(-78) a multiple of 2?
True
Suppose -3*b + 8*b = 160. Does 16 divide b?
True
Let j be (-920)/(-5)*1/2. Suppose 3*w - 33 = n + 31, 2*n = -4*w + j. Is w a multiple of 12?
False
Let o = 61 + 71. Does 12 divide o?
True
Let k be ((-8)/20)/(1/(-5)). Suppose -20 = -4*b - 2*m, b - k*b = 5*m + 13. Is 3 a factor of b?
False
Let j be -3*(-1)/(-3)*-3. Suppose 33 - 6 = j*m. Is m a multiple of 9?
True
Let n = -8 - -30. Let r(g) = -g**2 - 15*g - 25. Let u be r(-10). Let f = u + n. Is 17 a factor of f?
False
Suppose -5 = 4*m - 9. Let s(f) = 7*f**2 + f - 1. Does 5 divide s(m)?
False
Is 3 a factor of 0 - -65 - (-2 + -1 + 0)?
False
Let x(s) = -3 + s - 3*s + 7*s. Let n be x(6). Suppose 143 + n = 5*i. Does 17 divide i?
True
Let g(d) = d**3 - 4*d**2 - 4*d - 1. Let j be g(3). Let i = 53 + j. Is i a multiple of 10?
False
Suppose 0 = 2*n + 4*s + 54, 5*n = s - 2*s - 108. Let u be (-642)/(-7) - 6/n. Suppose -u = -0*m - 2*m. Is 19 a factor of m?
False
Let x(t) = -2*t + 9. Is 9 a factor of x(0)?
True
Let c(k) = 5*k - 1. Is c(6) a multiple of 9?
False
Does 8 divide 125 - (-6 + 6)/(1 + 0)?
False
Suppose -5*q - 28 = -c - 3, -3*c + 4*q + 119 = 0. Let j = -25 + c. Is 7 a factor of 2/2 + j/2?
False
Suppose 6 = -l + 30. Suppose -56 = -4*n + l. Does 20 divide n?
True
Let v(w) = w**2 + 6*w - 5. Let n be v(-8). Let q be ((-4)/1)/((-1)/2). Suppose q*x = n*x - 54. Does 9 divide x?
True
Suppose 4*b - 5 = 11. Let q be 0 + 2*1 - 1. Let n = b + q. Is n even?
False
Let r = -34 - -52. Does 5 divide r?
False
Let m(h) = -32*h + 4. Let q be m(4). Let o(z) = -z**3 - 7*z**2 + 8*z - 2. Let g be o(-6). Let r = g - q. Is r a multiple of 19?
True
Let s(h) = 2*h**2 + 5*h - 1. Let i be (15/9)/(-1)*3. Is s(i) a multiple of 12?
True
Suppose 3*t = -0*t - 141. Let c = t - -147. Is 25 a factor of c?
True
Suppose 0*y = -3*y + 207. Does 23 divide y?
True
Does 31 divide (-3)/6 - 214/(-4)?
False
Let n(j) = -j + 24. Is n(7) a multiple of 5?
False
Let v be 2 - (2 - (-1 + 3)). Suppose -v + 6 = t. Suppose t*x - 12 = 44. Is x a multiple of 14?
True
Let o(d) = -d**2 + 2*d + 91. Does 15 divide o(0)?
False
Let r = 49 - 21. Does 14 divide r?
True
Suppose -5*b - 12 = -6*b - 4*o, 0 = o - 1. Does 4 divide b?
True
Let l(p) = 3*p**3 - 3*p**2 - p - 3. Does 38 divide l(4)?
False
Suppose 0 = 7*x - 14*x + 609. Is x a multiple of 29?
True
Let u(l) = -2*l + 2. Let n be u(0). Is 48*(2 + n/(-2)) a multiple of 16?
True
Let s be (5/(-1))/(2/(-4)). Let g(z) = -10 - 7*z + 8*z + 4*z + 7*z - z**2. Does 10 divide g(s)?
True
Suppose 0 = -19*a + 6*a + 1664. Does 11 divide a?
False
Let u = -15 + 87. Does 19 divide u?
False
Let j = 27 + -21. Let r = 0 - -2. Suppose b + 3*a - 48 = 0, -r + j = a. Does 18 divide b?
True
Let p(q) = q + 5. Let k(f) = 1. Let s(x) = 6*k(x) - 2*p(x). Is 3 a factor of s(-5)?
True
Let q be (-522)/(-5) + (-10)/25. Suppose -5*a + q + 161 = 0. Does 23 divide a?
False
Let v(l) be the third derivative of l**6/120 + 2*l**5/15 + l**4/8 - 2*l**3/3 - 2*l**2. Does 7 divide v(-7)?
False
Let u(w) = -w - 6. Let x be u(-9). Let c be 3/2*2/x. Is 3 a factor of (0 - 1)*c - -6?
False
Let f = -6 - -63. Is f a multiple of 19?
True
Let j(g) be the second derivative of -19*g**3/6 + 3*g**2/2 + 4*g. Is 17 a factor of j(-2)?
False
Suppose 0 = 4*z - 228 - 0. Suppose 2*h - 27 = -p - 3*h, p = 5*h + z. Is p a multiple of 15?
False
Let h be 3/(-4) - 2/8. Is (20/15)/(h/(-6)) a multiple of 6?
False
Let q(t) = -5*t + 3. Let v(y) = 11*y - 7. Suppose 22 = -3*i + 5*r - 5, -18 = 2*i - 5*r. Let n(m) = i*q(m) - 4*v(m). Is n(2) a multiple of 3?
True
Let d = -21 - -46. Is d a multiple of 25?
True
Suppose 13 + 77 = s. Does 41 divide s?
False
Suppose -2 = 2*m - 4, 5*u + 15 = -5*m. Does 3 divide (6/(-4))/(2/u)?
True
Does 11 divide ((-4)/(-6))/(30/1485)?
True
Suppose 0 = k + 3*k + 200. Let b = k - -70. Is 16 a factor of 312/b + 2/5?
True
Suppose x + 51 - 124 = 0. Does 15 divide x?
False
Let x = -109 - -196. Is x a multiple of 11?
False
Let x(q) be the second derivative of -q**5/40 + q**4/24 - q**3/3 - q. Let i(h) be the second derivative of x(h). Is 4 a factor of i(-1)?
True
Let r(a) = 3*a + 1. Let j be r(3). Suppose -6*o = -7*o + j. Is 3 a factor of o?
False
Is (-54)/(-45)*(-1340)/(-6) a multiple of 36?
False
Let f(a) = -54*a + 5. Does 6 divide f(-1)?
False
Let m be (7/1 - 2)/(-1). Let r(o) = o**3 + o**2 - 2*o - 6. Let c(d) = -2*d**3 - d**2 + 4*d + 13. Let x(n) = -3*c(n) - 7*r(n). Is x(m) a multiple of 13?
False
Let q = 90 - 55. Is 9 a factor of q?
False
Suppose n - 5*q - 41 = 0, -4*q + 9*q - 39 = -4*n. Does 4 divide n?
True
Suppose -2*m - 13 = -b - 2*b, -5*m + 10 = b. Suppose 4*t - 43 - b = 0. Is t a multiple of 5?
False
Suppose -x + 16 = -3*h, -2*h + 0*x = -5*x + 28. Let b be 20*(0 + (-1)/h). Suppose 2*t = b*t - 54. Does 8 divide t?
False
Let n = 2 + -2. Let s(m) = -3*m**2 + 4*m + 33. Let k(y) = -y**2 + y + 11. Let p(l) = 7*k(l) - 2*s(l). Is 11 a factor of p(n)?
True
Is (1 + 2)*84/9 a multiple of 7?
True
Let i(s) = -s**2 + 14*s + 2. Is 10 a factor of i(12)?
False
Let t = -39 + 79. Is t a multiple of 15?
False
Let i be -1 + 5/1 + 0. Suppose 42 = i*k - 74. Is k a multiple of 5?
False
Let b(f) = -f - 13. Let s be b(-7). Let p(r) be the second derivative of r**4/12 + 2*r**3/3 + 3*r**2 + 4*r. Is 6 a factor of p(s)?
True
Suppose -2*d - 69 + 7 = 0. Let t = -6 - d. Is t a multiple of 25?
True
Let q = 41 - 27. Suppose -m + q = 1. Is m a multiple of 13?
True
Let p be ((-7)/(-14))/((-1)/(-12)). Let r(d) = 8*d - 4. Is r(p) a multiple of 16?
False
Let z be 5*(2 -