5*j + h - 39 = 0. Let w(a) = -a. Let x(t) = -7. Let s(i) = 2*w(i) - x(i). Is s(j) prime?
False
Let f(d) = d**2 - d + 3. Let k be (0 + 0/1)/2. Let n be f(k). Suppose -39 = -n*h - 0*h. Is h a prime number?
True
Let c(m) be the second derivative of -m**5/10 - 2*m**4/3 + m**3/6 - 9*m**2/2 + 2*m. Is c(-6) a composite number?
True
Let m(y) = -y**3 - y**2 + y + 1. Let f be m(2). Let u be 1/((f/(-6))/3). Suppose -24 = -v + u*g, -v - 5*g - 11 = -0*v. Is v a composite number?
True
Let h(u) = -9*u**2 - 1. Let q be h(-1). Let b = q + 15. Is 57 - b/((-5)/2) a composite number?
False
Suppose 2*r + 2*r - 984 = 0. Let q = 577 - r. Is q a prime number?
True
Suppose 4*v - 4 - 4 = 0. Suppose -3*u - 4 = -v*u. Is (-3)/(6/u) + 75 composite?
True
Let s = 2513 - 1002. Is s prime?
True
Suppose 5*z - 1112 = -3*i, -z = -i - 0*i - 224. Is z a composite number?
False
Suppose i - 398 = d, 0 = i - 4*d - 330 - 77. Is i prime?
False
Let h = 1796 - 1213. Is h a prime number?
False
Let t = -93 + 700. Is (-14)/(-49) - t/(-7) composite?
True
Let p be (-18)/(-8)*(-1088)/(-12). Suppose -4*l = 4*c + p - 1028, 3*l = 4*c + 653. Is l prime?
True
Let r(l) = -3*l**2 - 17*l + 5. Let h(i) = 8*i**2 + 50*i - 15. Let m(s) = -6*h(s) - 17*r(s). Is m(8) a composite number?
False
Let g(u) be the second derivative of u**4/6 - u**3 - 5*u**2/2 + 3*u. Let h = 15 - 9. Is g(h) composite?
False
Suppose 127 = 4*q - z, q - 4*z - 5 = 8. Suppose -2*i + 5*i = q. Suppose 0*h - i = -h. Is h a prime number?
True
Let l(r) be the second derivative of r**3/6 - 5*r**2 - 3*r. Is l(13) prime?
True
Suppose 80 + 239 = j. Is j a composite number?
True
Let p be -1 - 1 - (-35)/7. Suppose s = p*s - 68. Is s composite?
True
Let a(c) = c**3 + c**2 + c - 188. Let z be 1 - (-1 + 0 + 2). Let g be a(z). Is (-3)/(-15) - g/10 prime?
True
Suppose -2*x - 257 = 5*b, 4*x - 5*b = -x - 660. Let c = x + 322. Suppose 5*q + 6 = c. Is q prime?
True
Let o(j) be the first derivative of -j**5/20 + 7*j**4/12 + 7*j**2/2 - 2*j + 3. Let p(m) be the first derivative of o(m). Is p(6) composite?
False
Let o(y) = -17*y**3 + 2*y**2 - 2*y. Let i be o(2). Let r = -85 - i. Is r prime?
True
Suppose 0 = -3*d - 0*d - 2*q + 20, 0 = 2*d + 4*q - 24. Let r(b) = b**3 - 2*b**2 - b - 5. Is r(d) composite?
False
Let q = 12 + -7. Suppose 1 = -2*y + q. Suppose 2*k + 3*z - 77 = 0, -k + y*z - 6 = -41. Is k composite?
False
Suppose x - 3*a - 313 = 0, -x + 3*x = 2*a + 606. Is x a composite number?
True
Let z(y) = -y**3 + y**2. Let r be z(-1). Suppose -g = 5*x - 5 - r, 2*x - 2*g - 10 = 0. Suppose -5*p - x*s + 49 = -42, 0 = s + 2. Is p composite?
False
Let u(c) = 9*c - 16. Is u(9) a prime number?
False
Let p = 1 - 4. Is (-2)/p + (-244)/(-12) a prime number?
False
Let z(k) = -k**2 - 7*k + 1213. Is z(0) a prime number?
True
Let c = -416 - -625. Is c a composite number?
True
Suppose b + 5*o + 11 = 0, -3*b - 2*b = 5*o + 15. Let m(h) = 132*h**2 - 1. Is m(b) a composite number?
False
Suppose -5*f + 13 = 2*k, 10 = 2*f - 2*k - 2*k. Is f/((-6)/(-158) - 0) composite?
False
Is 32/14 - 2 - 6200/(-7) prime?
False
Let n = 2 - -2. Suppose n*j = -0*j + 4*x + 44, 2*x - 48 = -5*j. Suppose 0 = 4*g - 138 - j. Is g composite?
False
Let g(f) be the third derivative of 1/6*f**3 + 0*f - f**2 + 0 + 13/6*f**4. Is g(1) prime?
True
Suppose -12*c = -2*c - 6770. Is c composite?
False
Let p be 9/(-6)*8/(-3). Suppose -3*x = c - 269, 3*x + p*c - 147 = 110. Is x a composite number?
True
Let u(s) = s**3 + 9*s**2 + 19*s - 8. Is u(9) a composite number?
False
Is 7164/(-45)*10/(-4) a composite number?
True
Suppose -2*q + 103 - 605 = 0. Let k = q - -380. Is k prime?
False
Let d = 312 - 185. Is d a prime number?
True
Let l(u) = -99*u - 2. Is l(-13) a prime number?
False
Suppose -4*x = -3*p - 0*p, -4*x = 2*p + 20. Is ((-3)/9)/(p/4236) prime?
True
Let p(r) = 125*r - 7 + 2 + 9. Is p(2) prime?
False
Let l = -269 - -474. Is l prime?
False
Suppose -3*y = -8*y - 100. Let s = 8 + -13. Let z = s - y. Is z a prime number?
False
Is -1 + (-1)/((-2)/476) composite?
True
Let z = -3 + 5. Let t(p) = -2*p + 33*p**2 + z - 1 + 6*p**2. Is t(-2) a prime number?
False
Suppose -3*u + 237 = -0*u. Suppose 2*z = f - 2*f + u, -2*z = -5*f + 383. Is f a composite number?
True
Is (-1)/((-4)/5432) - -3 a composite number?
False
Let h = 22 - 172. Let t be (2/(-2))/(6/h). Suppose t = 3*m - 2*m. Is m prime?
False
Let j(w) = 0 - w**2 + 4*w + 2 - 2*w + 0*w. Is j(2) composite?
False
Let m be (0 - (-3)/(-2))*(-416)/6. Suppose -4*i - 218 = 2*g, -4*g - 2*i = i + 431. Let w = m - g. Is w a prime number?
True
Suppose 0*o = -2*o + 2064. Suppose 5*i + 1023 = 4*x, 2*i - o = -4*x - 2*i. Is x prime?
True
Suppose 0 = -k - 3*k + 20612. Is k prime?
True
Let t = 1 - -1. Let s be t/4 - 3/6. Suppose -5*v + s*v + 185 = 0. Is v a prime number?
True
Suppose -2*b + 0*b - 32 = -4*g, 0 = 3*b + 12. Let j(s) = -s**3 + 7*s**2 - 4*s + 2. Let a be j(g). Let p = 40 - a. Is p a composite number?
True
Let g be (-16)/(-10) + (-14)/(-35). Let h(o) = 37*o**3 - 2*o**2 + 3*o - 1. Is h(g) composite?
False
Suppose 105 = -3*y - 192. Let s = -54 - y. Suppose s = 2*o - 17. Is o prime?
True
Let v(y) = 9*y**3 - y**2 + y. Is v(3) prime?
False
Let w = -35 - 28. Let z = w + 95. Let n = z + 3. Is n a prime number?
False
Suppose -3*p = 4*k - 2855, -k + 264 = 4*p - 453. Is k a prime number?
False
Let s = 37 - 10. Suppose 7 = -4*o + s. Suppose -3*q = -o*q + 28. Is q a composite number?
True
Let f be (6/3 - 0)*-1. Let m be 50/3 - f/(-3). Suppose 60 = 2*b - 2*a - m, -4*a = 3*b - 149. Is b a composite number?
False
Let r(z) = 3*z**3 + 2*z**2 - 1. Suppose 3 = -3*x, -3*w + 5*w - 4*x = -2. Let t be r(w). Let c = t + 143. Is c a composite number?
False
Let t = -8 + 22. Suppose 21 = 5*q - t. Is q composite?
False
Let a = 32 + -20. Let x(y) = 4*y - 13. Let z be x(a). Suppose 4*f - 2*h - 50 = 0, 5*f - z = 2*f + 4*h. Is f composite?
False
Is (-1009)/(-7)*(4 - -3) a composite number?
False
Let j = -191 + 379. Let s = 299 - j. Is s a prime number?
False
Let o(i) = -71*i**3 + 6*i**2 - 6*i - 1. Let k(j) = j**3 + j**2 - j. Let r(l) = -6*k(l) + o(l). Let n be r(1). Is 0 - -1 - n - 2 composite?
True
Let c(z) = -z + 40. Let w be c(0). Let v be (-873)/(-12) - (-1)/4. Suppose 0 = -s + w + v. Is s prime?
True
Let h(n) = n. Let j be h(5). Suppose -4*k + 462 = -x, j*x + 470 = -0*k + 4*k. Is k composite?
True
Let g(i) = -2*i. Let z be g(-2). Let r = 10 - 7. Suppose 2 = z*v - r*v. Is v a composite number?
False
Let y = 81 - 121. Let x be (3/5)/(8/y). Is 0 + (3 + x - -10) composite?
True
Let n(l) = 2*l**2 - 1. Let w be n(-2). Suppose -w = -5*y + 23. Is y a prime number?
False
Suppose 2 + 2 = -2*g. Let t(w) be the second derivative of -3*w**5/20 + w**3/6 + w**2/2 - 5*w. Is t(g) prime?
True
Let u(y) = y**3 - 7*y**2 + y - 4. Let s be u(7). Is (s/1)/9*267 prime?
True
Let i(v) = v - 2. Let b be i(4). Is 0/(b + 1) + 34 prime?
False
Let v(f) = f - 3. Let c be v(9). Let r be 3/2*(-4)/c. Is 59 + r + 0/(-3) a prime number?
False
Suppose -3*o + 550 = 2*o. Is (o/4)/(-5)*-2 prime?
True
Let k = 401 + -278. Let c = -35 - -38. Suppose c*v - 4*z = k, 0 = 3*z - 5*z - 6. Is v a prime number?
True
Let q = 1 - 4. Let r be 2/6*3 - q. Suppose u + r*v + 19 = 2*u, 3*u = -5*v + 6. Is u a prime number?
True
Let h = -33 - 14. Let f = -77 - h. Let d = f - -65. Is d prime?
False
Let p(w) = 66*w + 2. Let u be p(3). Let t = 337 - u. Suppose t + 74 = 3*x - 5*f, -x + 65 = f. Is x a prime number?
True
Let v(d) = -d**2 - d. Let c be v(-4). Is (c/10 + 2)*5 composite?
True
Let j(g) = 4*g + 5. Let b be j(5). Suppose -2*i + 88 = -2*u, -i + 4*u + 19 = -b. Let r = i - -11. Is r a composite number?
True
Let n(i) = -i**3 + 4*i**2 - 1. Let a be n(4). Let f be 50 + (5 + a - 3). Suppose 2*v = 2*j + 110, -v = -4*j - 10 - f. Is v composite?
False
Let z(v) = -v**3 - v**2 - 4*v + 211. Is z(0) a prime number?
True
Let z be (-2*69)/(-3) - -3. Let c = -26 + z. Is c a prime number?
True
Let r(n) = -n**3 - 2*n**2 - 2*n - 1. Let k be r(-4). Let c = -18 - -18. Suppose -3*z = -c*z - k. Is z composite?
False
Suppose 0 = 2*v + 2*j, -4*v - 5*j = -6*v. Suppose h + v*h = -4*b + 80, 0 = -5*b - 2*h + 103. Is b prime?
True
Suppose 7*t - 3*t = 0. Suppose t = -z - 5*n + 384 - 124, z - 5*n = 210. Is z composite?
True
Suppose 4*i - 3*y = 771, -i + 5*y = -0*i - 180. Suppose -2*q - i = -5*q