s?
True
Let n(y) = -8*y**2 + 16*y - 15. Let i(f) = 7*f**2 - 15*f + 14. Let c(k) = 6*i(k) + 5*n(k). Is 21 a factor of c(6)?
True
Let j(t) be the third derivative of -t**4/24 + 7*t**3/6 - 2*t**2. Let d be j(7). Suppose d*a - 50 = -2*a. Does 9 divide a?
False
Suppose -2*r + 7 = -9. Let a = r - 2. Suppose f + 5*d - a = 4*d, 2*f - 5*d = 12. Is f a multiple of 3?
True
Let a(n) = 3*n**2 + 7*n + 4. Let y(m) = -2*m**2 + 2*m. Let z be y(2). Let o be a(z). Does 3 divide (o/15)/((-1)/(-5))?
False
Let i(l) be the first derivative of -l**6/120 + 7*l**5/60 - l**4/4 + l**3/3 - l**2/2 + 2. Let b(k) be the second derivative of i(k). Does 11 divide b(5)?
True
Suppose 3*z + 3*z + 102 = 0. Let t = z - -35. Is t a multiple of 18?
True
Let b = 3 + -9. Let m(l) = -2*l + 4. Let r be m(b). Let i = r + -1. Does 10 divide i?
False
Let m(k) = 3*k**2 - 20. Does 14 divide m(-6)?
False
Suppose -5*b - 3*w - 8 = -99, w + 83 = 4*b. Is 20 a factor of b?
True
Let q(g) = g - 13. Let t(a) = 6. Let s(v) = 3*q(v) + 5*t(v). Is 12 a factor of s(7)?
True
Let o = 100 + -27. Does 17 divide o?
False
Let c = -11 - -16. Suppose c*k - 9 = 21. Is 12 a factor of (34/k)/((-6)/(-18))?
False
Let i = -11 - -9. Let w be 2*(3 + 0 + i). Suppose 0 = -w*m - m + 45. Is m a multiple of 4?
False
Let d(o) = -o**2 + 6*o + 1. Let v be d(6). Suppose 2*g - m - 12 = -4*m, 5*m - 20 = -5*g. Is 11 a factor of (17 + g)*v + -3?
False
Let f be ((-4)/(-12))/(3/(-9)). Let m(t) = 17*t**2 - 3*t - 2. Is 3 a factor of m(f)?
True
Suppose 7 = b + 3. Suppose -214 = -b*v + 2*a, 6*v + a = 4*v + 97. Is v a multiple of 14?
False
Suppose 6 + 10 = -4*x. Let w be (1 - -2) + 1*x. Is 2*w*15/(-2) a multiple of 8?
False
Suppose -3*y + 4*y = 4. Let j be y + -6 + 1 + 3. Suppose j*x + 0*x = -3*v + 45, -4*x = -4*v + 40. Is v a multiple of 13?
True
Suppose 0 = 3*p - p - 2, 0 = -q - 2*p + 70. Let i(c) = 9*c. Let r be i(5). Let a = q - r. Does 12 divide a?
False
Suppose -2*g = -j - 3, -5*g + 4 = -4*j - 11. Let k = j - -4. Does 17 divide k/(-4) - 540/(-16)?
True
Does 12 divide 1644/20 + 1/(-5)?
False
Let r(x) be the third derivative of -2/3*x**3 - 2*x**2 - 1/8*x**4 + 0 + 1/60*x**5 + 0*x. Does 10 divide r(6)?
False
Let g = -57 - -165. Does 18 divide g?
True
Suppose 22*l = 21*l + 32. Is l a multiple of 16?
True
Suppose 4*k - k - 21 = 0. Suppose -p = 5*s - 11, -3*s + k*s + 36 = 2*p. Does 7 divide p?
False
Let k(a) = -4*a**3 + 4*a**2 - a - 4. Let z be k(3). Let h = -52 - z. Is 11 a factor of h?
False
Let h be (-2)/4*(3 + -141). Let y be 3 - (3 + 0 + -5). Suppose 5*f = -3*a + h, -2*f = y*a - 65 + 26. Is 6 a factor of f?
True
Suppose 4*u = -r - 23, 2*u + 3*r + 17 = 8*r. Is 9 a factor of 2/3 - 128/u?
False
Let s(b) = -16*b**2 - b + 4. Suppose 0*g + 4 = -g. Let z be s(g). Is 9 a factor of (-2)/(-7) - z/14?
True
Is 1/4*-10*-18 a multiple of 15?
True
Suppose 0 = 2*p + 3 - 11. Let n be -1 + p + 6*-2. Let w(h) = -4*h + 3. Does 13 divide w(n)?
True
Let k(o) = o**2 - 3*o - 7. Is 11 a factor of k(-5)?
True
Suppose -4*x + p - 4*p + 435 = 0, -561 = -5*x + 2*p. Is 22 a factor of x?
False
Let b(g) = -7*g - 4. Let k be b(-4). Suppose 5*o + 2*r - 20 = k, -5*o - 5*r + 50 = 0. Let l = 14 - o. Is 6 a factor of l?
True
Let r(j) = 5*j - 15. Let l be r(12). Let w = l - 23. Is w a multiple of 6?
False
Let m(i) = i**2 - 7*i - 6. Let v(w) = 2*w + 1. Let t be v(1). Suppose t*b = -0*n + 5*n - 57, 3*n + b - 23 = 0. Does 12 divide m(n)?
True
Is 13 a factor of (-3 + 146)/(3/3)?
True
Let i(o) be the first derivative of o**2/2 - o + 1. Let y be 4/18 - 86/(-18). Does 3 divide i(y)?
False
Suppose a = 9 + 3. Is 12 a factor of a?
True
Let q be 2/(-6) + 2/6. Let d(l) = -l + 2. Let f be d(q). Is 2 + (f - 1/(-1)) a multiple of 5?
True
Let y(f) = -f. Let v(d) = -4*d + 16. Let i(r) = -v(r) + 6*y(r). Does 3 divide i(-11)?
True
Suppose o = -o + 4. Suppose 5 = i + p, -2*i + o*p + 12 = -2. Suppose -w = s - 17, -5*s + 105 = w - i*w. Is s a multiple of 13?
False
Let j(p) = -4*p - 4. Let u be j(-2). Suppose -u*l = -7*l + 39. Does 9 divide l?
False
Let i(p) = -p**3 - 3*p**2 - 4*p - 3. Let f be i(-3). Suppose a - 2*c - 10 = 0, -2*c + f = c. Is a a multiple of 11?
False
Suppose -25 - 11 = -4*z. Is 2 a factor of z?
False
Let b = 6 - 5. Suppose 4*l + b = -5*g + 4*g, 5*l + 3*g + 3 = 0. Suppose 0 = -c + 4 - l. Does 2 divide c?
True
Let q(m) = 39*m - 5. Let l be q(5). Suppose -l + 70 = -5*u. Is u a multiple of 13?
False
Let x(z) = -z**3 - 3*z**2 - 2*z + 2. Let u be x(-2). Suppose -2*v + u*m = -52, 2*v = -0*m - 5*m + 24. Suppose 0 = q - v - 6. Is 16 a factor of q?
False
Let w(k) = -k**2 - 12*k + 9. Does 25 divide w(-6)?
False
Let q(x) be the third derivative of -x**4/8 - 2*x**3/3 + x**2. Does 5 divide q(-7)?
False
Let x be 2/4 - 24/(-16). Let c(m) = 1 - x + 9*m + 8*m + 0*m. Is 12 a factor of c(2)?
False
Let m = 6 + -6. Suppose m*l + 64 = 2*l. Does 16 divide l?
True
Let j = 3 - 3. Let m = j - -2. Suppose -h + 31 = m. Does 10 divide h?
False
Let a = -45 - -68. Suppose 4*q + a = -q - 2*i, -5*i - 20 = 5*q. Let c(w) = w**3 + 4*w**2 - 6*w + 6. Is c(q) a multiple of 6?
False
Suppose -4*t + 2*l = -l - 51, -5*t - 5*l + 20 = 0. Let m(k) be the second derivative of k**4/12 - k**3 - 4*k**2 + 14*k. Does 8 divide m(t)?
False
Let n = -28 - -44. Let u = n + -8. Is u even?
True
Let d(v) = 161*v**2 + v. Let y be d(-1). Suppose 2*k + 2*k = y. Suppose -k = -4*t - 4*u, 2*t = -5*u + 19 + 16. Is t a multiple of 5?
True
Suppose o + 85 = 5*t, 3 = 4*t - 3*t - 3*o. Is 14 a factor of t?
False
Let s be ((-5)/2)/((-2)/4). Suppose -10*t + 150 = -s*t. Is t a multiple of 7?
False
Let h be 1 - (0 + (-2)/1). Let f(m) = 16*m - 4. Let i be f(h). Suppose j = -j + i. Does 11 divide j?
True
Let s = 0 - -6. Suppose -2*n = s, 0 = -l + 3*l + 3*n + 63. Let q = l + 47. Does 20 divide q?
True
Let f(q) = -q**3 - 6*q**2 - 2*q - 8. Let l be f(-6). Suppose 3*z - 3*u + u = 23, -l*z - 3*u = -8. Suppose -z*j = -0*j - 150. Does 15 divide j?
True
Let r = 3 - -2. Let h = r + 1. Does 6 divide h?
True
Suppose 4*u = 2 + 6. Suppose 20 = u*t - m, 4*t = 6*m - m + 46. Let f = 15 - t. Is 4 a factor of f?
False
Let r be 4*14 - 3/(-1). Let f = r + -21. Is 19 a factor of f?
True
Let o be 1/(2/(-3) - -1). Suppose -4*m + p = 46, 4*p + 28 = -2*m - 4. Is 3 a factor of 22/8 - o/m?
True
Let z(h) = -h**3 + 4*h**2 - h + 3. Does 2 divide z(3)?
False
Suppose 4*o + 125 - 987 = 2*p, -2 = -2*p. Is o a multiple of 12?
True
Let w = 8 + -6. Suppose 2*a + 14 = -3*c + 48, 2*c = w*a + 6. Does 3 divide c?
False
Let t = -19 + 39. Suppose t = n + 2. Is n a multiple of 16?
False
Suppose -5*z - 2*r = -25, 6*z - z - 5 = 2*r. Suppose z*c + 6*l - 113 = 2*l, -c = -3*l - 16. Does 15 divide c?
False
Let a(b) = 3*b**2 - 2*b - 3. Let m = -8 - -11. Does 9 divide a(m)?
True
Let y(t) = -t**2 + 8*t - 2. Let d = 13 + -7. Is y(d) a multiple of 4?
False
Let w(v) = 49*v**2 + 7*v + 6. Does 4 divide w(-1)?
True
Let l(u) be the third derivative of u**7/2520 + u**6/120 - 13*u**5/120 + u**4/12 - u**2. Let h(b) be the second derivative of l(b). Does 14 divide h(-10)?
False
Suppose -312 = -7*p + 3*p. Is p a multiple of 11?
False
Suppose 0*c - 4*c = -20. Suppose -r + 285 = -c*n + 4*r, -65 = n + 3*r. Let j = -40 - n. Does 14 divide j?
False
Let a(i) = -i**2 - 6*i - 3. Let l be a(-4). Suppose -29 = -l*n - 9. Does 21 divide (1 - n) + -2 + 45?
False
Let y = -2 - 2. Let x be -10 + 2 + -1*2. Let l = y - x. Does 3 divide l?
True
Let l(g) = 2*g**3 - 2*g**2 - 3*g + 3. Is l(3) a multiple of 15?
True
Let v(s) = s**3 - 8*s**2 - 6*s - 8. Suppose 0 = -5*z + 45 - 0. Is 7 a factor of v(z)?
False
Suppose 0 = g + 4*g - 245. Is 10 a factor of g?
False
Suppose -4*u + 114 - 10 = 0. Suppose 5*b + u = 116. Is b a multiple of 6?
True
Suppose 3*z - 142 = -2*g, 5*g - 5*z = -2*z + 334. Is g a multiple of 4?
True
Suppose -1 = 5*z + 2*v - 5, 4*z - 6 = -3*v. Suppose z = -8*m + m + 35. Does 5 divide m?
True
Let m(t) = 2*t**2 + 2*t - 1. Let b be m(-2). Suppose 0 = -0*f + b*f - 12. Suppose -5*y = -f*n + 10, -2*n + 0*n + 8 = -y. Is y a multiple of 2?
True
Suppose -4*k + 6*k + r - 11 = 0, 3*r - 9 = 0. Suppose 6 + 10 = k*j. Is j even?
True
Let s(p) be the first derivative of 8*p**2 + 2*p - 6. Does 18 divide s(1)?
True
Does 18 divide -1 + 4 - (1 - 32)?
False
Suppose 48 = -5*h + 168. Is h a multiple of 12?
True
Let k(r) = 4*r**2 - r. Let b be 1 - (1 -