66*r**2 - 57*r + 23. Is z(-66) prime?
False
Let m(g) be the second derivative of g**5/5 - 5*g**4/12 - 5*g**3/3 - 8*g**2 - 22*g. Is m(7) composite?
True
Let x = 6453 + -2660. Is x composite?
False
Let l = 12 + -11. Is 6/(-3)*l + 1563 prime?
False
Let t(y) = 2*y**3 - 2*y**2 - 35*y + 74. Is t(17) composite?
True
Suppose -10*i - 32 = -2*i. Is 8/i + 521 - -2 prime?
True
Let s be (282 - -3)/5 - 0. Suppose -86 = -3*z + 4*p, -5*z + 3*p + 79 = -s. Is z a prime number?
False
Let l(g) = -g**3 - 6*g**2 - 6*g + 7. Let y be l(-4). Is 852/15 - y/5 a composite number?
True
Suppose 8655 = 112*q - 107*q. Is q a prime number?
False
Suppose -2*q + 25835 = -3*k - 11568, 93555 = 5*q + 2*k. Is q prime?
False
Let s = -371 + 3078. Is s composite?
False
Let b(h) = -21*h + 3. Let y be b(1). Let z(r) = -r**3 - 12*r**2 - 18*r + 41. Is z(y) a prime number?
True
Let m(d) be the first derivative of -21*d**4/4 + d**3/3 + 2*d**2 + 7*d + 11. Is m(-3) prime?
True
Let u be -2 + 4 + 855 + 1. Suppose u = -5*z + 11353. Is z composite?
False
Is (-10 + 19454)*1/4 composite?
False
Let c be (323 - -8)/(1/5). Suppose 0*l - c = -5*l. Is l prime?
True
Let h(s) = -14 + 0 + 18 + 39 + 194*s. Is h(12) prime?
True
Let d be (-3)/(-2)*(-228)/(-18). Let z = -18 + d. Is 4 + 302 - z*-1 prime?
True
Let i be 39/(-3) - -3 - -1. Let m(d) = -12*d + 19. Is m(i) prime?
True
Let q(t) = 96*t - 73. Suppose 0 = 2*x - 3*x + 17. Is q(x) a prime number?
True
Let z be 2/(-4 + 682/170). Let a = z + 147. Is a composite?
False
Suppose -2*y - 29 = 13. Let f be (-752)/14 - (-6)/y. Is (-4)/18 + (-20370)/f composite?
True
Is -1361*-3*(-3)/(-9) a prime number?
True
Let c(x) = 25*x**2 - 4*x - 15 + 9*x + 9*x - 5*x. Is c(-5) composite?
True
Let l be (13*1)/(-4 + 3). Let y(s) = s**3 + 18*s**2 + 11*s + 19. Let f be y(l). Suppose 3*v = f + 776. Is v composite?
False
Suppose -70084 = -4*g + 29*j - 33*j, -4*j = g - 17527. Is g composite?
False
Let n be 50/15 - 2/(-3). Suppose -n*g - g = -15. Suppose -g*y = -4*q - 300 - 47, y = -q + 111. Is y a prime number?
True
Is 400970/42 - 170/(-1785) composite?
False
Let d(r) be the first derivative of -r**3/3 - 3*r**2/2 - 3*r - 4. Let t be d(-2). Let o(w) = -120*w - 1. Is o(t) prime?
False
Suppose -15172 = -2*h + 4*r, -h - 576 + 8161 = -3*r. Let q = -2705 + h. Is q composite?
True
Let f = -1178 - -310. Let d = 1731 + f. Is d a composite number?
False
Let n(o) = o**3 - o**2. Let h(d) = 10*d**3 + 3*d**2 + 6*d - 2. Let k(b) = -h(b) + 2*n(b). Is k(-3) a prime number?
True
Let g be (4 + (-2 - 3))*1. Let y be 191 + (5 + g - 2). Suppose -3*r + y = 4*z - 4*r, -r = -5*z + 240. Is z prime?
True
Let x = -2881 + 6038. Suppose -3*c + x = 2*h, 5003 = 3*h - 3*c + 245. Is h composite?
False
Suppose 10*w - 324409 = -86319. Is w a composite number?
True
Let s(k) = -285*k - 9. Let o(h) = 190*h + 6. Let w(b) = 8*o(b) + 5*s(b). Let j be w(6). Suppose -m + 4*p = -j, -2*m = -0*p - 3*p - 1126. Is m a prime number?
True
Let t be 16/7 - 50/175. Suppose 5*y - 728 = 3*f, -147 = y - t*y + 2*f. Is y prime?
False
Let z = -10346 + 20115. Is z a composite number?
False
Let h = 3685 - -24702. Is h a composite number?
False
Suppose 0 = -248*k + 247*k + 17317. Is k prime?
True
Let a = -5 - 15. Let n = a + 169. Is n composite?
False
Suppose -3*a = -2*l + 1361, -10*l + 14*l = 3*a + 2731. Is l a prime number?
False
Suppose 33*x + 133263 - 3741186 = 0. Is x prime?
True
Let w = -1090 - -1569. Is w a prime number?
True
Let a = 8329 + -4692. Is a prime?
True
Suppose 0 = 5*d + 41 - 1. Let n(x) = -100*x + 1. Let u be n(d). Suppose -u = -6*c + 597. Is c prime?
True
Is (-2 + 3006)*184/256*8 composite?
True
Let z be 0 + 6 + 18/(-9). Let r(p) = -p**2 + z - 6*p**3 + 2*p - 6 + 3 + 1. Is r(-3) a composite number?
False
Let a(c) = c**2 + 3*c - 9. Let s be a(0). Let m(w) = -w**2 - w + 13 + 4*w**2 - 4*w - 2*w**2. Is m(s) a composite number?
False
Let i(t) = 229*t + 116. Is i(3) a composite number?
True
Suppose -3*p - 5*h + 0 - 22 = 0, 3*p + 12 = -3*h. Is (2/p)/(23940/5982 - 4) a prime number?
True
Let o(u) = u + 12. Let z be o(-7). Suppose 0 = -z*j + 1452 + 373. Let c = -247 + j. Is c composite?
True
Let z = 0 - -5. Suppose -36*r + 1296 = -18*r. Suppose -z*u = -93 - r. Is u composite?
True
Let w(p) = 163*p. Let q = -24 + 26. Let i be 3/(-1) + q + 2. Is w(i) composite?
False
Let v(b) = -398*b - 331. Is v(-25) a prime number?
True
Suppose 78*u + 5998 = 80*u. Is u a prime number?
True
Suppose -5*r = 5*c - 20235, 0*r + 2*c + 20249 = 5*r. Is r a prime number?
True
Let p(u) = 510*u**3 - 11*u**2 + 35*u + 35. Is p(6) prime?
False
Let c be (-4)/(-26) + (-23622)/(-78). Suppose 356 = i - c. Suppose -i = -18*t + 17*t. Is t a prime number?
True
Let l(c) = -c**3 - 3*c**2 - 13*c - 5. Let x(f) = 31 - 10 + 18*f - 6*f - 17. Let h be x(-1). Is l(h) a composite number?
False
Let s = -16335 - -38768. Is s prime?
True
Let d(q) = 2*q**3 + 23*q**2 + 9*q + 12. Let g be d(-12). Suppose -4*t + 234 = -6*t. Let j = t - g. Is j composite?
True
Let n = 505 - 60. Is n a prime number?
False
Suppose b = -i - 634, 3*i - 658 = 4*i - 5*b. Let k = i - -1617. Is k a prime number?
False
Is (-1399)/(-11) + (8 - (-810)/(-99)) composite?
False
Let c(v) = -230*v - 15. Suppose 2*i - 3*i = 5. Is c(i) composite?
True
Let j(s) be the second derivative of s**7/840 - s**6/45 + 7*s**5/60 + 2*s**4/3 - s. Let t(w) be the third derivative of j(w). Is t(11) a composite number?
True
Is (-36)/24 + 1234/4 prime?
True
Let n(o) be the second derivative of 1/20*o**5 + 5/6*o**4 + 1/6*o**3 + 0 + 5*o - 7/2*o**2. Is n(-5) a prime number?
True
Suppose 0 = -3*q - 98 - 124. Is (q/(-3))/((-2)/(-3)) composite?
False
Is (7393*4)/((-17 + 16)*-2) a composite number?
True
Let o(z) be the second derivative of z**4/3 - z**3/3 - z**2/2 + z. Let m be o(-1). Suppose -2*l + 426 = -m*x, -3*l + x + 439 = -226. Is l a prime number?
True
Let h(l) = -2806*l**3 - 2*l**2 + 1. Let n be h(-2). Suppose -5*c + f = 6873 + n, -5858 = c - 5*f. Is c/(-99) + (-4)/18 prime?
True
Suppose -2*t + 4*s + 134 = -t, 0 = -3*s - 6. Let l be t*(-8 - (-6)/3). Is -3 - (-1)/((-3)/l) a prime number?
False
Let r = 58 - 60. Is 6102/24 + (r - (-7)/4) a composite number?
True
Let r(b) be the third derivative of 6*b**5 + b**4/6 + b**3/2 + 15*b**2. Is r(-1) composite?
False
Suppose -q = -3*d - 453, -4*q + 645 + 1156 = -d. Is (3*-1)/((-54)/q) prime?
False
Let d(z) be the third derivative of 7*z**5/5 - z**4/2 - 7*z**3/6 - 26*z**2. Is d(-5) composite?
False
Suppose -12081 = 12*f - 111789. Is f a prime number?
False
Let j = 18594 - 2783. Is j prime?
False
Let b(z) = 1293*z**2 + 18*z - 118. Is b(5) a prime number?
True
Let o = 697 - 466. Let i = o + 178. Is i a prime number?
True
Suppose 4*k - o - 38 = 0, -4*k - k - 4*o + 58 = 0. Suppose f = r + 1204, k*r = 6*r - 20. Is f prime?
False
Let x(f) = -10*f**3 - 20*f**2 + 13*f + 3. Is x(-14) prime?
False
Let k = -59 + 1170. Is k prime?
False
Suppose 5298 = 28*h + 622. Is h composite?
False
Let s(q) = 116*q**3 + q**2 + 10*q. Let c(h) = h**3 + h + 1. Let m(j) = -c(j) + s(j). Is m(4) composite?
False
Suppose 0 = -0*d - d + 2*l - 999, 2*d + 1982 = -4*l. Let x = 1702 + d. Is x a prime number?
False
Let v = -724 - -376. Let f = 321 + 230. Let g = f + v. Is g a composite number?
True
Let g(o) = 44*o**2 + 3*o + 46. Is g(-15) a prime number?
True
Suppose -3*m - 2*m = 0. Suppose m = -r + 3. Suppose -j = r*j - 1016. Is j a prime number?
False
Suppose -3*z + 14 = 3*j - 25, -29 = -3*z - 5*j. Is (3*606/z)/((-1)/(-7)) a prime number?
False
Suppose -6064 = -14*p - 2*p. Is p prime?
True
Let u = 1783 + -851. Suppose -3*q - u = -w, 0 = 3*q + 2*q - 15. Is w a prime number?
True
Let g = 10994 + -5425. Is g prime?
True
Let d = -25 - -30. Suppose d = -5*t - 15. Is t/(-5) - (-6255)/25 composite?
False
Let k(h) = 672*h**2 + 3*h - 13. Is k(6) prime?
True
Let k(v) = 11*v + 3. Let p be k(1). Let h(f) = f**2 - 6*f - 23. Let g be h(p). Let q = g - 18. Is q a prime number?
True
Let k = 7821 + -3472. Is k prime?
True
Suppose -4*g = 4*x - g - 15931, -x + 3959 = -4*g. Is x a composite number?
True
Let j be (-11 - 55)*67/(-2). Suppose 2*n - 4675 - j = 0. Is n a prime number?
False
Let q(p) = -8*p - 3 + 237*p**2 + 0*p - 238*p**2. Let n be q(-8). Let g(d) = -4*d**3 - 3*d**2 - 2*d. Is g(n) prime?
False
Let k(h) = -25*h**2 + 3*h - 13. Let t(w) = -50*w**