 Is u composite?
False
Let z(j) = 5*j**2 + 7. Let w(b) = 2*b. Let i be w(-5). Let d = 16 + i. Is z(d) prime?
False
Let a(u) = 134*u**2 + 8*u - 19. Is a(3) prime?
False
Is (0 + (-146)/(-4))/((-2)/(-76)) composite?
True
Suppose 3*s + 2*s - 5 = 0. Let n(t) = 2*t**3 + t**2 - 1. Let g be n(s). Suppose 3*p = -0*x - 3*x + 204, g*x - 142 = 4*p. Is x composite?
True
Let u(b) = 3*b + 5. Let h(l) = l**3 + 13*l**2 - 4. Let k be h(-13). Let j be u(k). Let q(p) = -p**3 + p**2 + 10*p + 9. Is q(j) a composite number?
False
Let p(d) be the second derivative of 79*d**3/6 - 9*d**2/2 + 5*d. Let l be p(-8). Let g = -202 - l. Is g composite?
False
Let j be 5/2*(-264)/(-110). Suppose j*x - 26113 = -5083. Is x a composite number?
True
Suppose 5*o = -6 + 26. Suppose -o*u + 11646 = 1010. Is u composite?
False
Suppose -5*g = 0, 3*g = 2*z + 3*z - 8335. Let r = -1000 + z. Is r a prime number?
False
Suppose -d - 4 = -2*d. Let x be d/5 - 30/(-25). Suppose 2*m - 1 = -5, -x*a + m = -1248. Is a a composite number?
True
Let c(g) = -g**3 - 6*g**2 + 49*g + 7. Is c(-22) composite?
False
Let q = 989 + -634. Is q prime?
False
Suppose -1484 = -n - n. Suppose 9*s - 11*s = -n. Is s composite?
True
Suppose 2*r - 5463 = 5*r. Is r/(-21) + 12/42 prime?
False
Let w be (-18)/3*10/(-4). Let q = w - 17. Is (-4)/q*(-266)/(-4) composite?
True
Let p(h) = 1333*h**2 - 3*h + 27. Is p(4) a prime number?
False
Suppose 0 = -4*s + 36 - 4. Let c = 10 - s. Suppose i - 4*i = -2*v + 319, -5*v + 803 = -c*i. Is v a composite number?
True
Suppose 20 = -5*n, -5*l = n - 238 - 613. Let w = l - -88. Is w a prime number?
False
Let k be (1 - 2) + 104 - (45 + -43). Suppose -590 + k = -3*h. Is h prime?
True
Let t = -10335 + 15166. Is t a prime number?
True
Suppose -5*a + 7 = -3. Let c be 0 - -327 - (1 + -2). Suppose -a*v = 2*v - c. Is v prime?
False
Let r be ((-88)/(-6))/((-2)/(-12)). Suppose 6*v - 8 - 16 = 0. Suppose 2*d - 33 + 1 = 5*x, -v*x - r = -4*d. Is d a composite number?
True
Suppose -3*o - 4*n + 25 = 0, 2*n = 3*o - n + 3. Suppose 0 = -3*v - o*c + 6678, -3*v + 3*c + 5712 = -978. Is v/6*6/4 prime?
True
Suppose -19*v = -5*v - 61586. Is v composite?
True
Suppose -22*g = -5*h - 26*g + 9753, 3*g + 3892 = 2*h. Is h a composite number?
False
Let n be 1/(-4 - -2)*(-3 - 3). Suppose -n*m - 3*z = -10716, 2*m - 5*z - 8943 = -1806. Is m a composite number?
False
Let w = 296 - 101. Let h = -68 + w. Is h a composite number?
False
Suppose 0 = -6*t - 37 + 13. Is -3513*t/(-36)*-3 a composite number?
False
Suppose -4*i + w = 6*w - 15, 0 = -5*i + w + 26. Suppose s = -1 + 4, -i*o + s + 4977 = 0. Suppose 3*t = -4*q - q + 1247, o = 4*q + 2*t. Is q a composite number?
True
Suppose -w + 1313 = 2*w + 5*d, 0 = 5*w - 2*d - 2147. Let z = w + -300. Is z a prime number?
True
Suppose 4*p = -z - 8, z - 1 - 1 = p. Suppose 6*d - 464 - 1060 = z. Is d prime?
False
Let u(h) = -1886*h - 49. Is u(-4) prime?
False
Suppose -5*h = 4*a - 0*a - 14, 5*a = h + 3. Suppose -30 = -h*x - 3*x. Suppose k = 2*q + 155, 0 = 4*k + x*q - q - 581. Is k composite?
False
Suppose -8*b = -3*b. Suppose 0 = 3*s + 2*q - 23, b*s + 19 = 3*s + q. Is (0 - -1)/(s/425) prime?
False
Let y be 4/(-5)*355/(-2). Suppose 2*a = -158 + 572. Let d = a - y. Is d composite?
True
Let m = -5 - -5. Let l = 48 - 46. Is (m - -127)*(-1 + l) a prime number?
True
Is ((-33)/66)/((-1)/3070) prime?
False
Let z(t) = t**2 + 12*t + 9. Let d be z(-11). Let h be d/(2/3) + 3. Suppose w - 58 - 69 = h. Is w a prime number?
True
Let n = -1377 + 2215. Is n composite?
True
Suppose 5991 - 87289 = -14*y. Is y prime?
True
Let w = -104 + 104. Suppose 4*d - 5*l - 14015 = 0, -3*l + 3 = -w*l. Is d composite?
True
Suppose 3*m - 8867 = -4*k, 4*k - 2*m - 2779 = 6063. Is k composite?
False
Let x(s) = -4*s**3 - 4*s**2 - 4*s - 3. Suppose -u = -r + 1, -2*r = -u - 4*r - 16. Let v be x(u). Suppose -v = -5*o - 36. Is o a composite number?
True
Is ((-2)/((-24)/(-402)))/((-2)/116) a composite number?
True
Suppose 32*f = 30*f, -5*c + 2*f = -26365. Is c a prime number?
True
Let f = -771 - -2608. Is f composite?
True
Let j(q) be the second derivative of q**4/12 - 6*q**2 + 7*q. Is j(-13) a composite number?
False
Let j = 315 + -225. Is -2 - -1 - (2 - j) a prime number?
False
Let t be (2 + -5 - 0)*-1 - 2. Is (-24)/(-24) + (1952/t)/2 prime?
True
Let s be 2*2/((-16)/(-3188)). Let d be (-2)/(-5) - s/5. Is (2 - 6)/4*d composite?
True
Let r = 7508 - 4937. Is r composite?
True
Let i = -77 - -82. Suppose -2*q + i*j = -3*q + 159, -2*q + 304 = 3*j. Is q a composite number?
False
Let s(d) be the second derivative of d**5/5 - 5*d**4/12 + d**3 - 9*d. Let m be s(5). Is m - (-5)/(5/4) a composite number?
False
Suppose -4*l - l = -5*h + 85, 0 = -3*h - 2*l + 36. Let i(m) = -5 - m**2 + 3*m**2 + m**2 + 21*m + 0*m**2. Is i(h) composite?
False
Let b = -1491 + 8812. Is b composite?
False
Let y(h) = 239*h**2 - 5*h - 1. Is y(4) a prime number?
True
Suppose -621183 = 33*m - 2588346. Is m prime?
True
Suppose -5*a = d - 4194, -a + 2 = 1. Is d a composite number?
True
Suppose 3*y = 3*a - 8*a + 96538, 0 = 3*y - 2*a - 96503. Is y prime?
False
Suppose -5*r + 24 = 3*r. Suppose -r*c + 495 = 69. Is c a prime number?
False
Suppose -4*s - 3*y = -4*y - 21282, -5329 = -s - 4*y. Is s prime?
False
Let l be 69/21 - 12/42. Suppose 5925 + 1386 = l*h. Is h a prime number?
True
Let i be 2*((-10)/(-35) + (-10)/(-14)). Is i - (1629/(-3) + 4) a composite number?
False
Suppose 23 = 2*h - 575. Let t = -23 + 27. Is h/(-1 + t + -2) a prime number?
False
Let n(a) = 1094*a**2 + 15*a - 27. Is n(2) composite?
True
Let k be 12/30 - (1 + (-643)/5). Suppose 0 = -h + k + 95. Is h a prime number?
True
Let a(k) = 19*k**2 - 13*k + 5. Let g(l) = 56*l**2 - 38*l + 15. Let h(j) = -17*a(j) + 6*g(j). Suppose 3 = -3*n + 4*z - z, 3*n = 5*z - 13. Is h(n) a prime number?
False
Let o = 19 + -17. Let w be o - (2*-52 + 1). Suppose w = r - 152. Is r a composite number?
False
Let n = -1064 - -1803. Is n composite?
False
Is (24/4 + -5)/((-1)/(-4831)) prime?
True
Let y(g) = 2*g**2 + g - 4. Let k be y(-2). Let s(r) = 120*r**2 + 3*r - 1. Is s(k) prime?
False
Let s(j) = 109 - 199 + 161 - 19*j. Is s(-18) composite?
True
Let p(c) be the third derivative of -c**5/4 - 5*c**4/24 + 2*c**3/3 - 4*c**2. Let l(a) be the first derivative of p(a). Is l(-10) composite?
True
Let w be ((1 - -2) + -3)/2. Suppose -3*m + 5*o = -0*o - 1208, 4*m + o - 1626 = w. Suppose 3*n = m + 77. Is n a composite number?
True
Suppose 3*z - j = -638, -3*z - j - 526 - 102 = 0. Let m = 108 - z. Is m a composite number?
True
Let c(r) = -5*r**3 + 2*r**2 + 10*r - 8. Is c(-9) composite?
False
Let k = -19 - -18. Let y be 3018/6 + (-2)/k. Suppose 5*z - y = 4*z. Is z a prime number?
False
Suppose 0 = -3*d - 4*d + 21. Is d + -1 + -1 + (-4032)/(-6) a prime number?
True
Suppose -2*n = -6*n - 20. Let d(w) = w**2 - w - 3. Let p be d(n). Suppose 5*k - p = 78. Is k prime?
False
Suppose 2*o + o + 275 = -c, -374 = 4*o + 5*c. Let r = o - -128. Is r a prime number?
True
Let o = -1557 + 2626. Is o prime?
True
Let p(c) = c**3 - 9*c**2 + 7*c + 8. Let o be p(8). Suppose -5*l + 7*l - 2110 = o. Is l a prime number?
False
Let g = -1068 + 1532. Suppose -163 = 7*y - g. Is y prime?
True
Is 1*4*(-1206)/(-72) prime?
True
Is (-64)/(-8) + 2780/4 prime?
False
Let j be (36/(-15))/((-16)/40). Suppose -3*a - 3*p = -3171, -6 + 1 = -p. Suppose -2*i = -j*i + a. Is i a composite number?
False
Let n(t) = 11*t**2 + 8*t - 48. Let l(r) = 4*r**2 + 3*r - 16. Let f(m) = -8*l(m) + 3*n(m). Let a be f(0). Let k = -1 - a. Is k a composite number?
True
Let u = 76 - 41. Let o = u - 65. Let h = o + 43. Is h prime?
True
Let t = -8317 - -13874. Is t a prime number?
True
Suppose 12700 = 5*s + 6*c - 2*c, 10201 = 4*s - 5*c. Let j = 317 + s. Is j a prime number?
True
Let p(i) = -i**2 - 2*i + 77. Let b be p(0). Suppose b = 2*t - t. Is t prime?
False
Suppose 9 = v + 70. Let n = 204 + v. Is n composite?
True
Suppose 4*i = -5*l - 9, 0*l + 3*l = -2*i - 3. Is (-817)/(((-4)/i)/((-10)/15)) a composite number?
True
Let n = 7627 + 1906. Is n prime?
True
Suppose -7*b = -3*b - 120. Suppose 3*d + 3*d = b. Suppose 4*u - 3*u - d = 0, 4*n + 4*u - 2896 = 0. Is n prime?
True
Suppose 0 = 3*i - c - 2095, 0 = -5*i - c + 2263 + 1234. Is i a composite number?
True
Suppose 4*k - 6 = k. Suppose -3*v - k*r - 274 = -60, 0 = -v + 5*r 