(n) = 2*k(n) - 5*l(n). Let u be v(-6). Let q(d) = d**3 + 7*d**2 + d. Is q(u) a prime number?
False
Is 0*(-3 + 28/8) - -1117 a composite number?
False
Suppose 0 = -5*c + 14 + 11. Suppose c*a + 4*h - 249 = 0, -a = 3*a + h - 197. Is a a composite number?
True
Let q be (-1)/((-18)/(-15) - 1). Is 43 - (-16)/(-1 - q) a composite number?
False
Is (-1)/6 + (-427)/(-42) composite?
True
Let z(r) = r**3 - 14*r**2 + 12*r + 16. Let n be z(13). Is -2 + n + -2 - -128 a prime number?
True
Let g = -5 - -2. Let t be g/2 + 22/4. Suppose 40 = b + t*h - 3*h, b - 50 = -3*h. Is b a prime number?
False
Let r(i) = 71*i**2 - 4*i - 2. Is r(-3) composite?
True
Let f(c) = -50*c + 55. Is f(-24) prime?
False
Let o = 12 - 18. Let j(z) = z**3 + 7*z**2 + z + 7. Is j(o) a prime number?
True
Suppose 2*o - 3*z + 3 = -8, -5*z + 31 = 3*o. Suppose 4 = 4*h + u, -h + 3*u = -2*u + 20. Suppose -b - o*b + 45 = h. Is b composite?
True
Let k(o) = o + 14. Let l(p) be the third derivative of -7*p**3/6 + 2*p**2. Let c(z) = -2*k(z) - 5*l(z). Is c(-7) prime?
False
Suppose -3*v + g + 2*g - 3 = 0, -4*g = -3*v - 4. Let i(z) = 4*z**2 + 5*z - 5. Let j be i(-5). Suppose -5*d + j + 0 = v. Is d a prime number?
False
Let o(n) = n**2 - 7*n + 4. Let r be o(7). Suppose r*z + 3 - 59 = 0. Is z a composite number?
True
Suppose 25 = 5*h, 2*h = -4*x + 5*h - 107. Let z = -13 - x. Is z prime?
False
Suppose -4*q + 2*q - 9 = -3*j, 4*j - 3*q = 13. Let y(v) = 121*v**2 + 1. Let h be y(j). Is 8/36 + h/18 composite?
False
Let l = 192 + -421. Let y = -68 - l. Is y prime?
False
Let y(k) = -1 - 6*k - k**2 + k - 3 - 2*k**3. Let q be y(-3). Suppose -2*p + 18 = -q. Is p prime?
True
Suppose -7*n = -22232 - 21147. Is n composite?
False
Let k = 110 - 15. Suppose -28 = j - k. Is j a composite number?
False
Let c = 298 - -341. Suppose -207 = 4*s - c. Is (3 + s*1)*1 composite?
True
Let w be 35/21*1*15. Let u = w - -6. Is u a prime number?
True
Let s = 81 - -108. Let f(u) = u**3 - 2*u**2 - 5*u + 3. Let a be f(3). Is 1/(-3*a/s) composite?
True
Is 16/(-3 + -1) + 261 prime?
True
Suppose 0*o + o - 242 = -v, 2*o = -5*v + 1195. Is v a composite number?
True
Let f be (2 + -3)/(3/(-27)). Suppose -213 = -12*j + f*j. Is j prime?
True
Suppose 0 = -2*f + 4*o + 14, f + o = 4*o + 10. Is 0 + (-1)/(f/(-269)) prime?
True
Suppose y - 10 - 3 = 0. Let h be 2/(-8) - y/(-4). Suppose -h*r + 89 + 49 = 0. Is r composite?
True
Suppose -3*t + 156 = u - 601, -2*u = 3*t - 761. Is t a composite number?
False
Suppose -4*m + m + 11 = 5*w, 8 = 4*m. Let f be (2 + w*-3)*3. Let h = 50 - f. Is h a prime number?
True
Suppose -4*n = -6*n + 30. Let j = -12 + 13. Let c = n - j. Is c a prime number?
False
Let u(p) = 2*p**2 - p - 2. Let j be u(2). Let f be 7 + 1/((-2)/j). Suppose 2*v = f*v + 2*z - 25, -8 = 2*z. Is v composite?
False
Suppose 16 = 5*x + 3*s, x - 2*s = -3 + 1. Is x/(-10) - (-872)/10 prime?
False
Let t = 4 + -1. Suppose 0*d + t*a = 2*d - 12, -2*a - 10 = -2*d. Is d prime?
True
Let o = -9 + 12. Suppose a + 216 = 5*z + 22, 5*z - 3*a - 192 = 0. Suppose o*r - 144 = -z. Is r a prime number?
False
Let q be 873 - (0 - (3 + -1)). Suppose 6*p - 4*w = 3*p + q, -p = 5*w - 298. Is p a composite number?
False
Is 4/2*878/4 composite?
False
Suppose -2*x - 5902 = -4*f - 5*x, 2*x + 4435 = 3*f. Is f a composite number?
True
Suppose -c + 5*y = 4*c - 155, -182 = -5*c - 4*y. Suppose 0 = t - 0*t - c. Is t composite?
True
Let b(x) = x**2 - 4. Let t be b(-3). Let d = -5 + t. Suppose -o + 254 = 2*i + 3*o, d = i + 4*o - 121. Is i composite?
True
Let q(r) = 5*r**2 - r - 3. Let c be (2 - (11 + -1)) + 3. Is q(c) a prime number?
True
Suppose 2*m + 5*o + 7 = 0, -m - 1 = o + o. Let b be (-6)/((m/262)/(-3)). Suppose 3*a = 7*a - b. Is a prime?
True
Let z be (-1336)/28 + (-8)/28. Let g = 395 + z. Is g a prime number?
True
Let j(g) = 299*g**2 - g - 1. Let k be j(-1). Suppose 296 = 2*f + 2*r, 0*r + k = 2*f - r. Is f composite?
False
Suppose -x = 3*c + 4*x - 80, 0 = 3*x + 15. Suppose -5*v + 7 = r, -5*r - 4*v = -3*v - c. Is r composite?
False
Let y = 112 + -17. Is y a composite number?
True
Let d(h) = 2*h + 6 - 9*h + 4*h**2 - 3*h**2. Suppose -5*p + 30 = -5. Is d(p) a composite number?
True
Let w(q) = 35*q**2 + 2*q + 3. Let v be w(-2). Suppose -49 = 2*b - v. Suppose 0 = -4*j + j + b. Is j a prime number?
False
Let u(k) = -k**2 + 3*k + 5. Let d be u(5). Let i be (52 - 0) + d/(-5). Is i + (1 - -1 - 2) composite?
False
Suppose 5*n - 13 - 12 = 0. Suppose 3*b = 4*m + 105, -n*b + 175 = -2*m + 3*m. Is b a composite number?
True
Is (-12)/(-21) - 4/(28/(-37677)) a composite number?
True
Suppose 0 = 2*o + 10, -5 = -3*a + 3*o + 4. Suppose 4*l - 2*l - 5*w - 4 = 0, -3 = -l + 3*w. Is 3/(l/(-11)) + a a composite number?
True
Is 38 + 8/(40/(-15)) composite?
True
Suppose 6*c + 95 - 941 = 0. Is c a composite number?
True
Let k be (-2 + 1)/((-1)/15). Suppose o - 4*c = k, -3*o + 6*c + 36 = 3*c. Is o a prime number?
True
Let t = 7 + -3. Suppose 4*n = -t*x + 240, 3*n - 114 = -2*x + 7*n. Is x a composite number?
False
Suppose -5*u + s + 4*s = -40, 3*u - 23 = 4*s. Let q(t) be the second derivative of t**5/20 - 7*t**4/12 - t**3/2 - 2*t**2 + 13*t. Is q(u) a composite number?
False
Let r(m) = 1010*m - 3. Is r(2) prime?
True
Suppose -6*n + 2*n = 3*v - 1, -3*v - 3*n + 3 = 0. Suppose -165 = -v*h - 60. Is h a prime number?
False
Suppose v - 196 = 27. Is v prime?
True
Let x = -51 + 5. Suppose -k + 0*j - 5*j = 0, -5*j = 3*k + 30. Let v = k - x. Is v a composite number?
False
Let c = -158 + 379. Suppose p - c = -0*p. Is p composite?
True
Let q(m) = 15*m + 14. Let r be q(-6). Let b = r - -407. Is b a prime number?
True
Suppose 3*d - 2297 = -5*t, 2*d + 3*t - 741 = 791. Is d prime?
True
Suppose 0 = -x, 3*s - 6*s + 45 = 5*x. Is s prime?
False
Let u(z) = -20*z - 13. Is u(-7) a composite number?
False
Let y = 14 + -10. Suppose 173 = 3*a + y*s, -a - 118 = -3*a - 4*s. Is a a composite number?
True
Suppose 0 = 7*k - 2*k - 895. Is k prime?
True
Suppose 2*n - 3*r - 1202 = 0, 2*r + 0 - 4 = 0. Suppose 3*s - n = -2*d, 2*s - 3*d = -s + 594. Suppose -3*z = 4*b - 2*z - s, 2*z + 237 = 5*b. Is b a prime number?
False
Suppose 0 = -4*h + 2*z + 14, -3*h + 4*z + 8 = -10. Let c be 0/h - -6*2. Suppose 3*y - c = -j + 2, 3*j - 4*y = 81. Is j composite?
False
Suppose -v = -3*v + 230. Is v - ((0 - -3) + -3) prime?
False
Suppose -d + 6*d + 3*b = 1495, 3*d - 897 = -4*b. Is d a prime number?
False
Let d be (-3)/9 - 32/(-6). Suppose -247 = -d*p + 38. Suppose -3*o = -0*o - p. Is o a composite number?
False
Suppose 3*h = -h. Suppose 3*i + 6 = h, 2*i = b + 4*i + 1. Suppose 3*q = 6, -8*q = -3*n - b*q + 101. Is n composite?
False
Let i = 701 - 178. Is i a composite number?
False
Let c(t) = 224*t**2 + 2*t + 1. Let u(k) = -k**2 - 9*k + 9. Let z be u(-10). Is c(z) a prime number?
True
Let j = -1 - -4. Suppose 7 = 2*t - j. Let f = 17 + t. Is f a prime number?
False
Let a = -1 - -33. Suppose u - 5*u = 4*p - a, 2*p + 5*u - 25 = 0. Suppose 4*r - 888 = -p*q, 2*r - 3*q + 229 = 3*r. Is r a prime number?
False
Suppose 2*b = 6*b - 16. Suppose -b*u - 221 + 633 = 0. Is u prime?
True
Suppose x - r = 1, -5*x - r + 4*r + 9 = 0. Suppose -o - x*m = -316, -2*o - 2*m + 687 = -7*m. Is o composite?
False
Let i(h) be the second derivative of h**3/6 - h**2/2 + h. Let p be i(4). Let j = 14 - p. Is j prime?
True
Suppose 3*w = 27 - 297. Suppose -5*u - 2 + 17 = 0, -4*u - 193 = 5*i. Let r = i - w. Is r a prime number?
False
Suppose -3*t + 0*t = -39. Let b(c) = 6*c + 5. Is b(t) prime?
True
Let m(v) = -198*v**3 + 5*v**2 - 3*v + 4. Let x be m(3). Is 4/30 + x/(-30) prime?
False
Let y = 6 + -3. Let b = -11 + y. Let u(j) = -2*j + 10. Is u(b) prime?
False
Let c(m) = m**3 - m**2 - m. Let j be c(2). Suppose -2*h + 988 = j*h. Is h a composite number?
True
Let x = -35 + -96. Suppose -32 = -22*i + 26*i. Is (i + 7)/(1/x) a composite number?
False
Let f(p) = -25*p - 11. Is f(-4) prime?
True
Let i = 3 + -3. Let y be 2 + -2 + (12 - i). Suppose -4*w + 80 = -2*n, -2*n = 3*w - 55 - y. Is w prime?
False
Let f(l) = l**2 + 5*l - 9. Is f(-8) a composite number?
True
Suppose 114 = -4*m + 822. Is m composite?
True
Let g be -6 + 3 + (-6)/1. Let b = 92 + g. Is b a composite number?
False
Let n(v) = 19*v**2 + v - 1. Let h = 14 - 9. Suppose -h*u + 5 = -5. Is n(u) prime?
False
Let d(b) be the first derivative of b**3/3 - 3*b**