derivative of -7*h**6/120 - h**5/120 + h**4/6 - h. Let y(n) be the third derivative of c(n). Is y(-7) prime?
True
Let q(w) be the third derivative of w**5/60 + w**4/4 + w**3/2 - w**2. Let x be q(-6). Let u(m) = 30*m - 4. Is u(x) prime?
False
Let u(y) = y + 1. Let o(p) = -59*p**2 - 3*p - 2. Let i(l) = -o(l) - 5*u(l). Is i(-2) composite?
True
Suppose 0 = -f - 4*z + 75, -5*z + 51 = 5*f - 369. Is f a composite number?
True
Let q(o) = -2*o - 6. Let j be q(-3). Suppose j*z = 5*c - 4*z - 103, -c = -z - 20. Is c a composite number?
False
Let q(j) = j - 10. Let v be q(9). Let i be (75 + -2)*-1 - v. Let n = 125 + i. Is n prime?
True
Suppose -k - 4*y + 1495 = -6*k, 2*k = 2*y - 598. Let a = -108 - k. Is a a prime number?
True
Suppose 2*x - 32 = -2*x. Let g(z) = -z**3 - z**2 + 2*z + 1. Let w be g(2). Let i = x - w. Is i composite?
True
Let s be 1 + (-2)/(-2)*-1. Is s + -2 + 18 + -1 a prime number?
False
Suppose 12 = -2*n + 6*n. Suppose n*d - 267 = -0*d. Is d a prime number?
True
Suppose -w = -m + 3386, 24*w + 3401 = m + 28*w. Is m a composite number?
False
Let k = 901 + -464. Is k composite?
True
Suppose 0 = -0*i - i. Suppose i = q + q. Suppose q = -k + 6*k - 105. Is k a composite number?
True
Let y be (-86)/(-11) + (-10)/(-55). Suppose -2*n = -2*r + 8, -n = 4*r + y - 39. Is r prime?
True
Let f = 10 - -4. Let p be 0 + 1 + f + -1. Suppose -k + p = -0*k. Is k prime?
False
Let d be 0*(3/(-2) - -1). Suppose 2*f - 5*z - 53 = 0, 5*z - 36 + 11 = d. Suppose -f = -s + 10. Is s a composite number?
True
Let q be 10*(-1 + 1 + -3). Let x be (0 - (q - -1))/1. Suppose 5*s = 6 + x. Is s composite?
False
Let x(j) = 4 + 2 - 1 + 9*j**2. Is x(-4) prime?
True
Let r = -12 - -20. Let l = r + -6. Suppose -a + 105 = l*a. Is a composite?
True
Let x(d) = 2*d**2 - 10*d - 5. Suppose -6*c + 2*c + 12 = 0. Suppose -3*r + k = -25, 0 = -2*r + 2*k + c*k + 8. Is x(r) a prime number?
True
Let f be 44/(-8)*1*2. Let a = f - -30. Is a a prime number?
True
Let t(m) be the first derivative of -7*m**5/24 - m**3/3 + 2. Let a(u) be the third derivative of t(u). Is a(-1) composite?
True
Suppose -19*y - 627 = -22*y. Is y prime?
False
Let f(w) = -68*w - 9. Let j be f(-6). Suppose j = 4*k - 61. Is k a composite number?
True
Let q = 130 + 25. Suppose -5*g = -10*g + q. Is g composite?
False
Suppose -5*x = 2*n - 58, 2*x - x + 72 = 4*n. Let g = n - -480. Is g a prime number?
True
Is ((-11)/(-22))/(1/398) a composite number?
False
Suppose -255 = -5*i + 5*d, -4*i + 216 = -d - 0*d. Is i a composite number?
True
Let a(k) = 43*k + 4. Let u be a(-3). Suppose 0*s + 606 = 3*s. Let b = u + s. Is b composite?
True
Let b(m) = -859*m + 6. Is b(-1) prime?
False
Let b(k) = k**3 + 9*k**2 + 5*k + 8. Let d be b(-8). Suppose 5*m - d = -7. Suppose 0 = -4*a + m*a - 35. Is a composite?
True
Suppose -s + 256 + 629 = 0. Suppose 6*q = 9*q - s. Is q a prime number?
False
Suppose 0 = -5*v - 5*r + 50, 0*v - r + 22 = 3*v. Suppose 0 = -4*b - 4*w + 6 + v, -b - 3 = -2*w. Is (1 + b)*1719/18 a composite number?
False
Suppose u = 3*u - 6. Suppose 4*t - u*t = 127. Is t a composite number?
False
Suppose -2*a = -l, 0*a + l = -2*a. Suppose 89 = p - a*p. Is p a prime number?
True
Let s(o) = 54*o**2 - 2*o + 4. Let p be s(3). Suppose 0*h - h - p = 0. Is 3/(-2)*h/6 prime?
False
Suppose 2*h + 0*h = 318. Is h a prime number?
False
Let j(d) = -243*d + 4. Is j(-13) composite?
False
Suppose 3*o - 2377 - 2300 = 0. Is o composite?
False
Let b = -201 - -286. Is b a composite number?
True
Let p(z) = 4*z**3 - 2 + 15*z**2 + 0*z**3 - 5*z**3 + 2*z**3 - 3*z. Is p(-11) prime?
False
Suppose d - 3*m - 36 = 34, -d + 45 = 2*m. Is d prime?
False
Let n be (1/(-1))/((-1)/3). Suppose 0 = n*x - 8*x + 565. Is x composite?
False
Let c = 472 + 247. Is c a prime number?
True
Let t = 15 - 13. Suppose -t*w - 2174 = -4*s, -3*w = -3*s - 7*w + 1603. Is s a prime number?
True
Let t = -10 + 15. Suppose 5*u - 3*w - 7 = 0, u - 4*w = t*u - 12. Suppose -2*h - 54 = -2*q, -u*q - q + 2*h = -85. Is q a prime number?
True
Let t = 246 - 157. Let w = t + 122. Is w prime?
True
Suppose 6 = -4*o + 3*d - 3, -4*o + 5*d - 7 = 0. Let y = o - -3. Suppose 2*v - 30 = -2*p, y*v - 4*v + 72 = p. Is v prime?
True
Let w(v) = -v**2 - 3*v + 4. Let k be w(-3). Let j = 85 + k. Is j a composite number?
False
Let h = -17 + 24. Let p = 30 - h. Is p a composite number?
False
Suppose -518 = -2*u - 96. Is u composite?
False
Suppose 4*f - 20 = 2*n + 2*n, 0 = -4*f + 3*n + 19. Suppose f*j + 11 = 823. Let v = j - 124. Is v prime?
True
Let c be 3*(-102)/9 + 2. Let z = -6 - c. Is z a composite number?
True
Is (1 + 0)/(-1) + 15 a prime number?
False
Let i be (-8)/(-3) - (-14)/(-21). Suppose 3*c + 27 = 5*o + 2, 25 = 5*o - c. Suppose -5*d - 246 = -3*s, d - 228 = -o*s + i*s. Is s a composite number?
True
Suppose w - 663 = 4*r, 12*w - 1975 = 9*w - 2*r. Is w prime?
True
Let a = 139 - 33. Is a composite?
True
Let g(x) = -4*x + x + 7 + 6*x**2 + x. Is g(6) a composite number?
False
Suppose -5*y - q + 2688 = 0, 5*y - 2694 = 3*q - q. Is y a prime number?
False
Let u(y) be the second derivative of y**5/20 + 7*y**4/12 + 2*y**3/3 + y**2 - 2*y. Is u(-4) a prime number?
False
Suppose -7*m = -3*m + 8. Is (-28)/16*16/m prime?
False
Suppose -2350 = 2*t - 8480. Suppose -5*v + 0*v = -t. Is v prime?
True
Is (-68)/(-3)*9/6 composite?
True
Is 777/14*10/3 a prime number?
False
Suppose 0*q - 14 = 2*q. Let r = q + 11. Is 1023/21 + r/14 a composite number?
True
Suppose -2*o + 11 = -63. Is o a prime number?
True
Let i(k) = -k**3 - 6*k**2 - 5*k + 4. Let h(j) = 5*j. Let z be h(-1). Let q be i(z). Suppose 7 - 19 = -q*v. Is v a composite number?
False
Suppose 8*i + 3 = 9*i. Suppose 7*m - i*m = 476. Is m a prime number?
False
Let a(u) = 2*u**2. Let b be a(1). Suppose 0 = -3*x - 2*g + 2, -3 - 3 = -5*x - b*g. Suppose 16 = 2*h + x. Is h prime?
True
Suppose -8 = -5*s + 17. Suppose 0*t + 4*t - s*g - 6256 = 0, -4*t = g - 6232. Is t composite?
False
Let f(g) be the second derivative of -g**5/20 + g**4/3 - g**3/2 + g**2/2 - g. Let i be f(4). Let o = i + 30. Is o a composite number?
False
Let o(k) = k**3 - 7*k**2 - k + 10. Let p be o(7). Suppose p*q - 44 - 61 = 0. Is q prime?
False
Let x be 42/18 - (-1)/(-3). Suppose -7*q = -x*q - 275. Is q composite?
True
Is ((-66)/(-24))/((-1)/(-52)) prime?
False
Suppose 0*r - 4*l = 4*r + 4, -5*r - 3*l = 1. Is 68 - (r/(-1) - -2) prime?
True
Is 3 - (3 - -1) - -1638 a prime number?
True
Suppose -22 + 97 = 5*h. Is -2*h/6*-3 a prime number?
False
Suppose -3*h + 2*h = -4*b + 123, 5*h = -15. Suppose 50 = 4*a + 2*k, 0*a - 3*a + b = 3*k. Is a a prime number?
False
Suppose 0 = 3*o + 5*s - 28, 2*o = -4*s + 3*s + 7. Let k(c) = 35*c**3 + c**2 - 1. Let w be k(o). Let x = w - 13. Is x composite?
True
Let j(k) = -k**3 + 2*k**2 - 2*k + 1. Let z be j(2). Let x be (-2)/(((-10)/z)/(-5)). Suppose -112 = -2*c - 3*n, 3*n = x*c - 44 - 109. Is c a prime number?
True
Let b(i) = -i**2 + 19*i + 6. Is b(8) composite?
True
Let q be (-2)/(-9) + 43/9. Suppose -q*p + 24 = -1. Suppose 123 = -0*n + 4*n + p*c, -89 = -2*n + 3*c. Is n a prime number?
True
Let o be (16/(-4))/((-2)/(-8)). Let p be (-1 + -2)*o/(-6). Is (p + 55)*(5 - 0) a composite number?
True
Suppose 0 = -2*j - 182 - 494. Let u = -188 - j. Suppose 70 = 4*n - u. Is n prime?
False
Let w = -22 + 289. Is w a composite number?
True
Let p be (2/(-4))/(2/(-8)). Let l(w) = 14*w - 3. Is l(p) a prime number?
False
Let s(x) = -2*x - 17. Let a be s(-12). Suppose -a*n + 2046 = -n. Is n a composite number?
True
Let m be (1/(-2))/((-3)/18). Suppose -m*x + 3031 = 292. Is x a prime number?
False
Let v(n) = -n**2 + 10*n + 15. Is v(8) a composite number?
False
Let q be (-33)/6 + (-1)/2. Let j(r) = -r**2 + 5*r + 7. Let x be j(q). Let o = 118 + x. Is o composite?
False
Let w(l) = -2*l**3 - 5*l**2 + 4*l + 3. Let x be w(-4). Let o = 0 + x. Is o prime?
False
Is 2 + 1 - (1 - 377) prime?
True
Let y be (-106)/(-22) + (-6)/(-33). Suppose -6 = 3*u - y*u. Suppose u*z - 29 - 136 = 0. Is z composite?
True
Let i(q) = -25*q + 4. Let d = 18 - 25. Is i(d) prime?
True
Let d = 8 - 5. Suppose 445 = d*i - 254. Is i prime?
True
Suppose 0 = 5*n + 4*i - 1833, 5*n - 1819 = 2*i + i. Is n composite?
True
Let r(i) = 341*i**2 + 4*i + 7. Is r(-2) a prime number?
False
Let v(d) = 15*d - 9. Let t be v(8). Let k = t - 58. Is k composite?
False
Let b