 Is s(-1) composite?
False
Let s(l) be the second derivative of -l**5/20 + 2*l**4/3 + l**3/3 + l**2 + 23*l. Is s(-9) composite?
False
Let y(h) = h**2 + 4*h - 10. Let u be y(-6). Suppose -70 = -u*j + 80. Let p = j - 8. Is p a prime number?
True
Suppose 7*x + 796 = 5*x. Let c = 48 - x. Is c prime?
False
Is (-40)/(-300) - 1091559/(-45) composite?
True
Let x(s) = 124*s**2 + 2*s + 1. Let j(b) = 41*b**2 + b. Let u(w) = 7*j(w) - 2*x(w). Let f = -54 - -57. Is u(f) a composite number?
True
Suppose n - 2910 = 3689. Is n a prime number?
True
Let x(g) be the third derivative of g**5/30 + 53*g**4/24 + g**3/2 + 28*g**2. Is x(-28) a prime number?
False
Let n = -61 - -60. Is (1542/6)/(n - (-36)/33) a prime number?
False
Let w(l) = -4*l**2 - 4. Let n(m) = m**3 + 4*m**2 + 4. Let y be n(-4). Let o be w(y). Let u = o + 102. Is u composite?
True
Suppose -4*z + 4459 + 26975 = 2*c, 5*z = 4*c + 39299. Is z a composite number?
True
Let o be 339/12 - 12/48. Is (-527)/(-7) + (-8)/o - 1 composite?
True
Suppose 3*l + 2*a - 5 = 22, -l + 5*a - 8 = 0. Let y = l - 1. Suppose y - 44 = -2*x. Is x a composite number?
False
Suppose 5*p - 3807 - 12183 = 4*m, 0 = p + m - 3189. Is p composite?
True
Suppose 4*w - 1624 = -4*y, 4*w - 2*y = w + 1223. Is w composite?
True
Let b(n) = n**3 - 16*n**2 + 37*n + 29. Let p be b(13). Let g(t) = -34*t**2 + t + 2. Let a(m) = -68*m**2 + 3*m + 4. Let i(r) = 2*a(r) - 5*g(r). Is i(p) prime?
True
Let v be (15/4)/((-5)/120*-6). Is 8291/4 + v/60 composite?
True
Let m be 4/(-1 - 4/(-2)). Is (m/(-3))/(2*7/(-1869)) a composite number?
True
Is 120/320 - (-35941)/8 a prime number?
True
Let d(w) = 63*w**3 + 2*w - 7 + 11*w - 6*w. Is d(2) a composite number?
True
Let n = -50603 - -74580. Is n prime?
True
Let c(p) = -1153*p**3 - p**2 + 1. Let o be c(1). Let y = o - -1944. Is y a composite number?
True
Let a(f) = -f**3 + 7*f**2 - 5*f + 12. Suppose -4*b = b - 225. Suppose 4*m - b = 5*o, -2*o + 15 = m + 4*m. Is a(m) prime?
True
Suppose 3*h - 30 = -0*h. Let m = 13 - h. Suppose -4*o = -m*q + 1663, -q + 0*o - o = -552. Is q prime?
False
Let p = 15937 + -510. Is p a prime number?
True
Suppose 19*j - 3 = 18*j, -5*i - 5*j + 4870 = 0. Is i prime?
True
Let r be 2/(-4)*-8 + -1. Suppose r*c = -137 + 2078. Is c a prime number?
True
Suppose 5*u = -r + 8095, 2*u + 3*r = -1313 + 4564. Is u a prime number?
False
Let r(z) = -2*z - 2. Let c be r(-3). Suppose 2*j = 2*q - 222, 5*j + 555 = -8*q + c*q. Is (j/6)/((-1)/14) a composite number?
True
Let u be (-6)/2 + 3140/4. Suppose -4*z = 3*t + u, -3*t - 5*z + 2*z - 783 = 0. Let m = t + 443. Is m composite?
False
Let k = 23 - 67. Suppose -i + 44 = -23. Let d = i - k. Is d a composite number?
True
Suppose 0 = -65*v + 63*v + 6. Suppose 3297 = -0*z + v*z. Is z composite?
True
Is (-5)/2*((-6972)/5 - 2) a prime number?
True
Suppose -7*q - 12655 = -12*q. Is q composite?
False
Suppose -98931 = -4*b + z, -42*z + 44*z = -2*b + 49468. Is b composite?
False
Suppose 6*m + 3*m = -81. Is (-32145)/m + 1/6*-4 composite?
False
Let p = 341 - 340. Suppose -4*z + 5*z - 28 = 0. Is p/4 - (-2373)/z prime?
False
Let p = -492 + 853. Let i be 3/(-6)*(-1 + 205). Let c = p + i. Is c composite?
True
Let u = 13 + -4. Suppose -2*b = -6*b, -u = -3*j + 5*b. Is (-15852)/(-48) - j/(-4) composite?
False
Suppose 1353 = -2*f + 5*s - 1135, 5*f + s = -6274. Let z = -641 - f. Is z prime?
True
Suppose -22 + 12 = -2*i. Let m(k) = 9*k**2 + 3*k + 6 + k**3 - 4*k - 9 - i. Is m(-7) composite?
False
Suppose -23*s = -19*s - 224. Suppose 0 = -3*w - 4 - s. Is (-8)/w + (-3039)/(-15) composite?
True
Let i = -62 - -225. Let m = -1510 + 1588. Let h = i - m. Is h a composite number?
True
Let b(a) = -a**2 - 13*a - 19. Let s = 12 + -25. Let d be b(s). Let p = 86 + d. Is p prime?
True
Let m(i) = i**2 + 15*i - 19. Let f be m(13). Let n = f - -1092. Is n composite?
True
Suppose -3*h = 5*q - 4306, 24*h = 20*h + 3*q + 5751. Is h a composite number?
True
Let v be 12/18 - (-4)/(-6). Let z(b) = -3*b**3 + 0*b**3 - 3*b**2 + b**3 - 4 + v*b**3. Is z(-3) prime?
True
Let o(y) be the second derivative of 1/12*y**4 - 10*y + 0 - 1/2*y**2 - 1/10*y**5 + 1/2*y**3. Is o(-5) a composite number?
True
Is ((-3 - -25) + -5)/(3/249) prime?
False
Suppose 407061 = 5*j + 2*n, 2*n - 9 = -n. Is j/77 + 2/(-7) composite?
True
Suppose -3*v = -2*z - 233, 0 = 5*v - 4*z - 405 + 16. Suppose 0 = v*h - 67*h - 13670. Is h composite?
False
Suppose -26*b + 25*b + 7958 = 0. Suppose 6*a = 19988 - b. Is a a prime number?
False
Suppose -39*h - 110945 = -651212. Is h prime?
False
Suppose -4*v - l = -3*l, v + 5*l - 22 = 0. Suppose -3 = -v*d + 1. Suppose -d*i = -5*i + 1113. Is i prime?
False
Let t(i) = -35*i**3 - 4*i**2 - 12*i + 2. Is t(-5) composite?
False
Let r = -12 + 18. Let z be r - -1*0/3. Let k(x) = 26*x + 3. Is k(z) a composite number?
True
Let i(k) = -2*k**3 - 9*k**2 + 7*k + 7. Let a = 4 + -13. Is i(a) composite?
False
Let b = 6411 - 508. Is b a prime number?
True
Suppose 2985 = u + 375. Let t = u - 277. Is t a composite number?
False
Suppose 3*p - 14 = -z, 5*p - 3*p = -5*z - 8. Is (2/(-2))/((p/3)/(-470)) composite?
True
Suppose -23*j = 15920 - 378331. Is j a composite number?
True
Suppose 3*f = -3*y + 345, 3*y + 0*y + 15 = 0. Let l = f + -53. Is l a composite number?
False
Let w = -14 + 13. Let g = w - -3. Suppose -5*k - g*l = -67, k = -l + 3*l + 11. Is k prime?
True
Let v(z) be the third derivative of -z**5/60 - 13*z**4/24 - z**3/6 - 2*z**2. Let y be v(11). Let h = y + 600. Is h a composite number?
True
Let k(a) = a**3 + 30*a**2 + 50*a - 19. Let c(l) = l**3 + 3*l**2 + 5*l + 8. Let r be c(-4). Is k(r) prime?
True
Let v(i) = 209*i - 2. Let m be v(3). Let r = 1706 - m. Is r composite?
True
Let y(m) be the first derivative of 45/2*m**2 - 8 - 3*m. Is y(2) composite?
True
Let i = 19 + -13. Suppose -b = b - i. Suppose b*x = 1066 - 55. Is x a composite number?
False
Suppose 0 = -0*v + 5*v. Let d = v - 12. Is 2/(-6) + (-712)/d prime?
True
Let k(c) be the first derivative of c**4/8 - 11*c**3/6 + 3*c**2/2 + 3. Let w(t) be the second derivative of k(t). Is w(7) a composite number?
True
Let b be (90 - -1)*(-1 + 3). Suppose 1590 = 2*x - b. Suppose -x - 118 = -4*z. Is z a composite number?
False
Let g(b) = -7*b**3 - 6*b**2 + 21*b + 7. Is g(-10) a prime number?
True
Let g be -8 + 543 - (-4)/(-1). Suppose -5*h + 3*p = -g - 254, p = 0. Is h prime?
True
Let t be 33/(-22)*(-8)/6. Suppose 7*u = 3*u - 5*a + 7984, -3*a + 3994 = t*u. Is u composite?
True
Let r(k) = k**3 + k**2 - 3*k + 4. Let j be r(-4). Let z = -81 - j. Let m = 71 + z. Is m a composite number?
True
Let z be 4/2*5071/22. Let p = z + -292. Suppose 210 = o - p. Is o a prime number?
True
Suppose 5*x + 35 = 5*r, -3*x = r - 5*x - 3. Suppose t - 2*t = -r. Let w = t - -2. Is w a prime number?
True
Let f(p) = -621*p**3 + 2*p + 1. Let r be f(-1). Suppose -4*l + 212 = -352. Let g = r - l. Is g a composite number?
False
Let j(i) = -3*i**3 - 3*i**2 - 4*i + 7. Let k(t) = -t**2 - 3*t + 12. Let a be k(-6). Is j(a) composite?
False
Is ((-23843)/(-1))/(21 - (6 + 14)) composite?
True
Suppose -3*b = 134 - 683. Is b a prime number?
False
Let c(o) = -o**2 + 5*o - 2. Let y be c(4). Suppose -3*p - 96 = -u + 5*u, 44 = -y*p + 4*u. Let l = 23 - p. Is l prime?
False
Suppose -o + 3*h - 5 = -30, 0 = 2*o + 3*h - 5. Let s(v) = -v**3 + 13*v**2 - 10*v + 11. Is s(o) composite?
False
Suppose -65*y + 64*y = -7. Suppose 0 = -2*d + 10 - 4. Is d/y + (-4048)/(-28) a composite number?
True
Let d = 17 + -13. Suppose -5*j = 4*r + 448, -92 = j + 2*r - 0*r. Is (d/4 + j)/(-1) a composite number?
True
Suppose -4*k + 12 = 0, -4*k - 82375 = -x - 2*k. Is x a composite number?
True
Let v be 2 + (3 - 0 - -81). Let c = v + 71. Is c a prime number?
True
Let q be (-2 - -4 - -488) + 0. Suppose -165 = -5*i - q. Let k = 118 + i. Is k prime?
True
Suppose -t = -4*t + 6. Let j be (1/t)/(3/(-942)). Let m = 4 - j. Is m prime?
False
Suppose -3*w + 24 = -51. Suppose w*f - 26*f + 2 = 0. Suppose 27 = s + 4*u, -3*s + 179 = f*s - 2*u. Is s prime?
False
Suppose -5*s + 5*x = -11900 - 7100, 4*s + 2*x = 15218. Is s a prime number?
True
Suppose 5 = 5*v, -26 = -5*s + 4*v + 5. Suppose -3*g + 5*z = -29, -z - 2 = 3*g - s. Suppose g*j + 9 = 0, 9 = -2*x + j + 82. Is x a composite number?
True
Let a be (-1 - -5)*(-5 - -85). Suppose -a = -4*i + 4*g, -i + 0*g + 74 = -4*g