= -r**3 - 6*r**2 + 8*r + 3. Is x(y) a prime number?
True
Suppose -18*v = 18*v - 832932. Is v prime?
False
Suppose 3*k + 3 = 3*f - 0, f + 3 = 2*k. Suppose -7 = -3*u + f. Suppose u*b = 123 + 457. Is b a prime number?
False
Let r(o) be the second derivative of 11*o**4/12 + 3*o**3/2 + 19*o**2/2 - 23*o. Is r(9) prime?
True
Let b(q) = 122*q + 17. Is b(9) composite?
True
Suppose 2*l + 4 = 4*a - 2, 2*a = -3*l + 23. Suppose -578 = -k - 4*r, 3*k - 2920 = -2*k - l*r. Is k prime?
False
Let i(l) = 11863*l**2 - 5*l - 5. Is i(-1) a prime number?
True
Let m = -12659 - -23686. Is m prime?
True
Suppose -2*p + 19068 = -r, 2*p - 47669 = -3*p + 2*r. Is p a prime number?
True
Let z(u) = -u**3 - 3*u**2 + 3*u - 2. Let o be z(1). Let q(j) be the third derivative of -j**6/40 - j**5/20 - j**4/12 - j**3/3 + j**2. Is q(o) a prime number?
False
Let h = 4061 - -1038. Suppose h - 994 = 5*f. Is f a composite number?
False
Suppose -4*u - 2*r - 16244 = -50096, 5*u + 4*r - 42309 = 0. Is u a prime number?
False
Suppose -5*u = -0*u - 80. Suppose 0 = 3*i + s - 1715, i = -i + 5*s + 1149. Is (i/u)/(1/4) a prime number?
False
Let l(u) = -620*u - 173. Is l(-5) prime?
True
Suppose -2*o + 1106 = 4*k, -k + 4*k + 2*o = 828. Let g = k - -2426. Is 33/55 + g/10 prime?
True
Suppose -11 = -3*o + q + 6, 3*o = 3*q + 15. Suppose o*a - 5*a = 174. Let p = a - -4. Is p a composite number?
True
Let a = -3362 - -4899. Is a a composite number?
True
Suppose 15*a - 22310 - 34105 = 0. Is a composite?
False
Let g(o) = 59*o**2 + o - 41. Is g(-6) composite?
True
Let m = 1 + 133. Let w = m - 83. Is w composite?
True
Suppose -120*k = -117*k - 6. Suppose 3*h = -k*a + 615 + 82, 5*a + 4*h = 1725. Is a a composite number?
True
Let l be ((-12)/(-16) + -1)*-12. Suppose -l*k + 2*k + 759 = -2*a, 3032 = 4*k - 4*a. Is k a prime number?
True
Let f(l) = -3*l**3 + 6*l**2 + l + 27. Is f(-23) a prime number?
True
Let y be ((-12)/(-15))/(7/(-2555)). Let d = y + 549. Is d a prime number?
True
Suppose 3687 = 9*i - 4*i - 2*p, 3*i - 2197 = 5*p. Is i a composite number?
False
Let w(m) = m**3 - 10*m**2 + 8*m + 2. Let h be w(8). Let v = h - -131. Is v prime?
False
Let x = 10 - -7. Suppose x = -5*t + 7. Is -3 - (0 + t) - -408 a composite number?
True
Suppose 2*r = 5*t - 702, -136 = 2*t - 3*t - 4*r. Let x be t/42*(-1542)/(-5). Let z = -615 + x. Is z a prime number?
False
Let k = 13 - 11. Suppose k*c + 5963 = 3*a, a + 6*c - 1969 = 2*c. Is a prime?
False
Suppose j + 10 - 2 = 0. Let d(v) = 2*v**3 + 3*v**2 - 14*v + 23. Let m(k) = -k**3 - 2*k**2 + 7*k - 11. Let y(q) = 2*d(q) + 5*m(q). Is y(j) composite?
False
Suppose 4*r - 5*v = 8 + 7, -v = -3*r + 14. Suppose f + 4 = 0, r*f + 28 = -2*l - 2*l. Is l + 126 - 3/(-1) composite?
False
Suppose n + 3*l = -5, -n = l - 3 + 2. Let i = 0 + n. Suppose -5*c + 3*c - 475 = -3*q, i*c = q - 165. Is q a composite number?
False
Let s = 270 + -173. Suppose 0 = -u + 288 - s. Is u a composite number?
False
Let o(z) = -z**3 - 9*z**2 - 7*z + 12. Let s be o(-8). Suppose 5*x - 4*w - 604 = 2163, 0 = -5*x - 4*w + 2783. Suppose l = -s*l + x. Is l a prime number?
False
Let x(q) = -22*q**3 + 2*q**2 - 3*q - 13. Is x(-2) composite?
True
Suppose -l + 14 = l + 2*w, -5*l - 4*w + 31 = 0. Suppose 5916 = l*h + 5*x, h + 5*x - 3*x = 1973. Is h prime?
False
Suppose 4*d = -2*k + 562, -5*k - 4*d + 1441 = -6*d. Is k a prime number?
False
Is 11 + (-90860 + 0)/(-7) prime?
False
Let u(x) = x + 1. Let d = -12 - -11. Let b(j) = -10*j - 1. Let r(i) = d*b(i) - 3*u(i). Is r(3) prime?
True
Suppose 0 = -3*o + 70 + 302. Suppose -27 = 3*x - 5*u - 202, -4*u + o = 2*x. Is (-5)/(x/56)*-3 a composite number?
True
Let n be (-1)/(-4 + (-117)/(-29)). Let v = -19 - n. Let s(i) = i**3 - 10*i**2 + 8*i + 9. Is s(v) prime?
True
Suppose f = -4*f - 40. Let b = f - -12. Suppose j - 3*n - 116 = -0*j, b*j - 544 = -4*n. Is j a prime number?
True
Let r(l) = -l**3 + 5*l**2 - 4*l - 29. Is r(-7) a composite number?
False
Let o(n) = -88*n - 21. Let j(b) = -87*b - 22. Let q(u) = 5*j(u) - 6*o(u). Is q(5) a composite number?
True
Let o(z) = -3*z + 19. Let h = -5 + 12. Let p be o(h). Is (-4 + -97)*-1 - p composite?
False
Suppose -5*g - 28 = -8. Let a(l) = -2*l - 3. Let x be a(g). Suppose w - 60 = -n, -3*n - 80 = -4*n - x*w. Is n a composite number?
True
Let i = 3582 - 2045. Is i a composite number?
True
Suppose 4*g - 1 = 7. Let u be (18/12)/((-1)/g). Let l(w) = -38*w - 1. Is l(u) composite?
False
Suppose -16*t - 13*t + 117131 = 0. Is t prime?
False
Let n be 7*(6 + -3 - 2). Suppose 5*w - 16139 = -4*o, n*w - 12*w = -2*o - 16133. Is w composite?
True
Suppose 4*n + 7*j - 32 = 3*j, -n + 4*j - 17 = 0. Is 0 + 0 + (337 - n) prime?
False
Let j be -6*((-12)/9)/(-2). Let s be j/(-1)*(2 - 0). Let x = s + -2. Is x composite?
True
Suppose n - 2*n + 1818 = 0. Let h = n - 1252. Is h prime?
False
Let u be -5*-128*(5 + -3). Let k = 845 - u. Is (2 - k) + (2 - 0) prime?
True
Is 10 + (-19*1482)/(-6) prime?
True
Suppose -5*q - 82858 = -3*k, 5*k + 0*q + 5*q = 138030. Is k composite?
False
Let f(p) = 6*p + 49. Is f(10) prime?
True
Let i(y) = 0*y - 2*y + 5 + 44*y**2 - 31*y**2. Suppose 2*o + 0*o = z - 14, -2*o + 10 = 5*z. Is i(z) a composite number?
True
Suppose 5*m - 11413 = -4*w + 8*m, -4*m = -4*w + 11408. Is w a prime number?
True
Let l be (-116)/(-36) + 6/(-27). Suppose l*q = -0*q + 6. Suppose 5*s - 455 = -q*s. Is s prime?
False
Suppose 13992 = 4*u - 4*k, -39*u - 4*k - 10489 = -42*u. Is u a composite number?
True
Suppose -5*p + 0*p + 60 = 2*q, -5 = p - 3*q. Let k be (1/2)/(p/20). Is 63 + (3 - k - 0) a prime number?
False
Suppose 3*v - 5*v + 7 = -g, 5*v = g + 16. Is ((-8371)/(-33))/(g/(-3)) a prime number?
True
Suppose 15995 = 22*j - 17*j. Is j a composite number?
True
Suppose 7*z - 5*z = -1328. Let o = z + 1165. Is o a prime number?
False
Let s = 16 + 19. Suppose 25 = -2*l + s. Suppose -l*t - d + 3505 = 0, -2*d + 4*d - 3505 = -5*t. Is t prime?
True
Let r = 10 - 7. Suppose -r*i + 15 = -2*i. Let c = -12 + i. Is c composite?
False
Let o(n) = 11*n**3 - 17*n**2 + 5*n - 65. Is o(11) a composite number?
True
Suppose -24*m = 3*m - 123147. Is m prime?
True
Is -7 + 37/((-74)/(-14880)) composite?
False
Let q = -93 - -101. Let w(t) = 6*t**3 - 7*t**2 + 11*t + 10. Is w(q) a composite number?
True
Suppose -5*w = 0, 32511 = 5*j + 3*w + 9006. Is j a prime number?
False
Let g(s) = s**3 + 5*s**2 - 7*s - 6. Let j be g(-6). Suppose j = -9*w + 4*w + 10. Suppose -2*d = -3*x + 1485, -2*x - w*d = 2*d - 974. Is x a composite number?
True
Let v(f) = -f**3 - 6*f**2 + f + 8. Let s be v(-6). Suppose -s*h = -6 - 10. Suppose -3*a - 50 = -h*a. Is a a composite number?
True
Let s be 1/((-2)/4*(-6)/9). Is s - (-307 - (1 + -4)) a composite number?
False
Suppose 3*r = 13434 + 18609. Is r composite?
True
Suppose -5*m - 3*w + 100438 = 0, -2*w + 100440 = 5*m + 3*w. Is m a prime number?
False
Let a(c) = -c**2 - 4*c + 3. Let z be a(-5). Let q = 4 - z. Let t = 8 + q. Is t prime?
False
Let f(w) = 7*w**2 - 6*w - 3. Let p be (20/(-12)*1)/((-2)/6). Is f(p) composite?
True
Let h(g) = 54*g**2 - 33*g - 9. Is h(8) composite?
True
Suppose 0 = -4*u + u + 345. Suppose -d - 4*d = -u. Is d composite?
False
Let d = 3134 + -525. Is d a prime number?
True
Let x = -11 + -17. Let b be (2 + x/(-2))*1. Suppose -1340 = -b*a + 12*a. Is a a prime number?
False
Let y = 51633 - 28894. Is y prime?
True
Let o(n) = 2*n**3 - n + 1. Let x be o(1). Let s(b) = b**3 + b + 2*b + 0 - b**x - 3 + 0. Is s(2) prime?
True
Suppose 4*y = -4*o + 12368, o - 5*y - 12341 = -3*o. Is o composite?
False
Let p(x) = -x + 7. Let o(k) = k**2 + 3*k - 3. Let g be o(-5). Let j be p(g). Is 132 - (4 + -1 + j) a prime number?
False
Let b = -1858 + 3477. Is b a composite number?
False
Suppose 2*k + 667 = -4*n + 207, -5*n - 545 = -5*k. Is n/(-1) - (3 + 1) a prime number?
True
Let c(a) = 31*a - 17. Let h be c(-21). Let x = -375 - h. Is x a prime number?
True
Suppose -5*p = -15323 - 20292. Is p a prime number?
False
Let t(d) = 816*d**3 + 5*d**2 - 29*d + 107. Is t(6) composite?
False
Is (-35834426)/(-1958) + (12/(-11))/2 a prime number?
True
Let c = 0 + 6. Let s be -3 - (c/(-1) + -2). Suppose -q + 2*q - 4*t - 39 = 0, -6 = q + s*t. Is q composite?
False
Suppose -34*g - 3*c - 7258 = -35*g, 5*g = -2*c + 36273. Is g prime?
False
Let f(y) = -68*y - 9. Let s be f(-4). Let d = 706 - s. Is d composite?
