Let z be c(w). Is (-2)/4 + z/(-6) prime?
False
Let o(b) = 0 - 8*b - 3*b + 2. Let p be o(-4). Suppose 2*j - 108 = p. Is j a composite number?
True
Let c(y) = y**3 - 4*y**2 - 4*y + 6. Let s be c(4). Let a = -7 - s. Suppose -n + 140 = a*n. Is n prime?
False
Let f = -180 + 403. Is f a composite number?
False
Let k(j) = -49*j**3 + 2*j**2 - 2*j + 3. Let l be k(-3). Suppose -3*g = -5*z - 1326, 0*g + 3*z - l = -3*g. Is g a composite number?
True
Let o(a) = -a**3 + 2*a**2 + 6*a - 2. Let k be o(4). Let s = 25 - k. Is s prime?
False
Is (-6340)/(-80) + 1/(-4) composite?
False
Suppose 2*i - i + 271 = 5*n, n - 51 = i. Is n composite?
True
Suppose -a + 28 = 2*t, 4*t + 4*a - 52 = a. Suppose -14 = -2*w - 2*x, 5 = 4*x + 13. Let k = t - w. Is k composite?
False
Let j(g) = -g**2 + 8*g**3 - 4*g - 7*g**3 + 5 - 3*g**2. Let o be 1/(-5) - 26/(-5). Is j(o) prime?
False
Let j(n) = n**3 + 8*n**2 - 11*n - 12. Let z be j(-9). Let l = z - 4. Suppose 22 = 3*i - l*i. Is i a composite number?
True
Suppose 5*j - 895 = -0*j. Let c = j - 257. Let n = -41 - c. Is n composite?
False
Let c = 595 + 36. Is c composite?
False
Let i = 8 - 5. Suppose -i*f - 22 = -2*f. Is f*3/(-6)*1 a composite number?
False
Let c = 2193 + -1562. Is c a prime number?
True
Let z(s) = 3*s**2 - 7*s + 5 + 0*s**3 - s**3 + 4*s**2. Let y = -3 - -7. Is z(y) a prime number?
False
Suppose -2*b - 9*q + 16 = -4*q, 0 = -2*b + 5*q - 4. Is ((-52)/(-6)*b)/1 a composite number?
True
Let l = -2 - -2. Suppose -3*d + 27 = -l*d. Is 6/4*60/d a composite number?
True
Let w(t) = 5*t**2 - 3*t - 3. Is w(-4) composite?
False
Suppose -5*w + 4*n + 10 = 0, -17 + 7 = -5*w - n. Suppose 7*u - w*u + 43 = j, 2*j = -2*u + 38. Is j prime?
True
Let f(s) = -3*s**2 + 6*s**2 + 0*s**2 - 1 + 6 - 6*s. Let o(r) = -2*r**2 + 5*r - 4. Let p(y) = 5*f(y) + 6*o(y). Is p(4) prime?
False
Suppose -662 = -y + 1095. Is y prime?
False
Let v(a) = -8*a + 2. Let c be -2*1/1*-3. Let k be 1/(4/c - 1). Is v(k) composite?
True
Suppose 5*r = 5*p + 480, -3*p + 4*p = -r + 94. Is r a composite number?
True
Let f = 24 + -12. Suppose 6*i - 3*i = f. Suppose 4*p - j + i*j - 104 = 0, p - 3 = 5*j. Is p a prime number?
True
Let h(u) = -u**3 + 6*u**2 + 8*u - 6. Let x(z) = z + 11. Let f be x(-6). Is h(f) composite?
False
Suppose 0 = 2*l - 3*k - 19, -7 = l - 3*k - 24. Is (294/9)/(l/3) composite?
True
Is (-4)/2 - 5085/(-9) prime?
True
Let r be -5*((-27)/15 - -1). Suppose r*n = -3*a - 2*a + 111, 4*a = -4*n + 88. Is a prime?
True
Suppose y = 57 + 24. Let g = -2 + 7. Suppose -7*l + y = -3*l - 5*a, 0 = g*l + 4*a - 91. Is l a prime number?
True
Let x be -3*(-2 + 3*-1). Suppose 0 = w - 53 + x. Let p = -27 + w. Is p prime?
True
Let f(y) = 6*y**2 + 20*y - 53. Is f(-18) a prime number?
True
Let q(b) = -b**2 + 12*b + 2. Suppose 0 = 3*v - 4 - 2. Suppose -h - v*h + 30 = 0. Is q(h) composite?
True
Let t = -4 - -12. Suppose -2*q = -t + 2. Suppose -2*f + 8 + 26 = 2*w, -q*f = 5*w - 93. Is w composite?
True
Suppose 0 = -3*m + 105 + 72. Suppose -3*u + 188 = m. Is u a prime number?
True
Let x = 1457 - 780. Is x a composite number?
False
Suppose -2*g + 12 = g. Let b(f) = f**3 - 26*f**2 + 8*f - 13. Let y be b(26). Suppose -i = g*i - y. Is i a prime number?
False
Is 9/(-6) - (-51)/6*161 prime?
True
Suppose 9*v + 15 = 4*v, -5*v - 79 = 4*r. Suppose -4*g + 7*g - 2*x = 111, 0 = 2*g - 3*x - 79. Let i = r + g. Is i a composite number?
False
Suppose 3*a = 774 - 213. Suppose 5*z - a = -3*d, 2*z + 4*d = -z + 121. Is z a prime number?
False
Let u(j) = 2*j**2 - 12*j + 11. Is u(-12) prime?
True
Suppose -3*b - 8*b = -10109. Is b prime?
True
Let d be ((-12)/9)/(2/(-6)). Suppose -d*g + 0*g = -516. Is g a prime number?
False
Suppose 0 = 8*b - 22745 + 6609. Is b a prime number?
True
Let p(a) be the first derivative of -a**3/3 - 5*a**2/2 + 7*a - 2. Let l be p(-6). Let r(u) = 7*u**3. Is r(l) a prime number?
True
Let b(v) be the second derivative of v**4/12 - 5*v**3/3 - v**2 - v. Is b(11) composite?
True
Let a(j) = j**3 - 4*j**2 + j - 3. Let p(s) = -s + 4. Let g be p(0). Let i be a(g). Is (2/6)/(i/21) prime?
True
Suppose -4*m - 3 = -5*f, -3*m + 15 = -2*m + 4*f. Suppose -m*z - 471 = -6*z. Is z a composite number?
False
Let z(k) = -k + 4. Let w be z(2). Let f = w + 132. Is (f/6)/((-2)/(-6)) a composite number?
False
Let z = 80 - 23. Is z a prime number?
False
Let x(d) = -9*d**3 - 3*d**2 - d - 6. Is x(-7) a composite number?
True
Let l be 4 + 3/6*-2. Let t(g) = -3 + l - 3 - 2*g. Is t(-8) a composite number?
False
Let p(f) = -f**3 + 2*f**2 + 2*f - 1. Let g be p(2). Is (g/(-2))/(3/(-70)) a composite number?
True
Suppose 20*q - 12*q = 2456. Is q composite?
False
Let d(r) = 39*r + 1. Let c be 2/(1/1) + 0. Is d(c) a composite number?
False
Let f = -174 + 503. Is f a composite number?
True
Suppose -5*z + 21633 = 2*y, z + y - 3212 = 1114. Is z a composite number?
False
Let i be 86/1 - (0 + 0). Let l = i + -55. Is l a prime number?
True
Let x be -3*((-4)/6 - 0). Suppose x*p - 112 + 13 = f, -2*f + 57 = p. Suppose -l = -2*l + p. Is l prime?
False
Let r(h) = h**2 + h. Let d be r(-2). Let t be (1 - d) + (-31 - -1). Let i = 82 - t. Is i a prime number?
True
Let n = -666 - -1219. Is n a prime number?
False
Is -4 - -2 - -2 - (1 + -888) prime?
True
Suppose -2*o - o = -6. Suppose 0 = -4*u - 2*x + 324, -3*u - o*x + 237 = x. Is u prime?
True
Let h be 4/12 + (-1646)/(-3). Let g = h + -220. Is g composite?
True
Suppose 52 - 150 = -2*f - 2*k, 0 = 4*f - k - 211. Suppose 4*i + 0*i - f = 0. Is i composite?
False
Let h be 1236 + -2 - (-3 + 2). Suppose 3*v = -4*s + 511 + 508, -h = -5*s + 4*v. Is s a prime number?
True
Suppose 15*f = 12*f + 5847. Is f prime?
True
Suppose 5*l = -3*t - 14, -4*l = -t + 1 - 0. Let n = t - 1. Let a = 30 + n. Is a prime?
False
Let a = 17 + -17. Let u(n) = -2 + 11 + 10 + n. Is u(a) composite?
False
Suppose -b - 3*c + 76 = 0, b - 4*c = -4*b + 342. Suppose 2*r + 2*t - b = 0, 2*t + 9 = r - 14. Is r prime?
True
Let u(c) = -c**3 - 9*c**2 - 8*c + 4. Let y = 2 + -10. Let j be u(y). Suppose -2*z + j*k - k = -16, 2*k = 4. Is z composite?
False
Let t = 1 - -1. Let u be t/8 - (-28)/16. Is (44 - (-4)/u)*1 composite?
True
Suppose -j + 919 = -g, j + 919 = 2*j + 3*g. Is j a composite number?
False
Suppose 2*j = 5*j + 372. Let q = -71 - j. Is q a composite number?
False
Suppose 2*l - 3*l + 1526 = 5*o, -2*l = o - 3025. Is l composite?
False
Let u(h) = 43*h + 3. Let p be u(-5). Let t be p/((-1)/(2 - 1)). Suppose 2*d = 6*d - t. Is d a composite number?
False
Suppose -5*v = -0*v - 2815. Is v a composite number?
False
Let l(d) = -d**3 - 2*d**2 - 3*d - 2. Let i be l(-2). Suppose -i*g = -q - 720, -2*g + 3*q - q = -366. Is g a prime number?
True
Let d(q) = 25*q + 7. Let c be d(-3). Let v = 142 + c. Is v a prime number?
False
Let c = -66 + 194. Let i be (-1 - 2)/(-1) + -1. Suppose -i*z = -390 - c. Is z a prime number?
False
Let g(n) = 39*n - 2. Let q be g(5). Let r = -135 + q. Let d = r + -39. Is d a composite number?
False
Let z = -163 - -560. Is z a composite number?
False
Is (-4)/6 + 2859/9 a composite number?
False
Let c = -3457 + 5700. Is c a prime number?
True
Let g(b) = 2*b**2 - 5*b - 4. Let l be g(4). Suppose 0 = -3*a + l*a - 545. Is a composite?
False
Let h(k) = -k**2 - 6*k + 6. Let n be h(-6). Suppose 0 = -4*p + n*p - 382. Is p prime?
True
Let f(q) = 78*q**2 - 1. Suppose 2*v - 2 = 2*l, 2*v - l - 2*l - 4 = 0. Is f(v) a prime number?
False
Let x(p) = 3*p**3 + p**3 - 5*p**3 - p - 2*p**2. Let w be (-14)/(-4)*8/(-14). Is x(w) a prime number?
True
Let w(q) = -q**3 - 15*q**2 - 15*q - 9. Let g be w(-14). Suppose -g*o = -0*o - 1130. Is o a prime number?
False
Suppose -r + 1 + 1 = 0. Suppose -2*m - 3*h = -97, -2*m - 3*h + 203 = r*m. Is m a prime number?
True
Suppose 2*h - h + 3*k = 17, 0 = 3*h - 5*k + 5. Suppose 4*r = -h*u + 813, -5*u + 3*r + 171 = -628. Is u prime?
False
Let w be 3*((-32)/(-12) + -1). Suppose 0*o + 150 = w*o - 5*i, -o + 2*i = -25. Is o prime?
False
Suppose -x = -3*x - 4. Let q(o) = -14*o**3 + o**2 - 4*o - 3. Is q(x) composite?
True
Let m(z) = z**3 - 16*z**2 + 6*z + 28. Is m(21) a composite number?
True
Let r be (1/(-2))/((-3)/60). Suppose 2*d - r = -0*k - 4*k, 0 = -5*k - d + 11. Is 106/4 + k/(-4) a composite number?
True
Let j(f) be the second derivative of f**5/15 - f**4/8 - f**3/3 + 2*f**2 + f. Let u(k) be the first derivative 