-2*l + 1. Let z be a(g). Let s(t) = t**2 - 2*t + 4. Is s(z) composite?
True
Let i(b) = -b + 1. Let x be i(-1). Suppose 5*m + 5*l - 335 = 0, 0 = m - 5*l + 2*l - 51. Suppose v - m = -5*k + 2*k, -x*k - 247 = -5*v. Is v prime?
False
Let b(r) = -4*r - 24. Let v(m) = m + 8. Let s(n) = 2*b(n) + 7*v(n). Let y = -12 - -18. Is s(y) prime?
True
Suppose -3*c = -2*d - 257, -3*c + 4*c - 91 = -2*d. Is c prime?
False
Suppose -3*y + 11 + 10 = 0. Is (y - 4) + 1/1 composite?
True
Let j = -2032 + 4161. Is j prime?
True
Let o(r) = 41*r**2 + r + 1. Is o(2) composite?
False
Suppose -3*v + 6*v = 1617. Let n = -238 + v. Suppose -6 = i - n. Is i a prime number?
False
Suppose a - 2*a = 2*o - 898, -2*a = -5*o + 2245. Is o prime?
True
Suppose -3*c + 190 + 155 = 0. Is c composite?
True
Suppose -3*h = 3*s + 305 + 4, -3*s = -3*h - 303. Suppose 276 = -4*u - 368. Let g = h - u. Is g composite?
False
Let w(v) = -17*v - 10. Let z be w(-7). Is z/(-3*(-4)/12) a composite number?
False
Let l(r) = -20*r + 4. Let n be l(-8). Let a = n - 87. Is a composite?
True
Suppose 2*y = -4*h + 8, 3*y = 4*h + 2*y + 4. Suppose 3*r + 8 + 7 = h. Let x(d) = -d**3 - 2*d**2 + 5*d + 5. Is x(r) composite?
True
Let z(o) = o + 46. Let k(b) = b. Let m(g) = -2*k(g) + z(g). Suppose -x + 2*t = 0, -3*x - 3*t + 2*t = 0. Is m(x) prime?
False
Let z = 158 + 81. Is z a composite number?
False
Let u = 1 - -2. Suppose m - u*c + c = 48, 4*c = -4*m + 132. Is m a prime number?
False
Let f be (1/2)/((-1)/(-124)). Suppose 98 + 1114 = 4*z - 4*m, 0 = 5*z - 2*m - 1521. Suppose 98 = 2*p + i, -z = -5*p - 2*i - f. Is p composite?
False
Suppose -3*s = -2*s - 4*k + 146, -654 = 4*s - 2*k. Let p be (s/4 + 0)*-6. Let g = -64 + p. Is g prime?
False
Suppose 0 = -f + 86 + 131. Is f a prime number?
False
Suppose 0 = 3*y - 236 - 115. Let j = -38 + y. Is j a composite number?
False
Suppose 1217 = 337*x - 336*x. Is x a composite number?
False
Let l be (3/4)/((-2)/(-32)). Let c = l + 11. Is c prime?
True
Let d = 13 - -558. Is d prime?
True
Suppose -p = 1335 - 3388. Is p a prime number?
True
Let q be 4/3*(-18)/4. Is 1*2*(-771)/q prime?
True
Let b(f) be the second derivative of 257*f**3/6 - 21*f. Let p be 6/8 - 3/(-12). Is b(p) a composite number?
False
Suppose 17*o - 1407 = 10*o. Is o composite?
True
Suppose -5*i = -5*s + 165, 2*i = -3*s + s + 54. Suppose -w + 0*w = -3*v - 40, 5*v + s = w. Suppose 0 = -3*z - 2*z + w. Is z a composite number?
False
Let p = -361 - -780. Is p composite?
False
Let j = -24 - -37. Is j composite?
False
Let x = 270 + -162. Let v = x - -14. Is v a composite number?
True
Suppose 5*n - 34 = -9. Suppose 2*a - 293 = -n*f, -3*a + 144 = f - 328. Is a prime?
False
Let s(k) = 8*k**2 - k - 2. Let y be s(-1). Let q(c) be the third derivative of -c**6/120 + 3*c**5/20 - c**4/6 + 3*c**3/2 + 2*c**2. Is q(y) composite?
False
Let u be 14995/20 + (-3)/4. Suppose u = -5*n - 1. Is n/(-8) + 5/20 a prime number?
True
Let z = 570 - -323. Is z a prime number?
False
Suppose 3*x - x = 0. Suppose -5*f + 1875 + 1880 = x. Let l = f - 488. Is l a prime number?
True
Let y be (384/(-10))/((-1)/5). Suppose -3*n - 3*q + y = 0, 308 + 39 = 5*n - 4*q. Is n prime?
True
Let y(j) = 6*j**2 + 3*j + 3. Let v be y(3). Suppose -f + v = 15. Is f a composite number?
True
Let r(p) = 68*p + 1. Suppose -d + 3 - 4 = 0. Let l(z) = -2*z**3 + 2*z + 1. Let u be l(d). Is r(u) prime?
False
Suppose 7 = -3*u - 11. Let v(l) = 1 + 2*l**2 + 2*l + 4*l - 2. Is v(u) a prime number?
False
Suppose -82*m + 80*m = -7390. Is m a prime number?
False
Let h = -3 - -4. Suppose 2*q = 4*g + 78, -2*q + 4*q - g = 69. Let n = q + h. Is n a composite number?
True
Suppose 54810 = 10*j + 16600. Is j a composite number?
False
Let s(m) = 5*m**2 - m - 1. Let q be s(-1). Let k = 6 - q. Is -2 - (-35 - (3 - k)) prime?
False
Is (-17702)/(-26) - 1/((-39)/6) prime?
False
Is 2/6*194*(-330)/(-20) a prime number?
False
Let c = 1175 + -694. Suppose d - 5*r - c = 0, -4*r = 4*d - 2214 + 242. Is d composite?
False
Let q be 1/4 + 124/16. Let c = -5 + q. Suppose 4*z = c*d - 109, -z - 39 = -d + z. Is d composite?
False
Let z(n) = 2*n**2 - 2*n - 2. Let f(k) = -2*k**2 + 5*k - 2. Let m be f(3). Is z(m) composite?
True
Is (-1 + -5)/3*1775/(-10) a prime number?
False
Suppose 5*g - 2*a + 294 = 0, 0*a + a + 230 = -4*g. Let o = -21 - g. Is o a prime number?
True
Let d(k) = 49 - 46 + 164*k**2 + 4*k + 151*k**2. Is d(-2) composite?
True
Suppose 0*f - 1265 = -5*f. Is f a prime number?
False
Is 3 - (-218 - -1) - 3 a composite number?
True
Suppose -c = c + 4. Is 1/(c/(-316)*2) prime?
True
Let j = -25 - -11. Is (j/8)/((-2)/24) prime?
False
Let j be 5/4 + 42/56. Suppose i = 4 + j. Is i a prime number?
False
Suppose -8*j - 5*p + 45 = -3*j, -4*p = 5*j - 49. Let v be 4/6*-6 - -60. Let a = v - j. Is a a prime number?
True
Let u be (-2)/(1*(2 + -3)). Suppose u*p = 3*p - 6. Suppose 86 = 4*h - p. Is h composite?
False
Let q(o) = o + 1. Let i(f) = 17*f - 3. Let m(v) = i(v) + 4*q(v). Let c = -2 + 3. Is m(c) prime?
False
Let i(x) = -x**3 + 8*x**2 - 6*x - 1. Let m be i(7). Let r = -3 + 1. Is -1 - m/r - -117 prime?
False
Suppose -5*y = 2*j - 48 - 651, 0 = -4*y + 2*j + 570. Is y prime?
False
Suppose 5*q - 10 = -2*o, 0 = 3*o - 0*o - 2*q + 4. Is (-3 - 28/(-2)) + o prime?
True
Suppose 19 = b + 2*d, -2*d + 8 = 2*d. Suppose -p + b = 4*j - 2*j, 5*p + 4*j = 51. Suppose 2*c = t, -2*c + p*c - 25 = 0. Is t prime?
False
Suppose 3*y = -3*o - 846, 0 = 2*o + 3*y - 82 + 643. Let m = 496 + o. Is m a composite number?
False
Let l = 255 - 160. Suppose p = 4*p - 522. Let y = p - l. Is y a prime number?
True
Suppose 1 = -3*p + 2*p. Let s be 18/(-24)*4/p. Is (2/(-2))/(s/(-129)) a composite number?
False
Suppose -3*w + 473 = -4*i, -3*i = -2*w + i + 310. Is w composite?
False
Let o(z) = -z**3 + 4*z**2 + 2*z - 3. Let s = 8 - 4. Let c be o(s). Suppose c*v - 169 = 96. Is v a composite number?
False
Suppose 176 = 2*t - 4*t. Let z(h) = -9*h + 10. Let j be z(7). Let f = j - t. Is f composite?
True
Suppose -4*w - 3 = -5*w. Let j be 0/2 - (-1209)/w. Suppose -2*h - j = -4*g + 67, 4*h = -4*g + 440. Is g a composite number?
True
Suppose 6 = 4*y - 2. Suppose -y*g + 637 = -335. Is g/14 + (-2)/(-7) composite?
True
Let s = 8 - 5. Is (-3*(-2)/s)/1 a prime number?
True
Let u(n) = 2 - n**3 - 10*n + 11*n**2 + 2 + 3. Is u(7) a prime number?
False
Let u(f) be the third derivative of -17*f**4/24 + f**3 + 5*f**2. Is u(-5) a prime number?
False
Is ((-1005)/45)/(2/(-6)) composite?
False
Let d = 31 - -88. Is d composite?
True
Let y(w) = -73*w**2 + 3*w + 2. Let k(b) = -74*b**2 + 2*b + 1. Let v(z) = -3*k(z) + 2*y(z). Is v(2) a composite number?
True
Suppose -22*z + 169 = -21*z. Is z a prime number?
False
Let u(c) = c**3 + 14*c**2 - 16*c + 30. Is u(-13) composite?
True
Let a(w) = -w**2 + 4*w + 7. Let f be a(5). Is -127*f*2/(-4) a composite number?
False
Suppose r = -0*r + 2*k + 15, -36 = -5*r - 3*k. Is (-142)/(-6) + (-6)/r prime?
True
Let h be 2/(879/291 - 3). Let o = -2 + 2. Suppose o = 5*f + 27 - h. Is f a prime number?
False
Is ((-2)/3)/((-2)/1119) prime?
True
Let n = -147 + 296. Is n a composite number?
False
Suppose 5*y - 69 = 4*y. Is (y/6)/((-2)/(-4)) prime?
True
Let i(f) be the second derivative of 37*f**3/6 - f**2/2 + 2*f. Let r be i(2). Let d = r + 16. Is d a prime number?
True
Let s(z) = -5*z - 19. Let m be s(8). Let p(y) = -y + 82. Let x be p(0). Let c = m + x. Is c composite?
False
Let s(w) = -w + 579. Let n be s(0). Suppose 0 = 4*j - 265 - n. Is j composite?
False
Suppose 4 = -4*f + 3*f. Is (-869)/f + 7/(-28) a prime number?
False
Suppose k = -0*k + 76. Suppose -r + k = 3*r. Is r a composite number?
False
Suppose 4*k - 565 = -5*f, -133 = -0*k - k - 4*f. Is k a composite number?
True
Let v(s) be the second derivative of s**3/6 - 5*s**2/2 - s. Let r be v(7). Suppose -i - r*b = -145, -5*i - 5*b = -370 - 355. Is i composite?
True
Let c(h) = 23*h**2 - 27*h - 17. Let q(y) be the third derivative of -2*y**5/15 + 3*y**4/8 + y**3 + 3*y**2. Let s(j) = 4*c(j) + 11*q(j). Is s(7) composite?
False
Let i(l) = -4*l + 5*l**2 - l**3 + 6 + 4*l. Let v be i(5). Is (-83)/2*(v + -8) prime?
True
Let z(l) = l**3 - 8*l**2 + 7*l + 5. Let x be z(7). Suppose 0 = -2*j + 4*j + 8, x*j + 150 = 2*s. Is s a prime number?
False
Let m(d) be the first derivative of d**3/3 - d**2/2 - 5*d - 2. Is m(7) a prime number