 j be (2/(-3))/(o/111). Let h = 216 - j. Is h prime?
True
Suppose 0 = 4*a + 3*r - 2*r - 307, 3*r - 305 = -4*a. Suppose -a + 22 = -11*c. Suppose 9*n - c*n = 22036. Is n prime?
False
Let l = 162 - 158. Let v(w) = -w**2 + 11. Let m be v(0). Suppose l*s + 9737 = m*s. Is s a composite number?
True
Let w(o) = 244*o**2 - 754*o - 23. Is w(21) a prime number?
False
Let y(w) = -7*w**3 - w**2 - w + 1. Let t(f) = 13*f**3 + f**2 + 2*f - 1. Let c(q) = -6*t(q) - 11*y(q). Let d be c(5). Is 3/6*-13*d composite?
True
Let o(w) = -w**2 + 15*w + 4. Let y be o(15). Suppose -y*r = 4*f - 27 + 3, 4*f - 8 = 0. Suppose 1931 = r*c - 4433. Is c prime?
False
Let b be (-345)/(-33) + -11 - 1712629/(-11). Suppose -b + 40250 = -9*x. Is x composite?
True
Let v(q) = -412*q - 1. Let k be 1*10/(-15)*(-3)/(-2). Is v(k) prime?
False
Let m(t) = -t**3 + 6*t**2 - 6*t + 5. Let o be m(5). Suppose -4*b + 4 = 0, o*h + 510 = 5*h + 5*b. Let l = 156 - h. Is l prime?
False
Let l(z) = 14*z + 14. Let x be l(-1). Suppose x*m + 2*m = 31002. Is m a composite number?
True
Let q = 2968 - 1105. Let x = q + -1094. Is x a prime number?
True
Let x(p) = p**3 - p**2 + p - 1. Let q be x(1). Suppose q = 45*u - 35*u - 11690. Is u prime?
False
Let k = 296850 - 70763. Is k prime?
True
Let u be (-1)/(1/(-145)) - -7. Suppose 157*b - u*b - 78635 = 0. Is b a composite number?
False
Suppose -1139 = -v - 5*n, 3*n + 1240 = 2*v - 1090. Suppose 0*g + v = -2*g + d, 5 = -5*d. Is g/(-7) - (-1)/7 composite?
False
Let s be (1/(-4))/(12/(-3552)). Suppose -20337 = s*k - 77*k. Is k prime?
True
Suppose 3*g - 88 = -70. Suppose 15431 - 3161 = g*v. Is v composite?
True
Let w = 2 + 2. Let j(u) = -17*u**3 - 4*u**2 + 28*u - 28. Let y(q) = 4*q**3 + q**2 - 7*q + 7. Let g(b) = 2*j(b) + 9*y(b). Is g(w) a prime number?
False
Let j = -455 + 2346. Let p = j + -1338. Is p prime?
False
Suppose -46886*y = -46868*y - 3667338. Is y a composite number?
True
Suppose 494*a - 1226361 = 491*a + o, -3*o + 408787 = a. Is a prime?
True
Suppose -8*b = 7*b + 150. Let z(f) = -582*f - 49. Is z(b) a prime number?
False
Suppose -9*b + 48056 + 589091 = -146726. Is b composite?
True
Suppose 11*i + 610638 = 25*i. Let h = -25406 + i. Is h composite?
False
Let p be -2 + 1 + -2 + 35. Is (2*(-1172)/p)/(7/(-56)) composite?
True
Suppose -t + 11 = -j + 4*j, 3*j - 2*t - 23 = 0. Suppose -4*l + 3315 = j*s - 20201, 2*l = 3*s + 11758. Is l composite?
False
Let q = 98870 - -5331. Is q a composite number?
True
Let s(o) be the second derivative of o**3/3 + 19*o**2/2 + 24*o. Let f be s(-8). Suppose 4087 = f*j + 2*a, -2*j + 4*j = a + 2720. Is j a prime number?
True
Suppose -11*n - g + 39745 = -7*n, -2*g = 3*n - 29810. Suppose -x + 10761 + n = 0. Is x a prime number?
False
Let n = -33769 + 225456. Is n prime?
False
Let y be 17/5 + (-329)/35 + 9. Suppose c = 5*b - 1355 + 7987, -c + y*b = -6634. Is c a prime number?
True
Suppose -61*h + 155836 + 2980411 = 42*h. Is h prime?
True
Let c(r) = -13*r**3 - 5*r**2 - 6*r - 44. Let o(p) = 13*p**3 + 5*p**2 + 6*p + 43. Let w(n) = 6*c(n) + 7*o(n). Is w(8) prime?
False
Let c(i) = -4*i**3 - 6*i**2 + 2*i + 3. Let b(z) = -z - 7. Let j be b(-6). Let m(v) = -v**3 - v + 1. Let l(o) = j*c(o) - 2*m(o). Is l(6) composite?
True
Let v(j) = -21*j - 60. Let y(c) = -c + 1. Let u(f) = v(f) + 5*y(f). Let w be u(-16). Let p = w - 192. Is p prime?
False
Let w(b) = 2*b**2 + 3*b**2 - 103 - 20*b + 6*b - 11*b - 8*b. Is w(-11) prime?
False
Suppose -3*r = 2*r + 330. Let k = -56 - r. Is 20/25 + 7962/k a composite number?
False
Suppose 0 = -4*j + 2*h - 7*h + 46604, -7*j + 81557 = 4*h. Is j composite?
True
Is (10/8 - 0) + 20679387/916 prime?
False
Let c = 115 - 89. Let l be 4/c + (-2565)/195. Let u(w) = 11*w**2 - 14*w + 18. Is u(l) composite?
True
Suppose -26*j - 160860 + 1631446 = 0. Is j a composite number?
True
Suppose -3*g - 43546 = t, 3*t - 14522 = -g + 2*g. Let m = g - -25665. Is m prime?
True
Suppose -3902 = a - 2*r, -r = 2*a - a + 3893. Let j = -16 - -8. Is (a/(-32))/((-2)/j + 0) prime?
True
Suppose 129*v - 7565357 = 36127846. Is v a prime number?
True
Suppose 5*f = -2*a + 1085065, -6*f + 5*a + 902570 + 399471 = 0. Is f prime?
False
Suppose -2*v + 5*g - 94 = -5*v, 5*v - 2*g = 136. Let k be 32/v*7/3*870. Is ((-6)/5)/((-32)/k) prime?
False
Is (460859/28 + -19)/(2/8) prime?
True
Is (-1 + 47663/2)/(14595/1610 - 9) a composite number?
True
Let l be -3 + 6/(-33) - (-26)/143. Is (l - 1865)*(-46)/8 prime?
False
Let d(y) = -2*y + 10. Let r be d(3). Suppose 4*t + r*x = 0, 0 = 3*t - 0*x + x - 6. Suppose t*g = -2*g + 325. Is g a prime number?
False
Let q = -151 + 181. Is q/20*6/(-9) - -13412 composite?
False
Suppose -17344 = 3*f + 5*f. Let s = 3639 - f. Is s composite?
False
Is ((-22722154)/104)/(21/(-12)) composite?
False
Suppose -g = r + 3*g - 9580, 9 = 3*g. Let m = -4583 + r. Is m a prime number?
False
Let p be 4/(((-2)/2)/(4/(-4))). Suppose -10020 = -p*g + 7596. Let q = g - 2557. Is q composite?
False
Suppose t + 8 = 3*t, -t - 6681 = -5*i. Is i composite?
True
Suppose 0 = 3*c - 3 - 15. Suppose -s = 3*f + 1, 0 = -5*s - 5*f + c + 9. Is 2/(-4)*(-1270)/s prime?
True
Let f(b) = -4*b + 114. Let l be f(28). Suppose 0 = -3*k - 2*z + 8255, 2741 = 6*k - 5*k - l*z. Is k a prime number?
True
Suppose 6472*n - 6482*n + 222670 = 0. Is n prime?
False
Let n(u) = -u**3 + 3*u**2 + 9*u + 25. Let r be n(11). Let d = r + 11571. Is d composite?
True
Let n be (13/26)/((-1)/(-4)). Suppose -n*i - 6*a = -2*a - 4, -2*a = -10. Let p(u) = u**2 + 5*u + 9. Is p(i) composite?
True
Let m(k) = 116139*k**2 + 86*k - 84. Is m(1) composite?
False
Let l = -8578 - -14319. Suppose 0 = -3*s + 2*c + 1930 + 2377, -3*c - l = -4*s. Is s a composite number?
False
Let g = -254 - -247. Let u(o) = -2*o**3 - 6*o**2 - 3*o - 66. Is u(g) a prime number?
True
Let y = 25484 - 12945. Is y a prime number?
True
Let x = 57 - 69. Is 379212/(-30)*30/x a prime number?
True
Let n = 4784 + 13799. Is n prime?
True
Suppose -3 = -u - 2*s, 0 = -4*u - 5*s + 12 + 9. Is (-6)/(-4)*-2 - (-281 + u) prime?
True
Let m(i) = 32*i - 14. Let w be -4 - -10*(-4)/8. Let j be m(w). Let r = 77 - j. Is r a composite number?
False
Let r(a) = -a**3 - 7*a**2 - 18*a - 21. Let t be r(-4). Is 117/78*39898/t a prime number?
True
Is ((-35)/49)/5 + (-24345200)/(-35) composite?
True
Suppose t + 5*h - 725 = 0, -10 = 5*h - 10*h. Suppose 2*d = -q + t, -3*q - 4*d = -427 - 1720. Is q a composite number?
True
Is (7365946/(-112) - -14)*-8 prime?
True
Suppose k + 21 = -i - 18, -5*i + 43 = -2*k. Let v be 4519/3 + 18/27. Let w = v - k. Is w a prime number?
False
Suppose -2*f - 8 - 6 = -3*j, 3*j - 4*f = 22. Suppose -j*n + 3*n + 2*o = -10082, 2*n - 4*o + 20204 = 0. Is n/(-10) + 1/(-5) prime?
True
Let c = 10695 + 7294. Let p = -8388 + c. Is p composite?
False
Let q(r) = 14*r - 2*r - 2*r - 7*r + 13. Let t be q(6). Let h = t - -38. Is h composite?
True
Suppose 2*q + 57960 = 4*b + 368594, 4*q + 2*b - 621298 = 0. Is q a composite number?
True
Let h = 1143112 - 732855. Is h prime?
True
Let z = 90 - 92. Let d be 4/(-30)*-5 - z/6. Is ((-21)/12 - 2)/(d/(-4)) a composite number?
True
Let f be 5 + 7 + (-2397 - -1). Suppose 0*z + 7713 = 2*z - 3*k, 3*z = 4*k + 11569. Let p = z + f. Is p prime?
True
Suppose -107*r = -5*u - 110*r + 876815, -701452 = -4*u - 2*r. Is u a composite number?
True
Let b(v) = 264*v - 26. Let j = 93 - 82. Suppose -j + 21 = 5*k. Is b(k) a composite number?
True
Let i = 6233 - -146748. Is i a prime number?
True
Let o = -130 + 135. Suppose 71 - 86 = -o*i. Suppose i*a + 2350 = 4*d + d, 5*d - 2345 = 4*a. Is d composite?
True
Let u(o) = 2773*o - 74 + 37 + 43. Is u(1) a composite number?
True
Suppose 3*t + 2*t = 11555. Suppose 11*a - 11804 = -t. Let o = a - -304. Is o a prime number?
False
Let i = -63 - -98. Suppose 25 = -2*a + i. Is 42*a + 11/11 a prime number?
True
Let d(r) = 66*r**3 - 11*r**2 - 33*r + 7. Is d(5) composite?
False
Is 3*(-38)/(-18)*(-6 + 17 - -3442) a composite number?
True
Let z = -102 + 39. Let g be (z/(-2) - 5)/((-1)/38). Let k = g - -2344. Is k prime?
False
Let d(g) = -2*g**3 + 10*g**2 - 5*g. Let a be d(4). Suppose 0 = -6*c + a*c - 5802. Is c a prime number?
True
Let j = -805 + 2745. Suppose -3*l + 523 = -j. Is l a prime number?
True
Let w = 14 + -34. Let l be (15/w)/(4/(-49696)). Is 3/18 + l/36 a prime number?
False
Is (19563/(-18))/((-20)/(-120) - (-