 2 = 4*g. Let h be l + 1 + (-1)/1. Is 57 - -2*(1 - h) a composite number?
True
Let i be (0 + -9)*1*-1. Let a(q) be the first derivative of -q**3/3 + 7*q**2 + 4*q + 1. Is a(i) prime?
False
Let h(a) = a + 8. Let x be h(-10). Is x/6*(-78)/1 a prime number?
False
Let v(k) = -2 + 3*k**2 - 1 - 2*k**2. Let q be v(-3). Is 3*4/q - -7 prime?
False
Let t = 47 + 110. Is t prime?
True
Suppose 599 = -5*l - 3*k, 0*l - 2*l + 3*k - 248 = 0. Let h = 320 + l. Is h composite?
False
Let c(y) = -3*y + 5. Let v be c(-7). Let z = v - -21. Is z a prime number?
True
Let i(m) = -4*m + 2. Suppose -2*d + 3*z = -9, -16 = -5*d + z - 0*z. Let u be (-1)/((-3)/((-27)/d)). Is i(u) composite?
True
Let f(m) = -326*m + 1. Let h be f(-1). Suppose -4*g - 4*a = -a - h, 3*g = a + 242. Let p = -32 + g. Is p a composite number?
True
Suppose -537 - 1289 = -2*g. Is g composite?
True
Let q(z) = z + 1. Let b be q(2). Suppose n - b*n = 0. Is 6/3 + n + 77 prime?
True
Let u be 202/3*3 + 2. Suppose -49 = 5*w - u. Is w a prime number?
True
Let n(x) = -x**2 + 17*x - 9. Is n(15) composite?
True
Let g(a) = 138*a**3 + a. Suppose -q - k + 6*k + 1 = 0, 0 = q + 3*k - 1. Let u be g(q). Let w = u - 72. Is w prime?
True
Is ((-317)/2)/((-14)/28) a composite number?
False
Suppose 0 = -2*t - z - 0*z - 32, -4*t - 92 = -5*z. Let f = t - -43. Let r = f + -14. Is r prime?
True
Let s(f) = 3*f**3 - 6*f**2 - 12. Is s(5) composite?
True
Is 1/(4*-1) + (-26922)/(-8) a composite number?
True
Let n(b) = b - 6. Let c be n(6). Suppose c = 2*r + 5*z - 431, -3*r - 889 = -7*r - z. Is r composite?
False
Is 4/(-8) - (-510)/4 a composite number?
False
Let k(o) = -6*o + 11. Let b be k(8). Let r = b + 59. Is r prime?
False
Suppose 3*h + 2*h - o + 42 = 0, 3*h = 3*o - 30. Suppose c + 3*p = -5 - 3, 4*p + 6 = c. Let d = c - h. Is d a composite number?
True
Let l(r) = 25*r - 14*r**2 - 333 - 8*r + 115. Let k(q) = 5*q**2 - 6*q + 73. Let z(o) = -17*k(o) - 6*l(o). Is z(0) a composite number?
False
Suppose -2*u + 33 = -53. Let r = u - -24. Is r composite?
False
Let l(s) = -s**3 + s**2 - s - 4. Let f be l(0). Let a = -4 - f. Suppose -4*b = -a*b - 356. Is b a composite number?
False
Let j = 18 - 13. Is (-23)/(-1) + (j - 3) a composite number?
True
Let g be (297/(-45))/(2/(-30)). Is (-18)/g - (-387)/11 a prime number?
False
Let s(v) = 2152*v**2 - 2*v + 3. Is s(1) a composite number?
False
Suppose -n + 0*n = -3. Let y(b) = b**2 + n + 3 - 4*b - 3*b. Is y(8) composite?
True
Let n(p) = -p**3 + 2*p**2 + p. Is n(2) a prime number?
True
Let x(r) = -10*r - r**3 - 1 + 11*r + 0*r**3 + 6*r**2. Let h be x(6). Suppose -3*y - t + 98 = 0, 2*y - h*t = -3*y + 190. Is y prime?
False
Suppose -4*c - 149 = -i, -3*i + 645 = -3*c + 171. Is i composite?
True
Let p = 2741 - 1590. Is p a composite number?
False
Let v = 3544 - 2087. Is v prime?
False
Suppose -3*o + 8*o = 15. Suppose 4*t + o*d = 191, -5*t + 58 = 2*d - 179. Is t a prime number?
True
Let r(n) = -179*n - 8. Is r(-5) prime?
True
Suppose -5*m + 2333 = 2*v, -4*m - 5*v + 0*v + 1863 = 0. Is m a composite number?
False
Let q(c) = 0*c - c**3 + 2*c**2 + 5*c**2 - 2*c + 109 - 110. Is q(-6) a composite number?
False
Let l = -244 - -470. Is l composite?
True
Suppose 14648 = 4*g - 4*z, -2*g - 2*z + 7312 = -0*z. Is g prime?
True
Let m(f) = -f**3 + 9*f**2 - 5*f + 2. Let y be m(5). Suppose y + 71 = 4*s. Is s a composite number?
False
Is 506/(-33)*6/(-4) a composite number?
False
Is 3 - (-30 - -2)*2 a composite number?
False
Let f = -130 - -315. Is f composite?
True
Let a(j) = 14*j**2 + 14*j + 11. Let l be a(-5). Let o(v) = -v**2. Let x be o(0). Suppose x = f, s + 2*s + 2*f - l = 0. Is s composite?
False
Suppose -5*w + 4*u = -1063, 4*w - 834 = -2*u - 3*u. Is w a prime number?
True
Let s(r) = 29*r**2 + 4*r + 4. Is s(-7) a prime number?
False
Suppose 4*q - 173 = 455. Is q a composite number?
False
Suppose 2*u + 5*a + 60 = -25, -4*a = u + 44. Let t be u/(-15)*(-282)/(-4). Let w = t - 109. Is w a composite number?
False
Suppose -11 - 9 = -5*m. Suppose m*h - 6*h + 590 = 0. Is h prime?
False
Let b = 78 + -17. Suppose -3*r = -z + b, -z - 3*r + 38 = 1. Is z prime?
False
Let o(u) = 15*u + 6. Let y(c) = -1. Let m(b) = -o(b) + 2*y(b). Is m(-9) composite?
False
Let d = 3 + -8. Let o(b) = -18*b + 4. Is o(d) composite?
True
Let t(n) = -2*n + 0*n**2 - 1 - 3*n**2 + 2. Let i be t(1). Is i/(-6) - 271/(-3) prime?
False
Suppose -8*s + 2*s = -204. Is s prime?
False
Let g = -75 + 128. Is g a prime number?
True
Let l be (-2 + 4)*1 + 22528. Is ((-2)/(-6))/(10/l) a composite number?
False
Let v(p) = 3*p + 4*p**2 - 3 - 3*p**2 - 7*p. Let c be v(-3). Let o = c - 8. Is o prime?
False
Suppose 8*s - 4*s - 28 = 0. Let v(d) = d**2 - 9*d + 5. Let k be v(s). Let b = -6 - k. Is b a composite number?
False
Suppose 0*l + 4*l = -x - 11, x + 5*l = -13. Let g(j) = -30*j + 4. Let c be g(8). Is (-1)/(x + c/(-79)) composite?
False
Let s(i) = -i - 2. Let g be s(-5). Suppose 2*q + g*d = 98, 0 = -5*q + 5*d - 72 + 367. Is q prime?
False
Is (148/(-4))/((-2)/10) composite?
True
Let k be 400/(-6) - 2/(-3). Let b be 1/(-2) - (-390)/4. Let c = b + k. Is c prime?
True
Let a(u) = -u**2 + 8*u - 1. Let y be a(8). Let f(n) = 7*n**2. Is f(y) composite?
False
Let q = 423 - -718. Is q a composite number?
True
Let t = -47 + 128. Suppose -t = 4*f - 317. Is f a prime number?
True
Let n = 531 + -844. Let v be 2/7 - n/7. Suppose 4*u - v = u. Is u prime?
False
Let q be (-16)/(-24)*1*3. Suppose r - 151 = -2*s + s, q*s + r - 300 = 0. Is s prime?
True
Let c = 52 + -89. Let u be 273/63*(35 - -1). Let g = c + u. Is g composite?
True
Let x(q) = 162*q - 17. Is x(5) a composite number?
True
Is 2*254/(-4)*-3 composite?
True
Let m = 7 + -5. Let v be m/7 - 111/21. Let k(d) = -9*d - 6. Is k(v) prime?
False
Let n(q) be the second derivative of q**4/4 - q**3/3 - q**2 - 2*q. Is n(3) a composite number?
False
Suppose -41 = -5*n + 2*n - 2*i, -2*n + 2*i + 24 = 0. Let u = n - 3. Is 468/15 - 2/u a composite number?
False
Let i(u) = u**3 + 5*u**2 + 6*u + 5. Let a be i(-3). Is 416/a + (-6)/30 a prime number?
True
Let c = 16 + -6. Let z = 19 - c. Is z a prime number?
False
Let p = -9 + 73. Let u be (-12)/(-4) - 2*-1. Suppose 0 = -2*n + u*h + p, -5*n + 101 = 5*h + 11. Is n composite?
True
Let h(d) = d**3 - 6*d**2 + 7*d - 4. Let p be (2/(-6))/(6/90). Let x(b) = b + 10. Let s be x(p). Is h(s) a prime number?
False
Suppose -4*s + 922 = 214. Is s a composite number?
True
Let c(u) be the first derivative of u**2/2 + 6*u + 1. Let s be c(-6). Suppose 0 = -5*k - s*k + 30. Is k composite?
True
Let o(b) = -b**2 - 10*b. Let p be o(-10). Suppose p = -3*v - y + 242, -4*v - y + 341 = 4*y. Is v prime?
True
Let g = 7592 + -4387. Is g prime?
False
Suppose -2*s - 4*d + 1270 = 0, 2*s - 5*s - 2*d + 1917 = 0. Is s a prime number?
True
Suppose -3*v - 2 = 4, -4*k + 2178 = -v. Suppose 3*x - k = -115. Is x prime?
False
Let h(i) be the second derivative of i**4/12 + i**3/2 - 3*i. Let a be h(-4). Suppose a*q - 2*d = 36 + 166, -4*q - 3*d + 187 = 0. Is q prime?
False
Let y(o) = -o**2 + o + 6. Let l be y(0). Suppose q - l*q = -3925. Suppose 2*s - s = -a + 166, 4*s = 5*a - q. Is a composite?
True
Let g(l) = -5*l**3 + 4*l**2 - 8*l - 2. Suppose 7 = c - 2. Let a(p) = -11*p**3 + 7*p**2 - 16*p - 5. Let s(v) = c*g(v) - 4*a(v). Is s(6) prime?
False
Let n be 3 - 1/(-2)*-6. Let j(o) = 145 - o + 3*o**2 - 5*o**2 + o**2. Is j(n) a composite number?
True
Let u(f) = f**3 - 8*f**2 + 5*f + 1. Is u(10) a composite number?
False
Let c(d) = d**3 + 6*d**2 - 2*d - 8. Let j be c(-6). Suppose 4*k = -4*t + 24, j*t = 2*t + k + 3. Suppose -b - 42 = -t*b. Is b a composite number?
True
Suppose 571 = 3*y - 2*y - 4*b, 0 = y - b - 565. Suppose -5*s + 2*j = -y, -5*j = -s + 93 + 15. Is s a composite number?
False
Suppose 4*a - 2 = 10. Suppose -a*g = 27 - 198. Suppose -21 = 4*u - g. Is u prime?
False
Let k be 13 - 12 - -1*2. Let p(v) = 31*v**2 - 3*v + 4. Is p(k) a prime number?
False
Let w(j) be the first derivative of j**6/120 + j**5/60 - 7*j**4/24 + j**3 - j**2 - 5. Let x(g) be the second derivative of w(g). Is x(4) prime?
False
Let a = -8 - -6. Let i(o) = 2*o**2 + 3*o. Let n be i(a). Is (-84)/(-4) + (0 - n) a prime number?
True
Let p be -2*(-1*4 + 2). Suppose x = 5*x - p. Is (x*-5)/(4/(-124)) a composite number?
True
Suppose -2*h + h + 5 = 0. Suppose -5*r - 53 = -h*j 