-216. Is x a prime number?
True
Let x(i) = -i - 42*i**3 - 20*i**3 - 23*i**3. Let h be x(-1). Is (h/(-1))/((-6)/3) a prime number?
True
Let f(k) = 175*k + 1. Let w be f(5). Let g = w + -536. Suppose h - 85 = 5*v, 4*h - 3*v = v + g. Is h prime?
False
Let r = -374 - -980. Suppose -8 = 2*i, -4*q + 5*i + 12 = i. Is q/5 + r/5 a composite number?
True
Suppose -3*h + 10 + 2 = 0. Suppose -r + h*z = -0*r - 71, -2*z - 243 = -3*r. Is r composite?
False
Let o(a) = a**3 + 5*a**2 - 6*a + 6. Let r be o(-6). Let w(f) = 5*f**2 - r*f - 4*f**2 + f**2 + 4*f**2 + 7. Is w(5) composite?
False
Suppose -4*q - 12 - 11 = 5*d, 4*q + 32 = 4*d. Let t(k) = -2*k**3 - 8*k**2 + k - 2. Let h be t(q). Suppose 2*j + 3*j - h = 0. Is j a prime number?
False
Let z(i) = -3*i + 2*i - 3*i**2 + 55 + 2*i**2. Is z(0) a prime number?
False
Suppose 2 = 2*x, 3*x = h - 4*h + 864. Is h a prime number?
False
Let k(n) = n**3 + 5*n**2 + n - 3. Let l be k(-4). Suppose -93 = -4*c - l. Suppose -3*b + 9 = -c. Is b prime?
False
Suppose 2*x = 3*x + 7. Is 220 + 1*(x - -4) a composite number?
True
Suppose -4*j - 424 = -3*s, -7*j - 20 = -2*j. Suppose -p = 3*p - s. Is p a composite number?
True
Suppose 0 = -4*n + 10 - 170. Let v = n + 122. Is v a prime number?
False
Let s = 7 - 5. Is (47/s)/(1/2) composite?
False
Suppose 135 = 2*y + 3*t - 6*t, 0 = -t - 5. Suppose 3*z + 237 = 2*i + y, 0 = -4*z - 5*i - 259. Let g = z - -128. Is g a prime number?
True
Let w(u) = -u**3 + 16*u**2 + 13*u + 31. Is w(16) prime?
True
Let v be (-1 - (-8)/6)*-3. Let d be v/2*-2 + 1. Suppose 2*y - x - d*x - 17 = 0, -x - 36 = -5*y. Is y a composite number?
False
Let q(x) = 3*x**2 - x. Let b be q(-1). Suppose -b*a = -8*a + 724. Is a composite?
False
Suppose -2*w = 5*f + 54, -88 = 4*w + f + 4*f. Let s = 9 + w. Is 3/(-12) - 634/s a composite number?
False
Let p = 46 + 25. Is p composite?
False
Suppose -n = -3*s - 8, -4*n - 5*s = -22 - 27. Is n a prime number?
True
Let n(q) = 48*q**2 - 1. Is n(2) composite?
False
Suppose -2*g + 3570 = -2*i, -5*i - 23 = -3. Is g a composite number?
True
Suppose 3*g - 4*p = -111, g = 4*p + p - 26. Is (-1 - -5 - g) + 1 a composite number?
True
Let f(u) = 7*u**2. Let a(m) = -m**2 - m + 6. Let c be a(0). Let j(v) = v - 5. Let d be j(c). Is f(d) a composite number?
False
Is 0/1 - 1265/(-5) a prime number?
False
Let v(y) = -6*y - 2. Suppose -4*x - 7 = 25. Is v(x) composite?
True
Suppose 4*c - 178 = -k + 90, 3*k - c = 778. Suppose 0 = m - 5*m - 3*r + k, 4*m - 260 = 3*r. Is m prime?
False
Suppose -2*o = 5*t - 1, o - 3*o + 10 = -4*t. Suppose -o*n - 2 = -4*n. Suppose y + n = 2*s + 1, -18 = -2*y - s. Is y prime?
True
Suppose -5*h + 23 + 52 = 0. Is h composite?
True
Let a be 8/((-3)/(-1) - 2). Suppose -2*q = -0*q - a. Suppose 5*t + 4*s = 399, -q*t + 313 = -0*t - 3*s. Is t a composite number?
False
Suppose -2*r + 1953 + 169 = 0. Is r a prime number?
True
Let r = -29 - -48. Is r a composite number?
False
Is (-1)/4*(-4328)/2 composite?
False
Let a(g) = -g**2 + 10*g - 2. Let w(p) = p**3 + 10*p**2 + 7*p - 10. Let f be w(-9). Is a(f) composite?
True
Let g(x) = -x**3 + 155. Let w = -7 + 7. Let l be g(w). Suppose 0 = 2*b - l - 167. Is b prime?
False
Suppose -3*t - 1 = -4. Is 6/12*(t + 133) composite?
False
Let i(c) = -c**2 - 9*c - 10. Let t be i(-7). Suppose t*b - 1555 = -407. Is b a composite number?
True
Let o(s) = -s + 27. Let t be o(0). Suppose -4*b + 0*d = -3*d - 29, -b - 5*d + 13 = 0. Let m = b + t. Is m composite?
True
Let o(f) = f + 2. Let p be o(-9). Let s = -2 - p. Suppose s*a = -5*v + 155, -3*v - 109 = -6*v + a. Is v a prime number?
False
Let y = 47 - -11. Suppose -j + 31 = -y. Is j composite?
False
Let q be 2/(-4)*(2 - -6). Let n be (-1)/2*q + -294. Is (-5)/(-15) - n/6 prime?
False
Let n be (98 - 1)*(-1 - -2). Let g(t) = 5*t**2 + 5*t + 18. Let k be g(-3). Let x = n - k. Is x composite?
True
Let k = 9 - 6. Is (2 - k) + 7/1 a prime number?
False
Suppose 6*g = 16922 + 17512. Is g prime?
False
Let l(s) be the first derivative of -s**4/4 + 19*s**3/3 - s**2 - 11*s - 3. Is l(8) a prime number?
True
Let d = -7 + 1. Let t = d + 29. Is t prime?
True
Suppose 3*l - 3*n = 390, -2*n + 4 = 2*n. Is l a prime number?
True
Suppose 162 = 3*g - 297. Let c = 176 + g. Is c composite?
True
Is 19/(-3*(-5)/30) composite?
True
Is 1094 + -7*1/(28/(-12)) composite?
False
Let w be -1*2 - (-84)/6. Suppose 0 = -z + m + 3 - w, -4*z + 2*m = 26. Is (z + -7)/(1/(-3)) a prime number?
False
Is 42*1 - (-15)/(-5) prime?
False
Let h = -130 + 249. Is h prime?
False
Suppose -4 = -5*q + q. Let g be (-6 - -2)*(0 - q). Let i(z) = 2*z**2 + 5*z - 5. Is i(g) prime?
True
Let z(o) = -o + 13. Let f = 4 + -4. Let j be z(f). Let p = j - -12. Is p composite?
True
Let v = -12 - -8. Let d(o) = 21*o**2 + o + 3. Is d(v) prime?
False
Let n(k) = 7*k**2 - 7*k + 4. Suppose 0 = 2*x + 3 + 3. Let b(s) = 15*s**2 - 15*s + 9. Let o(t) = x*b(t) + 7*n(t). Is o(4) a prime number?
False
Let i = -5 - -2. Let o be (-3)/2*14/i. Suppose -3*x = -2*y + 61, -5 = -4*x + o. Is y a prime number?
False
Let l = 6 - 3. Suppose g + l = 12. Let f = g + -2. Is f a composite number?
False
Suppose 5 + 19 = 4*b. Let a(h) = 7*h - 4 - 4*h - 3. Is a(b) composite?
False
Let y(c) = 3*c**2 - 2*c - 1. Let z = -72 - -20. Let w be 2/(-7) + z/14. Is y(w) composite?
True
Let f(x) = -188*x - 9. Is f(-4) a composite number?
False
Let r = -156 + 253. Is r a composite number?
False
Let i(k) = 3*k**2 + 2*k - 3. Let c be i(3). Suppose -c + 121 = l. Is l a prime number?
False
Let q(w) = -w**2 + 5*w + 4. Let y be q(-3). Is 5/y - (-554)/8 prime?
False
Let n = 249 + -131. Is n a composite number?
True
Let j be (9 + -1)*(5 + 0). Suppose 5*h - j = -o, -h + 121 = 4*o - 134. Is o composite?
True
Suppose -k - 5 = -2, -3 = 2*w + k. Suppose w*x + x - 214 = 0. Is x composite?
True
Let l be -6 - (6 + -2 + -2). Let p be l*(108 - -3)/(-1). Suppose p + 167 = 5*b. Is b a prime number?
True
Suppose -2 = 3*k + 1, 0 = 4*r - 2*k - 490. Is r a composite number?
True
Let d(y) = -y**2 + 5*y + 2. Let r be d(4). Is 88/r*(-6)/(-4) a prime number?
False
Suppose -t - 3*a + 620 = 0, 5*t + 12*a - 3150 = 7*a. Is t a composite number?
True
Suppose q = -2 + 6. Suppose -64 = -k + f, q*k = -k - 3*f + 344. Is k prime?
True
Let a(w) = w**3 - 5*w**2 - 7*w + 7. Let z be a(6). Let x be z/(-4) + 1/4. Is 78/(3 - x) - 0 prime?
False
Suppose 15 - 5 = -2*j. Let r be (-2)/4 - 55/2. Let b = j - r. Is b a composite number?
False
Suppose 2*m + 0*m - 288 = 0. Suppose 0 = o - m + 35. Is o a prime number?
True
Suppose -22*z - 1784 = -26*z. Is z a prime number?
False
Suppose f - 7311 = 6358. Is f a composite number?
False
Let j = 2227 + -1301. Suppose j - 28 = 2*y. Is y a prime number?
True
Let i be -3 + 112 - 3 - 2. Let l = i + -57. Is l composite?
False
Suppose 370 = 5*h + 4*z, -275 = -5*h - 3*z + 95. Let x be 6/9 + 524/(-12). Let n = h + x. Is n composite?
False
Let w(z) be the first derivative of -z**3 + 7*z**2 - 4*z + 1. Let t(o) = -2*o**2 + 13*o - 4. Let n(x) = 5*t(x) - 4*w(x). Is n(-9) prime?
False
Let x be 3*(-6)/27*-6. Is (-1 - x - -3) + 21 composite?
False
Is (-26 + 23)/(6/(-1414)) prime?
False
Suppose -2*k + 82 = 3*m - m, -m - 5*k + 61 = 0. Let q(i) = -22*i**2 + 2*i - 1. Let n be q(1). Let j = n + m. Is j a prime number?
False
Let u(a) = -a**2 - 12. Let f be u(0). Let j(z) = z**3 + 13*z**2 + 9*z + 13. Is j(f) prime?
False
Let b = -847 + 1334. Is b a prime number?
True
Let b = -5 - -2. Is (-615)/b - (0 - -2) a composite number?
True
Let u(w) = -4*w**2 + 10*w - 7. Let c(y) = -y**2 + y. Let p(q) = -5*c(q) + u(q). Is p(8) prime?
True
Let g(f) = -f + 9. Is g(-10) a composite number?
False
Let a(n) be the first derivative of -9*n**4/8 - n**3/6 - n**2/2 - 1. Let h(b) be the second derivative of a(b). Is h(-2) a prime number?
True
Let p = 51 + 16. Is p a prime number?
True
Suppose -8*p - 6 = -10*p. Suppose p*o = o + 12. Is o a composite number?
True
Let u be ((-3)/(-6))/((-3)/(-18)). Suppose -u*s + 20 = 2*s. Is 14 + 0/(s/(-2)) prime?
False
Let n = 0 + 2. Let b(c) = -5*c - c + c**n + c + 4*c + 1. Is b(-4) prime?
False
Let q be (-82)/(3 + -1)*-1. Suppose -x - 2*x + q = l, 5*x - 4*l = 91. Is x a prime number?
False
Let x = 2081 - 1084. Is x prime?
True
Let l(k) = 5*k**2 + 4*k - 5. Is l(-4) a prime number?
True
Suppose 0 = -4*t - t + 115. Let w(u) = -u**3 - 6*u**2 + u + 