= y**2 + 3*y + 2. Is s(7) a multiple of 24?
True
Suppose -4*d = 34 - 154. Suppose -k = 4*k - d. Is ((-7)/3)/((-2)/k) a multiple of 7?
True
Suppose -q - 4 + 12 = 0. Is 3 a factor of q?
False
Suppose 0*m = 5*m - 145. Is 26 a factor of m?
False
Suppose 6 = 6*q - 3*q. Let l(g) = 11*g - 4. Is l(q) a multiple of 9?
True
Is 42*1 - 0/(-3) a multiple of 11?
False
Let u(t) = 6*t**2. Let q be u(1). Does 6 divide (-8)/((-1)/q*4)?
True
Is 25 a factor of 29 + 0 - 7/((-7)/(-4))?
True
Suppose q = 2*a + 10 + 3, -5*q - a + 21 = 0. Let o(f) = 2*f**3 - 7*f**2 - f - 6. Let t be o(q). Suppose 2*w - 12 - t = 0. Is w a multiple of 19?
True
Let h(v) = 154*v**2 - 2*v - 3. Does 29 divide h(-1)?
False
Let y(d) = -21*d. Let b be y(-2). Does 6 divide (-117)/(-7) - (-12)/b?
False
Let q be -6*(3 + (-62)/6). Suppose 3*k - q = 73. Is k a multiple of 11?
False
Let s be (1 + 1)*(1 - 0). Let h be (s/4)/((-3)/96). Let g = h - -31. Does 15 divide g?
True
Suppose x + 412 = -3*u - u, -4*x + 309 = -3*u. Let q = u - -192. Does 13 divide q?
False
Let j = 148 - 68. Is 22 a factor of j?
False
Let s(y) be the second derivative of -2/3*y**4 + 3/2*y**3 - 1/20*y**5 + 3/2*y**2 + y + 0. Is s(-9) even?
False
Let t(q) = -2*q - 1. Let l(b) = -b + 4. Let n be l(7). Let u be t(n). Suppose 5*y + 4*p - 44 = 0, -4*y - 3*p + 56 = -u*p. Is 12 a factor of y?
True
Let p = 66 + -13. Does 11 divide p?
False
Let c be 838/14 - 12/(-84). Suppose 5*z - c = 2*z. Is 20 a factor of z?
True
Suppose 5*r + 0*r = 15. Suppose -2*y = -r*y + 19. Is y a multiple of 19?
True
Let m = 482 - 229. Does 31 divide m?
False
Let c(f) = 3*f**2 - f + 1. Let t be c(1). Let v = 8 + 7. Suppose -4*u + 4*q = -80, t*q + 66 = 4*u - v. Is 16 a factor of u?
False
Let f = 38 - 45. Let h(b) be the second derivative of -b**4/12 - 4*b**3/3 - b. Does 6 divide h(f)?
False
Suppose 17 + 17 = w. Is 17 a factor of w?
True
Let a = 33 - 12. Is 3 a factor of a?
True
Is (-1)/(-3) + 344/12 a multiple of 6?
False
Let y = -2 + 2. Suppose -4*d + d - 3 = y, -t = 3*d + 1. Suppose t*p = -2*p + 16. Is 2 a factor of p?
True
Suppose 5*a + 3*t - 16 = 1, 3*t = -2*a + 5. Does 2 divide a?
True
Suppose -5*z + 5*s = -25, -22 = -0*z - 3*z - 4*s. Let k be 9/z + (-6)/4. Suppose -3*u - 31 + 109 = k. Is u a multiple of 13?
True
Let j(x) be the first derivative of -x**7/40 - x**4/24 + 2*x**3/3 + 1. Let w(f) be the third derivative of j(f). Does 14 divide w(-1)?
False
Let n = -78 + 118. Suppose 3*h + 56 = 4*d, 0*h + h - n = -4*d. Is d even?
False
Let h = 3 - 3. Suppose 5 = -5*u + 2*i, 4*u + 2*i + 0*i - 14 = h. Suppose u = 3*b + w - 22, -4*b = -2*w - 34. Is b a multiple of 6?
False
Is (0 - 0) + ((-2640)/6)/(-4) a multiple of 11?
True
Let u = -283 - -483. Is u a multiple of 25?
True
Suppose -2*i + 5*h = i + 14, 0 = 4*i - h + 13. Let a be 8*(0 + -2) - i. Let p = a + 27. Does 4 divide p?
False
Let k = -151 + 241. Is 41 a factor of k?
False
Does 11 divide (-1 - -2 - 0) + 21?
True
Suppose 5*r + 0*u - 4*u = 201, 3*r - 4*u - 119 = 0. Is 12 a factor of r?
False
Let w(n) = 2*n**2 - 7*n. Let b be w(5). Let d = -11 + b. Does 8 divide 20*(-1)/((-5)/d)?
True
Let h(k) = -k**3 + 6*k**2 + 2. Let x be h(6). Does 21 divide 53 + -1 - (-2 + x)?
False
Let p = 15 + 1. Is 6 a factor of p/(-10)*(-15)/2?
True
Let w(z) = 3*z**2 + 4*z - 1. Let k be w(3). Let c = k + -14. Is 7 a factor of c?
False
Suppose -3*f + 36 = 3*f. Is f a multiple of 3?
True
Suppose -h = 4*h + 90. Is h/(-12)*22/1 a multiple of 20?
False
Let u = 40 - 29. Let w(a) = 3*a - 3. Does 12 divide w(u)?
False
Suppose 0 = -2*c - 2*c - 20. Let z be (c/2)/((-4)/8). Suppose -z*v = -2*s + 55 - 3, -v + 26 = s. Does 13 divide s?
True
Let t(q) = 2*q**3 - 3*q**2 + 4*q - 3. Let d be 0/(-2 - -5 - 2). Let l be -2 - (5 - d)/(-1). Does 12 divide t(l)?
True
Suppose -103 = -5*h - 3*l, -3*l + 82 = 4*h - l. Does 10 divide h?
True
Let a be 12/28 - (-117)/21. Is 9 a factor of (a/(-12))/(2/(-36))?
True
Let i = -87 + 196. Does 20 divide i?
False
Let f be 3/(-12) + (-3)/4. Does 9 divide (2/(-6))/(f/27)?
True
Let f(h) = 2*h - 2. Is 4 a factor of f(7)?
True
Let c(i) be the third derivative of i**6/120 + 7*i**5/60 - i**4/3 + 2*i**3/3 - i**2. Is 20 a factor of c(-7)?
True
Let c be 1*(2 + -1 + 3). Suppose 4*b + 3*w = 3*b + 25, -5*b - c*w = -114. Is b a multiple of 11?
True
Let h(a) = 3 - 2 + 7*a**2 - 2. Does 13 divide h(3)?
False
Suppose 3*c = -0*c + 21. Does 2 divide c?
False
Let b(z) = 2*z**2 + z. Let f be b(1). Suppose -y = f*y - 48. Let n = y + 16. Does 18 divide n?
False
Suppose 2*v = 3*v - 33. Is 11 a factor of v?
True
Is (4/(-1) - -31) + -2 a multiple of 25?
True
Let c(q) = -q**3 + q**2 + 0*q**3 - 3*q + q**2 + 7 - 7*q**2. Does 7 divide c(-5)?
False
Let f(g) = 15*g**2 + 3*g + 6. Is 16 a factor of f(3)?
False
Let j be (9/6 + -2)*0. Suppose -4*c - 8 + 32 = j. Is 18 a factor of (21/c)/(1/12)?
False
Let w(v) = -v**2 - 7*v - 5. Let j be w(-5). Let p = -3 + j. Suppose -p*c - 39 = -5*c. Does 5 divide c?
False
Let o(p) = -p**3 + 6*p**2 + 7*p - 2. Does 15 divide o(5)?
False
Let m(v) = -v**2 + 6*v - 2. Let d be m(5). Suppose -a + 5*a = 2*o + 146, -2*o = -d*a + 107. Is a a multiple of 15?
False
Let j = -6 - 0. Let k(l) be the second derivative of l**4/12 + 3*l**2 + l. Is 21 a factor of k(j)?
True
Let k be 4 - (0 + 2) - -1. Let i be (-4)/(-22) + 53/11. Suppose 3*q - 88 = i*g, -5*q - 4*g + 100 = -k*g. Is q a multiple of 8?
False
Let v be (0 + 1)*(-12 - 2). Let a = 8 + -13. Let n = a - v. Is 9 a factor of n?
True
Suppose 4*x = 3*z, 4*x - z = 3*z. Suppose -l + 3*r + 39 = x, -2*r - 1 = l + 3*r. Is l a multiple of 12?
True
Suppose -5*b - 2*k - k = 9, -2*b - k = 3. Suppose 2*r = -z + 18, b*r - 5*z = 5*r - 35. Does 2 divide r?
False
Let v = -1 - -5. Let h = 9 - v. Let d(a) = 2*a + 7. Is 17 a factor of d(h)?
True
Suppose -p + 214 = p. Does 27 divide p?
False
Let d = 45 - 7. Is d a multiple of 2?
True
Let k(q) = q - 5. Suppose -n + 9 = l - 3*n, 5*l + 5*n - 30 = 0. Let a be k(l). Suppose a*m - 4*h = -2, m + h + 7 = 3*m. Is 5 a factor of m?
True
Let n be 20/(-6)*(-6)/(-5). Let h be (4/5)/(n/20). Is h/14 - 128/(-7) a multiple of 5?
False
Suppose -23 = -q - 0*q. Let z = 39 - q. Is 16 a factor of z?
True
Let w = 0 - -3. Let a be (3 + 0)/(w/10). Let j = 5 + a. Is j a multiple of 15?
True
Let v = 0 - -3. Suppose b = v*b. Does 11 divide -17*(b + -1 - 0)?
False
Suppose 12*y + 7*y - 2090 = 0. Does 11 divide y?
True
Let a be ((-1)/(-2))/1*14. Suppose 0 = 3*h - 6, y - 2*h + 0*h + 2 = 0. Suppose 49 = u + 4*n, -y = n - a. Is u a multiple of 10?
False
Let i(w) = -w**2 - 9*w - 3. Let h(k) = k**2 + 8*k + 2. Let x(j) = 5*h(j) + 4*i(j). Does 2 divide x(-6)?
True
Let y(z) = -z**3 + z**2 - z + 1. Let w be y(1). Suppose 2*p + 0 - 6 = w, -3*g = -3*p - 117. Is g a multiple of 10?
False
Let j(o) = o + 0 - 1 - 2 + 11. Let h be j(-6). Does 4 divide 19/h - 3/6?
False
Let m be ((-1)/(-1))/((-3)/(-45)). Let q = -7 + m. Let y = 0 + q. Does 8 divide y?
True
Suppose -2*x + 5*x = 6. Let v(o) = -o**3 + 7*o**2 - 4*o + 5. Let z be v(6). Suppose -z - 29 = -x*p. Is p a multiple of 20?
False
Let q = -28 - -16. Let d be q/14*49/7. Does 8 divide (-118)/(-4) + (-3)/d?
False
Suppose -5*v = -3*v - b - 6, -2*v - 2*b = 0. Let f(a) = 5*a**2. Let h be f(v). Suppose r - 9 = 2*i - 2*r, -5*i - r + h = 0. Is i even?
False
Suppose 9*h - 428 = 5*h. Is h a multiple of 13?
False
Suppose 54 = 4*b + 5*w, 5*w + 2 = -8. Is b even?
True
Suppose 5*w + 2 = -3, -3*b = 5*w + 23. Does 18 divide b*(-5 - 1)*1?
True
Let w = 0 - 3. Let c = w - -3. Suppose -3*p + 4*p - 14 = c. Is p a multiple of 7?
True
Let k(q) = -q**3 - 9*q**2 - 7*q + 5. Let d be k(-8). Is (d/1)/((-4)/12) a multiple of 3?
True
Let i be 10/(3*(-4)/(-6)). Let h be 18/(-30) - (-2)/(-5). Let f = i + h. Does 2 divide f?
True
Let f = -2 - -2. Let h = 1 + f. Is 4 a factor of (h - -8) + -2 + 1?
True
Suppose 20 + 120 = 2*p + 5*x, 0 = 5*p + 4*x - 350. Is 9 a factor of p?
False
Suppose -4*s = -25 - 95. Does 15 divide s?
True
Let s = 19 - -12. Does 29 divide s?
False
Let s be 1 - (3/(-1) - 47). Suppose 0*c = 3*c - s. Does 12 divide c?
False
Suppose -y - 3*n + 15 = 0, -3*n + 16 + 47 = 3*y. Let m = -2 - -7. Suppose m*j - 6 - y = 0. Is j a multiple of 3?
True
Let v(i) = i**2 - 5*i - 4. Suppose 5*c + 4*j + j = 35, -4*c + 3*j - 7 = 0. Let o be (4/8)/(c/36). Is v(o) a multiple of 14?
False
Suppose 0 