 6. Suppose 0 = n - t - 14. Is n composite?
True
Let j(i) = i**3 + i**2 - i - 130. Let c be j(0). Let w = c + 221. Is w prime?
False
Let q be (-8)/12 + (-104)/6. Let a(t) = -73*t**2 - 2*t - 6. Let n be a(3). Is n/q + 2/(-12) a prime number?
True
Suppose -2*i + 34 = -i. Let f be (-5 + 8)/(-2 - -5). Suppose -f = -m + i. Is m prime?
False
Let s(u) = -u**2 + 5*u - 4. Let z be s(3). Suppose 0 = r - 0 - z. Suppose -r*o - 159 = -5*o. Is o a prime number?
True
Let m = 571 + -373. Suppose 0 = 5*y - m - 147. Is y a prime number?
False
Let g(x) = -x**2 + 2. Let c be g(0). Suppose c*w - 602 = -196. Is (5/(-1))/((-7)/w) a prime number?
False
Let q = -522 - -733. Is q a composite number?
False
Suppose 0*y - 166 = -2*y. Is y a composite number?
False
Let l(m) be the third derivative of -13*m**6/120 - m**5/20 - m**4/8 - m**3/2 + 4*m**2. Is l(-2) a prime number?
False
Let a = -102 - 37. Let o = 297 + a. Suppose -u = u - o. Is u a prime number?
True
Let l = 16 - 16. Suppose -2*a - 654 = -4*m, -2*m + l*a = -3*a - 329. Is m composite?
False
Let h(r) = 2*r**3 + 2*r**2 - r - 1. Let y be h(-2). Let v be 246/(-21) - (-2)/y. Let w = v + 49. Is w composite?
False
Let f(r) = -253*r**2 - 5*r + 1. Let d(v) = 507*v**2 + 9*v - 2. Let g(m) = 3*d(m) + 5*f(m). Is g(1) a composite number?
False
Let i be (-1)/1 + -1*1. Let q be (-2)/((-1)/(-1)) - i. Suppose -2*h + 31 + 99 = -4*f, q = h - 5*f - 80. Is h prime?
False
Is 11*(54 - (5 + -4)) composite?
True
Let u = 8 + 54. Suppose -4*a + 2*j + 3*j = -u, -4 = 2*j. Is a a composite number?
False
Let u = 23 - 18. Let p(h) = -2*h**2 + 3*h - 5 + 5*h**2 + 2. Is p(u) a composite number?
True
Let o = 127 + 36. Is o prime?
True
Let g = 1287 + 686. Is g a prime number?
True
Suppose -h + 321 = -302. Is h composite?
True
Let z = 63 - 31. Suppose -2*d - z = -198. Is d composite?
False
Suppose 0 = u + 66 - 185. Is u composite?
True
Let h(l) = l**3 - 7*l**2 + l - 4. Let p be h(7). Is (2 - 111/p)*-1 a prime number?
False
Suppose 0 = 4*r + r + 5. Is (1 - 2)*9/r prime?
False
Suppose 3*g = -0*g + 15. Suppose -5*o = -4*o - 4*n + 5, -4*o + 1 = g*n. Is ((-26)/4)/(o/10) a prime number?
False
Suppose 2*s - 7*s + 30 = 0. Let b(w) = 33*w - 7. Is b(s) composite?
False
Let f(w) = -w**3 - 627. Let d be f(0). Let x = d - -1348. Is x a prime number?
False
Suppose -4*t + 3*t - 20 = 0. Let i be 130/(-14) - (-4)/14. Let g = i - t. Is g composite?
False
Let u be 38/(-14) + (-4)/14. Let w be (-2)/u*(60 - -3). Let v = w + 67. Is v a composite number?
False
Let d(v) = v**3 + v**2 + v + 77. Let z(x) = -x**2 + 2*x. Let n be z(2). Let y be d(n). Suppose 0*j - j = -y. Is j prime?
False
Suppose 2*s + 72 = 2*r, 0*s + 2*s - 132 = -4*r. Let j = 71 - r. Is j prime?
True
Let h(g) = 6*g**2 - g - 1. Suppose 4*s = 3*v - 11, -4*s + 5*v - 3*v - 10 = 0. Is h(s) a composite number?
True
Suppose -8*t + 12*t = 460. Is t composite?
True
Is (4 - 6)/(4*(-2)/7388) a prime number?
True
Let o(s) = -s**2 + 15*s + 1. Let y = 40 - 27. Suppose 0 = -p - 5 + y. Is o(p) a prime number?
False
Is (-11)/(((-2)/9)/((-2)/(-3))) a prime number?
False
Is (6/(-9))/(12/(-3582)) prime?
True
Suppose 4*j = -26 + 226. Let w = j + 21. Is w composite?
False
Suppose -3*n - 2 = -2*n. Let v be (n/(-3))/((-3)/(-9)). Suppose -v*q = -q - 59. Is q composite?
False
Let v be 2/(-3) - (-28)/6. Let r be v/(-6) - 26/6. Let b(y) = -6*y + 3. Is b(r) composite?
True
Let x be (-2)/5 - (-24)/10. Suppose 5*t + 186 = 6*k - 4*k, -k + x*t = -95. Suppose -2*z + 4*n + k = z, 0 = -4*z - 5*n + 158. Is z prime?
True
Let c(z) = 63*z**3 - z**2 - 2*z + 3. Is c(2) a composite number?
False
Let f(a) = 5*a**2 + a. Let d be f(-1). Suppose d*r - 1 = 11. Is 497/6 - r/(-18) prime?
True
Let o = 13 + -10. Suppose 0 = -o*d + 86 + 73. Is d a composite number?
False
Suppose u + 31 = -p + 250, 5*u - 1119 = p. Is u composite?
False
Suppose -2*h = h - 447. Is h a prime number?
True
Suppose 5*k + 2*d + 201 = -215, 4*k + 326 = -5*d. Let z = -50 - k. Suppose 5*r + 28 + z = y, -5*r + 246 = 3*y. Is y prime?
False
Let w = -1 - 38. Let t be 74/26 - 6/w. Suppose -t*m - 445 = -8*m. Is m a prime number?
True
Is (12/(-3) - 1014)*-1 a prime number?
False
Suppose 0 = -5*l + 5*j + 565, -3*j - 2*j + 461 = 4*l. Suppose 2*q - 5*d = 178, -5*d + l = -4*q + 450. Is q composite?
False
Let b = 2 + 3. Suppose 2*q - x - 571 = 0, 3*x + 1426 = -0*q + b*q. Is q a prime number?
False
Let q be (-45)/12*(-16)/3. Suppose -3*r + 2*d = -0*d + 12, -5*r + 4*d - q = 0. Is ((-40)/12)/(r/42) composite?
True
Suppose -41*v + 40*v + 487 = 0. Is v prime?
True
Let y = 470 - 313. Is y a composite number?
False
Is (-11 - -13) + (-1 - -52) a prime number?
True
Let w = 1062 - 253. Is w a prime number?
True
Suppose 2*d = 5*u - 534, d + 299 - 35 = 4*u. Let k = d - -541. Is k a prime number?
True
Let m(d) = -16 + 40*d + 8 + 7. Is m(2) a prime number?
True
Suppose -b + 6*b - 1760 = 5*f, 0 = 2*b + 5*f - 669. Is b a composite number?
False
Let b(j) = -j**3 - 7*j**2 + 3. Let s be b(-7). Suppose 5*k + 109 = -0*a + 2*a, -15 = -s*k. Is a composite?
False
Suppose -r + 40 = -5*z, 0*r + 5 = 2*r + 5*z. Is r composite?
True
Suppose 145 = 3*l - 398. Is l a composite number?
False
Let g = 4 - 4. Let i = 2 + g. Suppose 0 = -r + i + 7. Is r a prime number?
False
Let n = 1482 + -229. Is n a composite number?
True
Suppose -g - g = 0, -5*q = 4*g - 2225. Suppose 3*y = 8*y - q. Is y a prime number?
True
Let l be 3*-22*(-1)/(-2). Is 11/(l/(-36)) + -2 a prime number?
False
Is 1 + 2 + 0 - -248 composite?
False
Let f(d) = -d**2 - 7*d. Let g be f(-3). Suppose -2*r + g = 2*r. Suppose -2*n = x - 25 - 42, -3*n + 96 = -r*x. Is n composite?
True
Is 1*(1 - -1) - -1 composite?
False
Let w(a) = -5*a + 6. Is w(-4) a composite number?
True
Let x(n) = 165*n + 8. Is x(3) composite?
False
Let y = 3 - 4. Is 59 + 3/y + 3 composite?
False
Let g be 2/(-6) + (-281)/3. Let w = g - -132. Is w prime?
False
Suppose -2794 = -2*t - 2*b, t - 2794 = -t - 5*b. Is t prime?
False
Suppose -5*i = -947 + 127. Suppose -3*z + 90 = 2*g - i, 4*g = z - 66. Let c = 121 - z. Is c a composite number?
True
Let v be (-11 - -2)*2/(-6). Suppose -12 = a + 5*j, -5*a = 2*j + v*j. Suppose -a*l = -5*w - 0*l + 289, 10 = 5*l. Is w a composite number?
False
Let q = -28 - -55. Suppose 0 = 4*x + 2*j + q - 435, 4*j - 507 = -5*x. Is x prime?
True
Suppose 802 = 2*c + 3*w, 5*w - 1245 = -5*c + 755. Is c a composite number?
True
Is 148816/112 - 2/(-7) composite?
True
Is (10/25)/((-2)/(-1270)) composite?
True
Let b = 16 - -100. Suppose -2*z = 3*n - 102, -4*n + 0*n + b = -4*z. Let r = 57 - n. Is r composite?
True
Let c(x) = -x**3 - 4*x - 4. Let b be c(-5). Let p be b/(-4)*1*4. Let k = -64 - p. Is k a prime number?
False
Suppose 4*q - 7 = 2*o + 3, 25 = 4*q + 3*o. Suppose -135 = -q*k + 181. Is k a composite number?
False
Let b(g) = g**3 - g**2 + g + 127. Is b(0) a composite number?
False
Let u = -482 - 222. Let o = -271 - u. Let j = o + -248. Is j composite?
True
Is 4/(-4) - 76/(-2) prime?
True
Let x(j) = 4*j + 10*j**2 - 1 - 11*j + 8*j. Is x(4) a prime number?
True
Suppose 3*x = 3*i, 4*i + x - 6 = 2*x. Is i/2 + (-258)/(-3) prime?
False
Let g(s) = -12*s**2 - 2*s - 6 + 28*s**2 + 5*s. Is g(5) a composite number?
False
Is (3/(-9)*-3)/((-6)/(-2154)) a prime number?
True
Let y(g) = -8*g - 2. Let t be y(-2). Suppose -t + 2 = -4*d. Suppose -d*n = -3, 2*a + 5*n = 66 + 69. Is a a prime number?
False
Is (-2)/14 - (-24516)/63 a prime number?
True
Suppose z + 0*r = 2*r + 197, -4*z + 4*r = -800. Is z a prime number?
False
Let p be (-2)/6 + (-10)/(-3). Suppose -24 = -9*g + 4*g + 4*l, 5*g + 2*l = 18. Suppose 2*m = g*i - 852, -p*i - 84 = -3*m - 729. Is i a composite number?
False
Let h(b) = -52*b - 9. Is h(-5) a prime number?
True
Let m = 891 + -244. Is m composite?
False
Let d = -64 - -95. Is d a prime number?
True
Let d = 4321 - 2850. Is d a prime number?
True
Let q = 0 - -1. Suppose -10 = -3*n - q. Is 21 - (2 + (-12)/n) a prime number?
True
Let q = 285 - 172. Is q a prime number?
True
Let n be (-6)/12 - 14/(-4). Suppose -n*k = -a - 5, -2*k - 4*a + 7 = -a. Suppose 0 = -4*p - j + 265, 0 = -p - k*j - j + 80. Is p a composite number?
True
Let v = 994 + -453. Is v prime?
True
Let o = -151 + 374. Suppose -3*l - 388 = 80. Let t = l + o. Is t a prime number?
True
Let d be 1 + (-2)/4*-4. Suppose 8*i = d*i - 105. Le