*z + n + 894 = -z. Is z composite?
False
Let q(b) be the third derivative of 19*b**6/720 + b**5/24 + b**4/4 + 2*b**2. Let z(l) be the second derivative of q(l). Is z(8) a prime number?
True
Let f(u) = 41*u**2 - 89*u + 137. Is f(-43) a composite number?
True
Let f = 15497 + -7128. Is f a prime number?
True
Let j be 3 - 1 - 0 - -3. Let h(a) = -a**3 + 4*a**2 + 7*a - 6. Let l be h(j). Suppose 0 = -l*t + 8*t - 1572. Is t a prime number?
False
Suppose 5 + 76 = -3*i. Let b = 7 + i. Let d(c) = c**2 + 14*c - 2. Is d(b) a prime number?
False
Let s(b) = 3*b**2 - 3*b - 15. Let c(w) = -7*w**2 + 5*w + 31. Let d(y) = -4*c(y) - 9*s(y). Is d(-8) a composite number?
False
Let v be ((-12)/(-4))/((-6)/116). Suppose -5*g + 198 + 307 = 0. Let p = g - v. Is p prime?
False
Let b be ((-5)/(-10))/(2/1264). Suppose 2*g + 2*g = -b. Let y = g - -192. Is y prime?
True
Let p = -1014 + 4012. Suppose p + 2154 = 4*o. Let h = 2555 - o. Is h a prime number?
False
Suppose -2*l = -4*l + 24. Let w = -12 + l. Suppose -4*k - k + 515 = w. Is k prime?
True
Suppose -70401 = -4*d - 3*j, -3*d = 6*j + 6279 - 59076. Is d composite?
True
Let f be 16*(-25)/(-2) - 0. Suppose -2*o - 3*h - 478 = -3*o, 0 = -5*o + h + 2460. Let t = o - f. Is t a prime number?
True
Let w(t) = t + 16. Let k be w(-7). Suppose -3 = -3*v + k. Suppose 118 = 2*c - 4*h, -2*c = -v*h - h - 121. Is c a prime number?
True
Let b(n) = -n**3 - 9*n**2 + 7*n - 1. Suppose 0 = -3*x - 40 + 13. Let v be b(x). Let c = v - -241. Is c a composite number?
True
Suppose -15 = -3*u + 5*t, -5*t = 3*u - 0*t - 15. Suppose 2*l - 1014 = w - u*w, -5*l = 3*w - 2500. Is l composite?
True
Let t(j) = -3*j**3 + 23*j**2 + 36*j + 53. Is t(-25) composite?
True
Let l = -439 - -1416. Is l composite?
False
Let n(g) = 4*g - 5 + 2*g**2 + 6*g - g**2 - 3*g. Let u be n(-7). Is 2/u + (-2142)/(-30) composite?
False
Let h be ((-2)/6)/((-4)/12). Let w be (-1 + h/2)*-218. Let j = w - -48. Is j a prime number?
True
Suppose -70 = -b - 2*o, -421 + 19 = -5*b + 3*o. Suppose 4*h - 1510 = b. Is h a prime number?
True
Suppose -c + 1077 = 2*g, 5*g = 2*c + 3*c + 2670. Suppose -2*a = a - 5*f - 868, 5*f - g = -2*a. Suppose 0 = 2*d - a - 85. Is d prime?
False
Suppose 0 = -0*x - 5*x. Let d(w) = 5 + x - 3 + 13*w + 2*w. Is d(3) a composite number?
False
Suppose 2*l - 3095161 = -35*l. Is l composite?
False
Let y(u) = 18*u + 5. Let k(i) = -37*i - 10. Let b(r) = 2*k(r) + 5*y(r). Let a(t) = 8*t**3 + 2*t**2 - 1. Let l be a(1). Is b(l) a prime number?
True
Let k = 14652 - 10085. Is k prime?
True
Let p be (-168)/(-35) + 2/10. Suppose 2*n - 15 = -w - 4, p*w = 4*n - 1. Is n/6*(-8082)/(-12) a prime number?
True
Suppose 5*x = 7347 + 368. Is x composite?
False
Let c(y) = -2*y**2 - 46*y + 19. Suppose -4*f - 108 = 2*r - 24, -r - 2 = 0. Is c(f) composite?
False
Let m(w) = -2*w**3 - 14*w**2 + 12*w - 1. Let p be m(-12). Let a = p - 873. Is a a prime number?
False
Suppose -9288 + 1176 = -3*d - 3*b, -8102 = -3*d - b. Is d prime?
True
Suppose 4*r - r = -u + 21240, 4*u = -r + 7091. Is r prime?
True
Is -6 + -1 - (-1142 + 62) composite?
True
Suppose 5*g - 14*g = -359487. Is g composite?
True
Suppose -4*u - 7 - 1 = -3*w, -5*u = -2*w + 3. Let m be w - 3 - (-2)/(-2). Suppose 4*v - 411 - 209 = m. Is v prime?
False
Suppose 187 = 5*r - 2*y, r - 3*r + 69 = 5*y. Is r a prime number?
True
Let c(r) = -r**2 + 26*r - 4. Let o be -9*((-4)/2 + 1). Is c(o) a prime number?
True
Let f(u) be the third derivative of u**5/10 + 3*u**4/8 - u**3/3 + 6*u**2. Is f(7) prime?
False
Let z(j) = 398*j**3 - 2*j + 1. Let o be (-2)/12 + 610/60. Let f = -9 + o. Is z(f) a composite number?
False
Suppose -3223 = -y + 4*x, -5274 + 18238 = 4*y + 2*x. Is y a composite number?
True
Let w = 25 + 26. Suppose 2*m - 223 + w = 3*t, -t = -2. Is m a composite number?
False
Let k(q) = q**2 + 20*q - 38. Let a be k(-22). Let h(n) = 3*n**3 + 5*n**2 + 4*n - 1. Is h(a) a composite number?
True
Let i be (-3)/(-7) + (-10516)/(-28). Let u = i + -175. Is u composite?
True
Suppose 4*r - 67656 = y - 0*y, -r + 16909 = y. Is r a prime number?
False
Is ((-8)/(-20) - 45257/(-20))*4 a composite number?
True
Suppose 8 = -5*v - 102. Let w(f) = -15*f + 28. Is w(v) prime?
False
Suppose 2*g - 16615 = -3*g + 3*n, 2*n = -3*g + 9950. Suppose 2*r = -3*r + g. Suppose -b + 5*i = -102, -4*i + r = 4*b + 136. Is b a prime number?
True
Is (-50782*4/(-8))/(7 - 6) a prime number?
True
Let p be 0/((3/(-6))/(1/(-2))). Suppose n - 3*n = 4, -3*i - 2*n + 2267 = p. Is i a prime number?
True
Suppose -12*v = -11*v - 11. Suppose 2217 = -v*c + 14*c. Is c a prime number?
True
Let m = -7650 + 10815. Suppose -7*p - o = -2*p - m, 3*p - 1899 = -4*o. Is p composite?
True
Is (9 + 143/(-11))*(-2302)/8 a prime number?
True
Suppose -5*n + 6423 = -41852. Is n prime?
False
Let j = 1469 - -2796. Is j prime?
False
Suppose -28*x + 56 = -21*x. Suppose -4*c + 9660 = 4*l - 5976, -4*c = -x. Is l a prime number?
True
Let b(i) be the third derivative of i**5/30 + i**4/8 - 3*i**3/2 + 3*i**2 + 6*i. Let z = 25 - 17. Is b(z) composite?
True
Let c be (3*12/(-9))/1. Suppose 2*l = -2*h - 9 - 17, 2*l - 34 = 3*h. Is c*15/h*23 prime?
False
Let p = 4828 + -3191. Is p composite?
False
Let c = 20 + -15. Suppose 8 + 7 = c*a. Suppose 8*j = a*j + 2215. Is j composite?
False
Let h(s) = s**2 - 3*s + 142. Is h(0) a composite number?
True
Let z(h) = -914*h - 1111. Is z(-30) prime?
True
Let s be ((-8)/(-5))/(1/295). Let g = s + -246. Is g a composite number?
True
Let g(m) = -m**3 - 21*m**2 + 21*m - 22. Let o be g(-22). Suppose o = 4*p + 5*s - 844, -4*p + 0*s + 844 = -s. Is p prime?
True
Suppose -17*d + 60007 = 6*d. Is d composite?
False
Suppose f - m - 6283 = -2*f, 8 = 4*m. Is f composite?
True
Let x = 259 - 500. Let u be 2026/6 - 1/(-3). Let a = x + u. Is a composite?
False
Let v(g) be the second derivative of -g**5/10 - g**4/4 - g**3/3 + g**2/2 - 4*g. Let d be (2 + 9/(-6))*-12. Is v(d) a composite number?
False
Let c = 7770 + 38081. Is c prime?
False
Let i(y) = 51*y + 3. Suppose -10*s - 42 = -7*s. Let u = -8 - s. Is i(u) prime?
False
Suppose t + 0*t - 3*n = 1, -t - 19 = 2*n. Let f be 14/77 - 42/t. Suppose -516 = -f*r + 296. Is r a composite number?
True
Let y(f) = f**2 - 14. Let h be y(-7). Let x = h + -29. Is (-4)/(-24) - (-1601)/x prime?
False
Suppose 2*d - 5*p - 19 = 0, -2*d + 4*p - 5*p - 11 = 0. Let o(j) = -2 - 3*j - 10*j**3 + 0*j - 2*j**2 + 4. Is o(d) prime?
True
Suppose v - 21564 = -3*k, 2 - 14 = -4*v. Is k a composite number?
False
Suppose -3*y - f + 47710 = 0, -2*y + 0*f = 4*f - 31790. Is y a composite number?
True
Suppose 11*w - 8*w + 3*y = 3114, w + 4*y = 1035. Is w a prime number?
True
Let q = -9 - 7. Let l be 4/12*-3 - q. Suppose -l = -t + 112. Is t a prime number?
True
Suppose 2*t = 10*x - 9*x - 5269, -2*x - 4*t = -10554. Is x composite?
False
Suppose 0 = -3*n - 2*a + 14269, -5*n - 2*a = -4*n - 4751. Is n composite?
False
Suppose 0 = -3*l - 0*l - 5*c - 4, 0 = 4*l + 4*c. Suppose 64 = l*s - t + 2*t, -t - 60 = -2*s. Let h = s + -16. Is h prime?
False
Let w(n) = -n**3 + 2*n**2 - 13*n - 11. Let x be w(-6). Suppose 7*l - x = 6*l. Is l a composite number?
True
Let f be 8 - (-10 + 10 + 1 + 1). Is (8/(-3))/(-4) - (-110)/f composite?
False
Let v = 3842 + -9980. Let o = -2345 - v. Is o a composite number?
False
Suppose 11*z - 46109 = 246656. Is z a prime number?
False
Let l = 4049 - -1022. Is l a prime number?
False
Is (-1 + (-66942)/12)/(2/(-4)) composite?
False
Let u(q) be the second derivative of 2*q**3/3 - 3*q**2/2 - 4*q. Is u(4) a prime number?
True
Let q = 27462 + -11279. Is q a composite number?
False
Suppose -3*k - 103 = -13825. Is k a composite number?
True
Suppose h - 2*a = 15180, a - 5*a + 4 = 0. Let s = h - 10777. Is s prime?
False
Is -1*(-5 + (-7574)/7)*23 composite?
True
Let a(o) = -88*o + 14. Let p be a(-6). Let j = 3121 - p. Is j composite?
False
Let u(x) be the first derivative of 5*x**3/3 + 3*x**2/2 + 4*x - 3. Is u(-6) a composite number?
True
Suppose 7 - 4 = 3*p + 3*u, -4*u = 3*p - 3. Let h be (-141)/(p/(-2)*1). Suppose 387 = 4*w + 4*l + l, -h = -3*w - l. Is w a prime number?
False
Let b be 5*1087*(10/2 + -4). Suppose 7*x - 2*x - b = 0. Is x a composite number?
False
Let w be 1 + (-3)/(6/112). Is (-1874)/(-22) + 10/w composite?
True
Let s(m) = 649*m + 20. Is s(3) a prime number?
False
Let o(k) = 2930*k + 1. L