ose -6*n = -5*n - 529. Suppose -2*z = 11 - n. Is z composite?
True
Let h = 93 - 2. Is h prime?
False
Let h(x) be the second derivative of -x**5/20 - 7*x**4/12 - x**3 - x. Let l be h(-6). Suppose l = -s - 0*s + 39. Is s a prime number?
False
Suppose 0*z = 3*z + 3. Let l be 0 + 0 - z*473. Suppose -3*n = -l - 142. Is n a prime number?
False
Let t(m) = m - 3*m - 6*m - 3. Let n be t(-4). Suppose -5*d = -n - 46. Is d composite?
True
Suppose -2*a + 2 = 3*v, v + a - 1 = -0*v. Suppose -4*k = -3*k - 3*b - 3, v = -3*b + 3. Is k prime?
False
Suppose d - 5 = 0, 923 = 4*v + 2*d + d. Suppose f - 281 = v. Suppose -3*p = -7*p + f. Is p prime?
True
Suppose -4*z - 398 = 62. Suppose h + 1019 = -5*b, b - 5*h = -2*h - 207. Let r = z - b. Is r composite?
False
Let b(o) = 2*o - 6*o + o**2 + 3 - 2*o. Let f be b(6). Suppose -216 = 4*p - 7*p + f*a, -p + 52 = -5*a. Is p composite?
True
Let t(a) = a**3 - a**2 - a + 77. Let r be t(0). Suppose -b - r = -2*b. Is b composite?
True
Let l = -424 + 1211. Is l prime?
True
Let a(o) = -68*o - 5. Let i be a(-5). Let u = -124 + i. Is u a prime number?
True
Suppose -10*q = -7*q - 2181. Is q a composite number?
False
Suppose -4*j + 444 = 88. Is j a prime number?
True
Suppose b - 2*b = -g - 1, 0 = 5*b + 5. Let c = -6 - g. Is 4/(-2)*158/c prime?
True
Let p = 0 + 6. Let w = -3 + p. Is w composite?
False
Let c = 8781 - 788. Is c composite?
False
Suppose 0 = -6*h + 4*h + 6. Suppose 2*r = 5*c - c - 26, 0 = -5*c + h*r + 32. Is c prime?
True
Suppose o - 3 = j, -5*o - j = 2*j - 31. Is (0 + 2 - o) + 80 a composite number?
True
Suppose -4*y + 4*m = -308, -3*m - 144 = -4*y + 169. Is y a prime number?
False
Let c(y) be the third derivative of -y**4/4 - y**3/2 + 2*y**2. Is c(-6) composite?
True
Let x = 502 + 335. Suppose -89 = 4*y - x. Is y composite?
True
Let r(d) = 4*d + 9. Let m(i) = i + 2. Let z(g) = -9*m(g) + 2*r(g). Let t = -14 - -8. Is z(t) a composite number?
True
Let c = 47 + -28. Is c a prime number?
True
Let z(x) = 2*x**2 + x**2 + 5 - 4*x**2. Let d be z(0). Is 0 - (-26 + -2 + d) a composite number?
False
Let d be ((-2)/4)/(4/472). Let o = 94 + d. Is o a prime number?
False
Suppose -694 = 18*s - 20*s. Is s composite?
False
Let h = 905 - -750. Is h a prime number?
False
Suppose 10*m - 326 = 264. Is m composite?
False
Is (-78)/(-12) - 6 - (-633)/2 prime?
True
Suppose 3*h - 5*h + 502 = 0. Is h a composite number?
False
Let k(i) = -7 + 2*i - i**3 + 4*i**2 + 4 + 5*i**2. Is k(8) a prime number?
False
Let x be (2/1)/(-1 + 2). Suppose -4*m = -2*q - 4, -2*m + m + q = -x. Suppose -y + m*y = -127. Is y a composite number?
False
Suppose -x + 8*x - 273 = 0. Is x a prime number?
False
Let f(s) = -233*s**3 + s**2 + s. Is f(-1) a composite number?
False
Let x(c) = -4 + 3 + 0 + 3*c - 4*c. Let i be x(-5). Suppose -75 = -5*b + 2*o + 36, 0 = -i*o + 8. Is b composite?
False
Let l(g) be the first derivative of g**4/4 + 8*g**3/3 - 3*g**2/2 - 4*g - 2. Let s be l(-8). Let x = -1 + s. Is x a composite number?
False
Suppose -14692 = -17*d + 3345. Is d a composite number?
False
Suppose -5*h + 3 = -3*m, 3*h - 2*m = -4 + 5. Is (-1)/h - 924/(-18) a composite number?
True
Suppose 141 = 3*u - 0*u. Let f = 102 - u. Is f a prime number?
False
Suppose 0 = -4*d + 3*f - 5*f + 230, -5*f - 223 = -4*d. Suppose 3*t - d = -2*v, -2*t - 2*t + v + 87 = 0. Is t a composite number?
True
Let w(q) = 21*q + 2. Let y(p) = 11*p + 1. Let c(j) = 3*w(j) - 5*y(j). Is c(3) a composite number?
True
Let y = 2261 - -242. Is y a prime number?
True
Is (-1)/(-3) - (-45640)/42 a composite number?
False
Let v(t) = -t**2 + t + 1. Let u(w) = 23*w**2 + w + 4. Let z(r) = u(r) - 3*v(r). Is z(1) a prime number?
False
Let s = 93 + 35. Let r(f) = 75*f**3 + f + 1. Let h be r(-1). Let m = h + s. Is m a composite number?
False
Is (-1 - -3) + 150/2 a composite number?
True
Suppose -2*h + 63 = -383. Is h composite?
False
Suppose -1 = n, 5*d - 6*d + 2*n + 60 = 0. Let u = 18 + 95. Let a = u - d. Is a composite?
True
Suppose -p = 2*f + 5, 4*f - 4*p = f - 2. Is (-22)/((f - 0)*1) composite?
False
Let w(i) = -i**2 - i - 1. Let q(z) = 6*z**2 + 10*z - 3. Let a(o) = -q(o) - 5*w(o). Let m be a(-6). Suppose 4*n = -4*l + m*l + 454, 0 = 5*l - 5. Is n prime?
True
Let j = 13 - 13. Suppose 0*b - 4 = -2*b. Suppose 4 = b*x - j. Is x prime?
True
Let r(w) = -w**3 - 7*w**2 - 7*w + 9. Is r(-8) a composite number?
True
Let b be ((-2)/4)/((-3)/(-18)). Let k(d) = -3 + 3 + 1 - 18*d - 2. Is k(b) composite?
False
Let s(v) = v**3 + 10*v**2 + 7*v - 8. Let h be s(-10). Let k = h - -225. Suppose 3*t - 6*t = -k. Is t prime?
False
Let r(y) = 9*y - 10. Let f = -18 - -25. Is r(f) a composite number?
False
Suppose -3*p - 3*j + 17 = 2*j, -35 = -3*p + 4*j. Suppose 67 - p = d. Is d prime?
False
Let g(l) = 0 - l + 0 + 0*l + 2. Let h be g(-4). Is 410/h + 8/12 a composite number?
True
Suppose 0*y = -3*b - 2*y + 75, 5*y - 38 = -b. Is b a prime number?
True
Is 4/18 - 676/(-36) a prime number?
True
Suppose 0 = 3*r + 9, 2*r = -2*t + 117 + 559. Suppose 3*b + 4*x - 247 = 0, -b - 3*x = 3*b - t. Is b composite?
False
Suppose 0 = -4*o + 2*t + 230, 2*t + 2*t = 4*o - 240. Let x = o - -238. Is x a prime number?
True
Suppose -2*m - m = -15. Suppose 3*n - 1 = -w, 0 = -4*n + 2*w - 2 - 10. Let v = m - n. Is v prime?
False
Suppose b - 2*b = -1. Is 2*b - (-5)/1 a composite number?
False
Let s = 6 - -3. Is (-2)/6*(-240 - s) a prime number?
True
Suppose 2*p = 3*p + 5*b - 547, 4*p - 4*b = 2236. Is p a composite number?
False
Let y = 50 - -141. Let h = y - 124. Is h prime?
True
Suppose 4*l = -f + 2795, 3*l + 3 = 15. Is f composite?
True
Let v = 5720 - 3115. Is v prime?
False
Suppose -3*b - 4 = -4*f, -3*b - f + 2 = f. Suppose b = 2*v - 4. Suppose 0 = v*s - 0*s - 38. Is s prime?
True
Suppose -2*j = 5*y - 740, y + 2*j - 175 + 19 = 0. Suppose -5*t + 190 = 5*z, -2*t = -4*z - 0*z + y. Is z prime?
True
Let h(m) be the second derivative of m**5/20 - m**4/3 - m**3/6 - 7*m**2/2 + m. Is h(5) a composite number?
False
Let f be (-33160)/(-14) - (-24)/(-42). Suppose 5*k - f = -4*t, 4*t - 1680 - 672 = -k. Is t a prime number?
True
Suppose 0 = -h + 1 + 1. Suppose 5*y = -h*i + 38, 3*i - y = 2*i + 19. Is i a composite number?
False
Let j = -373 + 186. Let c = j - -341. Let m = c - 101. Is m composite?
False
Let h(w) = 8*w - 3. Let b(v) = -16*v + 6. Let o(t) = 2*b(t) + 5*h(t). Is o(3) a prime number?
False
Let m = 637 - -94. Is m composite?
True
Let s(x) = -x + 11. Let z be s(6). Suppose 0 = y + 2*b + 1 + 15, 0 = z*y + b + 71. Is (y - -1)*(-2)/2 composite?
False
Let b(u) = 49*u + 41. Is b(12) a prime number?
False
Let v(d) = -66*d + 11. Is v(-6) composite?
True
Suppose -2765 = 4*y - 9*y. Is y a prime number?
False
Suppose -3*c - d - 5 = c, 2*c = -5*d - 7. Let z be (c - 9*-1)*16. Let l = z - 63. Is l prime?
False
Is 4194 - (-1 - 6/(-3)) a composite number?
True
Let w be 15 + 2 + (-1 - 0). Suppose 0 = -3*t - p + 67, 4*t = -p - 34 + 124. Let g = w + t. Is g composite?
True
Let n(g) = -2*g + 3*g**3 + 3 - 2*g**3 - g. Suppose -4*d = 5*s - 12, -3*s - 3 + 12 = 3*d. Is n(d) composite?
True
Let c = 403 - 241. Suppose -183 = -3*k + c. Is k a prime number?
False
Suppose -2*w + 0*w - 4 = z, 10 = -5*w + 5*z. Suppose 3*x + 4 = 2*x. Is x/2 + (-22)/w prime?
False
Suppose -3219 = -2*j - j. Is j prime?
False
Let x(m) = -m**3 + 4*m**2 - 5*m + 1. Is x(-6) a prime number?
False
Suppose 482 = 3*n - n. Let h = 400 - n. Is h a prime number?
False
Suppose w = -4*m + 639, -4*w + 2516 = -2*m - 2*m. Is w a prime number?
True
Let r(l) = -l**3 + 6*l**2 - 2*l - 1. Let a(b) = -b**3 + 3*b**2 + 2*b - 2. Let f be a(3). Suppose -f = 4*w - 20. Is r(w) a composite number?
False
Let u(p) = -2*p**3 - 16*p**2 + 20*p + 11. Let l be u(-14). Is l/4 - (-5)/20 composite?
False
Suppose 3*v + v = -2*c - 104, 5*v = 20. Let l = 117 + -215. Let f = c - l. Is f composite?
True
Suppose -i = 2*i + 3*c - 15, -2*i = -c + 2. Let r = 10 + i. Is r prime?
True
Let v = -3 - -4. Let g(i) = 4*i**3 - i + 1. Let c be g(v). Suppose -2*y + 72 = c*d - d, 2*d + 199 = 5*y. Is y a prime number?
False
Let y(t) = t**3 - t**2 + t + 2. Let l be y(0). Let m be 523/5 - l/(-5). Let j = m + -28. Is j prime?
False
Let c(y) = 17*y**2 + 5*y + 5. Is c(-4) a composite number?
False
Suppose 7*j = -4*j + 10637. Is j composite?
False
Let f = 411 + -157. Is f a composite number?
Tr