2*o + 15. Let t be h(-9). Let p be -3 - (t/3 - 82). Let v = p - 27. Is v composite?
False
Let w = -1354 + 3557. Is w composite?
False
Let p(k) = -19*k - 6. Suppose o = 2*y + 3*o - 16, 3*y - 26 = -5*o. Suppose 5*m = -2*d - 43, -2*m + y*m + d + 39 = 0. Is p(m) composite?
False
Let k be 27/6 + 2/(-4). Suppose 2*a = 2*b - 12, -k*a + 9 = b - 6*a. Is -1 - (-153 - b) - -2 composite?
False
Suppose -18*m - 8720 = -28*m. Suppose 4*y - 4132 = -m. Is y a composite number?
True
Let i = 3 - -1. Suppose -a + 2*a - 165 = -2*c, -a - i*c + 173 = 0. Is a a prime number?
True
Let k(o) = o - 1. Let r(s) = s + 10. Let f(p) = 6*k(p) + r(p). Let t be f(-12). Let g = t + 219. Is g composite?
False
Suppose 0 = 2*n - 4*j + 8, -3*n - 9*j = -7*j - 4. Suppose -w + 2*s + 69 = n, 4*w = -s + 5*s + 256. Is w composite?
False
Suppose 10*i + 21118 = 12*i - w, 0 = -3*i + 4*w + 31677. Is i prime?
True
Suppose -f + 18 = f. Let t = f + -13. Is t/26 + (-8610)/(-26) composite?
False
Let s = 7182 - -9825. Is s prime?
False
Suppose 7*i = 8*i - 5. Suppose 12 = i*b - 3. Suppose 21 + 42 = b*p. Is p a composite number?
True
Let j(f) = -f - 19. Let b be j(-13). Let z(r) = -57*r - 25. Is z(b) a prime number?
True
Let f = 25 - 22. Is (-301)/(-2) + f/(-2) a composite number?
False
Let h(i) = -i**3 + 2*i**2 + 4*i - 2. Let g be h(3). Is (3/6)/(g/110) prime?
False
Let k(l) = -l**2 + 24*l + 25. Is k(22) a prime number?
False
Suppose -3*i + 8 = -i, 0 = -o + i - 5. Let t be -11 + 11 - (o + -3). Is 1*(t - -487 - 4) a composite number?
False
Suppose -j + 3 = 0, -2*v + 6*v - j - 172889 = 0. Is v a composite number?
False
Suppose 174 = 6*k - 378. Let s = k + -3. Is s a prime number?
True
Let w = 4 + -2. Let u be 50/125 + (-3796)/(-10). Suppose -2*v + u = w*v. Is v a prime number?
False
Suppose -6*a + 8*a = 38. Suppose 0 = -a*h + 20*h - 743. Is h prime?
True
Suppose 0 = 22*r - 14172 - 28706. Is r composite?
False
Let c(h) = -184*h - 1. Let x(y) = -5*y - 5. Let m be x(-2). Let u = m - 6. Is c(u) a composite number?
True
Let i be -2 + -3 + 1 + 6. Suppose 5*g + p = 4 - 73, g = -i*p - 12. Is (-2984)/(-18) - g/63 a prime number?
False
Let z(l) = -579*l**2 + l - 1. Let d be z(1). Let c = 1046 + d. Let h = 678 - c. Is h composite?
False
Let m = 43990 + -17651. Is m a prime number?
True
Let c(f) = f**3 - 4*f**2 - 4*f - 3. Let m be c(5). Suppose m*p = -3 - 5. Let i(k) = -4*k**3 + k**2 - 5*k - 1. Is i(p) prime?
False
Suppose -25*l = -74*l + 409297. Is l a prime number?
True
Suppose 0 = 5*r - u - 1327, 2*r + 4*u - 656 = -134. Let t = -14 + r. Is t a composite number?
False
Let q(x) = 4*x**2 - x - 1. Let g be q(-1). Let s(a) be the third derivative of 27*a**4/8 - 5*a**3/6 - 6*a**2 - a. Is s(g) prime?
False
Let h(q) = -218*q + 83. Is h(-9) a prime number?
False
Let z be 2/6*(-117)/(-3). Let i be z/7 - 3/(-21). Suppose 140 = i*m + 2*m. Is m a composite number?
True
Let t(f) = f**3 + 21*f**2 + 20*f + 2. Is t(-18) a composite number?
True
Let p = -59 + 64. Let y(z) = 64*z**2 + 6*z + 27. Is y(p) prime?
True
Let c = 21 + 294. Suppose -c - 193 = -4*l. Is l composite?
False
Suppose 3*f - u = 25593, 348*u + 34124 = 4*f + 351*u. Is f a composite number?
True
Suppose 0 = 16*c - 6*c - 11170. Is c a composite number?
False
Let z = -185 + 11. Suppose 3*i + 9 = 3. Is (z/(-15))/(i/(-10)) composite?
True
Suppose 0 = 7*s - 9*s. Suppose 3*u - k - 8 = s, 2*u + 2 = 7*u + 4*k. Suppose 2*i = -4*f + u*f + 132, 3*i = 3. Is f prime?
False
Let a(f) = 4*f**2 - 3*f + 2. Let g be a(-12). Suppose 2*k + 3*t - g = 0, t = -3*k - 2*t + 921. Is k composite?
False
Suppose -458 = 3*g - 95. Let q = g - -269. Suppose -2*p + 10 = -q. Is p prime?
True
Let u = 35 + -35. Suppose 3*o - 575 = -2*q, u*q + 2*q - 2 = 0. Is o a prime number?
True
Suppose -29 = 5*h - 3*n, 0 = -n - 3*n + 12. Let f(w) be the second derivative of -w**5/10 + w**4/4 - w**3/6 + 7*w**2/2 - 37*w. Is f(h) a prime number?
False
Let j = -28453 - -82718. Is j prime?
False
Let v(x) = 2*x**3 - 25*x**2 - 8*x + 234. Is v(28) a prime number?
False
Let n(x) be the second derivative of x**5/20 + x**3/6 + x**2/2 - 11*x. Is n(2) a composite number?
False
Suppose 6 = -3*j + 2*j + 2*d, 4*j = 4*d - 12. Suppose j = 2*o + 12 + 6. Let c(z) = z**3 + 11*z**2 + 7*z - 12. Is c(o) prime?
False
Let z(n) = -37*n**2 + 59 - 9*n + 38*n**2 - n. Is z(-30) a composite number?
False
Let x(u) = -u**3 + 16*u**2 + 35*u + 20. Let q be x(18). Let c = 454 + -122. Suppose -c = -q*b + 282. Is b prime?
True
Suppose -4*s + 8 = -16. Suppose -s - 8 = 7*c. Is (-1482 - -4)*1/c a prime number?
True
Let o(l) = -107*l - 16. Is o(-7) prime?
True
Let a(c) = 33*c - 36. Let h(t) = -t**3 - 7*t**2 - 9*t - 5. Let o be h(-6). Is a(o) a composite number?
True
Let t = 3311 + 816. Is t prime?
True
Suppose -553283 - 789558 = -37*l. Is l a prime number?
True
Let h = -308 - -76. Let z be 36/(-24)*h/6. Let k = 25 + z. Is k a prime number?
True
Let u be -12*(347/(-2) - 1). Suppose 0 = -p + j + 526, p + u = 5*p - 2*j. Is p composite?
False
Suppose -u = -5*f + 3*f - 8, -5*u = -5*f - 40. Let l(s) = s**3 - 7*s**2 - 7*s + 11. Is l(u) composite?
False
Let g = 9625 - 6603. Is g prime?
False
Let g(y) = y**3 - y**2 + y. Suppose 5*w + 5*l + 27 = 7, -w - 8 = 2*l. Let x be g(w). Suppose x = 5*t - 1962 + 317. Is t prime?
False
Let z = -15319 - -39440. Is z composite?
False
Suppose -10*v - 78 = -13*v. Suppose -4*l + 4*c + 1 = -3, -4*c + v = 2*l. Suppose 0 = l*w - 68 - 207. Is w composite?
True
Is 1/(35135/5855 - 6) prime?
True
Let t(y) = 2*y**2 - 3*y - 12. Let i(k) = -5*k**2 + 7*k + 23. Let z(b) = -3*i(b) - 5*t(b). Suppose 4*p - 56 = -0. Is z(p) a composite number?
False
Let u = -102 + 102. Is (u - 1)/((-10)/49090) a prime number?
True
Let f be ((-35)/(-4))/(1/276). Let i be (-4)/(-5)*f/14. Suppose -l = -4*l + i. Is l prime?
False
Let t = 44 + -14. Suppose 4*g = 3*u + t, 9*g - u = 4*g + 32. Let h(z) = z**2 + 3*z - 1. Is h(g) composite?
False
Let n(r) = -45*r - 3. Let x be n(-2). Let o = x - -652. Is o prime?
True
Suppose -3*p + 5*a + 13381 = -27799, -p - 2*a + 13745 = 0. Let y = p - 9602. Is y prime?
True
Let w(j) = 2*j - 6. Let k be w(7). Suppose 2760 = -3*n + k*n. Suppose 130 = -2*h + n. Is h prime?
True
Let r(g) = 22*g**2 - 8*g - 43. Is r(13) a prime number?
True
Suppose -120 = -40*i + 37*i. Suppose 3*q - 4*q - i = 2*x, 0 = -5*x. Is 1214/10 + q/100 prime?
False
Let v(f) = f**2 - 24*f - 21. Let l be v(25). Suppose -4*k = -9*k + 3*w + 8789, 7044 = 4*k + l*w. Is k prime?
True
Suppose -c = 3*n - 0*c - 8, -3*c = -2*n - 13. Let y(z) = -347*z**2 + 1. Let l be y(n). Let f = 549 + l. Is f a composite number?
True
Let l = -21 - -25. Let a be (-2 - -9752 - l)/1. Suppose -9 = 5*i - 4, 0 = -4*b - 2*i + a. Is b a prime number?
True
Let y(c) = -c**3 + 12*c**2 + 12*c + 16. Let z be y(13). Suppose 3*h - 1051 - 616 = -p, z*h + 8263 = 5*p. Is p prime?
False
Let f(k) be the third derivative of k**5/20 - 37*k**4/24 - 9*k**3/2 - 47*k**2. Is f(21) composite?
True
Let v = -9 + 12. Suppose -4*i = -v*m + i + 154, 2 = 2*i. Suppose -4*x + m = -87. Is x a composite number?
True
Suppose v + 2*g - 6897 = 0, -g + 34530 = -8*v + 13*v. Is v a prime number?
True
Let k be 6*(14/(-6) - -2). Let u(t) = -17*t - 1. Let f be u(k). Suppose y - f - 34 = 0. Is y a prime number?
True
Let q(d) = -d**3 + 5*d**2 - 7*d + 6. Let h be q(4). Let g(w) = -13 + 16 - 3*w + 16*w**3 - 17*w**3 - 6*w**2. Is g(h) a prime number?
False
Let a = -21 - -30. Is 1888/12 + 6/a*1 prime?
False
Let u(o) = 21767*o**3 + 4*o - 4. Is u(1) a composite number?
False
Let l(s) = -2*s**2 - 11*s + 42. Let n(f) = -f**2 - 5*f + 21. Let a(y) = 3*l(y) - 7*n(y). Is a(-10) a prime number?
True
Suppose -p + 2 = 0, 18 - 6 = 5*a - 4*p. Suppose c + 3*i - 2951 = 0, 7411 = a*c - 3*i - 4333. Is c prime?
True
Suppose 26*g - 23126 = -5*g. Is g a composite number?
True
Suppose 0 = -9*x + 188414 + 32779. Is x prime?
False
Let y(q) = -q**2 + 3*q + 10. Let r be y(5). Suppose 5*m - 172 - 103 = r. Is m prime?
False
Suppose -4*a - 353 = 3*u, 4*a = -5*u - 771 + 188. Let n(b) = -57*b**2 + 2*b - 6. Let c be n(2). Let j = u - c. Is j a prime number?
False
Suppose 0 = 4*v - 9920 - 33276. Is v composite?
False
Let p(j) = -j**3 - 3*j**2 + 14*j - 27. Suppose -3*k = -5*n + 43, -2*k - 29 = -n - 5. Is p(k) a prime number?
True
Suppose -18*b + 58080 = -23874. Is b composite?