 4 = -2*h - 2, 4*l + 8 = 0. Is m(h) a composite number?
False
Let a = 61350 + -35847. Is a composite?
True
Suppose -4*x + 4180 = x. Suppose 17*g - x = 16*g. Suppose s = -r + g, 4*s + 846 = 4*r - 3*r. Is r a prime number?
False
Let k(j) = 2*j + 15. Let c be k(-8). Let i(w) = -1932*w**3 + w**2 + 3*w + 1. Is i(c) composite?
False
Is 2/((56/20908)/7) prime?
True
Suppose 5*j - 82676 = -l, -j - 2*l = 2*j - 49607. Is j a composite number?
True
Let a = 40 - 34. Let y(b) = 279*b - 1. Is y(a) prime?
False
Let h = -25 - -27. Suppose h*y - g - 1797 = 0, 0 = y - g - 208 - 691. Is y prime?
False
Is (-1113848)/(-32) + -1 - 2/(-8) composite?
False
Let j be 3/6 - 6/4. Is 934*(-2*2/8)/j a prime number?
True
Let i be 49522/16 - 6/(-48)*-1. Let f = i - 2052. Is f composite?
True
Let l(c) = -1361*c - 2. Let s be l(-4). Suppose 4093 = 3*h + 5*y, -y + 2*y + s = 4*h. Is h a composite number?
False
Suppose 0 = -532*s + 539*s - 116179. Is s a composite number?
True
Let u(q) = 97*q**2 - 2*q + 2. Let o(v) = -v**2 - 16*v - 14. Let t be o(-15). Is u(t) composite?
False
Let g(f) = -f + 1. Suppose 1 = -5*t - 3*v - 6, -v + 1 = 0. Let r be g(t). Is -2 + (36*r - 3) a composite number?
False
Is 35555/7 + 12/(-42) prime?
False
Let j(t) be the first derivative of t**3/2 + 7*t**2/2 - 2*t - 8. Let a(u) be the first derivative of j(u). Is a(4) composite?
False
Is 68797077/1529 - (-4)/22 composite?
True
Is (-1214745)/(-147) + (-4)/7 prime?
True
Suppose -x - 5*j = -8, -5*j + 17 = 5*x - 3. Suppose 5*p + 8 = x*p, a - 33 = 2*p. Is a a prime number?
False
Let p = 955 + 259. Let z = 41 + p. Is z a composite number?
True
Let n be (-10)/(-2) - (-17344)/16. Suppose n = z - 1480. Is z composite?
True
Suppose 1978 = 2*m + 4*a - 564, 3*m - 5*a - 3846 = 0. Is m a composite number?
False
Let x(y) = y. Let o be x(12). Suppose -o*g + 8*g = 0, -2*k + 3*g = -5918. Is k prime?
False
Let n(c) = -148*c + 127. Is n(-37) composite?
True
Suppose -p - 9 = -4, 0 = -y + 3*p + 19. Is y/10 - (-10402)/70 a prime number?
True
Let y = 38 - 21. Let f = y + 42. Is f prime?
True
Suppose a - 6624 = 2903. Is a prime?
False
Suppose -19*d + 27705 = -4*d. Is d a composite number?
False
Suppose -t + 3 = -0. Let d(q) be the first derivative of 5*q**3 - 2*q**2 + 4*q - 3. Is d(t) a composite number?
False
Is (-1713088)/(-192) + 4/6 composite?
False
Let s(h) = -99*h + 63. Let u be s(-10). Let v = u - 496. Is v composite?
False
Is 302388/9 + (-55)/15 + 4 composite?
False
Let w be (-78)/(-13)*2/6. Is 16/(-9) + w + 12247/9 a composite number?
False
Is -5 + 73246/14 - (-2)/14 a composite number?
False
Let n(z) = z - 2. Let c be n(4). Suppose 0 = -2*j - 2, -a - 4*j = -j - c. Let o(b) = 6*b**2 - 4*b + 1. Is o(a) a composite number?
False
Let t = 4157 - 1612. Let p = t + -1586. Is p a composite number?
True
Suppose -11*r + 3 = -8*r. Suppose 4*v + u = -2 + 11, 0 = u - r. Let p(x) = 166*x**2 + 2*x - 1. Is p(v) a prime number?
False
Let f = 6531 + -1070. Is f prime?
False
Let x = 8 + -9. Let w be 1 + 3/(-1)*x. Suppose i - 102 = -w*b + 55, 4*i + 2*b = 600. Is i composite?
False
Is ((-110)/(-30))/((-4)/(-16332)) a composite number?
True
Let d(v) = 210*v**2 - 15*v + 2. Is d(3) a composite number?
False
Suppose 4*n + 153 = v, 0*v + 3*v + 3*n - 444 = 0. Is v prime?
True
Suppose t + 4*m + 115 = -529, 1324 = -2*t + m. Let j = -343 - t. Is j prime?
True
Suppose -12*z - 30191 = -3*o - 14*z, 30203 = 3*o + 5*z. Is o prime?
True
Let x = 12488 - 3825. Is x a composite number?
False
Let a = 26 + 607. Suppose -2*x - 4*b = -a + 185, 0 = -3*x + 4*b + 672. Suppose 4*o + 4 = x. Is o a prime number?
False
Let n(c) = c**2 + 4*c - 10. Let y be n(-6). Let f be (y - 2)*8/16. Suppose -4*a - 4 = 0, 0*x - x - 5*a + 954 = f. Is x prime?
False
Suppose 16*k + 7042 - 31314 = 0. Is k a prime number?
False
Let b = 11 - 2. Suppose b*r - 6*r = 0. Suppose -x - x - 8 = 0, r = 2*k - 3*x - 250. Is k prime?
False
Let y = -8 - -9. Let q(f) = -6*f + 7 - 6*f**2 + 17*f**2 - 1 - y. Is q(4) prime?
True
Suppose -5*x - 2896 = -4*x. Let r = x - -5331. Is r a prime number?
False
Let b = -27953 - -57052. Is b a prime number?
False
Let m(t) = -t**2 + 12*t - 17. Let y be m(13). Let d be (12/10)/((-9)/y). Suppose n = -d*g + 2*n + 2017, -4*n + 986 = 2*g. Is g a composite number?
False
Let o(c) = -c**2 + 7*c - 5. Let g be o(5). Suppose -g*f + 2*f = -6. Is 100/f + 1/1 composite?
True
Let p be (-58)/8*(-116 + 0). Let l(x) = -7*x - 2. Let y be l(-1). Suppose -y*c = -p + 266. Is c a prime number?
False
Suppose 0 = -20*o + 298072 - 62412. Is o composite?
False
Let d(x) = x**3 + 5*x**2 + x + 2. Let m be d(-5). Let r = m + 20. Let w = r + 36. Is w a prime number?
True
Let k(p) = -8*p + 723. Is k(46) prime?
False
Is (-4 - (0 - (-6 + 5)))*-53 a prime number?
False
Let u(j) = -j**2 + 11*j + 7. Let g be u(12). Let s be (-1899)/g - 2/(-10). Let i = -241 + s. Is i composite?
False
Let v = -11562 + 24811. Is v a prime number?
True
Let y = -1381 - -2153. Let f = y - 291. Is f a prime number?
False
Suppose -x + 2*x - 6489 = 5*s, -4*x = 5*s - 26006. Is x a prime number?
False
Suppose -4*d - l - 3*l = -9584, 4*d - 9578 = 2*l. Is d prime?
False
Let x(v) = 2016*v + 1. Let r be x(-2). Let c = 8322 + r. Is c a composite number?
True
Suppose -73*x + 37*x + 775116 = 0. Is x a prime number?
False
Let t = 2 + 0. Suppose i = -t*o - 4*i - 4, 4*i = -8. Suppose o*q = -q + 44. Is q a prime number?
True
Suppose -3*a = -25 + 13. Suppose -4*o - 4*c + 57784 = -0*c, -5*o + 72266 = -a*c. Suppose 6*j + 596 = o. Is j prime?
True
Suppose 5*y = -2*x + 73686, -4*x + 147340 = 2*y - 0*y. Is x a prime number?
True
Is -9 + 12 + 11177 + 3 composite?
True
Let n(c) = c**3 + 63*c**2 - 217*c + 164. Is n(-66) a prime number?
False
Let s(c) = -c**2 - 22*c + 14. Suppose 4*n + 70 = 2*p, p + 86 = -5*n + 4*p. Is s(n) prime?
True
Suppose -19*y = -17*y + 1772. Let f = -417 - y. Is f a composite number?
True
Let m(i) = i**3 - 13*i**2 + 3*i + 8. Let b = 2 - -5. Let p be m(b). Is (-1)/(5/p) + 0 prime?
True
Suppose 6 = -3*x + 24. Let m be 130/(-39)*x/(-5). Let z(c) = 3*c**2 - 3*c - 3. Is z(m) composite?
True
Let m(d) = 7*d - 3. Let p be m(1). Suppose 0 = -c - p*s + 406, 3*c - s = 2*s + 1143. Is c a prime number?
False
Let x = -870 - -3987. Suppose -1197 = -6*n + x. Is n composite?
False
Suppose -7 - 8 = -5*r. Let b be (4 - (2 - r))*211. Suppose -633 = -3*w - 2*x, -5*w - 2*x + b = -x. Is w composite?
False
Let l = 2546 + -1209. Is l composite?
True
Let p(i) = -i**2 + 5*i. Let n be p(5). Suppose n = 6*t - 38 + 8. Suppose 674 = h + t*c, 2*h - 5*c - 786 - 577 = 0. Is h composite?
True
Suppose -3*o + 3*b = -1746, 2352 = 4*o - 0*b + 2*b. Is o prime?
False
Suppose 3*j + 2*j = 75. Let n = 23 - j. Suppose n*d = -0*d + 536. Is d a prime number?
True
Suppose 15*n = 12*n - 3. Is (214 - 0) + 4 + n composite?
True
Let m(b) = 174*b + 17. Is m(21) a composite number?
False
Let u(l) = -672*l**3 + l**2 - l - 1. Is u(-1) a prime number?
True
Suppose 6*s = 2*s + 516. Suppose 0 = -2*p + 6, -5*p = 3*l - 0*l + s. Is (-2824)/l + (-1)/(-6) a prime number?
True
Suppose 2*u + 10 = -3*u. Let l be (u + 2)/(-3 - -4). Suppose 0 = -2*p + 8, -186 = -o - l*p - 5*p. Is o a prime number?
False
Suppose 2*y + b + 4*b - 2841 = 0, 5*b = -4*y + 5687. Is y a prime number?
True
Let u(n) = -305*n - 76. Is u(-7) composite?
True
Let x(k) = -3*k**2 + 160*k - 25. Is x(36) a composite number?
False
Let m = 5022 + -2716. Let p = -1569 + m. Is p a composite number?
True
Suppose 75*m + 3260991 = 7958916. Is m prime?
True
Is 6/(-1) + 3125 + 80/(-8) a composite number?
False
Let n(o) = -o**2 + 32 - 10*o + 3*o**3 + 5*o - 8*o - 2*o**3. Is n(7) a prime number?
False
Suppose -5*b = -s + 5164, b + 0*b + 10319 = 2*s. Suppose -844 - s = -9*i. Is i a prime number?
False
Let t = -4749 + 7886. Is t prime?
True
Let q be -5 - -8 - (3 + 2). Let n(a) = 105*a**2 + 2*a + 3. Is n(q) a prime number?
True
Let w(g) = g**3 - 16*g**2 - g + 21. Suppose -5*z - 13 = -93. Let d be w(z). Suppose 0 = -5*m - 25, -d*l + 866 = -4*m - 449. Is l composite?
True
Let k = -1707 + 244. Let l be (-4)/5 + k/(-35). Let j = l + 72. Is j prime?
True
Let p be (-107)/(-3) - 2 - 3/(-9). Suppose -p = -i + 381. Is i composite?
True
Let i(q) = -q**2 + 5 + 10*q + 2*q**2 + 0*q - 2*q. Let w be i(-8). Suppose 2*c + 21 = w*c. Is c a composite number?
Fals