et z be (-57)/(-21) - 2/(-7). Suppose -p - z*p = -72. Let i = p + 2. Is 10 a factor of i?
True
Let d = 11 + -1. Does 4 divide d?
False
Let l = 8 + 39. Let t = 73 - l. Is 13 a factor of t?
True
Suppose -2*v = -4*c + v, 0 = -5*c - v. Does 13 divide 23 - (-1 - c) - 0?
False
Let z(u) = 3*u**3 + 3*u**2 - 1. Is z(2) a multiple of 13?
False
Suppose 0 = -3*p + 58 + 197. Is 11 a factor of p?
False
Let q(l) be the second derivative of 0 + 2*l**2 + l + 1/3*l**3 + 1/6*l**4. Does 6 divide q(-3)?
False
Let y = -26 - -6. Let p = 45 + y. Let i = 0 + p. Is 12 a factor of i?
False
Let x be 397 - ((-9)/3)/1. Suppose 9*o = 4*o + x. Suppose -3*g + 64 = 4*l, -2*g + o = 5*l - 7*g. Is 8 a factor of l?
True
Let c(i) = i**2 - 6*i. Let q be c(6). Suppose r - 5*j = 40, -2*r + q*r = 3*j - 15. Is r a multiple of 15?
True
Suppose 4*y = 2*y + 104. Is y a multiple of 13?
True
Let l(x) = -x - 4. Let p be l(-6). Suppose -5*w - 103 = -p*g, -4*g = 4*w - w - 167. Is g a multiple of 22?
True
Let o(m) = -m**2 - 9*m + 2. Let g be o(-9). Let d be 4/(g - (2 - 1)). Suppose 5*p - 4*z - 180 = -17, 0 = 4*p + d*z - 152. Does 12 divide p?
False
Let m(x) = x**3 - 5*x**2 + 10*x - 12. Is 17 a factor of m(6)?
False
Let d be (-148)/(-20) + 2/(-5). Let l = 7 - d. Suppose -4*r + 3 = -r, l = -m - 4*r + 38. Is 17 a factor of m?
True
Let v(q) = q**3 + 6*q**2 + 5*q + 2. Let r be v(-5). Suppose -r*d = -4*j - 60, d = -3*j + 2*j + 24. Is d a multiple of 26?
True
Suppose -r + 20 = 4*r. Let y(q) = q**2 - q - 5. Let h be y(r). Does 17 divide 28*(2 + (-2)/h)?
False
Suppose -o + 13 + 7 = 0. Suppose 5*l = o, 2*q + 3*l - 102 = -q. Is 14 a factor of q?
False
Suppose -5*w + 27 = 2*a - 27, 0 = 5*w - 2*a - 66. Suppose -5*y + w = -y, m - 4*y = -5. Is 7 a factor of m?
True
Suppose 4*l = 3*c - 458, -6 = 6*l - 3*l. Suppose 30 = g - 2*m - 0*m, -5*g - m + c = 0. Does 10 divide g?
True
Let x(u) = -5*u. Let i be x(-1). Suppose 56 = 2*v - 4*b, -2*b + 140 = i*v + b. Does 14 divide v?
True
Suppose 4*z - t - 4 = 0, 5*z + 2*t - 5 = 3*t. Does 15 divide (z/(-3))/(2/(-222))?
False
Let n be (5 - -1)*(-2)/(-6). Suppose -3*y + 7*y = n*g + 246, 5*y + 4*g - 288 = 0. Suppose 2*c - 5*c = -y. Is c a multiple of 7?
False
Suppose 3*f - 2*f - 62 = -4*s, -3*f + 151 = 5*s. Is f a multiple of 6?
True
Let j(t) = -14*t - 10. Is 4 a factor of j(-3)?
True
Suppose 2*n = n - 3, -29 = 2*y + 5*n. Let b(v) = v**2 + 5*v - 9. Does 4 divide b(y)?
False
Does 4 divide (-568)/(-36) - (-6)/27?
True
Suppose 6*m = 9*m - 342. Is 20 a factor of m?
False
Let y(k) = 2*k**2 - 4*k + 3. Let x be y(2). Suppose -2*n - 2*w = x*n, 0 = -5*n - 4*w. Suppose n = -4*s + 19 + 13. Is s a multiple of 8?
True
Suppose 6*b = 11*b - 150. Does 6 divide b?
True
Let g be 4/12 + (-1)/3. Let x be g + -1 + (13 - -2). Is 18 a factor of (-42)/6*(-36)/x?
True
Suppose 0 = -4*i - i + 4*n + 1873, -5*i = -3*n - 1871. Does 27 divide i?
False
Suppose -20 - 34 = -2*z. Is 9 a factor of z?
True
Let n(l) = l**2 + 5*l - 6. Suppose -2*d + 29 - 7 = -2*j, -42 = 4*j - 3*d. Is n(j) a multiple of 10?
True
Does 21 divide (2/3)/(10/405)?
False
Suppose 2*v = -v - 15. Let m(o) = 4*o**2 + 2*o - 2. Let x be m(v). Suppose -x + 16 = -3*h. Is h a multiple of 12?
True
Let j(s) = -s**2 + 27*s - 34. Is 29 a factor of j(23)?
True
Let u(y) = 57*y - 4. Let t be u(-5). Let m be 2/(-7) + t/(-7). Let q = m + -27. Is 14 a factor of q?
True
Let r = -6 + 11. Does 3 divide 0/r - (-2 + -9)?
False
Let c(w) = w**3 + 7*w**2. Let f be c(-7). Suppose -3*d + 2*r + 112 = f, 5*d - r - r = 180. Is 5 a factor of d/6 - 16/24?
True
Is 4 a factor of (-3)/(-1 - (-16)/20)?
False
Let a(p) = -p**3 + p**2 - 3*p - 4. Let s be (-28)/(-5) - 3/5. Suppose 0 = g - s*g - 12. Does 12 divide a(g)?
False
Suppose 0*k + k = -3*y + 8, -4*y + 3*k + 15 = 0. Suppose p + 32 = y*p. Suppose 8 = u + 4*i, -2*u - p = -7*u + 4*i. Is u a multiple of 3?
False
Let k(o) = -o**3 - 11*o**2 + 10*o + 6. Does 5 divide k(-12)?
True
Let p be (-4 - -1)/(12/(-16)). Suppose -3*r + 6 = -p*i, -2*r + 4*i = -i - 4. Is (4 + -3)/(r/82) a multiple of 14?
False
Let a = 208 - 103. Is 15 a factor of a?
True
Let l(q) = q**2 + q + 2. Is l(4) a multiple of 11?
True
Is ((225/(-4))/(-5))/((-1)/(-4)) a multiple of 7?
False
Let o(b) = -b + 4. Let c be o(2). Let t = c - 3. Is 1 + t*2 - -42 a multiple of 17?
False
Suppose 2*a + 3*n + 55 = 0, -3*n + 4 - 24 = a. Let l(f) = f + 7. Let x be l(-5). Is 18 a factor of a/x*(-24)/10?
False
Suppose -2*d + 22 = 4. Is 16 a factor of 654/18 - 3/d?
False
Let d(w) = -w**3 + 2*w**2 + 4*w + 3. Is 12 a factor of d(-3)?
True
Let u = 28 + -62. Is 14 a factor of (-1)/1 - (5 + u)?
True
Let f(c) = -c**2 + 6*c - 5. Is f(3) a multiple of 4?
True
Let g = -216 + 344. Suppose -g = 6*p - 11*p - 3*l, p - 4*l = 21. Is 6 a factor of p?
False
Let s = -42 + 71. Is 19 a factor of s?
False
Let b = 22 + -19. Let a(c) = 5*c - 1. Does 5 divide a(b)?
False
Suppose 4*a - 4*x = 3*a - 10, 2*a + 8 = 5*x. Suppose -33 = -5*d + 7. Is a/d + 146/8 a multiple of 19?
True
Suppose p + 0*p = 6. Suppose -216 = -p*u - 0*u. Is u a multiple of 18?
True
Does 15 divide (-39)/(4 - 1 - 4)?
False
Suppose -k + p = -3*k - 66, -2*k + 5*p - 42 = 0. Let l = -19 - k. Is 5 a factor of l?
False
Suppose 3*d = -3*l - 2*d + 630, -5*d + 420 = 2*l. Does 13 divide l?
False
Suppose 2*b - 4*b = -t - 213, 5*b = -4*t + 552. Suppose -5*u + 3*u = -b. Is u a multiple of 19?
False
Suppose 3*t - t - w = 345, 3*t - 520 = w. Does 7 divide t?
True
Let l(m) = -m**3 - 3*m**2 + 3*m. Let j be l(-4). Suppose 0 = 4*a - 8. Suppose -12 = -j*z - a*t, 2*z - 25 = z + 5*t. Is z a multiple of 3?
False
Suppose 7 = -3*m - u, -2*m - 13 - 1 = 3*u. Let j(x) be the third derivative of -x**6/20 - x**3/6 - 5*x**2. Is j(m) a multiple of 3?
False
Let y(z) = z**3 - 6*z**2 - z - 2. Is y(7) a multiple of 10?
True
Suppose 5*r - r - 234 = 5*u, -u = -4*r + 226. Does 21 divide r?
False
Suppose -3*k = 72 + 96. Let u = 107 + k. Suppose u = y + 2*y. Is y a multiple of 5?
False
Let f be (-1)/(-4) - 342/24. Let d = f + 20. Does 13 divide d/4*104/6?
True
Let t(b) = b - 2. Let u be t(6). Suppose u*j = 2*j + 4. Suppose -30 = -2*s + j*r - 0*r, -5*r - 45 = -2*s. Does 5 divide s?
True
Suppose 5*g - 5*r - 235 = 0, 4*r + 54 - 223 = -3*g. Does 17 divide g?
True
Let l be (-50)/(-4)*-2 + -2. Is 1/(-2 - l/12) even?
True
Suppose 4*y = 2*s - 52, y + 18 = -3*s + s. Suppose 2*t + 0 - 50 = 5*d, t - d - 28 = 0. Let z = t + y. Is 8 a factor of z?
True
Let o be (-7)/((-42)/8)*171. Suppose -38 = 5*p - o. Does 7 divide p?
False
Let k be 2/(-9) - 938/(-9). Suppose -3*j = -7*j + k. Suppose -w + j = -b, w = 2*b + 3*b + 34. Is 12 a factor of w?
True
Suppose -2*g = -7*g + 580. Suppose 0*a - 4*a + g = 4*l, -4*a + 44 = l. Suppose -66 = -5*m + l. Is m a multiple of 7?
False
Let w(p) = 4*p - 7. Let d = -14 - -20. Is w(d) a multiple of 7?
False
Is 10 a factor of 1 + (24 - (3 - 0))?
False
Suppose 0*w - 18 = -w. Let c be ((-2)/1)/(2/(-4)). Suppose b - w = -c. Does 14 divide b?
True
Let c(g) = 17*g**2 - 2*g - 1. Let r be c(-1). Suppose w = -5*d - r, 0 = -2*w - 3*d - 4 - 4. Suppose 0 = k - 3*v - 46, -2*k + 9 = -w*v - 67. Does 17 divide k?
True
Let k(p) = -6 - 4*p - 4*p**3 + 3*p + 3*p**3 - 11*p**2. Let o be k(-11). Suppose -5*i - 30 = -o*u + 45, -37 = -3*u - 5*i. Is u a multiple of 7?
True
Let h = 7 - 6. Is 4 a factor of (0 + -2)*-2*h?
True
Suppose -2*q + 2 = -6, 0 = 4*f + 3*q - 340. Is 20 a factor of f?
False
Let p(v) = v**3 - 20*v**2 + 4*v + 22. Is p(20) a multiple of 50?
False
Let p(j) = 11*j**2 - 4*j + 7. Let m(y) = -17*y**2 + 6*y - 10. Let i(u) = -5*m(u) - 7*p(u). Is 10 a factor of i(2)?
False
Let t(w) = w + 7. Let s be t(-5). Let q be (5/((-5)/(-6)))/s. Is ((-9)/(-6))/(q/6) a multiple of 3?
True
Is (-1)/(-2)*(-1 - -5 - -68) a multiple of 11?
False
Suppose 2*y = 6*y - 580. Suppose 4*c - 100 = -4*b - 0*c, 5*c + y = 5*b. Is 10 a factor of b?
False
Let p be 27/(-5) - (-2)/5. Let a(j) = -j - 1. Let h be a(p). Suppose -126 = -h*x + 14. Is 25 a factor of x?
False
Let j(d) = -2*d + 1. Let c be j(3). Suppose -3*u - 75 = -3*a, -4*a + 3*u = 2*u - 103. Is a/(c/(5/(-2))) a multiple of 12?
False
Suppose 2*y - 75 = 2*m - 19, -m = y - 28. Does 14 divide y?
True
Suppose 85 = 4*a + 377. Let j = a + 37. Let c = j + 56. Does 7 divide c?
False
Let k = 7 - -6. Let f = -14 - -20. Suppose 5*l + 2*o = f*l - k, 5*o = 2*l - 24. 