2 + (-2)/(-8) prime?
True
Suppose -2*o = 3*i - 19, 35 = 4*i + 4*o + 3. Suppose -15 = 5*f, -g + i*f + 117 = -94. Is g prime?
False
Suppose f - 28 = -5*m, 0*f = m - f - 2. Suppose 0 = p - m, 0 = -4*t - 4*p + 2205 + 5203. Is t a prime number?
True
Let p be (13 - -15881) + 1 + 1. Suppose -6*w + p = -3766. Is w a composite number?
True
Let c(z) = 161*z**2 + 8*z - 4. Is c(-7) prime?
True
Suppose -2 = w, 4*i - 2*w - 2*w = 18436. Is i a composite number?
True
Let y = -6285 - -9124. Is y prime?
False
Suppose 0*s = 2*s - 966. Suppose -l + 2*l = 4*j - 644, -3*j + s = -3*l. Is j composite?
True
Suppose -5*a + 4 + 6 = 0. Suppose -2 + 8 = a*s. Suppose s*o - 352 = 95. Is o prime?
True
Let c = -97 + 58. Let i(u) = -u**2 + 4*u + 16. Let n be i(14). Let o = c - n. Is o prime?
False
Let h = 9 - 7. Suppose g - 11 = -3*c + h*g, -4*c = -3*g - 13. Let k(l) = 95*l - 9. Is k(c) a composite number?
True
Let g(s) = -s - 1. Let v be g(-4). Suppose 4 = v*u - 2. Is u/(-4)*2*-53 a composite number?
False
Let b be (-852)/33 + (-26)/143 + 0. Suppose -4*k + 3*k = -13. Is k/b*(0 - 38) prime?
True
Let b = 8 + -5. Suppose b*m = 2*m - 785. Let v = m + 1116. Is v composite?
False
Let f be -3073 - (8/4 + -5). Is (-10)/(-4)*f/(-25) a prime number?
True
Let r be ((-2)/5)/(1/10). Suppose 0 = j - 0 - 3, 23 = -2*n + 5*j. Is (n/6)/(r/1758) prime?
True
Let n(t) = 2*t. Let k be n(2). Suppose k*g = -4*b + 4, -4*g + 2*g = -2*b + 10. Is (-1)/((-5)/b)*85 prime?
False
Is (-87 - 187)*(-59)/2 a prime number?
False
Let n(o) be the third derivative of o**5/60 + o**4/12 - 11*o**3/6 - o**2. Let q be n(-11). Suppose -h + 5*z + q = 0, -h + 3*z = z - 85. Is h prime?
True
Let x = -8 + 17. Suppose -113 + x = -8*j. Is j a prime number?
True
Suppose f - 1 = 4. Suppose 5687 = f*c - 668. Is c composite?
True
Let k(q) = 24*q + 8. Let p be ((-2)/(-2))/((-3)/(-21)). Let u be k(p). Let l = u - 99. Is l composite?
True
Let k be ((-307)/3)/((-42)/(-9) + -5). Let a = k + 102. Is a prime?
True
Let s(h) = -h**3 + 3*h**2 + 3*h - 5. Let l be s(4). Let k(r) = -2*r - 2 + 2 + 5. Is k(l) a prime number?
True
Suppose -112*l = -113*l + 9569. Is l prime?
False
Let x(v) = 2*v**3 - 19*v**2 - 12*v + 8. Let r be x(10). Let t(b) = b**2 - 12*b - 10. Is t(r) prime?
False
Let b be 1146/(-4)*(-352)/33. Suppose -b = 4*f + 760. Is (4/6)/((-12)/f) prime?
True
Let v(a) = 55*a - 9. Is v(10) prime?
True
Suppose -b = b + 402. Suppose -7 = h - 5. Is h/(408/b + 2) composite?
False
Let u(x) = x + 1. Let n(h) = -13*h**2 + h - 11. Let b(s) = -n(s) + 2*u(s). Is b(6) a prime number?
True
Let k(z) = 233*z - 698. Is k(23) prime?
False
Let c(h) = h**3 - h**2 + 2*h. Let y be c(2). Let l be 1 - (3 - y*-1). Is 1146/(-4)*l/15 a composite number?
False
Let v = 1100 - 39. Is v a composite number?
False
Let y be (-5 - -9)/(4/3). Suppose 5*s + d + 3*d = 606, y*s - 362 = -2*d. Is s composite?
True
Let u(y) = -2*y + 9. Let c be u(5). Let o(a) = -586*a + 1. Is o(c) composite?
False
Let j be -1 + 14/18 - (-7)/(-9). Is 2/4 + j/4*-482 a prime number?
False
Suppose z + 1490 = -1617. Let y = -1636 - z. Is y a prime number?
True
Suppose 2*c = 3*m + 7648 - 791, -5*m = 4*c + 11443. Let y = m - -3336. Is y prime?
True
Let b(y) = -y + 1. Let o(j) = 78*j + 37. Let x(c) = 6*b(c) - o(c). Is x(-8) composite?
False
Let h = 3892 + 6769. Is h composite?
True
Suppose -k + 4*f + 9098 + 1379 = 0, -f = k - 10497. Is k a composite number?
True
Let z be 1/(-2) - (-1)/4*2. Suppose z*f = 2*f - 606. Is f a prime number?
False
Is ((-3602)/6 - 0)/((-5)/15) a composite number?
False
Let u = 893 + -533. Let y = u - 181. Is y a composite number?
False
Suppose 4*d - 214 = 758. Let i = d + -453. Let h = 319 + i. Is h prime?
True
Let p = 411 - -8. Is p prime?
True
Let n(p) = 88*p**2 - 8*p + 3. Let s be n(3). Let b = s - 14. Is b prime?
True
Let d(j) = -36342*j**3 - 2*j**2 - 2*j - 1. Is d(-1) prime?
True
Suppose 7*g = -4*z + 4*g + 4, 0 = -3*z + 3*g + 24. Is (z/12)/(2/2994) composite?
False
Let i be (-30)/(-135) - (-11)/(-9) - -2214. Suppose 5*y - 7*v = -2*v + 2710, -5*v = 4*y - i. Is y a prime number?
True
Let v(l) = -3*l**3 + 11*l**2 + l - 50. Is v(-7) prime?
True
Suppose 2*o = -p + 6195, p - 5*o = 8927 - 2746. Is p a composite number?
True
Let d = -2 + 12. Let f be 26 + ((-2)/(-16) - 51/24). Let c = f - d. Is c prime?
False
Let q be 22024/10 + (-8)/20. Let b = q - 1285. Is b a composite number?
True
Let t(b) = -3*b**2 + 6*b**2 - 3 + 4*b**2 + 2*b**2 + b. Is t(-10) composite?
False
Suppose -4*h - 15784 = -12*h. Is h composite?
False
Let h(w) = 31*w**2 + 63*w + 343. Is h(30) a prime number?
True
Let b be 17*3/(5 + -2). Suppose 12537 = b*a + 3748. Is a a composite number?
True
Let n be 210/(-56)*(-112)/(-6). Is 2/10 - 59696/n prime?
True
Let p(q) = -q**3 + 11*q**2 - 4*q - 7. Let g = 7 - -3. Is p(g) composite?
False
Let s(p) = -p**2 - 7*p + 2. Let y be s(-7). Suppose 0 = y*b - 0*f - 2*f - 230, 2*b + f = 215. Suppose 902 + b = 4*h. Is h a composite number?
True
Suppose -y = -2*r + 2462, r = 3*r - 4*y - 2474. Suppose -q - 4*b + 1229 = -0*q, q - r = b. Is q prime?
True
Let x(m) = -2599*m - 32. Is x(-15) a prime number?
True
Let z be 42/9*6/7. Suppose -3*o + r = -2*o - z, 0 = o + r - 4. Suppose -5*d + o*d + 113 = 5*l, 3*d + 5*l = 319. Is d a composite number?
False
Let i(c) = c**3 + 8*c**2 + 13*c + 15. Let u be i(-10). Let r = 524 + u. Is r prime?
False
Suppose -24*c + 579992 = 166448. Is c a composite number?
False
Let k = 111 - 117. Is (-18190)/51*k/4 composite?
True
Let a(y) = y**3 + 16*y**2 + 12*y - 13. Suppose -4 = 2*p, k + 2*p = 6*k - 284. Suppose -3*w = -5*i - 61, 4*w = 5*i + 2 + k. Is a(i) a composite number?
False
Let b = 1024 + -394. Suppose -2*p = 3*f - b, -p - 3*f + 102 = -219. Is p a composite number?
True
Let c = -484 + 1179. Is c prime?
False
Let r(b) = -189*b + 8. Let t(o) = -3*o**2 - 9*o + 3. Let y be t(-4). Let v be r(y). Let n = v - 670. Is n a composite number?
False
Suppose 12*o - 13*o + 815 = 0. Is o a composite number?
True
Suppose -6*q + 30 = -24. Suppose -q*k = -10*k + 287. Is k a composite number?
True
Is 5*6049 + 7 + -11 composite?
False
Let m(f) = 38*f + 4121. Is m(0) a composite number?
True
Let b(d) = 3*d**2 + 7*d - 5. Let k be b(-7). Suppose 1 = 5*a - 24. Suppose a*c - k = 77. Is c composite?
True
Suppose 11*t - 5*v + 19 = 12*t, 0 = -v + 2. Is (6/t)/((-6)/(-10107)) composite?
False
Let g be (-9)/(1*(-1)/3). Let q = g - 31. Is 1085/40*-2*q prime?
False
Let s(n) = n + 15. Let q be s(-13). Suppose 0 = 2*y + y + k - 1243, 0 = -k - q. Is y a prime number?
False
Let y(i) = -27*i**3 + i**2 - 1. Suppose 12 = 3*a + 15. Let u be y(a). Suppose -5*b = -7 + u, -2*x + 2*b = -274. Is x a prime number?
False
Suppose -4*v + 8*v - 5*d - 105 = 0, -4*d - 4 = 0. Let a(g) = -g + 68. Is a(v) prime?
True
Let k(n) = 28*n**3 + 2*n**2 + 3*n + 1. Let p be k(3). Suppose 0 = -2*y + 3*l + 787, -2*y + 2*l + 0*l = -p. Is y composite?
False
Suppose -13 = 3*g - 5*w + 1, -4*g + 5*w = 27. Let f = g + 224. Is f a prime number?
True
Let o(j) be the second derivative of -1/3*j**3 + 2*j + 0 - j**2. Is o(-6) prime?
False
Let d(u) = -5775*u - 26. Is d(-1) composite?
False
Let j be (12/2)/2 - 3. Suppose j = -3*y - 2*y + 5, -4*m = -4*y - 2536. Is m a prime number?
False
Suppose 11318 = n + 3*x + 2*x, -x = 3*n - 33996. Is n prime?
False
Suppose x = -5*v - 6953 + 855, -5*x + 3*v = 30630. Let g = -3920 - x. Is g composite?
False
Let o(y) = 3*y - 12. Let b be o(9). Suppose -4*c = -5*q + 8, -2 + b = 3*c + q. Suppose -s - 259 = -2*u + 4*s, -c*u + 5*s = -386. Is u prime?
True
Let w = 26644 - -2043. Is w a prime number?
True
Let v(t) be the first derivative of 6*t**3 - 9 - 11/2*t**2 + t. Is v(6) composite?
True
Suppose 3*q + 9 = 0, 2369 - 16703 = -3*k - 3*q. Is k prime?
False
Let b = 1393 + -840. Let x = 106 + -102. Is (12/(-4) + x)*b composite?
True
Let s = -3432 + 7583. Is s a composite number?
True
Let t be (966/(-21))/((-2)/49). Suppose 2*o + 4313 = 5*a, 4*o - 5*a + 9748 = t. Let j = 1253 - o. Is j a composite number?
False
Let a(p) = 76*p**2 + 7*p + 20. Is a(-3) a composite number?
False
Let q(r) = 16*r**2 - 29*r + 20. Is q(6) a composite number?
True
Let z(f) = f**3 - 6*f**2 + 10*f - 3. Let p be z(4). Suppose 5337 = p*c - 2758. Is c a composite number?
False
Suppose 2*a + 17774 = 4*a. Is a prime?
True
Let r = 6070 -