+ i - 2. Let t = -12 - -3. Let q be -3*(2 - (-6)/t). Is v(q) a composite number?
True
Let c(o) = o**2 + 2*o - 1. Suppose 0 = -2*w + 2*v + v + 16, -2*v + 1 = w. Suppose -w = -3*s - 17. Is c(s) a prime number?
True
Suppose i - 3*f - 7029 = 0, 10*f - 8*f = -i + 7049. Is i a prime number?
False
Let j(z) = 7*z**3 + z**2 - z. Let u be j(1). Suppose -2*m + u - 3 = 0. Suppose -w = -2, -3*o - m*o - w + 237 = 0. Is o a prime number?
True
Let r be (-47)/(3 + 11/(-4)). Is (r/(-6))/((-4)/(-42)) a prime number?
False
Suppose k - 12 = -4*o + o, -5*k - o + 18 = 0. Suppose k*p - p = 0. Suppose 4*x - 444 = -6*n + 2*n, p = -3*x. Is n a prime number?
False
Let n(p) = -p**3 - 11*p**2 + 6. Let l be n(-11). Is 0 - l/(-9)*111 prime?
False
Let i(t) = -2*t**2 - t + 737. Is i(0) a composite number?
True
Let b = -4 - -87. Suppose 0 = j - 0*j - b. Is j composite?
False
Let b = -772 - -1509. Is b a composite number?
True
Suppose -3*v - 3*z + 13 = -v, 0 = -4*v - 4*z + 24. Suppose -3*n = -4*s - 2019, -s = v*n - 239 - 3149. Is n a prime number?
True
Suppose f - 2*f = 0. Suppose f*j - j = -5, 2*j = -3*q + 34. Suppose -51 = -c - q. Is c a composite number?
False
Suppose -3*g = -g + 4. Let c be ((-5)/2)/(1/g). Suppose c*h = -2*d + 165, 8*d - 25 = 3*d. Is h composite?
False
Let w(p) = -7 + 0 - 2 - p + 1 + p**2. Is w(7) composite?
True
Let g(b) = -3*b - 2. Let j be g(-2). Let z(p) = -84*p**2 + 4*p - 5. Let x be z(3). Is (j - x)*(-1)/(-3) composite?
False
Suppose 2 + 2 = c, -2*m - c = 504. Let o be m*(-3)/(18/15). Suppose 0*d = -5*d + o. Is d a prime number?
True
Let d = -271 - -626. Is d prime?
False
Let z = -8 - -6. Let y be z - -5 - 3 - 2. Is y/6 - (-1160)/15 composite?
True
Suppose -5*n - 3*f = -35209, -f + 35217 = 5*n - 2*f. Is n a composite number?
False
Let s be ((-5)/3 - -2)*6. Suppose -k + 31 = -s*k. Let t = 56 + k. Is t prime?
False
Let t(a) = -a**3 - a**2 + 2*a + 2. Let b = 7 + -10. Is t(b) a composite number?
True
Let n(p) = 13*p**2 + p - 13. Is n(-4) a composite number?
False
Let o(n) = -n**2 - n - 3. Let d = 7 - 11. Let z be o(d). Is (-96)/z + (-4)/10 composite?
True
Suppose 5*n = 7 + 3. Suppose 0 = -5*j - 25, -n*c = -5*c - j + 2854. Is c composite?
False
Let h(d) = 193*d**3 - 2*d - 1. Let x be h(-1). Let t = -113 - x. Is t a prime number?
True
Let b(h) = 34*h + 1. Let z be b(5). Suppose -m - n + 23 = 2*n, 5*m - z = -n. Is m composite?
True
Suppose -g + 5*y + 1077 = g, -2*g + 4*y = -1078. Is g a prime number?
True
Let q be 28/6*(-6)/4. Is 2/q + (-1838)/(-14) a prime number?
True
Let j(w) = 2*w**3 - 6*w**2 - 9*w + 8. Let s(f) = f**3 - 3*f**2 - 5*f + 4. Let q(b) = -4*j(b) + 9*s(b). Is q(6) a prime number?
False
Suppose 2*j = 5*j - 396. Suppose 3 - 7 = 2*y, j = -3*c - 3*y. Let l = 5 - c. Is l composite?
False
Let x(m) = m**3 - 6*m**2 + 2. Let f be x(6). Suppose 5*o + 13 = -3*d, 7 = -o + f. Suppose -s + 0 + 1 = 0, d*s = 2*w - 22. Is w a prime number?
True
Suppose -3*j = -7*j + 5*f, -3*f = 3*j. Suppose j = -w + 2*w - 2. Let u(g) = g. Is u(w) composite?
False
Suppose -h = -23 - 79. Let r = 335 + h. Is r prime?
False
Let j be 30/(-9)*(-9)/(-6). Let d(w) = 3*w**2 - 3*w - 7. Is d(j) a composite number?
False
Suppose 0 = 2*h + h - 60. Let t = h - -191. Is t prime?
True
Let t(b) = 11*b**2 - 2*b + 1. Let x = 13 + -9. Let a be ((-4)/(-8))/(2/x). Is t(a) prime?
False
Let y(b) = b**3 - 4*b**2 + 3. Let c be y(4). Let p be (2 - 1) + -2 + 112. Suppose p = c*g - 0*g. Is g prime?
True
Let r = 8 - 3. Suppose d = -d, r*w = 4*d. Suppose w = -5*n + 274 - 9. Is n composite?
False
Suppose 7*q + 3*u = 2*q + 116, 3*u = 6. Let j = q + -53. Is (-6)/12 - j/2 a composite number?
True
Let v = 2 - -2. Let a be 1/3 + 184/6. Suppose k - a = v. Is k a composite number?
True
Suppose -13116 - 4474 = -10*z. Is z a composite number?
False
Let h(q) = -q**2 - 6*q - 5. Suppose m + 16 = -3*m. Is h(m) a prime number?
True
Let w be 8/12 + 148/(-6). Let j = -38 - w. Let q = 69 + j. Is q prime?
False
Let j(b) = 10*b + 1. Let a be j(6). Suppose 10 = -3*x + a. Let v = x - -50. Is v a composite number?
False
Let u(c) = -c**2 + 5*c - 3. Let r be u(5). Let l be 1/r*-43*3. Suppose -l - 19 = -2*n. Is n a prime number?
True
Let b(w) = w - 1. Let y be b(3). Let u = -3 + y. Let n = 10 - u. Is n composite?
False
Let i = -313 + 98. Let k = i - -320. Suppose 2*y + o = k, -2*o = -3*y + 3*o + 190. Is y a prime number?
False
Let k(y) = y**2 - 3*y - 3. Is k(-7) composite?
False
Let z(u) = 25*u. Let b be z(-1). Is (-13614)/(-10) + 10/b a composite number?
False
Suppose -3095 - 508 = -3*y. Is y a composite number?
False
Let b(r) = 2 + 4*r - 1 - 5*r**2 - r**3 + 5. Let m be b(-6). Is ((-4)/(-2))/(m/585) composite?
True
Suppose 3*c - 285 = 3*o, -2*o - 481 = 3*c - 8*c. Is c prime?
True
Let l(f) be the first derivative of 13*f**3/3 + f**2/2 - 5*f - 1. Let z be l(-4). Let y = 410 - z. Is y a prime number?
True
Let b = -1 + 5. Is (b/(-6))/((-16)/2712) prime?
True
Is 2 - 735/(9/24*-2) a prime number?
False
Suppose -1 - 2 = -k. Let v(b) = 2 + b**k - 2*b - 1 + b - 3*b**2. Is v(5) composite?
True
Suppose 0 = 4*l + 12, -5*z - 5*l - 843 + 268 = 0. Let v = 167 + z. Is v a composite number?
True
Suppose 0 = 9*y - 13*y + 3516. Is y prime?
False
Let g = -185 - -796. Is g a prime number?
False
Let r(u) be the third derivative of -1/24*u**4 + 0*u**3 + 23/60*u**5 - u**2 + 0 + 0*u. Is r(1) a prime number?
False
Let x(c) = 7*c**2 - 2*c + 1. Let a be x(1). Suppose -120 = -a*l + 2*l. Suppose l = -5*t + 5*g + 75, -2*t - 3*g + 23 = 0. Is t a prime number?
False
Suppose 12 = 2*t - 3*m, 8 = -5*t - 5*m + 3*m. Let z(j) = 5*j - 2*j**2 - 3 + t*j**2 + j**3 - 2*j**2. Is z(5) a composite number?
False
Let s be ((-3)/2)/(1/2). Let i = 3 + s. Suppose -2*p + 52 = -i*p. Is p a composite number?
True
Let c be 2/(-3)*42/(-7). Is 571/c - 9/(-36) composite?
True
Suppose 3*f = 5*f - 938. Is f composite?
True
Suppose 0*c - c = -82. Let u = -139 + c. Let l = u - -218. Is l prime?
False
Suppose 0 = -2*g + 3*g - 49. Suppose 0 = -2*m + 57 + g. Is m composite?
False
Is -4 - (-1)/(3/2865*5) a prime number?
False
Suppose 2*h = -0*h + 1582. Is h a prime number?
False
Let g(f) = -f**2 + 24*f - 4. Is g(17) composite?
True
Let b(s) = 28*s**2 + 2*s + 4. Let x(t) = t. Let a(k) = b(k) - x(k). Is a(3) prime?
False
Let h be (20/6)/(2/3). Suppose 2*g + 2*n + 139 = -h, -139 = 2*g + 3*n. Is (-3 - g)/(1*2) a composite number?
False
Let u be ((-6)/(-4))/(5/1050). Let s = -166 + u. Is s composite?
False
Let c = 2468 - -783. Is c a composite number?
False
Let q(l) = l**3 - 8*l**2 + 16*l + 2. Is q(13) prime?
False
Suppose -4*q + 362 = -102. Suppose 8 = -2*b, -2*r = -3*b - 224 - q. Suppose 0*v = -2*v + r. Is v a composite number?
True
Let h = -1 - -3. Let n(x) be the second derivative of 7*x**4/12 - x**3/2 + x**2/2 + 6*x. Is n(h) a composite number?
False
Let v be ((-3)/6)/((-1)/2). Let r be (3 - v)/1 - -54. Suppose 3*j - r = -j. Is j prime?
False
Let d(k) = 9*k**2 - 5*k + 7. Let c(p) = -2*p**2 - 2*p**2 + 2*p - 4 + 0*p**2. Let u(i) = -7*c(i) - 3*d(i). Is u(5) a composite number?
False
Suppose 8885 = 5*w + 2*p, w + p + 1777 = 2*w. Is w a composite number?
False
Let t(o) = -o**3 + 6*o**2 + 7*o + 4. Let a be t(7). Suppose 0 = v - 61 + a. Suppose -12 = -x + v. Is x a prime number?
False
Let l = 249 - 103. Is l prime?
False
Suppose 12 - 3 = 3*w. Suppose -2*l + 3 - 8 = -s, w*l = 3*s. Is (11/(-2))/(l/10) a prime number?
True
Let m(g) = 3*g**2 - 12. Let u be m(13). Suppose -5*k + u = -4*r, -k + 2*r + 111 = 6. Is k prime?
False
Let z(y) = 39*y**2 - 4*y + 9. Is z(-6) prime?
False
Let b = 1539 - 898. Is b composite?
False
Let u(x) = 10*x - 16. Is u(9) a composite number?
True
Suppose -5*l + 320 = -795. Is l prime?
True
Let g(r) = r + 7. Let h be g(-8). Is -3 - (-2 - h)*180 a composite number?
True
Let u(v) = -v**3 - v**2 + 139. Is u(0) composite?
False
Let o = 257 - 127. Suppose -5*w = 5*u + 364 - 34, -5*u - 370 = -3*w. Let p = u + o. Is p composite?
False
Let o(g) = -g**2 - 12*g + 1. Let s be o(-12). Is ((-326)/8)/(s/(-4)) a composite number?
False
Suppose 552 = 5*n - 243. Is n composite?
True
Suppose -m + 701 = a - 2*a, 3*a = 0. Is m a composite number?
False
Let a(w) = -3*w + 2*w - w + 5 + w**3 + 10*w**2. Is a(-10) prime?
False
Suppose -3*y = -2*d + 366 + 312, -4*y = -d + 339. Suppose -3*a = -0*a - d. Is a