ite number?
True
Let o(u) = 31*u**2 + 5*u + 8. Let k be o(-3). Let n be -1 + 7 + -1 - 1. Suppose -w + 4*w = n*j - 271, -4*j = -4*w - k. Is j prime?
True
Suppose -16704 = -9*r - 5643. Is r a composite number?
False
Let a = -155 - -261. Is a a prime number?
False
Suppose 0*l = 4*l - 392. Let y = 349 - l. Is y a prime number?
True
Let f(z) = -z**3 + 8*z**2 + 11*z - 5. Is f(8) composite?
False
Suppose -2*x + 4 = 0, -4*g + 5*g - 67 = 5*x. Is g a composite number?
True
Let r = -66 + 119. Is r composite?
False
Let p(r) = -4*r**2 - 3*r**2 - 9*r - r**3 - 3*r**2. Let n be p(-9). Suppose n*t + m = -4*t + 200, -3*t + 127 = -5*m. Is t composite?
True
Suppose 195 = -4*r + 815. Is r composite?
True
Let j be 2/(-10) - (-21)/5. Suppose 0 = -2*f + g - 16, 0 = f - 2*g + 3*g + 2. Is (-1808)/24*f/j a prime number?
True
Let u(h) = -h**3 - 2*h**2 - 3*h - 3. Let t be u(-2). Suppose 2*n = -t*n + 155. Is n prime?
True
Let p(h) = -32*h - 1. Let a(c) = c**2 - 8*c + 1. Let y be a(8). Let f(z) = -5*z**2 + z. Let x be f(y). Is p(x) prime?
True
Suppose -5*q = -21 - 4. Suppose -5*l + 5 + q = 0. Suppose 0 = 3*z + 3*y - 102, 3*y = -5*z + l*y + 166. Is z a composite number?
True
Let n(x) = -19*x + 1. Let g = -10 - -16. Suppose 12 = -g*y + 3*y. Is n(y) composite?
True
Let l(c) = -159*c + 6. Let s(d) = -80*d + 3. Let g(j) = 3*l(j) - 5*s(j). Is g(-2) a prime number?
True
Let x = 110 + -25. Let h = -48 + x. Is h composite?
False
Let j = -314 + 586. Let i = j - 145. Is i a prime number?
True
Let v be (-5)/((-5)/6) + -3. Suppose -3*f + l = -f - 221, -v*f + 314 = -5*l. Is f a composite number?
False
Let n(h) be the first derivative of -h**2/2 - 6*h + 2. Suppose 3*r = -15, t = 2*r - 1 + 3. Is n(t) a composite number?
False
Is 2464/3 - (-10)/(-30) composite?
False
Let t(k) = k**2 - 10*k + 16. Is t(9) composite?
False
Let z = 6 + -6. Suppose z = r - 16 - 75. Is r a prime number?
False
Let z be (184/12)/((-2)/9). Let q = 370 + z. Is q a composite number?
True
Suppose 0 = -2*c - 910 + 3152. Is c prime?
False
Let d(x) = 10*x - 1. Let h be d(3). Suppose r + h = -0*r. Let w = 60 + r. Is w a composite number?
False
Suppose 2*t - 130 = -3*t - 2*p, 0 = -t + p + 19. Suppose 121 - t = 3*c - 4*s, 3*c - 5*s - 95 = 0. Is c prime?
False
Suppose -23*r + 20*r = -2118. Is r a composite number?
True
Suppose 3*b + 8 = 2, -8 = j + 4*b. Let k = 65 - j. Is k composite?
True
Let t(o) = 2*o**2 + o - 2. Let n be t(-2). Suppose u = n*w - 2*w + 66, u - 4*w - 76 = 0. Let s = u - 23. Is s prime?
False
Suppose 4*t - 3*d - 719 = 0, -4*d + 899 = 5*t - 8*d. Let r be 3/(3/86) - 1. Let n = t - r. Is n prime?
False
Let q(p) = 22*p**3 + 6*p + 1. Let s(i) = -65*i**3 - 17*i - 3. Let j(z) = -17*q(z) - 6*s(z). Let f be j(-1). Let l = f + 86. Is l a prime number?
True
Suppose 0 = -3*o + 4*o - 8. Suppose 3*s - 19 = 2*j - o, -4*s = -12. Is (-28)/(-16)*(j - -93) a prime number?
False
Let u = -5 - -3. Let g = 4 + u. Suppose g*c - 75 = -3*c. Is c a composite number?
True
Let c(t) = t**3 + 4*t**2 + 3*t + 2. Let x be c(-3). Suppose -3 = -5*w + x, w + 82 = z. Is z a prime number?
True
Suppose -5*d + 24 = 4. Suppose 0 = -2*w - w. Suppose -4*p = -d*a - 616, p + w*a = 4*a + 169. Is p a composite number?
False
Let f(l) = 9*l - 3. Let t be f(-3). Is (-7056)/t + (-1)/5 a composite number?
True
Suppose -3*w = -5*v + 3 - 0, -4*v = 5*w - 32. Let x be (6/3 - v)/1. Is 5 + 2 + x + 1 composite?
False
Let l(j) be the first derivative of 5*j**3/3 + 5*j**2/2 - 5*j - 6. Is l(-6) composite?
True
Suppose -24 = -2*q + 2*r, 3*q + 4*r = -0*q + 50. Suppose -x - 16 = -5*x. Suppose -3*f - q = -x*f. Is f a prime number?
False
Suppose 373 + 12 = g - 4*i, 4*i = -g + 393. Is g a composite number?
False
Is (-1)/2 - (-126)/4 composite?
False
Let k be -1 + (-18)/(3*-1). Suppose 0 = -4*p - k*h + 57, -41 + 3 = -3*p + h. Is p composite?
False
Is (-1114)/(-6) + (-8)/(-6) a prime number?
False
Let w(a) = -a**3 + 9*a**2 - 7*a + 1. Is w(6) composite?
False
Suppose 0 = -5*n + 3*l + 2348, 0 = 3*n - 0*n - 4*l - 1411. Is n a composite number?
True
Let w(z) be the third derivative of -29*z**6/24 + z**5/60 + z**4/24 - 3*z**2. Is w(-1) a prime number?
False
Suppose -5 = -2*i + 5. Suppose 0 = 5*d - i*o - 495, 3*d = -0*o - 3*o + 309. Suppose d = 2*b - 65. Is b composite?
False
Let c(b) = -b**2 + 7*b - 7. Let z be c(7). Let w(a) = -94 + 102 + 3*a**2 - 8*a + 0*a**2. Is w(z) a composite number?
False
Let u = 404 + -105. Suppose -f - 2*t - 2*t + u = 0, 0 = -5*f + t + 1537. Is f a composite number?
False
Suppose 5*j - 2*p - 1249 = 0, 2*j + p - 511 = -2*p. Let z = 436 - j. Is z a prime number?
False
Suppose -2*m - 2*m = -2*i + 8, -2*i = -2*m - 10. Let u = 29 + i. Is u a composite number?
True
Suppose 3*b = 5*b - 158. Suppose -127 = -4*l - 3*s, -4*l = -4*s - 199 + b. Is l a prime number?
True
Suppose -3*b + 9 + 3 = 0. Suppose 3*s - 732 + 79 = -b*c, -c = 4. Is s composite?
False
Suppose -139 = 4*c + 109. Let r be c/(-10) - 1/5. Suppose -p + r*p - 50 = 0. Is p prime?
False
Let o be ((-5)/3)/(2/3 + -1). Suppose 9 + 1 = -2*z. Is (6/z)/((-1)/o) composite?
True
Suppose -3*r - 9*r + 1020 = 0. Is r a composite number?
True
Let t(y) = -13*y**2 + 2*y - 1. Let k be t(2). Let c = -34 - k. Is c a composite number?
True
Let k = -6 - -15. Let m(d) = 3*d**2 + 2*d - 10. Is m(k) a prime number?
True
Suppose -3*s = 2*d - 171 - 134, 5*s = -15. Is d prime?
True
Let p = -12 - -329. Is p prime?
True
Let i(h) = 6*h + 23. Let j(s) = 4*s + 15. Let l be (3/(-3))/((-1)/(-5)). Let p(b) = l*i(b) + 8*j(b). Is p(8) composite?
True
Suppose 0 = 5*o - 2*o - 12. Let w = 7 - o. Suppose 0 = 2*v + 4*l - 126, w*v = -l + 3*l + 213. Is v composite?
True
Let x(v) = -16 + v + 0*v + 4*v**2 - 4*v. Is x(-7) prime?
False
Let i(w) = -133*w + 22. Is i(-7) prime?
True
Suppose -10 - 2 = -2*f. Let k(g) = g**2 - g + 13. Let b(o) = -1. Let x(d) = f*b(d) + k(d). Is x(0) a prime number?
True
Let m = 7 + -5. Suppose m*y - 6*y = -232. Is y a composite number?
True
Let p(h) = -h**2 + 5*h + 2. Let k(u) = -u**2 + 4*u + 1. Let a(g) = -5*k(g) + 4*p(g). Is a(-4) prime?
True
Let j(y) = -1598*y - 11. Is j(-3) a prime number?
True
Suppose 2*p + 4*l - 7 = 23, -5*p + 57 = l. Let x = p + -8. Suppose -2*j = x*j - 175. Is j prime?
False
Is 21592/24 - (-2)/(-3) composite?
True
Let x(y) be the first derivative of -3*y**4/4 + y**3/3 + y**2 + 2*y - 4. Is x(-2) a composite number?
True
Let j = 2375 + -1314. Is j prime?
True
Is ((-16)/((-192)/(-90)))/(1/(-2)) a composite number?
True
Suppose -4 = c - 2*d, -3*d = c - 6*d. Let u be -15*2/(c/2). Suppose u*p - 30 = -0*p. Is p a prime number?
False
Let p(q) = -3*q**2 - 11*q - 4. Let r(o) = 3*o**2 + 11*o + 5. Let n(f) = 6*p(f) + 7*r(f). Is n(-8) composite?
True
Let l = 5 - 2. Suppose 0 = -l*w + 3, w + 273 = 4*i - 306. Is i prime?
False
Let w = 4 + -2. Suppose 0 = 3*r - w*v - 74, -r + 2*v + 18 = -0*v. Let k = -14 + r. Is k a composite number?
True
Let k = 1285 - 879. Let t = k + -147. Is t a prime number?
False
Let h be -1 - 2/((-6)/423). Let d = h - -135. Suppose 0 = 2*g + 3*g - d. Is g a composite number?
True
Let d(t) = -t**3 - 5*t**2 + 4. Let x be d(-5). Suppose -22 + 100 = 3*c - 3*b, 5*b = -c - x. Is c prime?
False
Is (1 + -3)*51/6*-5 composite?
True
Let p(k) = -103*k + 1. Let t be p(-1). Suppose -t - 7 = -3*x. Is x prime?
True
Let t(f) = -4*f**3 - 3*f**2 - 4*f - 3. Suppose -2*v = 4*q - 16, -3*v + 5*q + 12 = -1. Let m = 4 - v. Is t(m) composite?
True
Let h(t) = 32*t**2 + 4*t - 11. Is h(-6) prime?
True
Suppose 1262 = 6*y - 148. Is y a prime number?
False
Let r be (-36)/(-10) - 4/(-10). Suppose 0 = -2*v + r*m + 454, -147 = 4*v - 2*m - 1043. Suppose -4*f = 5*g - 465, -2*f + 12 + v = 5*g. Is f a composite number?
True
Let v(l) = -l**2 - 8*l - 6. Let o be v(-6). Suppose -o*t + 436 = -278. Is t prime?
False
Suppose -5*s = 3*b - 31, -5*s + 8 = -4*b - 9. Suppose s*o - 355 = 5*x, -3*o + 3*x = -6*o + 189. Is o prime?
True
Suppose 7*t - 6*t = 2. Let u(a) = 4*a - 1. Let m be u(-2). Is t - 1 - (m + 3) a prime number?
True
Suppose 4*j = 357 + 159. Let q = j - 71. Is q composite?
True
Suppose -5*o = -3*h - 15, h + 20 = 4*o - 3*h. Suppose o = -3*l + 27. Is l a composite number?
True
Is (-1934)/(-3)*(-45)/(-30) composite?
False
Let z(j) = -j**3 + j**2 + j + 106. Suppose -9 = 4*d - 0*n - 3*n, -n = -3*d - 3. Is z(d) prime?
False
Suppo