ose -6*w = -982 - 2072. Is w prime?
True
Let t = -1409 + 2466. Is t composite?
True
Let p = -294 + 425. Is p a prime number?
True
Let w be ((-6)/7)/(3/(-14)). Suppose -w*d = -1758 - 4990. Is d a composite number?
True
Suppose 0 = 4*w + w + 400. Let h = -14 - w. Let g = 31 + h. Is g prime?
True
Let z(n) be the second derivative of -7*n**5/120 - n**3/3 - n. Let i(v) be the second derivative of z(v). Is i(-3) composite?
True
Let c(j) = -342*j + 1. Is c(-2) composite?
True
Let k(o) = -o**3 + o**2 + o + 1. Let d be k(-1). Let j be (d + -1)*(-204)/(-6). Suppose -3*p + j = -44. Is p a composite number?
True
Suppose -w + 2*b + 0*b = -951, 4*b = -4*w + 3828. Is w a prime number?
False
Let c = -15 + 17. Suppose x - 2*x + 107 = -c*j, -3*x = -j - 326. Is x a prime number?
True
Let p(a) = -232*a - 16. Let y be p(-10). Suppose -y + 543 = -3*g. Is g a composite number?
False
Suppose -184 = -4*y + 4*q, 3*y = -4*q + q + 126. Let h = 65 - 94. Let d = y + h. Is d composite?
True
Suppose -3*l + l = -60. Let g be 792/5 + (-12)/l. Suppose -4*m + 62 = -g. Is m composite?
True
Let t(i) = -2*i**3 - 5*i**2 + 8*i - 1. Is t(-6) composite?
True
Suppose -2*g + 3*z - 11 = 0, 3*g = -3*z + 8 + 13. Let u = g - 2. Suppose -k + u*k + 3 = 0. Is k a prime number?
True
Let a(v) = -v**2 - 11*v + 1. Let r be a(-11). Let l be -2*(r + 914/(-4)). Suppose 5*d - 2*p - l = 0, 4*p = 2*d + p - 193. Is d prime?
True
Is 3/(4430/(-2218) - -2) composite?
False
Is 6944/21 - (-2)/6 prime?
True
Suppose 2*r - c - 7 = 0, 0 = -4*r - c + 20 + 3. Suppose r*n - 2 = 8. Suppose -3*i - 78 = -2*p + i, -5*p + 243 = n*i. Is p prime?
True
Is 11154/4 - (1 - (-6)/(-4)) composite?
False
Let m(n) = 80*n - 1. Is m(1) a prime number?
True
Let m(q) = q**2 + 4*q + q + 1 + 0*q**2. Is m(6) prime?
True
Let d(x) = x**3 - 6*x**2 - 10. Let p be d(7). Suppose 300 = 3*t + p. Is t composite?
True
Suppose 2*m = -5*f + 706 + 2449, -f - 3*m = -631. Is f a prime number?
True
Let z(t) be the first derivative of t**4/4 + 4*t**3/3 - t**2 - 2*t + 4. Let j be z(-4). Is j/(-15) - 714/(-10) a composite number?
False
Let t(v) = -v**3 + 3*v**2 + 5. Let y be t(3). Suppose 0 = y*k + l - 9 - 14, 0 = 2*k + l - 11. Is k a composite number?
True
Let n = 24 + 10. Let v be (n/(-4))/(4/(-40)). Suppose -3*g + v = 7. Is g a composite number?
True
Let t = 119 - 76. Is t prime?
True
Let p(c) = 11*c**2 + 9*c - 31. Is p(13) a composite number?
True
Suppose 2*o - o - 4 = 0. Suppose 0 = -s + o*s - l - 69, -3*l - 23 = -s. Is s prime?
True
Suppose 3*z + 204 = q + 35, 0 = 4*z + q + 230. Let i = z + 200. Is i a composite number?
True
Let h be 1036/12 + 4/6. Let d = 160 - h. Let u = 176 - d. Is u composite?
False
Let d = 12 + -29. Let i = 9 - d. Is i composite?
True
Suppose f = 4*d - 18, d + 3*d - 6 = -5*f. Suppose -d*q + 1 = -5*z - 1, -2*z = 5*q - 19. Is -1 + q - (-5 + 0) composite?
False
Let h(n) = -n**3 + 10*n**2 - n + 12. Let p be h(10). Is (4 - 5)/(p/(-46)) a composite number?
False
Suppose -f - 43 = 3*w + 4*f, 20 = -4*f. Let x(d) = -d**3 - 4*d**2 - d + 1. Is x(w) composite?
False
Let j = 848 - 453. Is j prime?
False
Let q(b) = 13*b**2 + 2. Suppose -3*k = 3*k - 18. Is q(k) a prime number?
False
Let a = 161 - 70. Is a a prime number?
False
Let i be (-16)/6*(-78)/(-4). Let n = i - -109. Is n a composite number?
True
Let o(g) = 29*g - 5. Is o(4) prime?
False
Suppose -2*x + 1111 = -d, -5*x + 1364 = -3*d - 1412. Is x composite?
False
Let k(z) be the second derivative of -z**6/120 + 7*z**5/60 - z**4/4 + z**3/2 - z**2/2 - 2*z. Let l(w) be the first derivative of k(w). Is l(5) composite?
False
Suppose -h - 74 = -3*h. Is h prime?
True
Let u(y) = 32*y - 3. Let l be u(4). Suppose l = 5*a - 140. Is a a composite number?
False
Let i(f) = -f + 1. Suppose -2 = -0*m + m. Let u be i(m). Suppose 3*h = 4*g - 40, g + u*h + 47 = 6*g. Is g prime?
True
Suppose -58 = 2*r - 3*r. Suppose g - r - 11 = 0. Is g prime?
False
Is 0 - -258 - (-4 - -5) a prime number?
True
Let j be -1795 - (3 - 2)*-1. Is 1/(-3) + j/(-9) a prime number?
True
Let g = 47 - -71. Suppose 4*f - a + 5*a - 104 = 0, 2*a - g = -5*f. Let j = f - -1. Is j a composite number?
False
Suppose 2*b = -3*q + 1895, 5*b + 2*q - 1105 = 3638. Is b prime?
False
Let n(j) = -18*j - 2. Let u be n(-4). Suppose 3*h + u = 5*h. Is h a prime number?
False
Let i = -4 - -6. Suppose -i*m + 25 = -m. Is m composite?
True
Suppose 1561 = 4*s + u, -2*s - 5*u + 1940 = 3*s. Is s a prime number?
False
Suppose 0 = -2*q - 5*f + 413, -4*f = -3*q - 0*f + 585. Is q a prime number?
True
Let r(t) = -18*t + 7. Let m be r(7). Let i = 318 + m. Is i composite?
False
Let p(n) = -1687*n - 9. Is p(-2) a composite number?
True
Is (-11206)/(-10) + 10/25 a composite number?
True
Suppose 0 = -4*g + 121 + 19. Suppose g + 29 = -4*i. Let s = 27 + i. Is s composite?
False
Let j(p) = 7*p**2 - 9*p + 1. Is j(-8) composite?
False
Let m = -2 + 3. Let s be m/(0 + (-2)/422). Let w = -84 - s. Is w a composite number?
False
Is (6 - 3)/(-6) + 894/4 composite?
False
Let q(t) = 2*t**3 + 5*t**2 - 5*t + 3. Is q(4) prime?
True
Let r be 1/3*(-12)/(-4). Let i = r - -3. Suppose 4*m + i*w = 32, -4*m - 2*w + 50 = -4*w. Is m prime?
True
Suppose 0 = k + 1 - 3. Suppose -1 - 9 = -k*f. Suppose 10*n = f*n + 385. Is n prime?
False
Suppose -3*w = 3*p - 6*p - 1407, 5*p + 1876 = 4*w. Let o = w - 333. Suppose -5*u = -3*h - 169, -4*u + o = -0*h - 2*h. Is u a prime number?
False
Suppose z - 2302 = -z. Is z composite?
False
Is -3*((-912)/9 - 1) composite?
False
Suppose -4*o + 1837 = 2*a + 315, -2*a = 2*o - 764. Is o prime?
True
Suppose 2*r = -0*r + 12. Let s = r + -1. Suppose -73 = s*v - 558. Is v prime?
True
Suppose 3*g - 10 - 2 = 0. Let y(x) = 19*x + 1. Let m be y(g). Is (0 - m/4)*-4 a prime number?
False
Suppose 333 = -7*n + 4*n. Let t = -58 - n. Is t prime?
True
Suppose -2*u - 3 = -3*z, 0 = 2*u + 5*z - 14 - 7. Suppose -3*s = -s, 5*l = -3*s + 3345. Suppose 0*c = -u*c + l. Is c a composite number?
False
Let i(c) = c**3 - 2*c**2 + c. Let k be -1 - -3*2/3. Let q be i(k). Suppose q = 3*l + 3*h - 135, -2*l - 3*l - 4*h = -223. Is l composite?
False
Suppose -b + 6*b - 1728 = -4*m, -3*b + 12 = 0. Is m composite?
True
Let z = -4 - -4. Suppose 3 = 3*b + 3*m, z*m + 10 = 3*b - 4*m. Suppose -15 = -5*o + 5*r, 5*r = b*o + 1 - 4. Is o composite?
True
Let i be 12/10*(-14 - 1). Let h be 14/(-63) - 2740/i. Suppose j = -43 + h. Is j composite?
False
Is 3 - 0 - -79 - -1 a prime number?
True
Let f(s) = s**3 - 8*s**2 + 2*s - 12. Let r be f(8). Suppose -r*y = y - 55. Is y a prime number?
True
Suppose -3*m = 2*m. Let t(n) be the second derivative of n**3/6 + 109*n**2/2 + 3*n. Is t(m) composite?
False
Let j = 7 - 4. Suppose j*a - 451 = -5*q, q + 10*a - 97 = 6*a. Is q a composite number?
False
Let f = -239 - -562. Is f prime?
False
Let g(x) = 3*x**3 + 5*x**2 - 8*x - 5. Is g(7) prime?
True
Suppose 5*d = 27 + 78. Suppose -4*l - 4*r + 3 = -1, 5 = 5*r. Suppose -t = -l*t - d. Is t a composite number?
True
Let r = 1 + -1. Let y = 13 + r. Is y a prime number?
True
Suppose 2*r - 64 - 135 = 3*q, r - 4*q = 107. Suppose b - r + 32 = -3*x, 3*x = 5*b + 81. Suppose u - 9 - x = 0. Is u a composite number?
False
Let a(f) = -5*f - 8. Let z(g) = -g. Let n(d) = -a(d) + 4*z(d). Is n(-5) composite?
False
Suppose 0 = l - 2*l + 91. Is l a prime number?
False
Suppose 4*y - 2*v - 3966 = 718, -4*v = 4*y - 4696. Is y/12 + (-4)/6 composite?
False
Let d(b) = 5*b**2 + 1. Let h be d(1). Is 42/(h/3 - 0) a composite number?
True
Suppose 20 = 2*m + 2*m. Suppose m*i - 8*i + 789 = 0. Is i a prime number?
True
Let r(h) = -8*h**2 - 3*h + 4. Let t be r(5). Is 0/2 + t/(-1) a prime number?
True
Let l(k) = k**3 + k**2 - k - 4. Let z be l(-4). Let r = z - -12. Is ((-2)/2)/(6/r) a composite number?
True
Let x be (-794)/(-9) - 2/9. Suppose -2*o = -26 - x. Let i = o - 35. Is i a prime number?
False
Let h be ((-1)/2)/((-1)/14). Let v = 2 - h. Let o(b) = -3*b + 4. Is o(v) composite?
False
Let k be (-5)/(-2)*(2 - 0). Suppose -k*w + 2*w = -651. Is w a prime number?
False
Let c(k) = -k**2 + k - 1. Let i be c(1). Is -8 - -5 - (-131 - i) composite?
False
Let d(z) = -z**2 - 6*z + 1. Suppose 4*l - l = -15. Let a be d(l). Let u(y) = y**2 - 2*y + 2. Is u(a) a composite number?
True
Let z(c) = -4*c**3 + 4*c**2 - 4*c + 8. Let x be z(7). Let r = -823 - x. Is r a composite number?
F