 + 353. Let x = 101 - q. Let t = x - -141. Is t a composite number?
True
Let s = -55 + 10. Let r = s - -83. Is r a composite number?
True
Let w(o) = -o**2 + 9*o + 10. Let k be w(10). Suppose 4*l + 359 - 19 = k. Is l/(-2)*(-1 + 3) a composite number?
True
Suppose 2*t = 2373 + 3029. Is t prime?
False
Let z(t) = 95*t + 4. Is z(7) prime?
False
Let l(n) = -378*n + 4. Is l(-1) prime?
False
Let z(o) = -o**2 + 7*o - 4. Let m be z(5). Let k(y) = y**3 - 4*y - 7. Is k(m) a prime number?
False
Suppose -13 = -3*o - 1. Suppose -v + 5*r = -14, 3*r - 12 = o*v - 68. Let k = 1 + v. Is k a prime number?
False
Is 0/4 + 298 - -1 a composite number?
True
Suppose 3*v - 155 = -2*v. Let c = v + -17. Is c a prime number?
False
Let q(r) be the first derivative of r**4/24 + 23*r**3/3 + r**2/2 + 1. Let w(x) be the second derivative of q(x). Is w(0) composite?
True
Let n(b) = -9*b + 0 + 5 - 1 - 10. Is n(-5) a prime number?
False
Let a(g) = g + 3. Let v be a(-3). Suppose v = 4*p + 2 + 6. Is 189 + -1 + 2/p composite?
True
Suppose -7*w = -4*w - 4947. Is w composite?
True
Let s(i) be the third derivative of -19*i**6/120 + i**5/60 - i**4/8 + 2*i**3/3 - 3*i**2. Is s(-3) a composite number?
True
Let d(l) = l + 5. Let p(n) = -n - 4. Let s(i) = -4*d(i) - 5*p(i). Let r(o) = 7*o. Let b(g) = -5*r(g) + 30*s(g). Is b(-5) a composite number?
True
Let x(i) = i**2 - i - 7. Let b be x(0). Let k(o) = -2*o**2 - 25*o + 3. Let c(a) = a**2 + 13*a - 2. Let d(h) = -11*c(h) - 6*k(h). Is d(b) composite?
True
Suppose -5*l - 4*a = -16 - 3, -2 = -2*l + 4*a. Suppose l*v - 2*v = 40. Suppose -k + v = -3*j, 5*k - 2*j - 3*j = 250. Is k composite?
True
Let h = 277 - -175. Suppose 4*m + b = 2*b + 16, 0 = 4*m + b - 8. Suppose m*i = -i + h. Is i composite?
False
Let x be (-2)/(-5) - 2094/(-15). Suppose u + 4*u = x. Suppose 0 = -4*a + 2*a + u. Is a composite?
True
Let o = 8 + -14. Is ((-93)/o)/((-1)/(-2)) prime?
True
Let g = 1 + 1. Suppose -4*r + 4*b = -508, 635 = 5*r - 5*b + g*b. Is r a prime number?
True
Is 6/(-6) + 1722 + 0 a prime number?
True
Let l = -92 - -154. Is l a composite number?
True
Suppose 351 + 1534 = 5*c. Is c prime?
False
Is 0/(-3 + 2) - -31 prime?
True
Let o be 2/10 - (-48)/10. Let m = 44 - o. Is m composite?
True
Let w = -6 + 4. Suppose 5*p + 117 = v, -3*p + 261 = 3*v - 0*p. Is ((-14)/4)/(w/v) a composite number?
True
Suppose 319 = g - 822. Is g a composite number?
True
Let f = 326 - -47. Is f a composite number?
False
Let z = -926 - -1813. Is z composite?
False
Let c be 12/4 - (-2 + 5). Suppose h - 35 = -c*h. Is h composite?
True
Let b = 1 - -5. Suppose 9*y - b*y = 720. Let j = y + -113. Is j a composite number?
False
Is (-1)/(3 + 2230/(-743)) a prime number?
True
Let y(l) be the second derivative of -3*l**5/20 - l**4/12 + l**3/6 + 4*l. Is y(-3) a composite number?
True
Let h = 326 - -141. Is h prime?
True
Suppose -q + 3 + 1 = n, 0 = 5*q + n - 12. Suppose -2*v = 5*f - q, 0 = -2*v + 5*f - f + 20. Let y(c) = -c**3 + 7*c**2 + c + 5. Is y(v) prime?
True
Suppose -2291 + 142 = -7*o. Is o a composite number?
False
Suppose -6 = -f - 2*f. Is (26/(-13))/(f/(-211)) a prime number?
True
Let l be 3 - (3 - 0) - 0. Suppose l = r - 5*q - 75, 2*q + 76 = -3*r + 233. Is r prime?
False
Let z = -1 + 11. Suppose -2*c = -0*c - z. Suppose 2*s - 2*d - 276 = 0, 0*s + 730 = c*s + 3*d. Is s a prime number?
False
Is ((-18)/10)/((-6)/9070) a composite number?
True
Suppose a + 12 = 67. Suppose -a = -5*s - 0*s. Is s composite?
False
Let i(p) = p**2 - 8*p + 5. Let h be i(8). Suppose -4*u - 8 = 4, h*u = 5*f - 410. Is f composite?
False
Suppose 25 = c + 9. Let l = c + 42. Is l composite?
True
Suppose -3*g + 4*v + 272 = -319, 0 = 3*v. Suppose -g + 832 = 5*n. Is n a composite number?
False
Let d = -11 + 6. Let b be ((-2)/(-4))/(d/(-1010)). Suppose 0*f - b = -4*f - v, 3*v = 4*f - 113. Is f prime?
False
Let f(m) = -m**2 - 8*m - 1. Let z be f(-7). Let j(i) = -i**2 + 7*i - 1. Let o be j(z). Suppose 5*c - 4*c = o*y - 110, 0 = -5*y - 4*c + 135. Is y prime?
True
Let m = 179 + 56. Is m a prime number?
False
Suppose 5*j = -5*l + 275, -5*j + 85 = l - 190. Suppose -j = -2*s - 13. Suppose 4*z = -r + s, 0 = 2*r + 3*r - z - 63. Is r prime?
True
Suppose 0 = 5*a - l - 3150, 3*a - 18 = -2*l + 1885. Is a composite?
False
Suppose o = -4*d + 13, -3*d = -4*o - o - 4. Let f be o + 2/2 + 522. Is f/28 + 4/14 prime?
True
Suppose 5*l - 5*m = 95, 4*m + 0 = -20. Is l composite?
True
Suppose -s = 3*s - 1716. Let f = 766 - s. Is f prime?
True
Suppose 0 = -2*z + 7*z - 5. Let m(n) = -n**2 - 2*n + 1. Let s be m(1). Is 46/z*(-1)/s a composite number?
False
Let r be (4 - 3)*(-12 + -1). Let k = r - -26. Is k composite?
False
Suppose 0 = -5*f + 11910 + 9505. Is f composite?
False
Suppose -345 = -4*t + t. Is t a prime number?
False
Let j(g) = g**2 - 1. Let y(p) = p**3 + 8*p**2 - 7*p + 1. Let o(w) = -2*j(w) + y(w). Let u be o(-6). Let v = 8 + u. Is v a prime number?
True
Let z be -2*(-3 - 316/(-8)). Suppose y + 4*y = -530. Let h = z - y. Is h a prime number?
False
Suppose 2*l - 1499 = k, -12 = -5*k + k. Is l composite?
False
Let j = -167 + 290. Let l = -70 + j. Let f = 90 - l. Is f a prime number?
True
Let o(q) be the third derivative of 3*q**5/20 + q**4/8 + q**3/2 - 4*q**2. Is o(-2) composite?
True
Let c be (3/3)/((-3)/(-12)). Let a(f) = 18*f + 5. Is a(c) prime?
False
Let f = 213 + -140. Let c = -35 + f. Let o = 73 - c. Is o prime?
False
Let s(t) = 19*t**2 + t + 1. Suppose 5*b = 3 + 7. Suppose 3*k + b + 1 = 0. Is s(k) a composite number?
False
Let f(y) = -y**2 + 2*y + 887. Is f(0) a composite number?
False
Suppose -3*n + 2*a = -147, -3*n + 0*a + 147 = -a. Is n a prime number?
False
Suppose 2*z - 14 = -2*z - 3*s, -z - s + 4 = 0. Suppose -m - z*c - 5 = 0, 0*c + 47 = -5*m + c. Let g = 23 + m. Is g a prime number?
False
Suppose 250 = 2*r + 3*r. Suppose r = 3*i - 55. Is i a prime number?
False
Let k be (1 - -14) + (-8)/(-4). Suppose -5*u = -47 + k. Is (50/(-4))/((-3)/u) a composite number?
True
Suppose o = -4*c - 11, 0 = o - 2*c - 3*c - 7. Is ((-15)/10)/(o/76) a prime number?
False
Suppose 2*x - 15 = -5. Suppose -x*z + 0*u = u - 20, -3*z + 2*u + 25 = 0. Suppose -5*n = -0*r + r - 105, 2*r = -z*n + 190. Is r a prime number?
False
Suppose 140 = 5*r - 4*n, 1 = r + 5*n + 2. Let c(k) = 1 + k - 3*k - k + r*k**2. Is c(2) composite?
True
Suppose 2*g = 4, 0*u - 4*g = u - 29. Is u prime?
False
Let o = 47 - 24. Let q = o - -60. Is q prime?
True
Suppose 4*k = 3*x + 745, -5*x = -5*k + 880 + 50. Is k prime?
False
Suppose -3*w + w + 36 = 0. Suppose w = 2*j + j. Suppose 5*t + j*v - 2*v - 295 = 0, 3*t + v - 177 = 0. Is t a composite number?
False
Let n(f) = -f**2 - 2 - 12*f + 14 - 1. Is n(-10) prime?
True
Let g = -136 - -248. Let v(a) = 3*a**3 + 5*a**2 - 3. Let o be v(5). Suppose -g = 5*n - o. Is n a composite number?
True
Suppose -2*t = -324 - 150. Is t a composite number?
True
Let q = -1184 - -1747. Is q a prime number?
True
Suppose -4*n + 380 = 4*q, 5*n + 4*q = 396 + 81. Is n composite?
False
Suppose -3*a = 12*a - 10095. Is a a composite number?
False
Let k = 85 + -34. Suppose 6*v - v - 628 = -4*z, -3*v + 4*z + 364 = 0. Suppose -3*j + v = 3*h - 29, h - j = k. Is h composite?
True
Let n = -29 - -18. Is -1*(n*3 - -2) prime?
True
Let a(t) = -3*t. Let g be a(-1). Suppose 0 = 4*h + 3*c - 104, 2*h - 35 = h - g*c. Is h composite?
False
Is (1 - -907) + (0 - 1)/1 a composite number?
False
Suppose 4*k + 5*r - 136 + 29 = 0, 0 = 3*r + 3. Suppose 47 = 5*n - 3*f, -3*f - 5 + 48 = 4*n. Suppose -y + k = -n. Is y prime?
False
Let i = 1416 - -1621. Is i prime?
True
Suppose d - 1655 = -3*q + 8*q, -3*d + 3*q + 4941 = 0. Suppose -2*w - d = -7*w. Is w a composite number?
True
Suppose t = -34 - 69. Let y = -44 - t. Is y composite?
False
Let f = 1001 + -707. Let o = f - -107. Is o a prime number?
True
Suppose -3*d + 2*x - 375 = -4*d, -x - 1097 = -3*d. Is 1 + (-1 + d)/3 composite?
True
Suppose -3*i + 2747 = -1336. Is i prime?
True
Let t = -24 + 47. Is t composite?
False
Suppose 21*i - 99560 = 3403. Is i a prime number?
True
Let h(q) = q**2 - 2*q + 5. Let j be h(-7). Suppose 16 - j = -4*i. Is i prime?
True
Let o(h) = -3*h - h**2 + h**2 - 14*h + h**2 + 8. Let z be o(8). Let g = z - -117. Is g a composite number?
False
Suppose -2*q = 5*h - 5, -3*q = 3*h - 1 - 11. Suppose q*l - 1443 = -313. Is l a composite n