**2 - 7*n - 6. Let s be v(-5). Suppose -s*y = -y - 78. Is y a prime number?
False
Let x(c) be the third derivative of 3*c**5/20 - c**4/24 - c**3/6 - 7*c**2. Is x(-2) a composite number?
False
Is -2 - (4477/(-2) - (-12)/(-24)) prime?
True
Suppose 2*c = 2*y - 0*c - 12, -3*y + 23 = -4*c. Suppose -4*f - 4*z = z + 219, f = 3*z - 42. Is ((-2)/3)/(y/f) composite?
True
Let x = 4668 + -3167. Is x composite?
True
Let q(z) = 1206*z + 1. Is q(1) a composite number?
True
Let t(n) = -8*n + 6. Let j(m) = 2 + 0 - 3. Let q(p) = 3*j(p) + t(p). Is q(-7) composite?
False
Let o(j) = -2*j**3 - 3*j**2 - 4*j + 1. Let g = -12 - -8. Is o(g) prime?
True
Let u = -208 - -133. Let j = u - -207. Let s = j + -43. Is s a prime number?
True
Suppose -5*k = 25, 5*t - 5191 = k - 841. Is t prime?
False
Suppose 3*h + 0*c = 2*c + 21, 3*h = 3*c + 24. Suppose 0 = h*i - 52 - 163. Let p = i - 28. Is p a prime number?
False
Suppose -5*y + 21112 = -4153. Is y prime?
False
Suppose -6*g + 225 = -3*g. Suppose -2*r = r - g. Is r a composite number?
True
Let b(c) = -3*c - 7. Let n be b(-4). Suppose -p + 190 = n*o, -5*p + 46 = 2*o - 7. Is o composite?
True
Let o(t) = -2*t**3 - 3*t**2 - t - 2. Let d be o(-2). Is 86/d*(2 + 0) prime?
True
Suppose 0*o - o = -3. Suppose 5*x + o*m - 404 = 0, m - 82 = x - 2*x. Is x a composite number?
False
Is (3985 + 7)*(-2)/(-8) a composite number?
True
Let u = 16 + 85. Let t(k) = -k**2 - 5*k - 6. Let n be t(-6). Let f = n + u. Is f composite?
False
Suppose 0 = -6*r + 10*r - 3400. Suppose -r = -5*d + 385. Is d prime?
False
Is (1478/3)/((32/(-18))/(-8)) a prime number?
False
Suppose -2*i - 5*f + 35 = -98, -5*f = -2*i + 183. Is i composite?
False
Suppose -y + 4 = 2. Let u = 3 - -1. Suppose -y*f - 3*i + 59 = 0, -8*f + 3*f = u*i - 165. Is f a composite number?
False
Let m(f) = 4*f + 11. Let k be m(-8). Let o = -3 + 4. Is k*(0 - o) + -2 prime?
True
Let k = 706 - 75. Is k a prime number?
True
Suppose -2*c - 3*c = -10. Suppose -5 - 5 = -c*w. Is ((-10)/(-3))/w*6 a prime number?
False
Let d be 9/((-1)/160*-4). Let i = d - 169. Is i a prime number?
True
Let t = 510 - 25. Is t composite?
True
Let l(g) = -25*g - 1. Let t be l(-3). Let r = t - 37. Is r prime?
True
Suppose 125 + 15 = -2*o. Let r = 17 - o. Is r a prime number?
False
Suppose -5*v - p + 7966 = -3*p, -2*p = 5*v - 7974. Is v prime?
False
Let z(a) = a**2 + 6*a - 11. Let l(x) = x**2 + 6*x - 3. Let j be l(-5). Let k be z(j). Suppose 0*b = 2*w + 3*b - 69, k*w - 2*b - 201 = 0. Is w prime?
False
Let u be 7/(-21) + 50/6. Suppose 1269 = 3*y - 4*h, 3*y - u*y + 5*h + 2120 = 0. Is y prime?
False
Let w(h) = 3*h**2 - 2. Let p be w(4). Let k = p + -9. Is k composite?
False
Let p = 32 - -5. Let s = p + 40. Is s composite?
True
Suppose -8 = -4*b - 4. Is ((-844*b)/4)/(-1) a composite number?
False
Suppose -4*a - 3*d + 131 + 232 = 0, 0 = -3*a + 4*d + 291. Let b = a - 34. Is b a composite number?
False
Let h(l) = 4 + 0*l + 13*l + 26*l. Let v(d) = d + 1. Let b(r) = -h(r) + 5*v(r). Is b(-1) a prime number?
False
Suppose 5*p + 6 = 8*p. Suppose 0 = -2*b + 4*w + 34, -w - 74 = -5*b + p. Is b a composite number?
True
Let o(k) = 2*k - 1. Suppose -2*q = -0*q - 10. Let x(c) = 5*c - 3. Let v(r) = q*o(r) - 3*x(r). Is v(-3) a prime number?
True
Suppose 215 = 3*w + 41. Is w prime?
False
Is 3285/10 + (-3)/(-6) a prime number?
False
Suppose 5*j = -5*m - 85, 44 = -3*m + 4*j - 0*j. Is (1 - m)*(0 + 5) a prime number?
False
Let u = -3 - -9. Let k be (-3)/u - (-18)/4. Suppose -t - 267 = -k*n, -n + 4*n = t + 200. Is n a prime number?
True
Is (-87360)/(-26) - 2/2 composite?
False
Let s = -5346 + 8209. Is s prime?
False
Let m(j) = 6*j**3 + 3*j**2 + 2*j + 8. Let f(g) = -3*g**3 - g**2 - g - 4. Let h(w) = -5*f(w) - 2*m(w). Is h(3) prime?
True
Is (5/(-5))/(1/(-1229)) a composite number?
False
Suppose 0 = k - 2*k + 746. Suppose -5*a = 3*g - 365 - 87, -5*g - a = -k. Suppose -c + 3*c - g = -3*j, -j + c = -58. Is j a prime number?
True
Let t(v) = -v**3 - 6*v**2 - 3*v + 6. Let f be t(-5). Let y = -3 - f. Is 0 - (-36 + y + -2) composite?
False
Suppose 3*m - 1074 = 3*a, -2*m + 0*a = -3*a - 719. Is m composite?
True
Let p(u) = 37*u**2 + 4*u - 4. Let a be p(-4). Suppose -4*h = -5*l - 0*l - a, h = -2*l + 143. Is h a prime number?
False
Let t be ((-40)/30)/(2/(-111)). Suppose 606 = 4*n + t. Is n a composite number?
True
Suppose 3*q - 4*q = -2*r - 2, 0 = -4*q + 5*r - 7. Let d(w) be the first derivative of -7*w**2/2 - 3*w - 1. Is d(q) composite?
False
Suppose -45 = -4*s + 8*k - 3*k, -3*s = 2*k - 5. Suppose 6*z - 4*d - 140 = 2*z, -s*z - d = -151. Is z a prime number?
True
Suppose 0 = 5*a - j + 4, 4 = -0*a + a + j. Suppose -2*b + 215 = -5*v, a = -3*b - b + 3*v + 395. Is b prime?
False
Let t = 322 - 137. Is t prime?
False
Let u be (-8)/(-28) + 52/14. Suppose 451 + 345 = u*j. Is j composite?
False
Let m(v) = 3*v**2 + 2*v + 1. Let i be m(-1). Suppose -130 = -i*r + 108. Is r a prime number?
False
Let q be 2/(-9) + 8/36. Suppose q*x + 345 = 3*x. Is x a composite number?
True
Let d = 5 - 5. Suppose d = -u + 4*j + 14 + 21, -2*j = 5*u - 175. Is u a composite number?
True
Is 2/4 + 10423/14 prime?
False
Let b(o) = 47*o**3 - 2*o**2 + o + 1. Is b(3) a prime number?
False
Is (-179396)/(-56) - (-2)/(-3 - 1) composite?
False
Let x(j) = 4*j**2 - 2*j. Let r be x(2). Is r/42 - 178/(-14) a prime number?
True
Let w = 31 - 51. Let o = w - -78. Suppose 0 = 3*x - 59 - o. Is x a prime number?
False
Let n(a) = a**3 - 2*a + 2. Let y be n(2). Let m(c) = 21*c - 7. Is m(y) a composite number?
True
Suppose -5*l + 1015 = -4*v, 5*v = -4*l + 3*l + 203. Is l prime?
False
Let g(j) = -j**3 + 6*j**2 + 4. Let c(n) = n**2 + n + 2. Let o be c(0). Let z be o - ((3 - 2) + -2). Is g(z) prime?
True
Suppose -s - 4*w + 1275 = 0, 0*w + 4*w = 20. Is s a prime number?
False
Let w(i) = i + 559. Is w(0) composite?
True
Suppose -3*f - 9 = -0, -4*f = -5*c + 37. Suppose -3*w - c*k = 2*w - 135, -27 = -w + 2*k. Suppose -2*r - 4*x + 44 = 0, 2*r - w = -x + 5. Is r prime?
False
Suppose -z + 5*b = 25, 3*z + b - 2 - 3 = 0. Let g(y) = -y**2 - y - 2. Let s be g(z). Is s*1*(2 - 4) a prime number?
False
Suppose 2*b + 2*b = 24. Suppose -b*d = -2*d - 860. Is d a prime number?
False
Suppose 2*f = -4*y - 2*f - 24, -4*f = 0. Let u(v) = 6*v**2 + 3 + 0*v**2 - 4*v**2 + 6*v + 3*v. Is u(y) composite?
True
Suppose -m + 5*m = -2*v + 940, -4*v + 1892 = 5*m. Is v composite?
True
Let t(y) = 8*y**2 + 3*y + 3. Let q be t(-1). Let j(o) = -o**3 + o. Let v(d) = 5*d**3 + 8*d**2 - 16*d + 1. Let n(i) = -6*j(i) - v(i). Is n(q) a composite number?
False
Let b = 2 + -2. Suppose b*i - i = 0. Suppose -3*k + 0*n = 5*n - 66, i = -3*k - 2*n + 66. Is k a composite number?
True
Let j(l) = 24*l**2 + 4*l + 1. Is j(4) composite?
False
Suppose -2*y + 33 = -3*x - 17, 3*x = 4*y - 52. Let i be 1/4 + (-204)/x. Suppose t - 92 = -i. Is t a prime number?
True
Suppose 6*u - 56 = 2*u. Let l = -9 + u. Suppose -l*b + 10*b = -2*r + 185, 3*b - 111 = 4*r. Is b a composite number?
False
Is -5 + 592 + (2 - 2) a composite number?
False
Let w(s) = 5*s - 4. Let z be w(-4). Let v = 14 + z. Let p = v + 17. Is p composite?
False
Let j(a) = -a**2 + 7*a + 6. Let d(w) = 6*w + 5. Let l(m) = 5*d(m) - 4*j(m). Let c(f) = 2*f**2 + 2*f + 2. Let b be c(-2). Is l(b) a composite number?
False
Let m(u) be the first derivative of 2*u**3/3 - 3*u**2 + 9*u - 20. Suppose 27 - 62 = -5*i. Is m(i) prime?
False
Is (-4)/(24/(-358)) - (-4)/(-6) a prime number?
True
Suppose -4 = r + r. Let g = r + 7. Suppose -2*u - g*b + 245 = 0, u - 3*b + 0*b - 106 = 0. Is u a prime number?
False
Let s(o) = 6*o**2 + o. Let h be s(-3). Let t = -11 + h. Let b = 87 - t. Is b a composite number?
False
Let i = -1 + 470. Is i a prime number?
False
Let j = 6 + -3. Let p = -102 - -196. Suppose m + p = j*m. Is m composite?
False
Let l(o) = -o**3 - 3*o**2 - 4*o - 3. Let r be l(-2). Let x be r/(3/(-54)) - 0. Is (132/x)/((-1)/3) a prime number?
False
Let d = -22 + 55. Is d a composite number?
True
Let v be -10*1/(-2) - -2. Let x(w) = -w**2 + 7. Let j be x(v). Let d = j + 225. Is d composite?
True
Let n = -3449 - -5952. Is n a prime number?
True
Let b(j) = -2*j**3 - j**2 + j + 2. Let d be b(-8). Let r = d + -167. Is r a prime number?
True
Let d(j) = -2*j + 8. Let v be d(7). Let i = 6 + v. Is (-2)/(i + -1) - -83 prime?
False
Let x(h) = -h**3 + 7*h**