 s(1). Let n = -4 + h. Suppose i + 0*k - 187 = n*k, 3*i - 2*k - 509 = 0. Is i composite?
False
Let l = 5624 - -9723. Is l composite?
True
Suppose -3*l + 3*x = -9, x + 3*x = -2*l - 12. Suppose 3*v + 3*f - 894 = 0, -4*v + l*f = 3*f - 1187. Is v prime?
True
Is ((-28)/6 - (-4)/6) + 2463 composite?
False
Suppose 2*u - 7606 = -888. Is u prime?
True
Let u(m) = m**3 - 4*m**2 - 2*m + 2. Let w be u(4). Let c = w - -6. Let p(q) = -q**2 - q + 83. Is p(c) prime?
True
Suppose 0 = -2*m + t + 8, 0 = 3*m - 2*m - 4*t - 18. Let o be (2 - -1)/(-3) - m. Is 70 - (0 - (4 + o)) composite?
False
Suppose -5*i - 2 = -4*x - 33, -5*x - 20 = 0. Suppose -6*m + 291 = -i*m. Is m composite?
False
Suppose -10*w - 47824 = -4*n - 12*w, 3*n - 35879 = 4*w. Is n a composite number?
True
Let o = -76 + 89. Suppose o*x - 15*x = -362. Is x composite?
False
Let w(v) = 6*v**2 + 7*v + 19. Is w(-24) a prime number?
True
Let m(h) = -h**2 - 2*h + 2. Let i be m(-2). Suppose -11 = i*t - 25. Let u(r) = 4*r**2 - 9*r + 16. Is u(t) composite?
False
Is 6*(-6)/(-9) + 36774/18 prime?
False
Let z = 25089 + 158. Is z composite?
False
Suppose -5*m - 5*v + 215810 = 0, 54897 + 31426 = 2*m + v. Is m a prime number?
False
Let o(p) = p**2 - 14*p - 12. Let r be o(15). Suppose -4*t = -8, 3*y - r*t - 33 = 18. Is y a prime number?
True
Suppose 4*p + n - 10 = 0, 0*p = -p + 3*n - 4. Let r be 1/((-4)/6)*p. Is 2/(-6) - 436/r a composite number?
True
Let f(r) = 29*r + 11. Let a be f(8). Suppose a = -2*t + 881. Is t prime?
False
Suppose 0 = m + 4*l - 34, -5*l + 0*l = 4*m - 81. Suppose 3*u - 2690 = 2*f, u + 3*u - 6739 = 5*f. Is f/(-11) + m/77 composite?
True
Let m = -47 + 51. Suppose -2*t = m*f - 7196, -5*t + t - 16 = 0. Is f composite?
False
Let a be (6/7 + 0)*3031. Suppose -2*t + 1309 = -x, t + 2*x = -3*t + a. Suppose -5*g + g = -t. Is g a composite number?
False
Suppose p = b - 6, 0*b + 5*p - 2 = b. Is 263*-3*b/(-24) a composite number?
False
Is (28/56)/((-5)/(-2464850)) a prime number?
False
Suppose 0 = 4*z - 0*z, -268 = 4*u + z. Let h be ((-108)/15)/((-2)/45). Let v = u + h. Is v a composite number?
True
Let a = 11 + -8. Let m = 41 + -36. Suppose -420 = -m*g + o, -3*g + a*o + 274 = -2*o. Is g a composite number?
False
Let z = 659 + 55. Let y be 1178/5 + (-12)/20. Let i = z - y. Is i a prime number?
True
Let f(x) = -4932*x + 361. Is f(-4) a prime number?
True
Let s = -22 + 25. Suppose -3*x - 23 = -s*t - 65, 3*x = -2*t + 42. Is 1/2 + 7147/x a prime number?
False
Suppose 0 = -0*v + v - h - 13521, 0 = h - 2. Is v a prime number?
True
Suppose -59*r + 52*r = -7707. Is r prime?
False
Suppose -64545 - 1146189 = -54*c. Is c prime?
False
Suppose 177*l - 165*l = 816876. Is l prime?
False
Let b = 6 + 10. Let k = 246 - b. Suppose -z = g - 116, 4*z - k = -2*g + 240. Is z composite?
True
Let f = 7927 + -3812. Is f composite?
True
Let c(l) = 12*l**2 + l + 9. Is c(22) a prime number?
True
Let a(r) = r**3 - 4*r**2 + 2*r + 2. Let v be a(2). Let f be 3 - (v - 6 - 1). Is (201/f)/((-2)/(-8)) a prime number?
True
Suppose 3*v = -2*k + 1, -2*v + 28 = 5*k - 3*v. Suppose -5*y = -0*g - g - 180, -k*y + 2*g + 185 = 0. Let b = 72 - y. Is b a composite number?
False
Let b(l) = 159*l - 25. Is b(1) composite?
True
Let g(v) = -3*v**2 + 9*v - 4. Let l(d) = -11*d**3 - 2*d**2 - 2*d - 1. Let j be l(-1). Let s be g(j). Let u = -123 - s. Is u a composite number?
True
Suppose -10*b + 84738 = -8192. Is b a prime number?
True
Is 2/(-21) - (-28418399)/903 a prime number?
False
Suppose 0 = 2*k - 5*k - 3*o + 33, 2*o - 46 = -5*k. Is (k/16 + -2)*(-1466)/3 a composite number?
False
Suppose 0 = -4*n - 20, 4*y - 5*n - 77 = -32. Suppose y*i + 1 = -3*t, i = -4 + 2. Suppose j = t*d - 19, 3*d - 4*j + 0*j - 13 = 0. Is d a prime number?
True
Suppose -5*w = -1660 - 26225. Let j = 7936 - w. Is j composite?
True
Let z(b) = 158*b**2 - 25*b + 49. Is z(8) prime?
False
Let f(i) be the first derivative of -i**4/4 + 5*i**3/3 - 3*i**2/2 - 2*i - 1. Let s be f(3). Is ((-236)/(-2))/(9 - s) a prime number?
True
Let b(v) = v**2 - 6 + 0 - 1 - 8*v. Is b(-16) prime?
False
Let q = 4530 + 693. Is q composite?
True
Suppose 4*b + 10 = 5*d, 0*b - b = 5*d - 10. Suppose -d*w = 20 - 194. Is w composite?
True
Let z(l) = -1 + 1 + 1 - l + 1151*l**2 + 2. Let m be z(3). Is ((-2)/6)/((-3)/m) a prime number?
True
Suppose -y + 2*x + 6 = 5*x, -y = -5*x + 2. Suppose 6*q = y*q + 6. Suppose d = q*r + 107, 2*r + 3*r = 2*d - 213. Is d a prime number?
True
Suppose 0 = 5*b - 15, 15*a - 2*b + 4088 = 17*a. Is a prime?
False
Suppose 6*d = -d + 14. Suppose -5*j + 3*j = -2*q - 1970, -d*q = 0. Is j a composite number?
True
Let x = 28676 - 16033. Is x prime?
False
Let p = 171 - 169. Let i be ((35*-6)/2)/(-1). Suppose a - i = -p*a. Is a a composite number?
True
Suppose 0 = -0*i + 2*i - 3*y - 6088, 0 = -4*i + y + 12166. Is i prime?
True
Let i = -8286 + 15889. Is i composite?
False
Let k(p) = 16*p**3 + 3*p**2 + p - 2. Let w be k(3). Let i = 15 + -13. Suppose i*j = 6*j - w. Is j a composite number?
True
Suppose j = -4*j - 90. Let g = 18 + j. Suppose g = -8*f + 7*f + 19. Is f a prime number?
True
Let f(b) = 194*b**2 + 1. Let m be f(-3). Suppose 5*z + 2 - m = 0. Let p = -188 + z. Is p prime?
False
Suppose -2*l + 292 = -4*f, 0*l + 3*f + 296 = 2*l. Let i be (-2)/(-4)*l/(-1). Is (i/28)/(2/(-248)) composite?
True
Let k(x) = -x + 304. Is k(11) a composite number?
False
Suppose -23*f + 344440 = -49711. Is f prime?
True
Suppose -8*x = x - 27. Is 487*(x/4 + (-2)/(-8)) prime?
True
Let m = 900 - 274. Suppose -6*g = m - 1772. Is g prime?
True
Suppose 3*y - 2*f - 112 = 0, -3*f + 148 = 4*y - 5*f. Suppose 0 = -5*j + j + y. Suppose -c + 5*g - j*g = -17, 4*g + 168 = 4*c. Is c prime?
True
Suppose -15*k - 15917 + 155312 = 0. Is k composite?
False
Is ((-1142020)/(-132) - (-2)/6) + 5 composite?
True
Let g = 54 + -51. Is (1052 - g - 4) + 4 composite?
False
Suppose -3*j + 0*j = 132. Let m = -18 - j. Is m a composite number?
True
Let w(r) be the third derivative of -65*r**4/24 - 9*r**3/2 - 7*r**2. Is w(-4) composite?
False
Let a be (-1 - 1)*(-15)/10. Let l(s) = 2*s**2 - 4*s + 1. Let z be l(a). Is 10*z - (9 + -6) a composite number?
False
Let z(x) be the first derivative of 2*x**3/3 + 4*x**2 - 13*x + 9. Is z(-16) a prime number?
False
Suppose 0 = g + 6*g - 500297. Is g prime?
True
Suppose 0 = -3*k - 0*k - 4*d + 1531, 0 = -4*d - 20. Suppose 9*q - k = 9266. Is q composite?
False
Suppose -7912 = -w - 15*y + 18*y, -4*w + 5*y + 31641 = 0. Is w a composite number?
True
Suppose -5*h + 24 + 1 = 0. Is 2/(-5) + 6687/h prime?
False
Suppose -3*b = -2*m + 4466, -m = -2*b - 981 - 1995. Is b*(-1)/(-6)*-3 a prime number?
True
Let a = 21 + -17. Suppose 2*n + 3*n + 5 = -a*r, 5*n - 3*r - 30 = 0. Suppose -3*p - 103 = -y, -2*p - 3 = n. Is y composite?
True
Let w(f) = f**3 + 2*f**2 + f - 7. Let k(b) = b**3 + b**2 - 7. Let o(r) = -3*k(r) + 2*w(r). Is o(-9) prime?
False
Suppose 0 = -37*y + 34*y + 6999. Is y a prime number?
True
Let y = 42 - 38. Suppose y*s = 2*p - 0*s - 806, 3*p + s - 1223 = 0. Is p a prime number?
False
Let t(o) be the first derivative of o**3/3 - o**2/2 - 4*o - 4. Let b be t(-10). Suppose -p + b = -13. Is p a composite number?
True
Let k be (0 - 16)/(8/1600). Let o = -1543 - k. Is o prime?
True
Suppose a + 12 = 4*w, -2*a - 2*a + 20 = w. Suppose -o + 3*y - 5*y = -489, -w*y = 5*o - 2457. Is o composite?
True
Let y = 9457 - 5844. Is y prime?
True
Suppose -2*i = 5*y + 27, -3*y + y - 6 = 0. Is 206/4 - i/(-12) prime?
False
Let f(p) = -24845*p - 121. Is f(-6) composite?
False
Suppose 0 = -12*d + 8*d + 76. Let x = d - 19. Suppose x = -3*j + 4*b - 2*b + 783, 5*b = -5*j + 1330. Is j a composite number?
False
Let d(x) = 2 + 10*x**2 + 8 - x + 1 - 4*x. Let o be -4 + -2 + 3 - 3. Is d(o) a composite number?
False
Let u(v) = -950*v + 2. Let y be u(-3). Suppose 5*h - y + 277 = 0. Is h a prime number?
False
Suppose 213665 = 3*r + 4*t, 4*r = 8*r + 4*t - 284880. Is r a composite number?
True
Let n = -33 - -47. Is 0 - (-7)/(n/426) composite?
True
Let m(x) = -241*x - 5. Let s be m(-4). Let d = s - 414. Suppose -h + 6*h = d. Is h a prime number?
True
Suppose -184*d = -173*d - 15389. Is d a composite number?
False
Let l be 0/(-2 + 0 + 4). Let g(b) = b**2 + b - 5. Let o be g(l). Is 1306/o*(-20)/8 a composite number?
False
Let m = 190 + 74. Let g = 897 - m. Is g composite?
T