*2 + w - 35. Let u be n(0). Let y = -16 - u. Is y composite?
False
Is (-7276)/(-6) + (-2)/(-6) prime?
True
Let o(b) = 11*b**2 + 9*b + 13. Is o(-7) composite?
True
Let d = 5 + 11. Is ((-8)/d)/((-1)/194) prime?
True
Let h(l) = -l**2 - 2*l + 2. Let o be h(-2). Suppose -o*z = -5*z. Suppose 3*b - b - 22 = z. Is b a prime number?
True
Suppose 2*x - 351 = 1387. Is x a prime number?
False
Let x = -37 + 222. Let d = x + -79. Suppose d = j + j. Is j a composite number?
False
Let f(z) = 47*z - 17. Let c(s) = 24*s - 8. Let i(n) = -7*c(n) + 3*f(n). Is i(-4) composite?
False
Let f = 39 - -14. Is f a prime number?
True
Let a(k) = -k. Let q(b) = -3*b - 1. Let j(y) = 6*y + 3. Let x(o) = 2*j(o) + 5*q(o). Let p(u) = -5*a(u) + x(u). Is p(7) composite?
True
Let q(c) = c**2 - 14*c + 5. Is q(18) composite?
True
Let r(v) = v**2 - 11*v + 13. Let q be r(-14). Is (q + 2)*6/6 a composite number?
True
Is 1659 - (0 - -2 - 0) a composite number?
False
Let k be -3 - (3 - (1 + 6)). Let s be 1 + 2 + -1 + k. Suppose 3*p - 3*l + 2*l - 96 = 0, -s*l + 146 = 5*p. Is p a prime number?
True
Suppose -2*x + 784 = 5*g, 0 = -3*g + 4*g + 4. Suppose 2*f + x = 4*f. Is f composite?
True
Let k be 8 - (2 - 3 - -3). Let u(d) = -6 + 9 + 16*d - k*d. Is u(5) a prime number?
True
Let b = -35 + 6. Let x be (9 + -7)/((-1)/(-38)). Let t = x + b. Is t a prime number?
True
Let m = 4 - -7. Let u = m + -21. Is ((-126)/u)/3*5 prime?
False
Let s(a) = 21*a**2 - 4*a - 3. Is s(-2) a composite number?
False
Let o = -46 + 83. Is o composite?
False
Is -2*(-177)/(-6)*-1 prime?
True
Is 5984/10 - (-6)/10 a composite number?
False
Is (223*(-3)/6)/((-1)/22) prime?
False
Let u(j) be the second derivative of -j**3/3 - 3*j**2/2 + j. Let c be (5 + -1 - 2) + -5. Is u(c) composite?
False
Suppose -6 = -2*z + 4. Suppose -2*k - k + 137 = -4*t, z*t = k - 64. Is k a prime number?
False
Suppose 3*k = 2*n - 43, -4*k = -4*n - 0*n + 56. Let u = 25 + k. Is u a prime number?
False
Let x(n) = 77*n + 1. Let t be x(-8). Let d = -369 - t. Suppose -5*o = -d + 71. Is o a prime number?
False
Let o(z) = -z**3 - 4*z**2 - 3*z + 1. Is o(-6) a composite number?
True
Let t(r) = -r**3 + 6*r**2 - r + 2. Let u be t(6). Let g(b) = 2*b**2 - 5*b + 2. Let x be g(u). Let y = x - 31. Is y a composite number?
False
Let f(h) = 5*h - 7. Suppose 5*t = 2*v + 20, -t - 3*t - v + 16 = 0. Is f(t) a composite number?
False
Let u(l) = -5*l**2 + 3 + 7*l**2 + 2*l**2 + 7*l**2. Is u(4) a composite number?
False
Let f(q) be the first derivative of -q**4/4 + 3*q**3 + 9*q**2/2 - 14*q - 8. Is f(9) composite?
False
Suppose 0*r = -5*r - 5. Let s(i) = 42*i - 1. Let m be s(r). Let t = -29 - m. Is t a composite number?
True
Let t(b) = -b**2 - 8*b - 8. Let p be t(-6). Suppose 4*x - 283 = 3*j + 375, p = -2*j. Is x prime?
True
Suppose 2*t + i + 15 + 5 = 0, 4*t - 4*i = -28. Let m = t - -40. Is m a prime number?
True
Let i be 22/(-143) - (-2)/13. Let z = i - -7. Is z prime?
True
Let r be 2*-1*3/(-6). Suppose 3*v - 3*k - 174 = 0, -2*k = -k + r. Is v composite?
True
Suppose -3*x - 7 = -3*s + 2*s, -20 = 4*s. Let o = 195 + x. Is o a prime number?
True
Let r(d) = 2*d**2 - 8*d + 31. Is r(13) prime?
False
Let o(g) be the second derivative of 1/20*g**5 + 1/4*g**4 + 0 - 2/3*g**3 - 5/2*g**2 - 2*g. Is o(4) a prime number?
False
Let q = 1587 + -674. Is q composite?
True
Let i(t) = t - 4. Let g be i(5). Let n be 128/(-48) + 4/6. Is g/n*(-28)/2 composite?
False
Suppose -2*v = -6 - 0. Is 1/(v/75) - 2 prime?
True
Suppose 0*u + 3*u - 2*y = 656, 0 = -4*u + 2*y + 874. Suppose 0 = -2*l - 5*z - 207, 0 = -4*l + z - 3*z - 374. Let f = u + l. Is f a composite number?
False
Let q(x) be the second derivative of x**4/3 - 2*x**3/3 + 5*x**2/2 + 2*x. Let m(c) = c**2 - 5*c + 4. Let t be m(5). Is q(t) composite?
False
Let d(f) = -f**3 + 28*f**2 - 25*f + 17. Is d(21) composite?
False
Is -1*(-2 - -805)*-1 prime?
False
Let n = -11 - -13. Suppose -178 = -n*d + 144. Is d a composite number?
True
Let a(z) = -7*z - 5. Let n be a(-2). Let m = n + -2. Is m prime?
True
Let o = 689 - -202. Suppose o = 3*z - 564. Is z prime?
False
Is 194/1 + (-6 - 21/(-7)) composite?
False
Let j = 529 + -250. Let x = -108 + j. Suppose -2*u - 8*w + 3*w = -120, 3*w - x = -3*u. Is u composite?
True
Suppose 4*j + 144 + 274 = 2*z, 841 = 4*z - 3*j. Is z a prime number?
True
Let g(k) = -9*k - 2. Let a be g(4). Let b be -3*2/6*a. Suppose 3*f + 4*n - b = 0, 0*n - 15 = -f + n. Is f a prime number?
False
Let t be (-680)/(-110) - 4/22. Suppose -t*r = r - 3871. Is r a composite number?
True
Let q(t) = 3 - 508*t + 3 + 509*t. Let c = 1 - 1. Is q(c) composite?
True
Let c = 408 + -101. Is c prime?
True
Suppose -2*m = -m - 307. Is m a composite number?
False
Let c(i) = -i - 7. Let b be c(-7). Suppose -2*j - 2 = -b. Is ((-3)/2)/(j/4) prime?
False
Suppose 4*p = -5 + 49. Suppose -5*h = -14 - p. Suppose 4*d - 85 = -5*u + d, 0 = -5*u + h*d + 45. Is u prime?
False
Suppose -4*j + 112 = -0*j. Is (-1194)/(-8) + (-7)/j a composite number?
False
Let b be 6/39 - 48/(-26). Suppose b*k - 15 - 37 = 0. Is k prime?
False
Suppose 0 = -3*o + 15 + 15. Let k = o - -13. Is k a prime number?
True
Let l(o) = 7*o + 2. Let x = -1 - -3. Let i be l(x). Let u = i + 21. Is u prime?
True
Let r = -2 + 4. Is -5*(1*-58)/r a composite number?
True
Let f be (-1)/(-3) + (-116)/6. Let s be (-1)/(((-4)/f)/4). Let r = -8 - s. Is r prime?
True
Suppose i = 14 + 7. Is i a prime number?
False
Let q(v) = 1 - 18*v + 7*v + 14*v**2 + 2 - v**3. Is q(10) a prime number?
True
Let p(m) = m + 4. Let v(k) = k**3 + 4*k**2 - 5*k. Let q be v(-5). Let s be p(q). Suppose 0 = -s*j - 2*t + 64, 5 + 29 = 2*j + 2*t. Is j prime?
False
Suppose -4*v + 539 + 4569 = 0. Is v prime?
True
Let y(k) = -k**3 - 5*k**2 - 2*k - 7. Let h be y(-5). Suppose 2*o - 15 = -3*z, 6*z - z - 4*o = 25. Suppose z*j - h - 92 = 0. Is j composite?
False
Suppose 3*l - 3 = 0, 3*l + 2432 = -3*z + 8*z. Is z a prime number?
True
Let k(o) = -8 + 9*o**2 - 2 + 3*o + 9. Is k(3) a composite number?
False
Let k(s) be the third derivative of 23*s**4/24 - s**3/3 + 2*s**2. Is k(3) a prime number?
True
Let w(y) = -y**3 + y**2 + y - 1. Let h(z) = 11*z**3 - 5*z**2 - 3*z + 6. Let f(k) = -h(k) - 4*w(k). Let d be f(2). Is (-6)/(-4)*d/(-6) a prime number?
False
Let x(w) = -w**2 - 6*w + 2. Let m be x(-6). Suppose -3*n = -3*a + m*a - 629, 2*n + 2*a - 430 = 0. Is n composite?
False
Let s = 59 + -83. Let z be 3/((-6)/137)*-2. Let p = s + z. Is p a prime number?
True
Let i = 6 + -2. Suppose -2*q = -i*q + 10. Suppose -q*b = 79 - 504. Is b a prime number?
False
Let j be (-2)/8 - (-41)/4. Let v = 6 - j. Let l = v - -14. Is l prime?
False
Suppose -2*b = 0, -2*a + 0*b + 4*b = -4. Suppose 0*s + 370 = a*s. Is s prime?
False
Let v be 24/15 + (-4)/(-10). Suppose -2*f + v = -f + 2*t, -3*f - 2*t = -18. Is 58/f + 5/(-20) a composite number?
False
Let c be 2 + (-6)/(-3) + -1. Suppose -c*p - 28 + 10 = 0. Let g = -3 - p. Is g a prime number?
True
Let t = 818 + -281. Is t a prime number?
False
Let b be ((-6)/2 + 2)*0. Suppose n + z + 0*z + 4 = 0, b = n - 5*z - 20. Suppose n = 4*w - 88 - 148. Is w a composite number?
False
Let u = -459 - -1094. Is u composite?
True
Let n(f) = -7*f**3 - 1. Let j be n(-1). Let r(w) = 3*w - 7. Is r(j) prime?
True
Is (3676/(-12) - 0)*-1*3 prime?
True
Suppose 3*m + 5 = -4, m + 38 = 5*v. Suppose -92 = 3*n - v*n. Is n a composite number?
False
Suppose -4*d + 14 = -10. Let f(l) = -l + 6. Let s be f(d). Suppose s = 5*z - n - 244, 4*n - 3 = 1. Is z composite?
True
Let q = -508 + 746. Suppose 0 = -5*s - 3*x + 301, -2*x - q = -4*s - 3*x. Is s prime?
True
Let b = 469 + -50. Suppose -5*w = -n + b, 810 = 2*n - 0*n + 4*w. Is n composite?
False
Let o(l) be the third derivative of 15*l**4/8 + l**2. Let s be o(1). Let y = 67 - s. Is y a composite number?
True
Let k = -4 + 4. Suppose k*f = -3*w + 5*f - 8, 40 = 5*w + 5*f. Suppose 6 = w*z - 142. Is z composite?
False
Let k = -448 - -1617. Is k a prime number?
False
Let x(k) = k**3 - 4*k**2 + 4. Suppose -n + 1 = -3. Is x(n) composite?
True
Suppose 2*u = -2*u + 36. Let x = -7 + u. Suppose -q + x*q = 157. Is q a prime number?
True
Suppose 5*u - 373 = -2*o, -4*o = 3*u - 18 - 707. Suppose 2*h + 14 = 2*m, 6*m = 7*m + 3*h + 1. Suppose -3*r = -4*r + 2*c + 61, -3*r + o = -m*c. Is r prime?
True
Is 4 - (-18)/(-3) - 43*-13 a composite number