) composite?
True
Let k(j) = -j**2 + 6*j - 5. Let d be k(5). Suppose d = -0*w + w - 47. Is w composite?
False
Suppose 0 = -r - 0 + 2. Suppose -230 + 76 = -r*m. Is m prime?
False
Let l(u) = u**2 + 11*u + 14. Let c be l(-10). Let i(r) = r**3 + 5*r + 3. Is i(c) composite?
True
Let i = 5885 - 3214. Is i prime?
True
Let u(b) = b**3 - 2*b**2 - b + 1. Let d(z) be the second derivative of -z**5/20 + z**4/6 + z**3/6 - z**2/2 + 3*z. Let q(j) = -4*d(j) - 3*u(j). Is q(3) prime?
True
Let o = 532 - 201. Is o a prime number?
True
Let w(y) = -27*y - 17. Is w(-6) composite?
True
Let o = 335 + -120. Is o a composite number?
True
Suppose -48 = -4*x + r, 0 = 4*x + 4*r + r - 72. Is x prime?
True
Is 52/(-39) - 4070/(-6) prime?
True
Let x be 1/(-2) + 2/4. Suppose x = 2*z - 2 - 0. Is 120/(2/z) - 1 a prime number?
True
Let t(y) = y**3 - 4*y**2 - y - 6. Is t(5) a composite number?
True
Suppose 0*z = 5*z - 95. Let j = 38 - z. Is j prime?
True
Suppose -4*l + 228 = u + u, -5*u - 242 = -4*l. Suppose l = s - 355. Is s a prime number?
False
Let a be (6/(-9))/(4/(-18)). Suppose 2*l = -2*k, 0 = l + a*l + 3*k - 3. Suppose -2*f = 3*x - 115, 6*f - l*f + 68 = 2*x. Is x prime?
True
Suppose 2*z = -3*z + 10. Suppose -2*o + 4*j - 3*j + 70 = 0, 0 = 5*o + z*j - 166. Is o a composite number?
True
Let c = 1863 + -341. Is c composite?
True
Suppose u - 2*u + 5*v + 70 = 0, u - v = 86. Is 11/(11/u) - 1 composite?
False
Suppose -4*y + 334 = -3*y. Let s = y + -207. Is s a prime number?
True
Let p(z) = 3*z**3 + 1. Let w be p(1). Suppose 2*s + 1381 = w*q - 3*s, -5*q + 1710 = -3*s. Is q a prime number?
False
Suppose 0 = 2*z + 3*z - 3*f - 30, 2*z + f = 1. Suppose -2 = z*i - 8. Suppose 0 = 2*x + i, -x - 64 - 11 = -2*c. Is c a composite number?
False
Let b(z) = 768*z**3 + z**2 - z - 3. Is b(2) a prime number?
True
Let r = 85 - -10. Is (r/(-10))/((-2)/44) a composite number?
True
Let s(p) be the second derivative of -70*p**3/3 + 3*p. Let c be s(-1). Suppose 2*z = -2*z + c. Is z a composite number?
True
Suppose 7 = -h + 16. Suppose 5*q - 2*q = h. Suppose 5*r + 2*m - 108 = 221, -3*r + q*m + 210 = 0. Is r a composite number?
False
Let v = 14 - 10. Suppose -1 = -5*a + v*a. Let k(c) = 35*c**3. Is k(a) prime?
False
Suppose 194 = -7*t + 9*t. Is t composite?
False
Let f(q) = q**3 + 6*q + 4. Let h be f(5). Let m = h + 128. Is m a composite number?
True
Let y = -5 + 4. Let j = y + -3. Is ((-106)/(-4))/((-2)/j) composite?
False
Let z = -6 - -8. Let k be (z + 0)/(1/2). Suppose -2*y + y + 5*m + 13 = 0, 3*y = k*m + 39. Is y prime?
True
Suppose -3*z + 14 + 10 = 0. Let r(x) be the second derivative of x**4/12 - 4*x**3/3 + 3*x**2 + x. Is r(z) prime?
False
Is (-1)/(-7) + 7092/42 composite?
True
Let x be ((-12)/(-18))/(4/30). Suppose x*o = 4*o + 19. Is o composite?
False
Let v(j) = -j**3 - 5*j**2 - 4*j + 3. Let z be v(-4). Suppose -4*l - y + 241 = 0, -z*y + 26 + 107 = 2*l. Is l prime?
True
Let n(k) = k. Let a(c) = 3*c + 1. Let q(p) = -a(p) - 5*n(p). Let s be (-4)/10 + (-3)/5. Is q(s) prime?
True
Let j = -141 - -410. Is j prime?
True
Let h(d) = 90*d - 1. Let v = 12 + -11. Is h(v) prime?
True
Suppose 5*u = -4*t + 11045, 4*t - 11035 = -0*t - 3*u. Suppose -4*v + t - 87 = 0. Is v prime?
False
Suppose -2*o + 46 = -56. Suppose -4*g = -5*p - 783, -339 = -2*g + 2*p + o. Suppose 187 = 2*j - 5*c, c - 80 - g = -3*j. Is j prime?
False
Let o(r) = r**3 + 10*r**2 + 2*r - 8. Is o(-9) prime?
False
Let p(w) = -15*w**2 - 16*w - 27. Suppose -4*k = -3*z - k + 15, 2 = 2*k. Let t(q) = 7*q**2 + 8*q + 13. Let j(c) = z*p(c) + 13*t(c). Is j(-8) prime?
True
Let j be -1 + (9/(-3))/3. Let l be (-14)/(-4) - (-1)/j. Suppose 4*h + 5*z - 10 = 28, 0 = -l*h + 4*z + 13. Is h composite?
False
Suppose -3*j + y - 14 = -4, -5*y = -5*j. Let r(x) = -2*x + 6. Let a be r(4). Is j*((-6)/a + -16) prime?
False
Let m = 238 + -92. Suppose 4*u + 0*w - 182 = -w, -4*w - m = -3*u. Is u prime?
False
Let c be ((6/3)/2)/(-1). Is (3 + -1)*c*-19 a composite number?
True
Is (-3 - 138/9)*-3 prime?
False
Suppose t = 3*f + 2*t + 172, 104 = -2*f + 2*t. Let l = 94 + f. Is l prime?
False
Let b(a) = 54*a + 3. Let o be b(-5). Is (-6 + 28)*o/(-6) composite?
True
Let n be (6 + -2)*(-12)/(-3). Let w be 8 + -1 - n/8. Suppose 0 = w*g + 4*l - 83, -2*g - g + 35 = -5*l. Is g a composite number?
True
Let t be ((-2)/(-4))/((-1)/(-10)). Suppose t*k + 7 = -13. Is (-374)/(-8) - 1/k composite?
False
Suppose -6*s + 182 = -4*s. Is s prime?
False
Let j(o) = o**3 - 4*o**2 + 10*o + 11. Is j(8) composite?
False
Let x(d) = 8*d - 27. Is x(23) a prime number?
True
Suppose 2*f = 235 + 411. Is f composite?
True
Let d(h) = 464*h + 1. Is d(2) composite?
False
Suppose 2*r = -h - 2, 5*h - 5*r + r = 18. Suppose -3*u - 9 = 0, 2*l - 64 = -h*l + 4*u. Is l a prime number?
True
Let k(y) be the third derivative of y**6/120 + y**5/30 + y**3/3 + y**2. Is k(3) a prime number?
True
Let a(o) = 20*o**2 + 11*o + 1. Is a(6) a composite number?
False
Suppose -3*t = 4*n - 3956, t = 4*n - 4*t - 3956. Is n a prime number?
False
Let s(u) = u**3 - 6*u**2 + 4*u + 5. Let r be s(5). Suppose -3*o + 21 = -r*j + j, 0 = 5*j + 4*o - 50. Is j composite?
True
Let x = 30 - -8. Suppose x = 4*d - 2*d. Is d composite?
False
Let h(a) = 29*a. Let d be h(2). Let j = d + -19. Is j prime?
False
Let d(j) = 3*j**2 - 3*j - 5. Let g(x) = x**2 - 7*x - 4. Let s be g(8). Suppose -2*c - s*u - 12 = 3*c, 3*c = -4*u - 4. Is d(c) prime?
False
Let f(b) = 5*b**2 - 1. Let v be f(-1). Is 214/v + 3/(-6) a composite number?
False
Is -4*(-4 - 193/4) a prime number?
False
Suppose 5*l + 232 = 52. Let k = -15 - l. Is k a composite number?
True
Let h(b) = -2*b + 1. Let n be h(-3). Suppose -2*y + n*y = 300. Suppose 7 + 11 = 4*t + 2*v, -5*t + 5*v + y = 0. Is t a composite number?
False
Let o(w) = -w**3 - 2*w**2 + 2*w + 2. Let q be o(-3). Let y = q + -3. Suppose 4*j - 17 = -f, f + 4*j = y*f - 49. Is f prime?
False
Let c(j) = -j - 8. Let i be c(-12). Suppose 0 = -8*d + i*d + 1324. Is d a composite number?
False
Is ((-6)/(-9))/((-4)/(-3126)) composite?
False
Let y(t) = 38*t**2 - 1. Let u(p) = -p. Let k be u(1). Is y(k) a prime number?
True
Let u be 5929/35 - (-4)/(-10). Suppose -4*a = -5*q + u, 0*a + 152 = 4*q + a. Is q prime?
True
Let j = -392 - -769. Is j prime?
False
Let z be (13 - 9) + (-2 - 1). Is (-1*z)/(2/(-142)) prime?
True
Suppose 4*l = -2*p + 54, 3*p + l = p + 45. Is p a prime number?
False
Let d(s) = -s**3 + 5*s**2 - 5*s + 4. Suppose 3*z - 4 = 8. Let g be d(z). Suppose g = -0*w - 2*w + 130. Is w composite?
True
Let b(h) = -9*h - 10. Suppose -2 - 5 = q. Is b(q) a prime number?
True
Let b(d) = d**3 - 5*d - 9. Is b(10) a composite number?
False
Let c(h) = 0*h + 5 + 5*h - 2 + 2. Let u be c(5). Suppose -5 + u = j. Is j composite?
True
Let z(p) = -p**3 - 2*p**2 - 5*p - 9. Let l(u) = u**3 + u**2 + 4*u + 10. Let r(f) = 2*l(f) + 3*z(f). Is r(-5) composite?
False
Let w(f) = f**2 + f. Let l be w(-2). Suppose -d = l*g + 3*g - 481, 113 = g - 4*d. Is g composite?
False
Suppose 15 = 2*b + b. Let w(t) = 49*t + 6. Is w(b) prime?
True
Let h(t) = 2*t**2 + 2. Let x be h(-2). Let g be 45/x + (-2)/(-4). Suppose -g*n - 28 = -2*i, 56 = 4*i - 0*n - 3*n. Is i a prime number?
False
Let b(h) = -10*h. Let c be b(-6). Let k = -17 - -48. Let r = c + k. Is r prime?
False
Let i(b) = -b - 5. Let u be i(-11). Is u/9 + (-709)/(-3) prime?
False
Suppose -4 = -2*i + 2. Suppose i*n = -v, 4*v - 1 = 5*n + 16. Is (-36 + 3)*(0 + n) a prime number?
False
Let m = -300 - -463. Is m composite?
False
Let d(w) = -11*w - 22. Is d(-19) composite?
True
Suppose m + 366 + 406 = 0. Let l = m + 1325. Is l prime?
False
Suppose -3*v = 2*v - 25. Suppose 74 + v = j. Suppose 2*x - 3*x = -j. Is x a composite number?
False
Let l = 2616 + -1670. Suppose -5*o + 639 = -l. Is o prime?
True
Let j = 42 - 7. Is j prime?
False
Let d be 1/(1/(-2)) + 12. Let z = d - -6. Let r = z - 6. Is r a prime number?
False
Let h be -3 + (2 - 0 - -3). Is 2/(4/h) + 118 composite?
True
Suppose 0 = 3*s - 737 - 160. Is s a composite number?
True
Let m = 52 - -325. Is m composite?
True
Let l(c) = -c**3 + 11*c**2 + c + 12. Let u = -55 + 77. Suppose m - u = -m. Is l(m) a composite number?
False
Suppose y - 6*y = -160. Let q(b) = b**2 + 3*b + 1. Let u be q(-4). Suppose 4*j = -5*z + 94 - y, u*j + 5 = 2*z. Is z a composite number?
True
Suppose -3*v + 4 + 5 = 0. 