 Suppose 6*c - c - 400 = k. Suppose 5*d - 10 = 0, 5*d - c = -4*j + 142. Is j prime?
True
Suppose 0 = 6*b - 943 - 395. Suppose 4*p = 0, -x + 666 = 5*p - b. Is x a prime number?
False
Let l be (-3 + 31/(-2))*-2. Let z = 126 + l. Is z a composite number?
False
Suppose 9*r + 1000 = 14059. Is r composite?
False
Let t be 0/2 - 21 - -3. Let y = 18 + t. Suppose d + 5*r - 214 = y, -4*d - 4*r + r = -873. Is d a prime number?
False
Let p(h) be the first derivative of 147*h**2/2 - 6*h + 4. Let j be p(4). Let k = j + -391. Is k a prime number?
True
Suppose -4*j = 3*v + 37, -4*j - v - 25 - 14 = 0. Is 10/j - (-1 - 347) a composite number?
False
Let d(r) = 6*r**3 - 9*r**2 - 18*r - 13. Is d(11) a composite number?
True
Let g(r) be the first derivative of r**2/2 + 9*r + 5. Let o be g(7). Is (26/4)/(4/o) composite?
True
Suppose 3*c - 348 = 2130. Let d = 0 + 2. Suppose d*b = 4*b - c. Is b a prime number?
False
Suppose -51*m + 14*m = -24901. Is m a prime number?
True
Suppose -31690 = -8*p + 7134. Is p a composite number?
True
Let b be 106/2 + -11 + 12. Let c = b - 11. Suppose 0 = -3*u - 2*r + 207, 4*r = 2*u - c - 79. Is u a prime number?
True
Let n(q) = -203*q**3 + q**2 - 3*q - 3. Is n(-2) composite?
True
Let u(m) = -m**3 + 8*m**2 + m - 7. Let i = 62 + -55. Is u(i) a composite number?
True
Let p(f) = 8*f + 17. Suppose 3*w = 8 - 53. Let g be w/(-6)*36/15. Is p(g) composite?
True
Suppose 5*h = k + 8655, 4*k - 1237 - 515 = -h. Suppose p + h = 4*g + 389, 664 = 2*g + 2*p. Is g composite?
True
Let p = -8 - -12. Let s be 2*(p - 2) + -64. Is 5*1*(-804)/s a composite number?
False
Let b(h) = 109*h**2 - h + 19. Let w(q) = 163*q**2 - 2*q + 29. Let o(x) = 8*b(x) - 5*w(x). Is o(-4) composite?
False
Suppose -h - h = -4. Suppose -h*a - 2*g = -14, -a + 16 = 5*g - g. Suppose a*m + 164 = 4*x - 80, 5*x - 296 = 2*m. Is x a prime number?
False
Let j(t) = -t**2 + 10*t - 12. Let i be j(7). Suppose -12*b + 1347 = -i*b. Is b a prime number?
True
Suppose -5*s = -25 + 5. Suppose -s*n - 6*i - 2 = -i, 4*n = 2*i + 12. Suppose -h - 3*l = -49, 0 = -h + n*l + l + 61. Is h prime?
False
Let s(u) = -u**3 + 16*u**2 - 11. Suppose 5*v - 4*v = 10. Let d be s(v). Let n = d + -322. Is n a composite number?
True
Suppose 13*y = 11029 - 1006. Is y a prime number?
False
Let p be 0/(7 + -4 + -2). Suppose -3*f - 785 - 1099 = p. Is 39/(-26)*f/6 composite?
False
Suppose -9 = -4*w - 225. Let d = w + 3. Is (-214)/(-7) + d/(-119) a prime number?
True
Let z(k) = -756*k**3 + 3*k**2 + k - 1. Let j be z(-1). Suppose 1446 = s - j. Is s a composite number?
False
Suppose 3*d - 3*x - 27858 = 25737, -4*d + 71470 = x. Is d prime?
False
Suppose 253971 = 129*k - 126*k. Is k prime?
False
Let l be -2*(-3)/(2 - -1). Suppose 0 = -3*b - 4*m + 4103, 0 = -l*b + m - 0*m + 2717. Is b a composite number?
False
Suppose 0 = -0*n + 3*n - 6, 5*n = q + 10. Suppose 2*w - 4*j + 19 + 383 = 0, q = 5*w + 4*j + 1005. Is (-2)/((-1)/(w/(-6))) a prime number?
True
Suppose 0 = -8*i + 4441 + 2815. Is i composite?
False
Suppose -21 = -2*u + 3*o, o - 9 = 2*u - 4*u. Suppose 15 = 5*q, 5*l = -u*q + 4*q + 16801. Is l a composite number?
False
Let j = -10530 - -17693. Let u = -4441 + j. Is u a prime number?
False
Let h = -5 - -9. Let j be (12 + -14)/(h/34). Let k = 31 + j. Is k a prime number?
False
Suppose -4*a = -3*l + 255 + 13, -a - 82 = 3*l. Suppose s - 3*k = 226, 5*k - 926 - 144 = -5*s. Let c = s - a. Is c composite?
True
Let p = -2417 - -4174. Suppose 4*a - p = -3*a. Is a a composite number?
False
Suppose -l + 4*p = -6, -5*p + 2 = 5*l - 3. Let z(h) = 3 + 41*h**l - 9*h**2 - 3 + h. Is z(1) a prime number?
False
Suppose -4*c = -13*n + 2077809, -5*c + 3*c = n - 159843. Is n a prime number?
True
Is -1*(-236755)/45 + (-6)/27 prime?
True
Suppose 0*v = -3*j + 2*v + 99451, v = 4*j - 132598. Is j a prime number?
True
Let q(w) = -1273*w**2 + 3*w - 2. Let t be q(1). Let d = 2387 - t. Is d composite?
False
Suppose -3*g + 65993 = 2*w, 3*g = 2*w - 43736 - 22251. Is w a composite number?
True
Suppose 10*r = -8*r + 120006. Is r a prime number?
False
Suppose -5 = 6*i - 11*i. Let t(f) = 1976*f + 3. Is t(i) a prime number?
True
Let w = 77612 - 38134. Is w prime?
False
Let d(k) = -609*k + 22. Let q(c) = 1217*c - 44. Let y(b) = 5*d(b) + 2*q(b). Is y(-5) a prime number?
False
Let n(g) = -g**2 + 10*g - 8. Let q be n(8). Is 10539/24 + (-1)/q prime?
True
Let g be (4/5)/(3/(-225)). Let d = g + -77. Let a = d + 286. Is a composite?
False
Suppose -4*k - 1 - 5 = -a, 2 = -a - 4*k. Suppose -1707 = -5*d + a*l, 4*d = -0*d - 5*l + 1359. Is d a composite number?
True
Let u(n) be the third derivative of n**6/120 - 11*n**5/60 + 13*n**4/24 + 7*n**3 + 19*n**2. Is u(15) a prime number?
False
Is ((-59440)/24)/((-2)/24) + -3 prime?
True
Suppose -5*f + 6*f = -4*n + 2983, -2*f + 4*n + 5966 = 0. Is f a prime number?
False
Let w = -5734 - -12201. Suppose 0 = -7*h + 3326 + w. Is h prime?
True
Suppose 17*j = 9*j + 3176. Is j prime?
True
Suppose 298 - 102 = -4*z. Let s be (z - 0)/((-3)/9). Is -3 + s + 1/(-1) a composite number?
True
Let p(w) = -5*w + 7*w - w + w**2 + 3. Let n be p(0). Suppose 0 = -2*u + v + 319, v + n = -2. Is u prime?
True
Is -39*(2/4 + (-18987)/18) prime?
False
Suppose -4*p = -4*z + 8, -3*p + 4 = 3*z - 32. Is 0/(-2) - (-763)/z prime?
True
Let l(c) be the first derivative of c**3/3 + 5*c**2/2 - 15*c + 24. Is l(-25) a composite number?
True
Let r(c) = c + 16. Let d be r(-13). Let n be 16*10 - (6 - d). Suppose 0 = q - 2*g - n, -4*g = 3*q - 6*g - 471. Is q composite?
False
Let h = 13 + -37. Let z = 2 - h. Is z prime?
False
Let y(c) = -1530*c - 1. Is y(-10) a composite number?
False
Let q(t) = -16*t**2 - 1 + 7*t**2 + 5*t**2 + 4*t. Let y be q(-4). Let i = -43 - y. Is i a prime number?
False
Let h = -101 + 100. Is (h + 0)/((-83)/(-21) + -4) a prime number?
False
Suppose 10*m = 9*m. Let r(g) = -2*g - 1106. Let a be r(m). Let z = a + 1573. Is z composite?
False
Suppose 98 + 141 = c. Let y be (1 + -2)/((-2)/(-210)). Let m = c + y. Is m composite?
True
Is (5*1337756/350)/((-4)/(-10)) a composite number?
False
Suppose 25*b - 4609 = 1566. Is b a prime number?
False
Let w(n) be the first derivative of 227*n**2/2 + 2*n - 6. Suppose b = -5*r + 18, 4 = 5*r - 2*b - 5. Is w(r) composite?
False
Let x(w) = -w + 1. Let u be x(-2). Suppose -5 = h - 1, 5*h = 2*c - 556. Suppose -u*o + c = o. Is o prime?
True
Let o(i) = -i**2 - 4*i + 1. Suppose 2*t + t + 3*r = 0, -5*t = -4*r + 27. Let u be o(t). Suppose -4*s + 93 = 3*n, 2*s + 0*s = -u*n + 124. Is n composite?
False
Is (8/16)/(1 - (-1571765)/(-1571770)) composite?
False
Let l = 5432 + -3337. Is l prime?
False
Let y(k) be the third derivative of -k**6/20 - k**5/20 - k**4/12 - k**3/6 - 27*k**2. Is y(-2) a prime number?
False
Let c(v) = -3*v + 3*v + 4*v - 3*v. Let k be c(5). Suppose -p + 31 = -k*u, 3*u - 45 = -5*p + 110. Is p prime?
True
Let j(d) = -7*d**3 + 6*d**2 - 4*d - 22. Is j(-9) prime?
False
Suppose 0*b = b - 9. Suppose 11*l - b = 8*l. Suppose 3 = -3*n, l*h + 5*n - 383 = -h. Is h a composite number?
False
Let n = -390 - -248. Let w = 407 + n. Is w composite?
True
Suppose -4*k + 38 = -k + 4*n, -k = 4*n - 26. Let u be (14/21)/((-4)/k). Is -414*(1 + -2) + u prime?
False
Let v = 300 - -476. Let r = 285 + v. Is r prime?
True
Let w = 4983 + -3034. Is w a composite number?
False
Let h(f) be the third derivative of f**5/12 - 5*f**4/24 - f**3/6 - 2*f**2 + 22. Let r = 14 + -8. Is h(r) composite?
False
Let u be (-1 + 0/(-2))*-6. Let o(i) = -99 + 51 + 2*i + 49 - 7*i + 4*i**2. Is o(u) composite?
True
Is 3 + 2 + (3672 - 8) prime?
False
Let l = 108857 - 31558. Is l a composite number?
True
Let l(a) = a**2 - a + 3. Suppose 0*t = -5*t - 3*b, 0 = 3*b. Let h be l(t). Suppose -w - 3*w = -h*r + 623, -5*w = -5. Is r a composite number?
True
Let n = -25896 - -51509. Is n prime?
False
Suppose -b + p = -5, -2*b - 4*p = -5*b + 20. Suppose -4*c + 11 = -m, 3*c - 6*c - 2*m + 22 = b. Suppose -4*x - x + 369 = 3*l, -c*x - 460 = -4*l. Is l composite?
True
Let x be (-4 + 1 - 7)/(-2). Suppose -x*b = -5*n + 5750, -20 = -b + 6*b. Suppose 4*p - n = p. Is p a prime number?
False
Suppose -k = 5*a - 76153, 70468 - 298953 = -3*k - 2*a. Is k a prime number?
True
Let b be (-2)/(-5) + (-6)/15. Suppose 3*a = 5*k - b*a - 1589, 2*k - 628 = 5*a. Suppose k = -0*x + x. Is x a composite number?
True
Sup