22 = -5*x, -x + 5*l - 21 + 8 = 0. Let k(n) = 8*n**3 + n**2 - 4*n + 3. Let g be k(x). Suppose 0 = -2*s - s + g. Is s a composite number?
True
Let f = 18 + -26. Is 3/(-12) - 954/f a composite number?
True
Let o(b) = -2*b - 6. Let g be o(-4). Let w(z) = 9*z**2 - 3*z + 3. Is w(g) a composite number?
True
Let o = -440 - -1329. Is o prime?
False
Let z(j) = -2*j - 5. Let y be z(-6). Let d = 33 - y. Suppose 4*g + 5*p = 14, -3*g - 2*p + 6*p + d = 0. Is g composite?
True
Suppose 9*a - 8967 = 9510. Is a a composite number?
False
Let o(v) = -59*v**2 + v - 2. Let m(y) = 29*y**2 - y + 1. Let c(w) = -5*m(w) - 3*o(w). Let h be c(-2). Suppose -4*f = f - h. Is f composite?
True
Suppose -4*n - 15101 = -48969. Is n prime?
True
Suppose 0 = -11*a + 9*a + 38. Is a prime?
True
Let y(n) = -5*n - 4. Let v be y(-7). Suppose -i = -2*i + v. Is i a prime number?
True
Let t(u) = -u - 3. Let g be t(0). Let m = g + 5. Suppose -x + m*x - 9 = 0. Is x a prime number?
False
Suppose 0 = -3*c + c + 118. Is c a composite number?
False
Let v(a) = 16*a**2 - 7*a - 13. Is v(-10) composite?
False
Suppose -4*n + 875 = -5*z, -286 - 356 = -3*n - z. Let f = n - 52. Is f a composite number?
False
Is (-42)/98 - (-136)/7 a prime number?
True
Let z(l) = l**3 - 3*l**2 - 2*l - 1. Let h be (-8)/(-1) + (-2 - 0). Is z(h) a composite number?
True
Let v(i) = 11*i**2 + 5*i + 4. Is v(-2) prime?
False
Let r = -5 - -9. Let d(b) = 0*b + b + 12 + 0*b - 17 + 2*b**3. Is d(r) a composite number?
False
Suppose -2*m - 10 = 0, 5*o - 5*m - 3167 = 33. Is o a composite number?
True
Suppose -k - 2*h - 12 = 0, 0 = -2*k - 2*h + 4*h - 12. Let y be (-158)/(-14) + (-6)/21. Let c = k + y. Is c composite?
False
Suppose 0 = -j + 3*j - 8. Suppose j*f + 3*g = 207, 3*f - 4*g + 12 = 161. Is f prime?
False
Suppose 3*q + 2*i = 4*q - 403, -q + 403 = 5*i. Is q a composite number?
True
Let x = -11 - -11. Suppose -y + 4*y - 111 = x. Is y prime?
True
Let y(z) be the second derivative of z**4/12 + z**3/6 + z**2/2 - z. Is y(6) composite?
False
Let o be (-4 - -6)*(29 - 1). Suppose 4 = 4*t - o. Is t composite?
True
Suppose 364 = 2*q - 222. Suppose -q = -4*a - 117. Is 3/2*a/3 composite?
True
Let p(u) = 23*u + 10. Is p(3) prime?
True
Suppose 4*b = -5*h + 2335, 0*b = -4*b. Is h composite?
False
Suppose 2*o - 5*p - 9 = -0*o, 2*p = o - 4. Is (-3 + o)/(2/(-38)) composite?
False
Let g(s) = 2*s**2 + 7*s + 11. Is g(16) a composite number?
True
Suppose 0 = 3*l + 5*g - 2*g - 147, -2*l - 5*g = -98. Is l composite?
True
Suppose -u + 14 = -3*j, -j + 5*j + 24 = 4*u. Suppose 3*q = -u*z - q + 96, 3*z = -q + 169. Is z prime?
False
Suppose -4*x + 3894 = -o, 4*x + o + 1246 = 5144. Suppose 0 = 25*f - 23*f - x. Is f a prime number?
True
Suppose 6 = -5*g + 21. Suppose -5*f - 13 - 7 = -g*y, -5*f - 10 = -2*y. Is y composite?
True
Let l(y) = -51*y - 100. Is l(-7) a composite number?
False
Let w = -212 - 61. Let z = w + 475. Is z a composite number?
True
Suppose 5*n - 3*n - 3 = 3*u, -u = -5*n + 14. Suppose n*r - 636 = -r. Is r composite?
True
Let r = -7 + 12. Suppose -r*w = -4*w + 1. Is (-1)/(w*(-3)/(-141)) a prime number?
True
Let a be -2 + (2 + -5 - -277). Let d = -521 + a. Let m = 412 + d. Is m prime?
True
Suppose -t - h - 3*h = 6, -4*t - 3*h + 2 = 0. Suppose t*b - 26 = -0*b. Is b composite?
False
Suppose 4*k - 2720 = -k + 3*b, -k - 3*b + 526 = 0. Is k a composite number?
False
Suppose 0*b = h - 2*b - 20, -3*h - 4*b + 20 = 0. Let i = 9 - h. Is 23*4/(-6)*i prime?
False
Let d be 4/(-7)*(-8 + 1). Is d/16 - (-1227)/4 a prime number?
True
Let i = 61 - 24. Is i composite?
False
Let q be (-2)/(-2 - -1) - -2. Let o(x) = 4*x - 8. Let w(p) = -5*p + 7. Let s(h) = -2*o(h) - 3*w(h). Is s(q) prime?
True
Let v(s) = 6*s**2 + s + 1. Let j = 5 + -7. Is v(j) prime?
True
Is (-31180)/(-30) - -1*(-2)/6 composite?
False
Is (-60)/8*-8 + -3 a composite number?
True
Suppose -170 - 28 = 2*a. Let r = 288 + a. Suppose 708 + r = 3*m - 3*x, 5*m - 1513 = -4*x. Is m a prime number?
False
Let y = 2 + -2. Suppose y = 2*n - 3*n + 2*w + 39, -5*w - 73 = -2*n. Let t = 104 - n. Is t composite?
True
Let r be 8/(3 - 1) + -2. Suppose -f = -r*q - 0*q - 141, -3*f + 408 = -3*q. Let c = -37 + f. Is c composite?
True
Let i(c) be the second derivative of c**4/6 - 4*c**3/3 + 5*c**2/2 + 2*c. Is i(5) composite?
True
Suppose -12*o + 13*o = 2. Suppose 33 + 29 = o*z. Is z composite?
False
Suppose 5*n + 4*q = 475 + 234, 0 = 3*n - 5*q - 455. Is n prime?
False
Suppose 5*k - 51 = -4*b, -16 = 2*b - 6*b. Suppose -771 = 4*a - k*a. Is a prime?
True
Let f(d) = -14*d**2 + 7*d - 41. Let c(h) = -5*h**2 + 2*h - 14. Let x(n) = 11*c(n) - 4*f(n). Is x(9) a composite number?
False
Let h(s) = -46*s**3 - 1. Let d be h(-1). Suppose 2*o - d = 65. Is o a composite number?
True
Let i = 65 - 126. Let x = i + 192. Is x prime?
True
Suppose -2*n + 444 = -1490. Is n composite?
False
Suppose 0 = g - 4*o + 1, -4*g + 0*o = -2*o + 4. Is 708/9 + g/(-3) a composite number?
False
Let z(y) be the third derivative of -1/20*y**5 + 0*y + 1/10*y**6 + 2*y**2 + 1/8*y**4 - 1/2*y**3 + 0. Is z(2) a composite number?
True
Let b(s) = 3*s**3 - 2*s**2 - 2*s + 3. Let l(u) = u - 2. Let v be l(4). Is b(v) prime?
False
Let k(w) be the first derivative of w**4/4 - w**3 - 3*w**2 + 5*w - 5. Is k(6) composite?
True
Suppose -4*k = -2*b - 8, 8*k - 4*k + 2*b - 24 = 0. Suppose 6*f = k*f + 212. Let a = -27 + f. Is a a composite number?
False
Let w(u) = -2*u - 2. Let r be w(-2). Suppose -6 = -2*v + v - 2*n, -r*n = 3*v + 2. Is (-548)/(-36) + v/18 a prime number?
False
Let r = 1203 + -498. Let x = r - 412. Is x a prime number?
True
Suppose 3*a = p - 512, -p + 19 = -4*a - 662. Let r = a + 285. Suppose 5*x = -m + 38 + 84, 5*x = -3*m + r. Is x composite?
True
Let y(q) = -q**3 + 10*q**2 - 2*q - 14. Is y(6) composite?
True
Suppose 3180 = 4*m + 6*m. Let n = -240 - -401. Let a = m - n. Is a prime?
True
Suppose 0 = -c - b - 2*b + 182, -329 = -2*c + b. Is c a composite number?
False
Let v(b) = -19*b + 11. Is v(-10) a prime number?
False
Let a(n) = -n - n**2 + 4*n**2 - 3*n**2 + 57 - n**3. Is a(0) a prime number?
False
Let j be -2*(3/2 - 2). Let i(m) = 2 + 38*m**3 + 2*m - 3 + 0*m**2 - 5*m**3 - m**2. Is i(j) a composite number?
True
Let k(g) be the third derivative of g**6/120 + g**5/10 - g**4/12 + g**3/3 + 3*g**2. Is k(-5) a composite number?
False
Suppose -4*g = -5*g + 66. Suppose 0 = -w + g + 40. Is w a prime number?
False
Suppose -r - t = -4*r + 3018, -3*r = 4*t - 3018. Is r a composite number?
True
Let q = 47 - -18. Is q a composite number?
True
Let g = -75 + 258. Is g a prime number?
False
Suppose 8*q = 4*q + 12. Suppose -v = -y - y + 16, 3*y - 42 = -q*v. Is y a composite number?
True
Let b(l) = -180*l - 19. Is b(-16) a composite number?
False
Let m = 112 + -39. Suppose 3*c = 295 - m. Is c a prime number?
False
Let v be 11/3 + 2/6. Suppose 6 + v = 5*z. Suppose 3*p - s - 111 = z*s, 74 = 2*p - 5*s. Is p composite?
False
Let r = -8 + 13. Let n(c) = -r - c - 9*c + 2. Is n(-8) a prime number?
False
Suppose 4*i - 3*r - 505 = 0, -4*i + 706 = -4*r + 202. Is i a composite number?
False
Let g = -65 + 111. Suppose 10 - 2 = 2*k. Suppose g = -2*i + k*i. Is i a prime number?
True
Let c = -21 - -51. Suppose -b = -c - 94. Suppose -b = 4*a - 336. Is a prime?
True
Let w = -42 + 76. Let s(q) = -q**2 + q + 7. Let p be s(0). Suppose o = 4*m + w, -o + 2*m + p = 7*m. Is o a composite number?
True
Let c be (-18)/(-5) + (-4)/(-10). Suppose -c*i = 5*p - 120, 0 = 5*i + 3*p - p - 133. Is i prime?
False
Let f be -3 - (-2 - (1 + 0)). Suppose -4*m + 454 - 2 = f. Is m composite?
False
Is 10389/18 - (-1)/(-6) a prime number?
True
Let f = 451 - 260. Is f composite?
False
Let c(s) = s**3 - 8*s**2 - 7*s - 12. Let n be c(9). Is ((-4)/n)/((-8)/552) a prime number?
False
Is -1 - -1 - (-306 + -1) a composite number?
False
Let o(q) = q**3 - 13*q**2 + 11*q + 16. Let u be o(12). Suppose 0 = 3*g - 5*a - 149, 202 = u*g - 4*a - a. Is g a prime number?
True
Suppose k - 5*k + 4556 = 4*b, 2*k + 3*b = 2276. Is k a composite number?
True
Suppose n - 12 = -2. Suppose i - 17 = 4*m, -6 - n = -i + 3*m. Is i composite?
False
Suppose 6*k + 48 = 2*k. Let t be (3 + 0)*328/k. Let q = 117 + t. Is q a prime number?
False
Suppose 0 = 7*j - 7910 - 9261. Is j a prime number?
False
Suppose 0*c - 4*u - 2620 = 3*c, 4*c + 4*u + 3496 = 0. Is ((-3)/6)/