-4*p + 2*g = -8624, -3*g - 8630 = -4*p - 4*g. Is p a prime number?
False
Is (-3429)/(-21) - (-3 + 69/21) a prime number?
True
Let a = 13 + -15. Is a + 117 + 2 - -2 a composite number?
True
Is 2053 - ((-2)/7 + 10/35) a composite number?
False
Let q(m) be the second derivative of m**4/12 + 7*m**3/6 - 13*m**2/2 - 4*m. Is q(-11) composite?
False
Suppose y - 5*n = -16 - 6, 0 = 5*y + 2*n - 25. Suppose y*i - 151 = 80. Is i prime?
False
Let h(z) = -250*z - 9. Let u(w) = 83*w + 3. Let p(f) = 3*h(f) + 8*u(f). Suppose 5*b = -3*x - 7, b + 3*b = -x - 7. Is p(b) prime?
False
Let o be (0 - (-12)/(-9))*-18. Suppose -3*b = 3*r - 72, 2*b = -r - 3*b + o. Let s = r + -17. Is s prime?
True
Let r(q) be the first derivative of q**3 + 7*q**2/2 - q - 4. Is r(-6) prime?
False
Let p be (-2)/((-6)/21) - -3. Let h(a) = -25*a**3 - a**2. Let i be h(-1). Let w = i - p. Is w a prime number?
False
Suppose 3*i - 84 = -3*o, 3*i = -0*o - 4*o + 80. Suppose 12 = -4*n, -2*v + n = -2*n - 117. Let f = v - i. Is f a prime number?
False
Let d = 2 + -10. Let o(b) = 11*b - 4. Let m(n) = 34*n - 11. Let c(y) = -3*m(y) + 8*o(y). Is c(d) a prime number?
True
Let i be 9/6*20/6. Suppose -4*x + 747 = -4*z + 5*z, 4*x + i*z = 743. Is x composite?
True
Suppose 21*r = 9*r + 4452. Is r composite?
True
Let y(u) = u**3 + 7*u**2 + 4*u - 1. Suppose -4 = -2*i + 3*i. Is y(i) a composite number?
False
Let h(f) be the first derivative of 3 + 16*f - 2*f**2 + f**2 - 15*f + 14*f**2. Is h(3) a composite number?
False
Is 1 + -2 + (-25800)/(-10) prime?
True
Let o(v) = 3*v**2 + v + 1. Let t be o(-1). Suppose -36 = -j - 3*j. Suppose -204 = -t*d - j. Is d a composite number?
True
Let p(u) = -9*u + 1. Suppose -2*a + 6 - 16 = 4*j, -4*a = 2*j + 2. Let l = a + -3. Is p(l) prime?
True
Let u be (8/6)/(2/12). Suppose 0 = 2*t + 2*t + u. Is 7*6/(-4)*t a composite number?
True
Suppose 4*z - 150 = z. Suppose a + z = w + 4*a, 3*w - 143 = -2*a. Is w a composite number?
False
Let r(t) = -25*t - 1. Suppose -v = 3*m - 2*v - 7, 2*v - 10 = -2*m. Let i be (2/(-2))/(m/6). Is r(i) a prime number?
False
Let k be (-4)/10 - (-48)/20. Suppose -2*q + 2 = -k*j + 6*j, 0 = -5*q + 4*j + 33. Suppose -2*x + 81 = q*t, -x - 4*t - 47 = -2*x. Is x prime?
True
Suppose -159 = -3*o - a - 2*a, -5*o = a - 257. Is o a composite number?
True
Suppose -h + 127 = 4*v, -5*v = -h - 2*h + 398. Is h prime?
True
Suppose -4*w - 273 = -853. Is w prime?
False
Suppose 0 = 3*w - 3*f - 618, w - 1050 = -4*w + f. Is w a prime number?
True
Let g = -1044 - -408. Is 2/(-10) + g/(-5) a prime number?
True
Let s = 57 + -118. Let u = s - -128. Is u a prime number?
True
Let y(p) = 15*p - 3. Let b be y(7). Suppose -2*i - h = -b, 3*h - 327 + 127 = -4*i. Is i composite?
False
Suppose 0 = 4*d + 2*w - 120, 5*d - 124 = 4*w - 0*w. Let y = 43 - d. Is y a prime number?
False
Let d = -187 + 304. Suppose r = 2*i + 111, 4*i - 2*i = -r - d. Let l = -38 - i. Is l a prime number?
True
Suppose q + 5*w = 701, 2*q = -5*w + 754 + 648. Is q a prime number?
True
Let n(v) = -9*v - 10. Is n(-7) composite?
False
Suppose -2*c - 91 + 239 = 0. Is c prime?
False
Is -3 + 4884/26 + 8/52 a prime number?
False
Let h(a) = a**3 - 8*a**2 + 13*a + 7. Is h(10) composite?
False
Suppose -5*w - 1 - 14 = 0. Let i be (-3*2/w)/2. Is 26/i*1/2 a composite number?
False
Suppose 0 = 3*f - 59 + 2. Let k = 72 - f. Is k a composite number?
False
Let m(p) = p. Let z be m(6). Suppose 4*o - z*o + 136 = 0. Suppose -q = -4*f + 2*q + o, 3*f - q - 46 = 0. Is f prime?
False
Let s = 150 + 164. Is s prime?
False
Let z be 1*(6/(-3) - -5). Suppose -2*l = -5*l - 4*w + 56, 103 = 5*l - z*w. Suppose 4*n - l = -n. Is n a prime number?
False
Let w = 29 + -58. Let v = 54 + w. Is v composite?
True
Suppose 0 = -3*z - 5*a + 10, -29 = 2*z - 2*a - 9. Let n(t) = -3*t**2 - 12*t - 12. Let g(h) = -6*h**2 - 23*h - 23. Let y(o) = -6*g(o) + 11*n(o). Is y(z) prime?
False
Let n = -545 + 862. Is n composite?
False
Is 1/(2*(-4)/(-1016)) a composite number?
False
Suppose -3*y + 730 = -191. Is y composite?
False
Let i = -22 + 48. Is i composite?
True
Let z(a) = -9*a - 1 - 47*a + 10*a. Let k be z(1). Let i = k + 69. Is i a prime number?
False
Let d be ((-15)/(-9))/((-1)/(-3)). Suppose 4*x = 0, -s + 5*s = d*x + 236. Is s a composite number?
False
Let g be 2 + (-42)/(3 - 2). Let a(x) = -5*x - 5. Let h be a(5). Is (g/(-12))/((-4)/h) composite?
True
Suppose v = 5*v - 184. Is v a composite number?
True
Let u be -10*3/(-12)*2. Let v(b) = 2*b**3 - 7*b**2 + 4*b - 6. Is v(u) composite?
False
Suppose t - 8 - 2 = 0. Is t + -13 + 1 + 99 a composite number?
False
Suppose -5*x + 1559 + 2101 = -5*u, 3*x - 2*u - 2198 = 0. Is x a prime number?
False
Let d be ((-114)/(-7))/(2/(-14)). Let r = -71 - d. Is r prime?
True
Let w = 11 + -15. Let f = w - -5. Is (78 + f)*(-2 + 3) a composite number?
False
Let f be (-50)/(-4) + 2/4. Suppose 3 = -2*x + f. Suppose 3*k = -x*n - 7, k + n - 1 + 0 = 0. Is k composite?
True
Suppose 9 = 4*b + 1. Suppose r - 201 = -b*r. Is r prime?
True
Let m(c) = c**3 - 6*c**2 - 11*c - 4. Let y be 3 + 1 + 2 - -2. Let b be m(y). Let h = b - 13. Is h prime?
True
Suppose 5*i - 2318 = -3*a, 3*i - 1552 = -2*a + i. Is a a composite number?
True
Is ((-6)/(-2))/((-24)/(-2936)) a composite number?
False
Let r = -217 + 696. Is r prime?
True
Let m be (-4)/10 - 6/(-15). Suppose 0 = -0*l - 2*l + d + 1351, m = -d + 3. Is l composite?
False
Let l(c) be the second derivative of 35*c**3/6 + 4*c. Suppose -3*m - 1 = -4*m. Is l(m) composite?
True
Suppose -2*w - a + 630 = 0, 596 + 979 = 5*w - 5*a. Suppose 22 = -2*r - 3*u + w, 2*r - 5*u - 285 = 0. Is r prime?
False
Suppose -155 = -5*q - d + 3*d, -5*q = 5*d - 120. Let c = q - -13. Suppose -2*x = -5*z + 159, x + 2*x - c = -z. Is z a composite number?
True
Is (3/(-1))/3*-467 a prime number?
True
Let o(n) = 7*n**3 - 5*n**2 - n - 8. Let b(d) = 20*d**3 - 14*d**2 - 2*d - 24. Let w(v) = -6*b(v) + 17*o(v). Let s be w(-6). Is s/6 - (-6)/9 a composite number?
False
Let c(n) = 19*n**2 - 22*n - 7. Is c(-6) a composite number?
False
Let m be 2/(-9) - (-25)/(-9). Let a = m - -5. Suppose -v = -5*k - 52 - a, -148 = -4*v + 3*k. Is v a composite number?
True
Let x(d) = d**3 + 11*d**2 + 11*d + 5. Let l be x(-10). Let y be (l - -1)*43/(-4). Let j = 10 + y. Is j a composite number?
False
Suppose -2*w + 13 = -23. Let g(r) = r**3 + 4*r**2 + 2. Let i be g(-4). Suppose -5*k - i*x + 118 = w, k - 2 = -4*x. Is k composite?
True
Let m(f) = -f**2 - 5*f - 6. Let b be m(-5). Let d(v) = v + 1. Let h(i) = 5*i + 1. Let a(p) = -6*d(p) - h(p). Is a(b) a prime number?
True
Let k(z) = -z**3 + 2*z**2 - z - 11. Is k(-9) prime?
False
Suppose d = 2*d - 84. Suppose 35 + d = v. Is v a composite number?
True
Suppose -o = 3*i + 2*i - 15, 0 = -o - i + 7. Suppose 275 = o*n + 5*z, -4*n - 2*z + 5*z = -234. Is n composite?
True
Suppose -16*t = -15*t - 2099. Is t a composite number?
False
Let d = 2298 - 539. Is d a prime number?
True
Let x(q) = -8*q - 3*q + 2*q**2 + 9 + q + q. Is x(8) composite?
True
Is 2/4*(0 + 134) a prime number?
True
Let v = -62 - -102. Suppose 2*k - 6*k + 47 = -p, -5*p = -5*k + v. Suppose 4*a - 4 = 0, k = b - 3*a + 5*a. Is b prime?
True
Let l(g) = 21*g + 6. Let j be l(8). Suppose -5*k + 2*k = -j. Let a = 29 + k. Is a a prime number?
False
Suppose 0 = x + 5, -2*q = -3*x - 2*x - 1735. Let s = 1234 - q. Is s a prime number?
True
Suppose -2*t + 0*o + 11 = 3*o, 65 = 5*t - 5*o. Is t a prime number?
False
Let r = 2 - 2. Let x(d) = -d**3 + 46. Let s be x(r). Suppose -l - 5*n = -3*l + 77, 4*n = l - s. Is l prime?
False
Let g(f) = 81*f**2 + 7*f - 4. Let c(q) = -41*q**2 - 4*q + 2. Let i(m) = 11*c(m) + 6*g(m). Is i(-2) composite?
True
Let m be ((-98)/8)/((-1)/(-4)). Let j = 39 + -125. Let s = m - j. Is s prime?
True
Let d(q) = q + 4. Let r be d(-7). Let x be (0*r/(-6))/(-2). Suppose c - 28 - 37 = x. Is c prime?
False
Let g(y) be the third derivative of -y**5/60 + 5*y**4/8 - 5*y**3/3 + 6*y**2. Is g(8) prime?
False
Suppose 4*p - 776 + 12 = 0. Is p a composite number?
False
Let k = -369 + 935. Suppose 551 = 3*x + 2*d, -3*x + d + k = -0*x. Is x a prime number?
False
Let s(f) be the first derivative of -4/3*f**3 - 1/2*f**4 + 4*f**2 - 2 + 3*f. Is s(-5) a prime number?
True
Let q be (2/(-2) - -1)*-1. Suppose q = -3*z - 180 + 975. Is z prime?
False
Suppose f - 12 = 2*k - 6*k, 0 = -2*f + 3