e
Let w(g) = -g. Let t be w(-5). Suppose a - t*a + 20 = 0. Suppose 2*s = 4*c + 27 + 19, a*s + 5*c = 55. Does 7 divide s?
False
Let h = -4 + 5. Let t = 3 - h. Suppose 15 = t*g - 17. Is 9 a factor of g?
False
Let i = -70 - -172. Is 17 a factor of i?
True
Let o(v) = -v**2 + 8*v - 4. Let h be o(7). Suppose -h*m + 54 + 24 = 0. Is 10 a factor of m?
False
Let f be 1 - 1*(-51)/3. Suppose -s = -3*t + f, 5*s + t = -54 + 12. Let r = -4 - s. Is 2 a factor of r?
False
Suppose 0 = 5*n + 16 + 9. Let u(t) = 7*t**2 + 2 + 1 + 8*t + 2 + t**3. Is u(n) a multiple of 15?
True
Suppose 3*t = -49 + 4. Let w = -3 - t. Is w a multiple of 6?
True
Let k = 0 + -4. Let j = -4 - k. Suppose -4*i + 5*p + 69 = j, -37 = -4*i + 4*p + 31. Is 12 a factor of i?
False
Let z = 97 + -50. Is z a multiple of 13?
False
Suppose -68 = -3*x + 10. Does 13 divide x?
True
Let y(a) = -a**3 + a**2 + 11*a - 3. Is y(3) even?
True
Let o(s) = s**2 - 2*s + 5. Let p(u) = -u**3 + 6*u**2 - 3*u - 5. Let t be p(5). Does 20 divide o(t)?
True
Is 14 a factor of (-9)/3 + 58/2?
False
Let s = 4 + -2. Suppose s*i - 8 = 0, -w + 54 = 4*w + i. Is 5 a factor of w?
True
Suppose 3*z - 10 = -0*z - 5*p, -2*z + 6 = 4*p. Suppose -65 = b - 6*b + z*x, 15 = 5*x. Is 8 a factor of b?
True
Let u(i) = -3*i + 3. Suppose -8 = 3*x - x. Does 6 divide u(x)?
False
Suppose 3*w = -4*t + 425, -12*t + 10*t + w + 215 = 0. Does 16 divide t?
False
Let n be 2/(8/2)*38. Let m = -27 + n. Does 2 divide (6*m/(-6))/2?
True
Let t(r) = -r**2 - 8*r + 5. Let v be t(-9). Let w(f) = -f**3 - 4*f**2 + 3*f + 5. Let b be w(v). Does 14 divide (b/1)/((-4)/24)?
True
Let w(k) = -k**3 - 6*k**2 - 6*k - 3. Let o be w(-5). Suppose 392 = 6*h - o*h. Let x = h - 62. Is 13 a factor of x?
False
Let h(s) = 2*s**2 + 7*s + 2. Let k(b) = 2*b**2 + 8*b + 3. Let g(l) = -2*h(l) + 3*k(l). Let y be g(-7). Suppose 2*p - 1 - y = 0. Does 15 divide p?
False
Suppose 2*z - 3*n + 21 = 0, -4*n + 8 = -z - 15. Is 11 a factor of z - ((-225)/(-3))/(-3)?
True
Let h = -16 - -20. Suppose 32 = h*p - 3*p. Does 10 divide p?
False
Let g = -5 + 10. Let k = -3 + g. Let y = 29 - k. Does 7 divide y?
False
Let u = -24 + 28. Is 12 a factor of (1/u)/(5/1340)?
False
Is 30 a factor of 6*-24*(1/(-3) - 1)?
False
Suppose -2*k - 12 = -4*k. Is k a multiple of 2?
True
Let v(m) = -m**3 + m**2 + 10. Suppose 4*q = -4*h - 12, -h + 0*h - 9 = 3*q. Does 5 divide v(h)?
True
Suppose 108 = -4*s + 6*s + 3*n, 5*n + 320 = 5*s. Is 28 a factor of s?
False
Let i = 9 - 6. Suppose 54 = 3*d + i*j, -d = 4*d - j - 84. Let m = 26 - d. Is m a multiple of 4?
False
Suppose 5*k - 2*j - 58 = 0, 0*j + 5*j = -2*k. Let h = 3 + -1. Suppose -k = -4*z + h*z. Is 4 a factor of z?
False
Let h = 8 - 15. Let v = h - -37. Is 15 a factor of v?
True
Suppose 5*n + 2 = -4*o + 3, -4*o + 10 = 2*n. Suppose 6*x - 4*x - 4*b = 138, 4*x + 5*b - 315 = 0. Suppose o*f - x = -f. Is 6 a factor of f?
False
Let z be 14/10 + 24/40. Let p(v) = 22*v + 4. Does 8 divide p(z)?
True
Let v = 3 - 7. Let h = v + 9. Does 3 divide -2*2/(-4)*h?
False
Let x be (-2)/2 - 76/(-2). Suppose -1 = 3*w - 13, -h = 4*w - x. Does 14 divide h?
False
Suppose 0*j = -j - 2*k + 85, 5*j = 4*k + 425. Is j a multiple of 46?
False
Let q = -269 + 384. Does 33 divide q?
False
Let i = 239 - 161. Is 26 a factor of i?
True
Let z = 10 + -1. Is 3 a factor of z?
True
Let x(y) = -35*y - 17. Is 31 a factor of x(-4)?
False
Suppose -11 - 18 = -u. Suppose -4*c = -g + u, -4*g - 75 + 221 = -c. Is 12 a factor of g?
False
Let r = 5 + -13. Let n(s) = s**2 + 8*s. Let f be n(r). Suppose 2*i = -f*i + 44. Is i a multiple of 8?
False
Let z(t) = -t**2 - 12*t - 18. Is z(-8) a multiple of 14?
True
Let n be -3*(-92)/(-30)*-10. Suppose 2*o + 2*o = n. Does 10 divide o?
False
Suppose 0 = 4*y - 170 - 134. Is 8 a factor of y?
False
Let y be ((-45)/2)/((-4)/8). Suppose 0 = 3*r + 2*r - y. Is r a multiple of 5?
False
Let i be (-1018)/(-14) - (-4)/14. Suppose i - 5 = 4*u. Is u a multiple of 17?
True
Suppose 3*q = u - 20, q = 4*u + u - 128. Is 6 a factor of u?
False
Let h(k) = 2*k**2 - 12*k + 11. Is 26 a factor of h(11)?
False
Let t(l) = l**2 + 2*l - 6. Is t(6) a multiple of 18?
False
Let y = 0 - -20. Is 0 + (1 + y - 0) a multiple of 13?
False
Let q(u) = 6*u**2 - 4*u**3 - u**3 + 5 - 8*u + 6*u**3. Let a be q(-7). Suppose 0 = 4*n - n - a. Does 2 divide n?
True
Let d(q) = 2*q**2 - q - 1. Let n = 2 + 3. Let t be n/(-5)*2*-2. Does 13 divide d(t)?
False
Let z(w) = 2*w**2 + 9*w + 11. Is 29 a factor of z(-6)?
True
Let o = 69 + 51. Suppose -4*g + o = 4*q, 2*g = -2*q + 3*q + 54. Is g a multiple of 14?
True
Suppose 3*f + 2*h = 35, -3*f + 5*f - 2*h - 20 = 0. Suppose -f = -2*v + 19. Is v a multiple of 12?
False
Let v(z) = z**2 + z - 2. Is 10 a factor of v(-12)?
True
Suppose -2*d - 3*d + c + 11 = 0, -5*d = 5*c - 35. Let f = 5 - d. Suppose 15 = -f*l + 3*l. Is l a multiple of 5?
True
Let u be (-1)/(-3) + 9/(-27). Suppose x - 63 = -2*g, 27 = g + 2*x - u*x. Is 11 a factor of g?
True
Let x be -1 - (2 + 135*-1). Suppose 4*w = w + x. Suppose 5*j - 3*j - 5*z - 6 = 0, -4*j = -2*z - w. Does 13 divide j?
True
Suppose 4*g - 12 + 36 = -4*a, 0 = -2*g + 4*a + 18. Let o be (-1 - -1)/(-1 + g). Is o/2 + (1 - -3) even?
True
Let v = 88 + -8. Suppose -p = 3*p - v. Suppose y - p = -0*y. Does 10 divide y?
True
Suppose -3*f + 72 = -0*f. Is f a multiple of 9?
False
Let r(z) = 2 - z - 2*z + 5*z**2 + z. Does 18 divide r(2)?
True
Suppose 0 = -0*g + 3*g - c - 555, -3*g - c = -549. Is g a multiple of 13?
False
Let j(a) = a + 1. Let h(q) = 2*q + 3. Let n(u) = -6*h(u) + 13*j(u). Let v(b) = -3*b + 19. Let p(r) = 22*n(r) + 6*v(r). Does 16 divide p(9)?
False
Let j(r) = -r + r + 0*r + r. Let n be j(2). Suppose -106 = -3*d - 4*a, 64 = -4*d - n*a + 192. Is d a multiple of 15?
True
Suppose 4*g + 8 = 24. Let j be (g/6)/(4/(-72)). Let s = j + 27. Is s a multiple of 7?
False
Suppose -a + 2 = -9. Let z = a + -1. Is z a multiple of 5?
True
Suppose r - 50 = 3*r. Let y(k) = -k - 44. Let u be y(0). Let q = r - u. Does 7 divide q?
False
Let j(x) = x**3 + 6*x**2 + 5*x + 2. Let z be j(-5). Suppose -3*p - 6*v = -4*v - z, p + 4*v - 4 = 0. Suppose 5*t - t = -4*o + 40, p = 2*o. Is 5 a factor of t?
True
Let i(y) = y + 3. Let t be i(-4). Does 4 divide t*(-1 - (7 + 1))?
False
Suppose p = -3*t + 5 + 9, -3*t + 36 = 3*p. Let d = p + 17. Is d a multiple of 11?
False
Let q be (-8)/(-6)*(-2 + 5). Let n(l) = 8*l - 5. Let u be n(q). Let x = 40 - u. Does 13 divide x?
True
Suppose -4*c + 4*q = -312, -2*q + 370 = 5*c - 3*q. Does 6 divide c?
False
Suppose -157 + 31 = 2*s. Let a = s + 43. Let h = -10 - a. Does 10 divide h?
True
Let d be (-182)/(-8) - 3/(-12). Let s = d + -5. Is 9 a factor of s?
True
Let c = -27 - -77. Suppose -v + 2 = 2*r, -c = -2*v - 3*v - 2*r. Is 12 a factor of v?
True
Suppose -8*a = -13*a + 360. Does 31 divide a?
False
Is 22/(-77) - (-312)/14 a multiple of 11?
True
Let y = 71 - 16. Let r(u) = u + 8. Let p be r(-5). Suppose -y = -p*l + d, -99 + 6 = -5*l + 2*d. Is l a multiple of 10?
False
Let o = -83 + 220. Is o a multiple of 17?
False
Let b be (3/6)/(1/32). Does 16 divide b*(-4)/(-2)*1?
True
Let j(p) = 49*p**3 + p**2 - 2*p + 1. Let b be j(1). Let f = -20 + b. Is f a multiple of 7?
False
Let j be 59 + (7 + -6)/(-1 + 2). Let o(v) = -v**2 + 3*v + 1. Let a be o(-4). Let h = j + a. Is 25 a factor of h?
False
Let f(a) = 0*a + 4*a**2 + 0*a. Is 16 a factor of f(2)?
True
Let z be (-2)/6 + (-26)/(-6). Let x be 0 - (-5)/(10/z). Let c(y) = 6*y**2 - 2*y + 3. Is c(x) a multiple of 20?
False
Let s(j) = -7*j + 11. Let f be s(-8). Suppose 0 = 5*h - 3 - f. Is h a multiple of 6?
False
Let h be 62/(5 - (1 + 2)). Let k = 55 - h. Does 20 divide k?
False
Suppose 2*m - 5*g + 2 = 12, 5*g - 95 = -5*m. Let q = -7 + m. Does 3 divide q?
False
Let a(k) = -k. Let p be a(-6). Let u(m) = -m**3 + 6*m**2 + 6*m - 3. Does 7 divide u(p)?
False
Suppose 2*n + 3*u - 6*u - 256 = 0, -3*n + 386 = -4*u. Let t = n - 54. Is t a multiple of 28?
False
Let d(g) = -g. Let p be d(0). Suppose y = -p*y + 24. Is 12 a factor of y?
True
Suppose -3*u + 37 - 10 = 0. Suppose 3*m - 12 = -5*k + u, 5*k - 4*m = 7. Suppose 14 = q + k. Does 11 divide q?
True
Let a = 6 + -7. Is 13 a factor of 2*a/(-4)*26?
True
Suppose -32 = -4*u - 0. Suppose r = 5*r - u. Suppose 3*p - 125 = -r*p. Is p a multiple of 11?
False
Suppose -5*a + n = -135, -n - 15 = 2*n. Let c be (-2172