-2*c = 5*m + 37, -c - 4*c - 40 = 2*m. Is x(c) composite?
True
Let d(v) = -2*v**2 - 22*v - 6. Let s be d(-20). Let y = 551 + s. Is y prime?
False
Let y = 899 + -624. Suppose -9*v + 4343 + 67 = 0. Let t = v - y. Is t a prime number?
False
Suppose 15221 = 4*d - 26*g + 25*g, -d + 3800 = 5*g. Is d composite?
True
Let a be ((-1)/10)/((-1)/48)*-5. Is (-90870)/a + (-3)/(-4) a prime number?
False
Let s(z) = 203*z**3 - z**2 + z - 1. Let l be s(1). Suppose 3*q + l + 2 = 0. Let u = -13 - q. Is u a prime number?
False
Let j be (-10)/((1 + -3)*1). Suppose -c + 24 = -j*c. Is 3/(-2) + (-423)/c a prime number?
False
Let j(w) = w**3 - 29*w**2 - 110*w - 113. Is j(37) a prime number?
False
Let m be ((-20)/12)/(1 - (-1592)/(-1590)). Suppose 4*x = -3*r + m, -r - 443 = -2*r - x. Is r a composite number?
True
Suppose -74 = -7*j + 5*j. Suppose -j*f + 35*f = -2282. Is f a composite number?
True
Let s(t) = -25*t**3 - 3*t**2 - 12*t - 1. Let h(q) = -96*q**3 - 13*q**2 - 48*q - 4. Let z(g) = 6*h(g) - 23*s(g). Let l = -25 - -17. Is z(l) composite?
False
Let t = -49 - -53. Suppose -t*c - 79 = -2219. Is c a prime number?
False
Let z(y) = 2735*y - 141. Is z(8) prime?
True
Suppose -3964 = -6*x - 1042. Is x a composite number?
False
Let h be (-76)/10 - 6/(-10). Let a = h - -11. Suppose -x - k = -750, 2*x - a*k - 140 - 1366 = 0. Is x composite?
False
Let r(z) = 9*z**3 + 10*z**2 - 31*z + 71. Is r(21) composite?
False
Let k be 4*(-3 - (-7047)/12). Suppose 0 = 5*o - k - 368. Is o prime?
True
Let f(y) = -y**3 - 5*y**2 + 6*y + 7. Let k be f(-6). Let o(p) = 7*p**2 + 4*p - 4. Is o(k) a composite number?
False
Let d = 357 + -522. Let b be (-2)/(-8) - d/44. Suppose 3*x = b*h - 1172, h - x = -5*x + 293. Is h prime?
True
Let a = -151 - -1138. Suppose 11*j - a = 4*j. Is j a prime number?
False
Suppose -2*y = -y - 3, -4*y = -2*c + 320. Is c composite?
True
Let g(z) = 755*z**2 - z + 13. Is g(3) prime?
False
Suppose 9*w + 8 = 11*w. Suppose 3*v - 13695 = -2*o + w*o, -v + 4576 = 3*o. Is v a composite number?
False
Let m be (-2 - 2 - -1) + 8. Suppose 0 = -m*p - 0*a + 2*a + 26, -p = -a - 4. Is p/(-18) - (-250)/3 a prime number?
True
Suppose -2127*p + 16331 = -2120*p. Is p a composite number?
False
Suppose 3*t + 27999 = -4*l - 26832, 5*l = 2*t - 68556. Suppose f - y - 7 = 0, 9 = -3*f - 0*f - 3*y. Is f/(-11) - l/22 prime?
False
Let v = -1124 - -1921. Is v a composite number?
False
Is (253350/252 + (-2)/(-14))*4 a prime number?
False
Is (-1 + 1 - -45002)*(-150)/(-300) composite?
False
Let w be ((-4)/(-8))/(2/(-56)). Let m(s) = -17*s + 13. Is m(w) a composite number?
False
Let p(n) = 109*n**2 + 57*n + 43. Is p(-15) composite?
True
Suppose 0 = 5*a + 5940 - 21640. Let y = a + -1077. Is y a composite number?
False
Let s be 2 - (2 + (4 - 320)). Suppose -3*k - s = 542. Let n = -201 - k. Is n prime?
False
Let w(j) = 120*j**2 + 18*j + 101. Is w(-5) composite?
False
Suppose p = 907 + 830. Suppose 0*g + 4*q = -3*g + p, -5*g + 2918 = -q. Is g prime?
False
Let y(t) be the second derivative of 169*t**3/3 + 37*t**2/2 - 4*t - 3. Is y(5) prime?
False
Is (-42330)/(-9) - (319/(-33) + 10) prime?
True
Let u(p) = 67*p**2 + 52*p - 169. Is u(-21) a composite number?
True
Suppose 5*u = 7*u - 4498. Is u prime?
False
Let j = 2174 - 5740. Let q = -1767 - j. Is q a prime number?
False
Suppose -53*l = -3*l - 1177550. Is l composite?
True
Suppose 0*q = 2*b + 4*q - 2714, 3*b = -3*q + 4077. Is b prime?
True
Let o = -513 - -999. Let l = 30 - o. Is 1/(-4) + l/(-32) a prime number?
False
Let m = -275 - -718. Is m prime?
True
Suppose 2*p = 6*p - 20. Suppose 4*y = p*y - 9. Suppose y*x - 4*x = 545. Is x a prime number?
True
Suppose h = m + 3*m + 85, 2*h - 4*m - 162 = 0. Let i = 50 + h. Is i prime?
True
Suppose -r + 3751 = k - 2147, 5899 = k + 2*r. Is k a prime number?
True
Suppose -2*l = i - 0*i + 26, -2*i + 3*l = 80. Let t = 1135 - i. Is t a composite number?
True
Suppose j - 20 = -3*j. Suppose 0 = j*b - b - 4292. Is b a composite number?
True
Let q = 4 + -3. Let p(f) = 5 - 4 + 11*f**2 - q - 4. Is p(3) a composite number?
True
Suppose 0 = q - 16. Suppose 0 = -i + 5*x + 4 + q, x = -1. Is i a composite number?
True
Let x(w) = 4*w. Let s be x(3). Suppose 19 = l - s. Is l prime?
True
Let b(i) = -i + 2. Let a be b(6). Let k(v) = -2*v - 7*v**3 - 13*v**3 + 18*v**3 - 2. Is k(a) prime?
False
Suppose -2*m = 2*x - 10120, 6*m - m - 25294 = -3*x. Is m a composite number?
True
Suppose 0 = -12*o + 45176 + 148. Is o composite?
True
Suppose 0 = -5*s + j - 273, 5*s - 2*j + 267 = -3*j. Let p = -179 + 307. Let m = p + s. Is m a composite number?
True
Is 6416*4/40 - 6/10 prime?
True
Suppose -2*n = -g - 546 + 20620, -3*g + n = -60222. Is g/18 - (-18)/(-81) prime?
False
Let s(k) = -k + 1. Let u be s(-2). Suppose -d - w - 4*w + 635 = 0, u*w = 0. Is d prime?
False
Let l = 7039 - 3656. Suppose 9968 - l = 5*x. Is x prime?
False
Let g = -1 - 9. Let q(r) = -262*r + 12. Let w be q(g). Is (-1)/3 + w/12 composite?
True
Let f(x) = 540*x + 19. Is f(4) a prime number?
True
Let g = -13 - -13. Suppose -7*u - 10 + 3 = g. Is u*((-4)/2 + -11) a composite number?
False
Let a = 7 + -5. Suppose 3*x - a = 4. Suppose 0*p + 2*p + 2*v = 322, -x*v - 632 = -4*p. Is p a composite number?
True
Suppose 250*d = 256*d - 87018. Is d prime?
True
Suppose 0 = -20*c + 13708 + 3832. Is c a composite number?
False
Let o(m) = 222*m**2 - m - 2. Let w be o(2). Suppose -x + 4*p + 18 = 0, 3*x - 26 - 7 = 5*p. Suppose 2*j + w = x*j. Is j prime?
False
Suppose 11*w = 5*w + 119046. Is w a composite number?
False
Suppose -a - 657 = d + 107, 4*a + 3*d + 3057 = 0. Let x(z) = -1112*z - 1. Let t be x(-1). Let u = t + a. Is u prime?
False
Let n = -36 + 38. Suppose -n*g + 108 = -34. Is g a composite number?
False
Suppose 0 = 3*t - t - 136. Let h be (-1 - -2) + (6 - t). Let m = 28 - h. Is m composite?
False
Let q = 9850 + -6923. Is q prime?
True
Let a be 7/4*2 + (-2)/(-4). Suppose -o = -3, 5*g - a*o - 1325 = 2198. Is g composite?
True
Let m(x) = 2*x + 93. Let l be m(0). Let t(z) = 2*z + l*z**2 - 3 + z + 4 - 4*z. Is t(2) prime?
False
Suppose -19581 = -9*m + 62778. Is m a composite number?
False
Suppose -u = 1, -18*d + 592 = -13*d + 3*u. Is d a composite number?
True
Let o = 18 + 99. Let j = -70 + o. Is j a prime number?
True
Suppose 0*g = -2*s + 2*g - 8, -10 = -5*s - g. Is -4*((-753)/12 - (-5 + s)) prime?
False
Suppose 0 = -4*f + 5*r + 1568, 4*f = -f - 5*r + 2005. Is f prime?
True
Suppose 4*v - 307 = -2*b + 7*b, -v + 3*b = -75. Suppose 2*r = -5*x - 0*r + 397, -x + v = -r. Is x prime?
True
Let x = 18838 + -4665. Is x a composite number?
False
Let s = 8237 + -5878. Is s a prime number?
False
Suppose 4*k - s = 1010, 0 = -5*k + 3*s + 1357 - 98. Is k prime?
False
Let h(l) = -85*l - 7. Let b(a) = -a + 3. Let o(r) = -2*r + 7. Let y(j) = -7*b(j) + 3*o(j). Let d(c) = h(c) + 3*y(c). Is d(-6) prime?
False
Suppose -3*f = s - 2867 - 458, 2*s + 4 = 0. Is f a prime number?
True
Let s = 7 - 4. Suppose -s*o + 4*o - 14 = 0. Is 1 + 0 + -2 + o prime?
True
Let b(t) = 5*t - t**2 - 3*t**2 + 0*t - 1 + 3*t**2. Let m be b(3). Suppose 0 = m*q - 903 - 102. Is q composite?
True
Suppose 2*f - 2*w - 9730 = 0, -18*f + 19*f + 3*w - 4849 = 0. Is f a composite number?
False
Let y be (-4 + 1)*(4 + -5). Let p be ((-48)/(-20))/(y/10). Suppose 4*s = p*s - 204. Is s a composite number?
True
Let p(h) = -9*h - 5. Let g be p(2). Let q = -21 - g. Suppose 2*s - 3*n - 545 = -3*s, 5*s - q*n - 545 = 0. Is s prime?
True
Let q = 37 - 34. Suppose 3*x + q*h - 21 = -2*x, -2*x = -3*h - 21. Is ((-3)/x)/((-8)/560) a prime number?
False
Is 54463 - ((-1)/(-3))/((-57)/1026) composite?
False
Let u(v) = 2*v**3 - 2*v**2 - v + 4. Let b be u(3). Suppose -8*j + 1859 = 747. Suppose -4*x + f + j = 0, -4*x + b = -3*x - f. Is x prime?
False
Let u(i) = -2*i**2 + 6*i + 10. Let t be u(9). Let r = 309 + t. Is r a prime number?
True
Let s = 6505 - 2660. Is s composite?
True
Suppose 0 = -3*t + 2 + 1. Let g be 0 + t - (-5 + -28). Is g - (-3 + -1 + 3) a prime number?
False
Let y be (-480)/(-105) - 4/7. Let d(f) = 14*f - 36*f + y*f + 1. Is d(-11) a prime number?
True
Suppose -1117 = -0*i - i. Let k = i - 6. Is k a composite number?
True
Let d = -15 + 15. Suppose 2*j + 10 = -d*j. Is ((-15)/9)/j*381 composite?
False
Let q = -104890 + 259461. Is q prime?
True
Let o be (4/(-5))/(14/(-1820)). 