q = v - z. Is q composite?
False
Let h(b) = -5*b + 25. Let i be h(8). Is (-6)/(-9) - (26540/i)/4 prime?
True
Suppose -5161 = -3*x + 101939. Suppose -7*l - 8351 + x = 0. Is l composite?
False
Let q(x) be the third derivative of x**6/120 - 3*x**5/20 - 11*x**4/8 - 3*x**3/2 + 2*x**2. Is q(16) prime?
False
Suppose 8*b = 3*b. Suppose b = 2*o - 783 - 31. Is o composite?
True
Let i = 11 + -12. Let f be (i + -16)/(3/(-204)). Suppose 0 = -2*w + 4*d + 558, -4*w + 0*d + f = 2*d. Is w a composite number?
True
Let v = 392 - 1. Let g = 74 - v. Is 1/((-318)/g - 1) composite?
False
Let y = 35 - 32. Let h(u) = 11*u**3 - 9*u**2 - 7*u - 3. Let g(s) = -16*s**3 + 14*s**2 + 11*s + 4. Let j(x) = 5*g(x) + 8*h(x). Is j(y) a prime number?
True
Let v(b) = -b**2 + b - 1. Let h(c) = -c**2 - c - 7. Let y(l) = -h(l) - 2*v(l). Let d be (1 - 0)/(4/28). Is y(d) composite?
False
Let z(s) = 16 - 2*s - 14 + 29*s. Let j be z(3). Suppose 5*u - 8 = -4*g + j, g = -u + 18. Is u prime?
True
Let v(j) = 389*j + 10. Let z be v(6). Suppose -7*d = -3*d - z. Suppose q = -q + d. Is q composite?
False
Let j = 436 + -142. Suppose 3 + 7 = 2*o. Suppose -j = -o*r + 191. Is r a composite number?
False
Suppose -v + 2*i - 12213 = -4*v, -5*i + 8131 = 2*v. Is v a composite number?
False
Suppose 0 = -66*i + 64*i + 11978. Is i composite?
True
Let n = 21 - 16. Suppose 9 - 1 = -n*r + 2*i, 3*i - 12 = -r. Suppose r = -2*l + 25 + 37. Is l prime?
True
Let w(o) = 3*o + 1536 - 2*o**2 - 2352*o**3 - 1535 + 5*o**2. Is w(-1) composite?
True
Let b = -389 + 264. Let o = 1242 + b. Is o a prime number?
True
Let m = -26 - -26. Is 1481 + m + (2 - 2)*-1 a composite number?
False
Suppose 0 = -11*m + 2*m + m. Suppose m*h - 94 = -5*g - h, -37 = -2*g - h. Is g a prime number?
True
Suppose 41*k - 24*k - 9741 = 0. Is k a composite number?
True
Suppose 5*r = 4*t + 10 - 1, -10 = 2*r - 5*t. Suppose 3*y + 24 = 6*y. Is 2*58 + (r - y) composite?
False
Suppose 0 = 4*y + r - 149765, 5*y = 10*r - 7*r + 187202. Is y a prime number?
True
Let x(q) = -4*q**3 + q**2. Let k be x(-1). Suppose 154 = k*y - 91. Is y a composite number?
True
Suppose 7*x - 3635 = 3*x - s, 0 = -x + s + 905. Suppose -2*c - 3*q + 376 = 0, x = 5*c - 5*q - 7. Is c a composite number?
True
Let r be (-3)/2*(4 - 11 - -5). Suppose 8*x - 3*x = -5*y + 1305, 0 = r*y - 2*x - 773. Is y a composite number?
True
Let u = -6 - 0. Let d = -9 + 3. Is d/4 + (-423)/u prime?
False
Let z be ((-1)/(-2))/(14/(-28)). Let d be ((-2 - -2)/2)/z. Suppose w + 4 - 18 = d. Is w prime?
False
Is (-1)/(-15)*3 - 771680/(-100) prime?
True
Let x(g) be the first derivative of 6 + 1/4*g**4 - 9/2*g**2 - 2*g**3 + 9*g. Is x(8) prime?
False
Let i be 9 + (2 + 0)*-2. Suppose -10 = i*t, -2*t = -c + 2*t + 759. Is c a prime number?
True
Is -244*((-32)/(-24) - 254/24) prime?
False
Suppose 5*c + 32345 = 10*c. Is c a prime number?
True
Let w = 35 - 43. Is ((-354)/w)/((-18)/(-48)) a prime number?
False
Let z(j) = 23 - 81*j - 7 - 15. Is z(-8) prime?
False
Suppose 5*f - 3 = 2*m, m - 1 = -5. Is (f + 0/(-1))*2 + 16 prime?
False
Suppose l + 14 = -2*m, 4*m + 2*l + 20 = m. Let n = -8 - m. Suppose 5*w = -n*w - 3*r + 830, 474 = 3*w - 3*r. Is w composite?
False
Let t(y) = 34*y**3 + 5*y**2 + 9*y - 7. Let k be t(-10). Is (12/(-18))/(6/k) a composite number?
False
Let n(l) = -28*l - 5. Let z(j) = -27*j - 6. Let q(m) = -5*n(m) + 4*z(m). Suppose 3 = 9*w - 8*w. Is q(w) composite?
False
Suppose 0 = 4*l - i - 0*i - 5121, 3*l = 3*i + 3852. Is l composite?
False
Let m(v) = 55*v**2 - v + 9. Let p(s) = 55*s**2 + 8. Let l(a) = -5*m(a) + 6*p(a). Is l(-1) a prime number?
True
Let f be 1 + 2/(2/3). Suppose 3*z - 3 = 0, -2*z = -f*c + 2*z + 1176. Is c a composite number?
True
Let g = -44 - -58. Let j = 5 + g. Is j a prime number?
True
Let p(q) = 30*q**2 + 2*q + 1. Let z be p(-3). Let m be (-6)/10 + z/25. Is (2/(-3))/(m/(-2325)) a prime number?
False
Suppose -57*a + 40*a = -32351. Is a composite?
True
Suppose k - 7 = -0. Suppose 0 = 3*a - k*a. Is 127 - 0/(a + 3) a prime number?
True
Let w = -1409 - -2434. Suppose -8*q = -4*q - 2*t - 1022, 4*q - 3*t - w = 0. Is q prime?
False
Let w(r) = 6*r**3 + 23*r**2 - 7*r - 2. Is w(7) a composite number?
True
Let a be (-4020)/(-42) + 6/21. Let m be (-2)/(-6)*-3*a. Let q = 241 + m. Is q composite?
True
Is (-35 + 34)*1*(0 + -3389) a prime number?
True
Suppose -73*q + 69*q + 46988 = 0. Is q a prime number?
False
Suppose 4*w + 20 = 2*f, 2*w - 86 + 24 = -5*f. Let m(g) = 6*g + 17. Is m(f) composite?
False
Suppose -14 = -m - 5*v, 0*m - 21 = -2*m - 3*v. Is 2/m + 27128/72 composite?
True
Suppose 3*u - 900 = 3*x, 0*x - 3*x + 12 = 0. Suppose 0 = -2*r + 274 + u. Is r composite?
True
Is (-3 - 610*1)*(-2 - -1) composite?
False
Suppose 3*q - 9 = 5*o + 11, 0 = 4*o + 16. Let f = 4 + q. Suppose f*p - r = -3*r + 932, 0 = 3*r + 12. Is p prime?
False
Let i = 512 + 68. Suppose -4*p - 5*r = -987, 2*p = 3*r + i - 59. Is p a prime number?
False
Let q(u) = u**3 - 10*u**2 - 6*u + 9. Let z be q(7). Let j = 511 + z. Is j a prime number?
True
Let b(q) = q + 12. Let s be b(-7). Let j(o) be the first derivative of 10*o**2 + 6*o - 1. Is j(s) a prime number?
False
Suppose g + 10 = -g, 5*q + 5*g + 15 = 0. Suppose -474 = -q*r + 188. Is r prime?
True
Suppose 4*i = i + 3. Let w be ((-6)/4 - -2)*6. Suppose i = -t + w. Is t a prime number?
True
Is (-4)/6*(-3418)/4*3 prime?
True
Let m(h) = h**2 - h + 1. Let g(w) = 103*w**2 + 2. Let n(f) = g(f) - m(f). Is n(-2) prime?
False
Let b(n) = 2*n - 31. Let l be b(13). Let o(u) = 76*u**2 + u + 6. Is o(l) a composite number?
False
Let x(q) = -q**3 - 10*q**2 - 12*q - 9. Let v be x(-9). Suppose -3*j - 9 = -v. Suppose k - 14 = -j. Is k a prime number?
True
Let y(z) = 13889*z + 497. Is y(4) a composite number?
False
Let g be -6*(2 - (-7)/2). Let f = 56 + g. Is f prime?
True
Let z be 16/(-8) - (-718 + 1). Suppose -2*y - z = -2829. Is y a prime number?
False
Let s be 0*1/(-1)*1. Suppose -5*x - 1722 + 4667 = s. Is x a prime number?
False
Let x(u) = -u**2 + 5. Let o be x(2). Let p(z) = -4*z - 2. Let l be p(o). Is l/((-6)/(-5))*-127 a composite number?
True
Let o be 2 - ((-2)/2)/1. Suppose 0 = -0*v - 3*v + 3*i + 3027, -o*v + 2*i = -3027. Is v prime?
True
Suppose 55676 + 21869 = 5*n. Is n prime?
False
Let p = 39459 + -23276. Is p composite?
False
Let i(c) be the second derivative of -c**4/12 + c**3/6 + 77*c**2/2 + 12*c. Is i(0) a prime number?
False
Suppose -3521 = 15*o - 50966. Is o a prime number?
True
Suppose 0 = 9*a - 16 - 2. Let c be (-1)/(-6)*9*a. Suppose -c*q + 1674 = -4*b, -5*b = 4*q - 4*b - 2213. Is q prime?
False
Suppose 6*a = -12284 + 137606. Is a composite?
False
Let g be -2 - -1*(2 + 21). Let p be 3 - g*(-2)/(-6). Is ((-982)/p)/((-4)/(-8)) composite?
False
Let j be (3 - (-81)/(-21))*-14. Let s = 9 - j. Is (4 - (-86 + s)) + 4 a composite number?
False
Let p be ((-3)/(-2))/(3 - 402/136). Suppose -25 = -5*i, -2*k + 21 + p = 5*i. Is k composite?
True
Let x = 71 - 43. Let q = x + 187. Suppose -4*u + q = u. Is u a prime number?
True
Let c be ((-8)/(-12))/(2/9). Suppose 0 = m + c*y + 160, y = -m + 3*m + 334. Let w = 265 - m. Is w a prime number?
True
Let o(v) = 2*v. Let j be o(2). Suppose 12 = -8*a + j. Is (a + 2)/(5/4855) composite?
False
Suppose -7*v = -2*v + 30. Is 4/v*36315/(-18) composite?
True
Let i(b) = -b - 1. Suppose 5*f = 8 - 23. Let x be i(f). Suppose 0 = x*l + l - 177. Is l a prime number?
True
Suppose 2*q = -m + 1594, -10*m = -5*m - 2*q - 7970. Is m a composite number?
True
Let n be 3 + 23 - -4 - 3. Suppose 2*m = 79 + n. Is m a composite number?
False
Let a(t) = -4*t + 90. Is a(-14) a composite number?
True
Suppose -9*f + 15*f = 67062. Is f prime?
True
Suppose -4*i + 3*i = -3. Let q be (-522)/5*70/(-21). Suppose q = i*h + h. Is h a prime number?
False
Suppose 4445 = -5*t + 11675. Suppose t = 6*y - 78. Is y prime?
False
Let s = -1567 - -1031. Let g = s + 1029. Is g prime?
False
Let o(y) = -y. Let p be o(2). Is 149 + p + -5 + 1 a prime number?
False
Let h be (-166)/(-18) + 4/(-18). Let p = h - 5. Suppose -168 = p*b - 628. Is b composite?
True
Let o be (32/10)/(6/30). Suppose -o = -5*c + c. Suppose 3*d + 4*g - 176 = d, c*d = -2*g + 370. Is d a composite number?
True
Suppose 5*s - 8*s + 43113 = 0. Is s a prime number?
False
Let a(n) be the first derivative of -23*n**2 + 59*n + 5. Is a(-5) a prime number?