et k = c - -7. Let z = k + 6. Is z composite?
False
Let t(y) = 7*y + 3*y**2 + y**2 - 2*y - 1. Is t(-4) a prime number?
True
Let a = -164 - -375. Is a prime?
True
Let y be (-3 - -1) + 12/3. Let a = 3 + y. Suppose -3*i - 6 = -a*i. Is i a prime number?
True
Let v = -2 + 8. Suppose -7 = -l + v*m - m, 0 = 3*m. Is l prime?
True
Let g(w) = 36*w**2 + 3*w - 1. Is g(2) a composite number?
False
Suppose 40 = 3*l + 2*l. Let c(h) be the first derivative of h**3/3 - h**2/2 + 11*h + 12. Is c(l) prime?
True
Let w be (12/15)/(4/20). Suppose w*u - 522 = 314. Is u a prime number?
False
Let c(j) = 63*j**2 - 2*j - 1. Let z be c(-1). Suppose 166 = 2*d - z. Is d prime?
False
Let w(x) = -x**2 - 12*x + 2. Is w(-6) a prime number?
False
Let z = 6 + -1. Suppose 0 = z*b + 49 - 714. Is b a prime number?
False
Let q = 70 - 28. Suppose -n + 107 = -q. Is n prime?
True
Let d(c) = c**3 + 22*c**2 + 16*c + 4. Is d(-21) composite?
False
Suppose 0 = 5*c + 3*o + 6, 4*c + 10 = 3*c - 5*o. Suppose -5*i - 104 = -4*y, -y - 4*i + c*i = -5. Is y a composite number?
True
Let l = -5 - -7. Suppose -l*q - q + 12 = 0. Is (2/q)/((-1)/(-170)) composite?
True
Let m be 24*(1 - (-6)/(-9)). Suppose -p = 3*p - m. Is 370/p + 1 - 1 a prime number?
False
Suppose -3*n + b = 6*b - 6729, -6729 = -3*n + 2*b. Is n prime?
True
Is (1/1)/(9/8271) prime?
True
Suppose c = 5*y - 12, 1 = 2*y - 5. Suppose 2*t - c*t = -77. Is t composite?
True
Let c be -49 - (-1 - (-1 - -1)). Let a = c - -70. Is a a composite number?
True
Suppose -2*y - 16 = -3*y. Let r be 3*1/3*y. Let g = -2 + r. Is g a composite number?
True
Let z(g) = -g**3 + 8*g**2 - 3*g - 2. Let a(y) = -2*y - 6. Let d be a(-6). Let j be z(d). Suppose -b - b = -j. Is b a prime number?
False
Let o(z) = 3*z**2 - 13*z + 9. Is o(-10) a composite number?
False
Suppose -5*f = -6*f + 5, -3*h - 4*f = -5603. Is h composite?
False
Let y(b) = -5*b - 5. Let z(x) = -x**3 - 4*x**2 + 5*x + 1. Let s be z(-5). Let h(g) = -g - 1. Let a(o) = s*y(o) - 4*h(o). Is a(-8) a composite number?
False
Let o(x) = x**3 - 2*x - 3. Is o(4) a composite number?
False
Suppose -16 = -2*t - 2*t. Suppose -5*g - 3 = -t*q, 5*g + 2 = 5*q - 3. Suppose -13 = -q*a + 15. Is a a prime number?
False
Is ((-1)/(-1))/(2/514) composite?
False
Let x be 3/(-12) + 390/(-8). Let y = -27 - x. Suppose y = -4*g + 66. Is g a composite number?
False
Let x(w) = -110*w + 1. Let r = -9 + 10. Suppose o + 2*m - 4 = r, -o = -3*m + 10. Is x(o) a prime number?
False
Let r be (3 - (-436)/2) + 1. Is 1/(-2) + r/4 a composite number?
True
Suppose -2*d - 3*d = -3395. Is d a prime number?
False
Is (34 + 0)/((-1)/((-501)/6)) composite?
True
Let h = 550 - -195. Is h a prime number?
False
Let r(y) = 22*y**2 + 8*y - 49. Is r(-15) prime?
False
Let u = 155 + 152. Is u a prime number?
True
Let s(j) = 3*j + 4. Let r be s(3). Let n(l) = l**2 - 9*l + 16. Let f be n(7). Suppose r = -f*o + 39. Is o prime?
True
Let p be -1 + 0 + (-30)/(-2). Suppose -5*x - 142 = -447. Suppose 0 = -5*d + p + x. Is d composite?
True
Suppose -2*u + 0*u = -14. Let f = 20 - u. Suppose f = -3*m + 82. Is m a composite number?
False
Is (17 + -14)/(3/131) a composite number?
False
Let s be 2/8 + (-60)/(-16). Let m be (-4 - (3 - s)) + 7. Suppose -m*u + 78 = x, -5*u - 5*x + 96 = -9. Is u composite?
False
Suppose 4*i - 558 = i. Let v = i + 63. Is v prime?
False
Let u(y) = 3*y - 1. Let b be u(2). Suppose 135 + 17 = 4*x. Suppose b*g - x = -3. Is g a composite number?
False
Suppose -a = 3*a - 12. Suppose 2*n = a*f + 418, -n + 5*f = -188 - 35. Is n prime?
False
Let u = 3 - 8. Is 18 + 4 + u + 2 composite?
False
Suppose -1 - 9 = -5*k. Suppose 2 - 16 = -k*w. Is w a composite number?
False
Suppose -2*s + 20 = -s. Let j(a) = 7*a**2 - 1 - 4*a**2 - s*a + 17*a. Is j(-3) a prime number?
False
Suppose 0 = -13*b - 4*b + 1105. Is b a composite number?
True
Let m(f) = -2*f - 1 + 0*f + 5*f + f**2. Let p be m(-4). Is (-3)/(p - 0)*-113 a composite number?
False
Let g(r) = 42*r - 3. Let m be g(3). Let i = m - 64. Is i prime?
True
Suppose -5*r = -20, -2*r + 16 = 3*a + 149. Let f = a - -107. Suppose -3*w + 321 = -f. Is w a composite number?
False
Suppose -r = 3*i - 392, 3*i = -2*r + 5*r - 1236. Let n(y) = -142*y**2 + y + 1. Let p be n(-1). Let g = r + p. Is g a composite number?
True
Let p be -1 + -3 + 4 + -32. Let j = 113 - p. Is j prime?
False
Let l = 17 - 12. Let j be 1 + l/1 + -2. Suppose j*g - 10 = 82. Is g composite?
False
Let v(c) = -c**2 + c + 1. Let s(h) = 9*h**2 - h - 11. Let q(n) = s(n) + 4*v(n). Is q(-5) a prime number?
True
Suppose h - 701 = -0*h. Is h a prime number?
True
Let w(v) = -2*v**3 - 6*v**2 + 6*v + 9. Is w(-5) a prime number?
True
Let o be ((-9)/12)/(2/(-8)). Let k = 18 + 52. Suppose k = o*v - v. Is v composite?
True
Suppose -5*i + 10*i = -4*p - 64, 0 = p - 2*i + 29. Let o be (2 + -1)/((-1)/p). Let h = 16 + o. Is h a composite number?
False
Let m(h) = h**2 + 24*h + 10. Is m(13) composite?
False
Is 4*81 - (-5 + 6) prime?
False
Suppose 4*a - 3158 = 1898. Let g = a + -585. Is g a prime number?
False
Let l = 14583 - 8230. Is l prime?
True
Suppose -j - 3 = -z, -3*j + 31 = 2*z - 0*z. Suppose 2*h + 2*v - z = -0*h, -4*v - 14 = -h. Let o(p) = 2*p**2 - 4*p + 5. Is o(h) composite?
False
Let c be (-40)/(-16)*(-8)/(-10). Is c/7 - (-2031)/21 a prime number?
True
Is ((-293)/(-4))/((-4)/(-16)) prime?
True
Suppose 308 = 4*q - 8. Is q a prime number?
True
Let r(d) = 22*d**3 - 2*d + 1. Suppose 2*t + 3 = 5*t. Is r(t) prime?
False
Let h(p) = 34*p**2. Let u be h(1). Let f = u - 21. Is f composite?
False
Let g(b) = -b**2 - 12*b - 6. Let k be g(-11). Let m(r) be the second derivative of -r**5/20 + 7*r**4/12 + 7*r**3/6 + r**2 - r. Is m(k) a composite number?
True
Suppose 0 = -4*m + 16 + 4. Suppose -m*g - 4*r + 335 = -6*r, 3*g - 2*r = 197. Is g a composite number?
True
Let y(f) = 1085*f**2 + 5*f + 7. Is y(-2) a composite number?
False
Let t = 1 - -1. Is (t - 5)/3 + 11 prime?
False
Let g = -2051 + 3852. Is g prime?
True
Suppose 33 = -0*o + o. Is o composite?
True
Suppose 2*v - 5*g - 209 - 50 = 0, 0 = 4*v - 2*g - 510. Is v a composite number?
False
Suppose 3*z - 100 = 113. Is z a composite number?
False
Suppose 0*k + k = 4*y - 17, -2*k = 4*y - 26. Suppose -f = -5*f - 5*o + 360, k*f + 2*o - 263 = 0. Is f a prime number?
False
Let y = 1 + 0. Let m(t) = -83*t**3 + 3*t**2 + 6*t. Let h(d) = -84*d**3 + 2*d**2 + 5*d. Let a(n) = -5*h(n) + 4*m(n). Is a(y) composite?
False
Let x(z) = -z**3 - 19*z**2 - 23*z - 7. Is x(-18) prime?
True
Let i be 16/(2 + -6) + 136. Is (i/(-24))/(1/(-86)) a prime number?
False
Let i(y) = -3. Let f(h) = -4. Let j(o) = 5*f(o) - 7*i(o). Let s(w) = 5*w + 4. Let b(q) = 5*j(q) - s(q). Is b(-5) composite?
True
Let k(r) = -r**3 + 14*r**2 - 14*r + 14. Let d be k(12). Is (d/4)/(4/24) prime?
False
Suppose 5*i + 5*k - 1171 = 2*k, 0 = 4*k - 8. Let c = i + 489. Suppose -v + s - c = -6*v, -4*s - 737 = -5*v. Is v a composite number?
True
Let u = 150 - 12. Suppose 5*o = -2 - 23, -5*o - u = -n. Is n a prime number?
True
Let o = -19974 + 29845. Is o composite?
False
Let b(z) be the second derivative of -z**5/10 + z**4/6 + z**3/3 + z**2/2 - 3*z. Let l be b(-1). Suppose 48 = -l*u + 213. Is u composite?
True
Let h = -8 + 45. Let g = h - 12. Let y = 38 - g. Is y prime?
True
Let v = -565 + 1324. Suppose v = 4*u - d, 5*d = 4*u + d - 744. Is u prime?
True
Let b be (-2)/(-1 + (-6)/(-4)). Let t(x) = -x + 1. Let p be t(b). Suppose -176 = -p*l + 149. Is l prime?
False
Suppose 2*l - 3*g = 526, 2*g - g - 510 = -2*l. Is l a composite number?
False
Let q(j) = j**3 + 10*j**2 + 9*j + 2. Let i be q(-9). Suppose u - i*r - 9 = -r, 0 = 3*u - 4*r - 22. Is u prime?
False
Let c be -2 + 1 + 3 + -2. Let z(l) = -1 + 3*l + l**2 + c*l + 4. Is z(-6) a prime number?
False
Suppose -z = -237 - 110. Is z a prime number?
True
Let t(l) be the second derivative of l**4/12 - l**3/6 - 7*l**2/2 + 3*l. Is t(-6) composite?
True
Suppose -3*w = 2*r - 355, -r - 4*r + 899 = -4*w. Is r a prime number?
True
Let l = 5 + -2. Suppose l*j - 126 = m, 3*j + 0*j + 261 = -2*m. Let k = 214 + m. Is k prime?
False
Let q(u) be the second derivative of -u**5/20 - u**4/12 - u**3/6 + 35*u**2/2 + u. Is q(0) composite?
True
Suppose 3*u - 45 = -2*u. Let v = -8 + u. Let c(j) = 218*j**3 - 2*j**2 + 1. Is c(v) composite?
True
Let k be 1 + -2*4*-1. Suppose 2*q - o = -10,