 5*a**2 - 9*a + 9. Let p(x) be the second derivative of -x**4/3 + 3*x**3/2 - 4*x**2 - 2*x. Let n(q) = 4*p(q) + 3*v(q). Is n(6) composite?
False
Let h = 13910 + 58121. Is h a prime number?
True
Let t(i) = -12*i - 10 - 2 + 7. Let n(y) = y**3 + 11*y**2 - 10*y + 18. Let v be n(-12). Is t(v) prime?
True
Suppose -17 = 5*f + 5*y + 28, 0 = 2*y + 6. Let m = f + -1. Is (m/2)/((-12)/1608) composite?
True
Let x(f) = 2*f**3 + 14*f**2 + 7*f + 6. Let d be x(-6). Let h be d + 1 + -1 + 0. Let a = 227 - h. Is a a composite number?
False
Let k(t) = -923*t + 909*t - 2*t**3 + 4 + 3*t**3 - 16*t**2. Is k(19) a composite number?
False
Let w = 1269 - -934. Is w a composite number?
False
Let f(i) = 2*i**3 - 19*i**2 - 25*i + 3. Let o be f(16). Suppose 0 = 10*p - 7*p - o. Is p composite?
False
Let l be -16*(282/(-4))/(39/52). Let i(w) = -21*w. Let q be i(-1). Suppose l = 5*j - q. Is j prime?
False
Suppose 0 = -8*g - 0*g + 2208. Suppose w - 2*o = 487, -2*w + g = 2*o - 710. Is w a composite number?
False
Let a = 6663 + -2821. Let r = -2449 + a. Is r a prime number?
False
Let f(d) = 715*d**2 - 88*d + 4. Is f(-9) a composite number?
False
Let q(v) be the third derivative of 263*v**5/30 + 5*v**4/24 - 2*v**3/3 - 11*v**2. Is q(1) a prime number?
False
Let y(t) = -24*t**2 + 2*t - 2. Let b be y(1). Let v be 652*-4*15/b. Let s = v - 1019. Is s composite?
True
Let u be 2/(-6) + (-50170)/(-30) - 1. Let t = -890 + u. Is t prime?
False
Let g = -9992 + 17310. Is g a prime number?
False
Suppose k + k - 80666 = -4*o, -k + 2*o + 40353 = 0. Is k prime?
True
Suppose 4*g - 1 = 5*f + 1, 4*f + 10 = -g. Let y be (2078*(f + 4))/2. Is 4 - y*(-3)/6 a composite number?
True
Suppose 2*x + 2 + 2 = 0, -2*x - 146 = -2*p. Suppose -18 - p = -m. Suppose q - 80 = m. Is q prime?
False
Let d(w) = -3*w + 16. Let l be d(7). Is 590 - 3 - (l - -3) a prime number?
False
Let p = -10 - -21. Let w = 72 + p. Is w a prime number?
True
Suppose 7*a + 6162 = 48365. Is a composite?
False
Let u(o) = -241*o - 25. Is u(-16) a composite number?
True
Suppose -670 = -2*c + 2146. Suppose c = 2*z + 3*j, 3*z - 2129 = j + 3*j. Is z composite?
True
Is (4 + 13/(-3))*-1857 prime?
True
Let p(h) = 1 + 21*h**2 + 2*h - 25*h**2 - 2*h**3 - 10*h. Is p(-5) a prime number?
True
Let q(o) = o + 2. Let w be q(2). Suppose 5*s - 3*j = j + 8, w*j = -5*s - 8. Is (-2 - (-3 + s))*77 prime?
False
Suppose -3*b + 17*i = 14*i - 20640, -3*b + i + 20638 = 0. Is b a composite number?
True
Let t be (-3 - -8)/5*4. Suppose 1653 - 616 = 5*h - t*x, -422 = -2*h + 4*x. Is h composite?
True
Let c(b) = 303*b + 131. Is c(6) composite?
False
Let x(k) = 412*k + 267. Is x(1) prime?
False
Let n be 9/3*(-4)/(-6). Is (-1 - 0)*(n + -1689) prime?
False
Suppose 3*z - k = -2 + 13, 0 = -3*z - 2*k + 5. Suppose -z*v = -2*x + 2288, 4570 = 4*x - 2*v - v. Is x composite?
True
Let b = -14347 + 7075. Let d = -3365 - b. Is d a prime number?
True
Let y(x) = 2*x + 20. Let n be y(-9). Suppose 0 = 5*u - n*u + 3*k - 9, 3*u - 2*k - 14 = 0. Suppose 4*w - w + 375 = 3*b, 3*b + u*w = 403. Is b prime?
False
Let w(l) = l**2 + 2*l - 3. Let q be w(-5). Suppose 4*t - 4*v = q, t = -3*t + 2*v + 12. Suppose 5*n = t*x - 211, -6*n = -x - 4*n + 71. Is x a prime number?
True
Let a(j) = 0 - 5 - 2 - 4 + 10*j. Is a(19) prime?
True
Is -11 + (-11 - -18) + 83 a composite number?
False
Suppose 0 = -3*h - 1 + 40. Suppose -5*x = -3*z - 49, -z + 8*x - h = 3*x. Let u = 39 + z. Is u a prime number?
False
Let h = 4 + -4. Suppose 5*n - 9*n + 1772 = h. Is n prime?
True
Suppose 11*u = 23*u - 29244. Is u a prime number?
True
Let w = 6756 - 1915. Is w a prime number?
False
Is 3295/(-1)*264/(-440) prime?
False
Is (-30 + 29)/((-2)/8018) composite?
True
Let z = -26 + 29. Suppose -3*u - 42 + 9 = -c, 42 = -z*u - 2*c. Let y(f) = 4*f**2 + 6*f - 13. Is y(u) prime?
True
Suppose -3*f + 26724 = -3*m, -f - m = -4653 - 4257. Is f a composite number?
True
Suppose -3*p + 8*p = -4*j, 3*j - 3*p = 0. Suppose 0 = 2*q - 3*q. Suppose -3*g + j*g + 327 = q. Is g composite?
False
Is 140536/77 + 3/(-21) + -2 a composite number?
False
Let r(x) = 61*x + 84. Is r(5) composite?
False
Let r be -3 + 5 + -1 - 1. Suppose 2*p - 113 = -5*y + 265, -3*p - 5*y + 557 = r. Is p composite?
False
Let u(c) = 2*c**3 - 21*c**2 + 23*c + 61. Is u(20) composite?
True
Let y(d) = -10*d**3 + 9*d**3 + 6*d**2 - 4 - 2 + d. Let k be y(6). Suppose -u + k*u = -503. Is u prime?
True
Suppose 2*c = -2*x + 16120, -x - 4*c + 8961 = 898. Is x prime?
True
Suppose 7*r - 11 = -88. Is (-2)/(-11)*-1 + (-1531)/r a prime number?
True
Let c be (-2 - -1)/(2/(-4)). Let b(d) = 6*d - 2*d - 3 + 12*d**c + 2*d - 2. Is b(4) a composite number?
False
Let j = 17 - 14. Suppose -j*k - 1703 = -p, 8*k - 3366 = -2*p + 4*k. Suppose -3*d - 2768 = -5*l, -p = -3*l - 2*d - 34. Is l a composite number?
True
Let i = -36 + 36. Suppose -5*t - 607 + 1922 = i. Is t prime?
True
Is ((-12)/72*-6)/(2/1262) a prime number?
True
Let r = 570 - 271. Suppose -5*j = 2*i - 251, 701 = 3*i - j + r. Is i a prime number?
False
Suppose 11*l + 740848 = 27*l. Is l prime?
False
Let w be 0/(3 + (-2)/2). Is 1/(2/1338) - (2 + w) a composite number?
True
Let p be (-22)/55 - (-44)/10. Suppose 0 = p*j + 789 + 67. Let i = 79 - j. Is i a composite number?
False
Suppose -2*c = -14 + 6. Suppose 0 = -c*d - 4*b + 288, -4*d + 2*b = -7*d + 221. Is d prime?
False
Let c(p) = -p**3 - 4*p**2 + 6*p + 8. Suppose 3*n - n - 2*k + 16 = 0, 5*n = -2*k - 40. Let v be c(n). Let w = v + 79. Is w a composite number?
True
Let b be (-2 + 6/4)*-10. Let x(k) = -k**2 + 6 - 22 + b*k**2 - k**2. Is x(11) composite?
False
Let v(t) be the second derivative of t**5/20 + t**4/12 + t**3/6 + 35*t**2/2 + t. Let x be v(0). Let o = x + -22. Is o a prime number?
True
Is -2 - (-24)/20 - (-343738)/10 composite?
True
Let g(n) = n**2 - 9*n + 7. Let u be g(9). Let d(z) = -2*z + 9*z - u*z**2 + 2*z**3 + 2*z**3 - 3*z**3. Is d(6) a composite number?
True
Let a(h) = h**2 - h - 9. Let v(s) = -s**2 + 7*s - 2. Suppose -2*z + 25 = 3*z. Let d be v(z). Is a(d) a composite number?
False
Let k(x) = -5*x - 6. Let a be k(-2). Let q(z) = -z**3 + 6*z**2 - 3*z - 6. Let b be q(5). Suppose 4*f - 140 = -a*m, -f + 0*f + 137 = b*m. Is m prime?
False
Let p(r) be the second derivative of r**4/12 - r**3 - r**2/2 - 3*r. Let j be p(4). Let w(u) = -3*u + 6. Is w(j) a composite number?
True
Let l be (-7068)/(-27) + (-4)/(-18). Let f = l + 4057. Is f prime?
False
Let r = 12 - 8. Let q be -106*(1 + (-22)/r). Suppose 4*s - v - q = 98, -295 = -2*s + 3*v. Is s composite?
True
Let u(g) = -g**3 + 8*g**2 - 18*g - 17. Is u(-8) composite?
False
Suppose 4*j - 3 = -3. Suppose j = 9*i - 1873 - 3734. Is i a composite number?
True
Let a = 106 - 102. Is (7902 - -2 - a) + 1 composite?
False
Is 12/(-30) + 403434/10 prime?
True
Suppose -2*b + 1542 = -2*z - 2086, -2*z = b - 1829. Suppose 0 = 5*u - b + 274. Suppose 5*f - 2*f - 207 = 3*j, 4*j - u = -5*f. Is f prime?
False
Let t(r) = -29*r**2 + 3*r + 9. Suppose 4 = 2*b + 14. Let z(n) = -29*n**2 + 2*n + 8. Let g(j) = b*z(j) + 4*t(j). Is g(3) prime?
True
Let x = -44 + 177. Suppose -k - 184 = x. Let w = k + 466. Is w composite?
False
Let y be 13/5 + (-15)/25. Suppose r - 2443 = -4*r + y*k, -3*k - 486 = -r. Is r a prime number?
False
Suppose -s - 5230 = -3*s - 3*x, -s + 5*x = -2589. Is s composite?
False
Let r(n) = -n**2 - n - 7. Let i be r(0). Let u(q) be the third derivative of -25*q**4/6 - 17*q**3/6 + q**2 + 17*q. Is u(i) composite?
False
Suppose -3*d = -4032 - 8781. Is d composite?
False
Let k(n) = 4*n + 26. Let w(u) = -5*u - 27. Let q(r) = 4*k(r) + 3*w(r). Let z be 0/(3 + 16/(-4)). Is q(z) composite?
False
Let u(b) = 152*b + 54. Let l be u(19). Suppose 0*t - 2*t + l = 0. Is t composite?
False
Is (345/30 - 12)/((-2)/1324) composite?
False
Let g = 2207 - -2576. Is g a composite number?
False
Let u(l) = 6*l**2 + l - 3. Let r be u(8). Let d = -198 + r. Is d a prime number?
True
Is 25/40*(-1 + 131817) composite?
True
Let b(c) = -55*c**2 + c - 2. Let j be (-2 + -1)*(4 - 1). Let a be b(j). Is (-2)/(-15) - a/30 a composite number?
False
Let t = 4715 + -3339. Suppose -8*i - 5*a = -6*i - 1388, a + t = 2*i. Is i composite?
True
Let l be (5 - 0)*1134/(-15). Let p = 18 - l. Suppose u - p = -3*q, 3*u = 3*q + 211 - 595. Is q prime?
True
Let n = 225 + -69. Let r = 331 + n. Is r prime?
True
Let a(q) = 6*