. Is w a prime number?
True
Suppose p + o = 839, 5*o - 153 = p - 986. Suppose 3*c - 5*c = -p. Is c a composite number?
False
Let o = 37581 - 15628. Is o a composite number?
True
Let t(i) = -i**3 + 2*i**2 - 3*i + 2. Let j be t(2). Let b be j/(-10) + 4264/40. Suppose -2*k - b = -271. Is k composite?
True
Is ((-88)/56 + 3/(-7))*-1447 a composite number?
True
Suppose -2*y = -7*y - 3*q + 20257, 5*q = -5*y + 20265. Is y a prime number?
True
Suppose -w - 267 - 16 = -2*f, 691 = 5*f + 3*w. Is 6/(-4)*9/((-189)/f) prime?
False
Suppose 5*x = -2*r - 312 + 2471, 5*r - x - 5438 = 0. Is r composite?
False
Let l be 2 - -4*5/(-20). Let c = l + 20. Is (c/(-9))/(1/(-381)) a prime number?
False
Suppose 15 = 2*o - 7*o, o = -3*y + 3. Suppose -5*h = -4*h, 0 = y*k + h - 1346. Is k composite?
False
Let d = 7 - 7. Suppose -6*o + 2*o = d. Suppose 2*s + o*s - 3 = -y, -2*s - 4 = 0. Is y composite?
False
Let p(o) = -5 + 3*o - 3 + 3. Let k be 4 + (0 + 8 - 4). Is p(k) a composite number?
False
Suppose -25*h + 127649 + 725976 = 0. Is h prime?
False
Suppose 67 = 5*s + 52, 3*s - 7217 = -4*u. Let n be ((-5)/(-3))/((-2)/1194). Let q = n + u. Is q composite?
True
Let a = -731 + 3673. Is a a composite number?
True
Let x = 2234 + -763. Is x a prime number?
True
Suppose 2 = -c, -2*v - 44*c = -47*c - 30188. Is v composite?
False
Let i be (-1)/((-3)/9)*138. Suppose 0 = j + k - 2*k - i, -4*k = 12. Is j composite?
True
Suppose -7524 = -5*u + 2321. Let o = u - 1218. Is o a composite number?
False
Let h(z) = z**2 + 19*z - 19. Let c be h(-14). Let u = c + 126. Is u a composite number?
False
Let g = 21 - 18. Suppose -2*o + g*o = -6. Let a(r) = r**2 + 5*r + 15. Is a(o) a composite number?
True
Let j(s) = -s**3 + s - 1. Let q be j(-2). Suppose 2940 = q*u - 2*u + 3*r, 5*u + 3*r - 4910 = 0. Is u a composite number?
True
Let c(w) = -24*w + 11. Suppose 3*r + 5*l + 15 = 0, 4*l + 6 = 2*r + 38. Is c(r) prime?
True
Let x(u) = -u**2 - 3*u - 3. Suppose 6*m - 2*m = -8. Let y be x(m). Let n(o) = 685*o**2. Is n(y) composite?
True
Suppose 209274 + 222756 = 15*i. Is i composite?
True
Suppose -v - 5*x = -x - 2561, 2*x = -4*v + 10272. Is v a composite number?
True
Let m = -28897 - -42203. Is m a composite number?
True
Let f(j) = -j**2 + 2*j + 9. Let d be f(4). Is d*(-2)/9 - (-68731)/153 a prime number?
True
Suppose -f = -3*y + 13, y + 4*f + 4 = 5*y. Let s(n) = 36*n + 4. Let w be s(y). Suppose 298 + w = 2*t. Is t prime?
False
Let f be (2/(-10))/(2/(-10)). Is (69 - 4/f) + 2 a composite number?
False
Suppose 3*b - k - k = 18, 4*b - 3*k = 25. Suppose -b*z - 417 = -7*z. Is z a prime number?
True
Let k(r) = 36*r**2 + 11*r - 134. Is k(-19) a composite number?
False
Let o(i) = i**3 - 2*i**2 + 2. Let l be o(2). Suppose l*h - 6 = 5*h. Is 771/h*(-2)/3 composite?
False
Suppose -6*u + 4*u = -q - 1373, -3*u + 2057 = -2*q. Is u a composite number?
True
Suppose -l - 31305 = -m, -2*l + 152868 + 3671 = 5*m. Is m composite?
False
Let l be (564/8)/(2/8). Suppose -141 = -4*u + u. Suppose -u - l = -m. Is m a composite number?
True
Let d(i) = -i**3 + 31*i**2 + 38*i - 43. Is d(32) composite?
False
Suppose -16 = -2*a + 92. Let p be 11/(-2)*(-2 + 0). Let z = a - p. Is z a prime number?
True
Let h be 3*(-9)/(108/40). Is 8158/10 + 8/h prime?
False
Let p be (69/6)/((-1)/38). Let q = -120 - p. Is q a prime number?
True
Suppose 0 = -j - 3*d + 2 - 11, d + 4 = 0. Suppose -j*z + 682 = -485. Is z a prime number?
True
Is (-5)/((-15)/12561) + 6/3 prime?
False
Let f(q) = 321*q**2 - 1. Is f(2) a composite number?
False
Let r = 28 - 25. Let v be (-2 + 1)*(-4 - r). Suppose -v*k = -10*k + 393. Is k a prime number?
True
Let b(g) = -180*g**3 + 2*g - 2. Let l be b(-3). Suppose 4*n + 0*z = 2*z + 3876, 0 = -5*n - z + l. Suppose 5*d - n = -0*d. Is d a composite number?
True
Suppose 4098 = 2*y - 16590. Let n be 1*(y/(-2))/(-2). Suppose -3*o - v + 1939 = -5*v, 4*o = 5*v + n. Is o prime?
False
Let s(y) = 1086*y - 19. Is s(2) a composite number?
False
Suppose -695 = -5*y + 2145. Suppose 0 = 4*x + l + 4*l - 77, 0 = -2*x - 3*l + 41. Suppose -17*o + x*o = -y. Is o a prime number?
False
Let i(f) = -2167*f - 87. Is i(-4) a prime number?
True
Is -2896*7/(-1) - 5 prime?
False
Let u = -5 + 8. Suppose 9*r - 5*r = -0*r. Suppose r = -4*a + 3*a - 4, u*a = 4*y - 72. Is y prime?
False
Let q = -56914 + 202437. Is q a composite number?
True
Let g = -131 - -307. Suppose -g = -p - 17. Is p composite?
True
Let x = 1 + 7. Suppose -5*f = -x*f + 9. Suppose -f*i + 2072 = 5*i. Is i a prime number?
False
Let b(i) = 1739*i**2 + 22*i - 56. Is b(3) a composite number?
False
Let v = -32565 - -59704. Is v a composite number?
True
Let o(n) = -n**3 + n**2 - n + 1. Let f(z) = 3*z**3 + 11*z**2 + z + 5. Let h(q) = f(q) + 2*o(q). Let i be h(-9). Suppose 0 = 5*b + 95 - i. Is b a prime number?
False
Suppose -4*j + 4*o + 732 = -0*o, -j + 171 = 3*o. Let t = j + -101. Is t a prime number?
True
Suppose 4*o = -o + 3*f - 4, -5*f - 16 = 3*o. Let b be ((-64)/o)/((-30)/(-315)). Let g = b - 221. Is g a composite number?
True
Let u be 231/28 + (-2)/8. Let n(i) = i - 5. Let r be n(u). Suppose -r*v + 148 = v. Is v a prime number?
True
Suppose 85 = -3*s + 16. Let o = s + 75. Let v = 59 + o. Is v composite?
True
Suppose -11246 = -21*p + 19*p. Is p a composite number?
False
Suppose 8*c - 27529 - 113887 = 0. Is c a prime number?
False
Let q(j) = -3*j**3 - j**2 + 4*j + 111. Is q(-16) composite?
True
Suppose -11*h + 7292 = -7*h. Is h a prime number?
True
Let w(s) = -19*s**3 + 20*s**2 - 5*s - 21. Is w(-8) composite?
False
Let p(x) = 162*x - 1. Let d = -8 + 14. Suppose -3*h + m = -5, 0 = -4*h + d*m - m + 14. Is p(h) a prime number?
False
Suppose -5*j + 463 + 27 = 0. Let m be (-58)/(-18) - 20/90. Suppose m*r - 569 = -j. Is r a prime number?
True
Is (-219259)/92*(-1 + -27) a composite number?
True
Let d be (-2 - -1) + 113 + -2. Suppose -16*s + 18*s - d = 0. Is s prime?
False
Let j = 12072 - 5125. Is j a prime number?
True
Let w(y) = 3 + 4*y - 4*y**2 + 0*y**2 - 75*y**3 + 8*y**2. Is w(-2) composite?
True
Suppose 4*n + 3*d - 52377 = 8*d, -2*n - 4*d = -26182. Is n a composite number?
False
Suppose -2*l - 14035 = -9*l. Let s = l + -110. Is s a prime number?
False
Suppose 2*w = 4*i + 11130, 27801 = 5*w - 0*w - 4*i. Is w a prime number?
True
Suppose -3*b - 27910 = -4*v - 2046, 2*b + 25868 = 4*v. Is v composite?
False
Let d = -1118 - -2047. Is d prime?
True
Suppose -2097 = -8*l + 5*l - 2*b, l + b - 698 = 0. Is l prime?
True
Suppose u - 1 - 1 = 0. Let p(v) = -60*v - 8. Let x(l) = -l - 1. Let f(q) = -p(q) + 5*x(q). Is f(u) a prime number?
True
Let v = -1016 + 1610. Suppose 4*k - 46 = 2*s + v, -k = 5*s - 171. Is k prime?
False
Let i(r) = -3*r**2 + 36521. Is i(0) a prime number?
False
Suppose -w = -4 + 1, -a + 3*w + 143 = 0. Suppose 0 = 2*j - 10, -y = -0*j + 5*j - a. Is y composite?
False
Suppose -41*y + 22*y + 1058129 = 0. Is y a composite number?
False
Suppose 0*j - n + 379 = -3*j, 2*n = -4*j - 522. Let x = -76 - j. Suppose -2*b = -p - 0*b + 73, p - x = -5*b. Is p a composite number?
False
Let o(x) = 3*x**2 + 13*x - 3. Let r(h) = 2*h**2 + 14*h - 3. Let d(n) = 4*o(n) - 3*r(n). Is d(17) a composite number?
False
Let o be (2/6)/(2/4194). Let b be (-14)/(-2) - (4 - (-16)/(-4)). Suppose -4*g - o = -b*g. Is g composite?
False
Is -11 + 7 + 81605 - 6 a composite number?
True
Let z = -51438 - -234703. Is z composite?
True
Is (990072/96)/(3/28) composite?
True
Let k(x) = -231*x - 89. Is k(-10) a composite number?
False
Is (-18)/(-10) + 676424/470 a prime number?
False
Suppose -10*x + 413508 - 38418 = 0. Is x a prime number?
False
Suppose 3 + 0 = p + k, 0 = -4*p + 4*k + 20. Suppose 3*i - 2*a - 2261 = -0*i, p*a = -4*i + 2988. Is i a prime number?
True
Let r be 1 - (-2)/((-8)/4). Suppose i + i - 574 = r. Is i a composite number?
True
Let d(i) = 10*i - 12. Let z be d(8). Let x = 143 + z. Is x a prime number?
True
Let l(g) = -4*g**2 + 2*g + 1. Let o be l(-1). Let c(s) = -4*s**3 - 5*s**2 + 9*s - 11. Is c(o) a prime number?
False
Let p = 5531 - 3270. Suppose 3*s - 7*s - 3*d = -p, 1677 = 3*s - 4*d. Is s a prime number?
True
Suppose 2*v = -5*f - v + 9275, -4*v = 4*f - 7412. Is f a prime number?
False
Let x = 11745 + 7202. Is x prime?
True
Is (-1 - (-4922)/4)/(9/18) a prime number?
True
Let f = -3 - -6. Suppose 2 = f*d - 1. Suppose 0 = o - d, q -