 composite?
False
Let b be (0 - (2 + -1))*2. Let x = b + -1. Is 96*(x + 5) + -1 a prime number?
True
Suppose -4*o - 2*y = -10, -y = -3*o - 2*o - 5. Suppose -x = -50 - 57. Suppose 4*f - x - 25 = o. Is f prime?
False
Suppose 0 = 13*y - 14*y + 1063. Let i = y + -518. Is i prime?
False
Let q = 40042 - 27511. Is q prime?
False
Let w(o) = 5*o**3 + 4*o**2 - 7*o - 9. Let i = -57 + 61. Is w(i) prime?
True
Suppose 0 = -6*r + 2*r. Let d = 5 - r. Suppose -2*q - 2*x + 705 + 777 = 0, -3*q = d*x - 2219. Is q a composite number?
False
Suppose -3*i - 2926 = -25*i. Is i a composite number?
True
Let s(a) = 2*a**3 + 4*a**2 - 11*a + 10. Let x be s(7). Suppose 5*h = 2*c + 807, 2*c - x = -5*h - 12. Suppose -h = -3*n + 70. Is n prime?
False
Let d(k) be the second derivative of -k**4/4 - k**3/6 + 169*k**2/2 - 23*k. Is d(0) composite?
True
Suppose 80763 = -103*w + 106*w. Is w a composite number?
False
Suppose -2*v = -6, -2*v = 2*i - 5*i + 9. Suppose 265 = -i*o + 10*o. Suppose u + 0*u - o = 0. Is u composite?
False
Suppose 0 = -5*k + 3 + 22. Suppose -3*a + 13 + 3 = -2*s, 10 = -5*a - 4*s. Is k/(30/153)*a prime?
False
Let o(k) = 1. Let n(z) = -447*z - 5. Let j(u) = -n(u) - 6*o(u). Let g be j(1). Let a = g - 301. Is a composite?
True
Let j(z) = -254*z - 57. Is j(-7) a prime number?
True
Let j be -6*18/(-4) + 2. Suppose 4*n - 129 = -j. Is n composite?
True
Let d(z) = -808*z + 9. Let b be d(-5). Let c = b + -5906. Let x = -458 - c. Is x a composite number?
False
Let a(i) = 181*i**2 + i. Let r be a(1). Suppose -2*y = -d + r, 6*d - 174 = 2*y + 3*d. Let s = 182 + y. Is s a prime number?
True
Suppose 4*q = -d + 911 - 114, -5*q + 3144 = 4*d. Let b = d + -98. Is b a prime number?
True
Suppose 0 = -18*z + 22*z - 24. Is ((-1329)/z)/(10/(-20)) a composite number?
False
Let s(n) be the second derivative of n**4/12 - 3*n**3/2 + 5*n**2 + 7*n. Let v be s(7). Is ((-2922)/v)/(36/24) a prime number?
True
Let u(d) = 114*d**2 + 1. Let h be u(1). Let v = h - 7. Suppose 48 = 4*l - v. Is l prime?
False
Suppose -y + 4*b + 12 = 0, -y - 4*b + 6 = -14. Suppose y*v + 1709 = 17*v. Is v a prime number?
True
Suppose 0 = 2*x - p - 6, 2*x - 7*x = 5*p. Suppose 0*q + b = -q + 14, 0 = 4*q - x*b - 44. Is 2961/54 - (-2)/q prime?
False
Suppose 2 = -4*m - 2, -15 = x + 3*m. Let q = 13 + x. Is (407/22)/(q/2) a composite number?
False
Let q(n) = n + 5. Let a be q(-1). Suppose -624 = -2*g - 5*j, a*j + 3 + 5 = 0. Is g prime?
True
Suppose -5*d - 651 = 1679. Let s = d + 2451. Is s a composite number?
True
Let u(i) = 5*i - 7. Let k be u(5). Suppose 2*n + 5*r + 20 = 7*n, 4*r + k = 5*n. Suppose -2*t + 24 = 3*x - 18, 0 = n*t + 5*x - 50. Is t composite?
True
Let s(n) = -3793*n**3 + 7*n**2 + 2*n + 3. Let w(r) = 1896*r**3 - 4*r**2 - r - 2. Let z(m) = -4*s(m) - 7*w(m). Is z(1) a composite number?
False
Suppose 2*r = 5*r - 4*i - 13025, -3*i = -r + 4345. Is r prime?
True
Suppose -1 - 11 = 3*s, 2*s = -5*p + 2. Let i be 715/(-10)*(-4)/p. Let c = i - 64. Is c prime?
True
Suppose 44369 = 20*n - 7*n. Is n a prime number?
True
Suppose -4*p = -10 - 6. Suppose 52 = p*k - 32. Suppose 0 = -i - 1, 5*i - 50 - k = -4*x. Is x a composite number?
False
Let l(h) be the second derivative of h**4/12 + h**3 + 3*h**2 - 5*h. Let x be l(-6). Suppose 10*g - x*g = 52. Is g a prime number?
True
Let a = -39 + 31. Let t(w) = w**3 + 6*w**2 - 17*w - 9. Let f be t(a). Let b(d) = -109*d + 2. Is b(f) composite?
True
Suppose -8320 = -4*x - 4*p, -x = -3*x + p + 4154. Is x a prime number?
False
Let p be 178*(1 - -4 - 4). Suppose b - p - 13 = 0. Is b a prime number?
True
Suppose 2*k - 44 = -3*z, z + 41 = 4*k - 61. Suppose -2*r + 685 + k = 0. Is r prime?
False
Let o be (-30005)/(-45) + (-2)/(-9). Suppose 0 = 4*m - o - 8281. Is m a composite number?
False
Let t(d) = d**3 + 10*d**2 + 30*d + 15. Is t(31) a prime number?
False
Suppose 13*c - 1273929 - 451106 = 0. Is c prime?
False
Let c(s) = 75*s + 1. Let d be c(-1). Let t = 5 - d. Is t composite?
False
Let z be (-740)/(-3)*(945/6)/(-7). Let m = -3643 - z. Is m a composite number?
False
Suppose 0 = -4*j + 5*j - 1625. Suppose -5275 = -4*g - 4*b + j, 8597 = 5*g - 2*b. Is g composite?
False
Suppose 7*z = 120 + 797. Is z a composite number?
False
Suppose g - 5*i + 15 = 6*g, 4*i + 18 = 2*g. Is (-275)/(-1) - 20/g a prime number?
True
Let d(s) = -s**2 - s + 1. Let o(j) = 18*j**2 + 5*j - 2. Let t(r) = -4*d(r) - o(r). Let p be t(2). Let b = 145 + p. Is b prime?
False
Let f(g) = 15*g - 5. Let y(c) = 31*c - 11. Let u(t) = 5*f(t) - 2*y(t). Suppose -3*p = 5*v - 30, p - v = -p + 20. Is u(p) prime?
True
Let m = -26 - -27. Is (-111)/(-3) - (-2 + 1 + m) a composite number?
False
Is -1*(15/3 - 5986) a prime number?
True
Suppose -2*a = 2, 0 = -2*k + 6*a - 5*a - 15. Let q = k + 487. Is q prime?
True
Let w = 157 - 117. Suppose -w*m = -41*m + 3659. Is m a composite number?
False
Let u(d) be the second derivative of -7*d + 0 + 5/2*d**2 + 133/6*d**3. Is u(4) a composite number?
True
Let m = 8 + -6. Suppose -5*a - s = -2213, -5*s = m + 8. Is a prime?
True
Let u = 17104 - -14977. Is u a prime number?
False
Let o(m) = -4538*m - 89. Is o(-6) prime?
False
Suppose -5*j + 13 = -4*k, -5*j + 6 = -k - j. Let f be (2 - (-1 + -2)) + k. Suppose -t + 431 = t - f*a, 872 = 4*t - 4*a. Is t a composite number?
False
Suppose 1140 - 5 = h. Is h prime?
False
Let o = -16 - -18. Suppose -4*q - 3*y - 9 = 2*y, -o*q - 21 = -3*y. Is (-4)/q*669/2 composite?
False
Suppose 0 = -2*k - 0 - 2. Is (-7)/(7/(-122)) + k prime?
False
Suppose -5*a = 52 + 843. Let i = a - -491. Suppose p + i = 4*z - 4*p, z - p = 79. Is z prime?
True
Suppose -t - 1 = -0*t. Let n be (3 - t/(-1))/1. Suppose -3*s - n*h - 8 = -159, s - 52 = h. Is s a composite number?
True
Is 1891 - -30 - (6 + 0) prime?
False
Is (-160)/20 + 73353/3 composite?
False
Let x(h) = -265*h - 9. Let u be (3 + 0 + 1)/(67 - 69). Is x(u) a prime number?
True
Is 9/12 - (-21521)/4 prime?
True
Suppose 0*u + 2412 = 4*u + t, 2388 = 4*u - 5*t. Let z = u - 93. Is z prime?
True
Let a be ((-6)/(-21))/1*7. Suppose p - 3173 = -a*o, 5*o = -5*p - 0*p + 7920. Is o a composite number?
True
Suppose 0 = -5*c - 504 - 451. Let y = 104 - c. Is y a composite number?
True
Suppose 0 = -w + 688 + 7351. Is w prime?
True
Is (-554)/(110/(-25) + 4) a composite number?
True
Let k(l) = -12*l**2 + 2*l + 21817. Is k(0) prime?
True
Let b be ((-60)/(-25))/(9/60). Suppose 0 = 2*d + 5*k - 10, -4*d + k = 8 + b. Let h(z) = z**3 + 11*z**2 + 2*z + 1. Is h(d) composite?
True
Suppose 18*i - 33035 = 13*i. Is i prime?
True
Is (-40 + -358594)*2/(-4) a prime number?
True
Let o = 55 + -52. Suppose -2*i = z - 5159, 0 = o*i + 2*z - z - 7737. Is i composite?
True
Let x be (-1 - (-4977)/5)/((-24)/(-420)). Suppose x = k + 21*k. Is k a prime number?
False
Let n(c) be the third derivative of -1/6*c**4 - 3/2*c**3 + 1/20*c**5 - 3*c**2 + 0*c + 0. Is n(-7) a prime number?
False
Let f = 34 - 32. Suppose -f*p - 358 = -4*p. Is p composite?
False
Suppose -3*g + 4174 = -g. Let p = g - 1198. Is p prime?
False
Is (-27933)/2*(-86)/129 prime?
True
Let r be 0/2 + 0 - 0. Suppose -2*b + 3 - 1 = -2*t, 5*t + 5 = r. Suppose b = -5*l + l + 3668. Is l composite?
True
Let t(a) = -4*a**3 + 4*a**2 + 113*a - 104. Is t(-27) a composite number?
True
Suppose -s = -3*a - 1 + 3, -4*s = -3*a - 10. Suppose -6 = s*n - 18. Is n a prime number?
True
Let p = -4681 - -19374. Is p a prime number?
False
Let a(j) = -21*j**3 - 2*j**2 + 2. Let k be a(-2). Suppose -3*y + k = s, 4 + 1 = -y. Let h = s - -194. Is h a composite number?
True
Suppose 11*h - 3*h - 13432 = 0. Let j = 182 + h. Is j a composite number?
False
Let o be (-3)/6 + 7/2. Let s(c) = -3*c**o + 8*c + 2*c**3 - 7 + 9*c**2 + 2*c**3. Is s(-7) composite?
True
Is 3*(10 + -11) - (-58164 + 0) a composite number?
True
Suppose -u + 9 - 10 = 0. Is (1870/(-10))/(0 + u) a composite number?
True
Let y be -11 + 23 - 6/2. Is 3 + 9/(y/1274) composite?
False
Suppose 1612 = 4*c - 2*z, -10 = -2*z - 3*z. Let p = c + -243. Is p composite?
True
Let c(g) = 2*g**2 - g + 1171. Suppose 4*n = 3*y - 2*y, 0 = -n - 3*y. Is c(n) prime?
True
Let f(z) = -4*z**3 + 7*z**2 - 16*z - 18. Is f(-5) prime?
False
Suppose 28776 + 5958 = 21*t. Is t a prime number?
False
Let h(g) = -33*g + 26669. Is h(0) a prime number?
True
Let z(s) = 6*s + 10*s - 3 - 26*s + 8*s + 128*s**2. Is z(-4) a composite number