s s(19) a prime number?
True
Let l = -24 + 32. Let d(j) = 24*j**2 - 24*j - 27. Let s(r) = -16*r**2 + 16*r + 18. Let p(f) = 5*d(f) + 7*s(f). Is p(l) composite?
False
Is (30903/12)/((-10)/(-40)) composite?
False
Let z be (-45)/(-1) + (-2)/(-1). Let r = z + -24. Let y = 12 + r. Is y prime?
False
Let h(i) = i**3 + 22*i**2 + 14*i - 1. Suppose -5*z + 4*g - 44 = -3*z, 0 = -z - 4*g + 2. Is h(z) prime?
False
Let m(b) = -386*b**2 - 4*b - 4. Let c(j) = 772*j**2 + 9*j + 9. Let z(h) = 3*c(h) + 7*m(h). Let x be z(-1). Let v = -79 - x. Is v a prime number?
True
Let r(c) = 49*c**2 + 43*c + 255. Is r(-8) a composite number?
True
Suppose -6*t + t - 25950 = 0. Let y be (1/(-2))/(3/t). Suppose 0 = -2*h + 4*m + m + 413, -3*m + y = 4*h. Is h prime?
False
Suppose -i = -2219 - 1644. Is i prime?
True
Suppose -15 - 6 = -7*q. Suppose -q*y + 6636 = -5*j + 1859, -y = -3*j - 1599. Suppose -4*h = -2*b - y + 288, -3*b + 640 = 2*h. Is h a prime number?
False
Let o(c) = 100*c + 3. Let a be o(4). Let n = a + -224. Is n composite?
False
Let l = 5672 + -3779. Suppose -5*w + 8*w = l. Is w prime?
True
Let w(l) = 3*l**2 + l. Let h be w(-1). Let y(k) = 237*k - 3. Is y(h) prime?
False
Let h(c) = c**3 + 10*c**2 - 12*c - 42. Let j be h(-7). Let d = -102 + 170. Suppose r - j = d. Is r a prime number?
True
Let q be (1 + -2)/(3 - (-83040)/(-27678)). Let t = -2068 + q. Is t a prime number?
False
Let p(t) = -12*t + 55*t + 27 + 78*t. Let n(j) = 40*j + 9. Let b(v) = 8*n(v) - 3*p(v). Is b(-4) composite?
False
Suppose 0*f = -2*f + 8. Suppose 863 + 177 = f*g. Suppose g = -5*k + 815. Is k prime?
False
Let d be (-2)/2 + (5 - 8/4). Is (934 + 0)*7/d prime?
False
Let l be (-24)/(-18)*(-2)/(24/(-45)). Suppose -l*v + 4216 = -454. Is v a composite number?
True
Let o be (3 - -682)*(-1)/(-1). Suppose 7*f = 2*f - o. Let w = 340 + f. Is w composite?
True
Let u be (-6)/(-10) - (-14592)/80. Suppose -u = -4*v + 57. Suppose 0*t + 4*z + 30 = t, -4*t + z = -v. Is t a composite number?
True
Is (28/(-2))/7*(-10555)/2 a composite number?
True
Let z(u) = -21*u**2 - u + 12. Let g be z(6). Let i = g - -1255. Is i prime?
False
Let k(c) = 8 + 54*c**2 - 9 - 8*c**2 + 133*c**2. Let d(v) = -v - 7. Let q be d(-6). Is k(q) composite?
True
Suppose 2175 = -y - 0*y. Let v = y - -1300. Is 11/(-22)*(1 + v) a composite number?
True
Suppose 30*w = 31*w - 24. Let n = w + 407. Is n composite?
False
Let s be -2 - (0 - -67)*-2. Suppose 23 = r - s. Is r prime?
False
Let a(h) = h - 42. Let u be a(0). Let z = -24 - u. Is (-4)/(-18) - (-554)/z a prime number?
True
Let i(g) = -2 + 100*g - 11 - 242*g + 1. Is i(-5) composite?
True
Let r(q) = 5*q**2 - 33*q - 111. Is r(-24) a prime number?
False
Suppose 5*b = 213 - 63. Let v = -34 + b. Is 1*4/v*-587 a composite number?
False
Let v = -7323 + 45696. Is v a composite number?
True
Let g be (-14)/(-119) - -14*(-14)/(-68). Let v(a) = 65*a**3 - 3*a**2 - 4*a + 5. Is v(g) composite?
False
Let p = -18 - -14. Let a(s) = s**3 + 2*s**2 - 6*s - 3. Let c(v) = -v**3 - 3*v**2 + 7*v + 4. Let u(l) = -5*a(l) - 4*c(l). Is u(p) prime?
False
Let j(y) = 304*y**2 + 2*y - 29. Is j(-6) prime?
True
Suppose -8*y = 1865 + 5271. Is y/(-6)*(-6)/(-4) composite?
False
Let g be 230/(-4)*36/45. Let q = 108 + g. Is q prime?
False
Let n = 10302 + -6905. Let p = n + -1995. Is p a prime number?
False
Let t = -135252 - -241139. Is t a composite number?
True
Let a(s) = 6*s**3 + 4 - s**2 - s**2 - s**2. Let o(b) = -b**2 + 4*b + 3. Let x be o(0). Is a(x) prime?
True
Suppose -10*c + 6*c = -5*n + 25823, -4*n + 20680 = 4*c. Is n a prime number?
True
Let u = 4 - 4. Is 14445/18*(4/6 + u) a composite number?
True
Suppose -21 + 129 = 5*w + 2*g, 5*w - 92 = 2*g. Let z = 22 - w. Is -134*((-6)/z)/6 a composite number?
False
Let x = -300 + 3861. Is x a prime number?
False
Is -93*(1 + -6 + (-1240)/30) prime?
False
Suppose 2*m + o - 12566 = -0*m, 2*m + 5*o = 12582. Is m a prime number?
False
Let z(i) = -60*i - 7. Suppose -b + 1 = -2. Suppose 23 = -4*t + b. Is z(t) a prime number?
True
Let i(b) = 126*b**2 + 35*b - 178. Is i(16) a composite number?
True
Let b be (14/(-4) + 2)*-1308. Let y(d) = -52*d**2 - 6*d - 15. Let w be y(-5). Let i = b + w. Is i composite?
False
Let o(f) = 5*f**2 - f + 1. Let w be o(-3). Let u = w - 32. Suppose 2*a - 45 = u. Is a a prime number?
True
Let y(s) be the second derivative of 5*s**4/8 + 2*s**3/3 - 2*s**2 + 2*s. Let t(l) be the first derivative of y(l). Is t(5) composite?
False
Let c(r) be the third derivative of 179*r**4/12 + 5*r**3/6 + 15*r**2. Is c(4) prime?
False
Let n = -364 - -91. Let i = n - -1250. Is i prime?
True
Suppose -2*s = -4*d - 168, 3*s + 3*d - 136 = 116. Suppose -s = -3*u + 183. Suppose -5*i = -u - 381. Is i a composite number?
True
Let n = -15144 + 23809. Is n composite?
True
Let j = 593 - -4238. Is j composite?
False
Let l(i) = 25*i**3 + 9*i**2 - 5*i - 3. Let d(s) = s + 10. Let k be d(-6). Is l(k) composite?
False
Suppose -38*l + 868944 = 280666. Is l prime?
False
Suppose -v + 4*w + 70 = 0, w + w + 76 = v. Suppose m = -4*h + 83, 3*h - v = -4*m + 3*m. Is m composite?
False
Let m be 2/(2 + 0)*4. Suppose -2*a - 96 + 500 = 0. Suppose 2*y + 454 = m*d, 0*d + 4*y - a = -2*d. Is d prime?
False
Is (-2)/14 - 12171224/(-259) composite?
False
Is 436962/24 + 3/(-4) - -3 a composite number?
True
Let n be 58/(-2) + 7 + -10. Let q be 16/n + (-2)/(-4). Suppose q = -4*v + 963 + 209. Is v composite?
False
Suppose 2*g - m - 8 - 1 = 0, -g + 3*m - 8 = 0. Let r be (19/2)/(g/28). Let p = r - -15. Is p prime?
True
Suppose -4 - 5 = d. Is 3 + (-21)/d*3 a composite number?
True
Suppose 3*o + b - 232 = 120, 4 = 4*b. Suppose -5*t - 186 = -2*s - 2*s, 3*t + 3*s = -o. Let v = 72 + t. Is v prime?
False
Let i = 1085 + -328. Is i prime?
True
Suppose -3*s = 5*c - 7936, 5293 = 2*s - 198*c + 199*c. Is s a composite number?
False
Let j = 4529 - 2286. Is j prime?
True
Suppose 0 = -6*p + p + 40. Is 67 + (2 - 1) + (7 - p) composite?
False
Let a be ((-16)/(-10))/(4/(-4690)). Let z = 2855 + a. Is z a prime number?
False
Let m = -14 + 9. Let a be m - (0 - 1) - 293. Let y = 668 + a. Is y a prime number?
False
Let t(b) = 5*b**3 + 5*b**2 + 27*b + 21. Let l(x) = 2*x**3 + 2*x**2 + 13*x + 10. Let s(v) = 7*l(v) - 3*t(v). Is s(-6) prime?
True
Let i(a) = 7*a**2 + 10 + a**3 + 10*a**2 - 12*a**2 + 5*a + 2*a. Is i(9) prime?
False
Suppose -3*k = -7*k + 12. Suppose -k*w + 25 = 19. Suppose 0 = h + w*h + 2*t - 1663, -h + 577 = -5*t. Is h a composite number?
False
Let i(y) = 9*y + 6*y - 49*y**2 - 7 - 3*y**3 + 55*y**2 + 2*y**3. Let c be i(10). Is c/(-7) + (-10)/(-35) prime?
True
Let m = 7 - -101. Let i = 211 - m. Is i a prime number?
True
Suppose -185*d = -208*d + 630821. Is d prime?
True
Suppose 4*i - 9111 = 2*i + t, -3*t + 18197 = 4*i. Is i composite?
True
Suppose -13*j + 14*j = -33. Let d = 1 - 1. Let o = d - j. Is o composite?
True
Suppose o - 3*j - 704 = 2*o, -4*j + 2736 = -4*o. Let p = o - -317. Let a = -7 - p. Is a prime?
False
Let r = -2 + 22. Suppose 0 = -3*g - 6, -2 = 2*a - g - r. Let n(x) = -x**3 + 8*x**2 + 10. Is n(a) a prime number?
False
Suppose 17810 = 8*a - 12838. Is a a prime number?
False
Let l = -38 + 53. Is 296/12*l/10 a composite number?
False
Let i(f) = 94*f**3 + 4*f**2 - 5. Is i(3) a composite number?
True
Let r be ((-5)/2)/((-2)/4). Suppose -3*p - 5*b + 17 = -50, -4*p = -r*b - 66. Is p prime?
True
Let m(i) = -9*i + 2. Let h be m(-6). Let z be h*(-3 + 33/4). Suppose 5*n = 631 + z. Is n a prime number?
False
Let a(r) = 13*r**2 - r - 1. Suppose -d - 2*o = -4, 2*o + 20 = -6*d + d. Is a(d) a prime number?
False
Suppose -55*n = -23*n - 359008. Is n prime?
False
Let f = -234 + 234. Let a = -626 + 884. Suppose -a = -2*u - f*u. Is u a prime number?
False
Let p be (0 + 3 + -3)/2. Suppose 2*t + 36 - 12 = p. Is 2290/18 - t/(-54) a composite number?
False
Let l be ((-33)/(-22))/((-1)/2) + 4. Is -1 - (-2 - l) - -2159*1 prime?
True
Let h = -2 + 7. Suppose 6*y - 7*y + h = 0. Suppose m - y*m + 271 = o, 4*m = o - 255. Is o prime?
True
Let h be (-2)/8 + 117/36. Suppose -h*c + 1047 = -b - 359, 1843 = 4*c + 5*b. Is c a composite number?
False
Suppose -40 = -7*q + 226. Let p = -16 - q. Let v = 35 - p. Is v a composite number?
False
Is (1 - 8799/(-18))/(3/18) composite?
False
Let y(c) = c**2 + 2*c + 95. Suppose u = 3*u - 5*w + 23, 6 = 2*w. Let l be 1/u - 4/(-16). Is