 2*c, 0 = -c - 3*c + 5*m + 102. Is c a prime number?
True
Let b(z) = z - 4. Let x be b(4). Suppose x = -0*s + s - 71. Is (-9 + 10)/(1/s) composite?
False
Let u be (-7)/(-14) + 6/(-4). Let j be (-7 - u)/(22/(-3091)). Suppose -2*f + 5*i = -4*f + j, 5*f - 3*i - 2092 = 0. Is f a prime number?
True
Suppose 3 - 5 = -4*v - 2*c, -v - 16 = -5*c. Is v*((-4554)/2 - 2*2) composite?
False
Let j(b) = b**3 + 7*b**2 + b + 8. Let d be j(-6). Let q(r) = -1 + d*r**2 + 0*r - r + 0*r. Is q(2) composite?
False
Let i be 4/2*(-33)/6. Let j = i - -7. Let u = j - -23. Is u a prime number?
True
Let n(p) = 4*p**2 - 7*p + 14. Let g be n(8). Suppose 4*c + 5*v - g = 815, -c + 3*v = -236. Is c a composite number?
False
Suppose 4*f - 3*f = -224. Let i = f - -547. Is i a prime number?
False
Suppose 5*c = 3*c + 6. Suppose -5*d + y = -5, 0*y + 3*y = -c*d + 3. Let j(q) = 257*q**2. Is j(d) a prime number?
True
Suppose 3*m + s = 6997, 6 - 4 = -s. Is m a composite number?
False
Let n(q) = 7*q - 6. Let j(h) = -h**3 + 11*h**2 + 12*h + 3. Let a be j(12). Suppose 0 = -l - a*l + 28. Is n(l) a prime number?
True
Let r = 1413 + -812. Let o = 1098 - r. Is o a prime number?
False
Let k(m) = -60*m - 139. Is k(-14) composite?
False
Suppose -3*q - 4*a + 1802 = 0, -q - 2*a = -0*a - 602. Let o = q + -291. Is o a composite number?
False
Let o = -27162 - -48505. Is o a prime number?
False
Let p be 240/(-9)*(-219)/2. Suppose 5*u = p - 110. Let l = u + -243. Is l composite?
True
Suppose 4*t = 5*t - 20. Let i = t - 221. Is (i/9 + 0)*-3 a composite number?
False
Suppose 5*c + 9 = 2*c. Is c + 4 + -4 + 296 prime?
True
Let i(g) = -g**3 - 6*g**2 + 2*g. Let d be i(-6). Is ((-6202)/8)/(d/48) a composite number?
True
Let c be -22*-280*(4 - 3). Suppose u + 0 - 4 = 0, 0 = -4*g - 5*u + c. Is g a composite number?
True
Suppose 5*s + 1841 = w - 1466, -w + s = -3291. Is w prime?
False
Let i(s) = -s**2 + 7*s + 5. Let b be i(5). Suppose 0 = g - 4*g + b. Suppose 168 = g*c - 157. Is c composite?
True
Suppose 150 = 4*r + 6*r. Is r/(-45)*(-202 + 1) a composite number?
False
Let o = -9 - -10. Suppose -4 = -p + o. Suppose 0 = -p*y + 4*y + 83. Is y composite?
False
Suppose -5*f - 12 = -4*h + 14, -f = h + 7. Is ((-14)/f - 2)/((-1)/(-543)) prime?
True
Let j(l) = -145*l + 102. Is j(-7) prime?
True
Let f be (10 + -8)/((-2)/(-3)) - 11. Is (6/f)/((-2)/2536) a composite number?
True
Let m(w) = 13*w**2 - 3*w + 17. Is m(-18) a prime number?
True
Let q = -9013 - -17514. Is q composite?
False
Let m = -2288 - -3361. Is m a prime number?
False
Suppose -53*j = -39*j - 15974. Is j prime?
False
Is 2610 - (1 - (-10)/1) composite?
True
Suppose 2*d + 23263 + 12764 = 3*c, 3*c = -2*d + 36015. Is c a prime number?
True
Suppose -5*z + 4*z + 4*s = -2, -2*z + 2*s = -4. Suppose -11776 = -4*h - 8*b + 4*b, 0 = 3*h - z*b - 8807. Is h composite?
False
Let g be ((-9)/6 - -5)/((-3)/(-6)). Suppose -4*q = -g*p + 2*p - 3371, -q = -4*p - 851. Is q a prime number?
True
Let x be ((-9)/(-6))/((-1)/6). Let b(t) be the second derivative of t**5/20 + t**4 + 7*t**3/6 + 11*t**2/2 + 3*t. Is b(x) a prime number?
True
Is ((-3147)/(-4))/((-32)/(-128)) a composite number?
True
Let z(o) = 1342*o - 55. Is z(17) composite?
True
Let q(g) = -2. Let o(d) = 93*d - 7. Let i(c) = o(c) - 6*q(c). Is i(22) a composite number?
True
Let i = -2328 + 10967. Is i a composite number?
True
Suppose -10850 = -47*z + 42*z. Suppose -r = -3*r - 4*h + z, 5*h = 3*r - 3266. Is r prime?
True
Let k be (-35)/80*-4*(293 + 3). Let i = 195 + 166. Let s = k - i. Is s a prime number?
True
Is (2/(-4))/(12/(-50322))*4 a prime number?
True
Let i(d) be the second derivative of 11*d**4/12 - d**2/2 - 10*d. Is i(5) a composite number?
True
Let j = 28523 + -18916. Is j prime?
False
Suppose -2 = 2*r - 14. Let l be (-16)/r*(-21)/14. Is -2*((-154)/l - 1) a composite number?
False
Suppose 4*z - 3*q = 40, -12 = -5*z - 5*q + 3. Let u(f) = f**3 + 4*f**2 - f + 9. Is u(z) prime?
True
Let q be ((-22)/33)/(1/(-72)). Let b = 134 - q. Is b a composite number?
True
Let w = 3560 + -2194. Let z = w - 793. Is z composite?
True
Let v(t) = t**3 - 6*t**2 - 6*t - 7. Let i = -18 + 25. Let u be v(i). Suppose 2*x + 879 = 7*x + 4*r, -x - r + 175 = u. Is x composite?
False
Let r(c) = 11*c - 18. Let v(k) = 10*k - 17. Let j(n) = 6*r(n) - 7*v(n). Suppose -5*m - 82 = -32. Is j(m) a composite number?
True
Suppose -17*y = -8*y - 19377. Is y prime?
True
Suppose -11648 = -2*i - 3*a, -3227 + 32347 = 5*i + 5*a. Let k = i - -289. Is k a composite number?
False
Is (2/(-36)*-4)/((-10)/(-132390)) a composite number?
True
Suppose 3*v + 2*v = 695. Let y(o) = o**3 - 2*o**2 + 6*o. Let t be y(6). Suppose -b = -v - t. Is b composite?
True
Let p(f) = 1179*f + 9. Let o be p(3). Suppose 4*t = -2*k + o, -4*t + 4*k - 2*k = -3566. Is t a composite number?
True
Let f = 1018 + 696. Let o(x) = x**2 - 4*x + 6. Let t be o(-6). Is f/12 + 11/t composite?
True
Let u(i) = -1273*i + 4. Let k = -52 + 51. Is u(k) prime?
True
Suppose 4*c = -16, 0 = -3*n - c + 6094 + 4129. Is n a composite number?
True
Let b be (5 - 16/4) + 4. Suppose -4*q + 0*q - s = -13556, b*q - 3*s - 16945 = 0. Is q composite?
False
Suppose 1905 = -7*l + 99646. Is l composite?
False
Is 6/(-11) + (415372/22 - 3) a prime number?
False
Suppose 4*y - 794 = -3*o, 0*y - 6 = -3*y. Suppose 2*s - o = s. Suppose -239 = -3*f + s. Is f a prime number?
True
Let k(d) be the third derivative of -5*d**4/6 + 7*d**3/6 + 16*d**2. Suppose -3*t - 7 = 11. Is k(t) a composite number?
False
Let g(m) = -5*m**2 - 109*m - 69*m**3 - 3 - 13 + 100*m. Is g(-3) prime?
False
Let x(c) = 0*c**2 - 6*c - c**2 + 1 - 7 - 3*c. Let r be x(-6). Suppose r*h - 8*h - 332 = 0. Is h a composite number?
False
Suppose 6*k - 24 = 18. Suppose 2035 = k*s - 2*s. Is s composite?
True
Let u = -67 + 75. Let q(m) = 6*m**2 + 5*m + 19. Is q(u) composite?
False
Is 115308/3 - 12/((-48)/(-20)) composite?
False
Let p(d) = -27*d + 10. Let j(z) = -z**2 - 8*z + 7. Let u be j(-9). Let w(q) = 28*q - 10. Let v(h) = u*w(h) - 3*p(h). Is v(3) composite?
True
Let p(l) be the third derivative of 35*l**4/24 + 19*l**3/6 - 9*l**2. Is p(14) prime?
True
Suppose 16*c - 109515 = 32773. Is c composite?
False
Let l = 1 + 8. Let t be (l + -6)/((-3)/(-2)). Suppose -d = c - 989, 5*d - t*c - 4953 = -5*c. Is d a composite number?
True
Suppose 3*m + 3945 = -2*m + 4*a, -4*m + 5*a - 3147 = 0. Suppose 0 = 4*l + 3*c - 4505, 2*l - 801 = -2*c + 1449. Let w = m + l. Is w a prime number?
True
Let y(t) = -42*t**3 - 3*t**2 + 5. Is y(-2) a prime number?
False
Let g = 209 - 295. Let w = -128 - g. Is 6/(-14) - 13416/w composite?
True
Suppose 4*z + z = -4*k + 6581, 4*k + z = 6561. Is k a prime number?
False
Let b be (4/18 - (-33936)/135)*10. Suppose 12*t - b = 8*t. Is t prime?
False
Let i(r) = 3*r**3 + 2*r**2 - 2*r - 1. Let s be i(5). Suppose s = 6*n - 3*n. Is n + (6/2 - 2) a composite number?
False
Let m(n) = -n**3 + 13*n**2 + 7*n + 9. Suppose 0 = -3*p - p + 20. Suppose -5*u = b - 30, -p*b - 3*u + 63 = 1. Is m(b) prime?
True
Let g = 20 + -20. Suppose 20 = 5*u, -5*w - 2*u + u + 5049 = g. Is w a prime number?
True
Let b be (2 - (-78)/(-18))*165. Let c(l) = 136*l - 4. Let y be c(-4). Let g = b - y. Is g a composite number?
False
Suppose 0 = 4*m - 2*r - 1290 - 778, -5*m - 2*r + 2576 = 0. Suppose 0*o = 2*o - m. Is o/10 - (-2)/10 prime?
False
Let m = -24 - -17. Let z = -5 - m. Suppose 1181 = z*w - 89. Is w a composite number?
True
Let g = 15 + -29. Let y be (-26)/g - 2/(-14). Suppose -y*z - z + 267 = 0. Is z a composite number?
False
Let w be (1 - -1)/((-1)/(-1736)). Let u = w + -2213. Is u a prime number?
True
Suppose 0 = -25*r + 43438 + 15537. Is r composite?
True
Let r be 3/9*0 - -2. Let o(d) = -2*d**3 - d + 2. Let j be o(r). Let w = 21 - j. Is w a prime number?
True
Let u be 60/(-84)*(-7)/1. Suppose -855 - 1300 = -u*i. Is i composite?
False
Suppose -5*a + 36983 = l, -5*l + 3*l - 2*a = -73950. Is l a prime number?
True
Suppose 451475 + 322340 = 5*k. Is k prime?
False
Suppose -14921 = -d + 4*u, 13*d + 74584 = 18*d + u. Is d composite?
True
Suppose d = 3*d - 4. Is (-3 - 11628/(-8))*d a prime number?
False
Let m = -24 + 26. Suppose -5*i = 6*o - 3*o - 1646, -4*o + 2218 = m*i. Is o composite?
False
Suppose -3*n - x = -310, 4*x - 14 = -n + 93. Let u(g) = -44*g + 4. Let v be u(-4). Suppose -3*r = -j - v, 3*j - n 