2. Let i be s(-5). Let r = i + 73. Is r prime?
False
Let t(d) be the second derivative of d**4/4 + 7*d**3/6 + 7*d**2/2 - 2*d. Is t(-5) composite?
False
Let c be (9/6)/((-15)/20). Is (7 + -8)/(c/538) composite?
False
Suppose -3*w - 4*z = -0*z - 543, -3*w + z + 558 = 0. Is w composite?
True
Let c = -49 + 444. Is c a composite number?
True
Let z(p) = 3*p**2 + 6*p - 9. Let x be z(-8). Suppose -t - 3*t = 2*n - 100, -5*t = 5*n - x. Is t prime?
True
Suppose 0 = -3*p + 2*p + 5*c + 573, -1739 = -3*p + 5*c. Is p a prime number?
False
Let o be -3 + 2 - -158 - -2. Suppose -3*j + 5*s = -o, j + 0*s + 5*s - 33 = 0. Suppose -77 - j = -5*d. Is d composite?
True
Suppose -4*q + 891 = c, 5704 - 1233 = 5*c + 4*q. Is c a prime number?
False
Let i be (1 + -6)/(-1 + 0). Suppose 606 = i*g + 161. Is g prime?
True
Suppose -5*s + g = -3363, 5*g = -6*s + 3*s + 2029. Is s a prime number?
True
Is 38/(16/6 + -2) a composite number?
True
Suppose 5 = 3*k + 4*q, -3*q = 6*k - k - 1. Let m be k/((-3)/(-6))*-1. Suppose -y - 33 = -m*y. Is y composite?
True
Let u(w) = w + 5. Let i be 2/(((-3)/(-5))/(-3)). Let y be u(i). Let l = 6 - y. Is l a prime number?
True
Is (-7512)/(-4) - (0 - 5) composite?
True
Suppose 0 = 2*y - 7*y + 2435. Is y a prime number?
True
Suppose 0 = 10*w - 14*w + 724. Is w prime?
True
Is (-8)/14 - (-132671)/49 a prime number?
True
Let u(y) = -y**2 + 2*y - 1. Let r be u(1). Let g be 10 - r - 1*2. Is 4/16 + 534/g prime?
True
Suppose -23*g + 142064 = -32897. Is g prime?
True
Let w = -170 + 325. Is w composite?
True
Suppose d - 78 = -2*d. Is (d/(-4))/(1/(-2)) a composite number?
False
Suppose 2 = w - b - 1, -2*w = 4*b + 6. Let q = w - 1. Is 0 + q + 35 + -2 prime?
False
Let p = -6 - -1. Let v(s) = -48*s**2 - s - 9. Let z(b) = -24*b**2 - b - 4. Let d(a) = p*z(a) + 2*v(a). Is d(-3) a composite number?
True
Suppose -667 = -2*z + 615. Is z a composite number?
False
Let w be (20/(-15))/((-1)/3). Let y be (-1 - -82) + (w - 3). Suppose 0 = 5*q - 4*j + j - y, 4*j + 16 = 0. Is q a prime number?
False
Suppose 9*f - 7*f - 2164 = 0. Is f composite?
True
Let y be ((-1)/(-2))/(2/24). Is (876/(-12))/((-2)/y) prime?
False
Let u(x) = 4*x**2 - 5*x - 13. Is u(14) composite?
False
Suppose 0 = -3*y - 5*b + 32, -3*y - 4*b = 4 - 32. Suppose -37 = y*s + i - 244, 3*s + 4*i - 165 = 0. Is s a composite number?
True
Suppose -27 + 7 = -4*h. Suppose -h*d + 7 = -98. Is d a prime number?
False
Suppose 2*v - g - 2726 = 0, -3*g - 2700 - 34 = -2*v. Is v composite?
False
Suppose 0*t = -5*t - 20. Let x(p) = -34*p - 5. Let y be x(t). Let r = y - 78. Is r prime?
True
Let u = -798 - -1467. Suppose -u = -2*b + o, b + o - 667 = -b. Is b a prime number?
False
Suppose 0 = 5*x - 5*y - 5315, -1078 = -3*x + 2*x - 2*y. Suppose 5*h + 2515 = 4*t, -3*t + x + 857 = 4*h. Is t composite?
True
Suppose -2*d + 187 = p, -p + 3*d = -0*p - 197. Suppose 194 = 5*a - p. Is a prime?
False
Suppose -8*f + 3163 = -1533. Is f composite?
False
Let p(j) be the first derivative of 98*j**2 + j - 1. Is p(2) composite?
True
Is 173*-17*(2 + -3) a prime number?
False
Suppose -i + 186 = -h, -2*i = -0*h + 3*h - 397. Is i a prime number?
True
Suppose 3*r - 4*z - 1245 - 1786 = 0, 0 = -r + 5*z + 1014. Is r a composite number?
False
Let g(f) = -f**3 - 3*f**2 - 2*f - 1. Let a = 4 - 7. Let i be g(a). Suppose i*l - 110 = -5*h, 3 = -2*h + 3*h. Is l composite?
False
Let j = -10 + -6. Let m = 13 - -12. Let r = j + m. Is r a composite number?
True
Let j(a) = -a**3 + 11*a**2 - 11*a - 10. Let l = 21 - 12. Is j(l) composite?
False
Let z = 6905 - 2520. Is z a composite number?
True
Let q(k) = -14*k + 9. Let g(d) = -d. Let w(p) = 6*g(p) - q(p). Is w(8) a prime number?
False
Let k be 3/(-9) - 134/(-6). Let v = k - 58. Let p = v - -50. Is p prime?
False
Let t(a) = -a**3 + a**2 - a - 63. Let p be t(0). Let m = -110 - -72. Let c = m - p. Is c a prime number?
False
Let x(c) = -3*c**2 + 5 - 2 + 2*c**2 - c. Let l be 9/(9/3) - 3. Is x(l) a composite number?
False
Suppose 0 = -5*b - 0*b + 10. Suppose l - 37 = 5*p, -2*p = b*p. Is l a prime number?
True
Is (-3 - -2)/(1/(-223)) prime?
True
Let j = -139 + 206. Is j composite?
False
Let s = 142 - 63. Is s a composite number?
False
Let d(w) = 9*w**2 + 10*w + 2. Is d(-7) composite?
False
Let p(f) = 162*f - 23. Is p(11) composite?
False
Suppose -7*h = 2*h - 2583. Is h composite?
True
Let w(z) = -25*z - 1. Let c = 2 + -5. Is w(c) a prime number?
False
Let u = 53 - 38. Suppose -y + 5*d + 15 = -6*y, -5*y - u = 2*d. Is y + 3 + 0 + 79 a composite number?
False
Let s be (0 - 0/(-1)) + 0. Suppose s = -m - 5*n + 4, -4*m + 3*n + 16 = 6*n. Suppose -50 = -m*x - x. Is x composite?
True
Let o(h) = 24*h**2 - 6*h + 1. Let m(u) = 25*u**2 - 5*u + 1. Let v(w) = 6*m(w) - 5*o(w). Is v(1) composite?
False
Suppose 2*p + w = 5, -3 = 2*w + 3. Is ((-345)/(-12) - -3)*p prime?
True
Suppose -4*h + 127 = h + t, 3*h - 5*t = 93. Is h prime?
False
Let y be 1/(-3) - 3/(-9). Suppose y = -3*i - 4 + 1. Let q(j) = 23*j**2 + j + 1. Is q(i) composite?
False
Let t be (14/(-3))/(1/(-3)). Suppose -2*u - 4 = -t. Suppose 2*a - 62 = -3*c, 10*a + c = u*a + 181. Is a a prime number?
True
Let o(b) = 29*b**2 - 2*b - 4. Suppose -8*v + 7 = -4*v - 5*u, v - 4*u = -1. Is o(v) composite?
False
Let a(b) = b**3 + 2*b + 74. Let v(x) = x + 13. Let o be v(-13). Is a(o) prime?
False
Suppose 2*o - 71 = 87. Is o a composite number?
False
Let k(y) = -4*y. Let d be k(4). Let o = 25 + d. Is (228/o)/((-2)/(-3)) prime?
False
Let o(a) = 2*a**2 + 8*a + 2. Let q be 4/3*3/2. Let v = q - 8. Is o(v) prime?
False
Let w = 0 + 2. Let i be 0/2 - (-1 + -162). Suppose -v = w*v - 2*f - i, 4*f = -2*v + 98. Is v a composite number?
False
Let o be 0*(-1 + 2) + -22. Is o*(-4)/(-8)*-1 prime?
True
Let p = -23 - -25. Suppose p*k - 21 - 214 = -5*o, 2*o = 2. Is k a composite number?
True
Let a = 1212 + -694. Suppose 2*q - a + 136 = 0. Is q a prime number?
True
Suppose -a + 169 = -0*a. Is a a composite number?
True
Let o = 1056 - 218. Is o a composite number?
True
Let b(w) = 18*w - 25. Is b(5) a prime number?
False
Suppose -h - 2*h + 6 = 0. Suppose -3*q = -h*q - 239. Suppose 2*f = q - 81. Is f a prime number?
True
Let g(z) = z**2 + 5*z + 5. Let h be g(-4). Suppose -8 = -2*o, -m + h = -5*o + 4*o. Suppose 0 = -0*q - m*q + 75. Is q a prime number?
False
Suppose -8*r - 1125 = -3*r. Let j = r - -556. Is j prime?
True
Let o = -552 - -273. Let d be 1/(-2) + o/6. Let x = 38 - d. Is x a prime number?
False
Let b(p) = 23*p**2 + 9*p - 3. Is b(-5) a prime number?
False
Let c = -5 + 9. Let z = 8 - c. Suppose -z*h + 2*q = -476, 0 = -h - 4*q + 140 - 21. Is h prime?
False
Let a(z) = -z**2 - 9*z + 9. Suppose -k = -4 - 0. Let t be k/10 + (-259)/35. Is a(t) prime?
True
Is 2/((-7821)/(-1563) - 5) prime?
True
Let a(b) = b**3 - 8*b + 4. Let m(q) = -q**3 + 6*q**2 + q - 8. Let k be m(6). Let f be (k/2*5)/(-1). Is a(f) prime?
True
Let b(f) = -f - 5. Let m be b(-4). Let r(q) = 6*q**2. Is r(m) a composite number?
True
Suppose -4*p + 345 + 115 = 0. Is p a composite number?
True
Suppose 0*n = -3*n + 5*u + 630, 5*n = -5*u + 1090. Is n composite?
True
Suppose 3*z + 5 = 4*r - 9, 0 = 2*r - 2*z - 8. Suppose 2*u + r*u = 0. Suppose -3*x + 147 = y + 2*y, u = 5*y - x - 257. Is y a composite number?
True
Suppose 815 = -0*o + 5*o. Is o composite?
False
Suppose 3*j + 2*g + 34 = 0, j - 4*g + 0 = 12. Let p = 6 - j. Is p a composite number?
True
Let f = 0 + -2. Let y be -2 - (1 + -1 + f). Suppose 47 = -y*i + i. Is i composite?
False
Let o(d) = -4*d - 2. Let g be o(-2). Let j = 194 - 136. Suppose 5*z + 5 = 0, -g = -5*u - z + j. Is u prime?
True
Suppose -635 = -2*o + 447. Is o prime?
True
Let d(v) be the third derivative of v**5/60 + 79*v**3/6 + 4*v**2. Is d(0) prime?
True
Let a be (-1)/(-2)*(-2 + 8). Let t(j) = 13*j**2 + 5*j - 5. Is t(a) a prime number?
True
Suppose -2*g + 5*g = 15. Suppose -2*b - g*j = -852, 856 = 2*b + 4*j - j. Is b a prime number?
True
Suppose -l - 3*l = -356. Is l composite?
False
Let o = -10 + 1. Is 2*o/6*-127 composite?
True
Let b = -365 - -213. Let w = 54 - 119. Let x = w - b. Is x a composite number?
True
Suppose 2*y - 28 = -4*z - y, 0 = 2*y. Is z a prime number?
True
Suppose 0 = 5*i - 4*f - 495, -3*i = 4*f - 77 - 188. Is i a composite number?
True
Let g(l) = l - 2. Let b be g(6). Suppose 8*o - b*o = 220. Is o prime?
False
Let j(z)