w + 58. Is s(-5) a prime number?
True
Let m = 517 + 195. Suppose 0 = -4*r + 6*r - m. Let p = r - 211. Is p composite?
True
Suppose 976 = 9*y - 743. Is y composite?
False
Suppose -11*w = -12*w + 2. Let r(c) = 2*c**2 - 8*c**3 - 1 - 1 - 2*c + 11*c**3. Is r(w) a composite number?
True
Let m(p) = p**3 - 14*p**2 + 2*p - 21. Let k be m(14). Let h = 178 - k. Let c = 348 - h. Is c prime?
False
Let o(j) = 287*j**2 - 3*j + 1. Let u be o(-2). Let s = u + -758. Is s composite?
False
Let y(s) be the third derivative of -s**5/12 - s**4/6 + s**3/3 - 2*s**2. Let z be y(-4). Let r = 153 + z. Is r a composite number?
True
Let k(b) = -b**3 + 6*b**2 + 3. Let g be k(6). Is (-13)/(-39)*331*g prime?
True
Let m = 61 + -113. Let y = m + 230. Is y composite?
True
Let u(z) = -331*z - 5. Let m(x) = -x**2 - 8*x - 22. Let o be m(-4). Is u(o) prime?
False
Let g be 2086/9 - (-16)/72. Let b = g - 137. Is b composite?
True
Let t be (-3)/4 + (-152)/(-32). Suppose 0 = -t*f + 2*f + 932. Is f a composite number?
True
Let i be -3*(-2)/(-27) + (-18086)/18. Is (-1)/(3/i - 0) composite?
True
Let x be (-4)/16 - 411/(-12). Let t(l) = l - 2. Let m be t(1). Is x*m/(-2)*7 a composite number?
True
Let u be 1/(-4) - 1659/(-28). Suppose -3*l - 45 = -8*l + 4*q, -4*l + 2*q = -30. Suppose l*o - 56 - u = 0. Is o composite?
False
Suppose 24 = 5*q + 144. Let x be ((-150)/q)/((-2)/(-56)). Suppose x = -2*o + 7*o. Is o composite?
True
Is (-16)/(-56) - (-363480)/56 a prime number?
True
Suppose 15 = -2*q + 2*p + 173, 5*q - 355 = -5*p. Suppose 4*r + q = o - r, -o + 39 = 4*r. Suppose -h + o + 78 = 0. Is h composite?
True
Let h(v) = 2*v**2 - 3*v + 8. Let j(c) = -c - 3. Let r be j(6). Let l = r + 2. Is h(l) a prime number?
True
Is (-9)/6 + 15/(-6) + 267 a prime number?
True
Suppose -13*v + 67709 = -66074. Is v a prime number?
False
Let n(x) = 21*x**2 - 147*x + 29. Is n(-28) a composite number?
True
Suppose -5*v - 4*y + 2*y - 2 = 0, 0 = -2*v + 2*y - 12. Is v/(-2) + 632 + -4 prime?
False
Let v = 328 + -124. Let m(b) = 181*b + v*b - 4 - 4 - 2. Is m(3) composite?
True
Let i(z) be the second derivative of 0 - 4/3*z**3 + 4*z + 1/3*z**4 - 9/2*z**2. Is i(7) prime?
True
Is (-33)/55 + (-313232)/(-20) a prime number?
True
Let p(m) = -m**2 - 4*m + 5. Let n be p(-5). Let l(d) = -2*d + 7. Let y be l(5). Is -69*(n + 1)/y a composite number?
False
Suppose -2 = 2*t - 6. Suppose 0 = t*o - h - 251, 2*h - 622 = -5*o - h. Let q = 234 + o. Is q a prime number?
True
Suppose 4*f - 3*m - 5 = 0, 2*f = 2*m - m + 1. Let l be (382/4)/(1/(-2)). Is (-2 - 1/f)*l composite?
False
Is 13/(117/36) + 1363/1 prime?
True
Suppose -2244*h + 2235*h = -16623. Is h a composite number?
False
Let o(u) = u**3 - 23*u**2 + 2*u - 4. Let l be o(24). Let p = -403 + l. Is p a composite number?
True
Suppose 12*v - 15*v - 6 = 0, 0 = 2*o + 5*v - 15952. Let u = -984 + o. Is u prime?
True
Is (8 + (44 - 8))*37/4 prime?
False
Suppose -4*r + f + 2*f = -5149, -2*f - 1281 = -r. Is r prime?
True
Let w(t) = 5206*t**2 + 17*t + 50. Is w(-3) a prime number?
True
Suppose -7*p + 992 = -6*p. Suppose -3*c + 7*c - v - p = 0, -v + 1231 = 5*c. Is c a composite number?
True
Let x(v) = -v**2 - 10*v - 6. Let w be x(-7). Suppose -10*l = -w*l + 1255. Is l a prime number?
True
Let y(s) = -s**3 - 6*s**2 - 3*s - 1. Let o be y(-5). Let i = o - -15. Suppose -5*h - i*v = -643, 0 = -3*h - 2*v - 0*v + 385. Is h a prime number?
True
Suppose -12*g = -11*g + 2724. Is (g/15)/((-18)/45) composite?
True
Let g = 531 - -158. Is g a prime number?
False
Let j(z) = -9*z + 61. Let v be j(8). Let k(a) = -2*a**3 - 16*a**2 - 25*a - 10. Is k(v) prime?
True
Suppose 0 = -6*q + 8*q - 286. Is q a prime number?
False
Let o = 30 + -28. Suppose -3*j = o*j - 1445. Suppose -285 = -2*g + j. Is g a prime number?
False
Suppose 734 = -15*g + 17*g. Is g a prime number?
True
Suppose -4810 = -3*o + 14753. Is o prime?
True
Let i = -136 - -84. Is (-1*i/3)/(4/6) composite?
True
Let w(g) = 7 + 4 - 71*g - 6. Let d be w(2). Let o = -84 - d. Is o composite?
False
Suppose -60767 = -13*x + 95168. Is x prime?
False
Let w(v) = -v**2 + 15*v - 2. Let m(b) = 6*b**2 + 7*b + 5. Let c be m(-2). Let d be w(c). Is 4/(-12)*6366/d prime?
True
Is 23 - -7471 - (-3)/12*-4 a prime number?
False
Suppose 1 = -2*p + x, -4*x = 3*p - 8 - 18. Let l be (4 + -3 + 6)*p. Let m(j) = j**3 - 13*j**2 - 7*j - 11. Is m(l) prime?
False
Let j = 21 + -11. Suppose 0 = 2*b - b - j. Suppose 5*n = 4*c + 417, -5*c + b = -0. Is n composite?
True
Let k be (-1 - 0)/((-3)/69). Let u(s) = -1 - 8 - k*s - 2. Is u(-6) composite?
False
Let p(c) = -c**2 - 10*c + 1. Let a be p(-10). Let v = a + 40. Let r = v + -18. Is r a composite number?
False
Let j be (6/(-10) - 0)*(-6 - -1). Suppose -5477 = -4*v + 2*t + 1295, j*t + 3386 = 2*v. Is v a prime number?
True
Is (-25)/125 + (-36)/(-5) a prime number?
True
Let x(p) = -2*p - 6 + 1 + 4 + 50*p**3 + 2. Is x(2) prime?
True
Suppose -92*p + 4840 = s - 89*p, -2*s + p + 9715 = 0. Is s composite?
True
Suppose -7*j - 2 = -9*j. Is (-46)/4*(j + (-12)/4) a composite number?
False
Suppose o - 2*a = 1, -o + a - 1 + 5 = 0. Let p(k) = k**3 - 7*k**2 + 3*k + 14. Is p(o) prime?
False
Suppose 4*h = -2*h - 1386. Let x = h + 340. Is x a prime number?
True
Suppose 592 = -2*t + 10*t. Suppose 5*c + 156 = 1401. Suppose t = -5*d + c. Is d a composite number?
True
Suppose -j - 4*t + 1957 = 0, 0 = -j - j + 2*t + 3964. Let y = j + -608. Is y a composite number?
True
Let q(h) = 3*h**3 + 8*h**2 + 5*h - 11. Let n be q(8). Suppose n - 199 = 3*i. Suppose i = b - a, 5*a - 656 = -b - 0*a. Is b a prime number?
True
Suppose 3*b - 10 = 2*j, 0*j = -3*b + 3*j + 15. Suppose b = -4*s - 45 + 161. Suppose f - s = 102. Is f prime?
True
Let t = 25 - 41. Let w be t/(-6) - 12/18. Suppose 4*x + 5*r = 325, w*r - 2 = -8. Is x composite?
True
Let f be 3*6/(-45)*-15. Is -1413*1*(-2)/f a composite number?
True
Let f(s) = s**3 - 10*s**2 + 8*s + 12. Suppose 0 = -5*h - 2*n + 32 + 7, 54 = 5*h - 3*n. Let j be f(h). Is 147 + (-3)/(j/(-2)) prime?
True
Let w = -10 - -12. Let h be w - -1 - (-3 - -4). Suppose i = 4*i + g - 93, -62 = -h*i + 5*g. Is i composite?
False
Let x be 1/4 - (-3)/(-12). Let m(r) = -r**3 + 12*r**2 - 2*r + 35. Let g be m(12). Suppose x = k - g + 1. Is k prime?
False
Let l(c) = -2154*c + 9. Let b be l(-5). Suppose -3*q + 6455 = -5*j, -b = -5*q - 3*j + j. Is q a composite number?
True
Let m = 1559 - -1406. Is m prime?
False
Let g(c) = -1650*c + 119. Is g(-21) a prime number?
False
Let k(z) = 3*z**2 + 4*z - 89. Let y(c) = -3*c + 2*c + 0*c + 2*c + c**2 + 1. Let u(a) = -k(a) + 4*y(a). Is u(0) prime?
False
Let g(r) = 30*r**2 + 7*r - 12. Is g(-7) a composite number?
False
Is 0 + (-36)/(-48) + 42002/8 prime?
False
Suppose y = -3*y. Is -1243*((-3)/(-3) - (y - -2)) prime?
False
Let i be 2 - 0 - (-18)/1. Suppose 16*d = i*d - 8588. Is d a composite number?
True
Let l be ((-1)/3)/(8/(-24)). Let j(a) = 2*a. Let b be j(l). Suppose -186 = -0*k - b*k. Is k a composite number?
True
Suppose -9529 = -5*u - 4*k, -3814 = -0*u - 2*u - 4*k. Suppose -p + 0*j = 3*j - 635, 3*p - u = 3*j. Is p a composite number?
True
Suppose 346*j + 34022 = 348*j. Is j composite?
False
Is (-4)/(12/(-8685)) + (-8 - -12) composite?
True
Let y = 1338 - 887. Is y a composite number?
True
Let m be (-1 + -4)*(-1 + -1 + 0). Let z(n) = 11*n**2 - 13*n - 15. Is z(m) prime?
False
Is ((-1065)/360*-8)/((-1)/(-1059)) composite?
True
Let m = -7277 - -14016. Is m a composite number?
True
Let i be ((-1)/(-2))/((-7)/2016). Let t = 1097 + i. Is t a prime number?
True
Suppose 0 = -3*o - 5*v - 35, -3*v + 14 = -2*o - 4*v. Let n be 20/(-50) - 22/o. Suppose -r - n*p = -64 + 15, 5*p + 49 = r. Is r composite?
True
Let k = 93405 - -53486. Is k composite?
False
Let b = 2519 + 90. Is b a prime number?
True
Let m be (-21)/7 + 11 + -1. Let z = -3 + m. Suppose z*p - 2*p - 61 = -a, 104 = 2*a - 2*p. Is a composite?
True
Let z = 34 - 25. Let q be (1016/(-6))/((-6)/z). Is (2 - 7)*q/(-10) a prime number?
True
Suppose 131 = 3*w - 2170. Is w prime?
False
Let p(n) be the second derivative of -n**8/1344 + n**7/1260 - n**5/30 + n**4/6 + 4*n. Let i(d) be the third derivative of p(d). Is i(-3) a prime number?
True
Let b = 989 - -283. Let j = b - 581. Is j prime?
True
Let t be 15 - (3 + -2 + 0). Suppose -5*m - 64 + t = 4*f, 3*m - 2 = 4*f. Is (-6590)/m + 8/12 prime?
F