*c(k) - t(k). Let i be (-1)/((-2)/4) + -1. Is a(i) prime?
True
Let d = 25 - 47. Let m = -31 - d. Let b(o) = -6*o - 1. Is b(m) a prime number?
True
Suppose 4*w + 4*d = -d + 336, 0 = -3*w - 2*d + 245. Is w prime?
True
Let a(s) = s**3 + 9*s**2 + 4*s + 5. Is a(-8) a composite number?
False
Suppose 0 = 3*f - 2*f + 2002. Let l be f/(-4) - 3/2. Suppose -p + 322 = 2*n - 3*p, 5*p = -3*n + l. Is n a composite number?
False
Suppose 100 = m + d, -3*m + 506 = 2*m + 3*d. Is m a composite number?
False
Let g(w) = -w**3 + 6*w**2 + 6*w + 2. Let c be g(7). Let s be c/(3/(-2) - -2). Let n(i) = -i**3 - 9*i**2 + 9*i + 9. Is n(s) a composite number?
False
Suppose -2*d = -3*w + 643, -4*w = -4*d - 0*d - 864. Is w a composite number?
False
Let c(d) = 2*d**2 + 7*d + 1. Let g(i) = i**2 + 7*i + 2. Let q(l) = -2*c(l) + 3*g(l). Let s be q(6). Suppose -57 = -3*v + 3*f, s = 2*f + 2. Is v prime?
True
Let r = -44 - -123. Is r a composite number?
False
Suppose -3*v + 5*c - 82 = 0, -c - c - 60 = 2*v. Let q = v - -40. Is q prime?
True
Let b = -79 + 90. Is b prime?
True
Is 692 - 2 - (-2)/(-2) a composite number?
True
Suppose -2*d = -8, 0 = 5*z - 2*d + 214 - 991. Is z a prime number?
True
Let o(k) = 3*k**2 - 9*k - 1. Suppose -a + 16 = -3*b, -5*b + 2*a - 25 = -0*a. Is o(b) a prime number?
False
Let n be (-3797)/(-5) + 3/5. Suppose -i = 4*i - 3*w - n, w = 5*i - 750. Is i a composite number?
False
Let x(y) = -7*y - 10. Suppose -7 = -4*d + 1. Suppose r + 3 = -d*n - 2*r, -4*n - 16 = 4*r. Is x(n) a composite number?
False
Let r = 167 + -112. Is r prime?
False
Suppose 0 = 2*m - 6, -5*u - m + 6 = -4*m. Is u prime?
True
Let r = -100 + 278. Is r composite?
True
Let w(s) = 11*s**2 + 9*s - 2. Let p be w(-7). Let h = -23 - p. Is h/(-9) + (-2)/9 composite?
True
Let j = -3 + -5. Let t(n) = n**2 + 7*n - 11. Let y be t(j). Let u = 5 + y. Is u a prime number?
True
Let v be 4/10 - 1773/(-5). Suppose 5*u - b + 4*b = 589, 3*u - v = -b. Is u a prime number?
False
Let m(n) = 11*n**2 + 3*n - 3. Let x be ((-28)/(-21))/(2/3). Is m(x) a prime number?
True
Let f = 17 - 19. Let b(m) = 27*m + 3. Let u(a) = 82*a + 9. Let x(d) = 11*b(d) - 4*u(d). Is x(f) composite?
False
Suppose u + 22 = -14. Let b be 248/(-18) - (-8)/u. Let g = 17 - b. Is g prime?
True
Suppose -3*j - 5*c = 9, 0 = -2*j + 5*c - 3*c + 10. Is 1542 + (3 - 0 - j) a prime number?
True
Let s(c) = -5*c + 6. Is s(-3) composite?
True
Let u(v) = -v**2 + 4*v + 1. Let z be u(2). Suppose z*s + 0*s - 10 = 0. Suppose 6*c = s*c + 8. Is c composite?
False
Suppose -o - 181 = 4*n, o + n = 6*n - 172. Is o/(-5 + 2)*1 a composite number?
False
Suppose 4*c - 28 = 16. Is c a prime number?
True
Let m(a) be the third derivative of -a**6/120 + 3*a**5/20 - 3*a**4/8 + a**3/2 + 3*a**2. Is m(6) prime?
False
Suppose -2105 = -u - 482. Is u prime?
False
Let r = 2437 + -1444. Let p be r/2*(-14)/(-21). Suppose -p = -d - n, -3*n + 335 = -d + 2*d. Is d a composite number?
True
Let u be (-3 - -4) + 0 + 7. Is (-538)/(-6) - u/12 prime?
True
Let s(m) = -m - m**3 + 2*m**3 + 5 + 0*m - 3*m + 3*m**2. Let o be s(-4). Let q = 62 + o. Is q prime?
True
Suppose 18 = u + x - 14, -x = 4*u - 143. Is u a composite number?
False
Suppose -2 = g + 5*k + 5, 2*k = 5*g - 73. Suppose -o - g = -2*o. Is o prime?
True
Let w = 99 + 88. Is w composite?
True
Suppose -2828 = -2*s - 2*s. Is s prime?
False
Let q(z) = -z**2 - 11*z - 5. Let o be q(-10). Let y = 574 - 223. Suppose 4*t - o*v = y, 5*t = -0*t - 5*v + 450. Is t prime?
True
Let j be (-5)/(-10) + (-2)/4. Suppose -5*s - y = 694, -4*s + 3*y = -j*y + 540. Let o = s + 217. Is o prime?
True
Let p(k) = 3*k**3 - k**2 - 35*k + 9. Is p(8) composite?
False
Let j(w) = 107*w - 9. Is j(4) prime?
True
Let q(l) = 142*l - 25. Is q(11) a prime number?
False
Let x(h) = 16*h**3 + 2*h**2 - h - 4. Is x(3) a prime number?
True
Let x(r) = 8*r**2 + 3*r + 2. Is x(-7) composite?
False
Let u(y) be the second derivative of y**5/20 + y**4/2 - y**3/2 - 5*y**2/2 + 10*y. Is u(-4) prime?
False
Let s = 0 - -10. Let h(i) = i**2 - i + 3. Let a be h(0). Suppose a*v - s - 11 = 0. Is v prime?
True
Let z be -1*(2 + (-3)/1). Let i be 1 - (-1 + z + 2). Is (1 - -6)*(1 - i) a prime number?
False
Let q(m) = m**3 - 5*m**2 + 8. Suppose -5*r = -u - 0*u - 33, -r + u + 5 = 0. Is q(r) a composite number?
True
Suppose -2*o = -2*h + 538, -4*h - 428 + 1504 = o. Suppose h = 2*r - 305. Is r a composite number?
True
Let w(g) = 45*g**2 + 3*g - 1. Is w(2) a composite number?
True
Suppose a = 3*w, a + w + 0 = 4. Let s(z) = -5*z + a*z**2 + 8 - 7 + 6. Is s(7) composite?
True
Suppose -2*m = -4, -2*d = -6*d - 3*m + 7394. Is d composite?
False
Let u be (12/(-16))/(3/(-12)). Suppose 4*g - 2 = 2*y, 2*y - 1 = -4*g + 21. Suppose u*b + 0*b - y*p = 70, 4*b - p = 99. Is b composite?
True
Is (1 - (2 + 0))/(2/(-1166)) a composite number?
True
Let g = -8 + 6. Let s be g/(-3) + (-2)/3. Suppose 2*t + t - 273 = s. Is t a composite number?
True
Suppose z - 4*z = 3*b, -2*z + b = -12. Suppose 2*y - 453 + 95 = -z*v, 5*y - 183 = -2*v. Is v composite?
False
Suppose -3*v - 3408 + 620 = -a, -5*a + 2*v = -13901. Is a composite?
True
Let o(m) = -6*m - 3. Let c be -4 - 6/(-3)*-1. Is o(c) a composite number?
True
Suppose -4*g + 3172 = -3*m + 5*m, -1586 = -m - 4*g. Is (0 - 1)/((-13)/m) composite?
True
Let o(i) = i**2 + 439. Let n be o(0). Let u = n - -270. Is u a composite number?
False
Let y = -156 - -2923. Is y prime?
True
Is ((-3)/(-3))/((-2)/(-1294)) composite?
False
Let i(f) = -f**3 + f**2 - 4*f + 2. Let s be i(-7). Is s - 5 - 8/2 a composite number?
True
Suppose 0 = -6*u + 3511 + 1859. Is u a composite number?
True
Let d(n) = n + 35. Is d(-16) a composite number?
False
Suppose 0 = 3*l - 338 + 71. Let i be -3 + -49 + 2 + -2. Let f = l + i. Is f prime?
True
Let a(x) = -x - 2. Let p be a(-5). Suppose g = -4*u, -8*g = -p*g. Is (3 - u)*84/18 prime?
False
Let a = -8 - -11. Suppose -4*l + 23 = -v - 21, -52 = -a*l - 4*v. Is 1/((l/9)/4) a prime number?
True
Let t(c) = -c**2 - 3*c - 5. Let k(f) = f**2 + 4*f + 5. Let s(d) = -5*k(d) - 4*t(d). Suppose 5*w - w - 3*n + 27 = 0, -21 = 3*w - 3*n. Is s(w) a composite number?
False
Let l = 177 - -21. Let i = l + -41. Is i a prime number?
True
Suppose -2*c + 183 = -5*r, -5*c - 2*r = -287 - 156. Is c a prime number?
True
Let s = -57 - -106. Suppose b - 83 = -4*b + 2*d, 0 = -3*b + d + s. Is b prime?
False
Suppose 1885 = 8*s - 3*s. Suppose l - 7*m - 171 = -3*m, 2*l - m - s = 0. Is l prime?
True
Let y(v) = -8*v + 1. Suppose 0 = -3*q + 2*q - 3. Is y(q) a composite number?
True
Suppose -2*g + 192 = -5*b, -192 = -4*g + 2*g - b. Let o(s) = -3*s - 25. Let k be o(-22). Let z = g - k. Is z composite?
True
Let c(a) = -10*a**2 + a + 7. Let i be c(4). Is i*(2/(-1) + 1) a prime number?
True
Suppose 5*j + l - 4*l - 512 = 0, -3*l = j - 106. Is j prime?
True
Let v = -5 - 4. Let r be -101*3/v*-3. Let a = r + 152. Is a prime?
False
Suppose d - 3*d + 668 = 0. Is d - (6 - (-3 + 6)) a composite number?
False
Let b(n) = 11*n - 10. Suppose 5*m + 6 = 2*x - 0, -5*m - 5*x + 15 = 0. Suppose -14 = -m*h - 2*h. Is b(h) prime?
True
Suppose -2*l - 3*r + 4563 = l, -5*r = -2*l + 3077. Suppose 0 = -0*o + o - 5*n + l, -1526 = o + 2*n. Is o/(-18) - (-10)/45 a composite number?
True
Let z = 637 - 333. Suppose 5*p - 2*m - z = 0, 5 = 3*m - 4. Suppose 2*v = 44 + p. Is v a composite number?
False
Let j(o) = -9*o + 2. Suppose -6*q + q = -40. Suppose 4*w - 3*u + q = 0, -3*u - 20 = 2*u. Is j(w) composite?
False
Let q = 6 - -1. Is q + -4 + (-44)/(-1) composite?
False
Let h(r) = -5 + 2*r - 27*r + 48*r. Is h(4) prime?
False
Let b = -713 + 1292. Is b a prime number?
False
Is 6/(-33) + (-16526)/(-22) a composite number?
False
Let w be (-34)/(-10) - 20/50. Let n(o) = -o - 2*o + 7*o + o**2. Is n(w) a composite number?
True
Is 4/14 + (-35172)/(-84) a prime number?
True
Let m(l) be the second derivative of 0 - l**2 - l + 49/6*l**3. Is m(3) a composite number?
True
Let k be (((-54)/(-2))/(-3))/(-1). Let i = k + -6. Suppose u = -i*c + 2 + 5, 2*u = -4. Is c a prime number?
True
Let g = -36 - -121. Is g prime?
False
Suppose -u = -61 + 2. Is u a prime number?
True
Let b be ((-3)/3 - 0)*-1. Suppose 3*w + b - 100 = 4*h, 4*h = -2*w + 86. Is w a prime number?
True
Let r(k) = -k + 6. Let p(g) = 2. Let w(z) = -7*p(z) + 2*r(z). Let m be w(-2). Suppose -m*s + 71 = -215. Is s 