8. Is s a prime number?
True
Let w(a) = -2*a**3 - 5*a**2 - 5*a + 4. Let i be w(-4). Suppose -4*z + 58 = f, -3*f + i = 3*z - 111. Is f composite?
True
Let g(n) be the first derivative of -n**3/3 + 11*n**2/2 + 11*n + 5. Is g(10) prime?
False
Let v(l) = -209*l**3 + l**2 - 2*l + 1. Let r be v(1). Let q = r - -380. Suppose 65 = 4*i - q. Is i a prime number?
True
Let f be (-12)/(-36)*6*1. Suppose -f*i = -80 - 54. Is i a composite number?
False
Let k(o) = 3*o**2 + o + 15. Is k(-7) a prime number?
False
Let s(l) = 6*l**2 - 9*l + 1. Suppose 5*o = -v - 8 + 29, 10 = 3*o - 2*v. Suppose b = o*x + 26, -45 = -4*b - b + 3*x. Is s(b) a prime number?
True
Let s = 63 + -178. Let o = s + 190. Suppose 4*v + 5*n = -0*n + 45, -4*v + 5*n = -o. Is v prime?
False
Let m(d) = 10 - 4 + 11*d + 11 + 4*d**2 - 27*d. Is m(13) prime?
False
Let d = 7 - 0. Suppose 385 = d*x - 2*x. Is x a composite number?
True
Let k = 165 + 134. Is k prime?
False
Let y(x) = -x - 3. Let c be y(0). Let n(w) = -w - 3. Let p be n(c). Suppose -4*j - 2*o + 332 = -7*o, 3*o = p. Is j composite?
False
Suppose i - 2*p = 155, -2*i + 0*i + 322 = -p. Is i a composite number?
False
Let n(t) = -t**3 - t**2 - t + 211. Is n(0) composite?
False
Suppose b + 5*v = -36, 4*v = 8*b - 3*b + 64. Is (b/(-4))/(-4) - -380 prime?
True
Let h(u) = u**2 - 3*u + 2. Let r be h(4). Let n(f) = -4*f - 1 - 3*f**3 - 1 - 2*f**3 + 7*f**2 + 4*f**3. Is n(r) composite?
True
Is (-12)/(-3)*1228/16 a prime number?
True
Let h(c) be the first derivative of 35*c**3/3 - c**2/2 - c - 2. Is h(-1) prime?
False
Let c = -399 + 740. Suppose 0 = 4*z - 3*z - 2. Suppose -z*o - c = -5*l, -l = 3*o + 11 - 86. Is l composite?
True
Suppose -4*x = -q - 11, 3*x - 5 = 1. Let b(j) = -44*j - 5. Is b(q) a composite number?
False
Let j(b) = -29*b - 13. Let d be j(6). Let n(f) = -4*f**2 - 2*f. Let g be n(-6). Let t = g - d. Is t a composite number?
True
Let v = -4 + 8. Suppose -374 = -2*f + m, -v*f = -3*f + 3*m - 187. Is f a composite number?
True
Let y(z) = -z**3 - z**2 - z + 1. Let n be y(-2). Let u(h) = 6*h + 5. Is u(n) a prime number?
True
Suppose 5*q + 157 = 2*v + 2*v, -5*q + v = 148. Let z = -14 - q. Suppose 2*b - z = -3*b. Is b a composite number?
False
Let p(u) = 38*u**3 - 7*u**2 + 12*u - 9. Is p(4) a prime number?
False
Let h(d) = d**2 + 6*d + 8. Let t be h(-4). Let v(m) = -59*m - 3. Let c be v(-2). Suppose 2*u - 3*u + c = t. Is u a composite number?
True
Let m = -7 - -12. Is (-993)/(-1)*m/15 prime?
True
Suppose -3*f = -6*f + 879. Is f a prime number?
True
Suppose 0 = 2*r + r - 12. Suppose -r*t + 247 = 35. Is t composite?
False
Suppose -y - 2590 = -8*y. Suppose -2*s + 469 = 3*x, -3*x - s = -97 - y. Is x a composite number?
True
Let b(n) = 2*n**3 - 8*n + 11. Is b(6) a composite number?
True
Let w be (-2 - -5)*-1 - -9. Is ((-502)/(-4))/(3/w) prime?
True
Let w be -6 + 0 + -1 + 2. Let c be (-21)/w + 1/(-5). Suppose -d - 15 - 282 = -4*r, -c*r + 295 = d. Is r a prime number?
False
Suppose -591 - 329 = 4*p. Let n = -153 - p. Is n a prime number?
False
Let r be (-22)/4 + 2/4. Let z = 34 - r. Is z a prime number?
False
Suppose -1 = -b + 138. Is b a composite number?
False
Let k(o) = -o**2 + o + 51. Is k(0) a composite number?
True
Let w = -4 - -11. Let d(q) = 12*q + 5. Is d(w) a prime number?
True
Suppose -5*c - 3959 = -2*v, -v + 2002 = c + 4*c. Is v prime?
True
Let j be -76*(-8)/(4 + 0). Suppose j = 2*s + 34. Is s a prime number?
True
Let t(k) = -k**3 + 8*k**2 + 2*k - 10. Let i be t(8). Is 3782/i - 4/(-6) a composite number?
False
Suppose 5*y + 91 - 1071 = -5*o, -4*y + 2*o = -754. Is y prime?
True
Suppose 310 + 216 = -2*c. Is (-2)/(-5) + c/(-5) a composite number?
False
Suppose n - 13 = -2*y, 4*y - 15 - 16 = -3*n. Let u(k) = -4 + y*k - 4*k + k. Is u(11) prime?
True
Let n = 752 + 367. Is n a prime number?
False
Is (1518 - 2)*(-1)/(-4) prime?
True
Suppose 5*v - 5*d - 981 - 1149 = 0, -2*v + 872 = 2*d. Is v a prime number?
True
Suppose -2*o = 5*n - 17, -5*n = -8*n + 3*o + 27. Suppose -328 = -n*y + 3*v, 2*y + 6*v - v = 125. Is y prime?
False
Let d(n) = 43*n**3 - 3*n**2 + 3*n - 3. Let o be d(2). Suppose -f = -6*f + o. Is f a prime number?
True
Let u = 207 + -120. Is u composite?
True
Suppose h + 614 = 3*h. Is h a prime number?
True
Is (6/4 - 1) + 2530/20 a prime number?
True
Suppose 3*x + w = 23, -3*w + 9 = -x - 0*x. Let t(n) = -7*n**3 + 12*n**2 - 8*n + 1. Let h(q) = q**3 - q**2. Let g(p) = -6*h(p) - t(p). Is g(x) composite?
False
Let z(n) = -4*n - 2. Let k(u) = 4*u + 3. Let o(q) = -3*k(q) - 2*z(q). Let d be o(-6). Suppose 2*p - d = 11. Is p composite?
True
Suppose v + 370 = -v. Let w = v + 574. Is w prime?
True
Let z = 4 + -4. Suppose z = -2*p - w + 427, 6*p - 2*p - 834 = 2*w. Is p a prime number?
True
Suppose 1887 = 3*k - 0*k. Is k prime?
False
Let y = 59 + 60. Is y composite?
True
Let q(x) = -3*x**3 - x - 1. Let y be q(-1). Suppose 0 = 4*b - b - 318. Suppose 11 = y*l - b. Is l prime?
False
Suppose 0*t + 4*x - 5 = t, 2*t - 4*x + 2 = 0. Suppose v = 5*a - 746, v + 0*v - 454 = -t*a. Suppose -a - 35 = -5*b. Is b prime?
True
Let u(h) = 3*h + 0 - 4 - 2*h + 0. Let t be u(4). Suppose -s - 3*w + 17 = t, 0 = -s - 5*w + w + 15. Is s prime?
True
Is -185*(2/5 - 1) a prime number?
False
Let n be ((-7)/(-28))/(2/8). Is (3 - 4)*(-163)/n prime?
True
Let f(x) = -x**2 + 2*x. Let n be f(2). Suppose 3*u - 264 + 87 = n. Is u a prime number?
True
Let b(y) = y**3 - 4*y**2 + 3. Let p be b(4). Suppose -p*c + 112 - 1 = 0. Is c a composite number?
False
Let p = -2 - -7. Suppose -2 = 3*m - 8*m - 2*v, -p*m + 4*v = 4. Suppose m = -l - 3*u + 134 + 113, 1299 = 5*l - u. Is l composite?
True
Suppose 0 = 3*c + 4*b - 6131, -b - 6133 = -3*c - 6*b. Is c prime?
False
Let w be (3/6)/(2/352). Suppose 0 = -5*s + 2 + 13. Suppose v = -d - s*d + 31, 4*v + 4*d - w = 0. Is v a prime number?
True
Is (-2)/7 + (611500/(-35))/(-5) a composite number?
True
Let w(n) = n**2 + n - 6. Let y be w(0). Let u(d) = d**2 - 6*d - 5. Is u(y) prime?
True
Let w = 65 + -46. Suppose 2*n - 17 + 1 = -2*p, -2*p - 5*n = -w. Is p a composite number?
False
Let n = 9 - 4. Suppose 4*w - 5*w - 4*r = -15, 5*w - n*r = 50. Is w composite?
False
Suppose 3*r + 2*x + 9 = 127, 4*x = r - 30. Suppose 5*s - 152 = -4*i, 3*i + r = 4*i + 2*s. Is i a composite number?
True
Let b(s) = -7*s + 3. Let u be b(7). Is (u*(-2)/4)/1 prime?
True
Let r = 151 + 100. Is r a prime number?
True
Suppose -a - 8 + 259 = 0. Is a a prime number?
True
Suppose u - 5*u - 4*m = 28, 25 = -5*m. Let y be (u - (-1)/3)*-3. Suppose 2*w - 103 = -y. Is w a prime number?
False
Let q be ((-1)/2)/(3/(-36)). Let j be 14/(-6)*q/(-1). Let t = j - -32. Is t a composite number?
True
Let j = 92 + 7. Suppose j = 2*a + a. Is a a prime number?
False
Suppose -3*a = 5*t, -4 = -a + t - 12. Is (2/(-4))/(a/2370) a prime number?
False
Suppose t = 6*t - 1615. Is t a prime number?
False
Suppose x - 3 = 4*p - 18, 4*x = 4*p - 24. Let i(o) = o**2 + 3*o + 2. Let q be i(x). Is (q - 3)/((-1)/149) prime?
True
Let g(p) = -p**2 + 10*p + 1. Let w be g(10). Suppose l - 12 + w = -n, 4*l + 46 = 5*n. Is n composite?
True
Let g(l) = -l - 369. Let u be g(0). Let d = u - -111. Let f = -149 - d. Is f a prime number?
True
Let b be (-1)/3 - 455/3. Let a(z) = -9*z**2 + 4*z. Let s be a(3). Let j = s - b. Is j composite?
False
Let o(r) = r**2 - r. Let y be o(2). Suppose -3*j + 2*c = 2, 4*j + 4 + 0 = 3*c. Suppose 2*s = -j*s + p + 63, 4*s - y*p - 66 = 0. Is s a composite number?
True
Suppose -2 = x + 1. Let r = x - -5. Suppose -5 = -5*v, 7*j = r*j + 2*v + 333. Is j prime?
True
Let v(y) = 9*y - 1. Let c be v(5). Suppose -4*r + 32 = 3*u - 32, 3*u - 58 = 2*r. Suppose 3*b - c = 4*h - 417, 4*b = u. Is h composite?
False
Suppose 0 = -3*q - 1 + 10. Suppose q*f - 2*f - 223 = 0. Is f a prime number?
True
Let d = -292 - -1043. Is d a prime number?
True
Let f be (-7)/(21/(-6)) + -14. Let k = -8 - f. Suppose -2*a + 30 = 4*n, n - k*n = -4*a + 115. Is a a prime number?
False
Let j = 11 + 200. Is j composite?
False
Let o = 0 + 5. Let l be (8/6)/(4/6). Suppose l*m + 25 = d, o*d + m = -m + 101. Is d prime?
False
Suppose -4966 = -6*d - 1060. Let h = -432 + d. Is h a prime number?
False
Let t = 9 - 6. Let h(i) = 6*i**3 - 11*i**2 + 2*i + 13. Let g(n) = -3*n**3 + 5*n**2 - n - 6. Let y(r) = -9*g(r) - 4*h(r). Is y(t) composite?
True
Let i(c) = -c - 62. L