. Is 2/u - (-2328)/28 a prime number?
True
Let w(y) = 2*y - 3 - y + 0 + 3*y**2. Let u(g) = -3*g - 2. Let o be u(-2). Is w(o) a composite number?
True
Let p(k) = -4*k**2 - 1. Suppose 4*m + 2 = 6. Let z be p(m). Is (z + -1)*20/(-8) prime?
False
Let s = -4 - -4. Suppose b + 23 = -5*w - 0*b, w - b + 1 = s. Let i = w + 25. Is i prime?
False
Is 1035/4 - 22/(-88) prime?
False
Let b(n) = 39*n**2 - 4*n - 15. Let a(x) = -19*x**2 + 2*x + 7. Let g(r) = -13*a(r) - 6*b(r). Is g(2) composite?
False
Let m(s) be the first derivative of -s**4/4 - 7*s**3/3 + s**2 - 3*s + 2. Is m(-9) a composite number?
True
Let q = 415 + -258. Is q a prime number?
True
Suppose 0 = -2*p + 142 + 124. Is p composite?
True
Let g be (306/(-8))/(4/16). Is 4/(-14) + g/(-21) a prime number?
True
Let l(i) be the first derivative of 16*i**2 - 5*i + 1. Is l(8) a composite number?
False
Is (516/8 - 1)*2 composite?
False
Suppose -2*h + 1623 = h - 3*k, h + 2*k - 541 = 0. Is h composite?
False
Let a be 266 + 2/2*-2. Suppose -2*t + 272 = -3*w, -6*t = -4*t + w - a. Is t a composite number?
True
Suppose 2*l - 5*v = -5, 0 = -4*l - 0*l - v + 1. Suppose l = w + w - 42. Is w a composite number?
True
Let f be (-7 + 2)*(2 + -1). Let n be f/((-30)/(-63))*-2. Suppose 4*g + 4 = 0, -4*g - 5 = -t + n. Is t a prime number?
False
Let u = -10 - -15. Let p = u + 46. Is p prime?
False
Suppose 3*i - x - 555 = 2*x, 370 = 2*i + 3*x. Is i a prime number?
False
Let r(g) = -g**2 + g - 1. Let v be r(0). Let n = 6 - v. Is n prime?
True
Suppose -3*r + 5*o = -661, 2*r - 163 = -4*o + 241. Suppose t + t = r. Is t composite?
True
Let o = 11 + -8. Suppose -b - o*l + 0*l + 99 = 0, -5*b - l + 467 = 0. Is b composite?
True
Let t(i) = -34*i + 9. Is t(-4) composite?
True
Suppose c - 29 = 57. Suppose 3*y + c - 233 = 0. Is y composite?
True
Let p = -21 + -3. Is 940/6 - 8/p composite?
False
Let s(o) = 193*o**2 + 4*o + 2. Let g be s(-2). Let v = g + -429. Suppose 0 = 3*t + 46 - v. Is t a composite number?
False
Suppose -4*a = -2*f - 0*f + 42, -25 = -f + a. Let d = -2 - f. Let o = -8 - d. Is o a prime number?
True
Is 4/(-6)*156/(-8) composite?
False
Let x(w) = 3*w**2 - 2*w - 3. Let m be (-4)/(-16) + (-15)/(-4). Is x(m) a prime number?
True
Let a(q) = q**3 + 6*q**2 - 9*q - 1. Let s(t) = 3*t + 6. Let k be s(-4). Is a(k) prime?
True
Let r(d) = 14*d - 2. Let b(t) = -28*t + 5. Let c(z) = 3*b(z) + 7*r(z). Let q be 1/((-3)/(-3) - 0). Is c(q) a composite number?
True
Let m = 1390 + -353. Is m a prime number?
False
Suppose -8*g = -2*g - 3426. Is g a composite number?
False
Let o = -9 - -5. Let w be (9/o)/(3/84). Let g = w - -110. Is g composite?
False
Let c(s) be the first derivative of -11*s**6/40 + s**5/60 + s**4/24 + s**2/2 - 2. Let y(q) be the second derivative of c(q). Is y(-1) a composite number?
True
Let g = 19 + 144. Is g composite?
False
Let a be 10/(-4)*(-24)/15. Suppose a*x + 4 = 0, 3*x - 16 + 73 = -3*o. Let h = o + 29. Is h a composite number?
False
Let i = 4870 + -2657. Is i a prime number?
True
Let i(f) be the third derivative of -f**4/6 + 7*f**3/6 + 4*f**2. Is i(-7) a composite number?
True
Let p(o) = 832*o**3 - o**2 - 2*o + 2. Is p(1) composite?
True
Suppose -2*q + 5*q - 3 = 2*y, -2*y - 9 = -5*q. Let i be 1*y/(-6)*0. Suppose i = u - 26 - 9. Is u a composite number?
True
Let o(q) be the third derivative of q**4/24 + 209*q**3/6 - 3*q**2. Is o(0) a prime number?
False
Suppose 9*n = 4*n. Let o = n + 2. Suppose k + 34 + 177 = 4*u, 0 = o*u - k - 105. Is u prime?
True
Suppose -4*p + 0*p = 0. Let j be p + (-3 - -4) - -1. Is 36 + 0 + -1 + j composite?
False
Suppose 0 = -3*u + 3, -5*o + 4*u - 8 - 11 = 0. Is (-445)/o + (-10)/(-15) a prime number?
True
Suppose -4*n = -2*v + 28, -5*n - 4*v = -1 + 23. Let w be 2*((-51)/n - -2). Is ((-18)/w)/((-2)/14) a composite number?
True
Let j = -29 - -44. Is j a composite number?
True
Let i(g) = 99*g**2 - 3 + g**3 - 5*g + 2*g - 91*g**2. Is i(-8) prime?
False
Let a(w) = 117*w + 5. Let o(d) = 29*d + 1. Let x(t) = 2*a(t) - 9*o(t). Is x(-2) composite?
True
Let t be (-4)/14 - 176/(-28). Is ((-652)/t)/((-4)/6) prime?
True
Let q(x) be the second derivative of 2*x**4/3 - 5*x**3/6 + 5*x**2/2 + 8*x. Is q(4) a prime number?
True
Let v = -91 + 232. Is v prime?
False
Let p = 0 + 3. Let l(z) = -2*z + 2*z**2 + 10*z**p - 1 + 0 + 2. Is l(2) a composite number?
True
Suppose 2*m = 231 + 287. Is m a prime number?
False
Suppose y = -i + 36, 0 = 3*y - 3*i - i - 73. Is y prime?
True
Suppose a - 20 = 521. Is a a prime number?
True
Let y = 655 + -300. Is y prime?
False
Let o(d) = -2*d - 12. Let z be o(-7). Let u = 3 + 0. Suppose -u*y - z*y + 1055 = 0. Is y a prime number?
True
Suppose 8*o - 930 = 838. Is o a composite number?
True
Let x(v) = v**3 - 13*v**2 + 13*v - 10. Suppose p - 48 = -3*p. Is x(p) a prime number?
True
Suppose 716 = -5*v + 4511. Is (-2)/(-4) + v/6 a composite number?
False
Is (9/6)/((3/246)/1) composite?
True
Let s = -185 - -312. Is s composite?
False
Suppose -4*l = 16, 4*h = -0*h - l + 568. Is h prime?
False
Let t(u) = u**3 - u**2 - 9*u - 8. Is t(9) prime?
False
Suppose 3*h + x = 6*x + 25, 0 = h - 3*x - 7. Let l = 9 + h. Is l composite?
False
Let u(a) = 5*a**2 + 31*a + 11. Is u(13) prime?
True
Suppose 0 = -v + 6*v - 15. Suppose -144 = -v*t + 21. Is t a prime number?
False
Suppose -2*g - 4*d + 20 = 0, -4*d = 7*g - 2*g - 32. Is 1611/21 + g/14 a prime number?
False
Suppose -4*i + 16 = -0. Suppose 0 = l - 3*k - 11 - 8, 5*k - 8 = -i*l. Is 2/l - (-80)/14 a prime number?
False
Suppose -714 = -5*x + 4*z + 373, 0 = 4*x + 4*z - 884. Suppose 0 = 2*b - 5*b - 4*d + x, 5*b = -5*d + 360. Is b a prime number?
False
Let x(u) = u**3 - 8*u**2 - 3*u + 4. Let k be x(6). Let d = k - -144. Is d a composite number?
True
Let g(a) be the third derivative of 163*a**5/60 + a**4/24 + a**3/6 + 7*a**2. Is g(-1) a composite number?
False
Let b(j) = -5*j - 5. Let z = 10 - 15. Let u be b(z). Suppose 5*i - 67 = -4*g, -4*g + 4*i = -60 + u. Is g a prime number?
True
Suppose 0*a = a - 18. Suppose 0 = -2*t + t + 3. Suppose t*z + 0*z - a = 0. Is z a composite number?
True
Let z(a) = -2*a. Let i be (18/(-12))/(6/8). Let j be z(i). Suppose 4*s + 48 = 4*l - 72, 2*s + 128 = j*l. Is l composite?
True
Suppose -d + 102 = -212. Is d composite?
True
Let v(o) = 10*o - 13. Let p be v(-5). Let j(f) = 2*f**3 - 2*f**2 - 3*f + 1. Let b be j(3). Let s = b - p. Is s composite?
True
Let p(g) = g**3 + 3*g**2 - 2*g. Let x be p(-4). Let s = x - -12. Suppose -s*v + 3*w - 198 = -1025, 3*w + 618 = 3*v. Is v prime?
False
Suppose -2*y = -4*d + 1366, -2*d - 2*y = -3*d + 343. Is d prime?
False
Let l = -5 - -3. Is 2/(-1*l/9) prime?
False
Let p = -358 - -753. Is p a composite number?
True
Let c = 842 + -295. Is c prime?
True
Let h(o) be the third derivative of -o**6/60 - o**5/20 + o**4/12 - o**3/3 - 3*o**2. Is h(-5) prime?
True
Suppose -y + 171 = i - 299, 0 = 3*i - 3*y - 1428. Is i a composite number?
True
Let s be 110/5 - (-2 - -1). Let m(p) = 2 - 6 + 1 - s*p. Is m(-4) composite?
False
Let r(o) = 134*o**3 + 2*o**2 - 1. Let q be r(1). Let b = 454 - q. Is b prime?
False
Let w = -7 + 4. Suppose 12 = 3*n - 2*a - a, -5*a = 0. Is (-229)/w - n/(-6) composite?
True
Let l be (-895)/(-2)*(-8)/(-10). Let s = l + -197. Is s a composite number?
True
Suppose 0*t - 10 = -2*t. Suppose 2*a = t*a + 9. Is a - (-1 - 4) - -47 a prime number?
False
Suppose 3*d - r = 1142, 1536 = 4*d - 0*d + 2*r. Is d a composite number?
True
Let d(g) = 31*g**2 + 4*g - 2. Is d(-5) prime?
False
Let f(b) = -b**3 + 4*b**2 + 5*b. Let c be f(5). Suppose -2*i + i + 79 = c. Is i a prime number?
True
Let u = 332 + -198. Suppose 151 = 3*i - u. Is i composite?
True
Suppose u - 1 = 0, -3 = -2*t - 2*u + 7. Let k(d) = 8*d**2 + 5*d + 1. Is k(t) prime?
True
Let o be -2*(13100/8)/(-5). Suppose 0 = -6*t + t + o. Is t prime?
True
Let r be 1/1 - (-1 + 3). Is -2 + 3 + (-92)/r prime?
False
Suppose -106 + 422 = 4*z + 4*c, 395 = 5*z - 3*c. Is z a prime number?
True
Let h = 643 - 356. Is h a prime number?
False
Suppose 0*q - 2876 = -4*q. Is q composite?
False
Let n = -1293 + 3874. Is n composite?
True
Suppose 2*s - 3*s = 5. Let t be 76/s - 1/(-5). Let f = t - -41. Is f a prime number?
False
Suppose b + 15 = 2*o, 2*o - 2*b - 4 - 16 = 0. Suppose -19 = -s + 3*a, a + o = -s + 24. Is s a composite number?
False
Suppose d = -1 + 3. Suppose 5