. Let u = v + y. Is u a composite number?
False
Suppose 2*a - 4 = -0. Suppose a*q = -q - 138. Let b = q + 149. Is b a prime number?
True
Suppose 10*j - 7*j = 6. Let x(f) = -f**j + 2*f**3 - 5 - 2*f + 6*f + 2*f + 5*f**2. Is x(4) a prime number?
True
Let s = -243 + 7538. Suppose -9*y + s = 1634. Is y a composite number?
True
Suppose 5*a - 10448 = -3*x, -6*a = -3*x - 2*a + 10493. Is x prime?
True
Let u be (586/6)/(2/78). Let z = -1750 + u. Is z composite?
True
Suppose p = -0*p + 233. Let x = 396 - p. Is x a composite number?
False
Let k(h) be the first derivative of -h**6/120 + 2*h**5/15 + h**4/6 - h**3/6 - 3*h**2 - 4. Let r(n) be the second derivative of k(n). Is r(8) prime?
True
Suppose -3*p - 2*c + 2216 = -46, -5*p = 4*c - 3770. Suppose -13 = -3*r - 4, 3*r = -g + p. Is g prime?
False
Suppose -516 = -2*u - 2*n, -5*n - 1330 = u - 6*u. Let i = 404 - u. Is i a composite number?
True
Let n(x) = 208*x**2 + 4*x - 1. Let u(y) = y**2 - y + 1. Let k be u(6). Let t = k + -30. Is n(t) composite?
False
Let h = -59 - -63. Suppose q - 7025 = -h*q. Is q composite?
True
Suppose 12 = h - 7*h. Is 11/h*(-14 - 0) a prime number?
False
Let v(n) = 293*n**2 - 15*n + 3. Is v(7) a composite number?
True
Let z = -355 + 606. Is z composite?
False
Suppose 0 = -5*p + 10 - 0. Suppose 2*q - p = -34. Is (1319/2)/((-8)/q) a prime number?
True
Let a(q) be the first derivative of q**4/4 - 13*q**3/3 - 5*q**2 - 19*q + 7. Is a(14) a prime number?
True
Suppose 3*k + 2946 - 19677 = 0. Suppose 5*b - k = 2*d, -2*d = -b - 2*b + 3343. Is b a prime number?
True
Let u(q) be the second derivative of q**5/20 - 5*q**4/6 + 7*q**3/6 + 11*q**2/2 + 5*q. Let j be u(9). Is 370/7 - 1/j prime?
True
Let t(y) = 2*y**2 - 4. Let c be t(-3). Let r be (c + -11)*(-4)/(-2). Is ((-249)/r)/(1/(-2)) prime?
True
Let i = 46 + -46. Let m = 0 - 0. Suppose m = -i*s - s + 95. Is s a prime number?
False
Let p(w) = 2*w**3 - 17*w**2 - 13*w - 13. Let k be p(15). Let g = k - 1620. Is g a prime number?
True
Suppose -4*x - 20 = -9*x. Let v = -9 + x. Is 140/2 + v + 4 prime?
False
Let q = -1717 + 3133. Let c = q + -35. Is c composite?
False
Let x(w) = 3 - 4 + 0 - 5*w**3 - 5*w**2 - 6*w. Is x(-4) prime?
True
Let x be (78*13/5)/(6/45). Suppose -3*f - 510 + x = 0. Is f a prime number?
True
Let z(v) = v**3 + 15*v**2 + 6. Let t be z(-15). Is (3676/t)/(8/12) composite?
False
Suppose -d + 154525 = 24*d. Is d a composite number?
True
Let t(m) = 173*m**2 - 6*m - 7. Is t(2) a prime number?
True
Let t be (20986/3*-3)/(2 - 3). Suppose 9*y - 3917 - t = 0. Is y prime?
True
Let t = -19 - -21. Suppose 5*r - 7555 = 3*k, 3*r - t*k = -0*k + 4534. Suppose -m = -4*x - 311, -4*x + r = 3*m + 495. Is m a composite number?
False
Let b(q) = 2*q**3 + 3*q**3 - 2 - 4 - 20*q - 8*q**3. Is b(-7) a composite number?
False
Suppose 0 = 7*h - 6*h - 16. Suppose 3*a - 44 = -b, -3*b = a - 2*b - h. Suppose 4*i - a = 198. Is i a composite number?
False
Suppose 5*b - 2608 = b. Let g = 971 - b. Is g prime?
False
Let v = -18308 - -26805. Is v a prime number?
False
Suppose c + 5*j - 627 = 0, 4*c - 1925 = c - 4*j. Let b = -330 + c. Is b a composite number?
False
Let n(f) = -f**3 - 10*f**2 - f - 10. Let q be n(-10). Suppose 2*r - 136 - 246 = q. Is r a composite number?
False
Let l be (-1 + 8)*18/(-7). Let d be 2 + l/(1 + 1). Let r(z) = -z**3 - 4*z**2 + 6*z + 1. Is r(d) composite?
True
Is 6865 - 14/(-42)*0/1 composite?
True
Let u(v) = -v**2 + 7*v + 7. Let w(o) = 7*o + 7. Let j(b) = -5*u(b) + 4*w(b). Let y be (-4)/8*(0 - 16). Is j(y) a composite number?
False
Let d(a) be the third derivative of -a**7/1008 - 7*a**6/720 + a**5/6 + 5*a**2. Let j(g) be the third derivative of d(g). Is j(-8) a composite number?
True
Let b(d) = 3*d**2 + 14*d + 4. Let h be b(15). Suppose h = j - 176. Let u = j - 508. Is u prime?
True
Suppose -u - 111 = 3*i - 4*u, -3*i + u - 121 = 0. Let s = i + 76. Is s prime?
False
Let h(j) = 76*j**3 + 16*j**2 + 25*j - 109. Is h(8) composite?
True
Let x = -94 - -96. Is 11/(x*2/124) a prime number?
False
Let n = 91 - -10. Suppose -z + 2*z - 3*y - n = 0, 0 = -5*y - 10. Is z composite?
True
Let f = 3 + 30. Suppose -f = -14*a + 11*a. Is a a prime number?
True
Is (-6)/(-7 + 8253513/1179081) a prime number?
True
Let g(o) = 5*o**3 - 4*o + 3. Let b be g(1). Is 570 + b + (3 - 0)/(-3) a composite number?
True
Let g = 5 - 3. Suppose 0 = t + 4*n - 29, -2*t - 2*t - g*n = -102. Let u = t + 69. Is u a prime number?
False
Suppose -7*b + 2*b = 65. Let f = b + 80. Let w = f - 44. Is w a prime number?
True
Suppose -f = -4*o + 3021, 2*f + 11984 = -2*f - 4*o. Let q = 4501 + f. Suppose 5*v + q = 5*n, -1165 = -3*n - n - 3*v. Is n prime?
False
Suppose j - 4*i + 10 = 0, 5*i + 4 = -2*j - 3. Let r be (3 - 1)*(-356)/(-8). Let g = r - j. Is g a prime number?
False
Suppose 3*l + 5*s - 268 = -100, -2*l - s = -105. Suppose 5*n = -i + 26, i - 14 - 20 = -n. Let o = l + i. Is o a composite number?
True
Suppose 78 = -2*t + 4436. Is t a composite number?
False
Suppose 0*h + h + 2*q + 8 = 0, -5*q = -5*h + 20. Let l be (2 - 2 - h)/(-2). Suppose 3755 = 5*j - l*j. Is j prime?
True
Suppose -6*p + 64 + 14 = 0. Suppose -p*d + 12 = -9*d. Suppose -d*x + 365 + 208 = 0. Is x prime?
True
Let g(p) = -p**3 - 12*p**2 + 5*p - 7. Suppose 3*w + 3 = -4*t - 2, 2*t - 2 = 0. Let b be -10 + (3 + 6)/w. Is g(b) a prime number?
True
Let b = 931 + -449. Suppose 101 = -4*n + 5*v + b, 4*v = 5*n - 474. Is n a composite number?
True
Is (21/(-9))/(-1)*1437 prime?
False
Let q(m) = -61*m**3 + m**2 + 3. Let l(y) = 123*y**3 - 3*y**2 - 7. Let z be 2 - 5 - (2 + 0). Let k(o) = z*q(o) - 2*l(o). Is k(1) prime?
True
Suppose 0 = -3*b + 114 + 132. Let w = b - 30. Let n = 441 - w. Is n a prime number?
True
Let b(s) = s + 13. Let l be b(-9). Suppose -l*x - 16 = -0*x. Is -47*x/(-8)*-2 a prime number?
True
Is (-1 + -18253)*63/(-126) a composite number?
False
Suppose -18*c = -13*c - 10. Is (1883/(-56)*c)/(2/(-8)) prime?
True
Let f(c) = 1291*c - 152. Is f(9) composite?
False
Let g(y) = 143*y**3 + 2*y**2 - 2*y. Let j be g(2). Let s = j + -243. Is s a composite number?
True
Suppose 0 = l - 0*t + 2*t + 4, 2*l = -3*t - 6. Suppose l = 2*s, -5*k + 1132 = 2*s - 1548. Suppose -3*m = -2*i + 268, 4*m - 111 = -5*i + k. Is i prime?
True
Let o(u) be the first derivative of -2*u**3/3 + u**2 + 7*u + 9. Let q be o(3). Let g(j) = 4*j**2 - 6*j + 3. Is g(q) a prime number?
False
Is (-969772)/(-828) - 2/9 a prime number?
True
Is -3*(9464/(-21) - 3) a composite number?
False
Suppose 484334 = -57*a + 1717301. Is a composite?
True
Let z(i) = 2 + 3 + 2*i - 3*i + 6. Let d be z(8). Suppose 8*x = d*x + 105. Is x a prime number?
False
Let z = -5541 + 28300. Is z prime?
False
Let m(j) = 1659*j + 345. Is m(6) composite?
True
Suppose -21879 = -5*y - 2*i, 4*y + 4850 - 22361 = i. Is y prime?
False
Let g be 4/(-10) - (-198)/45. Suppose 9*i = -g*i + 3835. Is i composite?
True
Let z be (10/(-3) + 4)*3. Let v(i) = -i**3 + 0*i + 14*i**z - 8*i - i + 7. Is v(9) prime?
True
Suppose 84917 + 60993 = 10*x. Is x prime?
True
Let k(i) = -10650*i**3 + 5*i**2 + 9*i + 5. Is k(-1) prime?
True
Let u = 1415 + -342. Suppose -2*i - h - u = 0, 0 = i - 5*h - 172 + 725. Let j = i - -789. Is j a prime number?
True
Suppose 0 = -m + 3*f - f - 10, -5*f + 25 = 0. Suppose 6*t - 3161 + 923 = m. Is t prime?
True
Let r(w) = w**3 - w**2 - 3*w - 7. Let p be r(3). Suppose -3*a = a - 1324. Suppose -s + m + a = 0, 3*m - p = 10. Is s prime?
False
Let w = 82 - 79. Let l(o) = 28*o. Let x be l(6). Suppose -w*r + x = -87. Is r a prime number?
False
Let a = -19 + 9. Let x = a - -8. Is x/5 + (-1867)/(-5) composite?
False
Suppose 18*v - 12*v - 4236 = 0. Suppose 3*r - v = 128. Is r a composite number?
True
Suppose 2*z = -5 + 15. Suppose 0 = -z*r + r. Suppose r*a + a = q + 29, -39 = -a - 4*q. Is a prime?
True
Suppose -3*r - 5*f = -0*f - 6155, 2*r = 2*f + 4082. Is r - ((-248)/(-60) + (-2)/15) a prime number?
False
Is 0 + 6 + -2 + 29560/40 prime?
True
Let z(g) = -12*g + 14*g + g**2 + 5 - 5*g. Let o be z(3). Suppose -32 = -3*s + 2*w, -s + o*w - 39 = -2*s. Is s composite?
True
Suppose -11*x + 13*x + 8 = 0. Let y(h) = -6*h**3 - 2*h**2 - 7*h - 7. Is y(x) prime?
True
Suppose 0*z + 6*z = 13236. Suppose 999 = 5*g - z. Is g a prime number?
True
Let s = 14 - 12. Suppose -o + 27 = s*o. Suppose -154 + o = -g. Is g composite?
True
Let a = 