Is k composite?
True
Suppose 7*o = 6*o + 4*b + 991, 4*b = -2*o + 2018. Is o composite?
True
Let o(w) = -w**3 + 7*w**2 + 9*w - 11. Let b be o(8). Let x be ((-3)/b - -3) + 0. Suppose -h + 62 = 3*h + f, -x*f + 53 = 3*h. Is h prime?
False
Let v(z) = -11*z**3 - 3*z**2 + 3*z + 2. Is v(-3) composite?
False
Let m be ((-1)/2)/(1/2). Let y be m + -2 + 2 - -105. Let p = y + -71. Is p a composite number?
True
Let t(z) = 5*z**2 - 5*z - 7. Is t(10) composite?
False
Let z(k) = 17*k + 2. Let s(l) = -8*l - 1. Let n(h) = -7*s(h) - 4*z(h). Is n(-5) a composite number?
False
Let y(x) = x**2 + 3*x - 1. Let k be y(-4). Let i be 1497/6 - k/(-6). Let m = i - 171. Is m composite?
False
Let a = 8007 + -1550. Is a a composite number?
True
Let j be 96/(-9) - (-2)/3. Let f(o) = -6*o + 8. Let i be f(j). Let x = 51 + i. Is x a composite number?
True
Suppose -5*v + 143 = -3*g - 6026, 5*v = -3*g + 6151. Suppose -5*n = -103 - v. Is n a prime number?
False
Suppose 3*l = -l + 2*m + 22, 0 = l + 5*m - 11. Suppose -k - 2 + l = 0. Suppose -4*t - 86 = -2*y, k*y = -2*t - t + 216. Is y a prime number?
False
Let i(k) = k**2 - k - 5. Suppose 6 = 5*l - 14. Is i(l) prime?
True
Let x = -1314 - -1867. Is x a prime number?
False
Let f(v) = -v**3 + 2*v**2 + 5*v - 4. Let t be f(3). Let j be t/(-8)*2*62. Let n = j + 86. Is n a composite number?
True
Let k = -3 - -1. Let n be (k - (-6)/(-15))*-5. Suppose o = 33 - n. Is o prime?
False
Let o = -71 + 16. Let a = o - -78. Is a a composite number?
False
Let k(o) = -17*o - 2 - 87*o + 9. Is k(-3) a composite number?
True
Let w(i) = -16*i + 9. Let k(t) = t**2 + 5*t - 1. Let z be k(-3). Is w(z) a prime number?
False
Suppose 16*s - 6931 - 3037 = 0. Is s composite?
True
Let w be -2 - (-4)/(-2)*-15. Suppose 264 - w = 4*h. Is h prime?
True
Is 1 - (3269 + 1)/(-5) composite?
True
Let r(b) = -1. Let g(f) = 5*f + 11. Let h(l) = g(l) + 4*r(l). Is h(10) a composite number?
True
Suppose 10*k - 5*k + 18880 = 5*s, 5*s = -k + 18892. Is 2*2/8*s composite?
False
Let w(q) be the second derivative of q**5/20 - q**4/6 - q**3/2 - 5*q**2/2 - 2*q. Is w(5) a composite number?
True
Let k(v) = v**3 - 16*v**2 - 15*v - 9. Is k(17) composite?
True
Let l(k) = -12*k**3 - 3*k**2 + 2*k + 4. Let j be l(-3). Suppose j + 64 = 4*x - 3*m, 3*x = -3*m + 264. Is x a prime number?
True
Suppose i - 15 = -4*u, 6*i - 5 = 3*i - 2*u. Is i - (2/1 - 144) a prime number?
False
Suppose 3*p - 5*b - 190 - 82 = 0, -2*p + 5*b + 188 = 0. Let r = 163 - p. Is r composite?
False
Let h = -180 - -320. Suppose 3*r = 7*r - h. Is r prime?
False
Let s(o) be the first derivative of -5*o**2 + 3*o + 1. Let r = -7 + 2. Is s(r) a prime number?
True
Let y = 468 + -157. Is y prime?
True
Suppose 0*d = -4*k - 5*d - 207, k + 4*d = -60. Is k/(-112) - 774/(-7) prime?
False
Suppose -l + 4*q = l - 16, 4*l - 2*q - 8 = 0. Suppose 4*c + m - 150 = l, -2*m - 140 = -4*c + 2*m. Is c composite?
False
Suppose -2*j - 3 = -17. Is j a prime number?
True
Let r(d) = d**2 - d - 10. Let p be 4*(-1 - -7 - 4). Is r(p) a composite number?
True
Suppose 0 = -4*a + 109 + 63. Suppose -717 = -2*h - a. Is h a composite number?
False
Let f(u) = u**2 - 20*u - 7. Is f(-24) prime?
True
Let c(w) = 5*w**2 + 1. Let h be c(-1). Is 3 + h*(1 - -1) composite?
True
Suppose 5*n - 2*x - x = 19, 0 = -3*n + 5*x + 5. Suppose -3*w - 6*q = -5*q - 271, n*w - 465 = 5*q. Is w prime?
False
Let i = -782 - -2741. Is i composite?
True
Suppose -3*l = 2*c - 3892, 5*l + 3*c - 6450 = 7*c. Let h = l + -749. Is h a composite number?
True
Let r(b) = -5*b**3 - 2*b**2 + b. Let s be r(1). Let g(i) = 6*i**2 + 4*i - 7. Is g(s) prime?
False
Suppose 13 = 2*j - 5*z, -4*j = -0*z - 2*z - 18. Suppose -u - 93 = -j*u. Is (u - -3)/(1/1) a prime number?
False
Suppose 0 = -18*a + 1187 + 937. Is a a prime number?
False
Let f = 0 + -2. Let z = 32 - 7. Let p = f + z. Is p a prime number?
True
Let z(l) = -8*l - 1. Let q(m) = m + 2. Let a be q(-5). Is z(a) composite?
False
Suppose -g = -2*v - 1049, -g = -0*g - v - 1054. Suppose x = -2*x + g. Is x prime?
True
Let h(p) be the second derivative of 2*p**3/3 - 5*p**2/2 + p. Let w = 11 + -4. Is h(w) a prime number?
True
Suppose f - 101 = -4*j, 0*j + j + 5*f - 49 = 0. Suppose 7*m - 4*m = -12, -4*i + j = -2*m. Is 150/1 + i/(-4) a composite number?
False
Let p(f) = -f + 11. Let o be p(11). Suppose o = 2*w + 78 - 740. Is w a composite number?
False
Suppose -u + 5*p + 10 = 4*u, -2*u - 5*p - 17 = 0. Let q(o) = -3*o + 6 - 6. Is q(u) composite?
False
Let j be 3 + (2 - (-1021)/1). Suppose 1283 = 5*g - 2*l, 2*l = 4*g - 0*l - j. Is g a composite number?
False
Let a(t) = t**2 + 10*t + 13. Let g be a(-8). Is -3 + (-304)/6*g prime?
True
Suppose 0 = -3*b + 2724 - 6834. Let k = -957 - b. Is k a composite number?
True
Let v = 134 - 39. Is v prime?
False
Suppose b + 4*b = h - 25, -b = 4. Suppose h*q + 4*x = -2, -2*x - 8 = -q - 0*x. Suppose 0 = -j + 4*y + 1 - q, -j = y - 14. Is j a prime number?
True
Let p(l) = 10*l**2 + 9*l + 10. Is p(7) composite?
False
Suppose 5*o - 2*q = -22, -o - 4*q = 2*o + 34. Let n be (15/o - -1)*-34. Suppose -414 = -5*d + n. Is d a composite number?
True
Suppose -r + 97 = -3*n, -456 = -4*r + 3*n - 8*n. Is r prime?
True
Let k = 6 - -220. Is k a prime number?
False
Let n = 371 + -150. Is n a composite number?
True
Let s be 2/(-8) + (-20)/(-16). Let n(y) = 42*y**2 + y. Is n(s) a prime number?
True
Let d = 106 - -57. Is d a composite number?
False
Is -2*(1 + (-4914)/(-4))/(-1) prime?
True
Suppose -577 = -5*v + 4608. Let x = -618 + v. Is x composite?
False
Suppose -5*u = -2*t + 10, -4*t + 0 = u + 2. Suppose 2*r - 208 = -4*q, 4*r + 61 = -0*q + q. Suppose t*a + q = a. Is a a composite number?
False
Let d(a) = 52*a**2 - 3*a + 1. Let p = -4 + -2. Let h = -4 - p. Is d(h) composite?
True
Let f = 7 - 4. Let l(b) = 3*b**3 + b**2 - 3*b + 1. Is l(f) a prime number?
False
Suppose -5*s + 0*s = 0. Suppose s = 3*p - 647 - 214. Is p prime?
False
Suppose 0 = -4*r + 5*v - 248 + 1097, 2*r - v - 423 = 0. Is r a composite number?
False
Let p = 0 + 5. Suppose -4*t + p = -3*t. Suppose t*n - 460 = n. Is n a prime number?
False
Suppose 5*d + 2*u = 734, -5*u - 578 = -4*d - 2*u. Is d prime?
False
Let c = -4 - 104. Is (-2)/9 - 19572/c a composite number?
False
Let j(g) = g**3 + 5*g**2 + g - 3. Let k be j(-4). Is 276/k*6/4 composite?
True
Suppose 0 = 5*d - 544 - 281. Let j(q) = q**3 - 2*q**2 - 8*q - 1. Let m be j(6). Suppose 2*y = -t + d, y - t - m = t. Is y a composite number?
True
Let n = 2790 - 1619. Is n a prime number?
True
Suppose -5*y + 12 = 102. Let m be 5/10 - y/(-4). Let z(h) = 3*h**2 + 3*h + 1. Is z(m) a prime number?
True
Suppose 3*c = -s - 4*s + 1746, c - 599 = 4*s. Is c a composite number?
False
Suppose 4*b + 2*f - 234 = 86, b - 80 = 5*f. Let z be (-1 + 2)/((-4)/b). Let r = z - -43. Is r prime?
True
Let j(g) = -119*g - 19. Is j(-10) a prime number?
True
Let o(r) = -38*r + 1. Let j be o(-5). Suppose 4 + j = 5*t. Is t composite?
True
Let p = 2 + -3. Let j(t) = -84*t - 1. Is j(p) prime?
True
Suppose 4*m - 3*m - 7 = 0. Let h(b) = b**3 - 7*b**2 + 3*b - 6. Let t be h(m). Is 5*3/(t/46) a composite number?
True
Let o be (-1)/3*21/(-1). Suppose 4*j + 1239 = o*j. Is j composite?
True
Suppose 7832 = 3*s + 2051. Is s a prime number?
False
Is (-3030)/(-8) + 1/4 a prime number?
True
Suppose 0 = -4*k + w + 15, 0*k + 3*w + 17 = 5*k. Let z be (k/(-2))/((-4)/6). Suppose -z*i = -0*i - 291. Is i prime?
True
Let d = -127 - -43. Let t = -49 - d. Is t a prime number?
False
Suppose -16110 = 7*i - 2*i. Is i/(-15) + 5/25 prime?
False
Suppose 0 = -3*h + 3*n - 6*n + 1296, -5*h + 3*n = -2128. Suppose -3*g = -2*c + h, 0 = 2*c - 5*c - 5*g + 623. Is c a composite number?
False
Let r(u) = u**3 - 10*u**2 - 6*u - 16. Let y be r(11). Suppose i + 0*i - y = -3*x, 0 = -x + 2. Is i a composite number?
True
Suppose -5*w + 6004 - 1479 = 0. Is w a prime number?
False
Let c be (-3 - 2)*(-12)/(-10). Let w = -3 - c. Is w a composite number?
False
Suppose -3*k - 5*b = -2*k - 12, -48 = -4*k + 3*b. Let f = k + -1. Is f a prime number?
True
Suppose 0 = -2*t + 33 + 23. Let b = -6 + t. Suppose h = b + 31. Is h composite?
False
Let z = -165 + 35. Let a = z - -225. Is a prime?
False
Let a = 0 + 0. Suppose 0 = -3*t - a*t + 159. Is t a composite number?
False
Let q = 98 - -36. Is q composite?
True
Suppose 0 = -4*w - m - 1685, 