et h(s) = s**2 + 6*s - 119. Let o be h(9). Let u(p) = -50*p**3 - p**2 - p - 1. Let f be u(-1). Let q = o + f. Is q composite?
True
Suppose 774 = 3*y - 4*x, 3*y - 6*y = x - 759. Is y a prime number?
False
Let x = -30429 + 47213. Suppose 0 = -4*i - 4*a + x, -3*i + 12593 = a + a. Is i a composite number?
False
Is (-36777)/(-21) - (-48)/(-168) a prime number?
False
Let h = 406 + 2203. Is h composite?
False
Let k(x) = 76*x**3 + 4*x**2 - 4*x + 1. Let y(j) = -j**3 - 3*j**2 + 11*j + 8. Let p be y(-5). Is k(p) composite?
True
Let p be (-16)/10*(-5 - 0). Suppose p*r - 13*r = 100. Let z = r - -58. Is z prime?
False
Suppose -6*f = -7*f + 5. Suppose -2*s + 216 = -f*c + 63, c + 262 = 3*s. Let z = 300 - s. Is z prime?
True
Suppose -5 = 18*x + 13. Let k(w) = -902*w**3 - 2*w**2 - 2*w - 1. Is k(x) composite?
True
Let x = 19 + -22. Let a(g) = g**3 + 2*g**2 - g + 4. Let d be a(x). Is d/3 + 105/9 a prime number?
True
Is (-26094)/(-5) + 10*(-10)/125 prime?
False
Suppose -21*l + 651025 = -111128. Is l composite?
False
Is (-1)/2*(-8660 - (-3 - 3)) composite?
False
Suppose -2*s + 2*u = 2*s - 2, 5*u = -2*s + 19. Suppose -g - 9 = s*i, i + 2*g + 16 - 4 = 0. Is 214/4 - (-1)/i a prime number?
True
Let j be (-2)/(-7) - 66/(-14). Suppose -3*t - 2*t + 1963 = 2*w, -j*t + 1947 = -2*w. Is t prime?
False
Suppose -26*f = 27764 - 162418. Is f prime?
True
Let c(o) be the second derivative of 11*o**7/420 - o**6/720 - o**5/40 - o**4/3 + 3*o. Let k(x) be the third derivative of c(x). Is k(2) a composite number?
True
Let t(r) = 192*r**2 - 12*r - 25. Is t(-7) a prime number?
True
Is 28011/5 + (-71)/355 prime?
False
Let b(n) = -8*n**2 + 10*n - 16. Let l be b(-12). Let j = l - -3183. Is j composite?
True
Suppose -1535 = -0*u - 5*u + 5*b, u + 5*b = 295. Suppose 2*q - 1545 = -u. Suppose q = 5*p - 915. Is p prime?
True
Let w(x) = -28*x**2 + 7*x + 5 + 73*x**2 + 3*x + 58*x**2. Is w(4) composite?
False
Let a(p) = 3895*p**2 + 14*p + 14. Is a(-3) composite?
False
Suppose 10*k = 263774 + 35316. Is k composite?
True
Let d(y) = 12*y**2 - 18*y + 53. Is d(26) a composite number?
True
Is 2 + 6/(-4) + (-11763)/(-6) prime?
False
Let z(b) = -2*b**3 + 7*b**2 + 13*b + 1. Let n be z(-10). Let d = 3610 - n. Is d a prime number?
True
Suppose 3*h = 37903 + 17069. Suppose 15*f - 2091 - h = 0. Is f a prime number?
True
Let k(o) = -o + 2. Let l be k(-3). Suppose -3*u - 4 - l = 0. Let a(d) = 2*d**2 - 2*d - 1. Is a(u) prime?
True
Let h be (4/6*60)/1. Let u = -24 + h. Is (-3 - u*-13)/1 a composite number?
True
Suppose -65*n + 383054 = -51*n. Is n a prime number?
True
Suppose -3*g + m + 18391 = 0, -14*m + 24532 = 4*g - 10*m. Is g prime?
True
Is 123/(-2)*1254/(-99) a composite number?
True
Let s be 31*-236*5/10. Let c = s + 6135. Is c prime?
True
Let h be -1 - 208/4 - -1. Let z be ((-132)/8)/(2/h). Suppose 0 = -11*s + 8*s + z. Is s a prime number?
False
Let b(d) = d**2 + 2*d + 1. Suppose -7 + 2 = 5*p. Let s be b(p). Is 6/3 - s - -125 prime?
True
Let t = 15 + -1. Let f(h) = -h**3 + 15*h**2 - 13*h - 10. Let i be f(t). Suppose -3*a + 890 = 2*d - 2*a, -3*d = -i*a - 1357. Is d prime?
False
Let f(n) = -3*n**3 + 7*n + 4. Let x(m) = m**3 - 2*m - 1. Let c(q) = -2*f(q) - 7*x(q). Let v be c(-1). Is 185/(-15)*(-3 - v) composite?
False
Suppose 31*q + 528979 = 42*q. Is q composite?
True
Let u(g) = -g - 10. Let i be u(-15). Suppose 6*q - 9 = 3*q - 3*c, -5*c - 25 = -i*q. Suppose 0 = q*o - 282 + 50. Is o composite?
True
Suppose -2*c + 356 = w - 524, -876 = -w - 4*c. Let d be -3*(12/9)/(-2). Suppose -2*i + i = d*l - w, i = -2. Is l prime?
True
Is (-18)/3 + 3 - -1442 a prime number?
True
Let q(b) = -283*b + 10. Let m be q(-9). Suppose t - m = -0*t. Is t composite?
False
Suppose -60 = 3*k - k. Let i be ((-6)/10)/(6/k). Suppose i*u = u + 118. Is u a composite number?
False
Suppose 3*b - 1483 = -l + 2*l, 0 = -2*b + 5*l + 1006. Is b composite?
True
Let p(v) = 13504*v - 3. Is p(1) a prime number?
False
Let k be (-8)/(-40) + (-48)/(-10). Suppose -2*z - 20 = -k*z + 4*w, -3*w = -3*z + 15. Suppose 0 = 4*p - z + 4, -2*p + 578 = 4*y. Is y a prime number?
False
Suppose 3*u = -2*w + 44378, 0*w + 5*w - u - 110945 = 0. Is w a composite number?
False
Let w be -3 + (2 + 48)/5. Suppose -j = -v - w, -8 + 22 = 2*j + 2*v. Is j a composite number?
False
Suppose 8*d = 72152 - 8832. Is d composite?
True
Let m = 305 - -83. Let a = 747 - m. Is a a composite number?
False
Suppose 3*p + 5*h = -p - 6, 12 = -5*p - 4*h. Let c = 4 + p. Suppose -4*t + 345 = -c*u - u, -5*u + 189 = 2*t. Is t a composite number?
True
Suppose 3*o = -3*t + 28359, o - 3*t = 5880 + 3565. Is o a prime number?
False
Suppose 16 = 4*y - 8. Suppose -y*v = -17 - 181. Is v prime?
False
Let n(y) = 5*y**2 - 5*y - 19. Let x be n(6). Let u = 18 + x. Is u composite?
False
Suppose 1028 = h - 4*y - 2416, 10372 = 3*h - 2*y. Is -4*(-3 - h/16) a composite number?
False
Let o(h) = h**3 - 5*h**2 + 7*h + 1. Let m be o(3). Suppose 8*b - 8 = m*b. Suppose j - 1113 = -b*j. Is j composite?
True
Let x(o) = 10*o**3 - 10*o**2 + 30*o + 7. Is x(5) prime?
False
Suppose -8*k + 6*k - 2*d = -6032, -3*d = -3*k + 9066. Is k composite?
False
Suppose 0 = -27*r + 31*r - 30676. Is r prime?
True
Let w = 19106 + 101213. Is w a composite number?
False
Let m be 0*1*(-2)/4. Suppose m = 7*i - 2*i. Let v(g) = g**2 + g + 419. Is v(i) a composite number?
False
Let a(m) = 2*m + 4. Let l be a(1). Let d(v) = 28*v - 25. Is d(l) prime?
False
Let s be 19*((1 - -4) + 0). Is (-38)/s + (-19874)/(-10) a composite number?
False
Suppose -33981 = -10*o - 6791. Is o a composite number?
False
Let u = 21 + -11. Let f = u - 16. Is 4/6 + (-512)/f composite?
True
Let w(q) = q**2 + 2*q - 17. Let h be w(-8). Suppose -n + 84 = -18. Let f = n - h. Is f a composite number?
False
Let g(q) = q**3 + 26*q**2 - 4*q - 26. Is g(-12) composite?
True
Let t = 19805 - 5446. Is t a prime number?
False
Suppose -3*i + 2*y + 2 = -13, -i - 2*y = 3. Suppose -i*t = -5*l + 7, 5*t - 2*l - l = 15. Suppose c - t = 20. Is c a prime number?
False
Let a(s) = 9*s**2 - 50*s - 305. Is a(-14) composite?
True
Let n(s) = -s. Let d(v) = -v**2 - 9*v + 2. Let m(y) = d(y) - 4*n(y). Let p be m(-5). Suppose -4*q + 35 = k, -3*q + 5 = -p*q. Is k composite?
True
Suppose 21*z + 3*h = 19*z + 8056, 16156 = 4*z - 5*h. Is z composite?
True
Suppose 0 = 2*m - 3 - 1. Let k(l) = l + 1. Let p be k(m). Is (-1 + 2)/p*237 a composite number?
False
Suppose 0 = -211*a + 202*a + 14769. Is a composite?
True
Let a(r) = 750*r**2 - 21*r + 1. Is a(-2) a prime number?
False
Suppose -5*f = -2*h - 29, 0*f = 4*h - f + 13. Is (-1)/h + (-129)/(-2) a prime number?
False
Is 16/(-24)*110481/(-14) a composite number?
False
Let m = -33 - -23. Let u(f) = f**2 - 9*f - 7. Let q be u(12). Let k = q + m. Is k a prime number?
True
Suppose 6014 + 1019 = l. Is l a prime number?
False
Let w(q) = 15*q**3 + q**2 - 6*q - 9. Let h be w(-3). Is 2/(-18) + (-445480)/h a prime number?
True
Suppose 9*b - 42915 - 23154 = 0. Is b a composite number?
True
Let a = -129 - -129. Suppose a = 5*s - 6*s + 447. Is s prime?
False
Let d(h) = 66*h**2 - 7*h - 28. Is d(-3) a composite number?
False
Let c(m) be the first derivative of 58*m**3/3 - m**2/2 + 8. Let r(a) = 2*a - 11. Let q be r(5). Is c(q) prime?
True
Let p = 440 - -19847. Is p a prime number?
True
Suppose -3*s = -4*d - 12269, -2*s + 20400 = 3*s + 3*d. Is s prime?
False
Let c(m) be the first derivative of 7*m**2/2 + 30*m + 11. Is c(7) composite?
False
Suppose 298032 = 120*z - 72*z. Is z a composite number?
True
Suppose -2*r = -4*r + 8. Suppose -2*b = -5*m - 1098, -4*m = 6*b - 5*b - 536. Suppose -u + 3*y = -0*u - b, -2*u = r*y - 1038. Is u a composite number?
True
Suppose -10*d + 458 + 28172 = 0. Is d a prime number?
False
Let k(f) = 68*f**3 - 6*f**2 + 35*f - 113. Is k(4) a composite number?
False
Is (-114)/342 + (-53864)/(-6) composite?
True
Suppose 0*t - 5 = 5*t. Let g be t/(2/(-22)*-1). Is (-2)/g - 1549/(-11) a composite number?
True
Let l(t) be the second derivative of -t**4/12 + 10*t**3/3 - 10*t**2 + 20*t. Is l(9) composite?
False
Suppose -3*f - 62*f = -3656575. Is f prime?
False
Let k(l) = -l + 4. Let t be k(8). Is 163 + 2*4/t composite?
True
Let z(r) = 307*r**2 - 37*r - 1. Is z(-12) a prime number?
True
Suppose 4*u + 5*u = -9. Let c(q) = -447*q**3 + q**2 - q. Is c(u) prime?
True
Let r be 40/60 - (