**2 + q - 3. Let x be -7 + (-12)/(-8)*2. Let s = -1 + x. Is w(s) composite?
False
Let t(p) = p**2 - 2. Let h be t(2). Let w be 2*(-2)/h + 7. Suppose w*a = -4*y + 703, -2*y - 10 = -7*y. Is a composite?
False
Let a(o) be the second derivative of -1169*o**3/6 + o**2 + 2*o. Is a(-1) a prime number?
True
Let b(s) = -9*s**3 - 5*s**2 - 19. Is b(-8) a prime number?
False
Let c(y) = -12*y - 5. Let s(b) = -b + 1. Let t(o) = c(o) - 5*s(o). Is t(-11) a composite number?
False
Let z(y) = -y**2 + 5*y + 7. Let i be z(0). Is ((-3)/(-18)*-2)/(i/(-1491)) prime?
True
Suppose 2*f = 11 + 37. Suppose -5*t + 631 = -f. Let o = t + -60. Is o composite?
False
Let v be (-6)/(-21) + (-36)/(-21). Suppose -v*r - 12 = -18. Suppose 8*c - r*c = 885. Is c a composite number?
True
Suppose x = -6*s + 11*s - 104361, 4*s - 83500 = -2*x. Is s prime?
True
Let h = 2 + 5. Suppose -3*k + 28 = p, 3*p = h*p - 4*k - 48. Suppose 4*q = 4 - p, -q = r - 43. Is r composite?
True
Suppose 7449 = 23*k - 20*k. Is k a composite number?
True
Let p(o) = 6*o - 5 + o**3 + 1 + 0*o**2 + 11*o**2. Let f be p(-10). Suppose -3*y + 2*t + f = 0, -4 + 72 = 4*y + 4*t. Is y composite?
True
Let v(s) = -s - 6. Let l be v(-4). Let i(w) = 7*w**2 + w + 1. Let q be i(l). Suppose -g + q + 28 = 0. Is g a composite number?
True
Let b(h) = 42*h - 60*h**2 + 3 + 23*h**2 + 17*h**2 + 38*h**2. Is b(-7) prime?
False
Suppose -16 + 6 = -4*t - 3*q, 8 = 3*t + 2*q. Suppose 2*w = t*r + 290, -607 = -4*w + 3*r - 17. Is w a prime number?
True
Suppose 8*q = 5*q + 18. Let b = -1 + q. Suppose 5*i - k = 39 + 176, -b*i + 215 = -4*k. Is i prime?
True
Suppose 3*i - 3*f + 6*f - 11076 = 0, -f - 14763 = -4*i. Is i a composite number?
False
Is (-14)/56*(-176417 + 13) prime?
True
Suppose -y = -4*n + 2*y + 7597, 5*y = 3*n - 5706. Suppose 0 = 4*j - n + 93. Is j a composite number?
True
Let u = 81612 + -12979. Is u composite?
False
Let d be (-5 - -8021)*(-4)/(-8). Let g = -2249 + d. Is g prime?
True
Let u = 1739 - 2504. Let w = u - -2231. Is w a composite number?
True
Suppose 5*b + 3*o = 279, 2*b + 2*o - 123 = -3*o. Suppose -6*x - b = -192. Is x a prime number?
True
Suppose -f = -3*k + 2, 5*f - 24 + 4 = 0. Suppose z - 1179 = -2*x, -z + 1169 = k*x - 2*z. Is x composite?
False
Let g = 86 + -149. Let c(f) = f**3 + 7*f**2 + 8*f - 6. Let s be c(-6). Is (-887)/(-7) + s/g a prime number?
True
Let c(m) = 2*m**3 + 7*m**2 + 11*m - 3. Let h be c(-5). Let s = h + 260. Is s a composite number?
False
Let t(x) be the first derivative of -25*x**3/6 + 13*x**2/2 + 2*x + 6. Let u(f) be the first derivative of t(f). Is u(-6) composite?
False
Let k = 5540 + 9691. Is k composite?
True
Let z(h) = 7*h**3 - h**2 - 1. Let d(w) = -35*w**3 + 5*w**2 - w + 6. Let g(a) = -2*d(a) - 11*z(a). Let t be -5 + 1 + (-4)/4. Is g(t) a prime number?
False
Let j = -1936 - -16043. Is j a prime number?
True
Let g(m) = 22*m**2 - 8*m - 3. Is g(4) a prime number?
True
Suppose 0 = -a + 5*a - 16. Let j(w) = 154*w + 17. Is j(a) composite?
True
Is 0*3/15 + 631 a composite number?
False
Let v = 8654 + 8117. Is v a prime number?
False
Let h(q) = -54*q + 5. Let i be -2 - -1 - -2 - -4. Let z be h(i). Is z/10*(-2 + 0) a prime number?
True
Suppose -21 = -6*u + 279. Let w = 33 - u. Let z = w - -228. Is z composite?
False
Let u be (31/2)/(5/50). Let m = u + 174. Suppose -m = -2*l - 11. Is l composite?
True
Suppose -5*z + 15 = -d, -d - 7 = -4*z + z. Suppose 2*u = 7*u + d*o - 45, u = 3*o - 7. Suppose u*n - 351 = -76. Is n a prime number?
False
Let f(l) = l**3 + 5*l**2 + 3*l - 2. Let i be f(-4). Suppose 640 = 4*c - 0*w - w, 0 = -c + 5*w + 179. Suppose -i*z + 343 + c = 0. Is z composite?
False
Suppose 6*i - 9*j - 32301 = -4*j, -4*j + 5369 = i. Is i a composite number?
False
Let b = -4654 + 39855. Is b composite?
False
Let o(w) = 653*w + 33. Is o(16) a prime number?
False
Suppose 622 = -7*n + 678. Let r(m) = m**3 + 7*m**2 - 4*m. Let k be r(-6). Is (-14)/(-3)*k/n composite?
True
Let z be 6/8 + -1 - (-20514)/8. Let f = -1831 + z. Is f a composite number?
False
Let h(j) be the first derivative of 40*j**3/3 + 5*j**2/2 - j - 18. Is h(-2) prime?
True
Suppose -9*h + 7*h = 16. Let k(l) = -l - 5. Let u be k(h). Suppose 0 = -3*c - 3*p + 15, -u*p = -c + 13 - 0. Is c composite?
False
Let i be 4*5/20 - 798. Is (-21 - -22)/((-1)/i) a prime number?
True
Let m(g) = -5*g + 24. Let v(p) = -14*p + 71. Let u(j) = 17*m(j) - 6*v(j). Let k be u(-13). Let a(x) = -x**3 - 4*x**2 - 4*x + 1. Is a(k) a prime number?
False
Let x be (-2 + -1 - -1)/((-2)/(-701)). Let r = 1915 + x. Is r composite?
True
Suppose 0 = 5*s + 196 - 76. Is (-6106)/(-18) - 2 - s/(-108) a composite number?
False
Let x = -153 - -157. Suppose 0 = -x*r + 1602 + 322. Is r a composite number?
True
Let q(l) = 642*l**2 - 13*l - 8. Is q(3) a prime number?
False
Suppose 185054 + 6711 = 4*a + 3*g, -3*a - 5*g + 143832 = 0. Is a a composite number?
False
Suppose -2*c - 2*b + 365 = 3*c, 5*c - 365 = b. Suppose 4*f = -2*v + 48, -5*f + 6*v + c = 2*v. Is f a prime number?
True
Let j(p) = -7*p - 11. Let c(r) = r. Let k(s) = -6*c(s) - j(s). Let h be k(-7). Suppose b - 1885 = -h*b. Is b a composite number?
True
Suppose -2*s = -0*s - 4, 3*h + 5*s - 22 = 0. Suppose o - h*o = -366. Is o composite?
True
Suppose 3*w + w - 87649 = -y, 0 = -w - 4*y + 21901. Is w a prime number?
False
Suppose 0 = -4*r - 0*b + 3*b - 14, -4*b = -3*r - 14. Let w(k) = -82*k**3 + 2*k**2 + k + 1. Let x be w(-1). Is r/7 - (-25140)/x a composite number?
True
Suppose t - 2 = 2. Suppose h - 2*p + 1 = 5, 2*h = -t*p + 32. Suppose 0 = w - 0*w - h. Is w a composite number?
True
Is (-24972)/(-10)*(-115)/(-46) a composite number?
True
Is 22 - 29 - -60*313 a composite number?
False
Let a(d) = -5*d**2 + 6*d**2 + 1255 - d**3 + 3*d**2 - 6*d**2. Is a(0) composite?
True
Let g(z) = 262*z + 29. Is g(36) composite?
False
Suppose -5*c + 28077 = -60838. Is c a composite number?
False
Let o(n) = 15*n**2 + 5*n - 9. Let m be o(-10). Suppose 0 = b - 2*w - m, 3*b + 876 = w + 5189. Is b composite?
True
Suppose -4*k + 16*k = 37644. Is k a prime number?
True
Let h = 5446 - -475. Is h prime?
False
Let v = 938 + -664. Let x = 405 - v. Suppose k = f - x, -k - 147 = -f + 4*k. Is f composite?
False
Suppose -201*z + 191*z = -160570. Is z a prime number?
True
Let h = 1 - -2. Suppose h*u = -0*u. Suppose 3*f - 2*f - 47 = u. Is f a composite number?
False
Let z(w) = w**3 - 5*w**2 - 4*w - 7. Let g be z(6). Let p = 262 + g. Suppose 0*k + p = 3*k. Is k a prime number?
True
Let p = 378 - 85. Is p a composite number?
False
Suppose -3426 = -11*j - 1083. Is j prime?
False
Suppose 5*f = -v + 6810, 2*v + 1147 = f - 204. Is f a composite number?
False
Let s(l) = 244*l**3 - 31*l**2 + 67*l - 5. Is s(2) prime?
False
Suppose x = 2*x. Let d be -1*((-2)/1 + x). Let v = d - -1. Is v a prime number?
True
Suppose -10*h = -15503 + 2463. Suppose 0 = -25*t + 17*t + h. Is t a prime number?
True
Let b(z) = -7569*z + 3. Let q be b(-1). Suppose -8*x = 4*x - q. Is x a composite number?
False
Suppose 0 = g - 3, 0 = -3*p + 12*g - 11*g + 1896. Is p prime?
False
Let h be (-18853)/(-5) + (-12)/(-30). Suppose 4*p - 2857 = h. Is p prime?
True
Let u(j) be the second derivative of -1/2*j**2 + j + 0 - 4/3*j**3. Is u(-3) a composite number?
False
Let v(q) = 13*q + 16. Let s(m) = 51*m + 65. Let d(p) = -2*s(p) + 9*v(p). Is d(13) composite?
True
Suppose -5*v + 4*h - 9524 + 2016 = 0, -4*v - h = 6019. Let p = v + 2415. Is p prime?
True
Let q be (1 + 1580/8)*-6. Let d = q + 2096. Suppose -194 = -u + 3*b, -5*u + 4*b - 2*b + d = 0. Is u a prime number?
True
Let c(d) = 23*d + 19. Let o(f) = -8*f - 6. Let a(w) = -3*c(w) - 8*o(w). Suppose 0 = 3*k - 2 + 14. Is a(k) prime?
True
Suppose 11*b - 4 = 9*b. Suppose 3*d = -b*d + 2495. Is d a composite number?
False
Let k = 75 - 217. Let f = 69 - k. Is f a prime number?
True
Suppose -5*n - 5*k + 8013 = -n, -2*n = -2*k - 4002. Let u = -1079 + n. Is u a composite number?
True
Suppose -27*k = -264279 - 655260. Is k prime?
True
Let d(k) = 2*k**2 + 91*k - 14. Is d(-47) a prime number?
True
Let w = -14 - -9. Let q = 10 + w. Let x(s) = s**3 - 7*s + 7. Is x(q) a prime number?
True
Let w = -5239 - -8258. Is w a composite number?
False
Suppose 2 + 6 = 2*l. Suppose j = 6*j - c - 1300, 0 = l*c + 20. Is j a prime number?
False
Let u(r) = 2*r**2 + 7*r - 11. Let v be u(-5). Suppo