-5*s + c - 8 = 0, 0 = -2*c + c + 3. Let z = 2 - s. Suppose 89 + 70 = z*o. Is o a composite number?
False
Let t be (-3 - (7 + -3))/1. Let z = 14 - t. Let g = 70 + z. Is g composite?
True
Is (2/(-6))/(1905/477 + -4) prime?
True
Let l(p) = -p**3 + p + 2. Let g be l(0). Suppose 3*h - g*z = -2*h + 39, -24 = -h - 5*z. Suppose -2*b = -2*m + 48, h + 43 = 3*m + b. Is m prime?
True
Let s = 4 + -1. Suppose -10 = n - s*x, n - 5 = 5*n - 5*x. Suppose 5*v + n = 0, 6*a + 2*v = a + 188. Is a a composite number?
True
Let y(q) = q**3 + 377. Is y(0) composite?
True
Suppose 4*f - 2*f = 170. Is f a composite number?
True
Is 1/((-1)/(-36)) + 1 prime?
True
Let y be (-13)/(78/(-24))*(-6)/4. Let x(u) = -4*u - 4 + 0 + 1. Is x(y) a prime number?
False
Suppose 0 = -5*n - k + 7 + 4, -2*n + 5*k + 26 = 0. Suppose -332 = -j - n*j. Is j a composite number?
False
Suppose -4*n + 159 + 229 = 0. Is n composite?
False
Let m = -34 + 50. Let x be (10/4 - 2)*m. Suppose -4*z - 76 = -x*z. Is z a prime number?
True
Let y be (-7 - -8)/((-2)/(-550)). Suppose 6*u = u + y. Is u prime?
False
Let b = 1 - 4. Let j = b + 6. Suppose z - 26 - 79 = 5*v, 4*v + 337 = j*z. Is z prime?
False
Let c(w) = 4*w**2 + 4*w - 4. Let k be c(-6). Suppose -4*o + 228 = -2*s + 7*s, -2*o + k = 2*s. Is o a prime number?
False
Let w = -105 + 364. Is w prime?
False
Suppose -154 = -3*w + w. Is (-4 - -3)/((-1)/w) a prime number?
False
Suppose 0 = 8*k - 104 - 72. Is k composite?
True
Let m(h) = -13*h**3 + h**2 - h - 1. Is m(-2) prime?
True
Suppose -n = 4*n - 5135. Let s = n - 584. Is s a composite number?
False
Let g(q) be the second derivative of q**4/12 + 5*q**3/6 - 7*q**2/2 - 3*q. Let j be g(-5). Let o = j + 62. Is o composite?
True
Let k(d) = d**3 - 9*d**2 + 5*d - 6. Let s(n) = n**2 - n. Let x(j) = k(j) + 2*s(j). Is x(8) prime?
False
Let j(w) = 4*w - 2. Let b be j(-2). Suppose -x + 3*x - 138 = 0. Let n = x - b. Is n a composite number?
False
Let b(t) = -27*t - 2. Let k(x) = -27*x - 2. Let h(d) = 6*b(d) - 5*k(d). Is h(-5) prime?
False
Suppose 4*k - 1337 = 315. Is k a prime number?
False
Suppose 5*q = -x + 181, 5*x + 5*q - 727 - 98 = 0. Suppose 4*y - 59 = x. Suppose -m - 4*r + y = 0, -3*m + 70 = -r - 43. Is m prime?
False
Let p be 0*(-2 + 3) + 3. Let l(r) be the second derivative of r**5/20 + r**4/6 + r**3/2 - r**2/2 - r. Is l(p) composite?
False
Is 2/2 - (1 + -2129) a prime number?
True
Let i(b) = b + 8 - 6 + 9*b**2 + 8 + 3*b. Is i(7) prime?
True
Let h(a) = -66*a**3 + 1. Is h(-1) prime?
True
Let n be 3*(4 + -3)*9. Suppose 3*d - s - 69 = -4*s, d + 3*s - n = 0. Is d a composite number?
True
Suppose -4*z = -6*z. Suppose -3*o = -z*o. Suppose -2*m - m + 30 = o. Is m composite?
True
Suppose 2*q = -4*h + 18, -4*q - 6 - 6 = -4*h. Suppose -h*c + b + 84 = 0, -2*c + 7*c - 4*b = 94. Is c composite?
True
Is 1/(4/((-2104)/(-2))) a composite number?
False
Let w(j) = -196*j + 9. Is w(-3) composite?
True
Is (2 + (-2 - (3 - 4)))*449 composite?
False
Let z(u) = -3*u**3 - 9*u**2 + 6*u + 11. Is z(-7) prime?
True
Let x = 10 + -9. Let h be (x - (45 - 3)) + 2. Is (-1)/(h/19 - -2) prime?
True
Suppose 0 = 4*h + 4*y - 17264, -8631 = -2*h - 2*y + y. Is h a composite number?
True
Let p(d) = d**3 + 12*d**2 + d + 1. Let j be p(-12). Let z be 2 - j/(-1)*-7. Suppose f = -0*f + z. Is f composite?
False
Suppose -4 - 16 = -4*l. Suppose -5*o + 68 = 4*f, -l*o = -f - f + 64. Is f a prime number?
False
Let n(h) = 184*h**2 + h + 1. Let t be n(-1). Let j = t - 35. Is j prime?
True
Let k = -7 + 2. Is 2/k + (-257)/(-5) composite?
True
Let q(u) = u**3 - 3*u - 2. Let a be q(-2). Let d = a + 7. Suppose d*z - 212 = -z. Is z prime?
True
Is (5306/(-14))/(-1*1) composite?
False
Let p(b) be the first derivative of 10*b**3/3 + 2*b**2 + b + 3. Is p(-3) a prime number?
True
Let t(s) = -3*s + 1. Is t(-12) prime?
True
Suppose -4*h = 15 - 3. Let s be -2 - h - 7/1. Let b = 15 - s. Is b composite?
True
Suppose 0 = -13*n + 11*n + 1246. Is n a prime number?
False
Let d = 8 - -9. Let y = 2 + d. Is y prime?
True
Let t(k) = k**2 + k - 2. Let n be t(-3). Let f(s) = 5*s**2 - 2*s + 4. Let p be f(7). Is n/6 - p/(-3) a prime number?
True
Let r(m) = -2*m**2 - 1. Let w be r(-2). Is ((-39)/w)/((-1)/(-21)) a composite number?
True
Let h(q) = -q**3 - q**2 - q + 14. Let k be 0/(2 - 3 - -3). Is h(k) prime?
False
Let t = 730 + 1091. Is t a composite number?
True
Suppose -3*z + 0*o + 1007 = 4*o, 5*o = -3*z + 1006. Is z prime?
True
Suppose 0 = 8*f - 3711 - 1337. Is f prime?
True
Let s be 6*(20/8 + -2). Suppose 0 = -0*d + s*d - 57. Is d prime?
True
Suppose 3*p - 748 = -p. Is p a composite number?
True
Suppose 4*m - 30 = -0*p - 2*p, 0 = -2*m + 4*p - 10. Suppose 0 = m*h + 4*x - 114, 2*h - 4*x = x + 39. Is h a composite number?
True
Suppose 5*u - 23 = 7. Let v(q) = 4*q - 3. Is v(u) composite?
True
Let k(l) = l**3 - 3*l**2 - l - 2. Let z be k(4). Let o = z + -6. Suppose -145 + 53 = -o*a. Is a a prime number?
True
Let t(o) = 49*o**3 - 4*o**2 - 3*o - 2. Let s(a) = -a**2 - a - 1. Let w(i) = -3*s(i) + t(i). Is w(1) a composite number?
True
Let w = 1 - -2. Suppose 0 = 6*i - w*i + 3, 2*i + 149 = 3*v. Suppose 3*q = -7 + v. Is q a prime number?
False
Suppose 2*y = y + 186. Suppose -2*b = b - y. Suppose l + b = 2*u, -u - 4*l = -3*u + 62. Is u prime?
True
Suppose -5*r - 30 = -5*u, -5*u - r = 12 - 30. Suppose -u*m + 452 + 1008 = 0. Is m composite?
True
Let u = -3 - -7. Let y = u - 0. Suppose -175 = -2*b - b - y*l, 2*b = -l + 125. Is b prime?
False
Let p = -40 - -17. Let n = p + 60. Is n a prime number?
True
Let n(j) = -j**2 - 12*j + 2. Let v be -2 + -19 + 0 + 1. Let c be (v/12)/((-2)/(-6)). Is n(c) a composite number?
False
Suppose i + 10 = 2*a, 4*i = 2*a - 5 - 11. Suppose p - 2275 = -a*p - 5*t, 2*p = 5*t + 875. Suppose 5*d + 3*c = 1297, p = 5*d + 2*c - 843. Is d a prime number?
True
Let u(n) = 7*n**3 - 7*n**2 + 18. Let k(l) = 4*l**3 - 4*l**2 + 9. Let m(f) = -5*k(f) + 3*u(f). Is m(0) composite?
True
Let a(n) = 36*n**2 + 4. Let q be a(-3). Let s = q + -21. Is s composite?
False
Suppose 586 = t - 0*t + i, 591 = t - 4*i. Is t a composite number?
False
Let i(t) = -84*t + 53. Is i(-12) a composite number?
False
Let r(m) be the second derivative of 4*m**6/45 + m**4/24 - m**3/3 - 2*m. Let d(h) be the second derivative of r(h). Is d(1) a composite number?
True
Let u(v) = 2*v**2 - 1 + 3*v + 0*v**3 - 6*v**3 + v**3 + 0*v. Is u(-3) a prime number?
False
Suppose -15 = 5*z, -2*j + 16 = -4*z - 0. Let v be (-1)/((-18)/(-10) - j). Suppose 5*n = 3*n + v*g + 54, 2*g + 4 = 0. Is n a composite number?
True
Let f be 2/1 + 48/2. Suppose i - 4*i = 15. Let s = f + i. Is s a composite number?
True
Let k = -158 + 384. Suppose 2*w = 4*d + k, -53 = 2*w - d - 288. Is w composite?
True
Let d = -37 + 82. Let s = 82 - d. Is s a composite number?
False
Let m(a) = 3*a**3 + a + a + a**3 - 1 + a. Is m(2) composite?
False
Let j = 515 + 1020. Is j prime?
False
Suppose -2323 + 703 = -9*j. Let z be (-2 + 3)/((-1)/43). Let r = j - z. Is r prime?
True
Let s(l) be the second derivative of 2/3*l**3 + 0 + 2*l + 1/6*l**4 + 1/2*l**2 - 1/5*l**5. Is s(-3) a composite number?
True
Suppose -2*m = -186 - 14. Let u = m + -47. Is u composite?
False
Let s(l) = -28*l - 2. Let y be s(-6). Suppose -2*g + 11 = m, -17 = -5*m + 3*m + g. Suppose -5*x + y + m = 0. Is x prime?
False
Suppose 0 = 4*p + 115 - 2111. Is p a composite number?
False
Let o(i) = 3*i**3 + 2*i**2 - 4*i + 3. Suppose -5*j + 0*j = -20. Is o(j) a prime number?
True
Let i(y) = 29*y**2 - 2*y + 1. Is i(2) prime?
True
Suppose -3*d = w - 5*w - 20997, 2*d + 3*w - 14015 = 0. Is d prime?
False
Suppose 7*a = 3*a + 320. Is a/4 + 2 + 0 prime?
False
Suppose 8 = 2*q - 3*d - 17, -2*d = -3*q + 25. Suppose 24 = p + q. Is p a prime number?
True
Let y(u) be the first derivative of -103*u**4 + u + 2. Is y(-1) composite?
True
Let b(r) = 14*r**2 - 17*r + 23. Is b(12) prime?
False
Let l be (-175)/(-4) - (-4)/16. Let h be l - (-12 + 3)/(-3). Suppose -w + h = -5*v, w - 5*v - 45 = -2*v. Is w a prime number?
False
Let g be 27/(-18)*(-6)/(-1). Let m(n) = n**2 + 8*n - 6. Let j be m(g). Let o = j + 54. Is o a prime number?
False
Suppose -16*h - 1191 = -19*h. Is h a prime number?
True
Let p(l) be the third derivative of 0*l - 1/24*l**4 + 0 + 1/30*l**5 - 1/6*l**3 - 3*l**2. Is p(-2) prime?
False
Let p be ((-4)/(-3))/(1/(-6)). Suppose -