 p - 2*l + l, -5*l = -p + 20. Suppose -t + 4*y - 3*y + 684 = p, 0 = -3*t - 2*y + 2047. Is t composite?
False
Let k(z) = z**3 + 6*z**2 - 6*z + 6. Let i be k(-6). Let f = -28 + i. Suppose -5*g + 4*q = -66, g - 3*q + 2*q = f. Is g composite?
True
Suppose -4*x - 5*l + 1043 = 0, 5*x - 5*l - 312 - 958 = 0. Suppose 16 = 2*q + 2*q. Is (-3 + x)/(q/2) a composite number?
False
Let r(t) = 2*t**2 + 6*t - 7. Let y be (-2 - -3)/((-1)/5). Is r(y) a prime number?
True
Suppose 2*u + 4 = -4*s, -3*s = -2*u + u + 13. Let a(j) = j + 3. Let o be a(s). Suppose -t = -o*t - 127. Is t prime?
True
Let a(d) be the first derivative of -d**2/2 + 133*d - 3. Is a(0) a prime number?
False
Suppose 4*c - 591 = 2*c + z, 0 = 5*c - 4*z - 1485. Is c prime?
True
Let v = 932 - 27. Is v a composite number?
True
Is 215 - (-7)/((-28)/(-16)) composite?
True
Let q(v) = v**3 - 19*v**2 + 12*v + 39. Is q(20) a composite number?
True
Is ((-10)/4)/((-2)/20) composite?
True
Suppose 4*r = 401 + 403. Is r a prime number?
False
Suppose -3*u = -356 - 103. Suppose -j + u = -41. Is j composite?
True
Suppose 11587 = 5*g - 2*j, -j + 2*j = -1. Is g a prime number?
False
Let v(k) = k - 4*k**2 + 3 - 2*k + 5*k**2. Let j be v(0). Suppose 5*h - 5*n - 115 = 0, j*h - 71 - 2 = n. Is h a prime number?
False
Let u = 19 - 14. Let c = 657 + -216. Suppose -u*g = -c - 284. Is g a prime number?
False
Suppose y + 3*p - 80 + 33 = 0, -86 = -2*y + 2*p. Let m be (-598)/(-8) - 5/(-20). Let v = m - y. Is v a prime number?
True
Let p(z) = 2*z**2 - 2*z + 17. Is p(-5) a composite number?
True
Let y(z) = 3*z**3 - 2*z**2 + 4*z. Let r be y(3). Let h = r + -38. Is h a composite number?
False
Suppose 3*g - 387 = 3*f, -2*f + f = 1. Let y = -39 + g. Is y prime?
True
Suppose -2*w - 7 = -4*u - 31, 0 = -2*u - 5*w - 36. Let o = u - -11. Suppose 2*p + p = -2*g + o, -3*g - 5*p + 4 = 0. Is g composite?
False
Is (412/6)/((-10)/(-15)) a prime number?
True
Let f be (3/6)/(3/(-18)). Let r be f/((-2 + 5)/6). Is (3/r)/((-2)/652) composite?
False
Let k(j) = 27*j**2 + 3*j + 2. Suppose -2*t - 1 = s, -2*s + 5*s = -5*t - 1. Is k(s) a composite number?
True
Let q(g) = g**2 - 2*g + 1. Let i be q(4). Is ((-399)/i + 2)*-3 composite?
False
Is (3/2)/((-75)/(-14750)) composite?
True
Is ((-6)/(-4))/(10/220) prime?
False
Let m(a) = -a**3 + 9*a**2 - 15*a + 7. Let z be m(7). Suppose 4*w + 6*o - 3*o - 147 = z, -3*w - 4*o = -105. Is w prime?
False
Let n(m) = -m**3 - 10*m**2 - 9*m + 6. Let z be n(-9). Suppose 2*q - o - 126 = -z*o, 2*q - 118 = -o. Is q a composite number?
True
Let m(p) = -13 + p - 11*p - p. Is m(-6) a prime number?
True
Suppose -810 = 5*g + 160. Let n = 273 + g. Is n a prime number?
True
Let i be 1/(-1*3/(-30)). Suppose -4*s + i + 2 = 0. Suppose s*t - 100 = 5. Is t composite?
True
Suppose -m + 3307 - 100 = 0. Is m a composite number?
True
Let t(r) = 80*r - 13. Is t(4) a prime number?
True
Let s = 48 + -4. Suppose 119 - s = -3*y. Let n = -10 - y. Is n prime?
False
Suppose -3*y = -0*y - 2229. Is y composite?
False
Suppose -15*l = -19*l + 100. Is l composite?
True
Suppose -3*b + 27 = -6*k + k, 3*b = 2*k + 18. Let q = b - 4. Suppose -w + q*w = 4*c + 4, 2*w + 3*c = 2. Is w a composite number?
True
Suppose -4*t + 3*t + 74 = 0. Suppose -c = 3*c - 5*i - t, -2*i - 17 = -c. Is (1 + c)*(-2)/(-4) a composite number?
False
Suppose -4*w + 2*r = -2, -r + 3*r - 2 = 2*w. Suppose -w*s = -4*s + 686. Let c = 500 - s. Is c a prime number?
True
Let m = 805 - -250. Is m prime?
False
Let i(v) = -5*v**3 - 36*v**2 + 45*v + 5. Let u(m) = m**3 + 9*m**2 - 11*m - 1. Let l(t) = -2*i(t) - 9*u(t). Is l(8) composite?
False
Suppose -435 = -7*l + 2*l. Is l composite?
True
Suppose 3*w - 4*k = 5339, -4*w + 3*k + 7114 = -0*w. Is w composite?
False
Suppose -2*i + 78 = 12. Is i composite?
True
Let k = 1921 + -1356. Is k a composite number?
True
Let v be -23*(2 - 10)/2. Let p = v - 62. Is (p/(-8))/(2/(-8)) prime?
False
Suppose 0 = -4*y - 2 + 10. Suppose 237 = y*n + n. Is n a prime number?
True
Let n(p) = -95*p - 17. Is n(-8) a prime number?
True
Is ((-12)/4 + 382)/1 composite?
False
Let x = -60 - -108. Suppose -5*b + 3*b = -4*p + 56, 5*p - x = -3*b. Suppose -k + 49 = p. Is k prime?
True
Suppose -o - 4*h = 196, -3*o - h = 2*h + 570. Let f = -109 - o. Is f composite?
False
Suppose -4*o - o + 1855 = 0. Is o composite?
True
Let g(y) = -y**3 + 8*y**2 - 7*y + 2. Let x be g(7). Suppose 0 = 3*w - 2*r + 4*r - 200, -58 = -w - 5*r. Suppose x*t - 6 - w = 0. Is t a prime number?
True
Suppose -k + 820 = 4*k. Let m = 297 - k. Is m prime?
False
Let v = 1 + 1. Let x be (-3 + 4)*(-2 + v). Is 2 + (38 - (1 - x)) composite?
True
Suppose 104 = -0*p + 2*p. Suppose 274 = 2*t - p. Is t composite?
False
Suppose 4*y = -2*m + 10, 5*y - 3*y - 17 = 3*m. Let f be -4*((-127)/y + -2). Suppose -5*h + f = -20. Is h a composite number?
False
Let y = -6 + 8. Let s = y - -2. Is s composite?
True
Let b = 3 - -124. Is b a prime number?
True
Let t = -2 - -5. Suppose 0 = 7*d - t*d - 268. Is d composite?
False
Let a be 3/(0 - 1/(-10)). Suppose 3*f = a + 42. Suppose -f = -2*m + 150. Is m composite?
True
Let o = 6 - 4. Let t be (-20)/(-6) + o/(-6). Suppose 0 = -t*f + 6, -3*d + 4*d - 12 = -3*f. Is d a composite number?
True
Let t(r) be the second derivative of -r**5/20 + r**3/6 - 5*r**2/2 + r. Is t(-4) prime?
False
Let d(j) = 2*j**2 - j. Let q be d(5). Is ((-14)/5)/((-9)/q) prime?
False
Let q be (-1 + -27)/((-14)/49). Let c = q + -64. Is c a prime number?
False
Suppose -5*t + 3*t = -10. Suppose 0*r = 2*r - u + 3, t*r - 9 = -3*u. Is -2 + r + (20 - 3) composite?
True
Let p(x) = -24*x + 5. Is p(-6) a prime number?
True
Let i = 2 - 0. Let j be (0 + i/2)*-37. Let s = 70 + j. Is s a composite number?
True
Suppose -k - 3752 = -4*c, 3*c - 6*k - 2801 = -2*k. Is 2/9 + c/27 a prime number?
False
Suppose -9 = -5*p - 4*c, -8 = 5*p + c - 29. Suppose 0 = q - p + 3. Let i = q - -1. Is i a composite number?
False
Let g(x) = -6*x**3 - 2*x**2 - 5*x - 4. Let w be g(-3). Suppose 2*h = 6*h + 400. Let k = h + w. Is k a composite number?
True
Suppose 123 = v - 790. Is v composite?
True
Let t be 5 + -2 - (2 + 0). Is t/(2/4) - -77 a composite number?
False
Let u(r) = r + 2. Let o be u(-4). Let m = -5 - -3. Is 2 + o/(m/17) composite?
False
Let o = 85 - -4. Is o prime?
True
Let o be 6/(-9)*15/2. Let f be o/(-10) + (-2022)/(-4). Suppose -4*g + z = -f, -4*z - z - 625 = -5*g. Is g composite?
False
Let c(s) = s**2. Let o be c(2). Suppose o*q - q = -3. Is (-3 - q) + 25 + -1 a prime number?
False
Suppose -k = -2*a + k + 4, -4*a = -2*k - 8. Suppose -5*u + r + 660 = 0, -4*u + a*r = -3*u - 123. Is u a prime number?
False
Let u = -539 + 254. Let v = u + 1100. Is v prime?
False
Let f be 1/2 + (-2664)/16. Let t = 429 + f. Is t a prime number?
True
Let f = -397 - -564. Is f a prime number?
True
Let c be -1 + 1 - -31 - 2. Is c*(2 - 3 - -6) prime?
False
Suppose 3 = 4*f - 5*f - 4*u, -5*f + 3*u = -8. Is f*(-3 - (-16 - -2)) prime?
True
Let z = 16 + -61. Let f(k) = -k - 68. Let v be f(0). Let q = z - v. Is q prime?
True
Let d(f) = 1495*f**2 + 65. Let k(b) = -68*b**2 - 3. Let w(x) = 3*d(x) + 65*k(x). Let h(n) = n - 6. Let i be h(5). Is w(i) a composite number?
True
Let d = 10 + 22. Let x = -102 + d. Let t = x + 119. Is t composite?
True
Suppose -13306 = -v + 3*m, -5*m + m = 2*v - 26582. Is v a prime number?
True
Let i be (-11)/((-33)/1944) + 4. Suppose 0 = -2*g - 2*g + i. Is g a composite number?
False
Suppose 0 = -7*a - 0*a + 1127. Is a prime?
False
Let s be 7 + -5 - 1*-1. Is (2 - 2 - -4) + s a prime number?
True
Suppose 2*i - 4*i - 3*x + 1499 = 0, 4*i = x + 2977. Is i a prime number?
False
Let k(c) = 13*c - c + 0*c - 7 + 0*c. Let x = 11 + -6. Is k(x) composite?
False
Let y(j) = j**2 + 7*j + 7. Let g be y(-6). Let b(k) = -7*k**3 - k + 1. Let q be b(g). Is 0 + (q*9)/(-3) a prime number?
False
Suppose -m = m - 430. Is m a prime number?
False
Is (-3)/(0 - 4/28) a composite number?
True
Suppose 0 = -m + 4*g + 4, -2*m + 2*g = 3*m + 52. Is 182/8 - 3/m a prime number?
True
Is 2244/5 + 9/45 a composite number?
False
Let g = -33 - -95. Let f = -5 - -5. Suppose f*p = -2*p + g. Is p a prime number?
True
Let z(k) = -k**2 + 7*k + 5. Let w = -5 - -5. Suppose -4*q + 5*q = -3, 4*p + 5*q - 9 = w. Is z(p) prime?
True
Let l = 10 + -9. Is (1/(-3))/(l/(-435)) composite?
True
Let w(f) = f - 2*f + f*