(z) = z**3 + 8*z**2 - 10*z + 3. Is s(c) prime?
True
Suppose -3*z - k = -26, 4*z - 40 = -0*z - 4*k. Suppose 0*n = -5*n + u + 69, 2*n - 2*u - 34 = 0. Let y = n + z. Is y composite?
True
Let v(n) = -n**3 - 2*n**2 + n - 2. Let t be v(-2). Let i be ((-8)/t)/(4/38). Suppose -f = 6 - i. Is f prime?
True
Suppose 0*k + 4*k + 21 = g, 0 = 2*k + 8. Suppose 0 = -3*o + 43 - 16. Let r = g + o. Is r a composite number?
True
Suppose -10*r + 6*r + 3556 = 0. Is r composite?
True
Let v = -971 + 1512. Is v composite?
False
Let h = 7 + -6. Is (-1 + 8)/(h - 0) prime?
True
Let c(h) = -h**3 - 4*h**2 + 5. Let o be c(-4). Suppose 13 = 3*z + o*q, 4*q + 63 = 5*z + 2*q. Is z composite?
False
Is 795/30*1*14 a composite number?
True
Let o be 37 + (-1 - (2 + 0)). Suppose s - 2*s + o = 0. Let y = s + -20. Is y a prime number?
False
Suppose -d + 2*d - 3*z - 130 = 0, 0 = 4*z + 20. Suppose -d = -3*c + 374. Is c composite?
False
Let a(w) = -7*w**2 - w. Let d be a(-2). Let z = 38 + d. Is 404/z + (-2)/(-6) composite?
True
Suppose 0*m - 258 = -2*m. Is m prime?
False
Let l = 4 - 2. Suppose -l*q + 107 = 5. Is q prime?
False
Let h(w) = 17*w - 1 + 39*w + 5. Let s be h(5). Let j = -165 + s. Is j composite?
True
Suppose 2*q - 10 = 0, 2*c = 3*c - 5*q - 12. Is c prime?
True
Let k be ((-15)/(-9) + -1)*3. Suppose -5*h = 3*f + f - 189, 136 = 3*f - k*h. Is f composite?
True
Let r be 5/(0 + -1)*-1. Let q(n) = 7 + 21*n**2 + r*n - 19*n**2 + n. Is q(-8) a composite number?
True
Suppose 15 = -5*r + 40. Suppose 0*x - 4*x + 3*a = -14, -3*x = 5*a + 4. Suppose -x*l + 1 = -5*p - r, 2*l + p - 30 = 0. Is l composite?
False
Let c(h) = -34*h**3 - h**2 - 2*h - 1. Let n(m) = -m - 6. Let t be n(-5). Is c(t) prime?
False
Suppose 12 = h - 3*a, -5*a - 10 = 15. Let f = h - -37. Let j = 67 - f. Is j a composite number?
True
Let q(w) = w**3 + 2*w**2 - 3*w - 2. Let t be q(-3). Let d be (4 - -2)/(t/(-18)). Let u = 91 - d. Is u prime?
True
Let v be (1*-4)/((-4)/(-88)). Let y = v + 249. Is y composite?
True
Let j = 732 - 334. Let c = j + -271. Is c composite?
False
Suppose 5*v - 6 = 4. Suppose -2*q = v*q. Let c(a) = a + 33. Is c(q) a composite number?
True
Suppose 3*b - 31 = -5*c, -2*b - 2*c = -4*b + 42. Let k(v) = -3 - 6*v + 9*v - b*v - 14*v. Is k(-2) prime?
True
Let f be 2 - (-3 + -3 + 5). Suppose 1491 = -f*s + 6*s. Is s a composite number?
True
Is -1*3 - 20/(-6)*3156 a prime number?
False
Let s(r) = -r**3 + r**2 - r + 2. Let k be s(0). Let o be (-5)/k*24/(-30). Suppose 3*n + o*n = 0, 3*p - 2*n - 273 = 0. Is p composite?
True
Let f(u) = u**2 - 2*u - 5. Let y be (6/(-12))/(1/(-8)). Let r be f(y). Is ((-97)/r)/((-3)/9) a composite number?
False
Let f(r) = r**3 + 16*r**2 + 8*r. Let x be f(-6). Suppose -5*i = -b - 392 - x, -i - 3*b + 144 = 0. Is i prime?
False
Is (508/10)/(10/25) composite?
False
Let n(d) = -d**2 - 11*d + 4. Let v be n(-8). Let r = 19 + v. Is r composite?
False
Suppose -6 - 4 = -5*y. Suppose d + 4*d = 3*h - 638, -y*d + 1053 = 5*h. Is h a composite number?
False
Let s be (90 - -6)/(2/2). Suppose -s = -4*n + 52. Is n a prime number?
True
Let g = -1 + 1. Let z(n) = 53 - 13*n - 2*n**2 - 10*n + 22*n + n**2. Is z(g) a prime number?
True
Suppose 0 = 3*x, 0*h + 3*x = 2*h - 8. Let r be (-370)/(-8) + 2/(-8). Suppose -2*c = -h*c + r. Is c composite?
False
Let q = 1 + -5. Let u be (-9685)/(-25) - q/(-10). Suppose u = 3*c - 0*c. Is c prime?
False
Is (-2498)/4*(-1 - 1) a prime number?
True
Suppose 4884 = 11*x + x. Is x prime?
False
Suppose 3*c + 4*a - 473 = 0, 4*c = -a + 846 - 224. Suppose 4*k = z - 149, -2*z + c = -z - k. Is z prime?
True
Let o(s) = 72*s**2 - 3*s + 2. Let d be o(2). Suppose -a - d = -5*a. Suppose -2*c + a = 5*g, -4*g = -4*c + 95 + 33. Is c prime?
False
Let u(l) = 8*l**3 - 11*l**2 + 3*l + 2. Is u(8) a prime number?
False
Let a be -5 + 1 + -1 + -1. Is -3*211/a*2 a prime number?
True
Let k(c) be the first derivative of c**6/72 + c**5/40 + c**4/24 + 2*c**3/3 - 1. Let r(t) be the third derivative of k(t). Is r(-4) composite?
True
Let o(d) = 6*d**2 - 8*d + 11. Is o(13) a composite number?
True
Suppose -k = -2 - 1. Let i(y) = 11*y - 4. Let n(w) = 34*w - 12. Let v(g) = 7*i(g) - 2*n(g). Is v(k) a prime number?
True
Suppose 0 = -c + 4*c - 6. Let y be 141 - 1/(-1) - c. Let w = y - 87. Is w composite?
False
Suppose -4*w + 4*c - 634 = -1654, -w + 3*c = -257. Is w composite?
True
Suppose -4*m = 5*j - 3*m - 1282, 1276 = 5*j + 3*m. Is j prime?
True
Suppose -b = -2*b + 178. Is b composite?
True
Suppose -124 = -3*m + 386. Suppose -4*x + 1218 + m = 0. Is x a prime number?
True
Let a be (-4)/18 - 125/45. Let q = 11 + a. Let h(m) = 6*m**2 - 12*m + 7. Is h(q) composite?
True
Let l = -226 - -1485. Is l composite?
False
Is 4/18 + 81711/81 a composite number?
False
Let s(p) = p**2 - 2*p + 1. Let b be s(1). Let w = b - 1. Is -7*w*(1 + 0) a composite number?
False
Let w(a) = -a + 11. Let v = -4 + 8. Suppose 1 = j - v. Is w(j) prime?
False
Let u = 2783 - 1248. Is u prime?
False
Let q be -1 + -1 - -1*2. Let m(r) = r**3 - 2*r**2 - r - 11. Let i(v) = v**3 - 3*v**2 - v - 12. Let z(x) = 2*i(x) - 3*m(x). Is z(q) a composite number?
True
Suppose -t + 10 = 4*t. Suppose -u - t = -d + 4*u, 4*d - u = 8. Suppose 6*g = d*g + 196. Is g composite?
True
Suppose s - 5*y - 6 = -59, -s + 4*y = 57. Suppose 5*d = 2*o + 794, -4 - 8 = -4*o. Let k = s + d. Is k a prime number?
False
Suppose 0*k = -k + 203. Is k a prime number?
False
Let y be (1 - (1 + -2)) + 155. Suppose -4*q + 665 - y = 0. Is q prime?
True
Let c(h) = -h + 1. Let x be c(4). Suppose 3*i + 6 = -3. Is (2 + x)*(-34 - i) a prime number?
True
Let m be (-156)/(-27) + (-2)/(-9). Let c be -1*5*m/(-15). Suppose 2*u = -b - 6 + 13, 4*b - 8 = c*u. Is b a prime number?
True
Suppose -806 = 9*n - 11*n. Is n a composite number?
True
Let w be 1*5 - (-5 - -3). Suppose 3*d + 3*c = 9, w*d - 3*d = 5*c - 15. Is d + 18 - (4 - 5) a prime number?
True
Is 48/20 + -3 + (-4036)/(-10) prime?
False
Let w(i) = -i - 7. Let z(s) = -s. Let r(p) = w(p) - 5*z(p). Let m(y) = -2*y + 2. Let k be m(-3). Is r(k) a prime number?
False
Suppose -2*m = b - 93, -50 + 241 = 4*m + 3*b. Is 0/1 + 3 + m a composite number?
False
Let q(n) = -3*n - 3. Let d = 0 + -3. Is q(d) composite?
True
Suppose -2*q - 2*a = -30, 4*q - 83 + 15 = 4*a. Suppose -w = -q - 15. Is w composite?
False
Suppose -b = -4*b + 6. Suppose b*o - c - 87 = 6, 4*c - 112 = -3*o. Is 6969/33 + (-8)/o a prime number?
True
Let w = -243 - -730. Is w prime?
True
Let i(o) = o + 9. Let u be i(-5). Let r = 43 + -39. Suppose 328 = u*f - 0*x - r*x, -5*f = x - 416. Is f composite?
False
Let v(u) = u**3 - u**2 + 4*u - 8. Let r be v(6). Let h = -90 + r. Is h prime?
False
Let k(r) = -61*r + 9. Let x be 22/8 - (-1)/4. Let g(z) = 30*z - 4. Let t(a) = x*k(a) + 7*g(a). Is t(1) a composite number?
True
Suppose -3*i + 8*i - 235 = 0. Is i a prime number?
True
Let o(t) = 3*t**2 + 20*t - 14. Is o(-21) prime?
False
Is (1114/(-4))/(0 + 1/(-2)) composite?
False
Let g(j) = 4*j - 1. Let d be g(1). Suppose -d*z + 200 + 45 = 2*r, -4*z - 5*r = -336. Is z prime?
True
Suppose -t + 2*t = 0. Suppose t = -4*u + 2*f + 24, 0*f + 2*f + 4 = -u. Suppose 46 = 4*o + 3*x, 0 = -4*o - u*x + 1 + 43. Is o a prime number?
True
Let p(k) = 20*k - 41. Is p(21) a prime number?
True
Let m(f) = -1 + 3*f**2 + f**3 + 0*f**3 + 4*f - 7*f - 2*f. Is m(-4) composite?
False
Let f(q) = -37*q - 19. Is f(-6) a composite number?
True
Suppose -3*d + 2804 = d. Is d prime?
True
Suppose -b + 1556 = 3*b. Let o = -132 + b. Is o composite?
False
Let q(h) = h + 6. Let t be q(0). Suppose -t + 14 = 4*y. Suppose -3*x = 2*u + 3, -y*x = x + 15. Is u prime?
False
Suppose -2*p = -5*p + 36. Suppose -h + 5*z - p = -0*h, 3*h - 24 = -5*z. Is 9/(9/h)*11 a prime number?
False
Let z(o) = -o**3 + o**2 - o. Let r(j) = -8*j**3 + 5*j**2 - 8*j + 2. Let l(a) = -r(a) + 6*z(a). Is l(3) a composite number?
False
Suppose -2*i - 5*j = -14, -4*i = -2*i - 5*j + 6. Let a be (4250/(-68))/(26/(-24) + 1). Suppose -2*v = -i*m + a, -3*m + 844 + 285 = -4*v. Is m composite?
True
Let z(y) be the first derivative of y**4/4 - y**3/3 + y**2/2 + 39*y - 2. Is z(0) prime?
False
Let d(g) = g + 127. Is d(0) prime?
True
Let j(u) = -17*u + 7. Is j(-6) a composite number?
False
Let k = -3 - -2. Is 1*(3 - 86)*k prime?
True
Is 6/(-9)*(-15108)/8 a composite number?
False
Let s(a) = 15*a - 2. 