e
Let i = -119 + 183. Does 14 divide i?
False
Let s = -11 + 2. Let v = -5 - s. Suppose -2*r - 6 = -v*i, -8*r = -3*i - 3*r - 6. Is i even?
False
Suppose 0 = 3*c - 3*j - 72, -5*c + 80 = -2*c - j. Does 7 divide c?
True
Let t be 4/10 - 26/(-10). Let z(i) = -i**2 + i. Let s be z(-3). Is 6 a factor of 63/4 - t/s?
False
Let x(j) = 13*j - 10. Let i(h) = 7*h - 5. Let v(n) = -11*i(n) + 6*x(n). Let o be v(5). Suppose 21 = 2*l + 5*t, o = -2*l - 0*t - 2*t + 18. Does 4 divide l?
True
Let g = 78 - 29. Let i = 69 - g. Does 15 divide i?
False
Let o(d) = 5*d**3 - d**2 + 1. Let p be o(1). Suppose p*w = -2 + 127. Does 11 divide w?
False
Suppose 4*l = -5*v + 71, 2*v = -3*v - 2*l + 63. Is 4 a factor of v?
False
Does 6 divide 9/72 - (-510)/16?
False
Let p = 0 + 2. Let f(s) = 4 - 4*s - 2 + 4 - p. Is f(-4) a multiple of 10?
True
Let l = 99 - 57. Is 14 a factor of l?
True
Let c(o) = -o**3 - o**2 - o + 374. Let i be c(0). Let d = -254 + i. Suppose 5*u = -5*v + d, 0 = 3*u - 5*v - 19 - 13. Does 12 divide u?
False
Suppose 2*i - 2*q - 174 = 0, -5*i + 2*q + 312 + 126 = 0. Is 20 a factor of i?
False
Let c(v) be the second derivative of v**8/6720 + v**7/1260 - v**6/240 - v**5/60 + v**4/4 - v. Let s(f) be the third derivative of c(f). Does 4 divide s(-2)?
True
Is 4 a factor of 20 + (2 - (-4 - -3))?
False
Let r(h) = 0*h + 56 - h**2 + 0*h**2 - h. Let s be r(0). Let v = 86 - s. Is 15 a factor of v?
True
Suppose -p + 3*h = 2*p - 3, -4 = -4*p + 5*h. Let g = p - -12. Is g a multiple of 7?
False
Let f = -12 - -34. Let r = f - 16. Is 30/(1*r/4) a multiple of 10?
True
Suppose 4 = -5*u - 1, 2*x - 5*u = 101. Is 8 a factor of x?
True
Let x be (-190)/(-35) - 15/35. Suppose 3*b - 11 = 2*b. Suppose -x*h - b = -81. Is h a multiple of 4?
False
Let c be (116/6)/((-4)/(-18)). Let h = c - 27. Does 15 divide h?
True
Let d(q) = q**3 + 2*q + 22. Does 14 divide d(0)?
False
Suppose 4*r - 1951 + 531 = 0. Is r a multiple of 70?
False
Suppose -3*d + 49 = -o, 3*o - 111 = 7*o + 5*d. Let t = o - -56. Is 9 a factor of t?
False
Suppose -6*t = -2*t + 80. Let u = -58 - t. Is 11 a factor of -1 - 1/(2/u)?
False
Let k = 98 + -63. Is k a multiple of 7?
True
Suppose 4*t + 6 = -2*k, -15 = t + 2*t - 2*k. Let w = t + 7. Suppose 49 = i - 2*g, g + 240 = 4*i + w*g. Is i a multiple of 25?
False
Let s(n) = -3*n - 6. Is 12 a factor of s(-6)?
True
Let k(s) = -s**3 - s**2 - 4*s - 2. Let i be k(-3). Suppose h + 4*y = i, -2*y + 6 = -4. Suppose -3*v = -h*v + 195. Is 13 a factor of v?
True
Suppose 0*w - w + 62 = 3*k, 2*w = -3*k + 109. Does 12 divide w?
False
Let j = 220 + -131. Let n = j + -43. Is n a multiple of 23?
True
Let d(q) = -q**2 - 6*q - 2. Let v be d(-5). Suppose 0 = u - 6 - 9. Suppose -u + v = -s. Is 6 a factor of s?
True
Suppose 0 = 12*l - 11*l - 4. Suppose a - l - 32 = 0. Is a a multiple of 13?
False
Suppose 2*t + 0*m = 3*m + 285, t - 2*m - 143 = 0. Is t a multiple of 34?
False
Is 17 a factor of 0*5/(-10) + 334?
False
Let n = 6 + -4. Suppose r - 5*p + 5 = 0, -n = 4*r - p - 1. Suppose -l + 15 + 8 = r. Is l a multiple of 23?
True
Let f be 2/6 - (-1)/(-3). Suppose -3*m + 2*r - r + 23 = f, -5*r = -20. Let n = 1 + m. Is n a multiple of 8?
False
Suppose -5*b + 26 = 4*g, 5*g = 5*b - 0*b + 10. Is 2*(g - 1*-10) a multiple of 15?
False
Let d(v) = v**3 + 4*v**2 - 5*v + 2. Let c be d(-5). Suppose -2*r - 2*n - n = 2, -5*r = -c*n + 5. Is 3 a factor of (18/(-12))/(r/2)?
True
Let o(w) = w**3 + w**2 + 2. Let h be o(0). Suppose f = -h*f + 18. Does 6 divide f?
True
Is 22 a factor of (-1)/(-2)*6 + 346/2?
True
Let p = -3 + 52. Is 4 a factor of p?
False
Suppose -2*z = -z. Suppose z = -4*l - 0*l + 20. Suppose 0 = -2*d - x - 4*x + 4, 5*d = l*x + 80. Does 6 divide d?
True
Suppose -8*x + 8 + 96 = 0. Does 11 divide x?
False
Let g(c) = -c**2 - 11*c + 5. Let r = 16 + -24. Let j be g(r). Let s = 46 - j. Does 8 divide s?
False
Suppose 0 = i + i. Suppose -4*b + 93 + 39 = i. Is b a multiple of 8?
False
Suppose 3*b - 4 = 2*b. Suppose 3*o = -5*z + 521, -z + 118 = -0*z - b*o. Suppose -2*k + z = 2*k - 2*s, -4*s = 3*k - 96. Does 14 divide k?
True
Let g(t) = t + 4. Let y be g(-7). Suppose -19 = -4*r + 5. Let i = r - y. Is i a multiple of 6?
False
Let h be (-316)/26 - (-8)/52. Let b = h - -28. Is b a multiple of 16?
True
Suppose 3*m + h = 6*h + 397, -4*m - h + 491 = 0. Let o = 185 - m. Let k = o + -10. Does 23 divide k?
False
Let m(k) = -k**2 - 26*k + 29. Does 17 divide m(-20)?
False
Suppose 4*d + 2 = -30. Does 7 divide (-126)/(-8) + d/(-32)?
False
Let g = 109 + -49. Is g a multiple of 6?
True
Suppose -10 = -2*t, -11 = 4*c + t - 4*t. Does 7 divide (13/(-4))/(c/(-4))?
False
Suppose -12 = -q + 12. Suppose 5*m - 195 = 5*y, -4*m + 174 - q = 2*y. Is m a multiple of 28?
False
Let v(c) = -c**3 + 4*c**2 - 3*c - 2. Let f be v(3). Let d = f - 2. Let n = -1 - d. Is 3 a factor of n?
True
Let t(d) = 2 + 7*d + 2 - 8 + 2*d**2 - 2*d. Is t(-6) a multiple of 9?
False
Let x(k) = 3*k + k**2 - k**3 - 2*k - 7*k**3. Let g be x(2). Let z = g - -101. Does 19 divide z?
False
Let x = 5 - 27. Let f = x + 44. Is 5 a factor of f?
False
Suppose -2*n + 5*a - 24 = 0, a + 4*a - 18 = -n. Let j = 8 + n. Let o(z) = z**2 - 5*z + 3. Is o(j) a multiple of 5?
False
Let c(d) = -d**3 - 4*d**2 - 2*d - 6. Let n be c(-4). Let x be n + 2*(-3)/(-6). Suppose x*v - 42 = v. Does 9 divide v?
False
Suppose 43*d - 45*d + 220 = 0. Is 11 a factor of d?
True
Let o = 37 - 27. Is 10 a factor of o?
True
Let w(v) = v**3 + 6*v**2 - 5. Let s be w(-4). Let a = 42 - s. Does 5 divide a?
True
Suppose 4*d - 159 = -31. Does 20 divide d?
False
Suppose 4*z + 2 = 5*z. Suppose 0 = t + 2*t - 3*s, z*t = -4*s + 6. Suppose -4*a + 5*b = -44, -3*b + t - 5 = -a. Is a a multiple of 16?
True
Let b = -7 + 7. Let u(g) = -5*g**3 - 3*g**2 + 8*g - 152. Let m(a) = 3*a**3 + 2*a**2 - 5*a + 101. Let w(v) = 8*m(v) + 5*u(v). Is 20 a factor of w(b)?
False
Let g be (-16)/(-3) + 1/(-3). Suppose -g*k + 42 = -4*k. Is k a multiple of 21?
True
Let n(v) = -v**2 + 11*v - 3. Let z be n(12). Let f = z + 34. Does 5 divide f?
False
Suppose -5*s + 100 = -4*z, 4*s + z - 116 = -3*z. Does 8 divide s?
True
Suppose -3*o = 2*o - d - 275, -3*o = -d - 167. Is 27 a factor of o?
True
Let n(s) = -s**2 + 5*s + 6. Let f be n(6). Suppose f = 4*a - 7 - 1. Let z = 14 - a. Is 12 a factor of z?
True
Let q = 21 + -5. Is q a multiple of 8?
True
Suppose q - 5 = -0*q. Suppose 6 = q*x - 9, -5*d + 4*x = -3. Let v = d + 4. Is v a multiple of 7?
True
Let l(w) = 5*w - 5. Let s be l(2). Suppose 2*r - 2*x - 37 = 23, -s*r + 138 = -2*x. Is 5 a factor of r?
False
Let f be 24*(-28)/(-18)*3. Suppose -3*k + 4*a + 65 + 15 = 0, -4*k + f = -4*a. Suppose -g = -5*g + k. Does 8 divide g?
True
Suppose -m = 2 - 22. Suppose -3*c = 2*c - m. Suppose 2*u - 2*w = u + 22, -4*w = u - c. Is u a multiple of 7?
False
Suppose 0 = 16*u - 19*u + 30. Suppose -4*c + 16 = -2*v + 3*v, 2*c + u = 0. Is 18 a factor of v?
True
Let v(w) = w + 15. Suppose 0 = 5*s - 5*j, 0*s - s = 5*j - 24. Suppose -4*r - 2*g = -g - 1, 0 = -s*r + 2*g - 2. Is 15 a factor of v(r)?
True
Is -2*((-13)/(-4))/(2/(-12)) a multiple of 2?
False
Is (-746)/(-8) + (-2)/8 a multiple of 8?
False
Suppose -3*f = -28 - 206. Suppose 5*z - f = -2*r, -3*z - 110 = -4*r + 2*r. Does 17 divide r?
False
Suppose -281 = -5*a + 29. Is a a multiple of 31?
True
Let w be (-212)/6*6/(-4). Let f = w - 38. Is 9 a factor of f?
False
Let g = 10 - -8. Suppose g + 9 = 3*z. Is 5 a factor of z?
False
Let a = -5 + 7. Suppose -a*b + 8 = -6*b. Is 16 a factor of (-44)/(-1) + b/2?
False
Suppose g - 5*m = -3*g + 88, 0 = -2*g - m + 30. Is g a multiple of 2?
False
Let d(k) be the second derivative of -k**5/20 - 2*k**4/3 - 3*k**3/2 + k**2/2 - k. Let r be d(-7). Does 10 divide (44/(-6))/((-10)/r)?
False
Suppose 0*t + 330 = 3*b - 3*t, -2*b + 230 = 3*t. Suppose 4*d + 5*c - b = -0*d, 3*d + c = 95. Is d a multiple of 12?
False
Let y be (-2)/5 + 66/15. Let f(i) = 1 - 2 - 5 + y*i. Is 12 a factor of f(7)?
False
Suppose 4 = 2*y - y. Suppose -y*q + g + 152 = 0, 145 = 5*q + 4*g - 45. Is q a multiple of 18?
False
Let n(d) = -d**3 + 7*d**2 - 5*d - 7. Suppose -13 = -4*b + 11. Let r be n(b). Is (r/(-1))/((-3)/(-33)) a multiple of 10?
False
Does 13 divide (-1 - -157)*4/6?
True
Let g = 1 + 1. Suppose g*k + 47 = 5*h, 6 - 35 = 4*k + 3*h. Let a = k - -62. Does 13 divide a?
False
Let d(v) = -v**2 + 5*v - 3. Le