n = s - 307. Is n a prime number?
True
Suppose -3*t - 2*x - 1 = 33, -t - 3*x = 23. Let y(n) = -n**2 - 8*n - 7. Let f be y(t). Let k(d) = -2*d**3 - 9*d**2 - 8*d + 6. Is k(f) composite?
False
Suppose 0 = -3*t - 13*t - 3728. Let d = t + 1524. Is d a composite number?
False
Let m(y) = -3*y**3 + 11*y**2 - 13*y - 166. Is m(-15) prime?
False
Let i(l) = 3*l - 4. Let u be i(2). Suppose 0 = 2*b + u*b + 4, -5*b - 3553 = -4*t. Is t composite?
False
Let r = -765 - -504. Let o = 564 + r. Is o composite?
True
Let k = -70 + 38. Let s = k + 85. Is s a prime number?
True
Let o(d) be the second derivative of 43*d**4/6 + d**3/2 + d**2 + 5*d. Is o(-3) composite?
True
Let d = 212892 - 121193. Is d composite?
True
Let b = -400 + 483. Suppose -t - 375 = -0*k - k, -15 = -5*t. Suppose b = -5*p + k. Is p composite?
False
Suppose 33*q = 26*q + 7483. Is q prime?
True
Suppose -2*v + 129 = 2*x - 5*x, v - 5*x = 68. Is ((-1554)/v)/(2/(-3)) composite?
False
Suppose 48*q + 59313 = 53*q + 4*d, 23726 = 2*q + 2*d. Is q a prime number?
False
Let k(b) = 936*b + 35. Let j(u) = 234*u + 9. Let f(o) = -9*j(o) + 2*k(o). Is f(-5) a composite number?
True
Suppose 105836 = 817*f - 813*f. Is f prime?
True
Let c(w) = w**2 + 15*w - 2. Let b be c(-27). Suppose 0 = d - 73 - b. Is d a composite number?
True
Let u = 8039 + 32414. Is u a prime number?
False
Suppose 5*d = 4*d + 569. Suppose 4*j - d = 323. Is j a prime number?
True
Is (-130455)/(-3) - 72/18 a prime number?
True
Suppose 26 = -0*r - r. Let y be (-4)/r - (-82)/(-26). Let m = 488 + y. Is m a prime number?
False
Let h(v) = 4*v**3 + 3*v**2 - 21*v - 11. Is h(7) a prime number?
True
Let d be ((-3)/2)/(12/(-24)). Let k(c) = -c**3 + 5*c**2 - 5*c + 2. Let f be k(d). Suppose f*j - 6*j + 226 = 0. Is j composite?
True
Suppose 0*v = -3*v + 39. Suppose 8*q + 1670 = v*q. Is q a composite number?
True
Let w be 2 - (2 - -1) - -1. Let a = w + 2. Suppose 5*p - 1300 = -5*s, -5*p = -4*s + a*s + 513. Is s composite?
True
Let l(k) be the first derivative of -3*k**2/2 - 18*k + 11. Let n be l(-9). Suppose -5*o = -n*o + 76. Is o composite?
False
Suppose 0 = 21*d - 29*d + 2400. Let m = 37 + d. Is m prime?
True
Suppose 392*s = 382*s + 1346690. Is s composite?
False
Let f(d) = d**2 - 10*d + 2. Let c be f(10). Suppose -96 = -s - 4*u - 9, c*u - 278 = -4*s. Is s composite?
False
Is ((-260370)/77 - 8)/(2/(-7)) a prime number?
True
Suppose 3*d = 4*a - 2930, 1874 = 2*a + 2*d + 416. Is a a prime number?
False
Suppose -4*y + 6 = -2*y. Suppose w - 3580 = -y*w. Suppose x + 4*x - w = 0. Is x a prime number?
True
Let q = 36958 - 13841. Is q a prime number?
True
Let h(j) = j**3 - 10*j**2 + 4*j + 29. Is h(11) a composite number?
True
Suppose -69 = 2*s - 5*s. Suppose s*o = 19*o + 12812. Is o a prime number?
True
Let w(q) = 65*q**2 - 61*q - 77. Is w(-16) a composite number?
False
Suppose 6 = -a + 5*s + 30, 0 = -5*a + s + 24. Suppose -a*j + 4401 + 371 = 0. Is j prime?
True
Suppose 5*t + y - 12 = 0, 4*y = -t + 2*y - 3. Suppose -9 = -t*o, -3*m = -2*m + 4*o - 1331. Is m prime?
True
Suppose 38*f - 497830 = 28*f. Is f a prime number?
True
Suppose 4*o - 681630 = 443126. Is o prime?
True
Let w be (4 - 6) + -2 + 9. Suppose -4*u + 1024 = 4*d, -u - 3 = -w. Suppose 4*r - 5*r = -d. Is r prime?
False
Let n be -2*1 + 112/7. Let q = -10 + n. Suppose -85 = q*s - 825. Is s prime?
False
Let f(g) be the third derivative of 47*g**5/30 + 5*g**4/24 + 4*g**3/3 - 12*g**2. Is f(-3) a prime number?
True
Suppose 13*j = 22*j - 143037. Is j a prime number?
False
Is (-11)/11 + 4198 + -2 composite?
True
Suppose 3*h - 12 = -4*q, 3*q - h - 4 - 5 = 0. Let w be q + 882/(5 + -3). Let g = -221 + w. Is g composite?
False
Let w(s) = 11 - 5*s**2 - 3 + 6*s**2 + 11*s. Let l be w(-10). Is (-519)/l - (-12)/(-24) composite?
True
Suppose x + 12 = -5*m + 2, 4*x + 4*m = -8. Suppose 7*c + 0*c - 1099 = x. Is c a prime number?
True
Let z = -4356 + 8103. Is z a composite number?
True
Let y(g) = -1. Let z(q) = -7*q - 3. Let w(r) = 3*y(r) - z(r). Let d be w(4). Suppose -4*h = 4*i - 124, 3*h = -2*i - d + 116. Is h a prime number?
False
Let a(i) = -i**2 + 7*i - 7. Let g be a(4). Suppose 4*v + 675 = y, 0*v = -5*y + g*v + 3435. Is y prime?
True
Let u(i) = -i + 1. Let h(r) = -40*r - 6. Let f(d) = h(d) + 5*u(d). Is f(-2) prime?
True
Let g(z) = z + 5*z + 8*z**2 + 0*z + 8*z**2 + 3. Let d be g(6). Suppose 4*w = w + d. Is w a composite number?
True
Let y(k) = 209*k**2 - 11*k - 39. Is y(-4) a composite number?
True
Suppose 0 = -2*m + 3*m + 149. Let b = 386 - m. Let k = 750 - b. Is k composite?
True
Suppose 2*u + 14590 = 2*t, 2*u = -4*t + u + 29180. Is t composite?
True
Let o = 343 + -179. Suppose -z - 605 = -q, -5*q + 4*z + 2864 = -o. Suppose -2*f - 78 + q = -4*v, -f + 265 = 3*v. Is f composite?
True
Let q = 1 + 4. Suppose 0 = -q*f + 4*a - 217, 2*f + 3 = a - 85. Let p = f - -64. Is p a prime number?
True
Is (-220)/(-60) + 13846/3 a composite number?
True
Let c(o) = 171*o**2 + 3*o - 8. Let w be c(-4). Let h = w + -1775. Is h composite?
False
Let c(l) = -5*l. Let m be c(3). Is ((-9)/m)/((-2584)/(-860) - 3) a composite number?
True
Let i(u) be the third derivative of u**5/5 + 7*u**4/24 + 2*u**2 - 10*u. Is i(-13) prime?
False
Let j = -2 - -10. Suppose 4*y - r + 6 = 6*y, -4*y = 4*r - j. Suppose y*k = -4*g + 3*g + 217, 2*g + 43 = k. Is k a prime number?
True
Let a(s) = -1128*s**3 - 2*s**2. Let t be a(2). Let u = t - -4755. Is (-1 + 2)/((-13)/u) a composite number?
True
Let i be 6 - (0 - 4) - 4. Is 253/(3/(i/2)) + 0 prime?
False
Let j(p) = 7*p - 20. Let z be (-11)/(11/(-20)) + 1/1. Is j(z) a prime number?
True
Let u = 5911 + -2984. Is u prime?
True
Suppose 3 = a, -2*f + 6*f + 3*a = 41. Suppose f*k = 5*k + 1065. Let i = k - 228. Is i prime?
True
Suppose 4*u + 9 = -47. Let r(v) = -v**2 + 1. Let o(h) = -3*h**2 - 23*h + 19. Let w(j) = o(j) - 2*r(j). Is w(u) prime?
False
Let i(k) = -9*k**3 + 2*k**2 + 4*k + 2. Suppose -4*r = -0*r - 8. Suppose 13 = -x + r*p, -2*x + 5*x + 4 = -p. Is i(x) a prime number?
True
Let g = 33 + -21. Is g/(-18) + 7253/3 a prime number?
True
Let y be ((-34)/(-3))/(4/(-12)). Let g = y + 49. Let x(w) = 2*w**2 - 15*w - 14. Is x(g) prime?
True
Let o(q) = q + 10. Let m be o(-10). Let u = -83 - -85. Suppose b + 1 - 6 = m, -v + 33 = u*b. Is v prime?
True
Suppose -2*t + 18 = -0*t - o, t - 3*o - 19 = 0. Suppose 9367 = t*x + 834. Is x a prime number?
False
Let r(p) = 31*p**2 - 16*p + 14. Let u be r(10). Suppose -2*s + 3*y + y + u = 0, 0 = -4*s - 4*y + 5932. Is s a composite number?
False
Let f(s) be the first derivative of 305*s**2/2 - 8*s - 18. Is f(3) composite?
False
Let i(t) = -t**2 + 6*t. Let w be i(6). Suppose -4*f + w*b = b - 212, 3*b = 4*f - 212. Is f a composite number?
False
Suppose -3*n + 2*k + 2*k = -19, -2*n - 6 = 2*k. Let p be 0 + n + (-769 - 6). Let c = p + 1309. Is c a composite number?
True
Suppose -a - 3 = -6. Suppose 4*c - 2178 = -3*o, a*o = 3*c - 6*c + 2181. Suppose -3*k + 1113 = 3*v, o = 2*k - 4*v - 24. Is k prime?
True
Let i(f) = 35077*f - 491. Is i(6) a prime number?
True
Let s = -17 + 22. Suppose -s - 7 = -4*g. Suppose 5*t - 1182 = -g*x, 207 = x + t - 185. Is x composite?
False
Suppose -10 = 10*k - 5*k. Let j(s) = -417*s + 7. Is j(k) composite?
True
Suppose 0*q + q = -3*a + 18978, 3*q = 0. Is a composite?
True
Suppose 5*p = -62 + 1797. Is p composite?
False
Let j be (2 - 6/(-3))*915/10. Let b = 53 + j. Is b a prime number?
True
Suppose 0 = 3*j + o - 12 - 2, j - 3*o = -12. Is ((-2)/j)/((-22)/40029) composite?
False
Let v be -2*(-1)/(-6) + 22593/9. Suppose -3758 = -4*t + v. Is t prime?
True
Let l = 63518 - 35395. Is l prime?
True
Suppose -5*t - 4*c = -73, 0*t - 57 = -5*t + 4*c. Let p = 15 - t. Suppose -n + 963 = p*n. Is n a composite number?
True
Let q be 0 + 1 + (-1 - -1). Let u be (0 - -4)*(q - 0). Suppose -2*w - p = -0*p - 619, -u*p + 634 = 2*w. Is w a composite number?
False
Let j(z) = 123*z**2 - 19. Is j(4) prime?
True
Suppose 3*v - 14*c + 17*c - 2274 = 0, -2*c + 3032 = 4*v. Is v composite?
True
Let z(f) = 28*f**2 - 2*f + 1. Let y be z(1). Is 2*(3 - y/6) - -68 composite?
True
Suppose -3 + 1 = -c. Suppose c*r = 272 + 4086. Is r a composite number?
False
Suppose 0 = -6*j + 4*j - 818. Let t = j - -1764. Is t prime?
False
Let f = -89 - -166. Let y(z) = z. Let c be y(5). Suppose 13 = -c*d + 3*w + f, -2*d + 30 = w. Is 