d + s*x = 6*d - 2322, -5*d + 5814 = -3*x. Suppose 0 = t - d - 937. Is t composite?
True
Let n(o) = -5*o**2 - 7*o + 26. Let r be n(4). Is (r/123)/(2/(-19299)) a prime number?
False
Suppose -9*b = -0*b - 36. Suppose -5322 = -4*h + 2*h. Suppose b*w + o - 4536 = 0, -3*w = 3*o - 750 - h. Is w a prime number?
False
Suppose 16*w = 19*w - 3. Suppose -2*o - 3 = 4*l - w, -20 = 4*o. Suppose s = -l*s - h + 47, -4*h = -4*s + 36. Is s prime?
False
Let i = 2425 - 1708. Let t = -26 + 4. Let p = i - t. Is p a prime number?
True
Let h = 25 + 14. Suppose 3*i - 39 = -h. Suppose 0 = -5*p + c + 900, i*p = 4*p - 2*c - 726. Is p a prime number?
True
Suppose -6368502 - 9780741 = -69*k. Is k prime?
False
Let m(h) = -4*h - 2. Let p be m(4). Is (-3)/(p/6) - -448 prime?
True
Let v(y) = -61*y**3 + y**2 - 2*y - 5. Suppose 7 - 19 = 6*m. Let z be (3 - (-1 - 8/m)) + -3. Is v(z) a prime number?
True
Suppose -82*h + 84*h = 4. Suppose h*v + v = -j + 1891, 4*j = 4*v + 7644. Is j a composite number?
True
Let j be 2*(4/10 + (-24)/(-40)). Suppose 3*d = -j*d + 725. Let s = d - -234. Is s a prime number?
True
Suppose -12*u = -55 - 65. Suppose 12 + 8 = u*t. Is 3/t*3554/3 a prime number?
True
Let z(s) = 27016*s**2 - 327*s - 1698. Is z(-5) a composite number?
True
Is (6 + -4 - 2 - -34655) + 8 prime?
False
Let c(w) = 1137*w**2 + 7*w - 21. Let i be c(4). Let p = i - 12828. Is p composite?
True
Let n = 173 + -171. Suppose 2*s + 2*u - 5674 = 0, 3119 = n*s + u - 2551. Is s a prime number?
True
Let r(u) = -u**2 + 5*u + 47. Let s be r(10). Is ((-79)/(-4))/(s - 785/(-260)) a prime number?
False
Suppose 62*b + 1393827 - 7826320 = -69*b. Is b a prime number?
True
Let g = 10941 + -5702. Suppose 13232 + g = 3*w. Is w a prime number?
False
Let w(m) = 7*m**2 + 134*m + 122. Let h be w(-29). Let b(i) = 53*i - 4. Let v be b(6). Let r = v + h. Is r composite?
False
Let w be (-1)/((10/1)/30). Let o(j) be the first derivative of -41*j**4/4 + 2*j**3 + j**2/2 - j + 1. Is o(w) a prime number?
False
Suppose 0*v + 5*v + 5*g - 190 = 0, 0 = 2*g + 10. Let x = 47 - v. Suppose -5*r + 721 = -x*r. Is r prime?
False
Let h be (-216)/15*(-10681 + 6). Suppose h = 12*i - 76524. Is i prime?
False
Let p = 114288 - 61561. Is p prime?
True
Let q = 2297 + 1010. Suppose -c + q + 702 = 0. Is c prime?
False
Suppose f + 4*i - 8397 - 60424 = 0, i - 344067 = -5*f. Let z = f - 17484. Is z composite?
False
Suppose 719439701 = 341*d + 201083214. Is d prime?
True
Let y(i) = -33092*i - 191. Is y(-2) a composite number?
False
Let g = 659 - 665. Let v(j) = -85*j + 163. Is v(g) a prime number?
True
Let a(q) be the second derivative of -q**5/20 + q**3/3 + 1769*q**2/2 + 6*q + 13. Is a(0) composite?
True
Suppose 4*x - 6*x = -r + 282859, 3*r - x - 848602 = 0. Is r prime?
True
Suppose -24*q + 69 = -3. Suppose b - 13732 = -q*b. Is b a composite number?
False
Suppose 0 = -0*x + x + 2792. Let j be (-52)/16 - -3 - (-111054)/24. Let p = x + j. Is p composite?
True
Suppose 566616 + 2583330 = 60*s + 410046. Is s a composite number?
True
Suppose 6 = -5*y + 31. Suppose -y*t + 5*p + 3730 = -0*p, -5*p = 15. Is t a prime number?
True
Let n = 590 + -843. Let x = n + 6416. Is x a prime number?
True
Suppose 3*b = 8149 - 313. Suppose 5*u = b + 4943. Is u composite?
False
Let l(h) = 31*h**2 + 9*h - 56. Let a be l(11). Suppose 0*f - 3*f + x + 11380 = 0, -f = -x - a. Is f a composite number?
False
Is 10 + 9 + -14 - (-54878 + -4) a prime number?
False
Let k(f) = 1690*f**2 + 8*f + 185. Is k(-12) a prime number?
False
Let s(o) be the third derivative of o**5/15 - 13*o**4/8 + o**3/2 - 9*o**2. Let q(d) be the first derivative of s(d). Is q(16) a prime number?
True
Suppose 3*u = 7*u - 42176. Let s(p) = 139*p**3 - 2*p**2 + 2*p - 2. Let n be s(3). Suppose -5*c + u - n = 0. Is c composite?
False
Suppose -15*z - 112 = -19*z. Let l = z - 25. Suppose 4*q + 2*k - 1519 = -k, -1158 = -l*q + 4*k. Is q composite?
True
Let b(i) = -27*i + 2068. Is b(49) a prime number?
False
Let j = 447937 - 247580. Is j composite?
False
Let x(v) = -v**3 - 11*v**2 - 10*v + 12. Let r be x(-10). Suppose -4*t + 8*t = 180. Is 3*6033/t - r/(-15) a prime number?
False
Let z(b) = -8874*b - 20. Let n be z(-4). Suppose 0 = -17*r + n - 3159. Is r composite?
False
Suppose -16241230 - 35522724 = -192*f + 4517582. Is f composite?
True
Suppose 0 = 2*s + 4*v + 1106, 2*s = -s + 5*v - 1703. Is (-1808169)/s - (-2)/(-17) a prime number?
False
Suppose -2*i = -4*g + 212 - 36, 0 = 2*g - 4*i - 100. Suppose -4*y = 3*a - 52913, -13233 = 41*y - g*y + 4*a. Is y a prime number?
True
Let p be 3*(1395 + -3)/(-4). Let n = 2037 + p. Is n prime?
False
Let t(a) = -a**3 + 14*a**2 + 19*a - 17. Suppose 15*m - 16*m = 0. Suppose m = -i - 5, 0*s + 2*i = 4*s - 58. Is t(s) a composite number?
False
Let o(d) = 89*d - 95. Let p(s) = -1. Let m(a) = o(a) - 4*p(a). Is m(6) a prime number?
True
Suppose 0 = 363*i - 356*i - 7409521. Is i composite?
False
Let w = 193993 + 343846. Is w a prime number?
False
Let c = 78 - 102. Let a = c - -24. Is 811 + -1 + (a - 1) a prime number?
True
Suppose 2*m - 7*m + 45 = 0. Suppose 5*r - 5354 = 2786. Suppose m*g = 5*g + r. Is g a prime number?
False
Is (9 - (-4945096)/17) + 6 prime?
False
Suppose -4 = -b - 1. Suppose 2*z = b*z - 6*z. Suppose -2*d + 392 + 386 = z. Is d composite?
False
Let t(u) be the first derivative of -u**4/4 + 9*u**3 + 3*u**2 - 5*u - 459. Suppose -2*f + 6*f = -4*j + 24, -3*f = 6. Is t(j) prime?
True
Is 519768/20 - (-4)/6*(-216)/(-240) a composite number?
True
Suppose -2*i + 3*c + 7028 = 0, -c = -4*i - 3*c + 14056. Suppose 2*m = 16*m - i. Is m a composite number?
False
Suppose -m - 1 = 0, 2282 = -2*z - 2*m - 0*m. Let r = -661 - z. Is r composite?
False
Let y(i) = 201*i - 1. Suppose -13 = 9*v + 4*v. Let a be y(v). Let k = a - -393. Is k a prime number?
True
Let j(d) be the second derivative of d**3/6 + 27*d**2/2 - 7*d. Let q be j(-18). Suppose q*p - 5*p - 1028 = 0. Is p a prime number?
True
Suppose 14*q + 65328 = 8*q. Let p = 27389 + q. Let l = p - 11064. Is l prime?
True
Suppose 14 = 4*b + 2. Suppose 4*q - 4964 = 2*h + 3*h, b*q + h - 3704 = 0. Suppose 598 = 14*v - q. Is v a prime number?
True
Let u(p) be the second derivative of -p**5/2 + 5*p**4/3 + 8*p**3 - 15*p**2/2 + 98*p. Is u(-11) a prime number?
True
Is ((-112)/1008)/((-2)/1212102) a prime number?
True
Suppose 3 = -17*w + 18*w. Suppose -65370 = -5*y - w*n - 21640, -3*y + 4*n + 26209 = 0. Is y composite?
True
Let y = 40 - 25. Let z be -3 - (2*y - 3). Is (z/12 - -2)/(1/(-3122)) composite?
True
Let u = -7289 - -22434. Let n = u + -7476. Is n a composite number?
False
Suppose 11*a + 15*a - 21*a - 374995 = 0. Is a composite?
True
Let d = -256 - -491. Let f = d - -192. Is f a composite number?
True
Let x be -2 + 3743 + 7 + -10. Let r = 7991 - x. Is r prime?
True
Suppose 108*t + 1338117 = 165*t - 920736. Is t composite?
True
Suppose -215 - 245 = -5*i + a, -2*i = -4*a - 166. Suppose 70*c = 69*c + i. Is c a prime number?
False
Let i(z) = 2*z**3 - 3*z**2 + 2. Let y be i(2). Suppose 0 = 5*r + 4*f - 18 + y, -14 = -r + 5*f. Suppose r*c - 299 = 9. Is c a prime number?
False
Let t(o) = o**3 + 11*o**2 + 3*o - 8. Suppose -5*z - r + 4*r = 20, 0 = -5*z - 4*r + 15. Let v be 0 + (5 - 0)/z. Is t(v) a prime number?
True
Let u(g) = -66 - 46 + 72 + 417*g. Is u(11) a composite number?
False
Let n be (-3 - 5910/(-42)) + 2/7. Is (121 + -3)/(12/n) a prime number?
False
Let g = -2195 + 6829. Suppose -11*a = 3*a - g. Is a composite?
False
Let w(y) = 66*y**2 - 80*y - 1181. Is w(-20) prime?
False
Suppose -3*f - k - 5273 = 1838, 5*k + 7115 = -3*f. Let n = f + 4217. Is n a prime number?
True
Let w(q) = 180*q**2 - 19*q - 17. Let f be w(-7). Let m = f - 5175. Is m a prime number?
True
Let s = 144619 + -92484. Is s a composite number?
True
Let y = -2669 - -4904. Suppose 0 = b - 10036 + y. Is b a composite number?
True
Let d = 967 - 965. Is (-1)/d*(-4 - 5544 - -14) prime?
True
Suppose -4*a = -4*x, 0 = 4*a - 2*x - 1 - 1. Let d = a - -5. Suppose 11*w = d*w + 2435. Is w a prime number?
True
Let t = 18 - -21. Let n(g) = 20*g - 14 + t*g - 20 + 14*g. Is n(11) prime?
True
Suppose 0 = -12*n + 28*n - 4392014 - 659906. Is n composite?
True
Let w = -3 + -7. Let d = w + 14. Suppose -595 = -d*n - 3*n. Is n a composite number?
True
Let m(d) = -d**3 - 4*d**2 - 3*d - 7. Let n be m(-4). Let 