0*h + 85. Is s(-5) composite?
True
Let r = 1 - -1. Suppose 4*z - i = r*z + 195, -5*z + 484 = i. Is z prime?
True
Suppose -k + 6665 = 14*u - 12*u, 0 = 3*k - 3*u - 20031. Is k composite?
False
Let p(w) = -w**2 - 9*w - 8. Let s be p(-10). Let b = 3 - s. Suppose -b*n + 1268 = -17*n. Is n composite?
False
Let d = -2177 - -3576. Is d composite?
False
Is 11924 + (-8 - -1 - 0) a prime number?
False
Suppose -120 = -4*r + 76. Let z(s) = -28 + 2*s - 24 - s**2 - s**3 + r. Is z(-4) a prime number?
True
Let a(n) = 9*n**3 - n**2 - 3*n + 1. Let o be a(2). Let q be 2*o/6 + -3. Suppose -73 = -w - q. Is w composite?
True
Let r(h) = h - 1. Let o(c) = -38*c - 17. Let a(p) = 19*p + 8. Let v(l) = 11*a(l) + 6*o(l). Let s(g) = 4*r(g) - v(g). Is s(11) a composite number?
False
Suppose 0 = -7*w + 128 + 208. Let o = w + 167. Is o a composite number?
True
Suppose 0 = 58*n - 23*n - 77945. Is n a prime number?
False
Suppose -2*p + 5*h = -2174, -p - h + 1109 = 2*h. Is p a composite number?
False
Let n(b) = 4089*b + 52. Is n(3) prime?
False
Suppose u + 4420 + 4816 = 5*m, 0 = m - 5*u - 1852. Suppose 737 = 2*s - o, -4*s - m = -9*s + 4*o. Is s a prime number?
True
Suppose 0 = -16*c + 91*c - 411675. Is c prime?
False
Suppose -269 - 205 = 3*m. Let q be (m/3)/(6/(-9)). Suppose i = -0*i + q. Is i a prime number?
True
Let i(p) be the second derivative of 31*p**5/30 - p**4/8 + 5*p**3/3 - 7*p. Let u(x) be the second derivative of i(x). Is u(7) composite?
True
Is (-26 + -50161)*(-1)/3 a composite number?
False
Suppose -9 = -3*a + 6. Let s(f) = 17*f + 8. Is s(a) a composite number?
True
Suppose 69*s - 56*s - 53339 = 0. Is s a prime number?
False
Suppose 15 = 4*d + 5*g - 30, -26 = -3*d + 4*g. Is (-14)/d*(-1 - 4) composite?
False
Suppose -31 = -5*p - 11. Suppose -p*c + 975 = -125. Let j = c + -196. Is j a prime number?
True
Let g(m) = -6*m**2 - 4*m**3 - 5 + m**2 + 0*m**2 + m**2. Is g(-4) prime?
False
Suppose 2*b - 3*v = 7*b - 12, -v = -3*b - 4. Suppose 6*k - 1882 - 1244 = b. Is k composite?
False
Suppose -7*d = -8*d. Suppose -3*o = -2*r + 3, 1 = r - 2*o - d. Suppose 0*v - 236 = -4*t - r*v, -5*v + 236 = 4*t. Is t a prime number?
True
Let s(h) = -13912*h + 14. Let c be s(-2). Suppose -c = -5*v - 7673. Is v a prime number?
False
Let j(d) = 6*d - 8. Let f be j(12). Let v = -27 + f. Is v a prime number?
True
Let y(i) = 43*i**3 + 9*i**2 - 2*i - 35. Is y(8) a composite number?
False
Suppose 0 = x - 3210 - 529. Is x a prime number?
True
Suppose -2 = -3*p - 2*h, -5*p = 3*h - 2*h - 15. Suppose p*z - 5*c + c = 840, c + 3 = 0. Is (13 - z)*(-2)/4 a prime number?
True
Is (1163184/96)/((-3)/(-6)) prime?
False
Let c = 17502 - 4211. Is c prime?
True
Let b = 50 + -97. Let d = b - -31. Is (d/2)/(-1) - 1 a composite number?
False
Let g = -32 - -29. Is 6891/3 + g/(-6)*-8 a composite number?
False
Suppose 5*u = -p + 3471, -2*p + 2*u + 1460 = -5506. Is p a prime number?
False
Suppose -2*i = 2*i + 5*n - 7, 13 = 5*i + 2*n. Let h(d) = 10*d - 16. Is h(i) composite?
True
Suppose -2*n + 15 = 2*t - 7*t, -n - 15 = 5*t. Suppose -4*o + 188 = -n*o. Suppose -322 = -5*z + g, -6 = -z + 4*g + o. Is z a composite number?
True
Suppose 5 = -3*t + 2. Is 0 + (0 - (-886 + t)) a composite number?
False
Is 7818 - (-4)/10*55/(-22) a composite number?
False
Let p(x) = x**2 - 6*x. Let o be p(6). Suppose o = -6*i + 588 + 918. Is i prime?
True
Suppose -3*m = -9 - 9. Let d(b) = -2*b**2 + 11*b + 8. Let z be d(m). Suppose 318 = j + z*j. Is j composite?
True
Suppose 2*k = -2, i - 4*i = 5*k - 8992. Is i prime?
True
Let q(g) = 1 - 3 - g + 2. Let d be q(-3). Suppose 4*y - 3*f - 1129 = 130, d*y = 3*f + 942. Is y a composite number?
False
Let f(l) = -15 - 12 + 21 - 32*l. Let g(r) = -1. Let o(q) = f(q) - g(q). Is o(-6) composite?
True
Let q(z) = -78*z**3 - z**2. Suppose -4*w + 2 = -3*w. Suppose -w*i = -0*i + 2. Is q(i) prime?
False
Let k(h) = -18*h**3 + h**2 + 4*h + 4. Suppose 0*w = -w - 3. Is k(w) a composite number?
False
Suppose -4 + 36 = -4*y. Let t = -5 - y. Suppose 8 = k + t*w - 6*w, 3*k + 3*w = 0. Is k a prime number?
True
Let i(v) = 90*v**2 - 5*v - 24. Is i(-5) a prime number?
True
Let w be (26/(-39))/(2/9). Let v be (2 - -129)*(5 + w). Suppose -j + 443 = o, 177 + v = j + 2*o. Is j prime?
False
Let g be (-1)/(-8) + (-25)/200. Let v be (-20)/3*(-633)/2. Suppose g = l - 4*f + f - 410, -5*l = 5*f - v. Is l prime?
True
Let o(h) = h**3 + 10*h**2 - 2*h - 14. Let p be o(-10). Suppose 10*m - p*m = 88. Suppose -3*y + m = -23. Is y prime?
False
Suppose 0 = -r + 2*w - 0*w + 1397, -3*r + 4197 = -4*w. Is r composite?
True
Is -2 + (-9)/(45/(-18470)) + -5 composite?
True
Let x be 8435/20*1/(1/(-4)). Let y = x + 2370. Is y a prime number?
True
Let o = 602 + -710. Let b be (-46)/3*(-2 + 5). Let z = b - o. Is z composite?
True
Let s = 5 + 61. Let v = 325 - s. Is v a composite number?
True
Suppose -8 = -2*u - 20. Let z be (u/(-12))/(1/(-6)). Is -524*(-4)/((-48)/z) prime?
True
Let s = 2918 - 7301. Let l = s + 6928. Is l prime?
False
Let c(z) = 9 + 8*z**2 + 7*z + 4*z**3 + 4*z**3 - 4*z**3 - 3*z**3. Is c(-7) a prime number?
False
Suppose -92*m + 90*m + 18938 = 0. Is m a prime number?
False
Let g(b) = 70*b**2 - 60*b - 11. Is g(17) prime?
False
Let g = -36 - -34. Is (g + 0 + -69)*-1 a prime number?
True
Let z be (-243)/(-18) + (-2)/(-4). Let i be (6/z)/((-2)/(-14)). Suppose s - 124 = -i*s. Is s prime?
True
Let b = 10844 + -711. Is b a prime number?
True
Let x = 241 - 147. Let d = x + -41. Is d a composite number?
False
Let c(f) = 2*f - 3. Let p be c(9). Suppose 5*y = 4*z + 3, 0*z - p = -5*z. Suppose -690 = -5*g - 4*k - k, 435 = y*g - 4*k. Is g composite?
True
Let g(k) = k**3 + 64*k**2 + 265*k + 7. Is g(-59) composite?
False
Let u = -2741 - -12310. Is u prime?
False
Let f = -44 - -26. Let x be f/(-14) + (-12)/42. Suppose 142 + x = i. Is i a composite number?
True
Let v = 19002 - 9335. Is v prime?
False
Let y be 116/16 - -3*(-1)/(-4). Let z(g) = -g**3 + 11*g**2 - 13*g - 5. Is z(y) prime?
True
Let k(p) = -p**3 + 7*p**2 + 8*p + 3. Let f be k(8). Suppose 2*x + x = 4*l - 773, 581 = f*l - x. Is l a prime number?
False
Suppose -2*u + 4844 = 2*q, 4*u + u = 4*q + 12083. Is u composite?
True
Let w(y) = 13*y**3 + 11*y**2 - 2*y - 14. Let i be w(8). Suppose 0 = -3*l + 5*d - 0*d + 4398, -d - i = -5*l. Is l composite?
True
Let w(c) = c + 20. Let h be w(-8). Is 0 - (-2330)/h - (-7)/(-42) a composite number?
True
Is (-2)/((-12)/17514) + 8 a prime number?
True
Let j be (-8)/28 + (-46)/(-14). Is j/(-4) + 895/4 a composite number?
False
Let t(l) = 8*l**2 + 3*l - 2. Let p be t(1). Is ((-3)/p)/((-1)/5013) prime?
False
Suppose 40 = 4*t - 4. Suppose -3*p = 2*m - 78 - 226, -p + 102 = m. Suppose t*k = 7*k + p. Is k a composite number?
True
Let w = 21 - 15. Let x = -3 + w. Suppose -3*i = -g - 0*g + 27, 15 = g + x*i. Is g composite?
True
Suppose 5*k = -2*b + 763, -9*b + 1139 = -6*b + 2*k. Is b prime?
True
Suppose -59 = 4*z + 17. Let u = z + 25. Suppose 4*t - u = 2*t. Is t a prime number?
True
Suppose -8855 = -2*u + 3423. Is u a prime number?
False
Let z(v) be the third derivative of -v**6/60 + 3*v**5/10 - 3*v**4/8 - v**3/2 + 3*v**2. Is z(8) a prime number?
True
Suppose 36*d - 34*d + 8 = 0, 0 = 4*g - 2*d - 55612. Is g a composite number?
False
Let m(d) = 5*d**3 - 2*d**2 - 2*d - 1. Let s be m(-1). Let i(w) = -2*w**2 - 9*w - 8. Let t be i(s). Is 4126/14 - t/91 a prime number?
False
Let n = 2094 + -1459. Is n a prime number?
False
Suppose -5*n = -i - 186, -2*i = 3*n - 147 + 38. Suppose -2*m - n = -5*v + 1410, 4*m + 857 = 3*v. Is v composite?
True
Suppose 5*o - 61699 = -3374. Suppose 3*y + 2*y = o. Is y a prime number?
True
Is (-12)/(-42) - (-8865)/63 composite?
True
Let t be 15/6*12/(-10)*-1. Suppose -5*k + 3446 = t*j, k + 5*j - 688 = 4*j. Is k prime?
True
Suppose 29*d + 10555 = 34*d. Is d prime?
True
Let o(u) = 208*u + 213*u + 11 - 15. Is o(5) composite?
True
Suppose -10*a + 11*a = 3. Let v(r) = r**2 + r + 5. Let f be v(0). Suppose b - f*b - 456 = -4*y, 0 = a*y + 2*b - 317. Is y composite?
False
Let q = 2182 + -1275. Is q composite?
False
Suppose -3*m = 5*p - 33966, 4*p + 57169 = 3*m + 23176. Is m composite?
True
Let z = -1 + 6. Suppose -z*u + 5*m + 45 = 0, -2 - 5 = -3*u - m. Suppose -u*n + r + 1809 = 0, 3*n = -n - 3*r + 1821. Is n a composite number?
True
Is 52/(-156)*(-75771 - 0) a prime nu