**2 - l - 1. Let q be d(-1). Suppose 12 = -r - 3*s, s - q*s - 5 = 0. Suppose -5*u + 24 = 2*j, 2*u + 5*j - r = -u. Is u composite?
True
Suppose -3*c = -0*c - 5*l - 169, 5*l - 335 = -5*c. Let y = c - -24. Let v = y - 38. Is v prime?
False
Let b = 72 - 113. Let s = b + 76. Is s prime?
False
Let w(f) be the third derivative of f**6/120 + f**5/10 - 3*f**4/8 - f**3/6 - 5*f**2. Let r(h) = -3*h + 6. Let d be r(4). Is w(d) composite?
False
Let p = -48 - -81. Is p a composite number?
True
Let n be 4/(-6)*54/12. Let i be -6 - n - (9 - -2). Let u = i - -21. Is u composite?
False
Suppose 5*n - 3*z - 1596 = 2614, -4*n - 3*z = -3341. Is n prime?
True
Let z = 1075 - 652. Suppose -z = -5*j - 78. Is j a composite number?
True
Let y(n) = -4*n**3 + 3*n**2 + 4*n + 4. Suppose -5*k - 21 = -1. Let d = 1 + k. Is y(d) a composite number?
False
Let m = 3 - -764. Is m composite?
True
Let h(s) = 37*s + 2. Let c be h(2). Let u be 24 - (-1 + -1 + 5). Let v = u + c. Is v prime?
True
Let c = 0 + 1. Let a be c*4*(-3)/(-6). Suppose -3*u - 7 = 2, a*u - 214 = -4*r. Is r a prime number?
False
Let y be -49*((-12)/(-4))/(-3). Suppose -2*u - y + 627 = 0. Is u composite?
True
Is 4 - (-332 + -1 + -4) a prime number?
False
Let v(s) = -4*s - 9. Let u be v(-7). Suppose 0 = 3*h - 2*n - 50, 5*h + 4*n - u - 35 = 0. Is h composite?
True
Suppose 3*k + k + 20 = 0. Suppose 3*n - 21 = -2*r, -30 = -5*r - n - 2*n. Is r/(-2 - k) - -36 a prime number?
True
Let y = 346 + -95. Is y a composite number?
False
Let h(a) = -14*a + 2. Let t = -2 + -2. Is h(t) a composite number?
True
Let d(f) = 3*f - 4. Let o(r) = 2*r - 2. Let p(j) = -3*d(j) + 5*o(j). Let z be p(-4). Is (-132)/(-7) + z/(-14) a prime number?
True
Suppose 19 = t - 4. Is t prime?
True
Suppose -u + 2*w = -6*u + 2229, -3*w + 885 = 2*u. Is u a composite number?
True
Let u = -946 + 1795. Suppose 4*o = x + 261 + u, 4*o = 5*x + 1102. Suppose -4*r + 38 + o = 0. Is r composite?
False
Is 3 + 0 - ((2 - 4) + -584) prime?
False
Is 149 + (-2 - (-4)/2) a composite number?
False
Let c = 11652 + -7451. Is c a composite number?
False
Suppose w - 310 = 29. Is w a prime number?
False
Let k(d) = d**2 - 11*d - 77. Is k(-18) prime?
False
Let w(k) = 116*k**2 - k + 1. Is w(-2) a composite number?
False
Suppose 3*z - 14 = 2*f - z, 4*z = 16. Is 3472/12 - f/3 prime?
False
Is 3 - (-48 - (3 + -3)) a composite number?
True
Suppose 3*w + 86 = d, -484 = -5*d + 3*w - 6*w. Is d a composite number?
True
Let r(l) = -5*l**3 - 5*l**2 - 6*l - 1. Is r(-4) composite?
False
Is 2 - 10906/(-4) - (-7)/14 composite?
False
Let c = -3 + 7. Suppose 0*y = -c*y + 16. Let j = 3 + y. Is j prime?
True
Let x be -11 + 12 - (-8)/2. Suppose x*c = -3*y + 1655, -y = -5*c + 4*y + 1655. Is c a prime number?
True
Suppose 12 = 6*w - 10*w. Let n = 2 - -1. Is (-2)/n + (-29)/w a prime number?
False
Let b be (12/(-15))/((-4)/470). Let l be ((-6)/15)/(5/(-50)). Suppose 4*n - 3*z = 133, 0 = n + n + l*z - b. Is n composite?
False
Let r(w) = 2*w**2 + 8*w - 9. Let a be r(-7). Suppose 7 - a = -3*m + p, 3*m + 3*p - 30 = 0. Is m composite?
True
Let m = 23 + -16. Let l(o) = 3*o + o**2 - m*o - 5 + 7. Is l(5) a composite number?
False
Let g(m) = -m + 50. Suppose j = -j. Let b be g(j). Suppose b - 3 = o. Is o a prime number?
True
Suppose -4*l + 5*f + 5 = -0*l, -4*l - 4 = 4*f. Suppose l = -5*q - 5, -b - q + 45 = 3*q. Suppose -5*x + 4*s + 128 = b, 4*x + 4*s - 56 = 0. Is x a prime number?
False
Let u = -59 + 30. Let x = u - -94. Is x composite?
True
Suppose -1 = 2*f + 2*p - 5, -f = -p - 6. Suppose -17 = s + f*c, 0 = -4*s + 4*c + 5 + 27. Suppose k = 4*k - o - 637, -s*o = 3*k - 621. Is k composite?
False
Suppose -183 - 916 = -7*u. Is u prime?
True
Let o(n) = 537*n + 16. Is o(5) composite?
True
Suppose 2*d - 480 - 254 = 0. Is d prime?
True
Let y = 205 - 112. Suppose r + 2*t - y = 0, -5*r = -t - 523 + 36. Is r prime?
True
Let v = 189 + 308. Is v a composite number?
True
Let h(l) = -l**3 + 14*l**2 + 6*l + 4. Is h(5) composite?
True
Let y = -9 + 9. Let a = y - -4. Suppose 3*m + 276 = 3*w + 2*m, -367 = -a*w + m. Is w prime?
False
Suppose 3*t = q - 81, -t - 2*t + 405 = 5*q. Let r = -22 + q. Is r composite?
False
Let p be ((-2 - -3) + 0)*137. Let k = -110 - -50. Let d = p + k. Is d prime?
False
Suppose 0*m = m - 563. Is m a composite number?
False
Let v(u) = u**2 - 6*u + 6. Suppose -4*m + 0*m = -108. Suppose -3*s + 0 = -m. Is v(s) composite?
True
Suppose 4*s - 7*s = -6. Suppose 2*d = f - s*f + 18, 0 = 5*d - f - 45. Let w = 10 + d. Is w composite?
False
Let q = 4 - 6. Is ((-105)/6)/(q/4) a prime number?
False
Suppose 0*s - 3*s + 2181 = -2*z, s - 727 = -4*z. Is s a prime number?
True
Suppose 5*n - 11 = 3*q, q - 2 = -3*n - 1. Let v(j) = 62*j**2 - 4*j - 5. Is v(q) a composite number?
False
Suppose -5*c + 0 = -60. Suppose -q = 2*n - c, 1 = -q + 3*n - 7. Suppose -256 = -q*m - 4*x, 0*x + 3 = -x. Is m a composite number?
False
Let y(k) = -94*k + 3. Is y(-4) composite?
False
Suppose 4*c + 5*a + 255 = 0, 4*c + a - 3*a = -234. Let l = -13 - c. Is l composite?
False
Is (6 - 200/35) + 55758/14 a composite number?
True
Suppose -z + 4 = -0*z. Suppose -335 = -z*l - l. Is l a composite number?
False
Let y(l) = -24*l - 17 + 5*l - 4*l**2 - 3*l**2 + 9*l**2. Is y(14) prime?
True
Let g(h) = -h**3 + 27. Let q be g(0). Let a be q/6 + 3/6. Let c(d) = -d**3 + 6*d**2 - d - 7. Is c(a) composite?
False
Let a(v) = v**3 - v**2 + v - 1. Let x(d) = -9*d**3 + 8*d**2 - 3*d + 5. Let s(u) = -6*a(u) - x(u). Is s(3) a prime number?
False
Suppose u = 4*u + w - 2556, -4*u + 2*w = -3398. Is u prime?
False
Suppose -5*x = -5*d - 969 + 6204, -4*d + x + 4176 = 0. Is d a prime number?
False
Let j be (-50)/18 + 2/(-9). Let y be 12/(-8)*178/j. Let b = -36 + y. Is b prime?
True
Let q(n) = -n**3 + 2*n**2 + 3*n - 1. Let k be q(3). Is 36 - k/(-1) - -2 a prime number?
True
Let j = -801 - -1204. Is j a prime number?
False
Suppose -p - 4*s = -538, 0 = 2*s - 0 - 2. Suppose -p = -5*t + 141. Is 1*(t/3 - 2) composite?
False
Let j be -588*(3/(-6) + 0). Let x be ((-1)/(-2))/(1/j). Suppose -5*c - 42 = -x. Is c a prime number?
False
Let y = -1152 + 3454. Is y composite?
True
Suppose 2*p = 2*c - 444, c - 4*c + 2*p = -667. Is c composite?
False
Let b be 0/(-1) + 5 - 3. Suppose 0 = b*i - 115 - 3. Is i composite?
False
Let v(j) = 15*j**3 - 2*j**2 + 2*j - 1. Let z = -5 + 6. Is v(z) composite?
True
Suppose d = 4*j + 463, d - 19*j + 16*j = 465. Is d prime?
False
Let m(u) be the second derivative of 23*u**6/720 - u**5/30 - u**4/4 + 3*u. Let v(j) be the third derivative of m(j). Is v(7) composite?
False
Let n(s) = s - 2. Let a be n(-4). Let u = a - -10. Suppose 163 = 5*q + t, 3*q = -2*q - u*t + 157. Is q prime?
False
Let v(x) = -347*x + 9. Is v(-4) a composite number?
True
Let d(h) = h**3 + 13*h**2 + 3*h + 1. Is d(-10) a prime number?
True
Suppose u - 16 = -5*l, 1 = 4*l - u - 10. Let z(p) = 2*p - 1. Let f be z(l). Suppose 2*n - 268 = -f*b + n, -n = -3*b + 156. Is b a composite number?
False
Let m(c) = c**2 - 6*c + 6. Let u be m(4). Let d be ((-24)/8)/(3/u). Suppose -2*x + 0*v = d*v - 840, 2*v + 836 = 2*x. Is x prime?
True
Suppose -2*n + 6898 = -2*j, 0*j = 4*n + 3*j - 13796. Is n composite?
False
Suppose 0 = 2*p - 3*l - 502, -3*p + 753 = 5*l - 3*l. Is p prime?
True
Let i(z) = z**2 + 5*z - 10. Let f(s) = s**2 + 7*s + 8. Let o be f(-6). Suppose -o*n - 11 = 3. Is i(n) composite?
True
Suppose -3 = -5*s + 3*r + r, 2*s - 15 = -3*r. Suppose -2*d + 2 = -6. Suppose s*p = 2*t + t - 18, -d*t + 3*p + 29 = 0. Is t a composite number?
False
Let v(i) = 64*i + 17. Let o be v(-6). Let t = 940 + o. Is t a composite number?
True
Let p(n) = 2*n**3 - 7*n**2 - 3*n + 7. Let r = -11 + 16. Is p(r) composite?
False
Suppose 2*h - 691 = -3*h - 2*z, -3*z + 133 = h. Is h composite?
False
Let h be 5 + 0 + -2 - 0. Let r(a) = -2*a**2 + a**3 - 2*a**3 - 2*a + 0*a + h + a**2. Is r(-4) composite?
False
Suppose 5*w - 15 + 0 = 0. Suppose -6 = 2*m, -w*a = -0*a + 4*m - 225. Is a composite?
False
Let y(q) be the first derivative of q**3/3 + 8*q + 1. Is y(7) a composite number?
True
Let i = -18 + 12. Let s(t) = 4*t**2 + 2*t - 1. Is s(i) a composite number?
False
Is (-25)/10*186/(-5)*1 composite?
True
Let d be (-4)/(-6) - (-28)/21. Suppose 2*j = -d*u + 118, 0 = 3*j + u - 2*u - 177. Is j a composite number?
False
Suppose 5*x = -2*m + 10765, -4*x 