False
Suppose 89 = -i + 2*i. Suppose 2*p = -t + i, 3*t - 7*t - 74 = -2*p. Is 16 a factor of p?
False
Suppose -560 = -2*t + 376. Does 39 divide t?
True
Suppose 5*f = -31 + 11. Let a be (f - -12)/(2/(-5)). Let m = -5 - a. Does 15 divide m?
True
Let b(d) = -17*d + 24. Is 23 a factor of b(-4)?
True
Let o(w) = -10*w + 3. Let b = 3 - 6. Is 11 a factor of o(b)?
True
Let o(k) = -k**2 + k + 8. Let g be o(-6). Let j = g + 19. Let r = j - -23. Is r a multiple of 8?
True
Let v = -25 + 16. Is 95/4 + v/12 a multiple of 10?
False
Let h(y) = y**3 - y**2 - 17*y + 20. Is h(6) a multiple of 14?
True
Let q(d) = d**2 - 8*d - 9. Let h be q(9). Suppose h*k = -k. Suppose k = 2*m - 4*w + 4 - 24, 3*m - 20 = w. Does 6 divide m?
True
Suppose -3*o + 4*b = -82, -5*b + 89 - 224 = -5*o. Let s = o + -18. Let i(h) = -h**3 + 8*h**2 + 2*h + 4. Is 9 a factor of i(s)?
False
Let s = -1 + 3. Let p(z) = 8*z**s - 2*z**2 - z + 0*z**3 - z**3. Does 14 divide p(4)?
True
Suppose -2*j - 2*l - 12 = l, -3*j = -4*l + 1. Is (33/(-9) - j)*-15 a multiple of 5?
True
Suppose 782 = 5*m + 182. Suppose -4*g + 0*g = -m. Does 11 divide g?
False
Suppose r - 2*k - k - 42 = 0, 3*r - 56 = -5*k. Suppose 2*y + 2*o - 11 = 3*o, 2*o + r = 5*y. Suppose 3*n + n - 32 = -y*j, 0 = -2*j - n + 11. Does 2 divide j?
True
Let l = -327 + 546. Is l a multiple of 13?
False
Suppose -2*m - v = -10, 3*v = -4*m - 5 + 29. Suppose -s - 32 = -2*o + 98, 0 = m*o + 5*s - 208. Is o a multiple of 22?
True
Let b(x) = 6*x + 4. Suppose -3*a + 4*a - 8 = h, -3*h = -a + 2. Is 14 a factor of b(a)?
True
Suppose -4*j - 2*o = 10 + 26, j - 4*o = -18. Let y = j - -26. Is y a multiple of 8?
True
Let o = -5 + 43. Let d = o + -12. Does 13 divide d?
True
Let g(t) = -10*t. Does 8 divide g(-4)?
True
Suppose -3*t - 5*o = t - 644, -4*t + 4*o + 644 = 0. Is 62 a factor of t?
False
Let i be ((-2)/4 + 0)*-10. Is (i - 1 - -2) + 1 a multiple of 4?
False
Let y be (-6 - 0) + (3 - 1). Let v be 1/(((-8)/86)/y). Suppose 0*l = -4*l - 3*g + v, 53 = 5*l + 4*g. Does 4 divide l?
False
Let h(o) = 4*o - 1. Let g be h(1). Suppose x - 32 = g*x. Let j = 27 + x. Is j a multiple of 11?
True
Suppose -8 = 4*s + 3*w, -5*s + 0*w + 4*w = -21. Is 15 a factor of ((-3)/s)/(1/(-15))?
True
Let c(m) = -m + 15. Let v be c(11). Suppose v*n = 7*n - 72. Is n a multiple of 6?
True
Let w(x) = 4*x + 61. Is w(-7) a multiple of 32?
False
Let n(m) = 4*m**2 - 4*m + 8. Let b be n(6). Suppose c = a - b, 0 = 5*a + c + c - 612. Suppose -2*z + a = 2*z. Does 14 divide z?
False
Suppose 0 = -18*m + 5*m + 507. Does 3 divide m?
True
Does 10 divide (-140 + 0 + 2)*5/(-15)?
False
Suppose -4*z - 2*c = c - 12, 0 = -3*z - 3*c + 9. Let f = 0 + z. Suppose -31 = -f*r + 14. Is r a multiple of 6?
False
Suppose -5*j = -25, -4*j + 19 = -k + 52. Let m = k + -29. Is m a multiple of 8?
True
Let a(z) = z**2 + 4*z + 6. Let p = -4 + 0. Is a(p) even?
True
Let z(n) = n**2 + 11*n - 9. Let l be z(-12). Does 7 divide (70 - 0)*l/6?
True
Let i = -10 + 20. Let u = i - -8. Is 6 a factor of u?
True
Let g(v) = v**3 - v**2 - v. Let z(l) = l**3 - 1. Let i(p) = 4*g(p) - 3*z(p). Let o = -13 - -18. Is 8 a factor of i(o)?
True
Let y(a) be the first derivative of a**3/3 - 7*a**2/2 + 4*a + 2. Let q be y(7). Suppose -q = -3*h + 11. Is h a multiple of 5?
True
Let o(p) be the third derivative of p**7/2520 - p**6/240 + p**5/60 - p**4/8 - 3*p**2. Let a(q) be the second derivative of o(q). Is a(6) a multiple of 20?
True
Suppose 260 = -4*m - 148. Let w be 1/5 - m/(-10). Let x = 25 + w. Is x a multiple of 8?
False
Suppose -5*p - 82 = 58. Let b be 3 - 5 - (-1 + 7). Let n = b - p. Is n a multiple of 11?
False
Let g(l) = 1 + 0*l + 6*l - 4*l. Suppose 2*y = 3*y - 3. Is 7 a factor of g(y)?
True
Let v(g) = g**3 + 7*g**2 + 2*g - 2. Is v(-6) a multiple of 11?
True
Let u(g) = -g**3 + 6*g**2 - 4*g. Is 3 a factor of u(5)?
False
Suppose -h - 30 = -4*h. Does 7 divide h?
False
Suppose -y + 0*y - 174 = -3*i, 4*y - 273 = -5*i. Does 13 divide i - 11 - (-6)/2?
False
Suppose 0 = i - 0*i - 31. Is i a multiple of 10?
False
Let o(j) be the first derivative of j**5/60 + j**4/6 + 2*j**3/3 - j**2/2 + 4. Let d(x) be the second derivative of o(x). Does 7 divide d(-6)?
False
Let o(a) = 5*a - 13. Does 3 divide o(4)?
False
Suppose 5*y - 2*m - 139 = 0, -2*y - 3*m = 11 - 59. Does 9 divide y?
True
Does 5 divide (4/(16/(-25)))/(4/(-16))?
True
Let c(l) = 58*l - 8. Does 12 divide c(2)?
True
Let y be 1/4 + (-35)/(-20). Suppose -3*r - y*r = -60. Does 6 divide 81/r*16/6?
True
Let d = -5 - -5. Let i be 7 - 2 - (2 + d). Let n = 19 + i. Does 11 divide n?
True
Let g = -33 - -13. Suppose 32*f - 36*f + 28 = 0. Let k = f - g. Is k a multiple of 10?
False
Let z(d) = -6*d - 1. Suppose -24 = 3*a + a. Let w be 2*(9/a - -1). Does 4 divide z(w)?
False
Let f(s) be the third derivative of s**5/60 - s**4/12 - s**3 - s**2. Is f(6) a multiple of 9?
True
Let f(i) be the third derivative of -i**4/24 + i**3/6 - i**2. Let r be f(-9). Suppose -2*m + 4*t = -r, -5*t - 6 + 1 = 0. Is m even?
False
Let v(o) = -9*o - 36. Does 30 divide v(-22)?
False
Let c = 5 - 14. Does 6 divide 550/45 + 2/c?
True
Does 22 divide (4/(-3))/((-12)/594)?
True
Suppose 4*d - 6 = 2*d. Suppose 0*g = g - d. Suppose -60 = -g*r - 15. Does 15 divide r?
True
Let u(w) = 10 - 15 + 3 - 2*w. Is u(-5) even?
True
Let p = -5 + 0. Let k be (-1)/(-5) + (-59)/p. Suppose -5*f + k + 11 = 2*y, -3*y = 2*f - 7. Does 3 divide f?
False
Does 11 divide 25 + -3 + 0 + -1 + 1?
True
Suppose 4*n = -5*f + 28 + 108, 4*f = 4*n - 136. Is 10 a factor of n?
False
Suppose 2*q = -l + 33, -5*q + 5*l - l = -76. Suppose -w = -t + 6*t - 6, -2*t - 5*w - q = 0. Suppose -k + 4*k = -t*r + 22, 0 = -k + 4. Is 4 a factor of r?
False
Let v be 22/8 + (-1)/(-4). Suppose -10 = 6*k - 22. Is 4 a factor of (-2)/v*(-4 - k)?
True
Let h = -4 - -6. Is 20/6*3/h a multiple of 3?
False
Suppose -3*r - 12 = 0, -3*z + z - r = -12. Suppose -t - 3 = 2*h - 27, -2*h + 3*t + z = 0. Is -21*(h/(-6) - -1) a multiple of 7?
True
Let d = 23 + -18. Suppose -63 = -5*r + 2*z, -r - d*z - 31 = -2*r. Is r a multiple of 11?
True
Let a = -19 - -33. Suppose 2*c + 3*u - 49 - a = 0, 5*c - 220 = 5*u. Is 14 a factor of c?
False
Let b = -91 - -121. Is 5 a factor of b?
True
Suppose 7*j - 5*r = 3*j + 8, -j + 3*r = 5. Suppose j*k - h = 2*k + 119, -3*k + 77 = 5*h. Is 12 a factor of k?
True
Suppose -3*q + 108 = 5*f, -4*q = 2*f - 132 - 12. Does 12 divide q?
True
Let z be -2 + -2 + -22 - 1. Let m = z + 88. Is m a multiple of 13?
False
Let o = -3 + 9. Is o a multiple of 2?
True
Let k = -2 + 7. Suppose 2*d = -y + 77, -5*d + k*y = 4*y - 203. Is d a multiple of 11?
False
Let p = 0 - -2. Suppose 46 = p*r + 2*u, r + 4*u + u - 27 = 0. Is 11 a factor of r?
True
Let i = -113 + 189. Is i a multiple of 12?
False
Suppose -2*w = w - 18. Let s(p) = -3 + p + 0 + 0. Is 3 a factor of s(w)?
True
Let s(z) be the second derivative of 37*z**3/6 + z. Let d = 2 + -1. Is s(d) a multiple of 12?
False
Suppose 2*x = 3*x - 3*r - 64, 83 = 2*x + 3*r. Is x a multiple of 7?
True
Let a = 30 + -9. Is 28 a factor of (20 - 4)/(6/a)?
True
Suppose 0 = 5*b - 6*b + 130. Does 11 divide b?
False
Suppose 7*s = 3*s + 32. Is 5 a factor of 44/s - 2/4?
True
Suppose -o - 2 = -3*v, 2*v + 2 = 5*o - 1. Let f = v - -32. Does 21 divide f?
False
Let t = -12 + 101. Suppose 26 = 5*s - t. Does 23 divide s?
True
Suppose t - 33 = -0. Is 11 a factor of t?
True
Suppose -5*r + 0*r = -35. Is r a multiple of 3?
False
Is 10 a factor of (-14 + 1)*(-114)/19?
False
Suppose -41 = -v - 17. Suppose -3*x + 7*x - v = 0. Is 2 a factor of x?
True
Suppose 0 = 3*b + 4*m + 242, 4*b + 230 = b + 2*m. Is 4/8 + b/(-4) a multiple of 11?
False
Let i = 4 - -18. Does 14 divide i?
False
Suppose -5*g + 3*g = 0. Suppose 4*v = -g*v + 3*y - 4, 4*v + y - 12 = 0. Suppose 3 = -s, 2*p + 4*s + 0*s + v = 0. Does 5 divide p?
True
Suppose y + k - 14 = -0*y, -38 = -2*y + 3*k. Suppose 0 = -4*u - w + 29, 2*w = -3*u + 2*u + y. Suppose 3*v = -3*z + 12, v + 3*z + 28 = u*v. Is 3 a factor of v?
False
Is 7 a factor of (-16)/28 + (-400)/(-14)?
True
Let l = 16 + -26. Let b be (-4)/l + 616/35. Suppose 0 = t + 2 - b. Is 12 a factor of t?
False
Suppose 2114 = 16*h - 2*h. Does 29 divide h?
False
Suppose 4*t + 2*s + 16 - 88 = 0, 0 = 5*s + 20. Does 5 divide t?
True
Let p(r) = 3*r**2 - 4*r + 2. Suppose -5*s = -4*b - 9, -4*b + s + 11 = -0*s. Suppose -h 