9. Is x a prime number?
True
Suppose 5*c + 4*w - 22382 = 0, -w + 8951 = 4*c - 2*c. Is c a composite number?
True
Let z(t) = -t**3 - 3*t**2 - t - 4. Let q be z(-3). Let b be (2 + 0 + 94)/q. Is 3 - (-5)/((-15)/b) composite?
True
Suppose 27*s + 150507 = 36*s. Is s prime?
False
Is (-3)/(-15) - (-11854)/5 a prime number?
True
Let c be (532/42)/((-2)/6). Let v = c - -117. Is v a prime number?
True
Suppose -46812 = -17*s + 5*s. Is s a prime number?
False
Let v = -5529 - -12716. Is v prime?
True
Let o = -2123 - -21852. Is o prime?
False
Suppose -6*y + 56526 = -29556. Is y a prime number?
True
Suppose 11*y - 13*y + 626 = 0. Let c = y - 158. Suppose c = 3*r + 2*r. Is r a prime number?
True
Let t be 241/(-4) + 27/(-36). Let s = 204 + t. Is s prime?
False
Let n be 120*(-4 + 0 - (-63)/18). Let y = n + 471. Is y a composite number?
True
Let i be 10/(-4)*(-678)/5. Suppose 2*p + 3*o = i, 0 = 4*p + 4*o - 0*o - 688. Is p composite?
True
Suppose 4*d + 5 = 1, -4*l + 38 = 2*d. Let f(m) = 24*m + 13. Is f(l) a composite number?
True
Suppose 0 = 4*h + h - 750. Suppose -d = -h - 108. Let f = -127 + d. Is f composite?
False
Suppose -4*r = -44515 - 12609. Is r a prime number?
True
Suppose 0 = 11*j - 2*j - 16623. Is j prime?
True
Let y = -47 + 226. Is y prime?
True
Let x = -22818 - -40031. Is x prime?
False
Let h = 1216 + -518. Let r = h - 229. Is r composite?
True
Let h(x) = x**2 - 4*x - 2. Let q be h(7). Let g(c) = 4*c - q + c**3 - 7*c**2 - 6*c + 24. Is g(8) a composite number?
False
Is 2 + 4 + 552*1 + 1 prime?
False
Let o(p) = -22*p - 16*p - 6 - 39*p. Suppose -16*w + w - 75 = 0. Is o(w) prime?
True
Let r(b) = 33287*b**2 - 2*b + 2. Is r(1) prime?
True
Let m = -4059 + 6800. Is m a composite number?
False
Suppose 201467 = -3327*x + 3334*x. Is x a composite number?
True
Is (-11 - (-12419)/(-22))*(-1 + -5) prime?
False
Let r = 13436 - 3357. Is r a prime number?
True
Is (-2)/(-4)*211022/((-28)/(-4)) a prime number?
True
Suppose -79 = 3*l + 5. Let w be l*(-1)/4*2. Let p = w - -21. Is p a prime number?
False
Let t be (0 + -4)*(7 - 9). Suppose 0*o + 217 = g - 3*o, -2*o - t = 0. Let j = g - -28. Is j prime?
True
Suppose 3*r + 4 = -4*h - r, -3*h - 8 = -2*r. Is (-14300)/(-28) + h/(-7) composite?
True
Suppose 14018 = 2*j - 3108. Is j a prime number?
True
Let p = -12 + -1. Let r(i) = -5 - 2 - i - 9*i. Is r(p) a prime number?
False
Let v = -248 - -649. Is v prime?
True
Let d = 2727 + -1889. Is d composite?
True
Let l(j) = j**3 + 8*j**2 + 7*j + 10. Let q be ((-32)/(-40))/((-2)/(-70)). Let o = -35 + q. Is l(o) a prime number?
False
Let t be 3*(13/3 + -3). Let l = t - -1. Suppose -a + 47 = -3*y + 339, l*a - 286 = -3*y. Is y prime?
True
Let a(z) = -6144*z - 31. Is a(-1) composite?
False
Let i(x) = -58*x**3 - 4*x**2 - 4*x - 1. Let l be i(-1). Suppose -l = -5*c + 518. Is c prime?
False
Let p(a) = -a**3 + 7*a**2 + 2*a - 6. Let k be p(7). Let c = 71 + k. Is c a prime number?
True
Let p(o) = -2*o**2 - 2*o - 4. Let j = -22 - -25. Let w be p(j). Let i = w - -231. Is i a prime number?
False
Let q = -94508 + 186835. Is q composite?
True
Let z = 6210 - -11167. Is z composite?
False
Suppose 0 = 4*d + b - 33050, 33048 = 4*d + 3*b - b. Is d a composite number?
False
Suppose -4*t + 2 = -10. Suppose -v = -0*v - 5*x + 4, 4*v + t*x - 30 = 0. Suppose v*h - 10*h + 88 = 0. Is h prime?
False
Let y be 11 - 3*(-3)/9. Let z be 4/12 + (-4588)/y. Is ((-10)/20)/(1/z) prime?
True
Let s be (76/12 - 6)*(4605 - 0). Suppose 6*w = w + s. Is w composite?
False
Is (1 - 11) + (-20 - -16273) a composite number?
True
Let r = 6662 - 3576. Is r a composite number?
True
Let r(v) = -v - 3. Let o be r(-5). Let k(a) = 15*a**2 - 2*a**o - 4*a**3 - 1 + 3*a**3 - 2*a. Is k(12) prime?
False
Let h be (-42)/12 + (-1)/2. Let g be -41 - 0*h/12. Let i = g + 106. Is i composite?
True
Let t(n) = -7*n**2 + 4 + 17*n + 13*n**2 - 10*n - 13. Is t(-8) composite?
True
Suppose -w = w. Suppose 3*u + 141 = h, w*u = 2*u + 6. Is (12/3)/(-4) + h a composite number?
False
Let s(m) = 4*m**3 - m**2 - 10*m + 2. Let c be s(-5). Is -1 + -2 + (-1 - c) + 0 composite?
True
Let l = 18 + -11. Let o = l + -3. Suppose -s - o*w + 133 = 0, -5*w - 538 = -5*s + 2. Is s prime?
True
Let s(h) = 3582*h - 157. Is s(3) a composite number?
False
Let o be (-1)/(-4) + 60/80. Is -22*(3 + -3 - o) composite?
True
Suppose 3*y + 3*x = 2*x - 20, -3*x + 24 = -5*y. Let r(p) = -p**2 - 2. Let i be r(0). Is i + (y + 3)*-41 a prime number?
False
Let u(w) = -2761*w + 991. Is u(-6) a composite number?
True
Suppose 0 = -78*i + 75*i + 10299. Is i a prime number?
True
Let f = -4 + 830. Let d = f - 24. Is d composite?
True
Suppose 61116 = -24*w + 446484. Is w a composite number?
False
Suppose 62 = 3*b + 17. Is b/(-35) + 8980/14 a composite number?
False
Suppose -5*m = 2*l + 264, 0 = -5*m + 2*m + 2*l - 152. Let v = m + 226. Let z = v + 85. Is z a composite number?
True
Is 21842*(13/(-2))/(-13) composite?
True
Suppose -356 = -4*h + 9496. Is h prime?
False
Let b(w) = 33*w + 47*w**2 - 60*w - 6 + 29*w. Is b(-3) a prime number?
False
Suppose 4*d = -2*r - 2142, -3*d + 6*d + r + 1609 = 0. Let n = d - -905. Is n a prime number?
True
Let r(a) = 3*a**2 + 18*a + 15. Let t be r(11). Suppose t = 2*o - 770. Is o a prime number?
True
Is (-6761852)/(-102) + 2/6 a composite number?
False
Let l(k) = 3 - 4*k + 2*k + 6*k - 28*k**2. Let y be l(-5). Let a = -314 - y. Is a prime?
False
Let q = 51 - 43. Suppose -n + 3*n - q = 0, 2*o - 4*n - 30502 = 0. Is o a prime number?
True
Suppose 3*c = -h + 68, 10 = -2*c + 5*h + 27. Suppose -20*f + c*f = 4739. Is f a prime number?
False
Suppose -d - 3*d = 3*k - 520, 5*k - 528 = -4*d. Is d composite?
False
Let f = 1022 + 5331. Is f a composite number?
False
Let l(y) = -312*y**3 - 2*y**2 + 6*y - 10. Let c(q) = 104*q**3 + q**2 - 2*q + 3. Let r(w) = 7*c(w) + 2*l(w). Is r(2) a composite number?
True
Let r(s) = -78*s**2 - 9*s + 16. Let n be r(3). Let u = -294 - n. Is u a prime number?
True
Let z be (2/(-3))/((-36)/81)*2. Suppose 2*q - 1284 = 5*g, z*q - 304 - 1633 = 2*g. Is q prime?
True
Suppose -2*a = -5*n + 25, a - 6*a = 0. Suppose 0 = 2*x + i - 2575, 3*x - 2224 - 1656 = -5*i. Suppose n*j + 0*j = x. Is j prime?
True
Let w(u) be the first derivative of 14/3*u**3 + 1/2*u**2 + 1/4*u**4 - 4 - 7*u. Is w(-13) prime?
True
Let f(b) = 7*b - 7 - 1 - 3*b - 2. Let s be f(5). Suppose 0 = 8*z - s*z + 86. Is z composite?
False
Suppose -2*u + 3*i + 2 + 1 = 0, -4*u + 9 = -3*i. Let l be (-4)/6 - 2461/u. Let o = -448 - l. Is o a composite number?
False
Suppose -17 = -3*v + 5*b - 0*b, 61 = 4*v + b. Let x(t) = 3*t**2 - 6*t - 17. Is x(v) a prime number?
True
Suppose 4*k = -3*i + 7*i - 89868, -22459 = -i + 5*k. Is i a composite number?
False
Let s(b) = b**2 - 15*b + 1. Let w be s(15). Is w/((-5)/(-155)) + 4 composite?
True
Let v = 48306 - 32335. Is v composite?
False
Let w(j) = -4*j - 10. Let h be w(-7). Let p = h + -10. Is 3/((-12)/p) - -81 a prime number?
True
Is (-8849)/(-4) - (187/44 - 5) a composite number?
False
Suppose 0 = 2*v - 4*p - 1954, p - 328 = 4*v - 4236. Is v a composite number?
False
Let q(a) = a - 3. Let d be q(3). Let c = -24 + 40. Is 4*(d + 1948/c) a composite number?
False
Suppose -10*b + 65579 = -11591. Is b prime?
True
Let o(d) = 47*d**3 - 2*d**2 + 8. Let n be o(5). Suppose -n = -7*f + 2224. Is f prime?
True
Suppose 0 = 2*t + 4*f - 4190, 5*f - 4200 = -2*t + 6*f. Is t a prime number?
True
Let j be -3 + 5/(15/9). Suppose 3*f - 15 + 9 = j. Is f/(-6) - (-642)/9 a prime number?
True
Suppose -4*g + 4*b = -6002 - 4002, 0 = 5*g + 2*b - 12477. Is g a composite number?
True
Let k = -42727 + 84696. Is k a composite number?
False
Let k = -111 - -119. Suppose 4*q + k*q = 21636. Is q prime?
False
Let q be (1 - 20) + (-4 - -5). Let n(r) = -r**3 - 15*r**2 + 18*r + 5. Is n(q) a composite number?
False
Suppose -u = -4*u - 5*h + 50597, 5*h = -4*u + 67456. Is u composite?
True
Let t be 3/15 - (-45024)/(-20). Let l = 3986 + t. Is l composite?
True
Let o = 21 + -16. Suppose -o*s + 878 = -3*s. Is s prime?
True
Let z = 38 + -27. Suppose -12 = 7*j - z*j. Suppose -415 = -j*r + 338. Is r a composite number?
False
Let n(z) = 52*z - 14. Let v(a) = 5*a**3 + 2*a**2 - 2*a + 1. Let o be v(1). Let p be n(o). Suppose 3*x = x + p. Is x prime?
True
Suppose 4*t + 8 = -8. Let o(l) = -10*l**3 + l**2 + 2*l + 5. Is o(t) a comp