*a**3 - 2*a**2 - 2. Is x(5) composite?
True
Let q(c) = 4*c + 4*c**3 - 5 - 2*c - 6*c**2 + 3*c**2 - 5*c**3. Let x = 5 - 11. Is q(x) composite?
True
Is (-1)/4 + 6885/36 composite?
False
Suppose -17*z = -3498 + 319. Is z composite?
True
Let y = 2352 - 19. Is y a composite number?
False
Is 1774/(-3)*(-3)/2 prime?
True
Suppose -3*w + 19730 = 2*w. Is w composite?
True
Suppose 6 = -3*f - 0*f. Let l(h) = h**3 + 3*h**2 - 5*h - 8. Let k be l(-6). Is (5 - k)*(-1 - f) prime?
False
Let r(y) be the first derivative of -y**3/3 + 3*y**2/2 + 4*y - 3. Let i be r(4). Suppose 3*q - 4*l - 253 = i, 5*q = -0*q - 3*l + 412. Is q a composite number?
False
Suppose 6*o - 2*o - 4 = 0. Let r(k) = -18*k**2 + 2*k. Let s be r(-2). Is (21/(-12))/(o/s) a composite number?
True
Let j(w) = -147*w + 44. Is j(-7) a composite number?
True
Suppose -22 = -n + 3*h - 7*h, h - 3 = n. Suppose 0*o + p - 53 = -n*o, 0 = -o - 2*p + 31. Is o composite?
True
Suppose -556 = -3*z + 395. Is z prime?
True
Is (92/8)/(-1)*-2 a composite number?
False
Let f(y) = -25*y**2 - 4*y + 1. Let g(i) = 8*i**2 + i. Let b(d) = 2*f(d) + 7*g(d). Let p(x) be the first derivative of b(x). Is p(2) composite?
False
Suppose s + 4*t - 243 - 2 = 0, -2*t + 241 = s. Is s prime?
False
Let n = -25 - -83. Let s = n + -24. Is (-18)/4*s/(-3) composite?
True
Is (-1 - -683) + 14/14 a composite number?
False
Let i be 2 - 0*(-1)/(-3). Suppose i*r = -0*r + 46. Is r composite?
False
Is 2/9 - (-23349)/(-27)*-1 composite?
True
Let k(w) be the third derivative of 31*w**4/4 - w**3/2 + w**2. Let u(d) = -62*d + 1. Let r(o) = -6*k(o) - 17*u(o). Is r(-3) composite?
True
Suppose -2*a + 108 + 338 = 0. Is a a composite number?
False
Let c(b) be the first derivative of 79*b**4/2 - 2*b**3/3 + b**2 - b - 1. Is c(1) composite?
False
Let b(z) = -24*z - 11. Is b(-2) composite?
False
Suppose -4*k = -p + 12, 2*k - k + 3 = -4*p. Suppose 0 = 4*s - p*s - 876. Is s prime?
False
Is 38*28/16*18/21 prime?
False
Suppose s - 4*s = 3*o - 708, 0 = o + 1. Suppose 3*k + 0 = s. Is k a prime number?
True
Let l = 46 - -97. Is l a composite number?
True
Suppose -u + 2*a = -4, 3*u + 12 = 6*u - 5*a. Suppose 46 = 5*x - 4*b, -x + b - 6 = u*b. Let o(z) = -z**2 + 12*z + 1. Is o(x) composite?
False
Let f be (-161 - -6)*(-4)/(-10). Let r = 111 + f. Is r a composite number?
True
Suppose 5*j - 5*p - 10 = 0, -j + 0*p - 3*p = 6. Let z(h) = h**2 - h + 53. Is z(j) a composite number?
False
Let l(y) = 204*y**2 + 1. Suppose -4 = 5*x + 1. Is l(x) a composite number?
True
Is (-584)/6*(-1 - 1/2) prime?
False
Let y(t) = -35*t - 12. Let g be y(-8). Let n = g - 162. Is n a prime number?
False
Suppose -3*z + 2*z = -797. Is z a prime number?
True
Suppose 2*s - s = 58. Let r = s + -36. Is r a composite number?
True
Let a = -26 + 63. Is a composite?
False
Suppose -2 = c - 6. Suppose -a - 3*o + 25 = 2*o, 2*o = c*a - 100. Is a a prime number?
False
Let a(c) = -c + 144. Let f be a(0). Suppose -j + 0*j - f = -2*m, -2*j = -3*m + 215. Suppose 3*b - 4*b = g - m, -5*g = -3*b + 187. Is b a composite number?
True
Is (2 + 433/3)/(4/12) a prime number?
True
Suppose -u - u - 4*c = -20, 3*u - 5*c + 14 = 0. Let m be (u - 3)/1 + 3. Suppose 4*w - 6 = -2*v + 16, 0 = -m*w - 10. Is v prime?
False
Suppose 0*x - 6 = 5*q - 3*x, 0 = 3*q + 3*x - 6. Suppose 2*u = -q*v + v - 8, 0 = 2*v + u - 11. Is -2 - -60 - v/2 prime?
False
Let m = 275 - 153. Is m a composite number?
True
Suppose 0 = -6*q - q + 1645. Is q composite?
True
Let x = -189 + 308. Is x composite?
True
Suppose -5 = -5*c + 5*j, 2*j - j = -5*c + 23. Suppose 0 = -c*v + 3*v - 5. Let l(t) = t**2 - 4*t - 7. Is l(v) composite?
True
Suppose -2*f = 3*m - 371, -330 - 76 = -3*m + 5*f. Is m composite?
False
Let n(b) = 2*b - 1. Let l be n(3). Suppose 3*w + 3 + 0 = -3*p, l*w = -4*p - 2. Suppose -4*d = d + r - 170, -w*r = 4*d - 130. Is d a composite number?
True
Let c = 82 + -5. Is c composite?
True
Let d be -1*(0 + -2) - -264. Let g = -108 + d. Is g a composite number?
True
Let x = 5 - 2. Suppose d - 114 = -3*q - d, 0 = x*d. Is q composite?
True
Let c(l) be the third derivative of -23*l**4/24 - 7*l**3/6 - 9*l**2. Is c(-6) a composite number?
False
Let v(r) = -17*r**3 + 3*r + 1. Is v(-2) a prime number?
True
Let a = 188 + -57. Is a prime?
True
Let z(j) = j - 2. Let v be z(5). Suppose -16 = -7*f + v*f. Suppose -2*l - 2*x - 28 = -3*l, 3*l + f*x - 114 = 0. Is l a prime number?
False
Let m(a) = 2*a**2 - 8*a - 9. Let i(x) = -x**3 - 5*x**2 + x - 2. Let w be i(-5). Let q be m(w). Suppose 4*l = 67 + q. Is l prime?
True
Let l = -11 + 8. Is (-55)/l + (-6)/(-9) a composite number?
False
Let w(x) = x**3 - 28*x**2 + 17*x - 43. Is w(30) composite?
False
Suppose -q + 6*q + 5 = 0. Let l = 30 - q. Is l composite?
False
Suppose -4*l + 18 = -2*k + 4*k, 2*k = l + 8. Suppose k*j - 8 - 2 = 0. Suppose -j*i + 0*i + 168 = -5*s, 0 = 3*i + s - 269. Is i composite?
False
Let a = 0 + -4. Is (-357)/(-33) - a/22 prime?
True
Let q(x) = -3*x - 5. Let i(k) = -k**2 + 11*k + 6. Let y be ((-12)/(-5))/((-4)/(-20)). Let h be i(y). Is q(h) a prime number?
True
Suppose 4*u = u + 9. Suppose 0 = u*j - j + f - 257, 0 = -5*j - 5*f + 650. Is j prime?
True
Let q = 2708 + 2505. Is q composite?
True
Suppose 5*l + 4*z - 80 = 0, -l + 3*z + 5 = 6*z. Let n = -266 + 601. Is (n/l)/((-1)/(-4)) prime?
True
Let a = -10 - -7. Let w(o) = 34*o**2 + 3*o - 2. Is w(a) composite?
True
Let y(w) = 105*w - 8. Is y(3) a prime number?
True
Let x be 26/4 - (-7)/(-14). Let w = x - 6. Let l(i) = i + 79. Is l(w) a prime number?
True
Let d = 4204 + -2403. Is d a prime number?
True
Suppose 1913 = 11*h - 11892. Is h prime?
False
Let x be (-14 - 1)/((-27)/18). Is (-2576)/(-70) + 2/x a composite number?
False
Let b be (-2 - -1) + (3 - -194). Suppose -v = 3*v - b. Is v prime?
False
Let x be 13 + 0*(0 - -1). Suppose -40 = 2*t - 224. Let v = t - x. Is v a prime number?
True
Let h(r) = 3*r + 4. Let g(y) = 3*y + 3. Let s(z) = -3*g(z) + 2*h(z). Is s(-5) composite?
True
Let z(w) be the first derivative of -5*w**4/12 + 3*w**3/2 - w**2/2 + 3. Let o(g) be the second derivative of z(g). Is o(-7) composite?
False
Let o be 10 - 8 - (7 + -1). Let f be (0 - 0)/(-3 - o). Suppose -b + 4*s = -119, -2*s = -f*b + 3*b - 343. Is b a prime number?
False
Let s(t) = -t**3 + 8*t**2. Let z be s(8). Suppose -4*h + h + 66 = z. Is h a prime number?
False
Let p be 408/(-5) + 4/(-10). Let r = p - -151. Is r a prime number?
False
Suppose -v - 4 = f, 5 = 2*v - 3*f - 7. Suppose 0 = l + 4*s - 111, 4*s - 384 = -v*l - 4*l. Is l prime?
False
Let p(w) = 2*w - 4*w - w**2 + 1 + 2 - 7*w. Let o(v) = 8*v - 4. Let g(i) = -4*o(i) - 3*p(i). Is g(6) prime?
False
Let f(z) = 360*z**2 - 3*z - 5. Is f(-2) composite?
True
Let t = -358 + 1041. Is t composite?
False
Suppose 0 = 3*u, 5*u + 2229 = -0*n + 3*n. Is n a prime number?
True
Let q = 1405 - 998. Is q composite?
True
Let j(b) = 12*b - 5. Let c(p) = -23*p + 10. Let k(v) = -3*c(v) - 5*j(v). Is k(6) a composite number?
True
Let z(b) = 24*b**3 - 2*b**2 + 2*b - 1. Suppose -2*x - 6 = -t + 3*t, -3*x = 2*t + 5. Is z(x) a prime number?
True
Let o(c) = 4*c**2 - c + 3. Let u(n) = -n - 5. Let y be u(-13). Is o(y) a prime number?
True
Let k = 843 - 358. Is k a prime number?
False
Let i be 1 + 1 - 1 - 35. Let p = -16 - i. Suppose 5*f - v - 59 = 3*v, -4*v = 2*f - p. Is f a prime number?
True
Let x(w) = 7*w**2 - 7*w + 3. Is x(-7) a prime number?
False
Let v(p) = -5*p + 2. Let z be v(12). Let u = 171 + z. Is u a prime number?
True
Is (4/8)/(-1) - 13230/(-4) composite?
False
Let n(z) = z**3 - 8*z**2 + z - 4. Let q be n(8). Let f = 3 - q. Let b(m) = 50*m**2 + m. Is b(f) a composite number?
True
Suppose -6*a + 304 = -4*a. Suppose 0 = 3*i + 3*g + 327, -4*i + 5*i - g = -101. Let w = i + a. Is w composite?
False
Let v = 4 + -4. Let j be (v + (-6195)/(-6))*2. Suppose 0 = -5*n, -5*p + n = -0*p - j. Is p a composite number?
True
Is (9/(-45))/(1/(-895)) composite?
False
Suppose 5*m = -5*v + 345, 0 = -3*v + 2*m - 38 + 230. Suppose -4*a + 86 = -v. Is a composite?
True
Let f be (-2)/4 - 9/(-2). Suppose -n - f*r + 149 = 0, 3*r = n + 22 - 185. Is n a prime number?
True
Let k(z) = -z**2 + 5*z**3 + 4 - 2*z + 2*z - z. Is k(3) a composite number?
False
Let f(b) = -b**3 - 7*b**2 - 7*b + 5. Let l be f(-6). Let v = l + -8. Suppose -7*x + 3*x + 5*j + 221 = 0, 0 = v*x + 2*j - 137. Is x a