= f - 5*v. Let d be i(f). Let y = 2 + d. Is y composite?
False
Let w(z) = 17*z - 15. Is w(8) composite?
True
Let s = -431 - -828. Is s a prime number?
True
Let i(n) = 6*n**2 + 3*n - 1. Let p be i(9). Let s be (p/(-20))/(1/(-5)). Suppose 4*l - s = -4*u, -2*l + 4 - 10 = 0. Is u composite?
True
Let a(u) = 8*u**3 - 2*u**2 - 4*u + 1. Let x be a(-3). Is x/(-6) - 1/(-6) prime?
True
Suppose 0*o = -3*o + 2763. Is o a prime number?
False
Is 190 + 0 - (-18)/12*-2 a composite number?
True
Let f = 3 - 3. Suppose -3*g + f + 12 = 0. Suppose -j + 4*d + 14 = 0, 0*j = g*j - 2*d - 56. Is j composite?
True
Let k(d) = -d**3 - d**2 - 3*d - 3. Let i be k(-2). Let z(g) = -8*g + 3. Let n be z(i). Let h = -18 - n. Is h a prime number?
False
Let s be 72/20 + 6/(-10). Suppose -5*f + 17 = q, 0 = -9*q + 4*q + s*f + 85. Let p = q + -6. Is p a composite number?
False
Let z = -5 + -43. Let q = -6 - 63. Let r = z - q. Is r a composite number?
True
Suppose o - 3346 = -o. Is o a prime number?
False
Let r(z) = 5*z**2 - 19*z + 11. Is r(-19) a prime number?
False
Let i(c) = 2*c - 5. Let j be i(5). Let k(s) = s**2 + s. Let m be k(5). Let r = m + j. Is r composite?
True
Suppose 4*i + 19 = n, -3*i = 5*n - 9 - 17. Let l(v) = 3*v**3 - v**2 - 6*v**3 + 6*v + 4*v**3 + n - 6*v**2. Is l(8) composite?
True
Suppose -6*v = c - v + 143, -3*c - 344 = -2*v. Let m = -67 - c. Is m composite?
True
Suppose -15 = 3*j, 0*w - 2*j = 3*w - 317. Is w prime?
True
Let a(f) = f**3 + f**2 + f + 119. Let p(r) = 6*r**2 + r. Let v be p(-1). Suppose -4*c - 5 = -y, 0 = c + c + v*y - 25. Is a(c) a prime number?
False
Let w(y) = 2*y**3 - 3*y**2 - 2*y - 1. Let u(s) = s**2. Let c(p) = 6*u(p) + w(p). Is c(2) a composite number?
False
Let c = 0 + -1. Let x(l) = -30*l + 1. Is x(c) composite?
False
Let a(g) = g**2 - 7*g - 13. Let p be a(9). Suppose -p*u = 20, -4*f + 0*u = -4*u - 404. Is f prime?
True
Suppose p - 233 = -0*p - 5*b, 0 = -3*p - 4*b + 743. Is p composite?
True
Let t = 13 + -38. Let v = t + 216. Is v a prime number?
True
Let y be 10/3*486/(-4). Let r = 782 + y. Is r a prime number?
False
Let i(q) = -54*q - 6. Let x be i(-6). Let f = x - -223. Is f a prime number?
True
Let q = 13 - 7. Let g be 36/10 - (-4 - 54/(-15)). Is (g/q)/(10/795) prime?
True
Suppose 1572 = 2*g - 2*s - 276, -s + 914 = g. Is g prime?
True
Let l(g) be the first derivative of -g**5/15 - g**4/24 + 2*g**3/3 - 2. Let d(m) be the third derivative of l(m). Is d(-1) prime?
True
Let w = -77 - -300. Let h = w - 18. Is h a prime number?
False
Suppose 256 = 4*t + 4. Suppose -h - 2*d = -4*d - 21, t = 3*h + 4*d. Is h composite?
True
Let n(c) = -c**3 - 5*c**2 + 6*c + 3. Is n(-10) a composite number?
False
Suppose -3*v = -v - 162. Suppose 4*d - 39 - v = 4*l, -5*d - l + 120 = 0. Is d prime?
False
Let d be -1*(-21 - (-2 - -4)). Suppose -13 = m - 4*q, -q + d = 5*m + q. Suppose -6 = m*s, x + 5*s = -0*s - 7. Is x composite?
False
Let y(o) = -o**3 - 5*o**2 + 5*o - 3. Let w(g) = -g - 4 + 2 - g - 2*g**2. Let u be w(-2). Is y(u) a prime number?
True
Let k(i) = i**3 - 10*i**2 - 4*i - 22. Is k(11) a composite number?
True
Suppose l - 42 - 85 = 0. Is l composite?
False
Suppose -7 = -4*u + 1. Suppose u*f + 2*f - 313 = -y, -5*y = -25. Is f composite?
True
Let s(a) = -a**3 + 23*a**2 - 9*a - 20. Is s(21) a prime number?
True
Suppose 0 = u - 3*a - 557, -2*u + 3*a + 0*a = -1114. Suppose 2*z = 5*z + v - u, -5*v = 20. Is z prime?
False
Let l(u) = -14*u - 3. Let d be l(-2). Suppose -5*v = d, -2*m + 93 = v - 96. Is m a prime number?
True
Is (1524/(-60))/(2/(-10)) a prime number?
True
Let d(a) = 19*a**3 + a**2 - a + 1. Let y(l) = l**2 + 10*l + 11. Let r be y(-9). Let z be d(r). Suppose 48 = h - z. Is h a prime number?
False
Suppose -5*n = 5*h - 720, -2*n + n = 5. Is h prime?
True
Let r(u) = u**2 - 5*u. Let l be r(5). Let o(v) = v**3 + v**2 - v + 119. Is o(l) a prime number?
False
Suppose -2*f + 0*f - 28 = -4*y, -22 = -2*y + 3*f. Suppose -2 - y = -v. Is v composite?
False
Let o = -11 - -18. Let h = o + 3. Is h a composite number?
True
Let v = 3 + -1. Suppose v*q - 3*t - 2 = 75, 2*q - 47 = -3*t. Is q a composite number?
False
Suppose 2*r + 15 = m, 5*r + 18 = -2. Let u = 23 - -9. Let s = u - m. Is s a composite number?
True
Let z = 11 - 13. Let g(t) = 6*t**2 + 2*t + 2. Is g(z) composite?
True
Let o = -1025 + 614. Let b = -229 - o. Suppose -3*w - 9 = 0, 0 = 5*y - w + 2*w - b. Is y composite?
False
Suppose 4*j + 3*z - 672 = 0, -j + 153 = -z - 2*z. Let i = j + -88. Is i composite?
True
Suppose -3*u + 4 + 2 = 0. Suppose -o + u*o + 11 = -2*w, -w - 4 = -o. Let d(v) = 43*v**2 - v - 1. Is d(o) a composite number?
False
Let z = -89 - -338. Is z composite?
True
Suppose -3*l + 3*o = -294, 40 + 68 = l - 3*o. Is l a composite number?
True
Let h be 5/1 - (1 + 1). Suppose 3*a - h = 3. Let v(j) = 7*j**3 - 2*j**2 + j - 1. Is v(a) prime?
False
Let u be (27/2)/((-2)/(-4)). Let z(i) = 3*i + 2. Let h be z(2). Let c = u + h. Is c prime?
False
Let l be (-1)/(-3)*(-24)/(-2). Suppose -2*v - l + 2 = 4*d, 0 = 5*d - 10. Let j(n) = n**2 + 5*n + 7. Is j(v) a prime number?
True
Let h(i) = 20*i**2 - 2*i + 3. Is h(3) prime?
False
Suppose 4*z = 2463 + 1565. Is z prime?
False
Let c(h) = -2*h**3 - 4*h**2 - 2. Is c(-4) prime?
False
Let b(f) = 24*f**2 + 7*f + 3. Let x(w) = 25*w**2 + 8*w + 3. Let h(t) = 5*b(t) - 4*x(t). Is h(-2) prime?
False
Suppose -7*v - 30 = -2*v. Suppose -4 = -y + 3*y. Let p = y - v. Is p a composite number?
True
Suppose 4*g - 4092 = 2*z + 2*z, 2*g - 5*z - 2058 = 0. Let o = 82 + g. Suppose 5*l + 6*r - o = 2*r, -5*l + 1093 = 2*r. Is l prime?
False
Suppose 3*h + 2*j = 253, 2*h + j - 60 - 110 = 0. Is (-3 - (-2 - -1)) + h a composite number?
True
Let z(r) = -r + 11. Let c be z(6). Suppose -5 = a, 0*x - 2*x + c*a = -95. Is x composite?
True
Suppose -8*v - 20 = -3*v. Is 4/2*(-218)/v a prime number?
True
Is (1528/(-16))/((-1)/14) prime?
False
Let j be (-9)/21 - 366/(-21). Let b be (2/(-4))/((-1)/40). Let f = j + b. Is f a composite number?
False
Is (-2 - 1240/(-1))/1 prime?
False
Let u(y) = 14*y**2 - 4*y + 1. Let k be u(4). Let j be 4/(-18) - k/(-9). Suppose -125 = -4*t + j. Is t a prime number?
True
Let c(w) = -2*w**3 - 13*w**2 - 13*w - 13. Is c(-7) a prime number?
True
Let o(c) be the third derivative of -c**6/120 - c**5/6 + 5*c**4/12 - 5*c**3/3 - 4*c**2. Let q be o(-11). Is (-159)/(-12) - q/4 a composite number?
False
Let k(w) = 6*w + 4. Suppose 5*a + 1 = 3*j + 16, 2*j = a - 3. Suppose -3*i + 7*i - 36 = j. Is k(i) composite?
True
Let s be (-15)/(-10) + 1/2. Suppose -x - s*x + 6 = 0. Is (0 - -11*7) + x a composite number?
False
Suppose 0 = 5*x - 4*d - 657, -4*x + 3*d + 394 = -132. Is x a composite number?
True
Suppose 9*k = 5*k + 28. Suppose 0 = 10*u - k*u - 99. Is u a composite number?
True
Is (-934)/(-4) + 35/10 + -4 a composite number?
False
Is 6392/72 + (-2)/(-9) a composite number?
False
Let m(s) = s + 0*s + 82*s**2 + 47*s**2 + 1 - 16*s**2. Is m(-1) prime?
True
Let f = -13 - -13. Suppose -5*o = -f*o - 105. Is o composite?
True
Let o = -664 + 1283. Let r = o - 354. Suppose 0 = 5*s - 2*d + d - r, -d - 159 = -3*s. Is s a composite number?
False
Suppose 2*q - 2 = 2. Suppose -5*m + 418 = -4*k, q*m - 93 = -3*k + 65. Is m a prime number?
False
Let n = 1362 + -355. Is n a prime number?
False
Let x be (-6 - -9) + 6/(-1). Is ((-235)/15)/(1/x) a composite number?
False
Let w = 1153 + -300. Is w composite?
False
Suppose -3*o - 3*o + 5934 = 0. Is o a prime number?
False
Let w(b) = b**3 + 2*b**2 + 3*b - 3. Let v be w(2). Suppose -p = -v - 33. Suppose 3*j - 179 = p. Is j a prime number?
False
Let o(l) = -7*l - 39. Is o(-11) a composite number?
True
Suppose -v = 4*p - 2173, 0*p + 3*v - 2718 = -5*p. Is p a composite number?
True
Let d = -3 - -4. Is d/(-1*(-3)/633) a composite number?
False
Let i(j) = -j**3 - 7*j**2 - 5*j + 15. Is i(-10) a composite number?
True
Suppose 0*k - 3*k + 861 = 0. Is k a composite number?
True
Suppose 0 = -z + 5, 9 = -3*n + 4*z - 2. Suppose x + x = -5*p + 121, x + n*p = 62. Is x prime?
True
Let u = -18 + 37. Suppose -o + u = -5*r, 10 + 7 = 5*o + r. Is 166/4*8/o a prime number?
True
Suppose 0 = 8*q - 4*q + 8. Is 34 - (q*3)/2 a composite number?
False
Let x(y) = 5*y - 3. Suppose 0 = -3*d - 2*v - 4, 0 = -2*d - v - 4*v + 1. Let u = 4 + d. Is x(u) composite?
False
Let u(h) = h**2 - 5*h - 2. Le