. Let x = -11 - t. Is x a prime number?
True
Let n be 2/(((-4)/6)/(-2)). Let g = n - 3. Suppose 69 = g*z - 0*z. Is z a composite number?
False
Suppose -4*j + 17 = 5*z, 5*j - 14 = -2*z + 3. Let t be (-2)/((4/(-238))/z). Suppose -t + 9 = -2*a. Is a composite?
True
Let w = 1546 - 1103. Is w composite?
False
Suppose 0 = -l - 2*r - 3, -4*l + 2*r + 9 = -3*l. Suppose i + 3*q - 150 = -62, l*q + 307 = 4*i. Is i a composite number?
False
Suppose 2*c = -5*k - 13, 3*k - 2*c - c = -12. Is k/3 - (1 + -76) prime?
False
Suppose -6 = -2*r, -27 = -3*w + 2*r + 2*r. Is w a prime number?
True
Suppose 4*b + 4 = 12. Suppose -5*s + 2*r + 6 = -1, -b*r + 11 = s. Is s prime?
True
Let b(o) = o**2 - 2*o + 2. Let i be b(3). Let z be 2 - (i - (-1 + 2)). Let u = 16 + z. Is u composite?
True
Let u = -4 + 4. Suppose 11 = p + 4*w, 2*p - w - 17 - 5 = u. Is p a prime number?
True
Suppose -12 - 12 = -6*i. Suppose 5*t = 3*v + t - 505, i*v + t - 648 = 0. Is v composite?
False
Let v(r) = -r + 2. Let i be v(-3). Suppose -f = -i*f - 16. Is 2/(f*(-3)/78) prime?
True
Suppose 8923 = 10*p + 153. Is p a composite number?
False
Suppose 0 = -p - 4*q + 91, -4*p - 2*q + 320 = 3*q. Suppose 4*h - 228 - p = -g, 2*g - 586 = -3*h. Is g a composite number?
True
Suppose 6*c - 475 = -5*l + c, -l + 107 = 4*c. Suppose 0 = 5*u - 144 - l. Is u a composite number?
False
Let a = 1538 - 625. Is a composite?
True
Let r(b) = b + 2. Let t be r(-6). Let j be (-2 - 6/t)*-8. Suppose -j*o - m + 187 = 0, -4*o - 3*m + 189 = 4. Is o a composite number?
False
Suppose -103 = 2*z - 389. Is z prime?
False
Suppose a + 69 - 326 = 0. Is a composite?
False
Let s(w) be the third derivative of -w**4/2 - 11*w**3/6 + 4*w**2. Let j(v) = -9*v**3 - v**2 + v. Let c be j(1). Is s(c) prime?
True
Suppose -2*f + 3053 = 5*d, -3*f = -2*f + 1. Is d composite?
True
Suppose -2*c + 35 = 5*i - c, 3*c = 2*i - 31. Is ((-46)/i)/(2/(-8)) composite?
False
Suppose 187 = 3*m + 4*d, -d - 4*d + 55 = m. Suppose -o + 2*o = m. Suppose 8 = -r - 4*k + o, 3*r - 2*k = 101. Is r a prime number?
True
Let z(g) = 15*g - 5. Suppose -6*h + 5 = -43. Is z(h) composite?
True
Suppose 3*k + 14 = 5, 3*y + 3*k - 17328 = 0. Is y composite?
False
Let b(k) = -k**3 + 3*k**2 + 2*k - 2. Suppose -d + 15 = 4*d. Suppose q = 2*q + d. Is b(q) prime?
False
Suppose 2*n + 5*a = 2177, -3*n = -2*n - 3*a - 1116. Is n a composite number?
True
Suppose -21 = -5*v - 3*s, 3*s - 10 = -2*s. Let z = v - 3. Suppose z = 2*i + i - 195. Is i a composite number?
True
Is 1054/3*(-3)/(-2) composite?
True
Suppose -60 = -t + 5*u, 4*u - 276 = -5*t + 5*u. Suppose 0 = 4*y - 5*y + t. Is y a prime number?
False
Let g(r) = -26*r - 21. Is g(-7) a prime number?
False
Suppose 10*t - 702 = 4168. Is t composite?
False
Let q(t) be the third derivative of t**8/20160 + t**7/5040 - t**6/720 - t**5/30 - 2*t**2. Let v(c) be the third derivative of q(c). Is v(4) composite?
False
Suppose 2*b + r = 3691, -3484 = -3*b - 5*r + 2042. Is b composite?
False
Let z be -1 + -18*2/(-3). Let u = 16 - z. Suppose 0 = -u*g + 3*g + 62. Is g prime?
True
Let p = 680 + -482. Let a = p - 43. Is a prime?
False
Let g(x) = 3*x**2 - 4*x + 4. Let r be g(-5). Let b = r - 28. Is b prime?
True
Let x(v) = 2*v - 2. Let u be x(2). Suppose -4*m = -u - 14. Suppose a = -a + c + 2, 3*a - 25 = -m*c. Is a prime?
True
Is (-2)/(-12) + (-66280)/(-48) a composite number?
False
Let h(d) = d**3 - 8*d**2 - 15*d + 15. Is h(10) a composite number?
True
Let h(c) = -c + 7. Let a be h(5). Let b be (5/a)/(3/360). Let p = b + -137. Is p composite?
False
Suppose 5*y - 2*v = 1441, -396 = -2*y - v + 175. Is y composite?
True
Let d(m) = 36*m - 5. Is d(6) composite?
False
Suppose 0 = -5*i + 3*r + 1550, -i + 160 + 157 = -2*r. Is i a prime number?
True
Let f = 1079 - 2185. Let z = -649 - f. Is z prime?
True
Let v be (-2)/10 - (-1)/5. Let y(o) = -o**2 - 8*o - 9. Let q be y(-6). Suppose v = q*s + 4*f - 110, -2*f + 181 - 41 = 4*s. Is s a composite number?
True
Suppose 3*k - 4 = -5*n, 2*k - 3 = -5*n - 2. Suppose 5 = -d + k. Is (-1)/(d + 1) - -82 a prime number?
True
Suppose 0 = z - p - 0*p - 80, -5*p - 230 = -3*z. Is z composite?
True
Let z be -1 + 6*5 - 2. Suppose n - 4*n = z. Let d = n + 56. Is d prime?
True
Let k(b) = b**2 + 5*b + 2. Let s be k(-5). Suppose 0*c = s*c - 38. Is c prime?
True
Suppose 14 - 2 = 3*w. Suppose o - 3 = w*y, -y - 3*y = 5*o + 33. Is 1/y + 43/2 a prime number?
False
Let a be 15/((-8)/(-2) + -3). Let g be -1*(1 + a/(-1)). Suppose -c + g = -1. Is c a prime number?
False
Is (159/9)/((-1)/(-15)) a composite number?
True
Suppose -2*s + 1998 = -3*r, -2*r + 1795 = 2*s - 213. Suppose s + 1842 = -4*p. Is p/(-15) + 4/(-10) composite?
False
Suppose -223 - 116 = -3*t. Is t a composite number?
False
Suppose 5*l + 97 = 562. Suppose 2*x + x = l. Is x composite?
False
Let f = -1 + 21. Is ((-3)/(-2) + -1)*f composite?
True
Let p(w) = 2*w + 2. Let u be p(2). Let c(h) = h**3 - 5*h**2 - 8*h + 9. Let y be c(u). Let k = y + 24. Is k composite?
True
Let x = -454 + 660. Is x prime?
False
Let f(y) = y**3 + 6*y**2 + 3*y - 1. Is f(-4) composite?
False
Suppose 0 = -17*t + 14*t + 1761. Is t a composite number?
False
Let z(t) = -t**2 - 3*t + 2. Let n be z(-4). Is (382/n)/(5 + -6) a composite number?
False
Let h = 6 - 4. Suppose 138 = w + h*w. Is w composite?
True
Let n(b) = 2*b**2 - 5*b - 3. Let g be n(-5). Suppose 0 = 2*u + 4*c - 26, 8*u + 3*c - g = 3*u. Suppose 2*x = -3*v + 113, -x - u = -v + 21. Is v a prime number?
True
Suppose 4*o - 12 = -0*o. Suppose o*x - 1160 = -407. Is x a composite number?
False
Let h be ((-1)/(-3))/(1/18). Suppose 3*u + 5*l = 86 + 160, h = 2*l. Is u composite?
True
Suppose -3*d = -546 + 9. Is d a composite number?
False
Let p be (18978/(-12))/(2/24). Is p/(-24) + (-2)/(-8) a prime number?
False
Suppose 2*o = -2*o + 12. Suppose -3720 = -o*a - 2*a + 5*i, 5*i - 3670 = -5*a. Is a a prime number?
True
Suppose 57 + 121 = j. Suppose -5*x + 62 = -j. Suppose a - 3*f = -0 + 6, f - x = -3*a. Is a a prime number?
False
Let a(x) = 77*x**3 + x**2 + 2*x + 7. Is a(3) a prime number?
False
Suppose 2*b = 6*b - 188. Is b prime?
True
Let w(c) = 2 - 3 + 2*c**3 + 3*c - 3*c**2 + 0*c**3. Let f = 2 + 1. Is w(f) a composite number?
True
Suppose -v + 653 = -3*c - 744, 2*c + v = -928. Let d = c + 668. Is d a composite number?
True
Let a(x) = 2*x**2 - 5*x + 2. Let o be (-4)/(-8)*-10 + 0. Is a(o) a composite number?
True
Let c(o) = 2*o - 2*o - o + 1 - o**2. Let y be c(1). Is 34*(y/(-2) + 1) composite?
True
Let c = -1 + 1. Suppose 6*d - 10*d = 0. Suppose c = -3*r - d*r + 57. Is r a prime number?
True
Let o(b) = b - 10. Let z be o(0). Let k(m) = -m**2 - 15*m - 6. Let p be k(z). Let f = p - 13. Is f a composite number?
False
Let c(q) = 18*q**2 + 6*q + 6. Let b be c(-4). Suppose -4*d + b = -166. Is d prime?
True
Is (-3416)/(-32)*(-1 - -5) prime?
False
Suppose 4*f - 4018 = -2*h, -h - 2003 = -f - f. Is f a prime number?
False
Suppose -5*v - 3*a = -166, 32 = v + 2*a - a. Is v a composite number?
True
Let m be 1568/(-88) + 2/(-11). Let y be (-82)/(-2) + 2/(-1). Let n = m + y. Is n a prime number?
False
Let a(q) = q**3 + 4*q**2 - 5*q + 3. Let l(n) = -n**3 - 5*n**2 + 6*n - 3. Let g(w) = 4*a(w) + 3*l(w). Let c = 17 + -15. Is g(c) a prime number?
True
Suppose -5*z + 10 = -5*n - 10, -23 = 3*z + 4*n. Let t(h) = -44*h**3 - h**2 - h - 1. Is t(z) a composite number?
False
Let n(l) = -10*l**3 + 2*l**2 - l - 1. Suppose 0 = -3*r + 5*j + 14, 0 = -r + 3*r - 2*j - 4. Let c be n(r). Let m = -36 + c. Is m prime?
True
Let a = -7465 - -11408. Is a a composite number?
False
Let o(z) = 2*z**3 - 6*z**2 + 3*z + 1. Let p be o(8). Let f = 10 + -5. Suppose -g - 3*i = -116, -3*i = -f*g - i + p. Is g a prime number?
True
Suppose 0 = -h + 6*h - 5295. Is h a prime number?
False
Is 201 + (-2 - (-1 - 1)) a prime number?
False
Suppose 0 = -5*o + u + 2996, 2*u = -6*o + 7*o - 601. Is o prime?
True
Let b be 1*2 - (13 - 6). Is (14/4)/(b/(-130)) composite?
True
Let f(x) = 71*x**2 + 3*x. Let a be f(-3). Suppose k = 3*w - a, -2*k = -4*w - 3*k + 847. Is w prime?
True
Is (-1)/2 + (-1415)/(-2) composite?
True
Is (-265546)/31*2/(-4) prime?
True
Let y(u) = u**3 - u**2 - u - 26. Let k be y(0). Suppose 5*d + 57 = 6*d. Let c = d + k. Is c a composite number?
False
Let b be ((-1 - 1) + -19)/(-1). Is 6/b - 2301/(-7) composite?
True
Let b = 9 - 