 -21*v + 2. Let b(w) = -c(w) - 3*n(w). Let t be b(1). Suppose 2*x + 205 = 5*f - 3*x, t = f + 3*x. Is f a composite number?
False
Suppose 4*p - 2 = -4*q - 210, p + 223 = -4*q. Let o = q + 116. Is o prime?
True
Suppose 0 = 3*d - 2*d - 10. Is (d - 8)*79/2 prime?
True
Suppose 0 = a + w - 381 + 117, w - 1068 = -4*a. Suppose -a = -5*j + j. Is j prime?
True
Let m(b) = -2*b - 7. Let w be m(-5). Suppose -w*t - 9 = -3*y - y, 5*t = -2*y + 37. Is y a prime number?
False
Let w(f) = f - 5. Let i be w(9). Suppose 0 = -2*x - i*x + 390. Is x prime?
False
Suppose 5*u + 1772 = 4*p, 5*p + 4*u - 3*u = 2215. Is p prime?
True
Let i = 799 + -212. Is i a composite number?
False
Let h be (1 - 2 - -2)*0. Suppose -5*o - 2*n - 50 = -4*n, 5*o - 3*n + 50 = h. Is (o/4 + 2)*-20 a prime number?
False
Is ((-429)/(-6) - -3)*2*7 composite?
True
Suppose -x + 164 = 3*x. Suppose 2*w + 62 = 3*l - 95, l + 5*w = x. Is l a prime number?
False
Let s(d) = 18*d - 2. Let o(q) = 1. Let a(c) = -o(c) - s(c). Is a(-7) composite?
False
Suppose 8 - 4 = m. Let v = -8 + m. Is 3*v/(-1) - -1 composite?
False
Let l be (-249)/(-15) + (-4)/(-10). Let c = l - 11. Is (-1443)/(-9) - (-4)/c a composite number?
True
Let h be (-2)/(-2 + 216/110). Suppose 2*f - h - 84 = 3*a, f - a = 72. Is f a prime number?
False
Let y = -1 - 4. Suppose -5*l = 2*t + 100, -5*l + 20 = -3*t + 95. Let d = y - l. Is d a composite number?
False
Let y = 6928 + -4909. Is y prime?
False
Let o be (-14)/35 - 2/(-5). Suppose o = -t - 62 + 509. Is t a composite number?
True
Suppose z - y - 1264 = 0, -3*y - 5058 = -z - 3*z. Is z/(-9)*(-3)/2 composite?
False
Let v be (-6)/(-3 - 0 - -1). Let l = -131 - -60. Let d = v - l. Is d a composite number?
True
Suppose 85 = l - 61. Is l prime?
False
Suppose -2*d = d - 924. Suppose -2*i + 2*w = -d, 0 = -5*i + 3*i + w + 312. Is i composite?
True
Let y(j) = -j**3 + 6*j**2 + 6. Let g be y(6). Let b be g/(-3) + 78*-1. Let n = -27 - b. Is n composite?
False
Suppose -12 = -i - 3*i. Let b be 11/i - 6/9. Let x = b + 3. Is x a prime number?
False
Suppose 0 = 3*z - 2*c - 34, 4*z + 2*c - 26 = 2*z. Suppose z = -4*i - 0*i. Is -134*(i/6)/1 a prime number?
True
Let g = -1 + 2. Let p(m) = 237*m**3 + m**2 - 2*m + 1. Let h be p(g). Suppose -4*t = -t - h. Is t a composite number?
False
Let u(c) = -c**3 + 4*c**2 - c - 3. Let a be u(3). Suppose -f - j + 31 = 0, 4*f - a*j = f + 105. Is f a prime number?
False
Suppose 0 = k - 3 + 1. Suppose k*l + 2*l = 48. Suppose 0 = -u + 4*u - l. Is u a composite number?
True
Is (-2 - 32/(-14)) + (-14814)/(-42) a composite number?
False
Let f(b) = -2*b**3 - 12*b**2 + 18*b - 18. Let j be f(-14). Suppose -2*q + j = 360. Is q a prime number?
False
Suppose 3*y + 3*i - 6 = 0, 3*i - 11 = 3*y + 7. Let m = 55 + y. Is m a composite number?
False
Is ((-4786)/4)/((-18)/36) prime?
True
Let x(r) = 2*r**2 - 13*r + 7. Suppose 0 = -3*z + 4*t + 18, -z - 4*t + 14 = -8. Is x(z) prime?
False
Let z(v) = -v**3 + v**2 - v + 2. Let b be z(3). Suppose 2*w = -w + 87. Let p = b + w. Is p prime?
False
Let g = 2439 - 1645. Is g prime?
False
Let m = 6 - 5. Is (m/1)/((-5)/(-635)) prime?
True
Let v(b) = 5*b - 8. Is v(9) prime?
True
Suppose i - 5*k - 5 = 4*i, 21 = -5*i - 2*k. Let c = i + 10. Suppose 363 + 32 = c*r. Is r prime?
True
Let c = -27 + 58. Suppose 0*y - 3*y + c = w, 2*y - 30 = 4*w. Is y a prime number?
True
Let x(u) be the second derivative of 2*u**3/3 + 2*u. Let y be x(-1). Is 94/y*-2*1 prime?
True
Let v = 2 - -53. Let c = 87 - 54. Let h = v - c. Is h a prime number?
False
Suppose -3*a + 398 = -787. Is a prime?
False
Suppose -47 = -5*s + q + 3*q, 2 = -s - 3*q. Let o(j) = -5*j**3 - 6*j - 1 + 4*j**3 - 3 + 8*j**2. Is o(s) prime?
True
Suppose -7*b + 1291 = -2*b + 4*h, -2*b = 5*h - 513. Is b composite?
True
Let n(u) = -4*u**3 - 7*u**2 - 7*u - 1. Let l(h) = -3*h**3 - 7*h**2 - 7*h - 1. Let r(j) = -5*l(j) + 4*n(j). Suppose 15 = 3*v - 3. Is r(v) prime?
True
Let o(z) = z - 5. Let a be o(7). Suppose l + a*w - 1 = -5, 3*w = -3*l. Suppose l*s = -q + 37, s = -s - 8. Is q a composite number?
False
Suppose 2*r - 2*o + 27 - 79 = 0, -4*o = -3*r + 79. Is r prime?
False
Let l(f) = -f. Let w(g) = -2*g + 1. Let s(c) = -6*l(c) + 2*w(c). Let b be s(-2). Let p = 5 - b. Is p a prime number?
True
Let n(g) = 4*g**3. Let a be n(1). Suppose 5*r + 4*l - 249 = 310, 476 = a*r - 4*l. Is r composite?
True
Let m(z) = -4*z + 631. Is m(0) a prime number?
True
Suppose -4*j = -4*r + 2080, 4*j + 10 = -2. Is r composite?
True
Let d be 4/14 - 72/(-42). Suppose -d = -3*b - 8, -2*f = -2*b - 8. Suppose 4 = a - f*j - 2, -2*j = -4. Is a prime?
False
Suppose 3*n - 59 = -2*v, 2*v + 5*n - 57 = -0*v. Is v a composite number?
False
Suppose -2*y + 598 = 4*j, j = 7*y - 2*y - 1506. Is y prime?
False
Let l(q) = -q**3 + 2*q**2 + 4*q + 3. Suppose 0 = 2*g + 1 + 7. Is l(g) a prime number?
True
Suppose 2980 = 3*t + t. Suppose t = 5*q - 0*q. Is q a prime number?
True
Let l = 176 - -833. Is l a composite number?
False
Suppose -4*p + 0*p + 12 = 0. Suppose 0 = b - p*m - 217, -3*b + 4*b - 203 = -4*m. Is b composite?
False
Suppose -686 = 6*p - 6416. Is p composite?
True
Suppose 0 = -5*h - 5*m + 1270, -2*h - 2*m + 505 = -m. Is h a prime number?
True
Suppose -2*q + 228 - 10 = 0. Suppose -2*j + q = t - 0*j, 0 = -4*j - 8. Is t a composite number?
False
Let i(z) be the first derivative of z**2 - 10*z - 2. Let w be i(9). Is (-5 - 1)*w/(-12) a composite number?
True
Let d = 315 - 136. Is d composite?
False
Let r be (-20)/15*(-813)/(-2). Let u = -123 - r. Is u a composite number?
False
Let o be (1 - 5) + (2 - -421). Suppose 2*b - o = -l, l = b + 260 + 150. Is l composite?
True
Is ((-1257)/(-9))/(4/12) a composite number?
False
Let l(h) be the third derivative of h**5/12 + h**4/3 + 7*h**3/6 - 3*h**2. Is l(-6) a prime number?
True
Let m(x) = 208*x - 7. Is m(8) composite?
False
Let h = 81 + 554. Is h a composite number?
True
Is 1791/12 - 4/16 prime?
True
Let a = 129 - 35. Suppose 0*q - a = -2*q. Is q composite?
False
Suppose -q = q + 6. Is (-8)/q*63/12 a composite number?
True
Let o(v) be the second derivative of 5/2*v**2 - 1/20*v**5 + 2*v + 3/4*v**4 + 0 + 1/6*v**3. Is o(8) prime?
False
Let w = -1 - 0. Is (-9 - -8)/(w/127) a composite number?
False
Suppose 2*c + 2*i - 83 = i, -2*i = -4*c + 178. Is c a composite number?
False
Let v be 13/5 - 18/30. Let u be v/8 + (-6)/(-8). Is (133/(-2))/(u/(-2)) composite?
True
Let x be (-1)/3 + (-20)/(-6). Let q(p) = 29*p - 1. Let u be q(x). Suppose -y - g = -u, -2*y = -2*g + 3*g - 173. Is y a prime number?
False
Let c(o) = 13*o - 1. Suppose -1 = 2*j - 5. Suppose -4 = -j*l - 0*l. Is c(l) prime?
False
Suppose -2*q + 3*v + 19 = -0*q, -13 = -4*q + v. Let j(s) = -s - 3. Let u be j(-2). Is (u - q/(-2)) + 10 a prime number?
False
Let t = 15 + -12. Suppose p = -t*p + 1052. Is p prime?
True
Let w = -66 + 1. Is 13/w - (-186)/5 composite?
False
Suppose -2*a - 3 = -31. Let r be 78/9 + 1/3. Suppose -l + r = -a. Is l prime?
True
Suppose -3*d + 149 = -2*z, 2*d - 2*z - 82 = -5*z. Is d a composite number?
False
Let g = 14 + -11. Suppose g*f + 3*r = 435, 709 = -0*f + 5*f - 3*r. Is f a composite number?
True
Suppose -4*s + 1645 = 497. Is s composite?
True
Let u(y) = -22*y - 5. Let p be u(9). Let o be (4/10)/((-3)/945). Let d = o - p. Is d composite?
True
Let i = -6 + 6. Is (2 + i)/(2/53) composite?
False
Suppose 0 = 5*r - 3*x + 8*x - 40, 3*r = 5*x - 8. Suppose 4*a - 57 = -i, -3*i - r*a + 48 = -147. Is i prime?
False
Is (-1 + 160/15)*6 a composite number?
True
Let m = 92 - 56. Let f be (-4)/18 + 2420/m. Suppose -5*w + 118 = -f. Is w a prime number?
True
Suppose -3*t + 6*t - 87 = 0. Suppose -t - 24 = -y. Is y composite?
False
Let z(o) = -o - 2. Let k be z(-2). Let v = 441 - 274. Suppose 0 = 3*c - k*p + 4*p - v, 2*p - 57 = -c. Is c prime?
True
Suppose 2903 = -13*y + 14304. Is y a composite number?
False
Let g = 43 - 89. Let v = g - -123. Is v composite?
True
Is -1*(5/10 - (-8457)/(-6)) prime?
True
Let a(c) = -c**3 - 2*c**2 + 2*c + 3. Let z be a(-2). Let o(i) = -79*i - 2. Is o(z) composite?
True
Let i be (2 - (2 + -1))*5. Let p(r) = r**2 + 7*r - 7. Is p(i) a prime number?
True
Let t = 174 - 79. Is t a prime number?
False
Let g(n) = 4*n - 1. Let c be g(1). Let p be (-1*1)/((-1)/5). Suppose 7*q = o + c*q - 87, p*o = 2*q + 399. Is o composite?
False
Let l(a) = -6 - 7*a + 0 +