-77 + g. Is o a prime number?
True
Suppose 4*k = -2*q + 530, -4*k + q + 574 = 53. Is k prime?
True
Let u be ((-314)/(-4))/(3/252). Is u/98 + 2/(-7) composite?
False
Let i(u) = 12*u**2 + 13*u + 24. Is i(-17) a prime number?
True
Suppose 2*i = -4*r + 54, -4*i + 210 = i - 5*r. Is i a prime number?
True
Let s(j) = 204*j + 1. Is s(2) prime?
True
Suppose -3*g = -2*w - 860 - 757, 4*w = 5*g - 2693. Is g composite?
False
Let n = 2356 + -3366. Let a = -578 - n. Suppose 0*d + 414 = 2*d - 4*i, -2*d - 5*i = -a. Is d a composite number?
False
Let u = -21 + 19. Let m(k) = 7*k**2 - 1 + 2*k - 3*k + 3*k. Is m(u) a composite number?
False
Let x(u) be the first derivative of -u**4/4 + 3*u**3 + 3*u**2 - 5*u - 2. Let o be x(5). Let a = o - 72. Is a a prime number?
True
Suppose 2*i = -109 + 19691. Is i a prime number?
True
Let p(t) = 148*t + 3. Is p(2) a composite number?
True
Let w(p) = -8*p**2 - 15*p - 7. Let h(v) = -7*v**2 - 14*v - 6. Let j(d) = -6*h(d) + 5*w(d). Let r be j(-10). Let o = -44 + r. Is o composite?
False
Let f(p) = -513*p + 13. Is f(-2) composite?
False
Let l be (4/6 + 0)*6. Let k = l + -1. Suppose -2*h - k*h + 275 = 0. Is h a composite number?
True
Let z = 686 - -149. Is z a prime number?
False
Let o(j) = j**2 - 2*j - 3. Let u be o(3). Let d = u - -2. Suppose 82 = d*w - 216. Is w a composite number?
False
Suppose -3*r - 2 = -4*r. Is ((-1)/(-2))/(r/708) a prime number?
False
Is 35/7*1934/10 prime?
True
Suppose i = 4*i - 150. Suppose 2*y = 5*m + 67, 3*m = 5*m + 5*y + 21. Let o = m + i. Is o prime?
True
Let m(r) be the third derivative of -r**6/120 - 3*r**5/20 - r**4/24 - r**3/2 + 3*r**2. Let l(w) = -w**2 + 6*w - 9. Let y be l(6). Is m(y) a prime number?
False
Suppose -30*n - 5127 = -33*n. Is n composite?
False
Let y(c) = c**2 - 2*c + 2. Let j be y(3). Let t(x) = -x**3 + 7*x**2 + 5. Is t(j) a prime number?
False
Suppose -3*g = -7*g + 2*k + 10, 3*g - 3*k = 15. Suppose 5*u - 5 = g, 2*u = 2*f - 0*f - 224. Is f a composite number?
False
Suppose 1 = 5*c - l + 4, 2*c = -l + 3. Suppose -4*h = -b - 10, -h - 3*h - 5*b - 2 = c. Suppose -3*d - 2*d - 5*z + 420 = 0, 306 = 4*d - h*z. Is d composite?
False
Suppose -10 - 13 = 5*k - 3*b, k + 8 = 4*b. Let p = 27 - -2. Let i = k + p. Is i composite?
True
Suppose -5*f + 146 = 5*g - 404, 445 = 4*f - g. Is f prime?
False
Let d(c) = 2*c**2 + 8*c + 5. Let n be d(-5). Let p = n + 22. Let v = p + 52. Is v a prime number?
True
Let k be 2/(-1) + (-3 - -5). Suppose k = -3*v + 5*s - 42 - 65, -5*s + 136 = -4*v. Let n = 50 - v. Is n prime?
True
Let z(t) = -104*t + 45. Is z(-16) prime?
True
Suppose 4*t + 6295 = 5*i, -i + 5037 = 3*i - 3*t. Suppose 4*n = -2*l + 809 + 203, -5*n + i = 2*l. Is n prime?
True
Let h(f) = 241*f - 4. Is h(3) a composite number?
False
Suppose -t + 2*a + 203 = 4*a, 2*t = -3*a + 410. Is t a prime number?
True
Let x(j) be the third derivative of 1/60*j**5 + 1/24*j**4 + 0 + 1/6*j**3 - j**2 - 19/30*j**6 + 0*j. Is x(-1) a prime number?
False
Suppose 2*a = 5*q - 2177, -3*q + 1511 = -3*a + 212. Is q composite?
True
Let x = -2 + 3. Let s be (x - (-3 + -2))/1. Suppose 94 = s*u - 4*u. Is u a prime number?
True
Let o = 497 + -284. Is o prime?
False
Suppose 311 = -3*d + 1454. Let a = -248 + d. Is a composite?
True
Let z = 3 + -2. Suppose -q = -z - 3. Suppose 0 = q*s + 3*u - 70, 5*u = -s - 3*s + 66. Is s composite?
False
Suppose -5*k + 2*n = -8, -2*n + 8 = 3*k - 0*n. Suppose -6*u + 1072 = -k*u. Suppose 3*c = h + u, c - 80 + 14 = 5*h. Is c prime?
False
Suppose l - 6 = 3*l. Is 1449/18 + l/2 a prime number?
True
Let k(p) = p**3 + 7*p**2 + p + 2. Let m be k(-5). Suppose -i + m = -20. Is i a composite number?
False
Let o = 1023 - 580. Is o prime?
True
Let m be (6/9)/(2/18). Suppose 5*q + 3*s = 1544, -m*q = -q - 3*s - 1526. Is q a prime number?
True
Suppose -n = -2*n + 217. Is n composite?
True
Let q(i) = 5*i**3 + i + 11. Is q(5) prime?
True
Let d = -1 + 7. Suppose 0 = d*r - 2*r - 492. Is r a composite number?
True
Let x = 4 + -1. Suppose t + 5*f - 255 = -t, t = x*f + 100. Is t prime?
False
Suppose -3*a + s = -1052 - 2237, 5*a = 3*s + 5479. Is a a composite number?
False
Let u = 2424 - 1357. Is u prime?
False
Let r = 359 + -192. Suppose 2*c = 155 + r. Suppose -29 = 4*m - c. Is m a prime number?
False
Let u be 0 - -1 - (-3)/3. Suppose -2*w + 4*q - 265 = -7*w, -u*w - q = -103. Suppose 21 = 5*g - w. Is g a composite number?
True
Suppose 5*o - 212 - 518 = -4*f, -4*o + 585 = 3*f. Suppose 0 = 4*x + 164 - 864. Suppose -4*a - w = -o, 0*a + x = 5*a - 5*w. Is a a prime number?
True
Suppose 3*s - 138 = -0*s. Let m = s + -27. Is m composite?
False
Let v = -183 - -1436. Is v prime?
False
Let k = -390 - -1901. Is k prime?
True
Suppose -2*p - w + 80 = -5*w, 3*p - 3*w - 114 = 0. Let t(r) = -3 + p*r + 3 - 1. Is t(1) prime?
False
Let r(z) be the third derivative of -z**5/60 + 7*z**4/24 - z**3 + 4*z**2. Is r(4) a prime number?
False
Let z be 8 - 2/6*0. Suppose -48 = -4*n - k, -26 = -5*k - 6. Let v = z + n. Is v composite?
False
Suppose -5*k + 199 = -221. Is 24/k + 4098/14 a prime number?
True
Let d = 29 + -17. Is 11*(-4)/(d/(-93)) prime?
False
Let n(a) = 10*a + 1. Suppose 27 = -0*y + 3*y. Is n(y) composite?
True
Is (-1 + 1348)/(5 - 2) a prime number?
True
Let b(o) = o**3 - o**2 + 0*o**3 + 4*o**2 - 2*o - 3. Let k be b(-2). Suppose 0 = -5*y - 2*x + 185, k*x - 3*x + 49 = y. Is y a prime number?
False
Let q(d) = -d**3 + 6*d**2 + 11*d - 10. Let p be q(7). Suppose 3*g + 3*m - 8 = m, 4*g - p = m. Is 143/4 + (-3)/g composite?
True
Let z = 6 + -3. Let q be 37/z + (-2)/6. Is (49/(-21))/((-2)/q) a prime number?
False
Suppose -3*g + 2*v + 65 = 10, 30 = g - 3*v. Is g a composite number?
True
Suppose -4*p = -3*p + 4. Let a(k) = -42*k - 9. Is a(p) a prime number?
False
Let y(w) = 4*w + 2. Let a = 3 - 1. Suppose 4*j - q = 14, 4*q = a*j - 22 + 8. Is y(j) a composite number?
True
Let w(y) = -y**3 - 4*y**2 + y + 5. Is w(-7) a prime number?
False
Is 163*((-3)/3)/(-1) prime?
True
Let h(c) be the second derivative of -c**4/12 + 3*c**2 - 2*c. Is h(0) a composite number?
True
Suppose i = -3*i - 20. Let c = i + 102. Is c a composite number?
False
Suppose 0 = 2*k - 235 + 45. Let p = k + -51. Suppose -p = -2*z - 6. Is z composite?
False
Let p(i) be the first derivative of 7*i**3/3 - i**2/2 - 7*i + 1. Let k(l) = -l - 3. Let q be k(3). Is p(q) composite?
False
Suppose 0 = -3*t + 6. Let d(u) = 9*u**2 - 2. Is d(t) composite?
True
Let g(v) = -167*v - 6. Is g(-4) prime?
False
Let w = 310 - -3961. Is w composite?
False
Let q(w) be the first derivative of 4*w**3 - 3*w**2 + w - 2. Is q(-5) a composite number?
False
Let g be (-4)/(-6) + (-2)/(-6). Is (4 + -2 - g) + 20 prime?
False
Is ((-55)/(-10))/((-1)/(-34)) prime?
False
Let n(i) = i**3 + 4*i**2 + 2*i + 2. Let s be n(-3). Suppose -6 = 4*b - s*b. Is b a prime number?
False
Suppose -h - 4 = -3*h. Suppose 3*d - 160 = -4*t - t, -h*t + 5*d = -33. Suppose -8 + t = c. Is c composite?
True
Suppose 4*v + 2*z = z + 7038, 3*z - 8801 = -5*v. Is v prime?
True
Let d(x) = -239*x + 8. Is d(-5) a composite number?
True
Suppose -5*a + 4*z = -9219, 0*a - z + 5528 = 3*a. Is a a prime number?
False
Is (14*(-1)/3)/((-2)/51) a composite number?
True
Let a(b) = 6*b**2 + 4*b + 2. Is a(-4) prime?
False
Let c(v) = -2*v + 10. Let a be c(7). Let f = a - 21. Is 3*(f/(-3) + -2) a prime number?
True
Is 2*(-2)/(-8)*(170 + 4) a composite number?
True
Suppose -3636 = 3*l - 13089. Is l a composite number?
True
Is (-4 - 2005/(-15))*3 a prime number?
True
Suppose -3*t = -2*w - 18, 4*w - 12 = -2*t + 2*w. Suppose -6 - t = -3*i. Suppose -i*v - 20 = -112. Is v prime?
True
Let g = 363 - 214. Is g a composite number?
False
Let l = 347 - 134. Is l a composite number?
True
Is (-2)/6 - 200/(-15) a prime number?
True
Suppose -2*w - i = -1, -8*w = -3*w + i - 10. Is 235/(-2)*(w - 5) a prime number?
False
Suppose -2*i = 3*i + 5*p - 945, 8 = -4*p. Is i a composite number?
False
Let x(r) = 9*r**2 + 2*r + 1. Let i be x(2). Suppose 0*a + 2*a = 6, -v + 4*a + i = 0. Is v composite?
False
Let k = 177 - 106. Is k a prime number?
True
Let f = 1089 - 529. Suppose x = f - 111. Is x composite?
False
Suppose 0*k - 4*k - 2*f + 6 = 0, -5*k + 5*f + 15 = 0. Let v = k - 0. Suppose -6 = h - v*h. Is h a composite number?
True
Let l(i) = -4*i**2 + 5*i - 5. Let t(s) = -2*s**2 + 2*s - 3. Let d(k) = 2*