8. Is v composite?
True
Suppose -3*k = 3*a - 10 - 8, 0 = a - 4*k + 19. Let x be -1 + a + -2 + -11. Let t = 68 + x. Is t a prime number?
False
Let d(m) = -7*m**3 + 9*m**2 - m - 1. Let w(q) = -3 - 13*q**2 + 2*q + 11*q**3 - q + 5. Let r(n) = 8*d(n) + 5*w(n). Is r(5) composite?
False
Is ((-5 - -4) + -84)/(-1) a prime number?
False
Let x = 6 - 3. Suppose -x*s = -8*s + 895. Is s a prime number?
True
Let b be 30/((-2)/3*-3). Is b/(1 + 0/(-2)) composite?
True
Suppose -148 = -4*w + 16. Suppose -1 = 2*r + 5, 0 = 2*y - 5*r - w. Suppose y = u - 2. Is u composite?
True
Let v = 2422 - 1230. Suppose 4*j = 588 + v. Is j composite?
True
Suppose -4*l + 348 = -4*v, 4*l + 0*v - 363 = -v. Let i = 92 - 135. Let w = l + i. Is w composite?
False
Let f = 1542 - 325. Is f prime?
True
Let l = 12 + 62. Is l a composite number?
True
Let t be 0 + 1 + 0 - -1. Is (2/(-4))/(t/(-16)) a prime number?
False
Suppose -51*q = -55*q + 1528. Is q a composite number?
True
Let a(t) = -2*t - 12. Let l be a(-6). Suppose -205 = -l*y - y. Is y composite?
True
Let n = 431 + -184. Is n a prime number?
False
Suppose -c = c + 594. Let s = c + 424. Is s a prime number?
True
Suppose -5*g + 3 = -2*g. Let d be g/3 - (-32)/3. Suppose -2*z = -61 + d. Is z a composite number?
True
Let z(t) = t**3 + 5*t**2 - 6*t + 3. Let c be z(-6). Let i be ((-20)/6)/(4/(-6)). Suppose c*y + i = 47. Is y composite?
True
Suppose -2*i = -3*c - 284, c + 0*c + 143 = i. Is i composite?
True
Let s(y) = 4*y**2. Let v be s(-6). Suppose 0*a + 475 = -5*a. Let n = v + a. Is n a prime number?
False
Suppose -2*l - 204 = -4*l. Suppose 4*o = 3*q + l, -5*o - q = q - 116. Is 1182/o + 1/(-4) a composite number?
True
Let a(d) = -33*d**2 - 4*d + 6. Let k(v) = -16*v**2 - 2*v + 3. Let f(h) = -3*a(h) + 5*k(h). Is f(2) a prime number?
False
Suppose 55 = 5*b + 2*v, -4*v = 4*b + 2 - 46. Suppose -16 + 1 = -3*j. Suppose 4*h = j*h - b. Is h composite?
False
Let s(l) = -27*l**2 - 4*l + 3. Let k be s(4). Is k/(-2) - (-5)/10 a composite number?
False
Let f be ((-9)/3)/(3 + -4). Suppose 7*m + 5*u = f*m + 3523, -4*m - u + 3543 = 0. Is m a composite number?
False
Let z(t) = 2*t + 2. Let x be z(-2). Let n(k) = k**3 + 3*k**2 - 3*k - 3. Is n(x) composite?
False
Suppose 4*k = -7*k + 517. Is k a composite number?
False
Let x(i) = -i**2 - 3*i - 1. Suppose l - 5*l - 4 = 2*c, -c - 3*l = 2. Let u be x(c). Is (108/u)/3 - -1 a composite number?
False
Is (-2 - 1) + (-510)/(-3) prime?
True
Suppose 0 = -z + 3*l - 6*l + 1019, -5*z + 5147 = 2*l. Is z a prime number?
True
Let f = 3 - -2. Suppose -14 = -3*r + 4*v + 6, -36 = -f*r + 4*v. Let c = 15 - r. Is c a prime number?
True
Let b(q) = -q - 8. Let v be b(0). Is (-97)/(-4)*v/(-2) prime?
True
Let t = 5221 - 3014. Is t prime?
True
Suppose 3419 = 5*y - 3*p, -5*p + 675 = y - 10*p. Is y prime?
False
Let x be (2/(-4))/(2/(-24)). Suppose c - 41 = -x. Is c a prime number?
False
Let f(d) = d**3 - 6*d**2 - 4*d - 9. Let z be f(9). Suppose 3*w = 5*o + 287, 0 = 5*w - 5*o - z - 267. Is w a prime number?
True
Suppose 3*b = 5*b - 42. Let p be -120*(3 + b/(-4)). Suppose 3*a - p = -h, -6*a + 3*a + 2*h = -261. Is a a composite number?
False
Suppose 0 = 2*t - 6*t + 32. Let i = t - 13. Is (-236)/i + (-2)/10 a prime number?
True
Let c be (2/1)/(6 + -4). Let y = -2 + c. Let v(s) = -52*s + 1. Is v(y) composite?
False
Suppose -3*j + 15 - 6 = 0. Let i be ((-3)/j)/(-1 + 0). Suppose -f - i = -3. Is f prime?
True
Let z be (4/((-4)/3))/(-1). Suppose 0 = -j + 4*j + 4*m, 0 = 3*j + z*m. Suppose 2*l - 4*l + 110 = j. Is l composite?
True
Let r = 10 - 10. Suppose r*c = 3*c + 51. Let s = 110 - c. Is s composite?
False
Let u(g) = -14*g - 18. Let v(r) = -29*r - 36. Let m(d) = -7*u(d) + 3*v(d). Is m(17) prime?
False
Suppose 3*h - 6537 = 2*n - 0*n, 0 = 4*n. Is h a composite number?
False
Let z(a) = 4*a**2 + 6*a + 1. Is z(5) a prime number?
True
Suppose 5*y = 3*d + 193, 0 = 2*d - 3*y + 2*y + 138. Let m = d - -126. Is m a prime number?
False
Suppose 2*n + 4*f - 820 = -232, 2*f = 4. Let z be (1/(-2))/((-5)/n). Let d = -8 + z. Is d composite?
True
Let r(m) be the third derivative of -17*m**4/12 - 7*m**3/6 + m**2. Is r(-5) prime?
True
Suppose 4*d - 7 = t, 0*d = -4*d - 3*t + 11. Suppose -g = 4*g. Suppose -d*z + g*z + 506 = 0. Is z prime?
False
Suppose 0 = -4*h - 3*n + 47, 0 = 4*n - 4 - 16. Suppose 10 = 5*c, b + 6*c - 4*c = h. Suppose 0 = 3*z + 8 - 2, -352 = -b*p - 2*z. Is p prime?
True
Let n(f) = f**2 + 4*f - 5. Is n(6) a composite number?
True
Suppose 18*z + 1676 = 22*z. Is z prime?
True
Suppose -p = 11 - 88. Suppose -p = -4*h + 11. Is h a prime number?
False
Suppose 0 = -x - 2*x - 198. Suppose 2*p - 4*q - 16 = 0, -4*p - 5*q - 28 = -q. Is p*6/(-4) - x composite?
True
Suppose -w + 4*i = -0*w - 57, -3*i + 92 = 2*w. Is (-1222)/(-14) - 14/w composite?
True
Let y = -7 + 13. Is (-1)/2 - (-1269)/y a composite number?
False
Let u = 100 + -49. Let t = 72 - u. Is t a prime number?
False
Suppose 4*s + 5*o - 887 = -0*s, 0 = 3*s + 3*o - 663. Is s a prime number?
False
Suppose 0*n - 2*n + 8 = 0. Is (-9)/(-6) + 214/n composite?
True
Let d = 30 - 15. Let o be 3/(-2)*(-20)/d. Suppose 0 = -3*z - z + o*y + 56, -4*y = 3*z - 42. Is z prime?
False
Suppose 2*t = t + 307. Is t a composite number?
False
Let l(r) = 8*r + 5. Is l(8) a prime number?
False
Suppose 2*q - 406 = 3*n, 3*q + 2*n + 2*n = 609. Is q composite?
True
Let m be 3/2*364/(-21). Let k = 79 + m. Is k prime?
True
Let q(u) = -3*u**3 - 2*u**2 + 9*u - 1. Let c(g) = 4*g**3 + 3*g**2 - 13*g + 2. Let b(y) = -5*c(y) - 7*q(y). Let l be b(4). Let k = -28 + l. Is k a prime number?
False
Let b(q) = -q + 7. Let u be b(4). Suppose 0 = -0*w - u*w - 2*c + 25, 5*c - 38 = -4*w. Suppose -j + 2*j = w. Is j prime?
True
Suppose -t = y + 4, -4*y = -0*y + t + 31. Let k be 1*y/(9/3). Is 4 + 3 + (k - 2) a prime number?
True
Suppose 3*t - 252 = -t. Let w = -19 + 55. Suppose -t - w = -3*i. Is i a prime number?
False
Let w be (6*309/(-6))/(-1). Suppose 305 + w = 2*t. Is t a composite number?
False
Let f(i) = 31*i**2. Let j = -4 - -3. Is f(j) prime?
True
Let u = 6 + -4. Suppose 0 = -3*n - 3*k + 222, -u*n - 5*k = -3*n + 104. Is n a prime number?
True
Suppose 1000 = 4*r + 4*a, -2*r - a - 2*a = -499. Is r prime?
True
Let b(d) = d + 3. Let l be b(-5). Let r be 0 + l + (-4 - -9). Suppose 2*g + r*g = 110. Is g a prime number?
False
Let p(k) = k**3 + 5*k**2 - 6*k + 5. Let c be p(-6). Suppose c*w - 5 = -0*w. Is -23*(-8 - (w + -4)) prime?
False
Is (12/(-18))/((-4)/2454) composite?
False
Is 2/(-9) + 2614/18 a composite number?
True
Is (1/(-4))/((-2)/3928) a prime number?
True
Let f be 2/6*(3 - -6). Let n(h) = -5*h**f + h**2 + 0 - 1 - 2*h**3. Is n(-1) a composite number?
False
Suppose -2*v + 651 = -23. Is v composite?
False
Let g(y) = -y**2 + 4*y. Let t = 4 + -1. Let b be g(t). Suppose -5*o + b*o = -8. Is o composite?
True
Let l be (-4)/4 - (1 + -22). Is (-4)/((-28)/l + 1) prime?
False
Suppose 2*l + 0*l = 10. Suppose -c = -3 + l. Is (-23)/((-1)/((-2)/c)) a prime number?
True
Let c = -977 - -653. Let n = -169 - c. Is n composite?
True
Suppose -19 = -5*h + 3*n, -2*h - 4*n + 16 = -n. Suppose 0 = 4*l - o - 1770, -h*o = -2*l - 2*o + 880. Is l a prime number?
True
Suppose q + 17 = -d, -3*q - 3*d + 8*d = 19. Let b = 47 + q. Let h = 1 + b. Is h a prime number?
False
Suppose -4*v + 3076 = -5*d, -2*v - 5*d + 589 = -949. Is v prime?
True
Let c(h) = -h**3 - h**2 - 5*h - 4*h**2 + 4 - 5 + 4*h. Let l be c(-5). Suppose i - 466 = -4*g - 2*i, -2*g - l*i = -238. Is g a prime number?
False
Let z(w) be the first derivative of w**2/2 + 3*w - 2. Is z(4) a composite number?
False
Let z(p) = p**2 - 6. Let v be z(8). Let y = -21 + v. Is y a prime number?
True
Suppose -b - 10 + 1 = 0. Let u(r) = -2*r**2 - 3*r - 7. Let w be u(-2). Is (0 - -97)/(b/w) a composite number?
False
Let w be -6 + -1 + 2/(-2). Is (0 + 4/w)*-134 a composite number?
False
Let t = -7 + 21. Is t composite?
True
Let c(f) = 29*f**2 + 6*f + 1. Is c(-6) composite?
False
Suppose -3*l = -4*k - 31, -l + 30 = -4*k + 9. Let u = -7 + l. Is 696/9 - u/(-6) composite?
True
Let g be 1/(1 + 6/(-7)). Suppose 3 + g = -s + w, 22 = -s + 5*w. Let c(o) = -7*o + 10. Is c(s) a composite number?
False
Let i = 1534 + -479. Is i a prime number?
False
Let j(x) = 5*x - x**3 - x + 3*x**2 - 3*x**2 - 3 - 5*x**2. Is j(-7) composite?
False
Is 51/(-34