. Is s(-5) prime?
True
Let y(w) = 93*w**3 - 3*w**2. Let g(o) = -o**3 - 11*o**2 - 12*o - 17. Let m be g(-10). Let h be y(m). Is h/42 - 1/7 prime?
True
Suppose 0 = -10*h + 226646 + 11964. Is h a prime number?
False
Is (-7)/((-70)/(-20))*36082/(-4) prime?
True
Let m = -108 - -110. Let x(q) = -q**3 + q**2 + q + 2. Let d be x(2). Suppose d = p - 2, 257 = m*b + b - 5*p. Is b a prime number?
True
Suppose -72*a + 74*a - 1270 = 0. Is a prime?
False
Let d = 80 + -78. Suppose 2*x - 2106 = 3*y, 5*x + d*y - 4244 = x. Is x a composite number?
True
Let m be (2 + 16)*2/3. Let j(t) = t**2 - 13*t + 12. Let p be j(m). Suppose -4*s = f - 199, p*f + 353 = 2*f - s. Is f composite?
False
Suppose -g - 5*i = 2*g - 6893, 4*g - i - 9160 = 0. Is g prime?
False
Suppose 4*r - 4*s - 8 = 0, -r + 4*s - 9 = 4. Suppose -r*g - 58164 = -19*g. Is g a prime number?
False
Let k(r) be the third derivative of r**4/8 - 5*r**3/6 - 3*r**2. Let q be k(4). Suppose -5*j - 3*o + 49 = 0, q = -5*j - 5*o + 52. Is j prime?
True
Suppose x = 10 + 11. Suppose -x*n + 20242 = -2585. Is n composite?
False
Let g be (0 - -1)/((-2)/4). Let w be ((-1618)/(-4))/(g/(-4)). Suppose 0 = 5*x - x - 3*d - 1064, 3*x - 5*d - w = 0. Is x prime?
True
Suppose -4*b - 178312 = -4*c, 216579 = 5*c + 2*b - 6318. Is c a prime number?
True
Let u be 1/2 - (-7)/(28/18). Is 0 + (-6)/15 - (-7807)/u a prime number?
False
Let h(l) = 91*l + 7. Let m be h(-8). Let u = m - -1362. Is u a composite number?
False
Suppose 3*j - 1086 = 1155. Let u = 1226 - j. Is u composite?
False
Let u(r) = -100*r + 89. Is u(-34) composite?
True
Suppose 42*f - s = 46*f - 133585, 5*f + s = 166980. Is f prime?
False
Let u = -55 + 62. Suppose 2040 + 1971 = u*m. Is m composite?
True
Let i = -18 + 16. Let r(a) = a**2 + 2*a + 1. Let k be r(i). Is (4361/(-14))/(k/(-2)) composite?
True
Suppose -12*k - 12293 = -47801. Is k a composite number?
True
Suppose 3*a + 8 = 5*a. Suppose -4*v = -3*t - v + 2265, -2*v - 3016 = -a*t. Is t a composite number?
True
Is (-96487)/(-4) + 6*8/(-64) a composite number?
False
Let j be 1086/4*24/(-18). Let y = j + 1580. Is (1/3)/(2/y) prime?
False
Let u(f) = 64*f**2 - 125*f - 85. Is u(20) a prime number?
False
Let f = 1962 + -1005. Suppose 2*b - 10 = j - f, 3808 = 4*j - 3*b. Is j prime?
False
Let y be -12 + (-1 - (-2 + 2)). Let c = y + 82. Is c prime?
False
Let v(g) = -123*g - 2. Let n(h) = -h**2 - 5*h + 4. Let z be n(-5). Suppose 2*y - z*l = 6*y, 4*y + 5*l - 1 = 0. Is v(y) prime?
False
Is 4 + 94*(4 + (-1914)/(-12)) prime?
True
Let p = 10 - 7. Suppose t = -p*t + 3556. Is t a prime number?
False
Suppose 18211 = 41*w - 13072. Is w a prime number?
False
Suppose 40 = i - 5*i. Let m be i/(-35) + 3744/(-21). Let l = m - -273. Is l composite?
True
Is 20/4*35489/115 a composite number?
False
Let c = -37497 - -62116. Is c a composite number?
True
Suppose 0 = -m + 2*b + 102, -3*m + b + 334 = 2*b. Let a = m - -69. Is a prime?
True
Let f(n) = n**3 - 10*n**2 - 11*n + 3. Let v be f(11). Let u(b) = 50*b**2 + 5*b - 4. Let a be u(v). Let k = a + 288. Is k prime?
False
Suppose -79 - 514 = -5*w - i, 5*w - 597 = i. Is w composite?
True
Let b = 3010 - -1825. Suppose 14*m = 19*m - b. Is m a prime number?
True
Suppose -7*x = -12*x + 50. Suppose -i + 4 = x. Let u(g) = -30*g - 1. Is u(i) prime?
True
Let v be 7266/33 - (20/(-11) - -2). Let t = v + 2209. Is t composite?
True
Let t = 17 + -27. Let f be (-3)/(t/7 + 1). Suppose 5*a = 3*p - f*p + 227, 0 = a - 3. Is p composite?
False
Let q be (-948 + -1)*(28 + -29). Let m = 3890 - q. Is m a composite number?
True
Let h(q) = q**2 + 26*q - 35. Let s(t) = t**2 + 51*t - 70. Let d(l) = 5*h(l) - 3*s(l). Is d(26) a composite number?
True
Suppose 0 = -p + 4, 0*m + m + 4*p = 17625. Is m prime?
True
Let c(m) = 2*m + 0 - 7 - 2*m**2 + 3*m**2 - 6. Let i be c(0). Let a = 10 - i. Is a a composite number?
False
Suppose 0*w = -4*w + 96. Let x = -25 + w. Is 10/x*(-2032)/32 a composite number?
True
Let x(r) = -134*r - 33. Is x(-11) a composite number?
True
Let v = -5313 + 33632. Is v a composite number?
False
Let q(v) = 5*v**3 + v - 2. Let w be q(1). Is 92 - w/(-20)*-5 prime?
False
Is 3805*(-14)/21*(-12)/8 a composite number?
True
Suppose 3*s + 28 = 5*s - 4*o, -3*o = 4*s - 34. Suppose 3*u + 0 = 9. Let h = u + s. Is h composite?
False
Let g be -4 + -1 + (1 - 1). Let w(l) = -41*l - 14. Let z(u) = -u + 1. Let r(v) = w(v) + 2*z(v). Is r(g) prime?
False
Let n = 930 + -461. Is n a composite number?
True
Is (-1 + -6)/((-403464)/36678 - -11) a prime number?
False
Suppose -100*q = -108*q + 162616. Is q prime?
True
Suppose 0 = -5*k + 7*q - 2*q + 865, -4*k + 727 = 3*q. Suppose 13 = i - k. Is i a composite number?
False
Suppose 0 = -3*q + 11 + 13. Suppose -2*b - 42 = -q*b. Suppose b*w - 11*w + 1676 = 0. Is w composite?
False
Let h(n) = -3*n**3 + 112*n**2 - 92*n + 71. Is h(36) prime?
False
Let r(n) = 3*n**3 - 6*n**2 + 4*n - 6. Let k be r(4). Let f = k - 195. Let p = f - -178. Is p prime?
True
Let y = -303 - -1244. Is y prime?
True
Suppose -3*j = 2*p - 49, 5*p - 94 = -2*j + 4*j. Let w(y) = y**3 - 19*y**2 + 15*y + 39. Is w(p) a prime number?
True
Let n(o) = -2*o**3 - 28*o**2 - 19*o - 232. Is n(-39) composite?
True
Suppose -17*z = -7*z - 7620. Let j = 179 + z. Is j a prime number?
True
Is (-7975)/(-2) - 18/(-12) composite?
False
Suppose -55 = 22*g - 27*g. Let v(k) = -2*k + 22. Let f be v(g). Let h(i) = i**2 - 2*i + 163. Is h(f) a composite number?
False
Suppose -4*u = -4*c - 9*u + 33, 2*u - 42 = -4*c. Is (-8)/c + 862/6 a prime number?
False
Let y be 9 + (-4 + 2)/(-2). Let s be (y - 8) + (42 - -1). Suppose c - s = 22. Is c a prime number?
True
Is 304894/8 + 10/(80/(-6)) composite?
True
Let s(t) = 6*t**2 - 17*t - 22. Let k(p) = 2*p**2 + 17. Let u be k(0). Is s(u) composite?
False
Suppose -2*u - 3*f - 44 = 0, 4*f = 2*u + u + 100. Let l = u + 34. Is 4/l*1203/2 a composite number?
False
Suppose u = -2*l - 3, -4*u + 15 = -l - 0. Suppose 3*n = u, -3*p - 4*n - 2 = -0*n. Is p/4*(-1784)/4 composite?
False
Suppose w = 7*w - 271398. Is w composite?
False
Let s(k) = -208*k**2 - 2*k - 2. Let c(o) = -209*o**2 - 2*o - 2. Suppose 0 = -3*r + 3 + 3. Let x(u) = r*s(u) - 3*c(u). Is x(-1) prime?
True
Let z = 22 - 16. Suppose -g - a = -196, -a - z = -g + 180. Is g a prime number?
True
Suppose 2*s - 7 = 3. Let g = s - 13. Is ((-92)/g)/((-1)/(-2)) a composite number?
False
Suppose -6*v + 0*v + 24 = 0. Suppose -12 = -z + 5*w, 0*z - 4*z + 5*w = -18. Suppose 4*i = k + 89, 3*i - z*k = -v*k + 64. Is i a prime number?
False
Let n(b) = -633*b**3 + 1. Is n(-1) prime?
False
Let y(a) = 228*a**2 - 3*a - 2. Let k be y(-2). Suppose -5*h - 3781 = 4*v + 826, h - v = -k. Let w = -488 - h. Is w a composite number?
False
Let f = -109 + 110. Is -7 + 8 + f/(-1) + 2569 composite?
True
Suppose 2*o + 3508 = -2*o. Is (0 - o)*(16/4 - 3) a composite number?
False
Suppose 8887 = 5*c + 2*k, -4*c + 6955 + 154 = k. Is c a composite number?
False
Let y = -1357 - -2600. Suppose -z = -4*h - y, 2*z = -2*z - 4*h + 5052. Is z a composite number?
False
Let h(n) = n**3 - 5*n**2 - n - 1. Let s be h(4). Is (-6)/s + (-1662)/(-14) a composite number?
True
Let h(c) = 2*c**2 - 6*c + 3. Let u be h(3). Suppose -u*w + 726 = k - 61, 3*k = 3*w + 2337. Is k a prime number?
False
Let r be 1 - (9*-229)/3. Suppose r + 2 = 6*o. Is o composite?
True
Let q(h) = 56*h + 25. Let z be (13 - 14) + (-1 - -2). Suppose z = -2*u + 4*o + 22, 5*u + 2*o - 41 - 14 = 0. Is q(u) prime?
True
Suppose 0 = 5*m + 10, 3*m - 22 = 6*h - 4*h. Suppose 4*q - 32 = z - 8, -z - 3*q - 31 = 0. Is (-876)/z + 4/h prime?
True
Let s(x) = -14*x**3 + 2*x**2 + 2*x + 1. Let n be s(-3). Suppose -2 + 6 = -2*l, 2*l - n = -5*i. Is i composite?
False
Let p(a) be the third derivative of a**5/15 - 7*a**4/24 - 4*a**3/3 + a**2. Suppose 10*x - 30 = 16*x. Is p(x) prime?
True
Let c = 16 + -14. Suppose 4 = c*o - 2. Suppose a - 161 = -f - o, -5*a + 15 = 0. Is f a prime number?
False
Let i(l) = 2*l + 38. Let g be i(19). Suppose g*b - 2098 = 75*b. Is b a composite number?
True
Suppose -l = -u, 5*u - 20 = -6*l + l. Suppose -f + 5*m + 476 = l*f, 2*m - 469 = -3*f. Is f prime?
True
Let k(f) = -f**3 - 25*f**2 - 7*f + 49. Let n = -8 + -18. Is k(n) composite?
False
Suppose -507 = 5*p + 158. Let h = p + 252. Is h a prime number?
False
Is (-642)/(-4) + (-6)/(-24)*2 composite?
True
Let s 