2?
True
Let n(d) = d**2 + 3*d + 2. Let l be n(-9). Suppose q - 5*k = 96, 0*q - q - 3*k + l = 0. Is 24 a factor of q?
False
Is 9 a factor of (10 - -8)/(3/8)?
False
Let i = 126 - 26. Does 14 divide i?
False
Let a = 95 + -50. Does 15 divide a?
True
Suppose -z = -3*z + 128. Suppose -3*a = 5*k - z, 4*k + 2*a - 29 = 23. Is k a multiple of 14?
True
Is 46 a factor of (-2)/12*2*(8 - 779)?
False
Let a(o) = o + 51. Does 21 divide a(4)?
False
Let q(o) = -o + 0*o**3 - o + 0 + 1 + 4*o**3 + o**2. Is q(1) a multiple of 4?
True
Let i(j) = -j**3 + 6*j**2 - 6*j + 7. Let q be i(5). Suppose 0 = -5*l - q*y + 232, -4*l + 304 = -2*y + 104. Is 16 a factor of l?
True
Suppose -9*l + 356 = -5*l. Let r = l - 59. Is r a multiple of 15?
True
Suppose -6*l - 6 = -9*l. Suppose -d - 3*k + 3 = l*d, -5 = 3*d - 5*k. Does 10 divide -10*(-6 + d)/3?
True
Let f = -2 + 0. Let g(l) = 4*l**2 + 2*l + 1. Does 6 divide g(f)?
False
Let w be (5 + -4)/((-2)/(-4)). Let k(c) = 2 - w*c**2 - 1 - 11*c**3 - c**3. Is k(-1) a multiple of 4?
False
Let w(c) = c**2 - c + 226. Let j be w(0). Let u be j/6 + 2/(-3). Suppose -5*n + u = -3. Is 3 a factor of n?
False
Let t = -29 + 77. Is 8 a factor of t?
True
Suppose 0 = m + 5*x - 91, -3*m - 3*x + 8*x + 213 = 0. Is 9 a factor of m?
False
Suppose 3*m = 8*m - 175. Let t = 54 - m. Is 19 a factor of t?
True
Suppose 5*a = 4*s - 20, 2*s - 4*a - 25 = -3*s. Suppose 35 = 5*p + s*c, 3*c + 2*c = p + 23. Suppose -165 = -p*u - 3*u. Is u a multiple of 9?
False
Suppose -o = 3*g - 185, -5*o + 630 = -5*g - 215. Does 35 divide o?
False
Suppose -3*w + 8 = -w. Suppose w*h - 2*h = 4. Suppose -h*j + 4 = -7*i + 4*i, -3*i + 26 = 4*j. Does 5 divide j?
True
Let o = 237 + -125. Is o a multiple of 22?
False
Let q(x) = -13*x - 9. Let r(j) = 6*j + 4. Let w(h) = -4*q(h) - 10*r(h). Is w(-4) a multiple of 14?
True
Let d be (-2)/9 - 168/(-27). Is (d/(-3))/(-2) - -86 a multiple of 29?
True
Let q(a) = 5*a**2 + a. Suppose 0 = -0*p + 2*p + 2. Let i be q(p). Is (40/(-15))/(i/(-42)) a multiple of 14?
True
Suppose -2*b + 8 = -4*j, 0*b = 5*j + 4*b - 16. Suppose j - 5 = y + 2*w, -y + 3*w = -20. Suppose -4*g + 3*s + 38 = 0, y*g - g - 5*s = 34. Is 7 a factor of g?
False
Suppose 6*k - 787 = -223. Does 22 divide k?
False
Suppose 3*i - 6 = 3*p, -2*i - 2*i - 5*p = -26. Suppose -v + 44 = -2*v + 2*g, i*v + 2*g + 126 = 0. Let h = v + 50. Does 16 divide h?
True
Suppose 2*o + 2920 = 7*o. Does 6 divide o/20 + (-2)/10?
False
Suppose 5 = -3*r + 2. Let w = r - -3. Suppose 5*l = -y + 27, -34 = -3*y + w*y + 2*l. Does 11 divide y?
False
Let a = 17 + 9. Let z(l) = l**3 - 7*l**2 - 7*l - 4. Let j be z(8). Suppose -j*u + a = -2*u. Is 13 a factor of u?
True
Let s = 105 - 69. Is 4 a factor of s?
True
Suppose -r - 42 = -3*r + 2*m, -5*r - 2*m = -84. Does 2 divide r?
True
Suppose -6*z + 2*z + 88 = 0. Does 11 divide z?
True
Suppose 4*u = -5*r + 18, -5*u - 2*r + 6 = -8. Suppose u*t - 3*t = -5*n - 61, 0 = -n - 1. Does 14 divide t?
True
Let a = 178 - 106. Is a a multiple of 8?
True
Does 13 divide (-26)/(-2*1/8)?
True
Let h(z) = -z. Let d be ((-40)/12)/(1/3). Let x = -1 + d. Does 5 divide h(x)?
False
Let v(y) = -89*y - 10. Is 12 a factor of v(-2)?
True
Let b = -1 - -5. Suppose -b*h - v = -293, -v + 58 = h - 16. Suppose -5*j + m = 42 - 228, -m = 2*j - h. Is j a multiple of 26?
False
Let t(p) = 55*p**2 + 1. Let v be t(-1). Suppose -37 = -5*k - 4*d + 32, 4*k = -3*d + v. Does 14 divide k?
False
Let y(l) = -3*l**2 - 2. Let q be y(-3). Let x = q - -49. Does 20 divide x?
True
Does 3 divide 28/(-42)*(-93)/2?
False
Suppose 2*h = -7 - 7. Does 23 divide -4 - h - (-24 - -1)?
False
Suppose 0 = -3*h + 6 + 3. Suppose -3*s + p + 101 = 0, -h*p - p = -s + 52. Does 15 divide s?
False
Let o(z) = 3*z**3 - 3*z**2 + 2*z + 1. Let v be 4 - (4 - (-1 - -3)). Does 14 divide o(v)?
False
Let p(a) = -a + 15. Let k be p(0). Let l = -9 + k. Does 4 divide l?
False
Let b(c) = 2*c**2 - 6*c - 46. Does 10 divide b(-7)?
False
Does 2 divide (-5)/(-2) + 2/(-4)?
True
Let j(d) be the third derivative of 1/2*d**3 + 0 - 1/120*d**6 + 2/15*d**5 + 0*d + 11/24*d**4 + d**2. Does 12 divide j(9)?
False
Let i = 108 - -1. Let x = -41 + i. Suppose -5*c - 18 = -x. Does 5 divide c?
True
Let i = 8 - 5. Let l be (2/4)/(i/18). Suppose -5*h = -0*f + 4*f, l*h = f + 17. Is h even?
True
Let s(c) = -c**3 + 10*c**2 - 10*c + 5. Let q be s(9). Let j = 65 - q. Is j a multiple of 23?
True
Let h(w) = w + 19. Let p be h(-13). Suppose -75 = s - p*s. Does 6 divide s?
False
Let n(f) = f + 2. Let j be n(0). Suppose -o + 59 = 2*v, j*v + 196 = -3*o + 7*o. Is 17 a factor of o?
True
Suppose 5*y + y - 1020 = 0. Does 34 divide y?
True
Let k = 56 - 86. Is k/4*(-28)/6 a multiple of 21?
False
Let w(m) = 5*m - 1. Let c be 1 - 1 - (-2)/2. Let z be w(c). Suppose -z*u = -3*l - 168, -15 = -u - 5*l + 4. Does 13 divide u?
True
Let g be 5/((-2 - -3) + -2). Let x = g - -18. Does 13 divide x?
True
Let k(q) = -9*q - 9. Let a(x) = -x. Let p(y) = -y**2 + 6*y + 5. Let c be p(6). Let t(b) = c*a(b) - k(b). Does 19 divide t(7)?
False
Suppose -421 = -4*i - 121. Is i a multiple of 25?
True
Suppose -18 = -2*v + 4*o, 15 = 4*v + 4*o + 3. Let z be ((-6)/7)/(v/35). Is (-18)/12*40/z a multiple of 5?
True
Let u = -50 - -83. Let o be (-1)/(-3) + u/9. Suppose -o*g = -166 + 14. Is 14 a factor of g?
False
Let r = -5 + 2. Let x = -5 - r. Is -3 + 28 + 2/x a multiple of 13?
False
Let s(f) = f**2 - 7 - 2*f + 0*f - f. Let o be s(5). Does 13 divide ((-26)/o)/(8/(-12))?
True
Does 7 divide (-3)/(-5) + (-928)/(-20)?
False
Let x = 109 - 41. Is 25 a factor of x?
False
Let g(h) be the first derivative of -5*h**4/2 + 2*h**3/3 + h**2 + h + 1. Does 11 divide g(-1)?
True
Let o(t) = 16*t + 5. Is 8 a factor of o(5)?
False
Suppose -i + 2*i - 4 = 0. Let w = i - 6. Is 22/2*1 + w a multiple of 9?
True
Suppose -2*t - 49 - 53 = 0. Let x = -21 - t. Does 6 divide x?
True
Let p be (12 + 0)*(-4)/8. Let d be (-30)/(p*(-2)/160). Is 6/(-27) + d/(-18) a multiple of 11?
True
Let s(r) = 2*r - 1. Let d be s(2). Suppose d*a = -w - 3, 26 = 3*w + a + 3. Suppose 5*m + 5*u - 51 = w, 3*m - 52 = u. Does 6 divide m?
False
Is 11 + -13 - 80/(-1) a multiple of 25?
False
Suppose 0 = 5*w - 32 - 13. Let t(j) be the first derivative of j**3/3 - 7*j**2/2 - 3*j + 2. Does 8 divide t(w)?
False
Let u(d) = -4*d - 2. Let t(r) = 21*r + 11. Let i(v) = 2*t(v) + 11*u(v). Does 4 divide i(-2)?
True
Let q = 4 + -5. Is (-29)/(-2) + q/2 a multiple of 7?
True
Let n(g) = 15*g**2 + 3*g. Is 36 a factor of n(3)?
True
Let x(g) = 75*g**2 + 2*g + 1. Let t be x(-1). Let s = t - 48. Suppose w = -3*b - 0*b + s, 0 = -2*w - 3*b + 40. Is w a multiple of 12?
False
Let k(u) = 7*u + 120. Is 12 a factor of k(0)?
True
Let h(j) = j**2 - 5*j + 3. Let r = -6 + 10. Suppose 12 = 3*m - i + r*i, m = -5*i - 8. Does 8 divide h(m)?
False
Suppose -4*z + 3 - 7 = 0. Let m = 10 - z. Does 2 divide m?
False
Suppose 0*l + l + 6 = 0. Let i be 135/35 + (-3)/(-21). Is 12 a factor of 46/i - 3/l?
True
Suppose 0 = -q - t + 52, 2*q + 2*t + 202 = 6*q. Is q a multiple of 17?
True
Let l = -29 - -36. Let y = -105 - -355. Suppose 2*t - l*t = -y. Is t a multiple of 16?
False
Let h(m) = 3*m**2 - m + 1. Let p be h(1). Suppose p*q + 2 = -7, -4*q + 31 = y. Is 25 a factor of y?
False
Suppose 5*m = -3*g + 43, 0 = -2*g - 2*g + 4*m + 68. Does 14 divide (-26)/(-8)*g*1?
False
Suppose 0*d = 7*d - 2170. Is 62 a factor of d?
True
Let o(r) = -40*r**3 + 3*r**2 + r + 4. Is 48 a factor of o(-2)?
False
Let n = 9 + -5. Suppose 4*p - i - 146 = i, 4*i = n*p - 136. Does 12 divide p/(9/3)*1?
False
Suppose -245 = -3*l + 679. Does 14 divide l?
True
Let x(l) = -5*l + 88. Is 44 a factor of x(0)?
True
Let c(x) = -x**3 + 7*x**2 - 2*x - 5. Is 19 a factor of c(6)?
True
Suppose u - 6 = -2*u. Suppose -11 = -u*x + 1. Is 17 a factor of 34/(-1)*x/(-12)?
True
Let b(c) be the third derivative of c**5/60 - 11*c**4/24 + 5*c**3/2 + 4*c**2. Is 15 a factor of b(13)?
False
Let w(z) = -z**3 + z - 1. Let r be w(1). Let g be 3*(0 + 1) + r. Suppose -3*s + 40 = g*s. Is 5 a factor of s?
False
Suppose 0 = 3*x + s - 3, 8*x - 3*x - 4*s + 12 = 0. Suppose -5*q + 2*q + 6 = x. Suppose 0 = 3*l + q*l + 3*p - 108, 5*l - 4*p - 101 = 0. Is l a multiple of 15?
False
Suppose -4*d + 589 - 29 = 0. Is 28 a factor of d?
True
Let d(w) = -2*w + 4. Let j be d(3). Is ((-28)/(-5))/(j/(-15)) a multiple of 21?
True
Let o(x) = 0