. Is t a composite number?
False
Let c = 368 + 182. Suppose 11*j = 4*j - 2429. Let a = c + j. Is a a prime number?
False
Suppose 2*s + 829 = 3023. Is s a composite number?
False
Suppose 3*y - 74 - 424 = 0. Is y a composite number?
True
Let a(p) = -p**3 + 3*p**2 + 2*p - 4. Let g be a(3). Suppose -g*s - 3*s = -1735. Is s prime?
True
Suppose 0*u - 1 = u - 2*a, 4*u = -a + 14. Suppose u*w - 5*w + 52 = 0. Is w prime?
False
Is (7 - 3)/(-1)*(-2246)/8 prime?
True
Suppose -3*o = 10*o - 12701. Is o composite?
False
Suppose 5*n - 7 = -2*f + 27, 0 = 2*n - 4*f - 4. Is (n + -9)/((-3)/191) a prime number?
True
Is 3086 + 3*4/(-12) a prime number?
False
Suppose 2*d - 1694 = 2*m, -4*d + 3*m = -3518 + 126. Is d prime?
False
Let j = 0 - -1. Is -3*(j - 0) - -29 a composite number?
True
Let x(d) = -d - 4. Let a(o) = o - 1. Let m(q) = 3*a(q) + x(q). Let s be m(5). Is s/(-2 + -1)*-35 a composite number?
True
Suppose 2*x - 50 = 4*u, -3*x + 0*x = u - 47. Let m = x - 14. Is m prime?
True
Let m(t) = -t + 1. Let o(v) = 14*v + 2. Let q(k) = 3*m(k) + o(k). Suppose -18 = -2*a - 3*r, 0 = -2*a - 2*a - 2*r + 28. Is q(a) a prime number?
True
Let z(c) = -3*c + 9. Let d(j) = -2*j + 10. Let s be 2/6 - (-11)/3. Let a(x) = s*d(x) - 5*z(x). Is a(6) prime?
True
Suppose -2*q - q - 219 = 0. Let h = q - -124. Is h a composite number?
True
Suppose 3*h = -5*m + 316, -158 + 398 = 2*h - 4*m. Is -68*(-7)/(h/12) a composite number?
True
Let n = -12 - -3. Is (-114)/n*(-42)/(-4) a composite number?
True
Let x = -5 - -8. Let o = -2 + x. Let f(v) = 16*v**2 - 2*v + 1. Is f(o) a composite number?
True
Let y(q) = -q**3 + 9*q**2 - 6*q - 7. Is y(7) composite?
True
Let i be 10/((-2 - 1)/3). Let y = i + 20. Is y composite?
True
Is (-862)/(-2 + (-4 - -5)) a prime number?
False
Let f = 1447 + -92. Is f prime?
False
Let i be (-4)/(-18) + (-6)/27. Suppose -3*n + 894 = -i*n. Is n a composite number?
True
Is (28/(-21))/(4/(-1986)) composite?
True
Let j(z) = 164*z - 11. Is j(5) a composite number?
False
Suppose -w - 289 = -3*k, -3*w + 10 = 4. Is k/(32/(-12) + 3) prime?
False
Suppose 3*w - 514 = w. Is w prime?
True
Let t = -17 - -13. Is (-2186)/t + 3/6 prime?
True
Let s be (-8)/3*(-3)/2. Suppose -10 = -0*v - 5*v + 3*w, 10 = 5*v - s*w. Suppose -v*z - 3*z + 190 = 0. Is z composite?
True
Let w = -5 + 7. Suppose w*t - 45 - 25 = 0. Is t a composite number?
True
Let h be 6/(-33) - (-270)/33. Is (2230/(-40))/((-2)/h) prime?
True
Let x(m) = -5*m**2 + 3*m - 39. Let c(w) = -2*w**2 + w - 13. Let d(a) = 8*c(a) - 3*x(a). Is d(0) composite?
False
Suppose 0 = 3*f + 2*a + 3, -2*f + 4*a - a = 2. Is 1 + -4*3*f a prime number?
True
Is 8/4 + 0 + 89 a prime number?
False
Suppose -4*x = 729 - 3377. Is x composite?
True
Suppose -2*u - 3*v = 8, u - 4*v + 3*v = 6. Suppose -4*n + u*n = -38. Is n a prime number?
True
Let a(v) = 3 - 4*v + v - 1704*v**2 + 1738*v**2. Let b be 2/(-3) - (-24)/9. Is a(b) a composite number?
True
Suppose 4*k - 40 = 3*z - 5, 45 = 4*k - 5*z. Suppose 0 = k*j - 10*j + 2345. Is j a prime number?
False
Let a be -13*(-1 + 30/(-3)). Let v = a - 76. Is v composite?
False
Suppose 10 = -3*f - d - 3*d, 5*d + 22 = f. Suppose -f*k - 2*k + 464 = 0. Let h = -47 + k. Is h prime?
False
Suppose 4*c + 2 = -3*q + 3, -4*q + 3*c = 7. Let h be 2 - (-2 + (q - -3)). Suppose -h*k = -15 + 3. Is k prime?
False
Let t(q) = -q + 5. Let l be t(11). Let c be 2/(l/15 + 0). Let i(o) = 3*o**2 + 4*o - 2. Is i(c) prime?
True
Suppose 6 = 3*k - 0. Suppose 7*c + 2*j = 2*c + 267, k*j = 5*c - 263. Is c composite?
False
Let d(h) = -39*h + 18. Is d(-7) composite?
True
Suppose 2*l - n + 15 = 0, 0*n + 30 = -5*l + n. Let i(m) = m**2 + 4*m - 3. Let u be i(l). Let t(s) = 10*s**3 - s**2 + 2*s - 1. Is t(u) prime?
True
Suppose -2*l - 5*f + 161 = -0*l, 0 = 5*l + f - 414. Is l - (-3 - -2 - -1) prime?
True
Let x = -16 - -23. Let v(z) = -3*z**3 + 38*z**2 + 23*z - 9. Let l(t) = -t**3 + 13*t**2 + 8*t - 3. Let n(d) = -17*l(d) + 6*v(d). Is n(x) composite?
False
Suppose 0 = 3*u, j - 5*u + 8 = 3. Is (-372)/(-10) - (-1)/j composite?
False
Let g(z) = 3*z**3 + 9*z**2 + 3*z + 17. Is g(10) composite?
False
Suppose i + 15 = 6*i. Suppose q - 20 = -i*q. Suppose q*b - 8 = 2. Is b prime?
True
Is -3*(2 - 503) + 10/(-5) prime?
False
Suppose -7*q + 12056 = q. Is q a prime number?
False
Let a = 411 - 212. Is a prime?
True
Let a be 5*(-2 - -3) + -3. Suppose 0 = a*u - 22 - 20. Is u a composite number?
True
Let u(n) = 26*n - 6. Let z be (-424)/(-40) + 4/10. Let q be u(z). Suppose -2*r - 90 + q = 0. Is r a composite number?
True
Suppose 2*l - 1277 = -3*g, -2*l - 3*l = -5*g - 3130. Suppose 5*k - l = -4*q, -4*k + q = 5*q - 504. Is k composite?
False
Suppose 0 = 2*o - 4886 - 1228. Is o a prime number?
False
Let g = -1002 - -3055. Is g prime?
True
Suppose 0 = -5*k + 5*w + 1040, 4*k - 784 = -w + 63. Is k composite?
False
Let c(h) = 21*h**2 - 8*h - 6. Is c(5) composite?
False
Let r be 2/(-3)*24/(-16). Is 3971/22 - r/(-2) a composite number?
False
Let h = -1029 + 2894. Is h a composite number?
True
Let n = -923 - -1302. Is n a prime number?
True
Let o = 17 + -10. Let k(p) = -4*p**2 - 7*p + 5*p**2 + o - 2*p**2. Is k(-6) a composite number?
False
Suppose 0 = 2*i - 5*i + 1455. Suppose x + 1370 = 6*x. Let t = i - x. Is t composite?
False
Suppose 0 = 2*r + 4*l + 6, -4*r + 5*l = r + 15. Suppose -2*x - x + 27 = 0. Let d = r + x. Is d composite?
True
Let v(x) = 546*x**2 + 17*x - 2. Is v(-3) composite?
False
Let f(c) = -c - 3. Let q = 10 - 15. Let z be f(q). Suppose 4*n - 4*s - 140 = 0, z*n - s - 68 = 2*s. Is n a composite number?
False
Let z(j) = -4*j**3 - 17*j**2 - 16*j + 20. Is z(-11) a prime number?
True
Suppose -u = 4*u - 1300. Suppose -4*g + 36 = -u. Is g a composite number?
True
Let i(f) = -9*f - 5. Suppose -5*g - 36 = -6. Is i(g) a composite number?
True
Suppose 2*b - 2*h = -14, 3*b - 2*h + 50 = -2*b. Let q = -6 - b. Is q a composite number?
True
Suppose 4*d = 2*d + 20. Suppose -d = -2*h + 10. Is h a composite number?
True
Let j be (-3)/(3/(-164) + 0). Suppose 0 = -2*h - 5*t + 1420 + j, 5*h - 5*t = 3995. Is h prime?
True
Suppose -o + 4*o - 6 = 0. Let p be (2 + o)/(0 + 2). Suppose -p*f - 28 = -6*f - 3*b, 3*b = -f - 2. Is f prime?
False
Is 28650/70 - (-2)/(-7) a composite number?
False
Let i(b) = -b**3 - 8*b**2 + 10*b - 3. Suppose 2*g = 8 - 24. Let d be i(g). Let y = 62 - d. Is y a composite number?
True
Suppose 62 = 4*y - 2*c - 18, y - 17 = -c. Is y composite?
False
Suppose -375 = 2*o + 3*o. Let z = 186 + o. Is z prime?
False
Suppose -l + w = -3*w + 13, -3*l + 5*w - 11 = 0. Suppose -l*k - 2*k = -195. Let q = k + 19. Is q a prime number?
False
Let h = 3 - 3. Let r be (h/1)/(0 - 1). Suppose 5*b + v = b + 28, 3*b - 3*v - 21 = r. Is b prime?
True
Suppose -b - 4086 = 5*x, 0 = 4*x - 0*b - b + 3267. Let y = x + 1286. Is y prime?
False
Let a be ((-2)/(-3))/(3/9). Suppose -a*k = -71 - 349. Let l = k + -113. Is l a composite number?
False
Suppose 6*n - 224 = 5*n. Let u = n - 85. Is u a prime number?
True
Let w(p) be the first derivative of 11*p**4/2 + p**2/2 - 2. Suppose -2*l - 2 = 2*a, -3*a + 6 = -6*a. Is w(l) a prime number?
True
Let c be -1 - (0 + -2 + 1). Suppose c = f - 2 + 6, 4*d + f = 196. Suppose -2*x = -7*x + d. Is x prime?
False
Let c be 95 - (-2 - -2 - 0). Suppose c = -4*x - 57. Let o = -7 - x. Is o a composite number?
False
Let t = -3 - -3. Suppose -s - 2*s = t. Let j(o) = -o + 19. Is j(s) a composite number?
False
Let q(l) = -l**3 + 2*l**2 + l + 395. Is q(0) composite?
True
Let c(q) be the third derivative of q**5/60 + 5*q**4/24 + 5*q**3/6 - 2*q**2. Suppose 2*y + 10 = -4. Is c(y) a prime number?
True
Let p(h) = -2*h - 9. Let i be p(-7). Suppose a = -0*g + g + 236, 710 = 3*a - i*g. Is a composite?
True
Let b(v) = v**3 - 3*v**2 + 3*v - 1. Let i be b(2). Let z be (-1)/((i/(-2))/1). Is ((-11)/(-2))/(z/4) a composite number?
False
Let v = -137 - -206. Is v a prime number?
False
Let b = 4 + -1. Suppose 4*s - 3*l - 461 = -8*l, 0 = -b*s - l + 332. Is s prime?
True
Let h(z) = -4001*z**3 + z**2 - 1. Is h(-1) prime?
True
Is 9 + 2004 - (-5)/1 prime?
False
Suppose 0 = 3*t - 5*s - 37, -2*t - 2*s + 6 = 2*t. Suppose 0 = 4*y + 4, -y - 311 = -t*n - 114. Is n a prime number?
False
Let o = 786 - 504. Suppose -4*h - 632 = -c, 2*h + 4*c + 52 = -o. Let x = 226 + h. Is x a prime number?
True
Let g be (-1)/(((-2)/(-2))/