prime number?
False
Let q = 15 - 19. Let c = 7 + q. Suppose c*u - 7*a - 147 = -3*a, -4*u + 221 = 3*a. Is u a prime number?
True
Suppose -y + 12 = -2*c, 4*y + 4*c + 7 + 5 = 0. Suppose -3 - y = -i. Suppose 0 = -5*k + 5*x + 1085, -x = 3*k - i*x - 653. Is k prime?
False
Suppose -3*f - 5*a + 2 = -6*f, -a + 2 = -f. Is 2198 + (f/(-6))/(8/12) prime?
False
Let g(q) = 64*q + 1. Let s(c) = -c**2 + 6*c - 1. Let m be s(5). Let l = 5 - m. Is g(l) a composite number?
True
Suppose -4*n + 40876 = -5*b, -5*n = 17*b - 22*b - 51095. Is n a composite number?
True
Let h(t) = 416*t**2 + t + 14. Is h(3) a composite number?
False
Is 10/((-10)/(-4767)) - 2*-1 a prime number?
False
Suppose 3410 = 2*l + 4*r, -3*l - 2*r + 5110 = 3*r. Suppose 30*n - l = 25*n. Is n composite?
True
Let d = 63276 + -26045. Is d a prime number?
False
Is ((-9327)/(-2))/((-9)/(-18)) a composite number?
True
Let o = 19485 + -57166. Is (0/2 + -1)*o/49 a composite number?
False
Let l be (216/16)/(6/(-8)). Let b = -22 - l. Is b/8*-2*34 composite?
True
Let c be (10/(-4) - -2)*-6. Suppose -c*x = x - 764. Suppose -337 = -4*h + 4*n - 3*n, -2*h + 5*n = -x. Is h a prime number?
True
Suppose 5*y = -8 + 3. Let s be 19 - (-1 - y - 2). Suppose -4*o = -l + 6*l - 27, 0 = -4*l - 3*o + s. Is l a composite number?
False
Suppose -27*l + 21*l = -12054. Suppose -175 = 2*s - l. Is s a prime number?
False
Let p(r) = -r**3 - 3*r**2 + r. Let l(f) = -f + 3. Let m be l(11). Let q be p(m). Suppose z = -5*i + q, z + 4*z - 4*i = 1531. Is z a composite number?
False
Is 9/21 + (57336/(-28))/(-3) a prime number?
True
Let r(y) = 4300*y + 199. Is r(43) a prime number?
True
Let l(b) = 83*b**2 + 5*b - 7. Let d be l(3). Let w = 1128 - d. Is w a composite number?
False
Suppose 15*o = 14800 + 12455. Is o composite?
True
Let k(s) = -76*s - 7. Let r be k(-11). Suppose -4*n + 399 = -r. Is n a composite number?
False
Let a = -2654 + 4699. Is a prime?
False
Let v(m) = 4*m**3 - 19*m**2 + 19*m - 13. Is v(11) a composite number?
False
Let k be 7 - 6 - (-11)/1. Suppose -2*n + k + 2 = 0. Is n composite?
False
Let x(y) = 15*y**2 + 23*y - 39. Is x(10) a composite number?
True
Is (28 + -25)*(-1 + 5882/3) a prime number?
True
Let j = -3 + 106. Let b = 242 - j. Is b prime?
True
Is ((-238535)/11)/(-1 + -5 - -5) a prime number?
False
Suppose -2*u - 2*u + 16 = 0. Suppose -s + 11 = 5*b, 2*b - u*b = 5*s + 14. Is ((-79)/4)/(b/(-12)) composite?
False
Suppose -13*r + 106695 = 15188. Is r a composite number?
False
Let j(c) = 32*c**3 - 3*c**2 + 12*c - 12. Is j(5) composite?
True
Let r(u) = u + 1. Let i(o) = -13*o - 9. Let d(a) = -i(a) - 2*r(a). Let l be d(-9). Is l/6*(-408)/16 composite?
True
Let l = -9 + 12. Suppose l*x - 101 = -b, b - 4*x - 61 = 75. Suppose -2*w + b + 139 = j, -4*j = -w - 1011. Is j composite?
True
Let a(n) = 54*n + 6. Let o(c) = -c. Let l(u) = -a(u) - 30*o(u). Let w be l(11). Let v = w + 449. Is v prime?
True
Let m be 6/((42/4436)/7). Suppose -2972 = -t - t - 4*q, 3*t - 5*q = m. Let b = t + -1015. Is b composite?
False
Suppose -67*v + 1783870 - 73829 = 0. Is v a composite number?
False
Let s(v) = 4*v**3 - 12*v**2 + 24*v - 26. Let x(l) = -3*l**3 + 11*l**2 - 23*l + 25. Let k(z) = -2*s(z) - 3*x(z). Is k(16) a composite number?
True
Is 7184968/42*(-21)/(-28) a prime number?
False
Let q = -275 - -1352. Suppose -b + 8 = 2*g, 6 + 4 = 2*g + 2*b. Suppose g*r - d = 4*d + 1050, 4*d = -3*r + q. Is r composite?
True
Let g(m) = 1349*m**2 + 9*m + 39. Is g(-3) composite?
True
Let i = -10099 + 16088. Is i composite?
True
Suppose 4*o - 31851 = -4*l - l, o = 5*l - 31856. Is l prime?
False
Let c be (-1 - (0 - -2)) + -1. Is ((-30)/25)/(c/1070) composite?
True
Let d(s) = 9*s**2 - 2*s + 581. Is d(0) prime?
False
Suppose -4*y = -2*i + 10506, -2*y + 199 = -5*i + 26456. Is i a composite number?
True
Let p(h) = -h + 4. Let a be p(14). Let n be (-46)/a - (-6)/15. Suppose n*l = x + 588, 2 = -3*x + 4*x. Is l a composite number?
True
Is -3 + (-3 + (-52)/12)*-1866 a composite number?
False
Suppose -32*x + 48584 = -28*x. Is x a composite number?
True
Let z = 5312 + -2047. Is 2/5 - z/(-25) prime?
True
Let q(j) = j**3 - 5*j**2 - 57*j - 5. Is q(18) composite?
False
Let n(g) = 525*g**2 + 22*g + 78. Is n(-5) prime?
True
Let h = 920 - -159. Is h prime?
False
Let j(a) = 960*a**2 + 7*a + 3. Let k = 26 - 28. Is j(k) composite?
True
Let q(f) = 3*f**2 - 4*f + 3. Let z be q(1). Suppose -310 = -r - j, -z*j + 1550 = -3*r + 8*r. Let l = r + -213. Is l a prime number?
True
Suppose 1632 = 2*g - 2*b - 304, -g - 5*b + 962 = 0. Is g composite?
False
Suppose -3*o + 7*o = 20. Let a(c) = 2*c**2 - 6*c + 11. Is a(o) prime?
True
Let n = 36438 - -25733. Is n prime?
True
Let u be (0 - -2) + -5 + 0. Is (163*21/(-9))/(u/9) composite?
True
Let n be 129610/(-6) - 2/6. Is n/(-26) - 6/(-39) a composite number?
True
Let z be (-2)/11 + (-61452)/(-33). Let o = z - 1319. Suppose -o + 83 = -4*g. Is g prime?
False
Suppose -5*n - 854 = -174. Let z be ((-2)/(-3)*177)/((-26)/65). Let b = n - z. Is b a prime number?
False
Let l = -18150 + 36661. Is l a composite number?
True
Suppose -12*t + 24206 + 46822 = 0. Is t a prime number?
False
Let x(l) = -l**2 - l - 7. Let k be x(0). Let j = -3 - k. Is 185*(-2)/(-8)*j a prime number?
False
Let j(w) = -68*w + 20. Let m(z) = 68*z - 19. Let k(s) = -3*j(s) - 2*m(s). Is k(15) a composite number?
True
Suppose -20*i + 343 + 31137 = 0. Is i a prime number?
False
Suppose 15*g + 44*g = 204907. Is g a prime number?
False
Let u be (-15)/((0 + 4)/(-4)). Let d = u - 11. Suppose d*j - 50 = 2*j. Is j a prime number?
False
Let q be 1 + (-2)/6 + (-39381)/9. Let n = -2596 - q. Is n a prime number?
False
Let a(d) = -5*d**2 - 4. Let k be a(5). Let m = 14 - k. Is m a prime number?
False
Let a(p) = -129*p - 10. Let k(z) = 130*z + 11. Let m(f) = -5*a(f) - 4*k(f). Is m(5) a prime number?
True
Suppose -8 = -3*i + 4. Suppose i*n - 2*n - 708 = 0. Let d = n + -35. Is d composite?
True
Let d(s) = -7331*s**3 + s**2 - 4*s - 5. Is d(-1) a prime number?
True
Let d(u) = 12*u**3 - 2*u**2 - 11*u + 53. Is d(8) a composite number?
False
Suppose -3*u = -5*s + 2281, -2*u - 2*u = -3*s + 1373. Suppose 21*b - 16*b = s. Is b a prime number?
False
Let r(o) be the first derivative of 3*o**2 + o + 38. Suppose z = 4*z - 39. Is r(z) composite?
False
Suppose 5*j = 4*j + 4*r + 1645, r = 2*j - 3311. Is j a composite number?
False
Let i(z) = z - 12. Let w be i(10). Let a(t) = -87*t + 3. Is a(w) a composite number?
True
Let q(l) = -67*l**2 + 15*l - 36. Let s be q(11). Is 3/((-31918)/s + -4) prime?
True
Suppose -4*d = -11*d + 21. Suppose 2*i + 21 = u - 372, -d*i - 1173 = -3*u. Is u a composite number?
False
Suppose 12 = -10*w + 9*w. Let j = w + 16. Suppose 132 = 5*a + p, 70 = j*a - 2*p - 30. Is a a prime number?
False
Let b = 4426 + -2560. Let j be b/(-12)*(-2 - 0). Let c = j - 222. Is c prime?
True
Suppose 2*z = 509 + 553. Suppose -80 - 54 = -f + l, 4*f + l = z. Is f a composite number?
True
Suppose -22 = -6*n + 2. Suppose n*o = -h + 16193, h + 4052 = 4*o - 3*o. Is o a composite number?
False
Let k(o) be the second derivative of o**4/3 + 13*o**3/6 + 2*o**2 + 13*o. Is k(-9) composite?
False
Suppose -76*d + 28*d + 2106192 = 0. Is d prime?
False
Suppose 11 = -c + 13. Suppose 0*d = -c*d + 6086. Is d a composite number?
True
Suppose 29*o = 70*o - 2993369. Is o composite?
False
Suppose -79 - 107 = 6*j. Let c = j + 17. Let f(d) = -d**3 - 14*d**2 - d + 1. Is f(c) a prime number?
False
Let i be 3 + -5 - (0 + -5 - -1). Suppose 0 = i*p - 3*x - 2*x - 439, -5*x = -p + 222. Is p composite?
True
Let v = -804 + 1427. Is v a composite number?
True
Let v(k) = -k**3 + 3*k**2 - 7*k - 9. Let m be (4/8*1)/((-1)/20). Is v(m) composite?
False
Is 16/104 + 49095/39 a prime number?
True
Suppose 2*z - 10 = -0. Suppose -2*n + z = 5*j, 0 = -4*j - n + 6 + 1. Is 1/(280/93 - j) a prime number?
False
Is (-2 + 0)*(-11)/(176/41176) a composite number?
False
Let j = -691 + 484. Let n be j/6*84/(-18). Suppose 137 = r + 4*i, r - i = 3*i + n. Is r prime?
True
Suppose 2*u + 1799 = 9795. Is u a prime number?
False
Suppose -8 = 6*u - 38. Let b(i) = 3*i - 13. Let l be b(u). Suppose 0 = -r - l*p + 12 + 3, 2*p + 27 = r. Is r prime?
False
Suppose -5*l - 3*y = 1157, 2*l - 5*l - 667 = -5*y. Let t = 1016 + l. Is t a prime number?
True
Let c(f) = f**2 + 2*f + 1 + 9*f**2 - 