
Let h(p) be the second derivative of 2*p**4 - p**3/2 - 2*p**2 - 3*p. Is h(3) composite?
True
Let g(p) = 2*p. Let n be 6/(-15) + 12/5. Suppose 0 = n*x + 2*x - 28. Is g(x) a prime number?
False
Suppose 4*r = 2*j - 122, 3*r + 78 = 3*j - 90. Is j a prime number?
False
Suppose -2*j = 3*p - 5*j - 237, -4*j = -3*p + 233. Let u = 31 - 77. Let y = u + p. Is y a composite number?
False
Let l(z) = -26*z - 1. Let m = 0 + -1. Is l(m) composite?
True
Let z be (-1)/4 - 3/(-12). Suppose -3*x - x + 68 = z. Let a = -2 + x. Is a a composite number?
True
Let o(q) be the third derivative of -q**4/24 - q**3/2 - 3*q**2. Let f be o(-6). Suppose 42 + 15 = f*j. Is j prime?
True
Suppose 5*u - 12 = 2*u. Suppose 4*o = -2*v + 3*v - 20, 3*v + u*o + 20 = 0. Suppose 0 = -q - v*q + 7. Is q a prime number?
True
Let k = 3 - 7. Let t be (k/(-10))/(1/5). Is (-7 - -3)*(-1)/t prime?
True
Let x(t) = -8*t**3 - 2*t**2 - 5*t - 4. Is x(-2) a composite number?
True
Suppose 0*u + u = -3. Let q = u - -7. Suppose -5*i = -3*y + 101, -i + q*i = 5*y - 179. Is y a composite number?
False
Suppose -5 = 3*n - 4*n. Suppose -3*z + n*z + 440 = 0. Let f = -114 - z. Is f composite?
True
Let p(w) be the second derivative of -w**5/20 + w**4 + 2*w**3/3 - 7*w**2/2 - 6*w. Is p(6) prime?
True
Let s(c) = -8*c + 20. Let g(f) = -3*f + 7. Let a(v) = 17*g(v) - 6*s(v). Suppose -h = -2*h - 5. Is a(h) a composite number?
True
Let p(g) = -g + 1. Let v be p(-4). Suppose -v*i - 2*x = 1087, -186 - 264 = 2*i - 3*x. Let k = i + 406. Is k a prime number?
False
Let f(t) = t**2 + 10*t + 13. Let m be f(-9). Suppose -m*c = -3*c - 11. Is c composite?
False
Suppose 0 = -f + 39. Suppose -z + 4*z - l - f = 0, 0 = 4*z - 5*l - 52. Is z a composite number?
False
Suppose 6*y = 11202 + 4488. Is y composite?
True
Suppose 0 = -m + x + 4 - 1, -2*x + 6 = 2*m. Is ((-2)/6)/(m/(-711)) prime?
True
Suppose -14*v + 6*v + 944 = 0. Is v a prime number?
False
Let r = 0 - 0. Suppose -i + 4*x = -0 - 22, r = -i + 2*x + 12. Suppose 0 = -i*c - 0*c - 8, 0 = -t - 2*c + 57. Is t prime?
False
Let r = 185 + -130. Is r composite?
True
Let p(o) = 2*o - 8. Let a(w) = -15*w + 55. Let t(i) = -3*a(i) - 20*p(i). Is t(8) prime?
False
Suppose -g + 3*g = -10. Is 5/g*(0 + -23) composite?
False
Suppose 4*z - 887 = 5*y, 0 = -4*z + 2*y + 110 + 792. Let r = 129 - z. Let a = 164 + r. Is a composite?
True
Let f(u) = 40*u - 7. Let n be f(5). Let g = 2 + n. Suppose g = 4*a - 81. Is a prime?
False
Let f be 1338/5*(1 - -9). Is (-2)/(8/f*-3) a composite number?
False
Let q(p) = 8*p + 4*p + 22 - 18 - p. Is q(3) composite?
False
Suppose -8*f + 25*f = 14773. Is f a prime number?
False
Suppose 2*r = m + 1 + 3, r - 3 = 0. Suppose 2*d = -2*j + 116, -m*d - 4*j - 248 = -6*d. Suppose 3*b + b = d. Is b a composite number?
True
Suppose 5*g - 2*g = 0. Let w be (-1)/1*(-2 - -39). Is (w + g/(-1))/(-1) a prime number?
True
Let i(l) = -14*l - 7. Is i(-7) a composite number?
True
Let h(v) = 33*v - 4. Is h(5) composite?
True
Let c(z) = -1. Let o(j) = -26*j + 7. Let m(t) = -4*c(t) - o(t). Is m(2) composite?
True
Let x = 55 + 94. Suppose 3*m = x + 232. Is m a prime number?
True
Let b(l) = -3*l**3 + 2*l**2 - 2*l - 1. Let g(k) = -4*k**3 - k**2 + 9*k + 6 + 3*k**3 - 6*k**2 + 0*k**2. Let f be g(-8). Is b(f) a prime number?
False
Suppose -o + n + 446 = -0*n, 0 = -5*o - 5*n + 2260. Is o a prime number?
True
Let v = 1565 - 554. Is v a prime number?
False
Let b = 8 - 3. Suppose 6*o - o - 10 = -5*g, -5*g + b*o = -30. Suppose 0*q + 237 = 5*i - 2*q, -g = -q. Is i a composite number?
True
Let o(s) = -24*s**3 + s**2 - s - 2. Let n be o(-2). Suppose 5*g - n = g. Is g composite?
True
Suppose 3*z - 5 = -23. Let g = -8 - z. Is (21/g)/(1/(-2)) composite?
True
Suppose -2*p + 8*p + 1110 = 0. Is -1 - (-4 + p + -3) a composite number?
False
Suppose 0 = -5*y + 9*y - 1488. Suppose 5*r + 52 = 797. Let x = y - r. Is x prime?
True
Suppose 3*k = -o + 1157, -4*o - 2*k + 1801 + 2807 = 0. Is o a composite number?
False
Let v(s) = s**2 + 2*s - 1. Suppose 2*k = -0*k - 8. Let c = 12 + k. Is v(c) a prime number?
True
Let j(q) = -q**2 - 4*q - 4. Let g be j(-4). Is 2*(1410/g)/(-5) a prime number?
False
Suppose -r = 4*r - 960. Suppose -3 - r = 5*b. Let u = 74 + b. Is u composite?
True
Let l be (-2)/(-2) + 55 + -2. Let m = l - 17. Is m a prime number?
True
Let n(r) = 2*r**3 - 7*r**2 + 5*r - 1. Let m(o) = 2*o**3 - 7*o**2 + 4*o. Let p be -4 + -2 + 3 - -1. Let a(w) = p*n(w) + 3*m(w). Is a(5) composite?
True
Suppose -f = 2*b + 6, 2*f - 4*b + 24 = -2*f. Let c(j) = j**2 + 5*j - 2. Let m be c(f). Suppose -2*l = l - m*y - 38, -26 = -3*l - 2*y. Is l a composite number?
True
Let x be (1/(-4))/((-3)/24). Suppose 0 = -3*k + 2*m + 4, k - 16 = -m - x*m. Suppose -4*h + d + 71 = 2*d, k*d - 56 = -4*h. Is h a composite number?
False
Let m(t) = -t + 2. Let z be m(-2). Suppose 2*d - 3*d = -4*n - 149, z*n + 745 = 5*d. Is d composite?
False
Suppose 4*n - 23 + 7 = 0. Suppose n*h - h = 159. Is h a composite number?
False
Suppose u = -0*s - 2*s + 653, -3*u + 3*s = -1968. Is u composite?
True
Suppose -2*l = -5*q + 9 - 4, -5*l + 28 = q. Suppose -c + 148 = q*c. Is c a prime number?
True
Suppose -2*w = -0*w - 194. Is w prime?
True
Let w(m) = 0 - 5*m**2 - 5*m - 7 + 4*m**2 + 1. Let x be w(-6). Is ((-30)/4)/(6/x) prime?
False
Let t = 11 - -2. Suppose -4*x - 3*o + 17 = 0, -2*x - 2*o + t = o. Suppose -4*v = -0*u - x*u - 148, v = -3*u + 23. Is v composite?
True
Let j be 1000/45 - (-2)/(-9). Suppose -d + 0 = -j. Is d a prime number?
False
Let z(i) = 6*i**2 + 3*i - 10. Is z(3) prime?
True
Suppose -2*a - 5*m + m + 324 = 0, 0 = -m + 2. Suppose -4*z + 2*y = -a - 74, 0 = 5*z + 2*y - 299. Is z composite?
False
Suppose 144 + 48 = 3*i. Let w = i - 30. Is w a prime number?
False
Suppose -2*o - 8 = -2*c - 0*o, -4*c + 2*o + 18 = 0. Suppose -w - b = -90 + 28, -c*b = -3*w + 194. Let u = -16 + w. Is u prime?
True
Let b(m) = 10*m**2 + m + 1. Let v(z) be the first derivative of -z**4/4 + 2*z**3 - 2*z**2 - 3*z - 2. Let t be v(5). Is b(t) prime?
True
Let f = 20 + -13. Suppose f*t - 3*t + 2*p - 118 = 0, -5*t - 4*p = -143. Is t prime?
True
Let l(a) = 182*a**2 - 1. Let u be -1*2*7/(-2). Let j = -6 + u. Is l(j) a composite number?
False
Let j be 3/(-6)*6 - -10. Let s(m) = 3*m - 10. Is s(j) prime?
True
Is -1 + (3 - 3) + 380 a prime number?
True
Let w = 27 - 11. Let o be 4*2*(-6)/w. Let n = 40 + o. Is n composite?
False
Suppose 0 = -b - 5*d + 22, 5 = b + 3*d - 9. Let p(f) = -6 - 4*f - 2*f - b*f. Is p(-4) prime?
False
Let g(c) be the second derivative of c + 1/6*c**3 + 0*c**2 + 13/2*c**4 + 0. Is g(-1) a composite number?
True
Suppose -5*x + 3 + 7 = 0. Suppose -x*g + 5 = 3*g. Is g/3*0 + 7 a composite number?
False
Let v(c) = c**3 + 5*c**2 + 3*c + 1. Let p be v(-4). Suppose -p*d + 2*x + x + 905 = 0, -3*d + 543 = -5*x. Is d a prime number?
True
Let j(b) = 22*b**3 - b**2 - 9*b + 43. Is j(6) prime?
False
Suppose 4*c - 3*c - 26 = 0. Is c a composite number?
True
Suppose -4*s - 12 = -0*s. Let i(d) = -d - 3. Let q be i(6). Is (-96)/q - 1/s composite?
False
Suppose -7*d = -9*d + 502. Is d a prime number?
True
Let u = -665 - -1167. Is u prime?
False
Let r be 1 + 1 + 1 + -1. Is 36 - (8/r - 3) prime?
False
Let y = 29 + 39. Suppose -y - 72 = -5*w. Suppose -a = -5*a + w. Is a a composite number?
False
Let k = -6 - -14. Suppose 3*t - 41 = s - k, 2*s - 5*t + 64 = 0. Let r = s + 86. Is r prime?
True
Suppose 0*l = l - 1. Let m be ((-2)/6)/(l/(-114)). Is (-6)/(-2) + (m - 4) prime?
True
Let q(p) = p**3 + p**2 - 4*p**2 - 4*p + 4*p**2 + 5*p - 35. Let d be q(0). Let z = -20 - d. Is z prime?
False
Let j = 7 - 4. Suppose -63 = j*q - 4*q. Suppose -q = -4*z - 3. Is z prime?
False
Let v(l) be the third derivative of -l**6/120 - l**5/20 + 3*l**4/8 + l**3 + 6*l**2. Is v(-9) a composite number?
True
Let x be (10/(-25))/((-2)/(-440)). Let i = 177 + x. Is i composite?
False
Is -1 + -1 + 39*51 composite?
False
Let s(h) = -10*h**3 + 2*h**2 + 4*h + 3. Is s(-2) a prime number?
True
Let c(j) = 16*j**2 - 2*j - 19. Is c(9) prime?
True
Suppose u - 370 = 6*u. Let b = -39 - u. Is b a prime number?
False
Is 652/2*(-3)/(-24)*4 a prime number?
True
Let a = 124 - 65. Is a composite?
False
Is ((-127)/3)/((-2)/6) composite?
False
Let h(b) = 291*b. Let c be 1 + 0/2*-1. Is h(c) a composite number?
True
Suppose 493 = 9*g - 8*g. Is g a composite