be (-6)/(-21) - (-26)/14*16. Suppose -2*b - 5*a = -569 - f, -4*a - 1240 = -4*b. Is b composite?
False
Let w be ((-4)/10)/(6/(-30)). Suppose -w*s + 4*s = 2992. Is 5/(-15) + s/6 composite?
True
Let i(g) = -3*g**2 + 13*g - 3. Let t be i(9). Suppose -16 = -4*q, 3*f - 6*q + 2*q - 650 = 0. Let c = f + t. Is c a composite number?
True
Let y = 19 + -15. Suppose -5*d = 3*t - 2*d - 18, 0 = y*t - 3*d - 17. Is 1992/(-30)*t/(-2) composite?
True
Let x(w) = -2*w - 7. Let o be x(-4). Let h(s) = 1945*s**3 - 2*s + 2. Is h(o) prime?
False
Let u be (-4)/34 + 17508/(-17). Is 18/(-81) - u/18 a prime number?
False
Let u(t) = -t**3 + 14*t**2 + 23*t + 25. Is u(13) prime?
False
Suppose 0 = 3*u - 5*u + 2. Suppose -u = -2*c + 5. Suppose c*v - 102 = 75. Is v prime?
True
Let r(k) = k**2 - 3*k - 3. Let f(h) = h - 1. Let g(b) = -6*f(b) + r(b). Let q be g(9). Suppose -102 = 3*a - 5*a - o, -3*o + 147 = q*a. Is a prime?
True
Suppose 2*q + 44 = 54. Suppose -1224 + 5579 = q*w. Is w composite?
True
Let m(z) = -3*z**3 - 7*z**2 - 7*z - 26. Is m(-9) a prime number?
True
Let c(m) = -2*m**3 + 9*m**2 - 8*m - 3. Let t be c(3). Is -3 + 3/6*t + 34 prime?
True
Suppose 4*v = -d - 2926 + 10809, 5*v = 3*d - 23581. Is d a composite number?
False
Let r be -2 + 1*(-21338)/(-1). Suppose -r = -2*v + 3350. Is v a composite number?
False
Let d = 217 + -150. Let r = d - -51. Is r a prime number?
False
Is (-210)/147 + 155493/21 a composite number?
True
Let l(y) = -3*y**2 - 7. Let z(k) = -k**2 + 9*k - 12. Let o be z(8). Let p be l(o). Let q = p + 92. Is q prime?
True
Suppose k - 111 = s, 3*k + 5*s = k + 187. Is k a prime number?
False
Suppose 0 = 2*r - 5*q - 3 - 3, -5*r = 5*q - 15. Suppose -r*g + 5*c = 7, 0 = g + c - 6*c + 19. Is (-2)/(g/45*-1) composite?
True
Let h = 12257 + 806. Is h prime?
True
Let n = 60 + -64. Let p(y) = 32*y - 40*y - 1 - 65*y. Is p(n) a prime number?
False
Let w = -30 + 33. Suppose 0 = w*t - 7*t. Suppose t*b - 48 = -b - 3*h, 0 = 5*b - 5*h - 300. Is b a prime number?
False
Let a = 8 - 4. Let t = -136 - -139. Suppose -t*s - 49 = -n + a, 212 = 4*n + 2*s. Is n composite?
False
Suppose 0 = -14*a + 9*a - 15. Let t = a + 7. Suppose 4*d = 4*i - d - 280, 0 = 4*i + t*d - 244. Is i prime?
False
Suppose -1656 = -3*y + 3*z, 4*y - 3*z + 1129 = 6*y. Is y prime?
True
Is ((-6)/3)/(4 + -9)*51295 a composite number?
True
Let t(v) = -821*v + 32. Is t(-7) prime?
True
Let h = 5 + -5. Let u be 10/((-4)/22 + 168/77). Suppose h = s + u*s - 2586. Is s composite?
False
Suppose -4012 = -4*l + 5*g, 3*l + 4012 = 7*l + 2*g. Is l composite?
True
Let s(t) = 5*t**2 + 5*t. Let w be s(-2). Suppose -m + w = 4*m. Is (-31)/(4/m + -3) composite?
False
Suppose 12*a + 2385 = 15*a. Let u = a - -862. Is u a prime number?
True
Let t = 59 + -57. Suppose d + t*d - 13645 = 2*j, 3*j + 4553 = d. Is d a prime number?
True
Let z(g) be the second derivative of g**5/20 - g**4/2 - 3*g**3/2 + 7*g**2/2 - 2*g. Is z(9) composite?
True
Let a(q) = 8919*q**2 + 3*q - 2. Let s be a(1). Suppose -5*h - 3*h + s = 0. Is h a composite number?
True
Let w be 2/2*-1 - (-567 - 2). Suppose -4098 = -2*h - w. Is h prime?
False
Suppose -953115 + 306270 = -87*f. Is f composite?
True
Let t(g) = 1311*g + 9. Let v(o) = -656*o - 5. Let f(s) = 4*t(s) + 7*v(s). Is f(1) prime?
True
Suppose 5*t + k = -2*k + 54, 5*k = 2*t - 3. Suppose t*j - 1965 = 4*j. Is j prime?
False
Let k(h) = 987*h**2 - 7*h - 19. Is k(-2) composite?
False
Let x = 317 + -119. Suppose 3 = -q - 5*j, 8*q - 5*q - 9 = 3*j. Suppose 2*p + 2*l = -q*l + 162, 5*l + x = 2*p. Is p prime?
True
Let b(p) = -272*p**2 - 3*p - 2. Let i be b(-1). Let a = -50 - i. Is a prime?
False
Suppose 4*o - 2*o = -3*y + 12, -5*o + 2*y + 11 = 0. Suppose -2*f + 0*f + 417 = 3*b, o*f - 636 = -b. Is f a prime number?
False
Suppose 2*x = -3*r + 6*x + 10036, -x = -4*r + 13390. Let h = r - 1501. Is h a composite number?
False
Let b(t) = 152*t**3 - t**2 - 9*t + 17. Is b(2) a prime number?
False
Let z(w) = 23*w**2 - 5*w + 19. Let y be z(-12). Suppose -635 = 4*j - y. Is j composite?
True
Let d(a) = 486*a - 9. Let u be d(-3). Let c = u - -2977. Suppose -5*b = 5*h - c, -b = 3*h - 0*b - 912. Is h a prime number?
False
Let p be (-27)/(-18)*12/(-9). Is (-24056)/(-28) + p/14 composite?
False
Suppose -10 = -5*b, -b = h + b. Is (-148)/(-1) + -7 + 8 + h prime?
False
Let c(m) be the second derivative of m**5/10 - 2*m**4/3 - m**3/3 + 3*m**2/2 + 5*m. Is c(8) a composite number?
False
Suppose 0 = 3*k + 3, y + y + 4*k - 68 = 0. Is 1 - 28/y - 1177/(-9) a prime number?
True
Let l(o) = o**2 - 1. Let a(t) = 3*t**2 + 2*t - 5. Let w(f) = -a(f) + 4*l(f). Let i be w(1). Suppose -3*y + 412 - 19 = i. Is y a prime number?
True
Suppose 2*o + 181247 = 13*o. Is o composite?
False
Suppose -18*a = -27*a + 135279. Is a prime?
True
Let z(s) = s**3 + 3*s**2 - 3*s - 1. Let l be z(-5). Let v be (-6)/(-3 - l/8). Let q(c) = -10*c - 3. Is q(v) a composite number?
False
Let s(v) = v**2 + v + 2. Let u be s(0). Suppose 2*f = -5*p - 3, -2*p = -5*f + 5 + u. Is 465/6*(f - -1) composite?
True
Suppose -2*u + 2753 + 31 = -5*j, -j + 1399 = u. Is u a composite number?
True
Let n(c) = 138*c**2 + 17*c - 3. Is n(2) prime?
False
Suppose 16*u = 24011 + 114821. Is u a composite number?
False
Suppose 8*x = 11 + 165. Is x composite?
True
Let z be ((-70)/25 + 2)*-1635. Let o = z - 466. Is o prime?
False
Let n(l) = 22*l + 12301. Is n(0) a composite number?
False
Suppose 7 = 2*c - u, -c - c + 16 = -4*u. Is ((-124)/(-6))/(c/33) prime?
False
Suppose 0 = 5*d - 5152 - 5983. Is d a prime number?
False
Let d(k) = -k**2 + 6*k + 17. Let c = 15 + -7. Let r be d(c). Let b(o) = 147*o**2 + 3*o - 1. Is b(r) prime?
True
Let d(m) = -4*m + 3 + 0*m**3 + m**3 + 0*m**3 + 5*m**2. Let i(s) = s**2 - 5*s + 5. Let y be i(5). Is d(y) prime?
True
Is (1 + -2)*2*52471/(-137) a composite number?
True
Let z = -93527 - -133980. Is z composite?
True
Suppose -a - 2 = -2*a. Suppose a = -2*g + 12. Suppose 80 + 208 = 2*h + g*r, 2*h - 296 = -r. Is h composite?
False
Suppose 3*k - k + 12 = -5*j, 4*k - 4 = -3*j. Is (9 - 5)*(-389)/j a composite number?
False
Let j = -129 - -133. Suppose j*a = 5*b - 0*a - 6741, 4*b + a = 5397. Is b a prime number?
False
Let g = 1 + 1. Suppose -g*t + 4 = -2. Suppose -t*v = -7*v + 1388. Is v composite?
False
Suppose 9*r + 13812 = 13*r. Is r a composite number?
True
Let d(q) = -1165*q + 230. Let b(y) = -106*y + 21. Let h(s) = -45*b(s) + 4*d(s). Is h(7) composite?
True
Let f(h) = h**2 + 6*h - 6. Let r be f(-8). Let c = r + -10. Suppose -o + c*o = -331. Is o a prime number?
True
Let f = 6248 - -5235. Is f composite?
False
Let r(g) be the second derivative of 11*g**5/10 - g**4/12 - g**3/3 + 9*g**2/2 + 38*g. Is r(4) prime?
False
Let o(i) = 38*i + 5. Let x(k) = 39*k + 5. Let t(s) = 6*o(s) - 4*x(s). Let h(z) = -36*z - 5. Let m(y) = 7*h(y) + 4*t(y). Is m(8) composite?
False
Let f = -32447 + 50740. Is f prime?
False
Let j = 1741 + 2861. Suppose q + j = 2*n, -2*q - 9210 = -4*n - 3*q. Is n prime?
False
Let c(r) = r**3 + 25*r**2 + 44*r + 35. Is c(-18) a composite number?
False
Let z be 5/(-25) - 671/(-5). Suppose -37 = -3*v + z. Is v composite?
True
Suppose 0 = -12*z + 7*z - r + 35256, 5*r = 3*z - 21148. Is z prime?
False
Let z(v) be the third derivative of v**4/24 + v**3 - 177*v**2. Suppose -p - 5*q + 32 = 0, -4*q + 13 = -0*p - p. Is z(p) a composite number?
False
Let l(a) = -a**3 + 8*a**2 - 6*a - 5. Let c be 1/3 - 200/(-30). Let i be l(c). Suppose i*n + 662 = 4*n. Is n a composite number?
False
Let z(x) = x**3 + 7*x**2 + 2*x. Let l be z(-5). Suppose 2*k - 5*t = -k - 42, -t = 3*k + 24. Let v = k + l. Is v a composite number?
False
Suppose -16916 = 22*z - 24*z. Is z prime?
False
Suppose 0 = 3*p - p + 8, 0 = 2*f - 3*p - 34. Let u(w) = -9*w + 14. Let m(z) = z - 1. Let c(h) = -6*m(h) - u(h). Is c(f) a composite number?
True
Let k(b) = -23*b**3 + 2*b**2 + b + 1. Let w be (6 - 7)/(2/4). Is k(w) a composite number?
False
Suppose -3*k + 3*p + 10662 = -2*p, -3*k + 10689 = 4*p. Is k a prime number?
True
Is ((-52)/(-39))/((-20)/(-40815)) a composite number?
True
Let n be ((-1)/(-2))/(2/(-4)). Let x be (n + -1)*8/(-4). Suppose -8*w + 652 = -x*w. Is w composite?
False
Let z(r) be the second derivative of 0 + 56/5*r**5 + 0*r**2 - 1/6*r**4 + 1/6*r**3 - 3*r. Is z(1) composite?
False
Let a = 6053 + -3276. Is a a prime number?
T