3*n**2 - 9*n + 21. Is f(-3) a composite number?
True
Suppose 3*n = 2*i - 6848, -i = 10*n - 15*n - 3417. Is i prime?
False
Let z = 842 - 360. Suppose -z = -4*w + 258. Is w a prime number?
False
Suppose 0 = 33*v - 32*v - 5937. Is v a prime number?
False
Let j = 40 - -183. Let q(c) = c**3 + 24*c**2 + 23*c + 2. Let x be q(-23). Suppose x*k + j = 3*k. Is k a prime number?
True
Let y(j) = 1042*j**2 - 19*j - 37. Is y(-6) a prime number?
True
Suppose 0 = 3*y - 2*a - 23, -4*y + 16 = -a - 8. Suppose -5*z = 15, 781 = y*u - 2*z + 60. Is u a prime number?
False
Suppose 4*y + 16 = 0, 2*i - 5*y = 7*i - 10. Suppose -d = -4*d + 279. Suppose -3*k = -i*k + d. Is k prime?
True
Let j = -3568 - -7389. Is j composite?
False
Let v(c) be the third derivative of c**6/60 - 7*c**5/60 + c**4/24 + 5*c**3/6 - 2*c**2. Suppose 2*j = 2*y - 15 + 37, -4*y - 8 = 2*j. Is v(j) composite?
False
Let m = -6437 - -11898. Is m composite?
True
Let j(u) = 3*u**2 - 6*u + 1. Let v = -3 + -9. Let t = v - -6. Is j(t) a composite number?
True
Let y = 31 + -24. Let v = y + -1. Is (268/v)/(4/18) a prime number?
False
Suppose 0 = -15*f - 14234 + 265349. Is f prime?
True
Let g(w) = -12*w**2 - 10*w + 4*w**2 + 10 + 9*w**2. Let z be g(12). Is (z/(-51))/((-4)/2514) prime?
True
Let b(p) = 5*p**2 + 3*p + 5. Let m = 4 - -2. Is b(m) a prime number?
False
Is (-40)/20 - -2003*21 a prime number?
True
Suppose 0 = -p + 3*z + 1408, -2*z - 15 = 3*z. Is p a composite number?
False
Let p = 14 - -2. Is 185/3*(-13 + p) a composite number?
True
Suppose 9*f - 50535 - 33408 = 0. Is f prime?
False
Suppose 19*d + 69440 = 24*d - 3*r, 4*d - 55584 = -4*r. Is d composite?
True
Is (-2387 + 13)*(-2)/4 composite?
False
Let k(q) = q**3 + 8*q**2 - 2*q - 7. Let u be k(-9). Is (-20)/u + (-21934)/(-14) a composite number?
False
Let f(k) = 19*k**2 - 3*k - 4. Let y be f(3). Let x = -107 + y. Let m = x - -28. Is m composite?
False
Let c(h) = h**3 - 2*h - 1. Let q be c(3). Suppose -q = -3*v - v. Suppose 0 = -v*l + 1511 - 66. Is l a composite number?
True
Let g be 4/((8 - 3)/5). Suppose -v + 3*a = -758, 5*v - g*v - 5*a = 756. Is v a prime number?
True
Let g = -866 + 1682. Let j = g + -371. Is j a prime number?
False
Suppose 0 = -2*l - 3*q + 4876, -5396 = 4*l - 5*q - 15170. Is l prime?
True
Suppose 2*y = -5*l - 235, 4*y + 509 = -2*l + 31. Let q be ((-1)/(-2))/((-6)/y). Suppose -q*h = -15*h + 1655. Is h composite?
False
Let s = 3475 - -4672. Is s composite?
False
Suppose 4*w + 3*l - 2528 = -w, -w = 3*l - 496. Suppose 312 = 4*z - w. Is z a composite number?
True
Suppose -4 = -w - 0. Suppose 2*v - w*v + 1870 = 0. Suppose 5*r + 2*d = -0*r + v, 0 = -4*r - 5*d + 748. Is r a prime number?
False
Suppose 4*s - 4*g - 1956 = g, 978 = 2*s + g. Is s composite?
True
Let d(n) = -n**3 + 17*n**2 + 22*n - 10. Let u be d(17). Let p = 737 - u. Is p a prime number?
True
Let h = 0 - -7. Let x(u) be the second derivative of 25*u**3/6 + 2*u**2 - 23*u. Is x(h) a prime number?
True
Let s = -3303 + 5117. Is s a composite number?
True
Let f(w) = 2*w - 13. Let n be f(-9). Let q = n - -192. Let v = 238 - q. Is v prime?
False
Suppose -5*c = s - 2 - 6, -s - 3*c + 12 = 0. Let q be 9/9*(-1 - s). Is (-16 - q)/(3/19) composite?
False
Let k(h) be the third derivative of -h**6/60 - h**5/20 - h**4/3 - h**3/6 + 12*h**2. Is k(-6) a prime number?
False
Suppose -5*u + 7*n + 1672 = 4*n, -2*u + 2*n = -672. Suppose -19 = -4*s + 1. Suppose -2*a - 2*i + u = 46, -3*a + s*i = -429. Is a composite?
True
Suppose 0 = 5*h + 3*m - 279, -3*m + 225 = 4*h - 0*m. Suppose -a + 100 = 3*v - h, -1 = -a. Suppose -v = 5*s - 686. Is s a prime number?
True
Let f(d) = -100*d**2 + 0 + 10 + 17*d + d**3 + 115*d**2. Is f(-11) a composite number?
False
Suppose -a = 3*s - 0*a - 1376, -5*a - 480 = -s. Let d = 2793 - s. Is d a prime number?
True
Suppose 0 = 4*w - 2 - 14. Suppose -b + w*p + 44 - 13 = 0, 50 = 2*b - 4*p. Is b a composite number?
False
Let s be 0 - (384/(-1) + -3). Suppose -1512 = -4*r - 2*d, 6*d + s = r + 2*d. Is r a prime number?
True
Let b = 10205 - -5354. Is b composite?
False
Let y be (-6 - -4) + 1 + 1. Suppose 5*t - k - 8285 = y, -2*t - t - 4*k = -4971. Is t prime?
True
Let f(k) = -k**3 + 4*k**2 + k + 8. Let j be f(4). Let c(o) = o**2 - 13*o - 2. Let b be c(j). Is 4/b - (-5235)/21 composite?
True
Let q(j) = -1 - j**2 + 2 - 2*j + 3. Let w be q(0). Suppose -w*i + 475 = -f, 3*i = -i - f + 477. Is i a composite number?
True
Let l be (-1)/(-1) - (2 - 0). Let u be 8 + 8 + -4 - l. Is (0 + 2 + -1)*u a prime number?
True
Suppose 0 = -t - 4, 2*v + 2*t = 6*v - 32. Suppose i - j = -4*j - v, -9 = 3*j. Let u = i + 4. Is u prime?
True
Let h(v) = 12*v**3 - 5*v**2 + 3. Suppose 0 = 2*w - 20 + 12. Is h(w) prime?
True
Let o(i) = i**2 + i - 2. Suppose y - 28 = 5*y. Let u be o(y). Suppose 2 = 2*g - u. Is g composite?
True
Let v be 792 + ((-6)/(-9))/((-2)/12). Suppose 2*a = v + 1158. Is a a composite number?
True
Suppose -11*x + 58*x - 212863 = 0. Is x a composite number?
True
Let k(i) be the first derivative of -i - 15/2*i**2 - 2. Is k(-4) prime?
True
Let u be (-6 - -8) + 21*1. Suppose 4090 = u*a - 18*a. Is a a composite number?
True
Let g be 3*9/(81/12). Suppose 4*p + 2*z - g*z - 14560 = 0, -2*p + 7280 = 5*z. Let a = p + -779. Is a a composite number?
False
Let g = 159921 - 87308. Is g a prime number?
True
Suppose -132 = -0*g - 12*g. Suppose -g*b + 3*b = -6376. Is b a prime number?
True
Let r(b) = b**3 - 2*b**2 + 4*b - 5. Let c(g) = g**3 - g**2 + g - 1. Let p(j) = -4*c(j) + r(j). Let z be p(-3). Is 6/14 + 4564/z prime?
True
Suppose 26*u - 11567 = 24*u - 3*d, 3*u - 4*d = 17325. Is u a composite number?
False
Let k(q) = -q**2 - 9*q - 6. Let h(l) = 2*l - 1. Let u be h(-4). Let c be k(u). Is c/(-33) + 3221/11 a composite number?
False
Let p be (3/(-9))/(1/(-18)). Let m(a) = -a**3 + 7*a**2 - 5*a - 7. Let r be m(p). Is (r/2)/(3/(-534)) a composite number?
False
Let o be 1 + (6 - (-1 + 0)). Let l be (5 - o) + (-3)/(-1). Suppose l = 3*h - 1422 - 471. Is h a composite number?
False
Let f(j) be the third derivative of j**5/12 - j**4/12 + j**3/6 + 6*j**2. Is f(-4) a composite number?
False
Let i(w) = -292*w + 49. Let a be i(-12). Suppose 13657 = 12*f + a. Is f composite?
True
Let k(d) = d**2 - 2*d - 5. Let i be k(4). Is (i + -2)/((-2)/(-170)) prime?
False
Suppose 0 = -4*i + 8, 43 = 5*c + 4*i + 10. Suppose 2*y + 35 = 3*v + 2*v, 2*v + y = c. Suppose -3*s - 1830 = -5*q - 2*s, 2*q + v*s = 759. Is q composite?
False
Let c be 462/36 + ((-15)/18 - -1). Suppose 3*k - z = 3183, -8*z + 2122 = 2*k - c*z. Is k a prime number?
True
Suppose 2*z + 3*d - 7 = 0, 3*d - 3 = -z + 2. Let i = 57 - z. Is 3194/22 + (-10)/i composite?
True
Let s(i) = 5*i**2 + 94*i + 4. Let y be s(-20). Let m(t) = -t - 3. Let q be m(-6). Suppose -3*r + 115 = 4*d, -q*r = d + 12 - y. Is r composite?
False
Let y = 33446 - 18153. Is y composite?
True
Let u(h) = -h**3 + 5*h**2 + 8*h + 15. Suppose -y + 2*j = 7*j - 7, j = -y + 7. Let t be u(y). Is 6/t + (-4043)/(-9) composite?
False
Let k = 16738 + -5271. Is k composite?
False
Suppose 152 = 3*c - 289. Let u be (-1 + c)*45/6. Suppose 109 = 4*v - u. Is v a prime number?
False
Let v(y) = -y + 6. Let d be v(3). Let f be (10/d)/((-6)/18). Is (347 + f)*(0 + 1) a prime number?
True
Let f(r) = -3*r + 4583. Let s = 36 + -36. Is f(s) a prime number?
True
Suppose h - 9 = 39. Suppose 3*z + 8 = 3*k - 520, -5*k = -4*z - 877. Suppose -w = -h - k. Is w a prime number?
False
Let c(o) = 39*o - 8. Let i be c(8). Suppose -i = -4*p + y - 0*y, 5*p - 2*y - 380 = 0. Let k = p - 39. Is k prime?
True
Let g(k) = 22*k**3 + 3*k**2 + 3*k - 2. Let v be -2*((-44)/8 + 4). Let t be g(v). Suppose 5*j + t = 9*j. Is j a composite number?
False
Let h(c) = 27*c**2 - 3*c - 3. Let j be h(2). Let b = j - -67. Is b a composite number?
True
Let h be 135/54*(36/10 + -2). Is 2 - (8 - 4)/h - -2776 a prime number?
True
Suppose -28159 = -5*a + t + 27570, -2*a = 2*t - 22294. Is a a prime number?
False
Let h(p) = -p**2 - p. Let i(g) = g - 1 + 4*g + 3*g**2 + 3*g**2 - 3*g. Let s(b) = 5*h(b) + i(b). Is s(9) composite?
False
Suppose 0 = -4*s + 2*d + 46, -5*s = -2*s + 5*d - 2. Is 0 + -2 - s/(-6)*1126 a prime number?
False
Let v(r) = -3*r**2 + 14*r - 5. Let w(i) = -4*i**2 + 15*i - 4. Let l(b) = 5*v(b) - 4*w(b). Let o be l(-9). Is (o/12)/(3/(-38)) composite?
False
Let w(h) be 