142). Suppose -4*y + 4*w = -25896, -y - 434 + x = -3*w. Is y a prime number?
True
Let t(p) = 1153*p**3 - p**2 + p - 2. Let z be -4 - (1*-1)/(24/120). Is t(z) prime?
True
Let t(s) = -751*s + 15 + 2181*s + 612*s - 4. Let h be t(7). Suppose -73*q + 68*q = -h. Is q a prime number?
True
Let t = 418 - 200. Suppose -13*g + 15*g - t = 0. Suppose 4*z = l - g, -2*z + 181 = 2*l - 67. Is l composite?
True
Let b = -527 - -521. Is b/(-48)*8*1801 a prime number?
True
Suppose 5*r = 4*f + 6981 - 2156, -2*r + 1947 = -5*f. Let n = r + -542. Is n a prime number?
True
Suppose -2*r - 28216 = -10*r. Let v = r - 2184. Is v a composite number?
True
Let o be (-42588)/(2 + -8) - 5. Let u = o + -4964. Is u a prime number?
True
Suppose l + 3*k = 4*k + 33881, 4*l + 2*k = 135554. Suppose -16*x + 13138 = -l. Is x a prime number?
True
Let f(q) be the third derivative of 13*q**5/60 - 19*q**4/24 - 13*q**3/6 - 81*q**2. Is f(16) prime?
True
Is (-8)/(-22) + (-50906220)/(-660) prime?
False
Let x(o) = -23*o**2 - 19*o - 9. Let b(q) = -68*q**2 - 57*q - 26. Let f(d) = 2*b(d) - 7*x(d). Suppose 48 = 17*a - 23*a. Is f(a) prime?
True
Let d(m) = m**3 + 14*m**2 + 12*m - 9. Let p be d(-13). Suppose 4*r = 3*n + 13047, -r - p*r = -n - 16306. Is r composite?
True
Let p = 98939 - 35704. Is p a composite number?
True
Let p be -1*4 + (-2 - 2) + 19. Suppose p*t - 1416 = -t. Suppose 0 = -k - 3*v + 65, -k - 3*v = k - t. Is k prime?
True
Suppose -3*v + 4*i + 28 = -v, 0 = 2*v + 5*i - 46. Suppose -35132 - 75712 = -v*a. Is a composite?
True
Let g(c) = -1094*c + 35. Suppose -19 = 2*r - u, 2 = 2*r - 5*u + 1. Is g(r) a prime number?
True
Suppose -21*s + 18*s = -12. Let p(u) = 155*u - 33. Is p(s) prime?
True
Suppose -3*o - 96 = -75. Let t be 7/(o/(-2)) + 1049. Suppose -1100 = -3*n + t. Is n a composite number?
True
Let u(c) = -40*c + 82. Let z be u(2). Suppose a = -3*d + 23395, z*a + 23401 = -2*d + 5*d. Is d prime?
False
Let q = 69 - 67. Suppose -q*j = -2*w - w + 4647, 5*w + 5*j - 7720 = 0. Let c = w - 148. Is c composite?
False
Let n(j) = 332*j**2 - 2*j - 701. Is n(-18) prime?
True
Suppose 22*k - 23*k + 4894 = r, -k - 4*r = -4885. Is k a composite number?
True
Is 1/((27 + -14)/386139) composite?
True
Let o = 19393 - 29558. Let i = o + 17544. Is i a composite number?
True
Let m(q) = q**2 - 11*q - 206. Let z be m(-10). Suppose 0 = 5*d + b - 217, 4*b + 290 = 5*d + 83. Suppose 5*g - 95 = -z*h, -52 = -5*g - 2*h + d. Is g prime?
True
Let r = -1780744 + 3573235. Is r prime?
False
Suppose 4*w + r + 3*r = 8, r - 7 = 4*w. Is (-20808)/(-12) + (0 - w) a composite number?
True
Is 156475 + 4/2 + 3 + -1 + 2 composite?
True
Let v = 180 + -178. Suppose 3*w - v*w = 5231. Is w prime?
True
Is 5 + (-133)/28 + (-118107)/(-4) prime?
True
Suppose 0 = -12*c + 7*c + 10. Suppose -c*t + 6017 = -z - 10058, 2*z = -t + 8045. Is t a prime number?
True
Let i(w) = -2107*w - 101. Let o be i(8). Let d = o - -47246. Is d a composite number?
True
Suppose -56*d + 2879586 = -1225550. Is d a composite number?
True
Suppose -4100272 + 16146470 = 6*u - 2*f, f = -4*u + 8030780. Is u prime?
True
Let d(f) = 2*f**3 + 9*f**2 - 21*f + 14. Let o be d(-8). Let s = -18 + o. Let g = s + 987. Is g a prime number?
False
Suppose -d - 4 = -2, -201817 = -s - 2*d. Is s a prime number?
True
Let y(r) = 739*r + 33. Suppose 0 = p + 5*p - 12. Is y(p) a composite number?
False
Is (-6)/15 + (-8164962)/(-130) a composite number?
True
Let l(c) = -56*c + 962. Let a be l(17). Suppose -4210 = -0*v - 4*v + 2*h, 3*h - 3180 = -3*v. Suppose -a*x - v = -15*x. Is x prime?
True
Let l(c) = c**2 + 3*c - 2. Let z be l(4). Suppose -z = -5*o + 4*p, -4*o - o + 14 = -p. Suppose 6*q - 2920 = -o*q. Is q composite?
True
Let j(d) = -293*d - 1302. Is j(-55) a prime number?
True
Let u(x) = 10*x - 18. Let m be u(2). Suppose 0 = m*f + 5*f - 36827. Is f a composite number?
False
Suppose -9*u - 50 = -59. Is (529*u)/(30 - 29) composite?
True
Let r(c) = c**3 + 4*c**2 - 7*c - 2. Let l be r(-5). Let x(n) = -n + 10. Let g be x(l). Is (4/22 + 94116/121)/g a prime number?
True
Let q = 534686 - 374833. Is q composite?
False
Let i(y) = -6*y**2 - 4*y + 18*y**2 - 7*y**2 - 97*y**3 - 10*y**2 - 1. Is i(-4) prime?
True
Let o(f) = 7*f**3 - f**2 - 16*f + 9. Let i be o(5). Suppose 5*x = 25, -5*x + 15 = -2*v - 3*v. Suppose -z = -w + z + 389, -v*w + i = -3*z. Is w prime?
False
Let v(b) = 2*b**3 - 6*b**2 + 3*b + 9. Let d be v(4). Let f = d + -35. Is (-42)/4*((-780)/f - 4) a composite number?
True
Suppose 2*t = -7*l + 3*l - 38, -4*l = 5*t + 101. Let s(z) = 2*z**3 + 43*z**2 + z + 19. Is s(t) a composite number?
False
Let w(n) = 16*n - 12. Let c be w(2). Suppose -k + 41703 = 4*s, k = -c*s + 24*s - 41713. Is s a composite number?
False
Suppose -3*r + 3*t = -r + 15, -4*t = -5*r - 20. Suppose -4*j - 3*n + 2342 = r, -8*j = -7*j + 2*n - 583. Is j composite?
False
Let i(c) = 6131*c + 4825. Is i(14) prime?
True
Let c(k) = 15787*k**3 - 5*k**2 + 28*k - 181. Is c(5) a prime number?
False
Let p = -21646 - -194579. Is p a prime number?
True
Suppose -5*c + 4*b = -132, -5*c + 3*b - 6*b + 111 = 0. Suppose 0 = 21*w - c*w - a + 27280, 2*a + 18192 = 2*w. Is w composite?
True
Suppose 112984 = 3*q - 5*i + 26304, -57792 = -2*q - 2*i. Is (-1 + 9/3)*q/10 a composite number?
False
Let b = 18443 - 17796. Is b composite?
False
Let x(t) = 1176*t**2 - 7*t - 97. Is x(-14) a composite number?
True
Let a be 2 + 1 + -7 + 13. Let n(j) = -j**2 + 9*j - 2. Let y be n(a). Let x(i) = 155*i**2 - 3*i - 3. Is x(y) a composite number?
True
Let r be (-11 - (-50)/4)*(-8)/(-12). Suppose -135 = -3*c - 0*c. Suppose -3*f = -2*y + 31 - r, 3*y + 5*f - c = 0. Is y prime?
False
Suppose 0 = 28*l - 17*l - 555511. Suppose -38*w = -27*w - l. Is w a prime number?
True
Suppose y - 3*a - 94 - 321 = 0, -y + 2*a + 412 = 0. Let n = y + -1051. Is -8 + 4 - 0 - n a prime number?
True
Suppose 0 = -3*s - 18 - 18. Let h(p) = -2*p**3 - 17*p**2 - 28*p - 17. Is h(s) a composite number?
False
Let u(o) = 7*o**2 - 6*o + 8. Let z(w) = -w**3 + 5*w**2 + 4*w + 5. Let i be z(6). Let k be u(i). Let f = 1606 - k. Is f a prime number?
True
Suppose 116*w - 119118809 = -34*w - 211*w. Is w a prime number?
True
Let u = -642 + 644. Suppose -u*c - 3*m = -22778, -4*m - 18380 = -2*c + 4398. Is c prime?
False
Let u(a) = -896*a - 541. Is u(-6) a prime number?
False
Is (-2)/12*1 + (-384861)/(-18) a prime number?
False
Let o = 8 - -8. Suppose o = -13*s + 68. Suppose -4*v + 3704 = 4*h, -3*v - 5*h = -s*v + 896. Is v a prime number?
False
Let y(n) = -n**3 + 20*n**2 - 19*n + 4. Let c be y(19). Let s = 8 - c. Suppose 5*k = -5*g + 2425, s*g - k = 4*k + 1958. Is g a prime number?
True
Suppose 7*t - 1904 = 3*t. Let c be (t + 4 + -4)*57. Is c/108 + 4/(-18) composite?
False
Let t(j) = -11*j**3 - 2*j**2 + 1. Let h be t(-1). Suppose -h*w + 12*w = 1188. Suppose -3*k - w = -3*b, -b - 3*k = -0*b - 218. Is b a composite number?
True
Suppose -2*a = -a. Let g(f) = f**3 + 10*f**2 + 4. Let t be g(-10). Suppose -n + t*b + 323 = a, 6*b = -n + b + 287. Is n a composite number?
False
Suppose 9934372 = -b + 2*b + 27*b. Is b a prime number?
True
Suppose -239446 - 439404 = -10*f. Suppose -58374 = -17*c + f. Is c composite?
True
Let o(w) be the second derivative of 17*w**6/120 + w**5/30 - w**3/6 + w**2 + 15*w. Let k(s) be the first derivative of o(s). Is k(2) composite?
True
Suppose 0 = -5*t + 6*t + 12. Let v(a) be the third derivative of 7*a**5/60 + 9*a**4/8 + 5*a**3/2 - a**2. Is v(t) prime?
False
Suppose 13 = 4*w - 7. Suppose 0*n + 3*r = -w*n - 134673, -2*r + 80800 = -3*n. Is (-2)/7 - n/42 a composite number?
False
Let a(o) = -11*o**3 - 75*o**2 - 107*o - 194. Is a(-43) a composite number?
True
Suppose -2*o - z + 686362 = 3*z, -3*o - z + 1029503 = 0. Is o composite?
True
Suppose -8*j + 110531 - 17527 = -4*j. Is j prime?
True
Let t(d) = d**2 + 1. Let v be t(-2). Let q(b) = 156*b. Let m be q(v). Suppose -748 = -4*o + m. Is o prime?
False
Suppose 6447 - 133232 = -4*w + 125187. Is w prime?
False
Let u(l) = -2*l**3 - 9*l**2 - 2*l + 3. Suppose 11*y - 16 = 7*y. Suppose -m + 5 = -y*j - 7, 4*m = -j - 37. Is u(m) composite?
False
Let q(i) = 40946*i**2 - 17. Is q(3) prime?
False
Let g = 376084 - -14869. Is g a composite number?
False
Let p(b) = 4*b - 24. Let f be p(6). Suppose 3*q + 5*m - 1 = f, -2*q - m + 8 = -4*q. Is q + 3 + -2 - -253 a composite n