True
Let z(i) be the first derivative of -17*i**4/4 - 2*i**3/3 - 2*i**2 - 2*i + 7. Is z(-2) a prime number?
False
Suppose -10 = 5*d, -9*h - 3*d + 8629 = -4*h. Is h composite?
True
Let s be (-1 - -16) + -8 + 4. Suppose 12*q - s*q - 72 = 0. Let f = q - -275. Is f prime?
True
Suppose 3*c = 6*c - 513. Suppose -4*n = -4, 0*z + 2*z - c = n. Is z prime?
False
Let j(t) = t**2 + 6*t - 4. Let g be j(-7). Suppose -90 = 3*l + 4*z - 2*z, 2*l = g*z - 73. Let v = l - -115. Is v prime?
True
Suppose -5*k - 2*q + 662 = 0, k - 5*q = 93 + 34. Let f be k*(9/(-12))/(-1). Suppose f = -0*r + 3*r. Is r a prime number?
False
Suppose 2*l + 5*p = 61 + 561, 0 = -l + 4*p + 285. Is l a composite number?
True
Is (11298/(-9))/(24/(-36)) prime?
False
Let j(x) = 346*x**2 + 6*x - 3. Is j(-4) a prime number?
False
Let x(a) = 7*a**3 + a**2 + a - 2. Let j be x(2). Suppose l = -4*p - p + 45, 5*p - 2*l = j. Is -9 + p - (0 + -84) a prime number?
False
Let a = 3 + 3. Suppose -a = 3*k - 9. Is ((-6)/24)/(k/(-1916)) a composite number?
False
Let f be (-44)/10 + 1 - 36/60. Is (-4 - -5)*(-716)/f a prime number?
True
Let f be 1993/(-7) - (-2)/(-7). Let w = 664 + f. Suppose 2*a = -o + w, a = 5*o + 77 + 85. Is a composite?
True
Let s = 29 - -1. Let g = 32 - s. Suppose 0 = -g*o - o + 33. Is o a prime number?
True
Let p = -235 - -425. Suppose 0 = -c - 2 + 1. Is p + -3 + -1 - c prime?
False
Let k(j) = -11*j - 15. Let m(f) = f**3 - 2*f**2 - 2*f + 4. Let r be m(3). Suppose -x - r + 1 = 0. Is k(x) a prime number?
False
Let b(y) be the second derivative of y**5/60 + 209*y**3/6 + 5*y**2/2 + 3*y. Let f(c) be the first derivative of b(c). Is f(0) a prime number?
False
Let t = 248 - -184. Suppose 2*v = v - 254. Let f = t + v. Is f prime?
False
Suppose 7*c - 9 = 4*c, c = o - 28556. Is o a prime number?
True
Suppose w = -13 + 3. Let l(a) = -a**2 - 12*a - 13. Is l(w) a composite number?
False
Is (0 + -3)*250175/(-75) a composite number?
False
Suppose 4*o - 4 = 64. Suppose o*y = 27*y - 1870. Is y a prime number?
False
Let r be ((-32)/(-20) + -1)*5. Suppose -r*k - k = -8, 0 = 4*z - 3*k - 2030. Is z a prime number?
True
Suppose 21130 = 9*m - 6851. Is m a prime number?
True
Suppose 519 = j + 2*a - a, -519 = -j + 5*a. Is j a prime number?
False
Let x = 29720 - 4939. Is x composite?
False
Suppose 2*y + 4*v = 35604 + 3082, -2*y - 3*v = -38691. Is y composite?
True
Suppose -x = -73 + 19. Is (x - -103)*(-1 + 0 + 12) a prime number?
False
Let r be -4 + (-24)/(-4) + 12. Let g(u) = 2*u**3 - 8*u**2 + 14*u - 5. Is g(r) a prime number?
True
Let t(q) be the first derivative of q**3 + 5*q**2 + 7*q - 1. Let n be t(-7). Is n - -1 - (-2 - -1) a prime number?
False
Let y be 5 - (8 + -4) - -3. Is ((-2)/y)/((-1)/638) a composite number?
True
Suppose 0 = 4*z + 4, 4*z - 2712 = -2*v - 2*v. Is v composite?
True
Let v(n) be the second derivative of 45*n**4/4 - n**2/2 - 10*n. Is v(1) prime?
False
Let f(p) = 3371*p**2 - 2*p - 2. Is f(-1) prime?
True
Let o(v) = 47*v**2 + 8*v + 22. Let j be o(-7). Let c = 5010 - j. Is c a prime number?
True
Suppose i + i - 6 = r, -4*r = 2*i - 6. Suppose r = -5*t + 9*t. Suppose t = 2*x - 6, 3*p - 4*x - 528 = -x. Is p a prime number?
True
Let o be 0 - (8 - (-4)/(-4)). Let w(p) = 22*p**2 + 10*p + 1. Is w(o) composite?
False
Suppose -3*z + z - 8 = 0. Let c be -4 - 377*4/z. Let h = 690 - c. Is h composite?
False
Let v = 28 - 28. Suppose -l + 2*o - 60 + 335 = v, 0 = -5*l - 3*o + 1427. Suppose l = 4*n - 313. Is n prime?
True
Let f be 219/(-5) - (-4)/(-20). Let x be 4/(-10) - f/10. Suppose 4*h - 208 = 3*m, x*m + 6 = 22. Is h a prime number?
False
Let p(t) = 520*t**2 - 63*t + 46. Is p(11) a composite number?
False
Let i = 509611 + -265188. Is i composite?
False
Let i(k) = 5*k. Let y be i(1). Suppose y*q - 4062 - 3378 = 0. Is (2/(-6))/((-8)/q) prime?
False
Let s(i) be the second derivative of i**4 - 2*i**3 + 5*i**2/2 + 7*i. Is s(19) composite?
True
Is 6448 + -32 + ((-2)/2)/1 a prime number?
False
Suppose -3*v + 15 = -3*p + 237, -83 = -p - 2*v. Is p*10 - 4/4 prime?
True
Let t = -10 - -5. Let s = 7 + t. Suppose s*n - 515 - 459 = 0. Is n composite?
False
Suppose 1218 = n - 4*f, 3*f = -5*n + f + 6090. Suppose -p + 1203 = -h - h, h - n = -p. Is p a composite number?
False
Let l(y) be the third derivative of -1/6*y**3 - 3/4*y**4 + 0 + 0*y - 8*y**2. Is l(-9) prime?
False
Suppose -3*i = 3*s - 2213 - 48511, 4*i - 67637 = s. Is i a prime number?
False
Suppose 4*c + 35 = 3*k + 2*k, 5*k + 4*c = -5. Suppose 2*m - m = -5, -m = h - 440. Suppose -167 = -3*a - k*i + 100, -3*i = 5*a - h. Is a composite?
False
Suppose -4*z = -4*r + 10476, -3*z + 1 = 7. Suppose r = h - 4*v, 5*v + 2 = -8. Is h prime?
True
Let c be (4/(-5))/((-6)/(-15)). Let l(s) = -16*s**2 + 5*s + 5. Let r be l(c). Let m = r - -122. Is m composite?
False
Let t = -15 + -1. Let l = 18 + t. Suppose -3*a - 5*h + 299 = 0, l*h + 17 = -2*a + 211. Is a prime?
False
Let d(i) = -i**2 - i. Let r(z) = -2*z**2 - 2*z. Let l(w) = -5*d(w) + 3*r(w). Let c(t) = 8*t**2 - 2*t + 1. Let g(a) = c(a) + l(a). Is g(5) prime?
False
Suppose 3*t + 1015 = -893. Let n = -317 - t. Is n a composite number?
True
Let o(d) = 3*d - 3. Let j be o(2). Suppose 0 = 3*i + 5*c - 235, 0 = j*i - 0*i + c - 215. Suppose 5*y - 40 = i. Is y composite?
True
Suppose 156497 + 36465 = 98*y. Is y prime?
False
Suppose 2*q - q - 4*y - 35 = 0, -2*q + y + 42 = 0. Let u = q + -22. Is (-388)/16*(u - 1) prime?
True
Suppose -5*f - 2*c = -47633, -f = -0*f + c - 9526. Is f composite?
True
Let l(o) = -o**3 - 8*o**2 + 10*o + 8. Let d be l(-9). Is d - (-6)/4*428 composite?
False
Let d be (3 + -7)*(3 - 4). Let p be (-9)/7 - d/(-14). Let f(y) = -112*y + 3. Is f(p) prime?
False
Let u = 9 + -10. Let h = u - -1. Suppose -4*f - 33 = -h*j - j, -24 = -j + f. Is j composite?
True
Let o be 87/(-12) - (-2)/8. Suppose 67*s - 61*s = -42. Is o - (4 + s) - -81 a prime number?
False
Suppose 6*x = -1353 + 7803. Suppose -4*a = -9*a + x. Is a prime?
False
Let y = 14 + -26. Let z be 3/(-5) - y/20. Suppose -l + 3*j + 39 + 118 = z, 2*l - 294 = j. Is l a composite number?
True
Let w be 3/((-21)/2)*-7. Suppose -w - 172 = -3*i. Let k = 123 - i. Is k composite?
True
Let s(t) = -t - 1. Let u(x) = 13*x**2 - 3*x - 2. Let p(m) = 3*s(m) + u(m). Let d = -16 - -10. Is p(d) a composite number?
False
Suppose 5*k = 2*k - 6. Let r = -9 - k. Is 2/r - (-405)/21 composite?
False
Suppose -s = -4*z + 291024, -83*z + 78*z + 363795 = -5*s. Is z a composite number?
True
Let y be (-1)/5*(-2 - 3). Suppose 3 + y = 4*h. Let t(p) = 498*p**3 + p**2 + p - 1. Is t(h) prime?
True
Let j(n) = -2*n + 11. Let u be j(8). Let z(p) = -3*p**3 + 5*p**2 - 9*p + 8. Is z(u) composite?
True
Let w = 59 - 69. Is 8/20 + (-4666)/w a prime number?
True
Let z(j) = -126*j**3 + 10*j**2 + 2*j + 29. Is z(-8) a prime number?
False
Suppose 7*m - 23 = -2. Let r(x) = -4 + 2 + 3*x + 50*x. Is r(m) a composite number?
False
Let k = -15 + 27. Let a = k - 12. Suppose a = -2*b + 52 + 22. Is b prime?
True
Let a(n) = -3*n**2 + 2*n - 3. Let z be a(2). Let f = -6 - z. Suppose -584 = -f*j + 231. Is j prime?
True
Let t be (4/((-4)/(-2)))/(2/1065). Suppose -h = -4*u - t, -3*u = -3*h - 8*u + 3127. Is h composite?
False
Let m = 16 - 13. Let l be m*(2/3 + 0). Suppose r - 70 = p, l*p + 328 = 5*r - 13. Is r a composite number?
False
Let p be -8 + 13 - -2 - 4/2. Suppose -p*l = b - 3*b + 232, -105 = -b - 3*l. Is b a composite number?
True
Let n(m) = 3*m + 4. Let o = -2 - -7. Let f be n(o). Suppose -5*z + f = -36. Is z a composite number?
False
Let a(j) = 4391*j - 47. Is a(3) prime?
False
Suppose 0 = 6*s - s - 45. Let i(t) be the third derivative of -t**4/24 + 11*t**3/6 - 3*t**2. Is i(s) prime?
True
Let m(n) = -n**3 - 7*n + 7*n + 0*n**2 + n**2 + 5. Let q be m(0). Suppose q*o - 1657 = -4*w, -2*o = -2*w - 0*w - 652. Is o a composite number?
True
Suppose 2*a = 3*j - 662, -j - 2*a + 228 = a. Let d = j + 117. Is d prime?
False
Let r(t) = -23 + 21 - 9 + 31*t. Is r(12) a composite number?
True
Let g(u) = 53*u**3 - 3*u**2 + 49*u - 7. Is g(8) prime?
True
Let u = 101 - 101. Suppose 3 = 3*r - 3. Suppose u = -5*z + 3*o + 419, o + 0 = r. Is z prime?
False
Suppose j - 4*m = 10656, 3*j + 3*m - 31942 = 2*m. Suppose 5*v - j = -4*n + 3*v, 5*n = 3*v + 13299. Is n a prime number?
False
Let o(p) = -88*p - 15. Let b be (-2)/((9/2)/9). Is o(b) prime?
T