. Suppose -2*x + 3*s = -282, -x + s + c = 3*x. Suppose -i + x = 2*i. Is i composite?
True
Let g(b) = -b**3 + 8*b**2 + 14*b - 11. Let p be g(9). Suppose -j + 4*a = -15, a + p = 4*j - 2*a. Is j a composite number?
False
Suppose -3*m - 77 = -479. Is m composite?
True
Let m = 500 + -43. Is m a prime number?
True
Is -254*(-2 + -2)/8 composite?
False
Let b = -284 - -511. Suppose -5*o = -1492 + b. Is o a composite number?
True
Let k be 18/10 - (-2)/10. Is k/12 + 664/48 composite?
True
Let q(u) = u**2 - 7*u - 3. Let n be q(8). Suppose -n*w - y = -184, 5*w + 2*y - 187 = 4*y. Is w a composite number?
False
Suppose 5*u - n + 3*n - 2851 = 0, 5*u - 3*n = 2861. Is u prime?
True
Let s(v) = 2*v**3 - 2*v**2 + 4*v + 4. Let g(w) = 10. Let d(p) = -3. Let q(t) = 7*d(t) + 2*g(t). Let c(h) = -3*q(h) - s(h). Is c(-3) a prime number?
True
Suppose -50 + 5 = -4*w + 5*l, 0 = -w - l. Suppose 0 = 3*t - w - 70. Is t prime?
False
Let l = -7 - -13. Let n = -506 + 238. Is (n/(-6))/(4/l) a prime number?
True
Let i = -195 + 352. Is i composite?
False
Let o be ((-12)/(-8) - 2)*0. Suppose -4*q - 3*x = -382, -2*q - 2*x - 96 + 286 = o. Is q prime?
True
Let p = 106 + 102. Let k = -52 + p. Is k/8*2/3 prime?
True
Let n(o) = -o**2 + 4*o + 4. Let x be n(5). Is (1 - 96)/(1/x) prime?
False
Let k be 0/(-1*2) + 0. Let h be k + ((-50)/(-1))/(-2). Is (-245)/h - (-2)/10 prime?
False
Let x(z) = -56*z - 3. Let i be x(3). Let m = i - -464. Is m prime?
True
Let g be (-4)/(-18) - (-136)/36. Let z(s) = -s - g + 49 + 7 + 241. Is z(0) composite?
False
Let p be 491/((-3)/6*2). Let f = p + 728. Suppose 4*m - 5*g = 477, m + g = 3*m - f. Is m prime?
False
Let z = -1356 - -2140. Suppose -4*g = 2*c - z, g + c = 4*c + 196. Suppose 5*s - s = g. Is s composite?
True
Is 316*-3*3/(-18) prime?
False
Let u(l) = -52*l**2 + 2*l - 1. Let f be u(1). Let i = 74 + f. Is i a prime number?
True
Let x(a) = a + 1. Let u be x(-3). Is (77/u - 0)*-2 composite?
True
Let v = 90 - -170. Let z = 483 - v. Is z prime?
True
Let u be (-1)/5 + 1/5. Suppose u*k - o = 4*k - 268, 3*k - 201 = 4*o. Is k a prime number?
True
Suppose f - 3*n + 3 = 0, 2*n - 2 = -5*f + 17. Let b = f + -1. Let v(o) = 5*o**3 + o**2 + 2. Is v(b) composite?
True
Let p = -254 - -991. Is p prime?
False
Let w = 214 + -119. Is w prime?
False
Suppose 17 = 3*r - 55. Let u = r - 14. Let y = u - -16. Is y prime?
False
Suppose -v - 5*z + 28 = 0, -6*v + v + 10 = -z. Suppose v*a - 8 - 70 = 0. Is a a composite number?
True
Suppose 0 = 4*k - 4*m + 3*m - 1924, -3*m + 481 = k. Is k a composite number?
True
Is (-285)/(-4) - (-3)/(-12) a prime number?
True
Let j be -1 - (1/1 - 1). Let y(d) = 60*d**2 + 1. Let b be y(j). Let o = b + -24. Is o prime?
True
Suppose -97 = -d - 2*o + 5*o, d - 2*o = 102. Suppose 0 = -4*h + 36 + d. Is h a prime number?
True
Suppose -3*c + c + 118 = 0. Is c a prime number?
True
Suppose 7*n + 10 = 2*n + 2*m, -2*n - 4*m + 20 = 0. Suppose 2*f = -3*t + 52, t + n*f - 4 = 2*f. Is t a prime number?
False
Suppose 3*v - 456 = 486. Is v a prime number?
False
Suppose 3*i - 3*h = 2*h + 1726, 0 = -5*i + 3*h + 2882. Is i prime?
True
Let l(u) = u**2 - 5*u. Is l(6) a prime number?
False
Suppose 20 = q + 2*q + 4*x, -q + 2*x - 10 = 0. Suppose 0 = t - q*t - 93. Is t composite?
True
Suppose r + 2*r - 213 = 0. Let k = 41 + r. Let j = 179 - k. Is j prime?
True
Let q be 1/(-2 + 1)*-101. Suppose -3*y - 12 = 0, 5*w + 2*y - q = y. Is w a composite number?
True
Let x be 2/8 + (-291)/(-4). Is x + (3 - 1)/2 composite?
True
Let z(o) = 92*o**3 - 2*o**2 + 4*o - 2. Is z(2) composite?
True
Suppose -495 = -5*n - 145. Suppose -d + n = d. Is d a prime number?
False
Let h be (-2)/6 + (-32)/(-6). Suppose 0 = 4*x - 2*x + 6, -h*o + 2318 = 4*x. Suppose -2*q = -4*q + o. Is q a composite number?
False
Suppose 0 = o + 3*o - 12. Let l = 16 + 40. Suppose o*i = -i + l. Is i a prime number?
False
Let x be (-2)/12 - (-19)/6. Suppose -x = f, -5*n + 0*f + 40 = -5*f. Suppose 4*u - 134 = -u - 3*j, -5*u = n*j - 140. Is u a prime number?
False
Is ((-1276)/(-10))/((-8)/(-20)) a prime number?
False
Suppose 4*l = 5*m + 6 - 1, -4*l - m = 1. Suppose l*y = y + 33. Let u = y - -54. Is u composite?
True
Suppose 3*h + 230 = 5*h. Let w = h + -48. Is w a prime number?
True
Let a(i) = i**3 - 2*i**2 - 6*i + 5. Let d(s) = -s**2 - 8*s + 4. Let y be d(-8). Is a(y) composite?
False
Let l be (16/(-6))/(-2)*3. Suppose l*u - 3*u = -4*z + 3543, -2651 = -3*z - 2*u. Is z a composite number?
False
Suppose -3*v - 3 = 3*b, 5*v + 0*b = -4*b - 1. Suppose 73 = 4*d - v*y - 9, -17 = -d - y. Is d composite?
False
Let d(z) = -15*z + 11. Let r(v) = -8*v + 6. Let u(o) = 6*d(o) - 11*r(o). Let n be u(-2). Suppose -2*q + 266 = -0*q - 3*c, -2*q = -n*c - 270. Is q prime?
True
Suppose -2 = 5*x + 2*j + 2*j, -3*j = -2*x + 13. Suppose -x*l - l = 0. Is -1 + l - -91 - 1 a composite number?
False
Suppose -3*c = -2*c - 8. Suppose -c*i - 16 = -4*i, 4*r + i = 24. Is r composite?
False
Let u(z) be the third derivative of z**6/120 + 5*z**3/6 + 7*z**2. Is u(4) a composite number?
True
Let k(v) be the first derivative of -v**4/2 - 8*v**3/3 + 2*v**2 + 7*v - 1. Is k(-5) a prime number?
True
Let c be (-1960)/(-9) - (-8)/36. Suppose 0 = -5*s + 257 + c. Is s a prime number?
False
Suppose -5*k - 21 = r + 3*r, 5*k = 2*r + 3. Is (-322)/(-2) + 3 + k composite?
False
Let j(s) = 54*s**2 + s - 4. Is j(-3) a prime number?
True
Is 11553 + 9/(-6)*8/3 a prime number?
True
Let l(b) = -177*b. Is l(-1) prime?
False
Suppose 2*v = -2*y - 2*v + 890, 4*y - 1768 = 4*v. Is y a prime number?
True
Let q(b) = b. Let x be q(2). Suppose 0*r + x*c = -2*r + 408, -806 = -4*r - 2*c. Is r prime?
True
Suppose 0*y - 466 = -2*y. Suppose -221 = 3*r - s, 2*r + r + y = -2*s. Let h = r - -368. Is h a prime number?
True
Let g = 6201 + -4400. Is g prime?
True
Let z = -21 - -135. Let m = 302 - z. Suppose -m = -4*k + 2*k. Is k composite?
True
Let r = -14 - -22. Suppose r*c = 11*c - 573. Is c prime?
True
Suppose 5*x - 726 = 2*u + x, -3*x + 368 = -u. Let t = u - -640. Is t prime?
False
Let t(i) = -9*i**3 + 5*i**2 + i + 9. Let c(j) = -5*j**3 + 2*j**2 + 5. Let a(k) = 5*c(k) - 3*t(k). Is a(4) a prime number?
False
Suppose 0 + 5 = -5*c. Suppose 6*n = 4*n - 4. Is (-522)/(-12) - c/n composite?
False
Is 9856/84 + (-2)/(-3) a prime number?
False
Let u(n) = -n**2 - 4*n - 3. Let i be u(-3). Suppose 4*g - 537 + 209 = i. Let z = 137 - g. Is z composite?
True
Suppose 5*d = 1 + 19. Suppose -c + 8 = 5*i, -3*i - d*c = -c. Let a(u) = 6*u**3 + u**2 + 3*u - 1. Is a(i) composite?
True
Suppose 0 = 7*t - 5*t - 1538. Is t prime?
True
Let h(v) = -4*v + 3. Let t(z) = -9*z + 7. Let o(w) = -5*h(w) + 2*t(w). Let n be o(1). Suppose -n = 2*d - 7. Is d a composite number?
False
Let a(h) = 26*h**2 + 3*h. Let q be a(-5). Suppose -3*k + q = 2*k. Is k prime?
True
Let z be ((-2)/(-6))/((-2)/(-18)). Suppose z*i - 43 - 122 = 0. Is i prime?
False
Let h be 0*-1*(-1)/2. Suppose -3*y + h*y = 0. Is y - (3*-13 + 2) a prime number?
True
Let o(f) = f + 8. Let n be o(0). Is (-226)/((-4)/n*4) a prime number?
True
Suppose -4*a + 154 + 498 = 0. Is a composite?
False
Let b be (-1506)/9*(-1 + -2). Suppose -z + b = z. Is z prime?
True
Let g = -8385 + 15338. Is g composite?
True
Let r(t) = -1280*t**2 + 3*t - 2. Let o(k) = 2561*k**2 - 7*k + 4. Let n(g) = -4*o(g) - 9*r(g). Is n(-1) a composite number?
False
Let i be (4/(-1))/(-1 - -2). Is i/22 + (-2763)/(-11) composite?
False
Suppose -2*p + 13 = -p - 5*w, -w + 91 = 5*p. Suppose 4*f - 5*y - 44 = 0, 0 = -5*f - 5*y + 2*y + p. Let r = f - -8. Is r a composite number?
True
Let o = -396 - -587. Is o prime?
True
Let f = 34 - -12. Is f a prime number?
False
Let v = 418 + -257. Let n = v + -78. Is n a composite number?
False
Let y(b) be the second derivative of b**4/12 + 7*b**3/6 - 9*b**2/2 - b. Let n(r) = -r**2 - 8*r - 7. Let p be n(-5). Is y(p) a composite number?
True
Suppose -4*n + 1086 + 86 = 0. Is n a prime number?
True
Suppose 0 = 2*o - 3*b - 0*b - 7, -5*b - 1 = 2*o. Suppose 3*g = s + 12, -o*s = 5*g + s - 6. Suppose g*w + 437 = 2*i, i - 146 = -2*w + 55. Is i a prime number?
True
Let l(a) = a**3 + 2*a**2 + 2*a + 449. Is l(0) a prime number?
True
Suppose 0 = -3*v - 5*n + 48, -4*v + 4*n = -9*v + 93. Is v a prime number?
False
Let l be 5*(-5)/((-50)/24). Is (-6)/l*(0 + -262) a composite number?
False
Let c be (0 + 27/(-