k + 120 = 5*x, -5*x + 4*k - 48 = -6*x. Is (1498/(-8))/(-7)*x/1 prime?
False
Let x be 130/39 + 1/(-3). Let z(o) = 35*o**3 + 3*o**2 - o + 2. Let h be z(4). Suppose -x*y = -h - 135. Is y composite?
True
Let o(c) = -16*c**3 + c**2 - 6*c + 2. Let v be o(-5). Suppose 4*r + v = 5*s, -2*s - 2*r = r - 809. Is s a prime number?
True
Let v(x) be the third derivative of -x**4/3 + x**3/3 - 3*x**2. Let p be v(-1). Let z(s) = -s**2 + 10*s + 9. Is z(p) a composite number?
True
Suppose 95 - 35 = 4*l. Suppose -3*b = -0*b - l. Suppose -n + 4*q = -383, 4*n = q - b*q + 1512. Is n prime?
True
Let l = -95 - -102. Let c(z) = z**3 + 5*z**2 - 7*z + 18. Is c(l) composite?
False
Suppose 3*f = 2*w - 0*f + 183, -5*w = 3*f + 510. Is (2/11 - (-58131)/w)*-1 a composite number?
False
Let s(j) = j**3 + 3*j**2 - 2*j - 26. Is s(15) prime?
False
Let s = 202 - 59. Suppose -4*h + 3*d + d = 220, -h - 2*d = 52. Let p = s + h. Is p a prime number?
True
Let v(m) = m**2 + 13*m + 5. Let a be v(-13). Suppose -5*f - 948 = -a*s + 912, -4*s = 4*f - 1528. Is s a composite number?
True
Let b(m) = 11*m - 10. Let i(g) = 45*g - 39. Let o(r) = -9*b(r) + 2*i(r). Let n(c) = c**2 - 5. Let k be n(0). Is o(k) a composite number?
True
Let z be ((-676)/(-33) - (-4)/22)*342. Let g = z + -4747. Is g prime?
False
Let w(q) = 415*q - 31. Is w(6) prime?
True
Suppose 20*n = 4*n + 494096. Is n a composite number?
False
Let k = 32 - 28. Suppose -h = -2*u - 0*u + 1616, 0 = u - k*h - 801. Is u a composite number?
False
Suppose -3*y + 1980 = -243. Suppose 0 = 3*q - 0*q - y. Suppose 2*w - q = 339. Is w a composite number?
False
Suppose 10*r - 3040 = -9*r. Let g(i) = -i**3 + 8*i**2 - 4*i + 3. Let h be g(6). Let t = r + h. Is t composite?
False
Is ((-40)/(-50))/((16/(-3970))/(-4)) a composite number?
True
Suppose -83*u = -85*u + 14. Let b(v) be the first derivative of 15*v**2/2 + 4*v + 2. Is b(u) a prime number?
True
Suppose 5*d - 2*g = 25, 2*g - 5 = 2*d - 7*d. Is 3/6*(59 + d) composite?
False
Suppose 0 = 18*k - 17*k - 6863. Is k a composite number?
False
Suppose -3*u - 3*x = -2*x + 28, 5*x + 44 = -3*u. Let l(b) = -65*b + 1. Is l(u) prime?
True
Suppose 16 + 48 = 4*s. Let i = s - 5. Let o = i - 8. Is o prime?
True
Is ((-33)/(-4) - 8) + 10323/4 composite?
True
Let w = 21 + -19. Suppose 2*r + 5*f + 31 - 556 = 0, 10 = w*f. Suppose 5*d = 280 + r. Is d a prime number?
False
Suppose -g + 5*g - 5*h - 421416 = 0, -105371 = -g - 3*h. Is g composite?
False
Let l = -53 - -53. Suppose 4*a + b + b - 4662 = l, 0 = -3*a - 2*b + 3499. Is a a composite number?
False
Let o(h) = -h**2 - h - 1. Let v(r) = -7*r**2 - 16*r + 16. Let p(q) = 5*o(q) - v(q). Is p(4) a composite number?
True
Let x(g) = -467*g**3 + 2*g**2 + g - 3. Is x(-2) a prime number?
True
Let m(q) = 3*q**3 - 6*q**2 + 4*q - 10. Let a be m(7). Let l = 496 + a. Suppose -3*c - l = -2*v - 4*c, v = -c + 626. Is v a composite number?
True
Let l(k) be the first derivative of 5 - 11/2*k**2 - k + 13/3*k**3 - 1/4*k**4. Is l(12) composite?
False
Let y(g) = 9 - 12*g - 2*g**2 - g**3 - 9*g**2 + 4*g**3 - 4*g**3. Let d be y(-10). Let n = -6 + d. Is n prime?
True
Let l(f) = -f + 7. Let s be l(5). Suppose o + 5*z = 77, 5*z = s*o + 3*z - 154. Is o a composite number?
True
Suppose -w - 3*l - 91 = 0, -7 = 3*l + 8. Let z = w + 163. Suppose 5*a - 472 + z = 0. Is a prime?
False
Let d(p) be the second derivative of -p**5/20 - 3*p**4/2 - 8*p**3/3 - 33*p**2/2 + 8*p + 2. Is d(-20) a composite number?
False
Suppose -5*u = -4*u. Let g be u/((0 + -1)/1). Suppose -4*l = -g*l - 124. Is l prime?
True
Suppose 8*q = 13*q + 2430. Let l = 1067 + q. Is l composite?
True
Suppose -4*r + 4*o = -1176, 2*r - 584 = 8*o - 10*o. Is r composite?
False
Let q = 8 + -6. Let x(s) = 20*s**q + 4*s - s - 6*s. Is x(5) a prime number?
False
Suppose 2*j = 5*j. Let o(p) be the third derivative of p**6/120 - p**5/60 - p**4/24 + 103*p**3/6 + 6*p**2 + 3. Is o(j) prime?
True
Suppose 3*o - 123 = -2*o + 4*i, -5*o + i = -117. Suppose z - 78 = -3*f, -z = 5*f - 12 - 74. Let a = z + o. Is a a composite number?
False
Let w = 508 + 4353. Is w prime?
True
Let i = 224 + -190. Is i a composite number?
True
Let p be 5/((-2796)/2800 + 1). Let s = p + -2461. Is s a prime number?
True
Suppose 3*z - 2*f - 8307 = 0, -3*z - 6*f + 8301 = -10*f. Is z composite?
True
Suppose 18 = -7*a + 10*a. Suppose 5*j + 13763 = 4*p, j + a = -j. Is p a prime number?
False
Let x = -154 + 216. Let z = -1 + x. Suppose -5*a = -4*v - 89, 4*a - 27 = -v + z. Is a prime?
False
Is 208 - 201 - (-1 - (39384 + -1)) a prime number?
False
Let l be (-139)/((4 + 0)/(-232)). Let b be (-5)/(-20) - l/(-8). Suppose 4*m - 2*v = -0*v + b, 0 = -5*v + 20. Is m a prime number?
False
Suppose -133*x + 128*x = -145. Let z be (-2)/(-8) + 919/4. Let p = x + z. Is p composite?
True
Let q(c) = -7598*c - 1101. Is q(-13) a composite number?
False
Let h(u) be the second derivative of u**4/12 - 2*u**3/3 + 3*u**2/2 + 3*u. Suppose -4*y + 4 = 2*g - g, 3*g = -y + 12. Is h(g) composite?
False
Let p = 306 - -14375. Is p composite?
True
Let r(s) = 26*s**2 + 6*s + 10. Let q be r(-5). Let m = -411 + q. Is m a composite number?
True
Let i = 282 - -10471. Is i a composite number?
False
Suppose -2*x = 2*i + x - 118699, -x = 2*i - 118701. Is i composite?
False
Let s be ((-16)/14)/((-2)/7). Suppose 288 = 3*o - 0*o - 3*z, -99 = -o + s*z. Is o prime?
False
Let c be (6/(-9))/((-2)/30). Let b be 6/10 - 926/c. Let l = b + 145. Is l a prime number?
True
Let g(l) = l**3 - 28*l**2 + 11*l + 159. Is g(38) prime?
True
Suppose 53*u - 48*u = 22050. Suppose 7*n - u = 3017. Is n a prime number?
True
Suppose o - 17133 = 596. Is o a composite number?
False
Let s = -6847 - -14417. Suppose 0 = h + 5*z - 1492, 4*z = -5*h + z + s. Is h a prime number?
False
Suppose 0 = -4*r - 5*i + 13379, 4*r - i - 11705 = 1656. Is r composite?
True
Let u = 1291 + -636. Is u a composite number?
True
Let v(c) = 0*c - 5*c**2 + 2*c - 4*c**3 + 7*c**3 - 1. Is v(11) a composite number?
True
Suppose -4*d + 68959 = 3*h, -5*h = -0*d - 2*d - 114975. Is h a prime number?
True
Suppose -5*j - 5*b = 130, 0 = 4*j + j + 4*b + 126. Let g be j/(-33) + 292/(-6). Is 556*3/(g/(-20)) prime?
False
Let r be (5*10/25)/1. Suppose 210 = r*c - 788. Is c prime?
True
Let y be 2 + (-15)/(3 - -2) + 400. Suppose -y = -h + 128. Is h prime?
False
Let h = -19 - -22. Let z(y) = -y**3 - 7*y**2 - 8*y - 7. Let u be z(-6). Suppose u*j - 4*r - 317 = 0, 0 = h*j - 0*r + 2*r - 199. Is j prime?
False
Suppose 3 + 0 = -w, -w = -5*y + 13. Suppose o - 5*x = -y*o + 2891, 4*o - 4*x = 3860. Is o a prime number?
True
Suppose z - 31 = -4*z - 4*m, -2*z - 2*m + 14 = 0. Suppose -6*c = -c + 2*u - 9508, -4*c + z*u + 7588 = 0. Is 1/3 + c/15 prime?
True
Suppose -2 = f - a, 3 = 3*a + 6. Let n be 7/(28/(-12)) - f. Suppose -2*h + 4*l + 626 = n, 0 = h + 2*h - 3*l - 924. Is h composite?
True
Let p be (-14)/(-21) - (-1850)/6. Suppose -4*y = -1647 - p. Is y a prime number?
False
Suppose 5*d - 36 + 116 = 5*a, 0 = 5*d. Let l = 13 - a. Is -3 + 43 + l + 2 a prime number?
False
Suppose 0 = -0*q - 4*q, 2*j = 2*q. Suppose 0 = 4*n - 2*k - 1308, k - 333 = -n - j*n. Is n a prime number?
False
Let j(a) = a**2 + 4 - 5*a - a**2 + 4*a**2 + 12*a. Let u be j(-6). Suppose u = -4*x + 1598. Is x composite?
False
Let r be -14*1*4/(-14). Suppose -3*a + k + 77 = -3*k, 0 = r*a - 4*k - 96. Is (a/(-57))/(1/(-1407)) prime?
False
Suppose 0 = -9*w + 31 + 14. Suppose 0 = w*k - v - 5348, -15 = 2*v + 3*v. Is k prime?
True
Let m(g) = -11*g**3 - 16*g**2 - 35*g + 1. Is m(-8) prime?
True
Let k(q) = -60*q + 5. Let o be k(-2). Let x = 303 - o. Is x prime?
False
Let h be 2*(-6)/4 + 9. Suppose 2*i = -i - h, 4*d - 26 = 3*i. Suppose -o = -3*w + 279, 4*w = d*o + 19 + 342. Is w a composite number?
True
Suppose 14*z + 48 = 17*z. Let d(q) = q**3 + 3*q**2 - 24*q + 1. Is d(z) a composite number?
False
Suppose -l - 10 = 3*o, 3*l - 2*o + 4 = l. Let i(d) be the third derivative of 2*d**5/15 - d**4/4 - d**3/2 + d**2. Is i(l) a prime number?
True
Let t(h) = -7*h**2 - 3*h + 2282. Let i(r) = -3*r**2 - r + 1141. Let c(k) = 9*i(k) - 4*t(k). Is c(0) a prime number?
False
Suppose -17*d = -1600 - 2939. Is d composite?
True
Suppose -74 = -5*f + 21. Let b(a) = 2*a**2 + 9*a - 30. Is b(f) composite?
False
Suppose 0 = -3*w + 1 - 13. Let p(s) = 49*s - 5. Let a be p(w). Is 2/(-3)*a/2 a pri