b be 2*(-1 - (-1053)/2). Suppose 5*z - b = 534. Is z a prime number?
True
Let v(u) = -u**3 - 8*u**2 + 9*u - 2. Let n be v(-9). Let x be n/(-4) - 3/6. Suppose 4*y = -x + 8. Is y composite?
False
Suppose 4*j - 4*q - 951 = 3*j, 16 = -4*q. Suppose 0 = 5*y - 4*c - j, 64 = y + c - 132. Is y composite?
False
Let m = 3 + 10. Suppose 1 = 4*f + m. Is f/(-9) + (-88)/(-6) a prime number?
False
Suppose 3*p - 18 + 180 = 0. Let l = p + 100. Is l prime?
False
Is 10/35 + 41795/7 a prime number?
False
Suppose 0*s + 68 = s. Let u be (-3 + 2)/((-2)/s). Is (1 - -2) + 1 + u prime?
False
Let z(l) = -3*l**3 + 3*l**2 + 8*l + 1. Let g(t) = 13*t**3 - 13*t**2 - 31*t - 3. Let b(c) = -2*g(c) - 9*z(c). Is b(7) composite?
True
Suppose -1167 = -6*u + 3*u. Is u a prime number?
True
Let y(b) = -36*b**3 + b**2 + b + 1. Let t be y(-1). Suppose 2 = -2*q, 0*u - 4*q - 2 = -u. Let a = u + t. Is a a composite number?
True
Let c(i) = -i**2 - i. Let x = 3 - 3. Let k be c(x). Suppose g = -2*w + 59, k = 3*g + 5*w - 3*w - 165. Is g prime?
True
Let r(g) = -4*g + 71 + 3*g + 56. Is r(0) composite?
False
Let k = 4 - 2. Suppose -4*v - i + 420 = 73, 0 = k*v - 2*i - 176. Is v prime?
False
Let q = -5 - -2. Is (-1)/q*(21 - 3) a prime number?
False
Suppose 3*w = -15, 0*w - w = -d + 3. Is d*(-3 - (-236)/(-8)) a prime number?
False
Suppose -m - 8 = -3*s + m, 0 = -5*s - 4*m - 16. Let p = s + 55. Is p a composite number?
True
Let n(j) = 243*j - 4. Let h be n(3). Suppose -4*a + h = a. Is a a prime number?
False
Let y = -1808 + 3085. Is y a prime number?
True
Let o(h) be the first derivative of -h**6/120 - h**5/15 - h**4/24 - h**3/6 + h**2 - 3. Let x(c) be the second derivative of o(c). Is x(-6) a composite number?
True
Suppose 4*f = -50 + 1110. Is f composite?
True
Let n = 17 + -15. Is (53 + 4)*n/3 composite?
True
Let k(g) be the third derivative of -g**5/60 + 37*g**3/6 - 3*g**2. Is k(0) a prime number?
True
Is 2/3 - (-230)/6 composite?
True
Let g = 1 - -182. Is g a composite number?
True
Suppose 5*r - 4*v = 417, r - 5*v = -2*v + 79. Suppose 0 = 4*f + 5*p - r, 4*f - 4*p + p - 45 = 0. Is f prime?
False
Suppose 144 = 5*v - 871. Is v a prime number?
False
Suppose 0 = -0*m - 2*m - 3*k - 4, 5*k = 2*m + 4. Is ((-17)/m)/(13/598) a composite number?
True
Suppose 2*k - 205 = 125. Is 0 + 2 + k/5 composite?
True
Suppose 2*k + 20 = 184. Is k prime?
False
Let w(o) = 2*o - 3*o - 2*o + o**2 + 1. Let a be w(4). Suppose 0 = -a*j + 5*g + 235, 3*g = -0*j - j + 47. Is j a composite number?
False
Let y(v) = v**2 - 4*v + 5. Suppose 0 = 4*z + 4*m + 28, 0 = -4*z + z + 2*m - 16. Let s be (-2)/6 + (-50)/z. Is y(s) a prime number?
True
Is 6293/5 + 16/40 a prime number?
True
Let g(a) = a**3 + 1. Let m be g(1). Suppose -3*v = 4*p - 0*p - 9, 10 = 4*p + 2*v. Suppose 21 = y + p*l, y + 3*l - 33 = -m*y. Is y a prime number?
False
Suppose 2*x + x - 2667 = 0. Is x a composite number?
True
Let z = -1 - -3. Let k(u) = -u**3 + u**2 + u - 1. Let o be k(0). Is (-14)/(o*z + 1) composite?
True
Suppose x + 5*g - 67 = 2*g, 0 = -3*x + 3*g + 201. Is x a composite number?
False
Suppose -2*x + 238 = 2*g, -x + 78 = 4*g - 41. Is x composite?
True
Let r(c) = 2*c**2 - c - 1. Let a be r(-1). Suppose -5*o - a*m + 1005 = 0, 5*m + 1025 = 5*o + 3*m. Is o prime?
False
Let f = 486 + -329. Is f composite?
False
Let y = 11 - 6. Is (2 + 117/5)*y prime?
True
Let s(r) = -6*r + 1. Let m = 4 + -6. Is s(m) prime?
True
Let l(y) = -86*y**3 + 2*y**2 + 2*y + 1. Is l(-1) a prime number?
False
Let n(i) be the second derivative of i**4/6 + 5*i**2/2 + 4*i. Is n(-4) a composite number?
False
Let o be 0 - (3 - 2 - -1). Is (0 - o) + 1 - -8 a prime number?
True
Suppose 752 = t + 276. Is (t/16)/(2/8) a prime number?
False
Let x be 2*(10/(-4))/(-1). Suppose -688 = -x*m + 1357. Is m prime?
True
Suppose -3*u = 2*u - 2445. Is u a prime number?
False
Suppose -158 = -3*y + 5*j, 0*j + j + 188 = 4*y. Is y composite?
True
Suppose -d - 9 = -4*d. Suppose d*z = p - 106, 2*p + 3*z - 469 = -2*p. Is p a composite number?
True
Let b(j) = j**3 - 4*j**2 + 6*j - 6. Let k be ((-8)/(-10))/(1/5). Let x be b(k). Let u = -11 + x. Is u prime?
True
Is 3*(3 + 190/3) a prime number?
True
Let k be 454/(-8) + (-5)/20. Let n = k + 108. Is n composite?
True
Let s(v) = -v - 3. Let n be s(-6). Suppose -z = -n*z + 316. Suppose z = g + g. Is g a prime number?
True
Let n = 130 - -209. Is n a prime number?
False
Let r be 146972/16 - 3/(-12). Is (-4)/(-14) + r/42 a composite number?
True
Let y be (-1)/4 + 18/8. Let f be 81 + 16/(3 - -1). Suppose -p + y*p = f. Is p composite?
True
Let i = 325 - -634. Is i a prime number?
False
Let z be (-5)/(-10) - 1610/4. Let h = z + 653. Is h prime?
True
Let q = 193 + -400. Is 2 - q/(2 + 1) prime?
True
Suppose 2*p = p + 2. Suppose 0 = -m + p*t + 8, 3*m = -0*t - 3*t + 51. Let y = 48 + m. Is y a prime number?
False
Suppose -1495 = b - 6*b. Is b a composite number?
True
Suppose 2*w - 4*c = 56, c - 88 = -3*w + 3*c. Suppose -4*g - g = w. Is 15/9*g/(-1) a composite number?
True
Let i(b) be the third derivative of -163*b**4/24 + 4*b**2. Is i(-1) a prime number?
True
Let c(r) be the second derivative of -r**5/20 - r**4/6 - r**3/3 + r**2/2 - 2*r. Let w be c(-2). Is w/(-10) + 26/4 composite?
True
Let t(o) = -2*o**2 + 6*o - 3. Let d(g) = -3*g**2 + 6*g - 2. Let u(h) = -4*d(h) + 5*t(h). Let x be (1 - (-4)/6)*-3. Is u(x) prime?
True
Suppose 4*q + x + 48 = -3*x, -3*q = -x + 56. Let o = 60 - q. Is o a prime number?
False
Let y(w) = 6 - 7 - 14*w**2 + 2*w + 6*w**3 + 13*w**2. Let k(m) = -m**3 + 5*m**2 - 4*m + 2. Let i be k(4). Is y(i) composite?
False
Let m = 21 + -19. Suppose -972 = -m*r - 146. Is r composite?
True
Let o(g) = -g**3 - g**2 - g - 1. Let s(t) = 4*t**3 - 3*t**2 - 5*t + 9. Let j(l) = -3*o(l) - s(l). Let a be j(7). Let h = 4 - a. Is h a prime number?
True
Let o = 1312 - 659. Is o prime?
True
Suppose -5*g + 106 + 4 = 0. Suppose 2*o = 2*f - 3*f, -4*f = -3*o + g. Suppose 0*z + o*z = 14. Is z composite?
False
Let r = 6 + -1. Suppose r*w = w. Let i = w + 69. Is i a prime number?
False
Let z be 33 - (0 - -1)*1. Let a = z - 15. Let h = 84 - a. Is h composite?
False
Suppose 8*a = 3*a. Suppose 206 = 2*s - a*s. Suppose 357 = 4*w - s. Is w composite?
True
Is 3/(-15) + (-3732)/(-10) composite?
False
Let w(v) = 4*v**2 + 5*v - 10. Suppose -8*u + 13*u + 55 = 0. Is w(u) composite?
False
Let z(s) = -6*s**3 - s**2 + 1. Let j be z(-1). Suppose 0 = -j*y + y - 30. Let i(r) = -r**3 - 5*r**2 + 3*r + 1. Is i(y) a prime number?
True
Suppose l - 2460 = 5*l. Let k = l + 362. Let b = -174 - k. Is b a prime number?
True
Suppose 4*f - 3*w - 592 = 0, f - 147 = 3*w + 1. Is (f/6)/(22/33) a prime number?
True
Suppose 10 = 4*u - 314. Let r = 116 - u. Is r composite?
True
Let g(i) = 5*i**2 - 4*i + 3. Let l(k) = k + 2. Let m be l(3). Suppose -3*u + 2 + 2 = -2*j, m*u - j = 16. Is g(u) a prime number?
True
Let y be (-1 - 2/(-8))*72. Let h = y + -23. Let o = h - -204. Is o a composite number?
False
Let a(o) = -2 + 2*o**3 - o**3 + 4*o**2 - 12*o**2. Let j be a(8). Let u = j + 13. Is u a composite number?
False
Let q(p) be the third derivative of -p**4/24 - 5*p**3/3 + p**2. Let i be q(-6). Let k(w) = w**3 + 7*w**2 + 4*w + 3. Is k(i) prime?
False
Let k = 10 - 16. Let p(f) = -2*f - 2. Is p(k) prime?
False
Let t be (-5)/(-10) + 54/(-4). Let n = t + 9. Is (-362)/n - 3/(-6) prime?
False
Suppose 2*i + 2*w + 22 = 4*i, -5*i = 3*w - 55. Suppose 5*q + i = -14. Let x(z) = -z**3 - 4*z**2 - 4*z + 2. Is x(q) a composite number?
False
Suppose -1428 = -5*d + 2287. Is d prime?
True
Suppose -2*l - 3*w = -l - 32, -5*l + 5*w = -120. Let d = 18 - l. Let n = d - -15. Is n composite?
False
Let j(g) = g**3 - g**2 + 26*g - 15. Is j(14) composite?
False
Is (-2835)/(-4) - (-18)/72 composite?
False
Suppose -5*m - 5*i = -720, -2*m = 3*m - 2*i - 692. Suppose 0 = -4*y + 2*x + m, 3*y + 2*x - 105 = -3*x. Is y a prime number?
False
Suppose -21 = g - 5*x, -5*g - 38 = -5*x - 13. Is 40 - (-2 + (3 - g)) prime?
False
Is 1*12 + 3 - 1 a prime number?
False
Let s(v) = 8*v**3 - 2*v**2 + 4*v - 9. Is s(4) prime?
True
Is 8/4 - 369/(-1) a prime number?
False
Suppose 82 = 2*g - 72. Suppose 0 = 2*v - 3*v + g. Is v composite?
True
Let n = -68 - -106. Suppose -5*w + 71 = -2*f, -2*w + 2*f + n = -2*f. Is w a prime number?
True
Suppose k - 302 = -48. Is k a prime number?
False
Suppose