= -o**3 + 4*o**2 - o + 9. Let r be 0 + (-42)/(-12) - (-1)/2. Let k be y(r). Suppose 167 - 6172 = -k*l. Is l prime?
True
Let g(t) = -8*t**3 + 9*t**2 - t - 2. Let h be g(6). Let m = 503 - h. Is m prime?
False
Suppose 0 = 4*n + 2*o + 248422 - 2263308, -5*o = -16*n + 8059427. Is n composite?
False
Is (-18)/30*5/(-15) + (-278828)/(-10) composite?
False
Let t(v) = 38113*v**2 - 5*v - 5. Suppose 0 = 2*o + 4*g + 2 + 8, 0 = 2*o + g + 4. Is t(o) a composite number?
False
Let k = 10949 + -3826. Is k composite?
True
Is (((-12016521)/(-36))/11)/((-1)/(-20)) prime?
False
Let r(q) = 3071*q**2 - 70*q - 192. Is r(-5) composite?
True
Suppose -5*z - 2*y = -10255, -5*z + 3*y = -2387 - 7893. Let m = -930 + z. Let l = m + -642. Is l a prime number?
False
Let o(z) = 452*z**2 - 10*z - 9. Let u be o(-1). Let c = u - 641. Let y = 315 + c. Is y composite?
False
Suppose 38*g - 5262292 = 5168784. Is g a composite number?
True
Let q = 821 - 814. Suppose q*z - 43*z + 46152 = 0. Is z a prime number?
False
Let s(p) be the first derivative of 13*p**3/3 + 13*p**2/2 + 25*p - 36. Is s(-13) a composite number?
False
Suppose 5*d + 25074 = -2*d. Let f = -1641 - d. Is f a prime number?
False
Let f be (-8 + 2)*(-2)/4. Suppose -4*j - j - 2*p + 19 = 0, 2*p + 6 = 0. Suppose -z + f*x = -229, 0*z - j*x + 950 = 4*z. Is z composite?
True
Let c(k) = 5*k**3 - 17*k**2 - 11*k - 42. Let p(j) = 4*j**3 - 17*j**2 - 12*j - 41. Suppose -9 = -8*v + 39. Let i(l) = v*p(l) - 5*c(l). Is i(-17) composite?
True
Let i = -71 - -75. Suppose -5082 = -3*m - w, 5091 = 5*m - 2*m + i*w. Is m prime?
True
Let k = 2 + 54. Let c = k + -14. Is 4 - c/9 - (-1463)/3 a prime number?
True
Let r(f) = 25311*f - 4166. Is r(11) a prime number?
False
Let n = -233 + 224. Is 4*(18198/(-24))/n a prime number?
True
Let f(v) = 16*v - 58. Let w be f(4). Suppose 0 = w*l - 5041 - 7061. Is l a prime number?
True
Let o = -123 - -133. Is 3 + 107675/o - 4/(-8) prime?
True
Suppose 16*q = 19*q + 2*p - 233549, 0 = -2*q - 3*p + 155701. Is q a composite number?
False
Suppose 2*m = 2*r + 190556, 7*r - 9*r = 3*m - 285839. Is m a composite number?
False
Let r(n) = 257*n**2 + 5*n + 33. Let q be r(7). Suppose 3*h = 4*s - q, -6*s - 4*h = -s - 15803. Is s prime?
True
Suppose -3*d + 2*a = -a - 9, -5*d = a + 3. Suppose -12*l + 13*l + 162 = d. Let u = 275 + l. Is u prime?
True
Suppose 3*f + 5 = -0*s - s, -s - f - 7 = 0. Let w(b) = 143*b**2 + 30*b + 39. Is w(s) composite?
False
Let o = -5147 + 2814. Let r = -916 - o. Is r composite?
True
Let d be 290/(-1305) - (-2)/((-36)/421034). Is (10 - d/6) + 3/(-2) a prime number?
True
Is 2 + (5 - 8) - -99318 a prime number?
True
Let i(f) be the first derivative of -3207*f**2/2 + 4*f + 26. Let p be i(-1). Let t = -350 + p. Is t a composite number?
False
Let n = 175047 + -80750. Let m = n - 43670. Is m a prime number?
True
Let v be (-3 - 6/(-2))/(-4 + 6). Suppose -79664 = -15*u - 2459. Suppose v*l + u = l. Is l a composite number?
False
Suppose 2*p - 54447 = -10088*g + 10089*g, 4*p - 4*g = 108896. Is p a prime number?
False
Suppose -37 = 13*m - 89. Suppose -607 = -d - m*j, -24*d = -22*d + j - 1179. Is d prime?
True
Let a = 38 - 33. Suppose 3*p + 0*s = s + 35, 2*p - a*s - 19 = 0. Let n(b) = 45*b - 31. Is n(p) composite?
False
Suppose -10694768 = -16*a - 53*a - 2553527. Is a a prime number?
True
Let v = -291 + 1051. Suppose 4098 = 3*b + 5*y, -b - 5*y = -v - 616. Is b composite?
False
Suppose 4*v - t = 1916455, 3*v - 1963360 + 526013 = -5*t. Is v a composite number?
True
Let v(k) = k**3 + 7*k**2 + 2*k - 22. Let z be v(-6). Suppose -h - 2*b = -2692 - 5921, -z*h = -3*b - 17233. Is h a prime number?
False
Let s = 1584 - 1118. Let z = 1253 - s. Is z a prime number?
True
Let x = 38 - 52. Let g(k) = k + 18. Let o be g(x). Suppose -4*n + 381 = -n + 3*a, -o*n + 540 = -4*a. Is n prime?
True
Let s = -9387 + 17674. Is s a composite number?
False
Suppose 0 = -2*q + 2*g + 134, 0 = 3*q - 2*g - 231 + 26. Suppose 4*n - 5*l = 55, 5*n = 5*l - l + q. Suppose -n*j = -8*j - 17731. Is j a prime number?
False
Suppose -9 = -2*q + 2*m + 7, 0 = q + 3*m + 12. Suppose -q*i - 4*b + 14849 = 0, 3542 + 1416 = i + 3*b. Is i a composite number?
False
Let u(a) = a**2 - 12*a + 22. Let t be u(10). Suppose -t*q + 2 = -2*m - 3*q, 3*q - 4 = -m. Is (553 - 0) + (-8)/m a prime number?
True
Suppose -1975*p = -2060*p + 2667215. Is p composite?
False
Suppose -8*o + 1563705 = -640334 + 416415. Is o a prime number?
False
Let t = -13 + 11. Let d(c) = 39*c**2 - c + 2. Let v be d(t). Let q = v + 489. Is q composite?
True
Suppose 4*y - 8 = 8, -o + 3*y = 0. Suppose 4*m + o = -4. Is (-2334)/9*((-6)/m)/(-1) composite?
False
Let y = 268838 + -189087. Is y composite?
True
Suppose 5*w = -b + 507, -4*b + 5*w + 1923 + 130 = 0. Suppose y + 3*y = b. Let h = 379 - y. Is h a prime number?
True
Suppose -26 = 3*g - 2. Let p be 0/(12/20 - g/(-5)). Suppose 12*n - 16*n + 1924 = p. Is n prime?
False
Let r(t) = 2*t**3 - 14*t**2 - 15*t - 10. Let i = 60 - 47. Is r(i) composite?
False
Let f(x) = -3*x**2 + 462*x - 163. Is f(40) prime?
False
Suppose -3*q - 3*b + 80886 = 0, 4*b - 6*b = -5*q + 134831. Is q a composite number?
True
Let y = 63 - 118. Let t = -53 - y. Is 22*(-158)/(-4)*(-1 + t) prime?
False
Suppose -o - 31 + 10 = 0. Let m be ((-28)/o)/(4/6). Suppose 104 = 2*h + 5*d, m*h + d = -2*h + 226. Is h prime?
False
Let g(z) = z**3 - 2*z**2 - 9*z + 6. Let l be g(4). Let m be l/((-20)/(-2)) - 9636/5. Let h = -1140 - m. Is h composite?
False
Let o(z) = z + 13. Let y be o(-5). Let g be 12/7 + y/28. Suppose 0 = -g*h - 1 + 21. Is h a composite number?
True
Let q = -41 - -47. Suppose 3*b - 9 = 2*d, -2*d - 6 = -4*b + q. Suppose 5*t - 4 + 14 = d, 0 = 3*h - 2*t - 4417. Is h prime?
True
Suppose 149 = 5*f - 2*r - 317, 2*f = 5*r + 199. Suppose 0 = 97*a - f*a - 88310. Is a composite?
True
Let u = 329 + -687. Let b = -327 - u. Is b a prime number?
True
Let t = -207 + 210. Suppose t*y = 8*y - 44885. Is y a prime number?
False
Let f(r) = 152 + 80 + 1236*r - 67 + 775*r + 403*r. Is f(9) composite?
True
Suppose -2 = -i + 4. Suppose -i*s + 34554 = -16620. Is s a prime number?
False
Suppose -3*u - 4*g = 28 - 21, -26 = -2*u + 5*g. Is ((-4)/6)/((-4)/183798*u) a composite number?
False
Let r = -3120 - -5055. Let b = 5028 - r. Is b composite?
True
Suppose -1 = -5*f + 14. Suppose 3*y - 713 - 1207 = -4*z, y + f*z - 635 = 0. Is (6 - 7) + -2 + (y - 0) composite?
False
Let g = 28268 - 41988. Let x = -6587 - g. Is x a composite number?
True
Suppose -o + 452173 = 65978. Is o prime?
False
Suppose -313*p - 30 = -308*p. Is ((3820/15)/(-4))/(2/p) a composite number?
False
Suppose -a = 5*k - 20974 - 96483, 3*a + 5*k - 352451 = 0. Is a composite?
False
Let g be (-56)/(-14)*(-2)/(-4). Suppose 4720 = 3*f + x, 4*f - 4785 = -g*x + 1507. Is f composite?
True
Let y(z) be the third derivative of -z**5/60 - z**4/24 + z**3/6 - 12*z**2. Let r(u) = 25*u**3 - u**2 - 5*u + 3. Let g(l) = r(l) - 4*y(l). Is g(2) prime?
False
Let d = 49 + -81. Let l be (3/(-6))/((-2)/d) + -1. Is 1348/16*(-3)/(l/12) a composite number?
False
Is (-340619)/10*-4 - ((-104)/(-40) - 2) a composite number?
False
Let x(h) = 30*h + 70. Let r(o) = 91*o + 212. Let p(i) = 2*r(i) - 7*x(i). Is p(-16) a composite number?
True
Let a be 1/(-4) - 8109/(-4). Let o = 420 - 1290. Let l = o + a. Is l a composite number?
True
Is (-121279)/(-9 + (10 - -4) - 6) composite?
True
Let t(l) = l**2 + l + 1. Let s be t(-3). Suppose -5*m - 3*d = -s, 3*m + d + 9 = 7*m. Suppose 0 = 5*p - m*v - 801, -2*v = -v + 3. Is p a composite number?
True
Let i = 134927 - -7932. Is i prime?
False
Let b = 154 - 150. Is b*(-1)/(-28)*18053 prime?
True
Suppose -4*r + 265272 = 17*r. Let d = r - 7365. Is d a composite number?
True
Let o(n) = 597*n**2 - 106*n - 17. Is o(20) prime?
False
Suppose -4*i + 2*i + 10 = 0. Suppose 5*p - p + i*r = 1604, 0 = -2*p + 4*r + 828. Is p*(-2)/((-4)/1) prime?
False
Suppose g - 2375 = 5*l, -4*l + 0*l - 1909 = g. Let f = 1070 + l. Let x = f - -1087. Is x composite?
True
Suppose 4*n + 12968 = -0*n. Let z = -111 - -109. Is z/(-3) + n/(-6) a composite number?
False
Let a(g) = 1. Let r(o) = -216*o - 6. Let j(v) = 5*a(v) + r(v). Let u(d) = 431*d + 1. Let t(b) = 5*j(b) + 3*u(b). Is t(1) a prime number?
True
Let t = -66692 - -339135. Is t a composite number?
True
Let f(l) = l**3 - 9*l**2 + 12*l