 w - 8. Is c(y) a composite number?
True
Let n(u) = -112*u**3 + 2*u**2 + u. Is n(-1) prime?
True
Is 839*6/(-6)*6/(-2) a prime number?
False
Let t be ((-7)/(-4))/((-4)/(-48)). Let w = t - -1. Is (1 - 0)/(2/w) composite?
False
Is (0 + (-3)/(-6))*106 prime?
True
Is (((-88)/(-12))/(-11))/((-2)/435) a composite number?
True
Suppose -4*h - 2*a = -0*a - 4, -11 = 3*h + 5*a. Suppose -5*y = h*u - 2*u - 50, -2*u = 2*y - 116. Suppose -4*d - 2*n = -70, 5*d + 2*n - u = 29. Is d prime?
True
Suppose -m - 421 = 5*v, -m + 2*v = -2*v + 430. Let z = 613 + m. Is z a composite number?
True
Let n(r) = -75*r + 9. Let j be n(-10). Let c = -542 + j. Is c composite?
True
Suppose 0*b - 2086 = -2*b. Is b a composite number?
True
Let g be ((-32)/40)/((-1)/(-40)). Is (-1)/4 + (-7464)/g a prime number?
True
Suppose 2*d - 3*m = 723 + 944, 4*m = 4. Suppose -4*r + 2*v + d = 175, -3*v - 656 = -4*r. Suppose 5*g - 428 = r. Is g a composite number?
True
Suppose -34*t = -37*t + 2994. Is t prime?
False
Suppose 0 = -3*t - 0*t + 5*d - 9, -4*t = 3*d - 17. Let s(i) = i**3 - 1 - 4*i**2 + 2*i**t + 9*i**2. Is s(-6) prime?
False
Let t(i) = -i**3 + i + 6. Suppose 0*j + 2*j = 2*y + 14, -y = j - 3. Let f be t(j). Is (-1)/(-2*(-3)/f) a prime number?
True
Suppose -3*g + z - 6 = -16, 8 = 2*g - 2*z. Suppose g*f - 328 = 119. Is f a composite number?
False
Suppose -f = -5*y + 656, -y + 0*y + 136 = -5*f. Is y a composite number?
False
Let m(y) = 9*y**2 - 22*y + 18. Let k(w) = -5*w**2 + 11*w - 9. Let l(i) = -7*k(i) - 4*m(i). Let a be l(6). Let n = 70 - a. Is n composite?
True
Let j = -34 + 65. Suppose -z - j = -2*z. Is z prime?
True
Let r = -914 + 1881. Is r composite?
False
Suppose -2*b = -4*b + 116. Suppose 0 = -d + 153 + b. Is d a composite number?
False
Let z(d) = d**3 + 1. Let x be z(-1). Suppose -2*k - 5*m - 5 = x, -3*k - 3 = 4*m + 1. Is (1/(-1) + k)*-19 a composite number?
False
Suppose 0 = 5*m, 3*n + 2*m = 4 + 8. Let i = -13 - -18. Suppose -c = -4*a - 99, n*a + 185 = i*c - 278. Is c a composite number?
True
Suppose i - 2*i + 804 = 0. Suppose -n - i = -5*n. Is n prime?
False
Is -571*1*(1 + -3 - -1) prime?
True
Let f = 5 + -13. Is 4*(-2)/f + 45 a prime number?
False
Is 139 + 10/((-15)/(-3)) a prime number?
False
Let i = 5 - 0. Suppose -i*u + 79 = h, 5*u + 0*u = -3*h + 87. Is u composite?
True
Let g = 6 + -2. Suppose -136 = -0*q - g*q. Is q a composite number?
True
Let s be 64/20 - 1/5. Suppose -y - 440 = s*y. Is y/(-2) - (-4)/(-2) a composite number?
False
Let t(u) = -51*u + 5. Let p be t(-5). Is (6/12)/(2/p) prime?
False
Let p(t) = -t**2 + 4*t + 1. Let k be p(4). Let m = k - -34. Is m composite?
True
Suppose -2*v = 4, 2*v + 1786 = 4*u + 7*v. Is u a composite number?
False
Let t be (1 + 1)/((-4)/(-10)). Suppose -5*i = t*m + 11 + 49, -2*i + 26 = -3*m. Let y = 16 - m. Is y a prime number?
False
Is (2/(-6))/((-1)/9) a prime number?
True
Is -3 - (-51)/((-3)/(-1)) prime?
False
Let b be -1 - (1 + -257 - -2). Suppose 3*l + 52 = b. Is l composite?
False
Let z = 1138 - 401. Is z a composite number?
True
Suppose 30 = 3*x - x + 2*m, 5*x - 73 = -4*m. Suppose -4*g - 4*d = 44, 0 = -3*g - g - 5*d - 45. Let s = g + x. Is s a composite number?
False
Let q be 5/((5 - 3)/14). Suppose 4*f + q = 5*f. Is f composite?
True
Let g = 5 - -9. Let t = -26 + 95. Let w = t - g. Is w composite?
True
Let g(k) = 2*k + 5 - 1 - 1. Is g(8) prime?
True
Let q(n) = 184*n**2 + 6*n + 7. Let r(u) = -184*u**2 - 7*u - 8. Let w(f) = 7*q(f) + 6*r(f). Is w(1) composite?
True
Suppose 4*t = 2*t. Suppose 4*y - 16 = t, 4*y + 124 = 3*m - y. Suppose -h + 3*s = -28, 0 = -3*h - 0*s - 3*s + m. Is h prime?
True
Let g(r) = r**2 + 4*r - 1. Is g(12) a composite number?
False
Suppose 0 = 3*k - 0*w + 5*w - 242, 3*w = 2*k - 155. Is k a composite number?
False
Let k = -10 - -14. Suppose -3*d - 5 = 2*d. Is ((-26)/4)/(d/k) a composite number?
True
Let s be 3*(-3)/9 + 0. Is (s + (-8)/(-12))*-3171 composite?
True
Let d(j) = -2*j - 4 - j**2 + 0*j**3 + 0*j + 0 + 4*j**3. Is d(3) a composite number?
False
Let x(j) = 10*j + 53. Is x(24) prime?
True
Let g(a) = a**3 - 6*a**2 + 5*a + 3. Let h be 4/((-2)/(-9)*3). Is g(h) composite?
True
Suppose -2*s - 86 = -4*s. Suppose -s - 267 = -2*z. Is z composite?
True
Suppose -2*o + 316 = -6*o. Let g = -56 - o. Is g prime?
True
Is -5 + -6 + 11 + (1 - -492) composite?
True
Let j be (-86)/(-18) + 8/36. Suppose -j*k + 205 = 3*p - 237, 3*p - 2*k - 449 = 0. Is p prime?
True
Suppose 5*h - g - 5 = -3*g, -2*h - 9 = 3*g. Let x(v) = -1 - 5*v + 8*v**2 - v + v**h + 0*v**3. Is x(-8) a prime number?
True
Let g = -283 - -465. Let c = g + -107. Suppose -3*i = -0*i - c. Is i composite?
True
Suppose 0 = 3*p - 0*p. Suppose -w - 4*w + 720 = p. Is w/14 - 8/28 a composite number?
True
Let h be 6/(0 - 6/(-20)). Suppose -h = -0*c - c. Let w = c - 13. Is w composite?
False
Let f(k) = k**3 + 6*k**2 + 3*k + 2. Let q be f(-5). Is (-4)/q - 274/(-3) a prime number?
False
Suppose 3*q - 28 = 2*y, 3*y = -3*q + 1 + 2. Let i(f) = -f**3 + 12*f**2 + 5*f - 10. Let n be i(12). Suppose 0 = q*p - p - n. Is p composite?
True
Let t(q) = 114*q**2 + 2*q - 1. Is t(4) prime?
True
Let y(r) = 4*r**2 + 6*r + 5. Let a be y(-5). Let d = a + 52. Is d a composite number?
False
Suppose -4*h + 3*p = -0*h - 3362, 0 = -2*h - 2*p + 1674. Is h a prime number?
True
Suppose 4*f + f - 4195 = 0. Is f a composite number?
False
Suppose 0 = -5*j + t + 2091, 0*j + 2*j + 2*t = 846. Is j prime?
True
Let u(j) = j - 5. Let d be u(7). Suppose 3*w - d*w - 37 = 0. Is w prime?
True
Let l(g) = -4*g**3 - 2*g**2 - g + 4. Let f(r) = -17*r**3 - 8*r**2 - 3*r + 16. Let a(j) = -2*f(j) + 9*l(j). Is a(-3) a prime number?
False
Suppose -o + 2*p + 797 = 2*o, -4*o = -2*p - 1062. Is o a composite number?
True
Let c be (6/2)/(-4 - -5). Suppose 2*j - 1 = c. Is (2 + -120)/(j*-1) a composite number?
False
Suppose 0 = -5*u + 10 + 5. Suppose u*b - 236 = -b. Is b a composite number?
False
Is ((-9)/(-6))/((-6)/(-7864)) prime?
False
Let p = 3278 - 1897. Is p prime?
True
Suppose 4*w - 31412 = -4*b + 6*b, 4*w - 31404 = 4*b. Is w a composite number?
True
Suppose 3*o + 3*l = -l - 846, 557 = -2*o - 5*l. Let b = o - -113. Let s = -120 - b. Is s a composite number?
False
Let t be (-10)/4*4/5. Is -223*((-1 - t) + -2) prime?
True
Suppose -b - 1 - 6 = 0. Suppose 0*t + 4*t - 60 = 5*o, -3*o - 2 = t. Let y = t + b. Is y prime?
True
Suppose -5*m - 1 = -3*u, 0*m + 3*u + 11 = -m. Let g be (74 - (2 - 4))*-1. Is (m + -1)*-1 - g composite?
False
Let z(c) = -c + 33. Suppose -2*v = 2*v. Is z(v) a prime number?
False
Suppose -t - 1 = -2. Let j(r) = -44*r**2 + 2*r - 1. Let v be j(t). Let i = v - -89. Is i composite?
True
Let l be (-2)/4*-2*4. Suppose z = l - 1. Let f = 6 - z. Is f prime?
True
Let q be 3 + (-2 - 0) + 318. Let c = -12 + q. Is c a prime number?
True
Let l be (-5 - 0)*(-66)/10. Let s = 3 + 0. Suppose -s*h + l = -0*h. Is h a prime number?
True
Let n be -1 - ((2 - -1) + -4). Suppose -2*f = 5*s - 42, n*f = 2*f + 2*s - 30. Is f composite?
False
Let z be (-5)/5*(2 - 2). Suppose z = -6*g + 2*g + 1796. Is g a prime number?
True
Suppose 2*d = -d - 12. Is 2*((-42)/d)/1 a prime number?
False
Is 6/(-12) + (46035/(-6))/(-3) composite?
False
Suppose -2*c + 97 = 5*v + 28, 2*c - 43 = -3*v. Is v a prime number?
True
Is (4 - 5)*-21 + 0 a composite number?
True
Let a be 2/(-9) + 114/27. Let g(h) = -4 - 1 - a*h - 14*h + 4. Is g(-3) a composite number?
False
Let g be (2/2)/((-2)/(-266)). Suppose -w + 3*y + g = 0, -5*w = -3*w + 4*y - 306. Is w a composite number?
True
Let r(t) = t + 10. Let p be r(-7). Let j(l) be the first derivative of l**4/4 - l**3 + 3*l**2/2 - 3*l + 1. Is j(p) a composite number?
True
Let x = 1 - 9. Is (-1935)/(-12) - (-2)/x composite?
True
Let o(d) = 4*d**3 + d**2 - d - 1. Suppose -2*c - 3 = c. Let w be o(c). Is w/9 - 31/(-3) composite?
True
Let x = 4 + -1. Suppose 5*z - 98 = x*z. Is z prime?
False
Is (-5971)/(-28) - (-6)/8 a prime number?
False
Let l = 307 + -50. Is l a composite number?
False
Let g(c) be the second derivative of 5*c**3/3 - 3*c**2/2 + 6*c. Is g(7) a composite number?
False
Let c = 3116 - 1771. Is c composite?
True
Suppose 4*v + v - 2*d = 85, 85 = 5*v + d. Suppose -5*a - 4*b = -v, b + 0*b + 12 = 2*a. Suppose 0 = -5*p + 4*i + 283, a*p - 228 = p + 4*i. Is p a prime number?
False
Let r be 18/(-45) + (-2)/(-5). Suppose r