t/1 - -1) + 1. Does 2 divide (w/(-2) - 0)*1?
True
Let p be 96/(-2)*50/(-40). Suppose -p = -5*h + h. Does 15 divide h?
True
Let v = -13 - -43. Is 10 a factor of v?
True
Suppose 2*t - 23 = -t - m, 0 = -5*t - 4*m + 43. Suppose 23 + t = 5*h. Is h even?
True
Is ((-3)/2)/((-57)/722) a multiple of 7?
False
Let y be 20/5*(-5)/(-4). Suppose 4*j = -h - 4*h + 15, -h + y*j + 32 = 0. Does 2 divide h?
False
Is (-84)/(3 + 0 - 4) a multiple of 23?
False
Suppose 0 = 3*w - 6*w + 5*x + 211, -2*w - 4*x + 170 = 0. Suppose 5*z - 4*z + 5 = 0, -3*z = -m + w. Let s = m - 20. Is 17 a factor of s?
False
Let t = 10 + -16. Let i be (2/t)/((-1)/12). Suppose -i - 2 = -b. Is b a multiple of 4?
False
Suppose 0 = 5*v - 6*v. Suppose v - 6 = -2*l. Does 3 divide l?
True
Suppose 4 + 1 = -5*t. Let h be 27*(1 + -3 - t). Let d = h + 40. Is d a multiple of 11?
False
Let o(w) = 5*w**2 - 14*w + 37. Is o(3) a multiple of 8?
True
Suppose 80 = -3*a + 5*a - 2*w, 3*w = -4*a + 174. Let u be 6/4*(-88)/(-6). Let s = a - u. Is 10 a factor of s?
True
Let v(u) be the second derivative of -u**4/12 - 2*u**3 - 5*u**2 + 3*u. Is 7 a factor of v(-10)?
False
Let v be 6/(-4)*(-56)/6. Does 5 divide (-80)/(-28)*v/4?
True
Let d = 23 + 1. Is (d/(-30))/((-1)/70) a multiple of 15?
False
Suppose -4*s - 64 = 4*t - 9*t, 0 = -4*t - 4*s + 44. Suppose -t - 28 = -5*d. Is 8 a factor of d?
True
Suppose 4*a - 6 = 2*a + 4*l, -15 = -2*a - 5*l. Suppose 100 = a*h - 55. Is 15 a factor of h?
False
Suppose 3*y + 4*h = 6*h + 227, 0 = y - 2*h - 69. Does 9 divide y?
False
Suppose -3*m + 6 = -3*l, -2*m = 7*l - 2*l - 4. Is m a multiple of 2?
True
Let t(u) = -2*u**2 - 11*u - 4. Let z be t(-10). Let l = -52 - z. Is 10 a factor of l?
False
Suppose 25 = -5*q, -v - 3*q = 2*q - 10. Let y = v + 31. Is 24 a factor of y?
False
Let y(z) = 4*z**2 - 8*z + 17. Let h be y(8). Suppose 29 = -3*m + h. Does 10 divide m?
True
Let t be (-2)/6*0/(-1). Suppose 0*z + z = c + 30, -z - 2*c + 21 = t. Does 9 divide z?
True
Let p(z) = 8*z**3 - z. Let c be p(-1). Let v = -4 - c. Suppose b = 17 - v. Is 14 a factor of b?
True
Suppose 0 = -v + 18 - 4. Suppose f = v + 41. Does 15 divide f?
False
Suppose -3*m + 16 = 2*r - 6, 18 = 4*m - 3*r. Let h be 129 - (-9)/m*2. Is h/9 + 4/(-6) a multiple of 7?
True
Does 14 divide 144 - (-9)/(45/(-10))?
False
Let h(j) = 160*j**2 + j + 1. Let b be h(-2). Let t = -311 + b. Does 16 divide 2/10 - t/(-10)?
False
Let i(v) = 3*v - 7. Let d be ((-54)/24)/(1/4). Let m = d + 16. Does 5 divide i(m)?
False
Let n be 21/5 + (-10)/50. Suppose -4*r + 44 = h, n*h + 2*r - 130 = -h. Is h a multiple of 16?
False
Let f be (1 + (-3 - -3))*1. Suppose s + 10 - f = 3*a, a = -3*s + 3. Does 3 divide a?
True
Let l = -169 + 254. Let r = l - 48. Is 15 a factor of r?
False
Let t(z) = z**3 + 2*z**2 - 3*z + 4. Suppose 0 = -3*p + p - 6. Let q be t(p). Suppose -c + q*c - 30 = -5*u, -c = 0. Does 4 divide u?
False
Let v(t) = -t**2 + 9*t + 209. Is 8 a factor of v(0)?
False
Is (-4)/(6/8*9/(-459)) a multiple of 34?
True
Suppose -3*z + a + 4 = -0, -5*z - 4*a + 18 = 0. Suppose z*x = 98 - 20. Does 12 divide x?
False
Let v(d) = 3*d - 1. Let j be v(1). Suppose w - j*g = 18, g - 2*g = -4*w + 44. Does 10 divide w?
True
Let o(l) = l**2 + 4*l - 8. Is o(-6) a multiple of 3?
False
Let x = 35 + -64. Let j = x - -65. Does 13 divide j?
False
Let b be (-6 + 5)/((-2)/6). Is 7 a factor of (-1 - b)/8*-14?
True
Suppose 4*p - 88 = -p - 3*f, -4 = f. Is p a multiple of 10?
True
Let u(h) = h**3 + 1 - 1 + 10*h + 11*h**2. Let w be u(-10). Does 7 divide 3 + (w - -18 - 0)?
True
Does 2 divide (-20)/70 - (-212)/7?
True
Let p(x) = x**2 - 4*x + 2. Does 6 divide p(-3)?
False
Suppose -4 = 4*n - 5*n. Suppose -n*b + 39 + 109 = 4*k, 5*b = 0. Is k a multiple of 9?
False
Let u = -11 + 28. Is u a multiple of 17?
True
Let c = -25 - -91. Is c a multiple of 34?
False
Suppose -3*f - 45 = -5*m - 4*f, m = 4*f + 9. Let v(x) = 4 + 8*x**2 + 4 + 4 + x**3 - 17*x**2. Does 5 divide v(m)?
False
Let d = 15 + -5. Is d a multiple of 6?
False
Let t be (-8)/3*(-6)/4. Suppose m + 80 = 2*c, 0*m - 58 = -c - t*m. Suppose 0 = 5*f + v + 3*v - c, -5*v = 10. Does 3 divide f?
False
Let c(m) = -5*m. Let l be c(-1). Suppose -3*g = -5*u + 25, -3*g = -3*u + l*u + 11. Does 3 divide (u + (-2)/(-4))*2?
False
Let o be (-2)/(-3) - (-7)/3. Suppose 5*q = -2*b - 27, b + 5*q = o*q - 13. Does 6 divide 4/2 - 1 - b?
True
Let x = 103 + -55. Is 12 a factor of x?
True
Let u(l) = 2 + 6 - 1 - 1 - l. Is u(0) even?
True
Suppose -y + 6*y = 0. Suppose -3*n + 5 + 4 = y. Suppose 5 = n*t - 2*t. Is t a multiple of 3?
False
Let n(s) = s - 10. Let f be n(14). Suppose 4*z - 2*z - 2*k = 60, -93 = -3*z + f*k. Is z a multiple of 9?
True
Does 18 divide (-36)/(5/(5/(-2)))?
True
Let l(f) = -f**2 - 2*f + 2*f**2 + 2*f + 21*f**3. Is 9 a factor of l(1)?
False
Suppose 0 = 2*z - 5*z - 27. Let f(k) be the first derivative of k**4/4 + 8*k**3/3 - 13*k**2/2 + 3*k - 31. Is f(z) a multiple of 11?
False
Let u be 2 - (0/1 + -3). Suppose -3*y - 3*v = -18, -y + 6 = -2*y + u*v. Is 6 a factor of 24/(-15)*(-30)/y?
True
Let m(i) = 9*i + 9. Is 12 a factor of m(19)?
True
Suppose -3*a + 47 = 3*b - 247, 3*a - 284 = -5*b. Is 20 a factor of a?
False
Let u(p) = -3*p + 16. Let x(k) = 7*k - 33. Let l(r) = 5*u(r) + 2*x(r). Is l(0) a multiple of 13?
False
Let f be 2/(3*(-1)/120). Is 7 a factor of f/(-2) + -13 + 10?
False
Suppose 0 = -2*m - m. Is 11 a factor of 25 + m + (-2 - 1)?
True
Let c = 72 + -41. Does 9 divide c?
False
Suppose -70 = -3*l - 5*c, 55 = l + 2*l + 2*c. Does 13 divide (-42)/(-4)*50/l?
False
Suppose 1 = -2*l + 7. Is 18*l/2 + -1 a multiple of 13?
True
Does 10 divide (-688)/(-10)*(5 - 30/12)?
False
Is 12 a factor of 3/(-6)*2 - -181?
True
Let z = 0 + 2. Suppose 3*t - l - 19 = -z*l, 4*t + 3*l - 32 = 0. Is t a multiple of 3?
False
Suppose 2*n + 2*n - 5*i + 8 = 0, -2*i = -4*n + 4. Let m(b) = -7*b**2 - b. Let p be m(-1). Is 10 a factor of (n/p)/((-2)/80)?
True
Let f(u) = -6*u - 24. Is f(-16) a multiple of 13?
False
Suppose 5*q + 6 = 4*u + 3*q, -2*u - q = -13. Suppose -2*f - 5*n + 91 = 0, u*f = 2*f - 4*n + 86. Is 11 a factor of f?
True
Suppose 7*o = o + 276. Does 30 divide o?
False
Suppose m = -2*n - 19 + 26, 0 = 3*m + n - 46. Is m a multiple of 2?
False
Suppose 2*m - h - 102 = -3, 0 = -m - h + 48. Suppose 4*k - m = 59. Does 14 divide k?
False
Suppose -83 = 4*o - 439. Suppose 3*y = -3*p + 12 + 9, -5*p = y - 27. Suppose -l + 68 = -5*t + 11, y*l = 5*t + o. Is l a multiple of 12?
False
Let o = -6 - -2. Let z be (-544)/(-88) - o/(-22). Suppose -4*c - 5*b = -z*c - 12, -3*c + 32 = 5*b. Does 3 divide c?
False
Suppose 0 = 3*f - 29 - 49. Is 11 a factor of f?
False
Suppose 6*g + 23 = -97. Let y = 70 - g. Is y a multiple of 28?
False
Suppose 5*v = -3*t + t + 95, 2*v = -4*t + 230. Is t a multiple of 12?
True
Let k(v) = v - v**2 + 0*v**2 + 3*v + 2*v. Is 2 a factor of k(5)?
False
Does 29 divide -2*-3*(145/10 - 0)?
True
Suppose -81 = -n + 16. Is 17 a factor of n?
False
Let a(c) = -c**3 + 9*c**2 - 4*c - 4. Suppose -3*g = -5*g + 14. Does 11 divide a(g)?
True
Let h be (-9)/6*4/(-6). Let s = h - 1. Suppose s*l + 4*l = 40. Is l a multiple of 4?
False
Let b(f) be the first derivative of -f + 1 - 4/3*f**3 - 3/2*f**2 - 1/4*f**4. Does 13 divide b(-5)?
True
Let o(f) be the third derivative of f**5/60 - f**4/24 - f**3/3 + 2*f**2. Let m be o(3). Suppose 5*n - c - 4*c - 30 = 0, 4*c - m = 0. Is n a multiple of 5?
False
Let a(s) = -s**3 - 12*s**2 + 24*s - 9. Is 31 a factor of a(-14)?
False
Let u(d) = -d**2 + 10*d + 4. Let y(l) = -5*l**2 + 51*l + 21. Let i(z) = 11*u(z) - 2*y(z). Is 11 a factor of i(6)?
False
Suppose 2*p - d + 0*d = 69, d = 4*p - 135. Suppose -h + p = 1. Is h a multiple of 8?
True
Suppose -a + 5*y = a - 34, -34 = -3*a - y. Suppose -a = -3*o - 0. Does 3 divide o?
False
Suppose 4*a = -4*u + 12 + 24, 0 = 4*a - 8. Suppose 2*g - 81 = i + u, 2*i = -5*g + 238. Suppose 3*b - 44 = g. Is 15 a factor of b?
True
Let k(p) = 2*p - 8. Let d be k(6). Suppose 0 = j + s - 8, -s + 4*s = j + d. Is j a multiple of 2?
False
Let f = 74 - -2. Is f a multiple of 21?
False
Let f(y) be the third derivative of -1/8*y**4 + 0*y + 1/10*y**5 + 1/3*y**3 + 0 + 1/120*y**6 - y**2. Is 16 a factor of f(-6)?
False
Let k be -1*(-1 + 2)*1. Does 13 divide (-33)/(-4 - k) - -3?
False
Suppose -5 = 2*s + 5*t, 2*s + s + 3*t = -3. Suppose s = p + 4*i -