Let a(z) = 21*z**2 - 11*z + 3. Is a(8) prime?
True
Suppose 125 = 5*w - 135. Suppose 3*x = w + 377. Is x composite?
True
Let d(j) = -9*j**3 + 4*j**2 - 5*j - 8. Let k be d(-8). Let p be k/8 + 3*1. Suppose 6*o - p = o. Is o a composite number?
True
Is (0 - (-1 - -3)) + -2 + 2487 a composite number?
True
Let q(d) = 238*d - 3. Is q(1) prime?
False
Let n = 8 - 3. Suppose -2*j + 4*z + 56 = 0, -n*z = 5*j - 2*j - 51. Is j a composite number?
True
Suppose -2*k = 5*d - 567, 4*d + 3*k - 218 = 2*d. Let w = d + -163. Let g = -23 - w. Is g prime?
False
Let b = -90 - -92. Let a = 56 - 5. Suppose -p = -b*p + a. Is p a composite number?
True
Suppose -5*a = 2*j - 29 - 45, 51 = j - a. Let h = j + 8. Is h composite?
True
Is (-72752)/(-40) - (-1)/5 a composite number?
True
Let v = -1299 + 1834. Is v prime?
False
Let c(m) be the second derivative of 127*m**5/20 - m**4/12 + m**2/2 - 5*m. Is c(1) a composite number?
False
Let g be 3/2*92/6. Suppose 2*t = 4*t + 4. Is (t + g)*4/6 a prime number?
False
Let n = 5 + -5. Suppose n = 4*l - 23 + 3. Is l/2*10 - 3 a prime number?
False
Let q = 5 + 1. Let g = q - -15. Is g composite?
True
Is 3/6 + 0 + (-1346)/(-4) a prime number?
True
Suppose -2 = k - 4*g + 5, -2*k - 14 = 3*g. Let v = k + 26. Is v a composite number?
False
Is (-284)/(-6) - 1/3 a prime number?
True
Let o be ((-10)/8)/((-1)/4). Let i be o/((-50)/(-8))*5. Let f(c) = 2*c**2 + 4*c + 5. Is f(i) a prime number?
True
Is 11/((-232)/(-76) - 3) composite?
True
Let u = 116 + 42. Suppose 5*y - u = 27. Is y a composite number?
False
Let g(t) be the second derivative of -29*t**3/6 - t**2/2 - 2*t. Let n be g(3). Let r = 145 + n. Is r a composite number?
True
Suppose p + p - m + 21 = 0, p - 3 = 5*m. Is 114/4*(-8)/p composite?
False
Let v(i) = 10*i**2 + 3*i + 2. Is v(-3) a prime number?
True
Let t(d) = -21*d**3 - 2*d**2 + 4*d + 4. Is t(-5) a prime number?
False
Let t = -18 + 38. Suppose 0 = g - t - 17. Is g a composite number?
False
Let c = 21 + -30. Let r = c + 23. Is r composite?
True
Let a be 3608/14 - (-8)/28. Suppose -3*g + a = 2*p + p, -5*p + 2*g = -423. Is p a composite number?
True
Let h(z) = 333*z**3 - 4*z**2 + 6*z - 3. Is h(2) a composite number?
False
Let z(w) = -3*w**2 + 6*w + 7. Let o = -2 - 3. Let v be z(o). Let q = -59 - v. Is q prime?
False
Suppose -2*s + q - 28 = -q, 4*s + 2*q + 32 = 0. Let o = 76 + s. Suppose -3*c + 159 = 3*l - o, 5*l = -4*c + 296. Is c a prime number?
True
Suppose -o + 3 + 0 = 0. Let u = 2 - 2. Is (-1)/(u + o/(-33)) composite?
False
Suppose 4*n = 146 + 338. Is n a prime number?
False
Is (-258)/4*16/(-24) a prime number?
True
Is (17 + -16)/((-1)/(-701)) prime?
True
Is 307109/44 + (30/(-8))/5 a prime number?
False
Let g be 9*-1*122/(-6). Let o = -104 + g. Is o prime?
True
Let d = 1446 + -992. Suppose -u + d = 137. Is u a composite number?
False
Suppose -12 = 4*q - 32. Let w = 2 + 145. Suppose w - 41 = 5*h + r, -2*h - q*r = -24. Is h composite?
True
Let u be 3/(1 + -4)*47. Let s = -14 - u. Is s a composite number?
True
Let z = -29 + 156. Is z prime?
True
Let c be 2 - (2 - (1 + 2)). Suppose 4*w - 128 = -5*a, 0 = -3*w + c*a + 23 + 100. Is w composite?
False
Let r = 5 - 3. Let p(i) = 2*i**3 + 11 + 4*i**3 - 3*i**r - 5*i**3 + 6*i - 5*i**2. Is p(8) composite?
False
Let x(t) = -3*t**3 + 8*t**2 - 3*t**3 + 11*t - 5 + 5*t**3. Is x(9) prime?
True
Suppose k - 860 = -3*k. Is k a composite number?
True
Let h be 2/(24/4) - 1195/(-15). Suppose 4*k + 5 = 5*g, -5*g + 4 + 1 = 4*k. Suppose -2*x + 242 + h = k. Is x composite?
True
Suppose 520 = u - 317. Let r = u - 472. Is r composite?
True
Suppose -3*r + 0*p + 5*p + 460 = 0, -5*r - 5*p + 700 = 0. Is r composite?
True
Let s(v) be the first derivative of 3*v**3 - 5*v**2/2 - 7*v + 6. Is s(-3) composite?
False
Let d = 1413 + -154. Is d composite?
False
Let w(b) = -b**2 + 3*b. Let u be w(4). Is u/6 - 177/(-9) a composite number?
False
Suppose 8*w = 4*w. Suppose -33 = -w*n - 3*n. Is (-3 - 0)*n/(-1) a composite number?
True
Let g(s) = s**2 + s. Let y be g(1). Suppose 4*z + 2*i = 6*i + 16, 5*z - 17 = y*i. Is 1/(3*z/27) a composite number?
False
Suppose 0*r - 5*r - n + 5 = 0, 0 = -n. Is (r/(-1))/(4/(-212)) a prime number?
True
Let t be 2 - (1 - 2)*8. Let v be 2*-1*t/4. Let q(b) = -b**3 - 2*b**2 + 5*b - 3. Is q(v) composite?
False
Let u(t) = 9*t + 10. Suppose 5*y - 88 + 3 = -4*c, 4*c - 7 = y. Is u(y) a prime number?
True
Let p be (-73)/(-1 + -2 + 2). Suppose 3*o - 73 = 23. Suppose -y - o = -n, -2*n - y + p = -0*n. Is n prime?
False
Let b(k) = k**3 + 5*k**2 - 4*k - 1. Is b(4) composite?
False
Let g(j) be the first derivative of 5*j**2 - 4*j - 1. Let h be g(3). Suppose 2 = 2*m, 57 = r + 4*m - h. Is r prime?
True
Suppose l = 2, 3*c = l - 3 - 2. Let d = 2 - 3. Is c/((-204)/201 - d) composite?
False
Let u(y) = 12*y + y**2 - 4*y**2 - 19*y - 10 + y**3. Let w be u(8). Suppose 2*g - w = -0*g. Is g a composite number?
False
Let q(s) = s**2 - 1. Let i(k) = -5*k**2 + 11*k - 5. Let r(c) = -i(c) - 2*q(c). Let f be 10 + -1*(4 - 1). Is r(f) a composite number?
True
Suppose -2*u = -5*b - 1748, b + 0*u - 4*u + 346 = 0. Let f = b - -507. Is f composite?
False
Let z(b) = -b - 1. Let l be z(-4). Let y(o) = -o**2 + 5*o + 1. Let j be y(l). Let n(s) = s**3 - 6*s**2 + s - 3. Is n(j) a composite number?
False
Suppose 0 = -y - 2*t - 1 - 5, -5*y - 24 = 4*t. Let a(n) = 10*n**2 - n + 5. Is a(y) composite?
True
Suppose 27 = 2*z - 213. Suppose 5*y = 2*y + z. Suppose y = 5*c - 35. Is c composite?
True
Let f be (-6)/(-3)*-14 + 3/(-1). Let i = -35 + 19. Let t = i - f. Is t composite?
True
Let l = 28 - 9. Is l composite?
False
Suppose 0 = -7*a + 2*a - 515. Let l = a - -261. Let p = 285 - l. Is p a composite number?
False
Let c = 1 + 1. Is (4/8)/(c/40) a prime number?
False
Suppose -4*u + 4637 = 3*y, 4*u + 4*y = 4806 - 174. Is u a prime number?
True
Suppose 0 = c - w - 116, -552 = -5*c + 2*w + 37. Is c prime?
False
Suppose -6*o + 3053 = -7489. Is o prime?
False
Let k = 1097 - 655. Suppose -3*j - k = -5*j. Is j prime?
False
Suppose -5*c = 5*j - 290, -4*j + 0*j = -5*c - 187. Suppose j = 5*i + 4*y, 0*y = -3*i + 2*y + 45. Is i prime?
True
Let r = 165 - 101. Let n = r + 114. Is n a composite number?
True
Let j(u) = u**3 - 12*u**2 + 11*u + 4. Let h be j(11). Suppose 0*o + 508 = h*o. Is o a prime number?
True
Let p(i) = 13*i + 7. Let d(l) = -13*l - 7. Let x(m) = 4*d(m) + 3*p(m). Is x(-8) a prime number?
True
Let f(k) = 2*k**2 + 3*k + 3. Let t be f(-2). Let n(m) = m**2 + m + 5. Is n(t) a prime number?
False
Let s = 3 - -1. Suppose -76 = -s*u + a, 0*u + u = -4*a + 19. Is u a composite number?
False
Suppose -4*d + 553 = 3*d. Is d prime?
True
Let g = -856 + 2703. Is g prime?
True
Suppose -12*j + 4595 = -7*j. Is j composite?
False
Suppose u = -3*s + 236 + 437, 3*s - u - 665 = 0. Is s a composite number?
False
Suppose -4*t - 3 = n, n + 5*t + 8 = 4*n. Let h be 21/4 - n/4. Suppose 0 = -3*v + 5*g + 61, -5*g + 0*g = h*v - 115. Is v composite?
True
Suppose -5*q = -4*t + 67, 5*t - 3*t = -4*q + 14. Let v = -8 + t. Let b(g) = 2*g**3 - 4*g**2 - 6*g - 1. Is b(v) prime?
False
Suppose -p = 3*p - 672. Suppose -5*h - w - 764 = 0, -w + 5*w = -h - p. Let q = -105 - h. Is q prime?
True
Suppose -6*n - 582 = -3*o - 3*n, 5*o + 5*n - 940 = 0. Is o composite?
False
Let u(k) = 206*k + 3. Is u(1) prime?
False
Let x = 277 + -23. Is x prime?
False
Suppose o + 0*o = -c + 109, 4*o - 208 = -2*c. Suppose 2 = 5*s + 5*r - 3, 3*s - 31 = 4*r. Suppose 3*j + c = s*j. Is j a prime number?
False
Suppose -25 = -2*r + 3*c, -4*r + c = 4*c - 5. Let g = r + 0. Suppose -g*t = 3 - 13. Is t a composite number?
False
Is -1504*(-2)/12 + 1/3 composite?
False
Let t(a) = 6*a**3 + 5*a**2 - 2*a - 2. Is t(2) prime?
False
Suppose -4*x + 5020 = -5*b, -3*b + 8*b = 0. Is x prime?
False
Let y(t) = 4*t**2 + t + 4. Let g(f) = 3*f**2 + f + 3. Let m(z) = 6*g(z) - 4*y(z). Let u = 13 - 8. Is m(u) a composite number?
True
Let w = -2 + 4. Suppose 4 = j - 2*j, -234 = -w*v + j. Suppose -2*f = 3*f - v. Is f a composite number?
False
Suppose 0*z - 30 = -z. Let o = z + 3. Is o a composite number?
True
Suppose 0 = 4*a - b - 149, 2*b = -b + 9. Let d = a + -1. Is d composite?
False
Suppose 3*a = 7*a - 12. Suppose -4*x - x + 800 = 5*n, -a*x + 4*n + 487 = 0. Is x prime?
False
Let k(t) = t**3 - t**2 + t + 23. Suppose -q = -3, 2*q - 5 = -p + 1. Let