Let k = 7947 - 4160. Is k composite?
True
Let v be (-3014)/(-4) + 3/(-6). Suppose 6*t - 3*t - v = 0. Is t composite?
False
Suppose -r + 631 = -0*r. Is r composite?
False
Suppose y - 36 = -2*y. Let w = y - 8. Is -2 - (-47 - w/(-2)) prime?
True
Let k(d) be the second derivative of -d + 1/12*d**4 + 1/6*d**3 + 0 + 0*d**2 - 17/4*d**5. Is k(-1) a composite number?
True
Suppose -8 + 71 = 3*p. Is p a composite number?
True
Suppose -2*z - 2*u - 741 = -3917, -4*u - 4743 = -3*z. Is z prime?
False
Let q = -2 - -3. Let n be (14 - -1 - -3)/q. Suppose b - 52 = -5*s - n, 5 = -s. Is b a prime number?
True
Suppose -5*c + 3*t - 31 = 0, -5*c - t = 3*t + 52. Is (2 + -5)*(-5 + c) composite?
True
Suppose -i + 504 - 173 = 0. Is i a prime number?
True
Suppose -4*l + 5*x = -3*l - 908, -l + 914 = -3*x. Suppose -2*s = 3*j - 0*j - 622, -l = -3*s - 2*j. Is s a prime number?
False
Suppose 0*h + 3*h - 4083 = 0. Is h a composite number?
False
Is 3/(-6)*4 + 165 composite?
False
Let k = 46 + -29. Let v = 126 - k. Suppose -2*i + 69 = -v. Is i prime?
True
Suppose -30 + 80 = 5*l. Suppose 5*q - k - k = -l, -4*q + 9 = -5*k. Is (-1)/(-4) + (-123)/q a composite number?
False
Suppose 7*g - 6*g = 889. Is g composite?
True
Let b(d) = 5*d + 7. Is b(8) composite?
False
Let j = -74 - -195. Is j prime?
False
Let u(a) = a**2 + 2*a - 5. Let b = 4 - 8. Let i be u(b). Suppose 28 = -z + i*z. Is z a prime number?
False
Let h(m) = 6*m. Let l be h(1). Let x(b) = -b + 0 - 2 + 3 + l*b. Is x(4) a composite number?
True
Let a be 319/(-3) - (-12)/(-18). Let t = -42 - a. Is t prime?
False
Suppose 0*y - 130 = -2*y. Let r = -14 + y. Is r a composite number?
True
Let v be (-3)/((30/(-8))/5). Is (-563)/(((-12)/v)/3) composite?
False
Suppose 41 - 1 = 5*r. Let z = 66 - r. Is z a prime number?
False
Let k = -2952 - -5455. Is k composite?
False
Let x = 20 - 17. Is 8/(-12)*x + 129 a prime number?
True
Suppose 5*j = 3*j. Suppose j = -4*i + 12, k + 3*i = -21 + 56. Is k prime?
False
Is -11*(-28 + -3) + 0 prime?
False
Suppose -4*u = -3*n + 13, -2*n + 1 = 5*u - 0. Suppose n*w - 76 = 323. Is w prime?
False
Suppose -5*z - 240 = -3*z. Let p = 207 + z. Is p a composite number?
True
Suppose -4994 - 375 = -13*k. Is k prime?
False
Let w(r) = 2*r + 0 - 5 + r + 0 + 3*r**2. Is w(-5) composite?
True
Suppose -7*y + 1324 = -3*y. Suppose 0 = 2*f - x - 442, -5*f - y = 5*x - 1466. Is f a composite number?
False
Suppose 4*s + 24 = 7*s. Suppose 4*p - 2*d = -22, -4*p = -d - 1 + 22. Let a = s + p. Is a composite?
False
Suppose 0 = -5*x - 11 + 1. Let t = 18 - 9. Let u = x + t. Is u composite?
False
Suppose x + m = -1, 0 = 4*m + 1 - 5. Let n(t) = -17*t - 6. Let a(r) = -84*r - 31. Let s(u) = x*a(u) + 11*n(u). Is s(-3) a composite number?
False
Let m = -1 + 2. Let w = m + 6. Let x = 22 - w. Is x a prime number?
False
Let o(u) = -15*u - 7. Is o(-3) composite?
True
Let v = 1 + -1. Suppose -3*t - t - 3*p + 37 = v, -60 = -5*t - p. Is t a composite number?
False
Suppose 5*x - 794 - 671 = 0. Is x a prime number?
True
Suppose v + v - 8 = 0. Suppose -4*s + 1584 = v*r, r = -3*s - s + 393. Is r a prime number?
True
Suppose 3*x - 21 = 3. Is (-4 + (-110)/x)*-12 a composite number?
True
Let k(r) = 2*r + 7. Let l(d) = d + 1. Let z(c) = c**2 + 7*c + 1. Let n(f) = -6*l(f) + z(f). Let s be n(-4). Is k(s) a prime number?
False
Suppose 5*n + 20 = 3*b - 2*b, 4*b + 8 = -2*n. Is ((-95)/10)/(2/n) prime?
True
Let t be (0 + -1)*5*1. Let g(u) = -2*u**3 + 3*u**2 + 7*u + 3. Is g(t) composite?
False
Suppose 2*k - 178 = 2*j, -k + 3*j + 81 = -0*j. Let x = k + -38. Is x a composite number?
True
Let n = -792 - -472. Let t = n - -225. Let o = -48 - t. Is o a prime number?
True
Let s = -2106 + 4753. Is s prime?
True
Suppose -h + 4*h = -111. Let y = 25 - h. Is y a prime number?
False
Suppose -3*a + 255 = -216. Is a/5 + (-4)/10 a composite number?
False
Let j(p) = -p**2 + 7*p + 2. Let y be j(11). Let w = -1 - y. Let r = w - -18. Is r a prime number?
True
Suppose 4*j - 116 = 4*r - 2*r, 2*r - 39 = -j. Let g = j - -84. Is g prime?
False
Suppose -x + 2*q = -879, -x - 4*q + 403 = -452. Is x a prime number?
False
Let y = 911 - 606. Suppose -2*c = -0*o - 2*o + 156, -4*o - 3*c = -y. Is o a prime number?
False
Suppose -35 + 11 = -3*h - 2*d, -2*h + 5*d - 3 = 0. Suppose 2*y - 80 = h. Suppose -3*f + 14 = -y. Is f prime?
True
Let v(l) = l**3 + 3*l**2 - 4*l + 2. Let t be v(-4). Suppose -f - 790 = -t*z, -z + 2*f + 790 = z. Is z prime?
False
Let p(n) = n**2 - 8*n - 2. Let f be p(7). Let t be 2/6 + (-24)/f. Suppose 4*c + 5*i + 58 - 218 = 0, -4*c + 152 = t*i. Is c composite?
True
Suppose 0 = -3*k - 0*x + 4*x + 50, -x = -k + 17. Suppose k + 13 = z. Is z prime?
True
Let g(h) = -h**3 + 4*h**2 + 6*h + 7. Let v be g(5). Suppose 4*s - 60 + v = 0. Let t = -1 + s. Is t a prime number?
True
Suppose f + 0*w - 62 = -5*w, -2*f + w = -168. Is f composite?
True
Suppose -5*j - 5*s = -20, s = 3*j - j - 5. Suppose -g - 3*r = -6*g + 410, 242 = j*g - r. Is g composite?
False
Let s = -466 + 1265. Is s a prime number?
False
Suppose -2*r = -f - 256, -r - 25 = -6*r. Let m = f - -431. Is m a composite number?
True
Let j(y) = 519*y - 2. Is j(1) a composite number?
True
Let r = 6 + 32. Suppose -t + r = 12. Is t composite?
True
Let n(o) = 5*o**2 + 5*o - 3. Let x = 9 - 13. Is n(x) composite?
True
Suppose 2*b - 1226 - 2067 = -3*f, -4386 = -4*f + 2*b. Is f a prime number?
True
Let f = 20 - 48. Let b be ((-35)/f)/(1/4). Suppose -15 + 50 = b*x. Is x composite?
False
Suppose w - 7 = 3. Let h(p) = -w*p + 2*p + 3*p**2 + 10 - 2*p**2. Is h(7) a composite number?
False
Let w be 63 + 2 + -3 + 2. Suppose -2*o + a = -a - w, -3*o - 5*a = -120. Is o a composite number?
True
Let y be (-1 + 0 - 1)*2. Let m be 2/((-3 - y)/2). Is (7/m)/(3/12) a composite number?
False
Let w(j) = -236*j + 17. Let o(h) = -157*h + 11. Let v(m) = -8*o(m) + 5*w(m). Is v(2) prime?
True
Suppose 2*o - o - 106 = 0. Let x = 8 - 5. Suppose -5*k = -x*k - o. Is k prime?
True
Let d = -1650 + 2837. Is d a composite number?
False
Let y = -5 + 6. Suppose -9 + 1 = 4*n. Is (89/y)/(3 + n) composite?
False
Let k be (4/(-6))/((-4)/24). Suppose u - 16 = -3*u, -u + k = -3*q. Suppose 2*d = -3*x + 113, -2*x + 3*d + 61 + 10 = q. Is x a prime number?
True
Let j(a) = -a**2 - 8*a - 5. Let m be j(-6). Let k = 11 - m. Let x(z) = 8*z - 1. Is x(k) prime?
True
Let c = 2 + 59. Suppose -5*d + 199 = -c. Suppose 0 = 6*v - 4*v - d. Is v composite?
True
Let p(w) = -w**3 - w**2 + w + 5. Let v be p(0). Suppose -2*d - 3307 = -3*a - 694, -v*d = -a + 871. Suppose s + 3*m = -3*s + a, -5*m + 1090 = 5*s. Is s prime?
False
Let n = -22 - -233. Is n a prime number?
True
Suppose 0 = l - 2*v + 14, 3*l - 4*v = -52 + 8. Is (-3572)/l + (-1)/4 a prime number?
True
Let w(b) = -6*b + 1. Let z = -3 + 0. Let d be w(z). Is -1*d*(0 - 1) prime?
True
Let j = 37 + -21. Let d = -9 + j. Is d a prime number?
True
Let z(u) = u**2 - 2 - 3*u + 0*u + 0*u. Let g be z(4). Suppose g*h = -3*t + 286, -h = -2*t - t - 161. Is h prime?
True
Suppose -5*r - y - 40 = 4*y, 39 = -4*r + 3*y. Let v be 3*1*(-6)/r. Suppose 0 = -v*s + s + 7. Is s prime?
True
Let i(r) = -145*r**3 - r**2 - 6*r - 1. Let q(c) = c**3 - c. Let x(t) = i(t) - 4*q(t). Is x(-1) composite?
False
Suppose 118 = 3*y - 59. Is y a prime number?
True
Let s = 8 - 6. Suppose s*y - 4*c + 6 = 0, 3*c - 19 = -3*y - 1. Suppose 218 = -o + y*o. Is o a composite number?
False
Suppose 12 + 3 = 3*n. Suppose -3*a + 12 = 5*s, -n*s + 2*a = 7*a - 20. Let q(v) = -v**3 - v**2 - v + 89. Is q(s) composite?
False
Is 7/(28/12) - -2744 prime?
False
Suppose -2*w - 45 = -4*m + 5*m, -73 = m - 5*w. Let f = m - -95. Suppose -4*p + 234 = -f. Is p a prime number?
False
Let b = -1222 + 1819. Suppose -n = -5*m - 552, n + 44 - b = 4*m. Is n a prime number?
True
Let t(d) = 2*d**3 + 6*d**2 + 2*d - 7. Let x = 7 + -2. Is t(x) composite?
True
Suppose -4*s = -12, -5*l + 2*l + 5*s = 42. Let d(f) = -2*f**2 - 8*f - 4. Let k(y) = 4*y**2 + 16*y + 7. Let r(p) = 5*d(p) + 3*k(p). Is r(l) a composite number?
True
Let s = 461 + 522. Is s composite?
False
Suppose -3*x + 919 = c, 3*x + c = 4*x - 309. Is x a composite number?
False
Is (-8)/(-36) + (-709)/(-9) a prime number?
True
Is (33/(-12))/((-1)/212) prime?
False
Is (-1 + 175)*(-2)/(-4) a composite number?
True
Let r = 1042 - -528. Let j = r + -1029. Is j composite?
False
Is