Let b be g/(-6)*(3 - 6). Suppose b*z + 18 = 4*s, 8*s = 3*s - 2*z. Is s prime?
True
Let l = -5 - -7. Suppose 4*y - 476 = -0*f + f, 238 = l*y - 2*f. Is y prime?
False
Let d(b) = 16*b**2 + 4*b - 1. Is d(-5) composite?
False
Let k = -8 - -511. Is k a prime number?
True
Suppose -10*y = -6*y - 8. Suppose -v = 3*d - 33 + 4, -y*v = 2*d - 50. Is v a composite number?
False
Let i(k) be the second derivative of 1/2*k**2 + 0 + 3*k + 1/6*k**3 - 31/20*k**5 + 0*k**4. Is i(-1) composite?
False
Let q = 278 + 77. Is q prime?
False
Let t = -838 - -1515. Is t a prime number?
True
Suppose c + 10 = 3*v, -3*v - 4*c + 40 = c. Suppose v*d + 0*d + 230 = 0. Let s = -27 - d. Is s prime?
True
Let a(h) = -h**3 - h**2 + h + 18. Let l be a(0). Let q = l - -19. Is q a composite number?
False
Let d = -1 - -29. Suppose -d = -3*g + 743. Is g prime?
True
Let k = 2568 + 925. Is k a prime number?
False
Let r(y) be the third derivative of y**6/40 - y**5/15 + y**4/12 + 3*y**2. Is r(3) a prime number?
False
Let h(d) = -2*d**2 - d. Let g be h(-2). Let s(y) = y + 6. Let r be s(g). Suppose r*o = -2*o + 38. Is o a prime number?
True
Let s = 4 - 2. Suppose 3*i = 5*f + 2, -2*i - s*f + 20 = 2*i. Suppose h = i*q - 14 - 118, -2*q = 4*h - 84. Is q a composite number?
True
Let j(t) = t**2 + 8*t - 5. Let a be j(-9). Suppose 2 = -f + a. Suppose -w - 2*k + 123 = 3*k, -5*w + 661 = f*k. Is w composite?
True
Suppose -3*v + 3 = -6. Suppose 0*b - 87 = -v*b. Let x = 84 + b. Is x a composite number?
False
Let s(u) = -7*u - 1. Let r be s(-2). Let c = r + 0. Let q = c + 24. Is q a prime number?
True
Let g be 1 + -3 + 165 + -4. Let j = g - 41. Is j prime?
False
Let p be ((-3)/(-2))/((-3)/(-6)). Suppose 5*v = 5*r - 35, 0 = r - 6*v + 4*v - p. Is (-4)/6 - r/(-3) a prime number?
True
Let x = 1682 + 119. Is x a prime number?
True
Suppose 5*w + 2*p = -3*p, 3 = -2*w - 5*p. Let c(g) = 84*g**3 + g. Is c(w) a prime number?
False
Is 10337/7 + (4 - 130/35) a prime number?
False
Suppose 0 = j - c - 4, -3*j + 4*j + 4*c = 9. Suppose -j*s + 358 = 63. Is s composite?
False
Suppose 119 = 4*t - 4*r - 29, 5*t + r = 203. Suppose -d + t = -57. Is d prime?
True
Let f be 7*((-2 - -1) + 2). Let p(u) = u**2 + 1. Let n(s) = s**2 + 8*s + 4. Let k(r) = n(r) - 2*p(r). Is k(f) a composite number?
True
Let a = -224 - -475. Is a composite?
False
Let b = 292 - 181. Is b prime?
False
Let r(w) = w + 69. Suppose 0*c = -4*c + 2*f - 26, 0 = -c - 4*f - 29. Let p = c - -9. Is r(p) prime?
False
Is ((-15)/10)/(1/(-838)) composite?
True
Let r be 4*-1 - (-6 + 5). Let z = r - -6. Suppose 3*g = -2*d + z*d - 68, -d - 3*g + 62 = 0. Is d a prime number?
False
Let x = 3 + -3. Let t be 5 + -4 + (-2 - -6). Suppose x = t*l - 1496 + 21. Is l a composite number?
True
Suppose 5*x = -2*b - b - 56, -35 = 2*x - 3*b. Let s = 96 + x. Is s prime?
True
Let v(w) = -w**3 - 4*w**2 - 5*w - 1. Let p(k) be the third derivative of k**6/120 - k**5/12 + k**4/8 - 2*k**2. Let y be p(4). Is v(y) composite?
False
Suppose 5*h - 2*s = -14, 2*h - s = -3*s. Is 580/h*(-2)/4 prime?
False
Let p be 34/(-6) - 3/9. Is ((-9)/p)/(9/222) a composite number?
False
Suppose -10*h + 3330 - 940 = 0. Is h a composite number?
False
Is 1003/11 + 6/(-33) prime?
False
Suppose 0 = 4*r + 286 + 590. Let h = r + 512. Is h a prime number?
True
Let a be 2 + 6/2*-1. Is a/(2*(-2)/40) prime?
False
Let z = 4 + -17. Let u = z - -18. Suppose 193 = u*t + 68. Is t composite?
True
Let x = 644 + 45. Is x composite?
True
Let k(g) = 2*g**2 + 13. Suppose x + c = -4*x + 48, 5*x = -5*c + 40. Let a be k(x). Let q = -86 + a. Is q a composite number?
False
Suppose 0*f = f - 3*w - 1183, -5987 = -5*f - 3*w. Is f prime?
False
Suppose -3*t = -5*z - 1471, -z - 3*z = -3*t + 1469. Is t a composite number?
False
Suppose -2*r - 4*b = -302, 0*r - 5*b - 329 = -2*r. Is r prime?
True
Suppose h - 61 = -2*y, 0*h + 208 = 4*h - y. Is h composite?
False
Suppose m - 2 = 1. Suppose 4*q = -r + 2*r - 30, -26 = 4*q - m*r. Is 316/6*(-12)/q a prime number?
True
Let j(a) = 8*a**3 + 7*a**2 + 14*a. Let c(p) = -7*p**3 - 7*p**2 - 13*p - 1. Let x(k) = -7*c(k) - 6*j(k). Let h be x(-6). Is (-2 + 3)*(20 - h) a composite number?
False
Suppose -3*m = -5*r + 8, 0*m + 5*r = -m + 4. Let a(h) = -75*h**3 + h**2 + h. Let q be a(m). Let k = 128 - q. Is k composite?
False
Let k = -34 - -257. Is k a prime number?
True
Let a(n) = -n + 4. Suppose 5*h + 17 = -2*k, k + 4*k = -h - 8. Is a(h) prime?
True
Is (-1)/(-3) - (-5024)/12 composite?
False
Let t = -318 - -514. Let q = -139 + t. Is q prime?
False
Suppose 63 = -7*x - 0*x. Is 6/(-9) - 177/x a composite number?
False
Let g(r) = -10*r**2 - 11*r - 5. Let s(d) = -3*d**2 - 4*d - 2. Let j(t) = 2*g(t) - 7*s(t). Let u be j(-6). Is (-42)/u*12/(-9) a prime number?
False
Let x(k) = 7*k**2 - 1. Let w be x(-1). Let s be 9/(-21) - 17/(-7). Is 2*(105/w - s) a prime number?
True
Let j(g) = 2*g**3 - 7*g**2 - 7. Let q be j(5). Let s be ((-161)/(-21))/(1/6). Let h = q - s. Is h a prime number?
False
Suppose -4*o = 2*d - 0*d - 10, -o = 2. Let n be (-75)/d + 2/6. Let m = 15 + n. Is m composite?
False
Let c(v) be the second derivative of v**5/20 - v**3/6 + 79*v**2/2 - 3*v. Is c(0) prime?
True
Let c = 108 - 5. Is c a composite number?
False
Let q(y) = -55*y + 8. Is q(-17) prime?
False
Suppose -5*x - 88 = 282. Let p = x + 113. Is p composite?
True
Suppose -4 - 4 = -4*z. Suppose z*x - 6 = -0*x. Suppose 4*o = -5*c + 79, -x*c - 5*o = -6*o - 61. Is c prime?
True
Let j = -656 - -1161. Suppose 2*n + 3*y - 175 = n, -3*n + j = -y. Is n a prime number?
False
Let u(m) = 8*m + 1. Let d = 0 + 3. Let t be u(d). Suppose 4 - t = -l. Is l prime?
False
Let p(j) = -3*j - 1. Let y be p(-6). Let d = 20 + y. Is d a prime number?
True
Let a = -6 + 3. Let t = 6 + a. Is -165*(-3)/(6 + t) composite?
True
Let x(y) = -y - 1. Let w(a) = -a - 1. Let b(v) = -5*w(v) + 4*x(v). Let c be b(2). Suppose 0*l = c*l - 105. Is l composite?
True
Let f be (-4)/18 + (-357)/(-27). Suppose -44 = -3*t + f. Is t prime?
True
Let h(x) = -401*x - 56. Is h(-5) prime?
True
Let q(j) = j**2 - 5*j - 2. Let d(p) = -p**3 - 3*p**2 + 2*p - 2. Let i be d(-4). Let o be q(i). Suppose o*c - 17 + 1 = 0, -4*v = 4*c - 56. Is v a prime number?
False
Suppose -h + 0 + 1 = 0, -11 = -3*d - 5*h. Let q(u) = 0*u + 1 + 0*u - 3*u + d*u**2. Is q(6) prime?
False
Let t(u) = -47*u - 5. Suppose 3*q + 3*s + 12 = s, 5*q + 20 = 5*s. Is t(q) composite?
True
Suppose -3*n = -n. Suppose -2*a = -n*a - 12. Is a prime?
False
Is (2 - -4)/(6/447) a composite number?
True
Let y(g) = 3*g**2 + 11*g + 11. Let s be y(11). Let p(o) = -o**2 + 6*o + 4. Let t be p(6). Suppose -519 = -t*w + 5*j, 5*w - s - 161 = -j. Is w prime?
True
Suppose 2*f + 4 = -5*n + 22, f = 2*n. Let q(p) = -4*p**3 + 0*p**2 - 2*p + 3*p**3 - 2 + 0*p**n. Is q(-3) composite?
False
Let j(w) = 78*w + 1. Let k be j(3). Suppose -4*d = d - k. Is d a composite number?
False
Let q(o) = o**3 + 8*o**2 + 4*o - 2. Let a be 104/(-20) + (-3)/(-15). Let d be q(a). Let r = d - 0. Is r a composite number?
False
Let i be 2/(-13) + 8184/(-39). Let a = i + 373. Is a prime?
True
Suppose -w = i - 411 - 109, 0 = 4*i - 3*w - 2059. Is i prime?
False
Let d(v) = v**3 - 5*v**2 + v + 3. Let r be d(5). Let n(m) = 3*m**2 - 5*m - 7. Is n(r) a prime number?
False
Let r(z) = 10*z**2 + 4*z + 3. Let x(c) = -c**2 + 2. Suppose 0 = -5*v + 10, -3*v + 1 = 5*g + 5. Let o be x(g). Is r(o) a composite number?
True
Let n = 241 - 114. Is n a composite number?
False
Let o be -1 - (2 + -2) - -13. Suppose -u + o = 2*u. Suppose -u*w + 6 = -6. Is w a prime number?
True
Let a(m) = m + 3. Suppose 3*s - 8*s + 15 = 0. Suppose -4*z + 8 = -2*h, 0*h - s*h = -5*z + 8. Is a(h) a prime number?
True
Let g = -10 + 15. Let b(n) = -n + 6. Let x be b(g). Is x/(3/237 - 0) a prime number?
True
Let x = 8 + -4. Suppose a = -0 + x. Suppose -d + a*i = -33 - 10, i = -3. Is d prime?
True
Let l(r) = -r**2 - 2*r + 2. Suppose p - 8 = -3*p - 5*y, -7 = 5*p + 2*y. Let c be l(p). Let o(i) = -76*i + 1. Is o(c) a prime number?
False
Suppose -4*v + 0*v = 44. Let s = 97 - 142. Let y = v - s. Is y prime?
False
Let q = 258 + 797. Is q composite?
True
Let q(d) = d**2 + 6*d - 10. Let m be q(-8). Let n = m - -17. Is n composite?
False
Is 8 + -10 + 1 + 252 prime?
True
Suppose -v + 4 + 0 = 0. Let k = v - 2. Is 23 + k*(-9)/(-6) a composite number?
True
Let o = -1242