-21. Let x = 1 + u. Is x prime?
True
Suppose 2*t = -t - 9, -2*s + 2*t = -14. Is s a composite number?
True
Let f(n) = 14*n**3 + 3*n**2 - 4*n + 1. Is f(3) a prime number?
False
Let r = -16 - -24. Let w(y) = y**3 - 6*y**2 - 7*y - 6. Let j be w(r). Suppose 2*i - j = 4*f, 2*i + 4*f - 12 = 54. Is i a composite number?
True
Suppose 53*x - 267 = 50*x. Is x prime?
True
Let i be 54 + -3 + -1 + -2. Let t = i + -29. Is t prime?
True
Let i(k) = 12*k**2 - k + 13. Is i(4) prime?
False
Let k(h) be the second derivative of h**4/12 + 7*h**3/6 - h**2 - 3*h. Let g be k(-7). Is ((-30)/g - 2)*5 prime?
False
Let u(x) = -210*x + 1. Is u(-1) prime?
True
Suppose 0 = h - 4 - 0. Let q be 22/h*(4 + -2). Let l = 33 - q. Is l a prime number?
False
Let i(u) be the second derivative of u + 5/3*u**3 + 3/4*u**4 + 1/20*u**5 + 3/2*u**2 + 0. Is i(-7) composite?
False
Let l = -50 + 673. Is l composite?
True
Suppose -5*b + 483 = 4*q, q = -0*q + 3*b + 142. Is q prime?
True
Let u = 10 - 5. Suppose -u*z + 4 = -291. Is z prime?
True
Let o(a) = 7*a**2 - 25*a - 13. Is o(-14) prime?
True
Suppose -13788 = -3*g - 3*x, -9222 = -2*g + 4*x - 0*x. Is g a composite number?
True
Suppose 0 = -2*v + j - 624, j = 3*v - 3*j + 936. Let b = 67 - v. Is b prime?
True
Let t(w) = -3*w**3 + w**2 - 10*w - 1. Is t(-6) a composite number?
False
Suppose 3*n + 946 = 2905. Is n a prime number?
True
Let n be (-1)/(-6) + (-3)/18. Suppose -g + n*g + 3 = 0, v - 1 = g. Suppose 2*l = -5*a - 0*l + 339, -3*a + 209 = v*l. Is a prime?
True
Let m be 1 + 6/3 + -1. Is m/11 + 60357/121 a composite number?
False
Let f = -10 + 25. Suppose -i + f = -4*i. Let y(a) = a**3 + 4*a**2 - 6*a + 4. Is y(i) a composite number?
True
Let s = 409 - 27. Let v = s + -778. Let j = -239 - v. Is j a prime number?
True
Suppose 0 = 3*q + 12, -1396 = 3*i - 5*i + 4*q. Suppose -5*v = 5*a - i - 1390, -2*a - 4*v = -826. Is a prime?
True
Suppose -3*y = -0*q + 5*q - 494, -5*y - 5*q = -820. Is y a prime number?
True
Let o be 566/3 + 4/12. Suppose 3*f = -3*n + 207, -5*n = 2*f - o + 39. Is f a composite number?
True
Let a = 222 - 10. Suppose a = -3*i + 7*i. Is i a composite number?
False
Let j = -2 + 2. Suppose j = -3*p - 0*p + 609. Is p composite?
True
Let s = -86 + 53. Let m = 67 + s. Is m a prime number?
False
Suppose -5*k + 65 = -0*k. Is k a prime number?
True
Let i be (2 + 1)/((-12)/16). Let v(t) be the third derivative of t**5/30 - t**4/4 - t**3/6 + t**2. Is v(i) a composite number?
True
Suppose 5*s = -7*s + 30948. Is s a prime number?
True
Suppose 2*k - 3*t - 317 = 0, 2*t = -k - 2*t + 186. Let r = 423 - k. Is r prime?
True
Let o = -16 - -35. Is o a prime number?
True
Suppose 2*p + 0*p - 108 = 0. Suppose -t = -0 - p. Let q = -33 + t. Is q a composite number?
True
Suppose -3*b = -2498 - 685. Is b prime?
True
Suppose -392 = z + 2*l - 1715, -l - 3 = 0. Is z a composite number?
True
Suppose 178 = 3*j - 89. Is j a composite number?
False
Let i(q) = q**3 - 4*q**2 - 9*q + 3. Let v be i(6). Suppose -3*p = 2*g + v, 7*g - 2*g = -2*p - 47. Is ((-94)/3)/(6/g) prime?
True
Suppose -f + 48 = -131. Is f a prime number?
True
Suppose 0*i - i = -5. Suppose 3*p = h - 392, 5*h + 0*h - 2010 = i*p. Is h a composite number?
True
Let h = 30 + 10. Is h + -1 - 2/1 composite?
False
Suppose 0 = 4*z + 2*v - 62, -14 = z + 5*v - 52. Suppose 0 = -2*k + k - 3*w + z, 4*k - 5*w = 1. Let t(d) = 2*d**3 - 4*d**2 - d - 5. Is t(k) a composite number?
True
Suppose 2*c - 6 = -3*c + 4*h, 0 = -5*h + 5. Suppose 0 = 3*r + 2*r - 70. Suppose -j = -c*j + r. Is j a composite number?
True
Suppose 0 = -31*g + 26*g + 4795. Is g a prime number?
False
Let p be (-2 - -2) + 5/1. Suppose m = -5 - p. Let i = 31 + m. Is i a composite number?
True
Let w(d) = -6*d - 7. Suppose t + 4*t + 50 = 0. Let l be (5/t)/(2/28). Is w(l) composite?
True
Suppose 3*x - u - 27 = 2*u, -4*x + 35 = -5*u. Is (165/25)/(2/x) composite?
True
Suppose 0*d + 8 = 4*d. Let c(n) = -d*n + 0 - 3 + 2 + 5*n**2. Is c(2) composite?
True
Let x(b) = 11*b**3 + 5*b**2 + 11*b - 11. Is x(6) prime?
False
Suppose -2 + 0 = 2*x. Let t be 105*((0 - x) + 0). Suppose 6*z - 3*z = -4*r + t, 2*z + 4*r = 70. Is z a composite number?
True
Let t(z) = -z. Let u be t(-5). Let r = u + 0. Let w(p) = 2*p**3 + p**2 - 3*p + 3. Is w(r) a prime number?
True
Suppose 2*j = 3*j - 16. Let f be 100/j + 2/(-8). Suppose f*g - g - 95 = 0. Is g prime?
True
Let s be 16/(-4) + -1 + 95. Let b = 121 + s. Is b a prime number?
True
Let g = 4307 + -2926. Is g prime?
True
Let m(f) = -f**3 - 2*f**2 + f + 3. Suppose 0 = -x - 3*x - 12. Let s be m(x). Let g = 28 + s. Is g prime?
True
Let i(t) = 28*t**2 + 11*t + 2. Is i(7) a prime number?
True
Let f be (1 - 2) + -6 + 3. Let u = f + 15. Is u a composite number?
False
Suppose -128 = 4*p - 5*p. Suppose m + 51 - p = 0. Is m a prime number?
False
Let p(b) = -18*b + 15. Is p(-4) composite?
True
Suppose 2*s - 18 = -s. Is (5 - 3)*21/s a composite number?
False
Suppose -2*y + 4 - 20 = -3*o, 4*y = 2*o - 8. Let t be (3/o)/((-3)/708). Is t/(-6) - 4/6 prime?
True
Suppose 0 = 5*f - 3*m + 5*m - 23, 0 = -2*m - 2. Suppose f*z = -a - 0*a - 103, 5*a + 53 = -3*z. Let v = z - -56. Is v composite?
True
Let n(x) = x**3 + 19*x**2 + 7*x - 1. Is n(-12) prime?
False
Let g(h) = 34*h**2 + 5*h + 2. Is g(-3) composite?
False
Is (-21 - -19) + (0 - -129) prime?
True
Let w(s) = 187*s - 2. Is w(1) composite?
True
Suppose 421 = 3*z - 6*a + 2*a, 282 = 2*z - 2*a. Is z a prime number?
False
Suppose -2*w = -7*w + 4565. Is w composite?
True
Suppose 54 = -2*t + 10. Let q(h) = -6*h - 4. Let f be q(1). Is t/2*(f - -5) composite?
True
Let b(u) = u**2 - 7*u + 4. Let p be b(5). Let c be (2/3)/((-2)/p). Suppose 5 + 9 = c*n. Is n composite?
False
Suppose 4*d + d - 3*y - 4 = 0, -2*d + 7 = -3*y. Let l be 0/(3 + 0)*d. Suppose 5*r - 445 = -3*s + 505, l = -4*r - 4*s + 768. Is r a composite number?
True
Let k(l) = 24*l**2 + 1. Let t be k(-1). Let h = -11 + t. Is h a prime number?
False
Let l = -6 - -15. Suppose 3*b = 4*n - l*n + 287, 0 = -b - 3*n + 97. Is b composite?
True
Suppose -4*v + 12 = -0*v. Suppose 44 = v*y + y. Is y composite?
False
Suppose 5*q = 8*d - 3*d - 10, -5*q = 5*d - 50. Let v be (d - 3) + -2 + -1. Suppose -3*c = -v*c - 381. Is c composite?
False
Suppose 4*o + 2 + 6 = 0. Let x = o - -4. Suppose -x*w + 2*r - 148 = -6*w, 4*w = 2*r + 132. Is w a prime number?
False
Let t be (-3 + -1)*3/12. Is (2706/18)/(t/(-3)) a composite number?
True
Suppose -1849 = -3*r - 160. Is r composite?
False
Let f = 223 + 264. Is f prime?
True
Is (-2)/8 - (13546/8)/(-1) a prime number?
True
Let g(z) = 83*z + 15. Let h(m) = 41*m + 8. Let u(y) = 6*g(y) - 13*h(y). Let q(x) = -12*x - 5. Let a(v) = -17*q(v) + 6*u(v). Is a(-3) prime?
True
Let m(q) = q - 5. Let g be m(5). Suppose g = -3*b + 536 - 59. Is b prime?
False
Suppose 6*m = 4*m + 6. Is 1/(m + 224/(-76)) a composite number?
False
Let d = -1877 - -2960. Suppose 2*i = -i + d. Is i a prime number?
False
Let a(v) = 6*v**2 - 6*v + 5. Let i be a(4). Suppose -2*z = -2 - 18. Suppose -r + z = r, 4*y - 3*r = i. Is y a prime number?
True
Suppose 155*f - 1895 = 150*f. Is f a composite number?
False
Is (4406/(-14))/((-5)/35) prime?
True
Let m(s) = 38*s**2 + 5*s - 5. Is m(2) prime?
True
Let x(m) = -5*m + 1. Let p be x(-5). Let b = 37 - p. Is b prime?
True
Suppose -l + s = -61, -5*l = -s - 186 - 131. Suppose 4*j = -3*g + 221, -2*g + l - 323 = -5*j. Is j composite?
False
Let g(o) = o**3 + 5*o**2 - o - 4. Let u(t) = -t**3 - t**2 + 1. Let m(h) = g(h) + 3*u(h). Is m(-2) a prime number?
False
Let p(q) = -q**2 - 7*q. Let o be p(-3). Suppose 5*i - a - o = 14, 0 = 2*i + 3*a - 7. Suppose 99 = -2*f + i*f. Is f composite?
True
Let w be (-6)/9*282/4. Let a = 86 + w. Is a composite?
True
Suppose 5*v + 4 - 14 = 0. Suppose 0 = v*w + w - 483. Is w composite?
True
Let x = 98 + -21. Is x composite?
True
Suppose 2*f + 6 = -y, 5*f + 15 = 2*y + y. Let r be (-1 + -2)/(3/f). Let w = 6 - r. Is w composite?
False
Let x be (-88 + -1)*(-1)/1. Suppose 4*k = -i - x, 5*i + 3*k = 7*k - 373. Let d = i - -114. Is d a composite number?
False
Suppose 5*j + 2*r - 24 - 11 = 0, -4*j + 61 = -5*r. Let k = j - -4. Is k a composite number?
False
Is ((-2)/6)/(20818/10410 - 2) prime?
False
Let v = -20 - -43. Is v a composite number?
False
Suppose -6 = 5*c + 2*v, 0*v - 6 = -2*c + 2*v. Suppose c = -k - 0*k + 2. Suppo