 6583 = -f*c. Suppose -3*z + 0*z = 12, 5*k = 2*z + c. Is k a composite number?
True
Let c(g) = -g**2 - 24*g + 117. Let d be c(-34). Let p = d + 408. Is p a prime number?
False
Let p be 12*(24/42 + 18/(-56)). Suppose -3*u + 3 = 0, 13988 = 2*v + p*v - 2*u. Is v composite?
True
Suppose -75*b - 6 = -74*b. Is b/39 - (-546425)/143 a prime number?
True
Let j(s) = -14*s - 29. Let z be j(-2). Is ((-24042)/12)/(z/2) prime?
True
Let h = -6427 - -664794. Is h composite?
False
Let h = 4285 - -3772. Is (-1)/(((-7)/h)/(-1 + 2)) a composite number?
False
Suppose 5*b = 0, 16*k - 14*k + b = 218446. Is k composite?
True
Let u = -47 - -79. Let o be u/6*-1 - (-2)/6. Is (164/(-4))/(-1*(-1)/o) composite?
True
Suppose 25085 = -5*u + 5*d, 2*u + 10040 = 7*d - 2*d. Let s = u - -11216. Suppose s = -6*l + 15*l. Is l composite?
True
Let u(y) = -8*y - 45. Let r be u(-6). Suppose -r*j + 16282 = 11*j. Is j prime?
True
Let c(s) = -48*s + 620. Let m be c(13). Let o(r) be the third derivative of 19*r**5/60 - 3*r**4/8 - 3*r**3/2 + r**2. Is o(m) a prime number?
True
Let u(j) = -j**3 - 8*j**2 - j - 5. Let l be u(-8). Suppose -2*b = l*b, -5*r = -4*b - 1525. Let x = r - -602. Is x a composite number?
False
Let m = 7258 - -3253. Is m a composite number?
True
Let u = 120875 - -79526. Is u prime?
True
Let q(i) = -38*i - 40780. Let v be q(0). Let w = v - -64214. Is w a prime number?
False
Let r(j) = -191*j**3 - 4*j**2 + 12*j - 6. Let p = -106 - -99. Let o(s) = 382*s**3 + 7*s**2 - 25*s + 12. Let q(a) = p*r(a) - 3*o(a). Is q(3) a composite number?
True
Let n = -586 - -590. Is n + 53235/(-3 + 10) composite?
True
Suppose -4*s - 7*r + 2*r + 32 = 0, s + 2*r - 11 = 0. Suppose s*c = 4*c - 62. Let t = c - -201. Is t composite?
False
Let s(f) = 258*f**3 - f**2 + 8*f + 1. Is s(6) a prime number?
False
Let u(d) = 112*d**2 + 307*d + 9 + 54*d**2 - 317*d. Is u(-4) a composite number?
True
Suppose 265812 + 79438 = 2*r + 4*i, 0 = 3*i - 9. Is r a composite number?
False
Let d(y) = y**3 + 5*y**2 + 4. Let j be ((-3)/(-2))/(-3)*(-10)/(-1). Let k be d(j). Suppose -3*i = -3*u - 219, 5*i - 624 = k*u - 255. Is i a composite number?
True
Suppose -2*a + 0*a + 4*r = 12, -a = r - 3. Suppose a*n - z = -2*n - 159, -4*z = -4. Let j = n + 168. Is j prime?
True
Let b(q) = -q - 10. Let w be b(-9). Let a(k) = 800*k**3 - 1. Let o be a(w). Let p = o + 1294. Is p composite?
True
Suppose -164 = -10*p - 21784. Let y = p + 3121. Let u = y + -256. Is u composite?
True
Let p be 99957 + 10/(2*(-2 + 1)). Suppose 0 = -18*d + 2*d + p. Is d a prime number?
True
Let m(s) = -37*s - 14. Let l = -108 + 31. Let x = l + 62. Is m(x) a prime number?
True
Suppose 0 = -8*h + 7*h + 53. Let w = h - 41. Let t(k) = -k**3 + 13*k**2 - 3*k - 29. Is t(w) a composite number?
False
Let a(c) = c**3 + c**2 - c + 1. Let b(g) = -2*g**3 + 6*g**2 + 2*g - 1. Let h(d) = 2*a(d) - b(d). Let q = 11 + -7. Is h(q) composite?
False
Let v(a) = -16*a - 1081. Is v(-123) a prime number?
True
Let h(s) = s**3 + s - 1. Let k(z) = 5*z**3 + 3*z**2 + 7*z + 14. Let o(i) = -2*h(i) + k(i). Is o(7) a prime number?
False
Let d = -1399 + 501. Let k(g) = 25*g - 2169. Let c be k(66). Let v = c - d. Is v composite?
False
Let c(g) = 49*g**2 - 80*g + 235. Is c(36) a composite number?
False
Let j(t) = -28*t**3 - 7*t**2 - 8*t + 6. Suppose u + 49 - 44 = 0. Is j(u) composite?
False
Let z(q) = q - 1. Let g be z(-1). Let i be -3*g/(-27) - 88139/(-9). Suppose 0 = 3*r + 4*r - i. Is r a prime number?
True
Let h be ((-10)/(-6) - 1) + 84/36. Suppose -4*w - h = 5. Is ((-1)/3)/(w + 17087/8547) a prime number?
False
Suppose 2 = -4*f + 10. Let b = 13 + -13. Suppose 0 = -2*j + 3*k + 4774, b*k + 4778 = f*j - 2*k. Is j composite?
False
Let w = -66243 + 225106. Is w prime?
True
Suppose 0 = 79*v - 13085655 - 10953571. Is v composite?
True
Let p(o) = 3*o**2 + 3*o + 8. Let g be p(-9). Suppose -98*f = -29*f - 100809. Suppose 0 = -n + 5*z + g + 64, -f = -5*n + 4*z. Is n composite?
False
Suppose 1519*m - 1504*m = 1224345. Is m a composite number?
True
Let n be ((-3676)/(-12) + 9)*3*18. Suppose -33*p - n = -211695. Is p a prime number?
False
Suppose 1002 = -4*x + x + 1074. Let t(l) be the first derivative of 2*l**3/3 + l**2/2 - 25*l - 1. Is t(x) a prime number?
True
Let b(d) be the third derivative of d**5/20 + 17*d**4/24 + 47*d**3/6 + 92*d**2. Is b(-3) composite?
False
Suppose -20*r - 50 = -25*r. Let y be -3*r/15 - -7. Suppose 3*h + y*t - 4*t = 755, -1000 = -4*h - 3*t. Is h prime?
False
Suppose 3*m - 492449 = 4*a, 4*m + 645*a = 648*a + 656594. Is m prime?
True
Let g(h) = 110*h**2 - 6*h + 25. Let c be g(5). Suppose -3*s + 0*s + 113586 = 0. Suppose 7*o - s - c = 0. Is o a prime number?
True
Let r = 21831 - 14326. Suppose 3*h - r = -y - 900, h = -4*y + 2187. Is h a composite number?
False
Let q(x) = 4*x - 14. Let a be q(13). Suppose -82181 = a*w - 384927. Is w prime?
False
Suppose 5*k - 3*f + 2 - 27 = 0, 2*f + 5 = k. Suppose -d - 2*b = d - 2, -8 = -k*d - 4*b. Is 746*(-1)/(-8)*d a prime number?
True
Let t(q) = -11*q - 51. Let j be t(-5). Suppose 5*i = 3*x - 2621, -i + 11 - 3517 = -j*x. Is x prime?
True
Suppose 5*w + 2*g = 192 - 1096, -5*w = -g + 898. Let v = 74 - w. Is v a composite number?
True
Let v = 3219 + -1720. Is v composite?
False
Let r be -7*(-2)/42*56907. Is (r/2)/(72/48) prime?
True
Let m(c) be the first derivative of -37*c**4/12 + 13*c**3/2 - 12*c**2 - 41. Let n(x) be the second derivative of m(x). Is n(-16) composite?
False
Let r(p) = 13260*p - 989. Is r(3) a prime number?
True
Is (91101/(-4))/((-177)/236) composite?
False
Let t = 13985 + -13983. Let s be 4/(-2) + 1/1. Is 23157/62 + s/t composite?
False
Suppose 0 = -0*m - 10*m - 32*m + 49012194. Is m prime?
False
Suppose -6*c + 15 = -c. Suppose c*s = 35890 + 4409. Suppose -s = -4*w - 3*w. Is w a prime number?
False
Let k(a) = -1168*a - 34. Let w be k(-2). Is (1/2*6)/(2/w) prime?
False
Let p(o) be the second derivative of -o**4/12 - o**3 - 3*o**2 + 644*o. Let d(v) = -4*v**2 + 1. Let w be d(-1). Is p(w) composite?
False
Suppose 0 = 3*i - 4*l - 67851, 3*i + 43049 = l + 110891. Is i composite?
False
Let u = -106748 + 547071. Is u a composite number?
True
Let z(w) = -2*w**3 - 4*w**2 - 4*w - 3. Let q be z(-2). Suppose -4*d + 3 - 7 = 0, -2074 = -q*s - d. Is s a prime number?
False
Let u(i) = 30*i**2 - 7*i - 3. Let c(s) = -2*s**2 - 22*s + 32. Let d be c(-12). Is u(d) a prime number?
True
Let l = 7548 + -1925. Is l a prime number?
True
Suppose -4*q - 4*w - 3624 = 0, -5*q + 2*w + 2*w = 4521. Let t(v) = 136*v - 1046. Let h be t(19). Let m = q + h. Is m a prime number?
False
Let u(t) = 323316*t + 1579. Is u(2) a prime number?
True
Let r(p) = -p + 2*p**2 + p**3 + 4*p**2 - 8*p**2. Let m be r(0). Suppose m = 2*q + 23 - 1779. Is q composite?
True
Suppose 346*t - 250*t - 280387680 = 0. Is t composite?
True
Suppose -15*f - 35377 = -18*f - 2*l, 23603 = 2*f + 5*l. Is f prime?
True
Let n = -99 - -105. Suppose n*s + 36 = 10*s. Let l(q) = q**3 - 8*q**2 + 5*q - 7. Is l(s) composite?
True
Suppose 0 = 5*d - 10, 46*n = 47*n + 3*d - 10. Suppose 25674 = n*l - 5*j, 10522 = 4*l - j - 15160. Is l composite?
False
Let k = -3 - -8. Suppose 0 = 5*n - 21 + 11. Suppose -n*z = 5*a - 1845, -3*a + z = k*z - 1093. Is a prime?
False
Let b = -97 - -100. Suppose 3*x = -3*y - 6, -x + 11 = b*y + 5. Is -33*(3 + 22/x) a composite number?
True
Let g(h) = h**2 - 2*h - 3. Let w be g(-1). Suppose -2*x + 4*d + 422 = w, 2*x + 4*d - 217 = x. Is ((-1)/(-1))/(1/x) prime?
False
Suppose d = -5*c - 39165, -7*c - 5*d - 39185 = -2*c. Let w = c - -26385. Is w a composite number?
False
Is ((-13 - -9) + 56327/2)*136/12 composite?
True
Let m(x) = x**3 - 3*x**2 - 4*x - 6. Let w be -3 + (-45)/(-10) + (-7)/2. Let i be m(w). Is 2134*(-3)/i*3 composite?
True
Let a = 64357 - -20368. Suppose 0 = -48*m + 43*m + a. Is m a composite number?
True
Suppose -b + 78461 = -3*z, -7*b - 5*z + 19499 + 529832 = 0. Is b composite?
True
Is (37*74344/12)/(6/(-18) - -1) composite?
True
Let o = -202 + 178. Is (33*(-2)/o)/(5/1340) a composite number?
True
Suppose -12*a = 76315 - 1548703. Is a a prime number?
False
Suppose 0 = -14*z + 9*z - 75. Let a(c) = -c**2 - 16*c - 12. Let o be a(z). Suppose u = o*v + 2237, 5*u - 3897 - 7288 = -2*v. Is u composite?
False
Let w(c) = -c**3 - 23*c**2 + 74*c + 583. Is w(-37) composite?
False
Let k = -366 - 