8 - n. Is k composite?
False
Let z(q) = -19*q**3 + 3*q**2 - 7*q - 1. Let h be z(-4). Suppose -4*u = -2*o - 878, 5*u + 3*o - h = -210. Is u composite?
True
Suppose -5*a + 136779 = -2*x, 2*a + 4*x = 21055 + 33647. Is a a prime number?
False
Let a(l) = -10*l**3 - 3*l**2 - 2*l - 3. Let r(z) = -z + 2. Let i be r(-7). Let h be (-20)/i + (-8)/(-36). Is a(h) a prime number?
False
Suppose -2*c = -2*o - 0 - 2, 2*c = 3*o. Suppose -g + c*i = 7*i - 1469, i = 0. Is g a prime number?
False
Let z(c) = c + 1. Let u(b) = 155*b. Let x(i) = -u(i) + 3*z(i). Let q(w) = w**2 - 15*w + 12. Let p be q(14). Is x(p) a prime number?
True
Let g = -20 - -17. Let d(y) = -90*y - 19. Is d(g) composite?
False
Let v = -501 + 708. Let w = v + -123. Let b = w + -13. Is b composite?
False
Let v be -1 + 3 + -1 + 236. Let j(a) = 2*a**3 + 2*a**2 - 5*a + 4. Let l be j(1). Suppose -5*n - 316 = -q - l*q, 3*q - v = 2*n. Is q a composite number?
False
Suppose 21*z - 216704 + 257 = 0. Is z prime?
False
Let f be 1/2*0/(-7). Suppose 12630 = -5*v - f*v. Is v/(-26) + (-8)/52 a prime number?
True
Let i(t) be the second derivative of t**4/12 + 5*t**3/6 + 2*t**2 + 3*t. Let j be i(-7). Is (-42)/(-4)*12/j composite?
False
Let s be -1 - -1 - 2358/3. Let n be 2 - 9*(s + -1). Is n/10 - (-3)/6 prime?
True
Let w = -558 + 1237. Is w a composite number?
True
Suppose l + 0*l - 3 = 0. Let q be (5/5 - 1) + l. Let d(r) = r**3 - 3*r**2 + 2*r. Is d(q) prime?
False
Suppose -3*w - 2 + 1 = v, w - v - 1 = 0. Suppose w = -7*a + 8*a - 701. Is a prime?
True
Let v(j) = j**3 + j**2 + j + 95. Let p be v(0). Let c = p + -140. Is ((-6)/9)/(5/c) a prime number?
False
Suppose 5*n + 410 = z, -4*n + 3*z - 305 = 34. Let k = n - -91. Is k a prime number?
False
Suppose 5*i - 23643 = 2*n, -4*n + 4733 = -5*i + 6*i. Is i composite?
False
Let u(v) be the second derivative of -3*v - v**2 + 0 + 13/6*v**3. Is u(11) composite?
True
Suppose w - 4 = -0*w + m, 3*w = -2*m + 2. Let f be w/(-2 - (-218)/110). Let k = f + 259. Is k prime?
True
Let d(c) = 3*c**3 + 2*c**2 - 7*c + 1. Let n be d(5). Suppose 6*j - 669 = 3*j. Suppose j = 2*s - n. Is s prime?
True
Let c = 7 - 1. Suppose c - 18 = 2*d. Is -178*(1 + d + 4) prime?
False
Let b(l) = l**3 - 6*l**2 + 5. Let f be b(6). Suppose f*w + 136 + 258 = q, 3*q = -2*w + 1267. Is q a prime number?
True
Let v(d) = -d**2 + 3*d + 6. Let l be v(5). Is (-299 + 1)*5*l/8 a composite number?
True
Let s(a) = 4*a + 4. Let h be s(0). Suppose -3*t = -2*t - 5*v - 27, 4*t + h*v + 12 = 0. Suppose 3*l - 3110 = -t*l. Is l a prime number?
False
Suppose 3*j + 2*q = -0*q - 12, -8 = 2*j + q. Is 1799/14 - (-6)/j a composite number?
False
Let g(y) = 124*y**2 - 16*y - 50. Is g(-3) a prime number?
False
Let t(k) = 25*k**2 - 6*k - 5. Let v be t(-3). Is (-5 - -1) + 3 + v composite?
True
Suppose 8*z + 5 = 11*z - s, -5*z = -2*s - 8. Is 293 + z/(-12)*0 a prime number?
True
Let f(r) = 19*r + 39. Let y be f(5). Suppose 0 = t - 1797 - y. Is t prime?
True
Suppose b + 0*b + 9 = 0. Let r = -3 - b. Is ((-20)/r)/((-12)/36) composite?
True
Suppose 5*y - 554 = -2*l - 7332, 16945 = -5*l - 2*y. Let k = -1404 - l. Is k a composite number?
True
Suppose 10*h - 92 = -32. Suppose 0 = -h*i + 6711 + 435. Is i a composite number?
True
Let j be -2 + (-12)/(-3) + 5. Suppose -i - 45 = 5*z - 4, z - i + j = 0. Is -4*(46/z - -2) composite?
True
Suppose -112 = -3*u + 5*q, -9 = -3*q + 3. Let i = -29 + u. Let h = i - -44. Is h a composite number?
False
Let z = 5678 + -3525. Is z a composite number?
False
Suppose 123698 = 9*c - 96253. Is c a prime number?
True
Let v = 39701 + -4390. Is v a prime number?
True
Let l be ((-4 - -7) + -2)*-1*-6. Suppose -l*k + 1615 = -k. Is k a composite number?
True
Let a(p) = -726*p + 635. Is a(-24) a composite number?
False
Let i(r) = 3*r**2 - 23*r - 21. Is i(11) a composite number?
False
Is (-15500)/(-140) + 4/14 prime?
False
Let t(v) = -v**2 + 4*v + 3. Let d be t(4). Suppose -4*q - 25 = 3*s, 8*s - 40 = 5*q + d*s. Let l(z) = -4*z + 3. Is l(q) a composite number?
False
Is 12 + -12 + -1298*1/(-2) a composite number?
True
Is ((-28)/42)/(8/(-211020)) a prime number?
False
Suppose 2*g = -p, -5*g = 5*p - 0*p - 5. Suppose p*c + r - 273 = 0, 3*c - 2*r = -0*r + 392. Let x = 75 + c. Is x composite?
True
Suppose 40200 = 13*g + 8974. Is g a prime number?
False
Is (-271)/((-264)/(-268) - 1) a composite number?
True
Let h = 11761 - 7884. Is h prime?
True
Let g = 1457 - -5560. Is g composite?
True
Suppose 2*f + 31148 = 4*g, 2*f - 12 = 5*f. Let c be g/20 + 2/(-8). Suppose 0 = -3*p + 148 + c. Is p composite?
False
Suppose -5*k - 2*g + 20 = 0, -4*k - 2*g + 16 = -7*g. Suppose -5*t = -t + k*m + 36, -5*m = 25. Is 1/(t + 3) - -68 prime?
True
Let d(h) = -143*h**2 - h. Let v be (1/(-3))/((-2)/(-12)). Let f be d(v). Is (1/(-2))/(5/f) composite?
True
Is (-46350333)/(-692) + 5/(-4) a prime number?
False
Suppose -5*t = 25, 7*t = -3*o + 2*t + 1322. Let h(p) = 15*p**2 - 15*p - 2. Let r be h(7). Let f = r - o. Is f composite?
False
Let r(o) = 4 + 2 + o**2 + 3*o**2 - 4 + o**3 + 2*o. Let g be r(-3). Suppose -g*q + 398 = -297. Is q composite?
False
Suppose -13615 = 14*d - 19*d. Is d prime?
False
Let o = 3606 + -1547. Is o composite?
True
Suppose -5*i + 5*c - 1098 - 387 = 0, 3*c = 3. Let q = 183 - i. Is q a prime number?
True
Suppose -v = -4*h + 27042, 33*h - 20279 = 30*h + 2*v. Is h a composite number?
False
Let w = -6197 + 13326. Is w a composite number?
False
Suppose 8*b - 211629 = 13195. Is b prime?
False
Let w(n) = 4*n**2 + 21*n - 2. Is w(15) composite?
False
Let g = 92 - 104. Is (-23386)/g - 2/(-12) prime?
True
Let x(w) = -w**2 + 4*w. Let u be x(3). Suppose -u*h = 5*b - h - 224, 132 = 3*b + 2*h. Is b a composite number?
True
Let x be (-2)/(-9) + 100/36. Suppose 0*w = x*w. Suppose 0*l + 4*l - 556 = w. Is l a composite number?
False
Let o = 7 - 5. Suppose 5*l + 2*l - 7497 = 0. Is 1/(l/(-537) + o) composite?
False
Let y(k) be the first derivative of 1/2*k**2 - 3 + 7*k. Is y(6) a prime number?
True
Suppose -4*x + 28211 = u, -28211 = -u - 2*x + 5*x. Is u composite?
False
Let u = 725 - 262. Is u a prime number?
True
Is (21642*(-4)/(-16))/((-6)/(-4)) composite?
False
Let h(v) = 436*v - 443. Is h(6) a prime number?
False
Let n(j) = -14*j**3 + 8*j**2 + 4*j - 27. Is n(-5) a composite number?
True
Let w(r) be the third derivative of -r**5/60 + r**4/24 - r**3/6 + 3*r**2. Let j be w(0). Is -2 - -3*(-79)/j prime?
False
Let s(h) = h - 1. Let y(u) = 414*u - 17. Let t(f) = 6*s(f) + y(f). Is t(4) a prime number?
True
Is (8886/10)/((-34)/(-170)) composite?
True
Suppose 3*l - 8641 + 2107 = 0. Let v = l - 1135. Is v a prime number?
False
Suppose 5*v + 0*r = -5*r + 127485, 5*v = 2*r + 127471. Suppose 7*z + 4362 = v. Is z a composite number?
False
Suppose -4*k - 2 = -k + 2*t, -5*k = -4*t - 4. Suppose x + 3*z - 356 = k, 0*x + 5*x - 4*z - 1875 = 0. Is x a prime number?
False
Suppose 2*w + d - 187 = 0, 5*w = -5*d + 330 + 135. Suppose -3*q = -w - 8. Is q a composite number?
True
Let l(y) = 5*y + 7. Suppose 0 = 2*m + 10 + 18. Let z be l(m). Let a = z + 268. Is a composite?
True
Let i = 82711 - 37568. Is i composite?
True
Let f be ((-4)/6)/(40/(-25020)). Suppose 7*o - 164 = f. Is o composite?
False
Let y = 9327 - 5320. Is y a prime number?
True
Is 4/30 + (-210566)/(-30) a composite number?
False
Suppose s + 2*u = 143, -s - 6*u = -2*u - 139. Let h = 1208 - s. Is h composite?
False
Let p(d) = -d**3 + 9*d**2 - 2*d + 6. Suppose 0 = -4*m + t + 28, -2*t = 3*m - 5*t - 12. Let y be p(m). Suppose 2*v + y - 352 = 0. Is v composite?
False
Suppose 7653 + 2775 = 12*p. Is p prime?
False
Let r(g) = 2*g - 5. Let v be r(5). Suppose 0 = w - 5*i - 48 - 22, -3*w = -i - 154. Let j = v + w. Is j prime?
False
Let f be ((-19)/57)/((-5)/(-3) + -2). Is (766/4*(0 - -2))/f prime?
True
Let z = 2930 + -1671. Is z prime?
True
Let w be (2/((-8)/(-4)))/1. Is ((-13)/(-39))/(w/1329) prime?
True
Let o(c) = c - 28. Let s be o(20). Is (6056/(-12))/(s/12) composite?
False
Suppose 158408 + 25889 = 37*q. Is q a prime number?
False
Suppose 12*t = 14*t + 8, 5*t = 3*l - 28241. Is l prime?
False
Let u be 0 + ((-24)/(-2))/4. Suppose 2*l - 10 = -u*v + 8, -5*l - 5 = -5*v. Let w(i) = 41*i + 5. Is w(v) composite?
True
Suppose 5*x - 4141 = -2*w - 205, -5913 = -3*w - 3*x. Is w prime?
True
Suppose 4*d + 6*d - 40 = 0. Suppose -o = -4*u -