posite?
False
Suppose -3*t - 3*i + 294 = -0*i, -i = -3*t + 278. Suppose -4*p - t = -458. Is p composite?
True
Let m = -22 - -46. Is 23204/m + 1/6 a composite number?
False
Let k = 54 + -34. Suppose 5*d = -2*o + k, -4*d + 1 + 15 = -3*o. Is d composite?
True
Let k(d) = d**3 - 14*d**2 + 17*d + 17. Let w be (1 + 0)/(2/26). Is k(w) a prime number?
False
Let i(r) = 2*r**3 - 3*r**2 - 7*r + 11. Is i(6) prime?
True
Let l = 802 + 333. Is l prime?
False
Let s(w) = -78*w**3 + 2*w**2 - 1. Is s(-2) a prime number?
True
Let a = -9 - -73. Suppose a + 491 = 3*q. Is q a composite number?
True
Let x be (-9)/6*-2 + 2. Suppose -x*j + 547 = -628. Is j a composite number?
True
Let z be 4/10 + 92/20. Let s(u) = -u + 3. Let k be s(z). Is ((-1)/(-2))/(k/(-52)) a prime number?
True
Suppose 3*f - f = 0. Suppose -x + 37 = -f*x. Is x composite?
False
Is (-8860)/(-6) + 13/39 a prime number?
False
Suppose -7*h - 293 = -8*h. Is h a composite number?
False
Suppose 3*x - 50 = -5*a, 5*x + 2*a + 0*a - 58 = 0. Let p(m) = -x*m**3 - 5*m**3 - 1 - 4*m**3 + m. Is p(-2) a composite number?
False
Is (-2)/4 + 227/2 a composite number?
False
Suppose o + 74 = 3*o. Suppose 5*v - 4*f = 35, o = v + 3*v - 5*f. Suppose 812 = x + v*x. Is x composite?
True
Let h = -59 + 15. Let g = -31 - h. Is g a prime number?
True
Is 3/21 + 790/7 composite?
False
Suppose 0 = 2*k + 4*q - 766, -q = -k + 5*k - 1553. Is k prime?
True
Let i(y) = -2 + 7 + y**2 - y - 45*y**3 - 6. Is i(-1) a composite number?
True
Let r be (-6)/8 - (-2)/(-8). Let j = 8 + r. Is (-28)/(-2)*j/2 a composite number?
True
Suppose -723 = -5*s - 68. Is s a prime number?
True
Let h be (4 - 2)*242 + -1. Suppose -4*f + f + h = 0. Is f a composite number?
True
Suppose 2*r = 4*i - 78, -3*i + 4*i - 5*r - 6 = 0. Suppose -4*h + 1 - i = 0. Let z = 8 + h. Is z composite?
False
Let y = -959 - -1730. Suppose -a + 1 + 4 = 0, -4*f + a = -y. Is f composite?
True
Suppose -3*x + 9 = 3. Is (2 - -440) + x - -1 composite?
True
Suppose 9 = -5*m + 34, 2*m = -z + 1731. Is z a prime number?
True
Let x = 11 - 6. Suppose 2*y + 189 + 397 = 2*d, -2*d - x*y = -600. Is d a prime number?
False
Suppose 0 = 3*s + 2*d + 44 - 15, -10 = s + d. Let c(r) = -8*r - 5. Is c(s) composite?
False
Let s(b) = b**3 + 7*b**2 - b - 6. Let f be s(-7). Suppose f = -z, -4*z - z + 4 = 3*x. Is ((-2)/x)/(8/(-1668)) composite?
False
Let a be (-2 - 532) + 0/(-3). Is ((-4)/(-6))/((-4)/a) a composite number?
False
Suppose 0 = -2*y - 2*q + 1859 + 665, 5*q - 5051 = -4*y. Is y a composite number?
False
Let v = -24 + 142. Suppose 0 = 2*u + 4*c - 42, 3*u + 0*u - 5*c = v. Is u prime?
True
Suppose -6*b - 15 = -3*b, -5*r - 3*b - 15 = 0. Is 17 + 3 + (-1 - r) composite?
False
Let f = 265 + -66. Is f a prime number?
True
Suppose 4*y - 6*i - 33 = -i, i = -3*y + 1. Suppose 371 = 4*r - 5*v, y*v - 436 = -5*r - v. Is r a prime number?
True
Let q(b) = -b + 5. Let j = 7 - 4. Let p be q(j). Suppose -5*n + 40 = -s, -5*n + p*n + 17 = -2*s. Is n composite?
True
Let w(v) = -v**3 - 6*v**2 - 7*v - 1. Let m be w(-5). Let s(y) = y**3 + 1. Let k(f) = f**3 + 8*f**2 + 8*f + 4. Let z(x) = -k(x) + 2*s(x). Is z(m) composite?
False
Let y(p) be the third derivative of p**6/120 + 3*p**5/20 + 7*p**4/24 - 4*p**3/3 + p**2. Let z be y(-8). Is 47*(-1)/(-1) + z prime?
True
Let y = 581 + -234. Is y prime?
True
Suppose -z = -3*t - 5*z + 14, 3*t + 4 = 5*z. Let d(u) = 64*u - 1. Is d(t) composite?
False
Let h(v) = -34*v - 5. Suppose 0 = 3*d + 33 - 9. Is h(d) a composite number?
True
Let o(n) = 2*n**2 - n - 5. Is o(-4) composite?
False
Let q be 1/((3/171)/(-1)). Let a = 26 - q. Is a composite?
False
Let b(s) = 4*s**3 + 4*s**2 - 4*s - 3. Let m(f) = -7*f**3 - 7*f**2 + 7*f + 6. Let v(o) = -5*b(o) - 3*m(o). Let j be v(0). Is (-46)/j*(0 - -3) a prime number?
False
Let l(p) = p**2 - 7*p + 7. Let o be l(5). Let k be -3*o/9 - 1. Suppose 0 = -j - k*u + 3*u + 12, -5*j - 5*u = 0. Is j prime?
True
Is (261/15)/(1/5) a prime number?
False
Let q = 135 - 78. Is q a composite number?
True
Suppose -25*w = -9*w - 7504. Is w composite?
True
Let j = 5196 + -3527. Is j a prime number?
True
Let h(b) = -b**3 - 5*b**2 + 7*b + 9. Let t be h(-6). Suppose 0*k - 527 = -2*s + k, -3*s = t*k - 786. Is s prime?
True
Let j = -168 - -265. Is j a prime number?
True
Let d = -70 - -549. Is d a composite number?
False
Let u = -5 - -11. Suppose 152 = u*k - 2*k. Is k prime?
False
Let w(j) = -2*j**3 + 2*j**2 + j. Is w(-5) prime?
False
Let g = 0 + 7. Let c = 13 - g. Let m(i) = i**2 + 3*i + 5. Is m(c) a composite number?
False
Let q(b) = -4*b**2 + 26*b + 10. Let z(l) = l**2 - 5*l - 2. Let h(u) = 3*q(u) + 16*z(u). Is h(2) a composite number?
True
Let r be -2 + (1 - 1) + -24. Is (r/(-4))/((-4)/(-24)) prime?
False
Let z(b) = b**3 + 12*b**2 - 3*b - 15. Let i be 1/(-3) - (-245)/(-21). Is z(i) a composite number?
True
Let g(k) = -k**3 + 13*k**2 - 12*k. Let z be g(12). Suppose 0*b + 3*b - 72 = 3*p, z = -b - p + 18. Is b a composite number?
True
Suppose 0 = 4*z + z. Suppose 2*u - 4 = z, n + 3*u + 0*u = 25. Is n composite?
False
Suppose 8 = 3*u - 2*t + 3, -t - 6 = -5*u. Let y(b) = -b + 1 + 5*b**2 - 1 - u. Is y(-2) a composite number?
True
Suppose k - 43 = -w + 139, 0 = 4*w + 12. Is k prime?
False
Let w(b) be the first derivative of b**4 - 7*b**3/3 + 3*b**2 - 4*b - 1. Let o be w(4). Suppose 2*h = -3*x + o, -5*h + x = -2*x - 389. Is h a composite number?
False
Let z(y) = -27*y**2 - y - 5. Let h(r) = -14*r**2 - 3. Let u(m) = 7*h(m) - 4*z(m). Is u(5) prime?
True
Suppose 7*j + 522 = 3301. Is j a composite number?
False
Suppose -2*s + 8 = -8. Is 9/(-6) - (-2644)/s prime?
False
Let v = -71 - -132. Let y = -31 + v. Suppose -3*o + o = -y. Is o prime?
False
Suppose -5*i - 541 = -1536. Is i a composite number?
False
Suppose 5*u + 4 - 14 = 0. Suppose 2*h - 5*m = u, 24 = 5*h - 4*m + 2. Suppose t - h*t = -565. Is t prime?
True
Let u be (-6)/(-2) + (-2 - -3). Suppose -h + u*h = 6. Suppose 265 = 5*z - 2*r, -h*z = -4*r - 49 - 41. Is z a composite number?
True
Let n(o) = 9*o**3 - 3*o**2 - 3*o + 19. Let q(j) = -3*j**3 + j**2 + j - 6. Let g(s) = 2*n(s) + 7*q(s). Let f = -5 - -2. Is g(f) composite?
False
Let x = 7 + 8. Suppose -2*g - j + x = 2*j, 2*g - 5 = -j. Is 37*-1*(g - 1) a prime number?
True
Let w(y) = 984*y + 7. Is w(1) a composite number?
False
Suppose 3*c + 3*d = -2*c + 2240, 4*c + 3*d = 1795. Is c a prime number?
False
Let s = 69 - 112. Let h = -21 - s. Suppose -67 = -n + h. Is n a composite number?
False
Let j = -57 + 184. Is j prime?
True
Is 4 + (-3)/((-6)/8522) prime?
False
Let d be (9/(-6))/(6/(-44)). Let f = d - -4. Is f a composite number?
True
Suppose 3*d + 3*b + 0*b = 33, 4*d - 26 = 2*b. Let j(o) = 14*o - 11. Let g(l) = 15*l - 10. Let i(r) = 6*g(r) - 5*j(r). Is i(d) prime?
False
Suppose -8*t + 231 + 785 = 0. Is t composite?
False
Suppose 2*s - 4*i - 11 - 37 = 0, 3*i = 2*s - 51. Suppose 14 = 2*m - s. Is m a prime number?
False
Let u(y) be the third derivative of -y**6/24 - y**5/15 - 5*y**4/24 - y**3/6 - 3*y**2. Let f be u(-4). Suppose f = 6*n - n. Is n composite?
True
Let i = 1983 + 796. Let s = -1979 + i. Is 2/6 + s/12 composite?
False
Let j(c) be the first derivative of -c**4/4 + 4*c**3/3 - c**2 - c + 3. Let k be j(3). Suppose -k*b + 2*f = -112, -3*f - f = 2*b - 82. Is b a composite number?
True
Suppose -5*o - 4*j + 2095 = -4*o, -o + 2094 = 5*j. Is o a composite number?
False
Let j(b) = 69*b**3 + 2*b**2 - 1. Let i be j(1). Suppose 2*n + 5*y - 26 + 11 = 0, -4*n + 18 = -2*y. Is i/2 + -3 + n prime?
True
Let h = -400 - -941. Is h a composite number?
False
Let b be (-18)/9 - (-1 + 1064). Let d(v) = -v**3 - 5*v**2 + 2. Let k be d(-5). Is b/(-9) - k/(-3) prime?
False
Let j = 10 - 14. Let x(c) = -2*c - 4. Let z be x(j). Suppose 0 = 3*n - g - 285, z*n - 481 = g - 101. Is n a composite number?
True
Let a(k) = 8*k**2 + 6*k - 1. Let m(o) = o**2 + o. Let r(t) = a(t) - 6*m(t). Is r(2) prime?
True
Suppose -120 = -7*m + 2*m. Let b = -43 + m. Let n = 12 - b. Is n a composite number?
False
Suppose 0 = -5*w + 114 + 301. Is w prime?
True
Let p = 10 + -4. Let w = -3 + p. Suppose -3*a = -w*s - 0 - 3, 4*s - 26 = -2*a. Is s a prime number?
False
Let a be -3*(-2 - (-2)/3). Suppose a*r + w - 156 = 63, -4*w + 51 = r. Is r a composite number?
True
Is (-4)/14 - (-28091)/49 prime?
False
Let r(z) = z**2 + 5*z - 9. Suppose 7*h + 