 prime number?
False
Suppose j - 8 = t, 31 = 4*j - 2*j - 5*t. Suppose -g = -5, -4*g + 26 = -3*y - j. Is (0 - -20)*y/(-6) a prime number?
False
Let d(p) = p**2 - 3*p + 1. Let b be d(3). Is 2/((-1)/b) + 33 a composite number?
False
Let z be (1/(-1))/(-1) - -2. Suppose 3*p = z*j + 147, 3*j = p + p - 94. Is p composite?
False
Suppose 0 = -2*d - 2*u - 671 + 3947, 0 = -3*d - u + 4912. Is d a composite number?
False
Let g = 1585 + -332. Is g a composite number?
True
Let r be (2/(-4))/((-3)/6). Let w = r - 2. Is (8*3)/3 + w composite?
False
Let y be (-12)/(-18) + 14/6. Suppose y*b = -0*b + 1869. Is b composite?
True
Let i(v) = -v**2 - 9*v + 8. Let z(o) be the third derivative of -o**6/120 - o**5/15 - o**4/24 + 2*o**2. Let k be z(-3). Is i(k) a prime number?
False
Let g(i) = -118*i + 49. Is g(-12) a composite number?
True
Suppose 0 = 4*n + 14 + 2. Let a(q) = -12*q + 5. Let r be a(n). Is r/4 - (-3)/(-12) composite?
False
Let v = 8 - 6. Suppose -81 = -3*y - 5*n, 49 = 4*y - v*n - 33. Is y composite?
True
Let d = 268 - 42. Is d composite?
True
Let r = 458 - 865. Let o = 709 + r. Is o a prime number?
False
Let h(f) = 70*f**2 - 2*f + 1. Let p be h(1). Suppose 3*z + 4*i - 245 = 0, 7*i = z + 2*i - p. Is z a prime number?
True
Suppose 6 = 4*y - 22. Is -5 + y - -293*1 a prime number?
False
Suppose -2*w - 3*w + 4*o = -16, 4 = 4*o. Suppose 0 = 4*k + 8, 5*k = -2*t - 0*k. Suppose -t*l = -w*l - 59. Is l composite?
False
Suppose -4*g = -6*g - 5*g. Suppose 0 = 4*u - 531 - 1141. Is u + g/(-1) + -3 prime?
False
Suppose 2*z - 1 = -3*q + 34, -5*z - 10 = 0. Suppose q = 3*l + 4. Suppose -l*i - 3*b + 319 = 2*b, 4*b + 242 = 2*i. Is i composite?
False
Let n(p) = -p**3 + 3*p**2 + 6*p - 4. Let k be n(4). Is k/6*2331/6 a prime number?
False
Suppose 8*i - 2723 - 3749 = 0. Is i prime?
True
Suppose 2*n - 10 = 2*j, j - 5*n = -31 + 6. Suppose j = 7*l - 2*l - 635. Is l prime?
True
Suppose -9*a + 1016 = -a. Is a composite?
False
Let r(w) = 24*w**2 + 6*w + 3. Is r(4) prime?
False
Suppose 22589 = -2*t + 9*t. Is t prime?
False
Suppose -64 - 59 = -3*b. Let p = -8 + b. Is p a prime number?
False
Let j(r) be the third derivative of -r**6/120 - 7*r**5/60 + r**4/6 + 5*r**3/6 - 2*r**2. Is j(-8) a prime number?
True
Suppose 4*a = -4*h + 2*h - 606, -h - 753 = 5*a. Let y = 534 - 173. Let t = y + a. Is t a composite number?
False
Let q(r) = 3*r**2 - 6. Suppose 0 = -3*v - 0*v - t + 2, -v = t - 4. Let z(p) = -6*p**2 - p. Let u be z(v). Is q(u) a prime number?
False
Let n be 5 + -3*(-6)/(-9). Suppose -4*u = 0, n*u = 3*g - 2*g - 91. Is g prime?
False
Let x be (0 - -1)/(2/4). Suppose -5*u + x = -8. Suppose -3*w + u*v + 337 - 76 = 0, 0 = -5*v - 15. Is w a prime number?
False
Let j be (-1 + 2)/((-1)/(-173)). Let t = 160 - 45. Let p = j - t. Is p prime?
False
Let x(v) = -v**2 + v + 2. Let b be x(3). Let m(h) = h**3 + 3*h**2 - 4*h + 3. Let j be m(b). Is (460/(-16))/(j/(-12)) composite?
True
Suppose -2*m + 2 = -3*k, -5*m + 2 = 5*k - 3. Let r = -2 - -4. Suppose k = -r*b - 0*o + o + 46, 5*b = 5*o + 115. Is b a composite number?
False
Let m = 65 + -120. Let r = m - -100. Is ((-12)/(-10))/(18/r) a prime number?
True
Let u = 8 + -4. Suppose -5*j = u - 159. Is j prime?
True
Let z(t) be the third derivative of t**6/120 - t**5/40 + t**4/12 + 3*t**2. Let c(u) be the second derivative of z(u). Is c(3) a prime number?
False
Suppose -d - 447 = -2*d. Is d prime?
False
Suppose -5*l + l + 2506 = 2*q, 0 = -l + q + 634. Is l composite?
True
Suppose 3*z - 20928 = f, z + 3*f - 6986 = -0*z. Is z a composite number?
False
Suppose 0 = -4*f - d + 5, 10 = 2*f + 3*f + 2*d. Let x = f - 2. Is -2 - (-398 - (x - -1)) a prime number?
False
Suppose 13*y + 11756 = 17*y. Is y prime?
True
Is 17/((-34)/(-8)) + 476 + 1 composite?
True
Let y(a) be the first derivative of -a**3/3 - 4*a**2 + 3*a + 1. Let p be y(-7). Suppose p - 36 = -2*n. Is n composite?
False
Suppose 8212 = -6*b + 10*b. Is b a prime number?
True
Suppose 0 = -11*o - 2*o + 9529. Is o prime?
True
Let d = 3 + -1. Suppose -18 = -h - d. Let p = h - -7. Is p a prime number?
True
Suppose -2*q = -8 + 2. Let z(a) = 2*a**2 + 2*a + 1. Is z(q) prime?
False
Suppose -4 = -m + 5*g + 23, 0 = -4*m - 4*g + 12. Is m a composite number?
False
Is 2 + (-4)/(-4) - -562 a composite number?
True
Let u(w) be the second derivative of 41*w**3/3 - 3*w**2/2 + w. Is u(2) prime?
False
Suppose 194 = -j - 3*s, -2*s - 530 = 3*j - 6*s. Suppose 0 = -3*p - 15, 4*p - 15 = 5*r - 5. Is j/r - 2/(-3) composite?
False
Let l = -19768 - -28079. Is l a prime number?
True
Let i(d) be the first derivative of d**3/3 - d**2 - 13*d + 2. Is i(10) composite?
False
Let w(i) = -i**2 + 3*i - 2. Let z be w(2). Suppose z = y - 4 + 1. Let l = 18 - y. Is l prime?
False
Let o = 16 - 13. Suppose -4*p + 223 = o. Is p prime?
False
Suppose -2*m + 64 = 2*y - 230, 4*y - 2*m - 576 = 0. Is y composite?
True
Let o = 184 + -57. Is o prime?
True
Suppose -716 - 1929 = -5*a. Is a a prime number?
False
Let f be 2/(-1 + (-6)/(-3)). Suppose -1 = 2*l + 7, 4*l + 110 = -f*v. Let k = v + 82. Is k a composite number?
True
Let o be (-725)/(-10) - (-2)/(-4). Let l = 119 - o. Let q = l + -10. Is q a prime number?
True
Suppose 7*l = 4*l + 261. Is l composite?
True
Let r be 0/(2/(1/1)). Suppose r = w - k + 8 + 3, -5*w - 4*k = 46. Let u = w + 29. Is u a prime number?
True
Is (-897)/26*22/(-3) prime?
False
Let i = -292 + 963. Is i composite?
True
Let g(l) be the second derivative of l**5/20 + l**4/4 + l**3/6 - l**2/2 - 2*l. Let a be g(-2). Is 0 - a - (-8 - -1) prime?
False
Let t(a) be the first derivative of 4 - 5 + 3*a - 3*a**2 - 2*a. Is t(-6) a prime number?
True
Suppose 14 = 4*w - 2. Suppose 0 = -0*i + 2*i + 4*q - 8, w*q = -i. Let x = 11 + i. Is x a composite number?
False
Let p(b) = 19*b**2 - b + 1. Let k(g) = g**3 + 7*g**2 + 6*g + 1. Let w be k(-6). Is p(w) a composite number?
False
Suppose -4*j - 5*d = -21, -5*d - 2 = -j - 3. Suppose -i - j*i + 4*t = -191, t - 40 = -i. Is i a prime number?
False
Suppose -2*t + 94 = 2*q - 0*q, -2*t = -3*q - 104. Let l = t + 116. Suppose -n + l = 4*n. Is n a prime number?
False
Let u(r) = r**2 + 8*r + 4. Let n be u(-8). Is n*(2 + (-178)/(-8)) a composite number?
False
Let j = 184 + 145. Is j prime?
False
Let v(s) = -44*s - 9. Is v(-4) a prime number?
True
Is (-45)/36*(-44 + 0) prime?
False
Let s(q) = -q**2 - 9*q + 11. Let c(u) = u**3 + u + 2. Let v be c(-2). Let g be s(v). Let p = 52 - g. Is p prime?
False
Suppose -318 = -h + 323. Is h composite?
False
Let w = -4 + 9. Let a = -3 + w. Suppose 23 = a*x - x. Is x composite?
False
Let p(z) = -13*z**2 - 4*z - 6. Let t(w) = -w**3 - w + 1. Let s(n) = -p(n) - t(n). Suppose 0*o = -4*o - 48. Is s(o) a composite number?
False
Is 12727/165 + 6/(-45) prime?
False
Let y = -216 - -313. Is y composite?
False
Let w = 1 - -2. Suppose 2*d + w*d - 95 = 0. Is d prime?
True
Let q(v) = -v**3 - 9*v**2 + 11*v + 8. Let x be q(-10). Is (3/12)/(x/(-1048)) composite?
False
Let i(g) = g**2 + 2*g + 263. Is i(0) prime?
True
Let c(s) = -s**2 - 11*s + 16. Let a be c(-9). Suppose -2*k - 3*r + 2*r + a = 0, -3*k + 49 = 2*r. Is k prime?
True
Is -1 - (-5100)/5 - 0 prime?
True
Suppose -5*c - 5*f = -10490, 0*f + 2092 = c - f. Is c a prime number?
False
Suppose 3*z - o - 46 = 58, -2*o = 10. Is z prime?
False
Let v(n) = -10*n - 4. Let z(f) = -f. Let p(w) = v(w) - 5*z(w). Is p(-3) a prime number?
True
Let r = 356 - 27. Is r a composite number?
True
Let a(x) = -x**3 + 7*x**2 + 9*x + 9. Let v be a(7). Let b be (2/6)/(6/v). Let u = 17 - b. Is u prime?
True
Let o = 10 - 5. Suppose -3*l - 3*c = -5*l + 3, -o*c - 5 = 4*l. Suppose 0 = 2*x - l*x - s - 28, -5*x + 63 = s. Is x a composite number?
False
Suppose 0 = -r + 4*v + v + 13, 3*v + 9 = r. Let q = r + 0. Suppose -q*x = 96 - 441. Is x prime?
False
Let u(s) = 3*s + 1. Let z be u(1). Suppose -i = -z*i + 21. Is i a prime number?
True
Let a = 2232 - 871. Is a a composite number?
False
Let r(n) = -n**3 - 9*n**2 - n - 9. Let w be r(-9). Let u = 26 + -16. Suppose 2*k - 10 - u = w. Is k a prime number?
False
Suppose 5*h - 6 - 4 = 0. Suppose -30 = -h*b + 80. Is b composite?
True
Let z be 28/(-3) + 2/(-3). Let g(n) = -n**3 - 10*n**2 - n + 4. Is g(z) a composite number?
True
Is (-2)/4 + (-1163)/(-2) prime?
False
Let v(k) = -1 + 47*k - 15*k + 7*k. Is v(2) a prime number?
False
Let m = 1 -