e
Let f be (-18)/((-54)/(-14) + -4). Suppose -u = -2*z - 28, 0 = -4*u + z - 0*z + f. Does 16 divide u?
True
Suppose 4*k = -0*k + 116. Is 3 a factor of k?
False
Let i be (-2)/(-9) + 6/(-27). Suppose -2*u - 10 = i, 2*u + 16 = -t - t. Let q(k) = -8*k - 2. Is 11 a factor of q(t)?
True
Suppose r + 16 = 5*r. Suppose r*u = -u. Suppose u = -2*i + 20 + 4. Is 12 a factor of i?
True
Let r = -6 + 8. Suppose w + 10 = -4*v, 2*w + 3*v + 1 = -r*w. Suppose -s = -2*s, o - 26 = w*s. Is 13 a factor of o?
True
Suppose 4*t - 251 + 27 = 0. Is 14 a factor of t?
True
Suppose 4*f + f = 95. Let g = f + -1. Is 10 a factor of g?
False
Let l(c) = -5*c**2 - 2*c. Let z be l(-2). Suppose 3*w = 14*w + 110. Let o = w - z. Is o a multiple of 5?
False
Suppose 0 = 2*c - 4*h - 4, 4*h - 4 = -4*c + 16. Suppose c*p - 92 = 2*d, -5*p - d = -2*p - 74. Does 12 divide p?
True
Suppose -6*c + 65 + 55 = 0. Is 5 a factor of c?
True
Suppose 3*t + 10*t - 91 = 0. Is 7 a factor of t?
True
Is ((-12)/8)/(6/(-116)) a multiple of 6?
False
Suppose -q + 4*q - 52 = 2*g, 23 = -g + 3*q. Let w = 51 + g. Is w a multiple of 19?
False
Let p be 152/6 - (-4)/6. Suppose 0 = -f - 2*j - 12, 5*j + 60 = -5*f + 5. Let t = p - f. Is 12 a factor of t?
True
Let s(o) = 1 + 0 - 8 - o + 1. Let h be s(-5). Let m(l) = 6*l**2 - 2*l - 1. Is 3 a factor of m(h)?
False
Is 11 a factor of (-3)/12*34*-4?
False
Suppose 4*p - 505 = -p. Is 10 a factor of p?
False
Let a be ((-8)/10)/(2/(-5)). Let l(t) = 4*t**3 - 2*t**2 - 2. Does 11 divide l(a)?
True
Suppose -w + 104 = -2*t + 304, -4*t = -w - 404. Does 10 divide t?
False
Let p(m) be the first derivative of m**3/3 - 4*m**2 + 5*m + 7. Does 5 divide p(9)?
False
Let t(v) = -20*v - 55. Is 7 a factor of t(-9)?
False
Let c(l) be the first derivative of -3*l**2 - 3*l + 2. Does 7 divide c(-4)?
True
Let v(q) = q**3 + 9*q**2 - 8*q + 6. Is v(-8) a multiple of 20?
False
Let u(g) = g**3 + 4*g**2 - 6*g - 7. Let t be u(-5). Let l(d) = d**2 - 2*d. Let n be l(t). Suppose n - 42 = -j. Is j a multiple of 14?
False
Let s(a) = a**2 + 5*a + 2. Let j be s(-5). Suppose -k + 36 = j*k. Is k a multiple of 6?
True
Suppose -7*z + 3*z = 0. Suppose z + 28 = s. Suppose a = -a + s. Is a a multiple of 14?
True
Let n = -139 - -69. Does 17 divide 2/(-7) + (-4640)/n?
False
Is 7 a factor of (2 - (3 - 0)) + 42 + -6?
True
Let m be ((-8)/10)/((-16)/600). Suppose -4*n = n - m. Suppose -v - 4 = -k, 4*k + n*v - v - 25 = 0. Does 3 divide k?
False
Suppose 0 = 191*j - 196*j + 315. Is j a multiple of 9?
True
Suppose 2*r = -2*r. Suppose -2*q = -i - 435, r*q = 5*q + 3*i - 1104. Suppose -5*f = 5, -6*b - f = -b - q. Is 17 a factor of b?
False
Suppose 0*z = z - 2. Does 4 divide ((-55)/10)/((-1)/z)?
False
Suppose 12 = 4*r - 0*r. Does 4 divide 9 + (-4 - 0) + r?
True
Suppose -3*w + 19 = 1. Suppose 0 = 3*g - 2*h + 20, 0 = -3*h + w - 21. Is 6 a factor of (5/g)/(2/(-24))?
True
Let k(g) = -1. Let t(p) = p**2 - 5*p + 3. Let o(h) = -2*k(h) + t(h). Is o(6) even?
False
Suppose 3*m - 3*c - c = 229, 154 = 2*m - 4*c. Suppose -z + 6*z - m = 0. Suppose -5*v = -z, -5*v + v - 135 = -3*a. Does 20 divide a?
False
Let l be (-10)/(-16)*2*4. Let j = 53 - 33. Let x = j - l. Is 15 a factor of x?
True
Let x(r) be the third derivative of -r**6/60 - r**5/15 + 7*r**4/24 + r**3 - 3*r**2. Is 7 a factor of x(-4)?
True
Let s(b) be the third derivative of 0*b**3 - 4*b**2 + 1/24*b**4 + 0 + 0*b. Is 3 a factor of s(3)?
True
Let o = 60 - 31. Is 26 a factor of o?
False
Let b(w) = 6*w**2 - 7*w + 4. Let i(s) = s**2 + s - 1. Let j(p) = b(p) + 3*i(p). Let u be j(3). Suppose -3*m - 13 = -u. Is 19 a factor of m?
True
Let h(t) = -t**2 - 3*t + t**3 - 3*t**3 - t**2 - 2*t**2 - 1. Let x be (-3 + 1)*(-2 - -3). Does 3 divide h(x)?
False
Let b(s) = 11*s**2 - 5*s - 2*s**2 + 14*s**2 + 4*s. Is 12 a factor of b(-1)?
True
Suppose -36 = 5*x - 4*y, x + 5*y = -9 - 4. Let t = x - -11. Suppose -t*o = 4*m - 88, -3*o + 52 = -8*m + 3*m. Is o a multiple of 12?
True
Suppose 5*j - 210 = -0*j. Does 14 divide j?
True
Let h(z) = -9*z - 7. Let s be h(-7). Suppose -v = -5*m + 210, -5*m - 2*v + s = -154. Does 21 divide m?
True
Let p(d) = -d**2 + 3*d + 3. Let r be ((-8)/12)/((-6)/27). Does 3 divide p(r)?
True
Suppose 32*f - 13*f - 1444 = 0. Is f a multiple of 4?
True
Suppose -h - 2*h = -o - 4, 2*h - 2*o = -4. Suppose 14 = h*x - 2*x. Is x a multiple of 7?
True
Is 2 a factor of -26 - -21 - (-1 + -68)?
True
Suppose 0*x + 2*x + 3*q = 487, 3*x - 724 = 2*q. Is 22 a factor of x?
True
Let z(x) = -x**3 + 7*x**2 + 7*x + 2. Let l be z(8). Let j = 4 + l. Is (31/(-2))/(1/j) a multiple of 16?
False
Suppose 2*v - 298 = -3*b, 2*b + 3*v - 188 = -v. Suppose r - w - b = -2*r, -3*r + 96 = w. Is r a multiple of 14?
False
Suppose -c = t + 2*t - 82, 3*c = -5*t + 226. Does 15 divide c?
False
Let o(r) = r + 2. Let t be o(0). Suppose 3*m - 5*q - 25 = 0, 3*q = -2*m + 6 - t. Suppose -m*y + 200 = -0*y. Does 20 divide y?
True
Let w = -27 + 38. Is 5 a factor of w?
False
Let x(f) = f**2 + 3*f + 4. Let b be x(-3). Suppose 4*v - 3*v - 4*n + 8 = 0, -5*v + 2*n = b. Suppose v*a = -5*a + 110. Is 11 a factor of a?
True
Suppose 0 = -8*t + 4*t + 24. Does 3 divide t?
True
Let p be (-85)/(-3) - 2/6. Let m = -16 + p. Let n = m + 2. Does 11 divide n?
False
Does 12 divide ((-1045)/15 + -1)*-3?
False
Let g(n) = n**2 - 2. Let c be g(0). Let b(d) = 4*d**2 + 2*d - 1. Is 5 a factor of b(c)?
False
Let p(j) = j**3 + 4*j**2 - j + 3. Suppose -5*u + 4*u = 4*i + 6, -4*u = i - 6. Let z(b) = b**3 - b**2 + b. Let k(y) = i*z(y) + p(y). Is 13 a factor of k(5)?
True
Suppose -q - 3*q - 28 = 0. Let v(p) = -p**2 - 7*p + 1. Let z be v(q). Let t = 20 - z. Does 8 divide t?
False
Suppose 5*k + 109 = l, 2*l = 4*k + k + 193. Is l a multiple of 28?
True
Let t be 0*(-2 + 3/2). Let n be (-4 - -14) + t/(-2). Let z = n + 3. Does 13 divide z?
True
Let a = 2 + -1. Let c be a + (6/2)/1. Suppose -c*h + 97 = -3*d, 3*h = 3*d - 2*d + 69. Does 11 divide h?
True
Let z be 5 - (2 - 2)*1. Suppose -2*b + h + 16 = 0, 4*b - h - 56 = -z*h. Does 10 divide b?
True
Suppose 0 = -p + 2*i + 43, -3*p - 5*i + 23 = -95. Suppose -p = -m + 4*y, -3*y - 180 = -4*m - 55. Let k = -10 + m. Is 19 a factor of k?
True
Let n = -19 + 21. Suppose 5*z = 2*g + 164, -3*z = z + n*g - 124. Is 8 a factor of z?
True
Let m = 11 + -5. Suppose 2*k = -3*g + m*g - 261, 264 = 3*g - 3*k. Suppose 2*v - 3*y = 58, v - g = -2*v + 4*y. Does 13 divide v?
False
Let w(o) = o**3 + 6*o**2 + 3. Let y(h) = h**2 - h - 6. Suppose -2*g - g = 0. Let l be y(g). Is w(l) a multiple of 3?
True
Suppose 35 = -5*q + 140. Suppose -5*a + 5*r = 2*r - 95, 0 = a - r - q. Is 8 a factor of a?
True
Suppose 0*u - 4*a + 424 = 3*u, -565 = -4*u - 5*a. Let z = -8 - -12. Suppose z*m + 28 = u. Is m a multiple of 14?
True
Let q(y) = -y**2 + 12*y - 10. Let u(d) = -d**2 + 6*d + 3. Let a be u(5). Let p be q(a). Suppose l - p = -0*l. Does 13 divide l?
False
Let z be (1 + -1 + 2)*46. Is 6 a factor of 4/(-10) + z/5?
True
Is 18 a factor of (2*9)/(-11 - -12)?
True
Let b = 183 + -103. Is b a multiple of 31?
False
Let a = 12 + -9. Is a a multiple of 3?
True
Let z be 26/(-6) + (-4)/(-12). Let m(r) = 7*r**2 + 7*r. Is m(z) a multiple of 22?
False
Let d = 2 - -2. Suppose 3*b = 2*v - 29, -3*b = -d*v + 35 + 14. Is 10 a factor of v?
True
Suppose -2*n + q = 5, 0 = 4*n + 2*q - q - 5. Suppose n*s - 112 = -4*s. Suppose 3*l + 5*b = -s + 88, 5*l - 81 = -2*b. Does 15 divide l?
True
Suppose -3*w + 7*w - 16 = 0. Suppose u + 2*d = w*d + 61, 5*d + 125 = 2*u. Does 15 divide u?
False
Suppose -6 = -2*v - v + 3*c, 4*v + 2*c = 20. Let l = 7 - v. Suppose 24 = l*x - 2*x. Is x a multiple of 10?
False
Let n(x) be the first derivative of x**6/360 + 7*x**4/8 + 2*x**3/3 + 1. Let g(l) be the third derivative of n(l). Is g(0) a multiple of 10?
False
Let t be (1/(-3))/(2/(-18)). Suppose 3*w - 37 = -2*z, t*w + z - 31 = 1. Is w a multiple of 3?
True
Let s = -2 - -6. Suppose -4*v - 172 = -s*y, 5*y - 2*v = y + 170. Does 21 divide y?
True
Suppose -515 = 3*r + 2*r. Does 17 divide (-1)/3 + r/(-3)?
True
Suppose 8*j - 50 = 3*j. Is 4 a factor of j?
False
Suppose -4*m + 21 = -11. Suppose m*i = 7*i + 20. Is 11 a factor of i?
False
Suppose -4*x + 14 = 2*f, 1 = -2*f + f. Is 3 a factor of x?
False
Let g = -28 + 7. Let w = g - -63. Is 14 a factor of w?
True
Let i(k) = -3*k + 105. Does 15 divide i(0)?
True
Suppose 11 = -4*q - 13. Let 