6. Let y be g(6). Let p = 13 + -21. Let n = y - p. Is n composite?
True
Suppose 0*j = 3*j + d + 3, -4*d = -4*j - 20. Let h(q) = -q - 2. Let r be h(j). Suppose -4*a + 3*n + 157 = -r*a, -n = 4*a - 145. Is a a prime number?
True
Let x(u) = 5*u**3 - u**2 - 24*u - 5. Is x(13) a composite number?
False
Let a = 163 - 76. Is a a composite number?
True
Let o be (30/9)/(1/9). Suppose 5*t - 50 = 4*p, -o = 2*t - 5*t - 2*p. Suppose 2*f = 8 + t. Is f composite?
True
Let n be (2 - 16)/(-3 - -1). Let i be (1 + 3)*n/4. Suppose -5*x - 4*k + 5 = -40, 4*k = -x - i. Is x a composite number?
False
Let w be ((-3)/(-4))/((-1)/(-264)). Suppose 5*a = 4*y - y - 242, 4*a - w = -2*y. Is y a prime number?
True
Let x = -35 - -54. Is x composite?
False
Suppose 10*r + 9544 = 18*r. Is r a composite number?
False
Let b = 3 - -1. Is (153/(-12))/((-1)/b) composite?
True
Let d(r) = r**3 - 4*r**2 + 4*r - 5. Let b(g) = g**3 - 3*g**2 + 4*g - 5. Let k(w) = 2*b(w) - 3*d(w). Let u = 2 - -2. Is k(u) prime?
False
Let g be 4/22 - (-516)/66. Let i = g - 13. Is -17*(i - (4 + -2)) prime?
False
Suppose -252 - 104 = h. Let y be h/(-10) - 3/5. Let l = y - -48. Is l a composite number?
False
Suppose -5*g + 1888 = -1497. Is g composite?
False
Let f(u) = u**2 - 9*u + 3. Let t be f(9). Suppose 1406 = 3*b - t*l + 4*l, -5*b + 4*l = -2349. Is b prime?
False
Suppose 1 = 2*k - 7. Is -3 + (k - 1) + 331 composite?
False
Let q = -24 + 113. Is q composite?
False
Let z(q) = -223*q + 8. Is z(-3) a prime number?
True
Let u(k) = -2*k**3 - 3*k**2 + 6*k + 4. Let o be (3 - -2)/(-2 - -1). Is u(o) a prime number?
True
Suppose -h - 4 = h. Is (-561)/(-15) + h/5 composite?
False
Suppose -2*j = 2*s - 1578, -2*j - 5*s + 143 = -1420. Is j a composite number?
True
Let f be (-56)/6 - (-2)/(-3). Let j(x) = 0*x**2 - 2*x**3 - 13 + 5*x - 9*x**2 + x**3. Is j(f) a prime number?
True
Let x = -15 + 33. Is x - (-3 - -3) - 3 composite?
True
Let d be (-80)/(-8) + -1*1. Let y = -7 + d. Suppose -2*g + 97 = -q - 4*q, -3*g + 155 = y*q. Is g prime?
False
Suppose 0 = 3*s - 6*s. Suppose -3*g + 261 = -s*g. Is g prime?
False
Suppose -4*w + 286 = -158. Let l = -58 + w. Is l composite?
False
Let b = -6 - -9. Suppose -3*v - b*w - 75 = 2*w, -3*v - 4*w = 72. Is ((-11)/2)/(2/v) a composite number?
True
Let h(m) = -m**3 - 20*m**2 - 25*m + 21. Is h(-20) a prime number?
True
Let z(g) = g**2 - 14*g - 20. Is z(21) prime?
True
Let w(i) = -829*i + 1. Let n be w(-1). Let v = -153 + n. Is v composite?
False
Let g(h) = 7*h**2 - 23*h + 21. Let a(k) = 4*k**2 - 12*k + 10. Let x be 8/2*5/(-4). Let q(m) = x*a(m) + 3*g(m). Is q(11) prime?
False
Let t(m) = -2 - m**2 + 4*m**2 - 8*m**3 + 1. Let s be t(4). Is s/(-10)*(-4)/(-6) composite?
False
Let m = -140 + 229. Is m a prime number?
True
Let j = 259 - 138. Is j a composite number?
True
Let b(t) = -t**3 + 4*t**2 + t - 4. Let p be b(4). Suppose p*h - 2*r + 2 = -4*h, -13 = -h - 4*r. Let s(q) = 20*q**2 - 1. Is s(h) a composite number?
False
Let f(v) = -4*v + 80. Let o(u) = u + 1. Let r(h) = f(h) + 5*o(h). Is r(0) prime?
False
Is (4 + (-65)/15)*-1623 composite?
False
Let y(l) = l**3 - 2*l**2 + 3*l + 3. Let i = 2 + 1. Is y(i) prime?
False
Let i = -66 - -161. Suppose 3*z = -4*y + 5*z + 384, 0 = y - z - i. Is y a prime number?
True
Is 1624/4 + 15/(-3) + 8 prime?
True
Let f(h) = 21*h**2 + h - 4. Let r be f(-2). Suppose r = -3*m + 6*m. Is m prime?
False
Let o(q) = q**3 + 8*q**2 - 3*q + 6. Let w be o(-6). Let k = 145 - w. Is k a prime number?
False
Let p(t) = t**3 + 11*t**2 - 8*t - 5. Is p(7) a composite number?
False
Let y = -1264 + 2207. Is y prime?
False
Let p be 8146/((0 - -4) + -2). Suppose -4*i = p - 241. Is i/(-5) + 3/(-5) a prime number?
True
Let j be (6/8)/(1/4). Suppose 24 + 15 = j*s - m, -4*m - 16 = -2*s. Is s composite?
True
Let t = 945 + -650. Is t composite?
True
Suppose -2*k = -4, 0*k - 1804 = -2*f + 5*k. Is f prime?
True
Suppose 0*d + 3*d = 6. Suppose 0 = d*t - 118 + 16. Is t prime?
False
Let d(y) = -2*y - 10. Let o be d(-7). Let k(h) = -h**3 + 4*h**2 + 2*h - 3. Let w be k(o). Suppose -w*j + 119 = -96. Is j prime?
True
Suppose 2*a = 4*w - 662, 0 = 8*w - 3*w - 2*a - 825. Is w a prime number?
True
Let d = -12 + 27. Is d prime?
False
Is (-2761)/55*(-1 + -4) composite?
False
Let x(n) = 4*n**3 - 5*n**2 - 2*n - 1. Let u = -6 - -10. Is x(u) prime?
True
Let x = -463 - -700. Is x prime?
False
Let y(c) = c**3 + 3*c**2 + c. Let h be y(-4). Let a = h + 252. Suppose 2*l - a = -4*x, -3*x - l = -171 - 3. Is x a composite number?
True
Let f be 5 + (-3)/((-3)/(-3)). Suppose -184 + 14 = -f*o. Is o a composite number?
True
Let l = 589 + -212. Is l a composite number?
True
Let o(p) = p**3 - p**2 - 3*p + 2. Let y be o(2). Let h(z) be the second derivative of -z**3/6 + 59*z**2/2 - 16*z. Is h(y) a composite number?
False
Let j be (-2)/(-9) - 2/9. Let c = 2 - j. Suppose c*m - 7*m = -30. Is m composite?
True
Let d be (6/9)/(2/15). Suppose 6*b = d*b + 413. Is b prime?
False
Let w be 86/(3*(-2)/(-3)). Suppose 5*f = 428 - w. Is f a composite number?
True
Let a be (4/(-6))/(2/(-6)). Suppose a*m - 140 = -3*z, m + 2*z - 18 - 53 = 0. Is m a composite number?
False
Let c(o) be the second derivative of -o**5/20 - o**4 - 17*o**3/6 - 11*o**2/2 - 5*o. Is c(-13) composite?
False
Let k = -222 + 328. Let i = k + -57. Is i a prime number?
False
Suppose 0 = -4*b + 5*c + 2990, 5*c + 2286 = -5*b + 6001. Is b a composite number?
True
Let s(z) = z**2 - 2*z + 24. Is s(5) a composite number?
True
Let j = 6 - 1. Suppose 5*r - h = -6 + 30, r + j*h - 10 = 0. Is (-1)/(-5) + 129/r prime?
False
Suppose 45 = 3*m - 30. Let s = 6 + -10. Let h = m + s. Is h prime?
False
Let z = 6 - 162. Let h be z/(-10)*(-210)/(-9). Is 2*-1*h/(-8) a composite number?
True
Let d = 277 - -802. Is d prime?
False
Let a be (7 - 1) + 4 + -6. Suppose -a*u - 5*s = -285, 6*u - 5*s = u + 300. Is u composite?
True
Suppose 0 = 2*x + 3*x - 2*o - 24, -2*o = 2*x - 18. Let h(g) = -2 - 5 + 6 + 7*g + x. Is h(4) a prime number?
False
Let n(b) = -b**3 + 7*b**2 + 7*b + 2. Let a be n(7). Suppose -9 = -2*r + a. Is (-20)/6*r/(-4) prime?
False
Let m(q) = -23*q + 3. Is m(-8) a composite number?
True
Let m = -4 + 13. Let a be 2/m + (-104)/(-18). Suppose -745 = -a*g + g. Is g composite?
False
Let p(z) = -z**3 + 6*z**2 - 2*z - 2. Let n(q) = -4*q - 3*q**3 - 3 - 1 + 12*q**2 + 2 - 2. Let r(i) = 2*n(i) - 5*p(i). Is r(-7) a prime number?
True
Let o(z) be the first derivative of 23*z**2/2 + 2*z + 2. Is o(9) composite?
True
Let v(z) = -z**2 + 3*z - 3. Let f(j) = -3*j + 3. Let c(a) = -3*f(a) - 4*v(a). Let y be (4/8)/((-3)/(-42)). Is c(y) a prime number?
False
Let q = 248 - 114. Is q prime?
False
Suppose -4*b - 2 + 14 = 0. Let y be 3/(-2)*2/b. Is y + 23 - 12/4 a prime number?
True
Suppose 5*l = 5*a + 5705, -4*l = -5*l + 4*a + 1138. Is l a prime number?
False
Let c be -2 + 11 + 2 + -2. Let u = c + -9. Suppose u = -3*r + 7*r - 308. Is r a prime number?
False
Let n(q) = -3*q**3 - 7*q**2 - 3*q - 5. Is n(-6) a prime number?
True
Let a = 41 - -44. Is a + 3 + 6/2 a prime number?
False
Suppose 12 = -0*u + 4*u. Suppose -460 = -4*r + 4*a, 0 = -2*r - u*a + 336 - 86. Is r composite?
True
Let j be (1/(-3))/((-4)/300). Let v = 60 - j. Let p = v - 24. Is p composite?
False
Suppose -k = -325 - 129. Is k composite?
True
Let k = -1 - -3. Suppose -4*n + 8 = -3*o, k*o - 7*o = -4*n. Suppose n*s - 400 = -0*s + y, -s + 64 = 3*y. Is s composite?
False
Let c = -16 + -6. Is (2 + 3)*(1 - c) composite?
True
Let x be (10/(-30))/(1/(-9)). Suppose -x*c + 6*c - 951 = 0. Is c a prime number?
True
Suppose 233 - 652 = -b. Suppose 82 + b = 3*g. Is g a prime number?
True
Let y(j) be the second derivative of j**5/20 - j**4/3 - 5*j**3/6 - 2*j**2 - 3*j. Let n be y(5). Is (-2)/(n/(-2)) - -68 a composite number?
False
Let s(v) = 130*v**2 + 3*v + 1. Is s(-2) prime?
False
Let s = 104 + -32. Suppose 3*a - k - 97 = s, -177 = -3*a + 3*k. Is a a composite number?
True
Let s = -3 + 6. Suppose s*t = j - 124, 4*j - 511 = 2*t - 5*t. Is j composite?
False
Let a(i) = -2*i**2 - 2*i - 1. Let v be a(-1). Let s(u) = 110*u**2 - u. Is s(v) prime?
False
Let l be 402/5 - (-3)/5. Let t = -26 + l. Is t a composite number?
True
Let h(m) = 378*m + 17. Is h(3) prime?
True
Suppose -6*g = -9*g + 15. Let o(j) = -j**3 + 9*j - 4. Let n(m) = -m**2 + m + 1. Let i(y) = 2*n(y) - o(y). Is i(g) a