872. Is s composite?
True
Suppose -5*w + 14 = -p - 14, -13 = -2*w + p. Suppose 2*r = 3*j + 12, 4*j = 3*r - 26 + 9. Suppose 0 = q - r*v - 62 - 33, w*q + 3*v - 439 = 0. Is q prime?
True
Suppose -4*a = 3*w - w + 6, -9 = 3*a. Suppose o - 16 = w*o. Let r = o - -57. Is r composite?
True
Suppose 6*r = -20 + 8. Let o(k) = 3*k. Let p be o(2). Is -3*r/p + 292 a prime number?
True
Let y be (-58)/(-15) + (-392)/210 + 2. Let n(j) be the first derivative of 20*j**2 + 3*j - 1. Is n(y) a prime number?
True
Suppose 0 = k + 2*t - 937, 0 = -k + 3*t + 1332 - 380. Is k prime?
False
Let v = 12 + -12. Suppose 151 = 2*h - o, -3*h - 3*o + 2*o + 229 = v. Suppose -5*n + h = -19. Is n prime?
True
Let d be (3 - 4)/(3/3). Let m be d/(-4) - 27/(-4). Suppose -m*f = -11*f + 316. Is f a prime number?
True
Is (-4 - (-136)/32) + (-11286)/(-8) composite?
True
Is (34172/16)/((-19)/(-76)) a composite number?
False
Let d(n) = -n**3 + 3*n - 3. Suppose -4 - 2 = -3*j. Let g be d(j). Let y(t) = 7*t**2 + 2*t - 4. Is y(g) a composite number?
True
Let v(n) = 47*n**2 + 13*n - 20. Let b(j) = 12*j**2 + 3*j - 5. Let f(i) = -9*b(i) + 2*v(i). Let p be f(-4). Let l = -118 - p. Is l a composite number?
False
Suppose 0 = -23*n + 12*n + 28259. Is n composite?
True
Let y(j) = 2591*j**2 - 19*j + 41. Is y(4) prime?
False
Let i(q) = 27*q**2 - 42*q + 14. Is i(5) composite?
False
Suppose 3397 = 5*d - 4748. Suppose -3*f = -3*c + 3819, -5*f - 911 = -2*c + d. Suppose -c = -5*x + 5*a, 20 - 518 = -2*x + 5*a. Is x a prime number?
False
Let f = -8987 + 17950. Is f a composite number?
False
Let y = 11526 + -5297. Is y a composite number?
False
Let y(k) = -32*k**3 + k**2 + 4*k + 3. Let i be y(-2). Suppose 2*h - 2*a = 1820, -h - 5*a + 637 = -i. Is h prime?
True
Suppose 46*s - 348 = 40*s. Is s composite?
True
Let t be 5 - (-3 - 0 - -8060). Is t/(-51) + 2/17 composite?
True
Suppose 3*k = -2*t + 4*t + 2, -2*k = 4*t - 28. Suppose 0 = 5*u + 2*i - 12215, t*u - 4*i + 337 = 12552. Is u composite?
True
Let n be (-520)/(-3) + (-5)/15. Suppose -500 = -r + n. Is r prime?
True
Let q(l) = -l**3 + 8*l**2 + 18*l - 9. Let c be q(12). Let x = -168 - c. Is x composite?
True
Suppose -14*n - 9 = -11*n. Is (516 + -2)/(-1 - n) a prime number?
True
Let v(w) = -w**3 + 7*w**2. Let y be v(7). Suppose 738 = q + q. Suppose y*l = -3*l + q. Is l prime?
False
Let s be (182/(-8))/(3/(-348)). Is (-4)/18 + s/9 a composite number?
False
Let c be 0/((-1)/(2/(0 - 2))). Suppose 3*m - 376 = -w, 0 = -3*w - c*m + m + 1178. Is w prime?
False
Let p = 131 - 85. Let h = 79 - p. Is h composite?
True
Let s(x) = -x**3 - 3*x**2 + 22*x - 9. Let c be s(-12). Suppose 2*j - 1887 = -5*g, -2*g - 249 = -4*j - c. Is g a composite number?
False
Let w = -45 + 49. Is w/8 + (-8910)/(-12) a composite number?
False
Suppose -2*y - 10924 = -2*u, -u + 0*u + 2*y = -5458. Suppose 1379 = s - 2*i, -2*i = -2*s + 6*s - u. Is s prime?
False
Suppose 168*i + 88049 = 181*i. Is i a composite number?
True
Let z be 9 - (-4 + (-2 - -9)). Suppose -z*u = -5*u - 179. Is u a prime number?
True
Let a be -3*((-10)/(-3))/1. Let c(f) = -35*f - 12. Let j(i) = -33*i - 11. Let p(w) = -6*c(w) + 7*j(w). Is p(a) prime?
False
Is -863*3/3*-3 composite?
True
Suppose v + 4*h - 347 = 0, 7*h = 4*v + 2*h - 1451. Let m = 595 - v. Suppose -7*z + 11*z - m = 0. Is z prime?
True
Let n = 880 - 429. Is n a prime number?
False
Let y = 9317 - 6576. Is y prime?
True
Suppose 0 = 4*m - 16, -7*s - 4*m + 3692 = -3*s. Is s a composite number?
False
Suppose -308882 = 29*d - 1202459. Is d prime?
False
Let v be 1/((-20)/235) + (-2)/8. Is (-2)/8 - (-1 + 17007/v) a prime number?
False
Let p = -2277 - -1585. Let z = p - -1035. Let r = z - 4. Is r a prime number?
False
Let x(c) = -c**3 + 10*c**2 - 13*c - 2. Let d be x(8). Suppose -d*t = -25*t. Suppose t = 4*r - j - 439 - 29, 0 = 5*r + 2*j - 598. Is r composite?
True
Let h(b) = 3*b**3 - 3*b**2 - 69*b - 5. Is h(14) a prime number?
True
Let z be (3 - 215*2) + -1. Let j = z - -613. Is j composite?
True
Let j(p) = -p**3 + 15*p**2 + 6*p + 10. Let y be j(12). Is (-4 + 2)/((-4)/y) prime?
True
Let w(i) = -107*i + 16. Let u be w(-9). Suppose -x + u = 177. Is x prime?
False
Suppose -2*i = -1092 - 1072. Let f = i - 703. Is f a composite number?
False
Suppose 5*v = -2*w - 873, 8*w = -3*v + 3*w - 520. Suppose -20*n = -16*n + z + 226, 0 = -4*n - 3*z - 222. Let k = n - v. Is k composite?
True
Let l(r) = r + 1. Let y(h) = h + 4. Let t(q) = 5*l(q) - y(q). Let u be t(1). Suppose -2*b + 3*b = -u*s + 330, 2*s = -4*b + 114. Is s prime?
True
Let t(q) = q - 2. Let m be t(2). Suppose 3*u + 3*p - 630 = -m*u, -2*u = -2*p - 400. Suppose n - u = 48. Is n composite?
True
Let m(y) = 89*y + 64. Is m(11) a composite number?
True
Let q be -2 + (-6)/(-3) + 3. Let i be q/(-6) + (-2046)/(-12). Suppose -3*m - l + 269 = 0, -3*l + 0*l + i = 2*m. Is m prime?
False
Suppose 5*o = -g + 5315 + 1021, -19025 = -3*g + 2*o. Is g a composite number?
True
Is 6343 + 1 + (-7)/((-21)/9) composite?
True
Let s = 5511 - 3617. Is s composite?
True
Is (-284)/(-639) + 6305/9 prime?
True
Is (-10599144)/(-120) - (-8)/10 a prime number?
True
Suppose 26*z = -49*z + 275175. Is z a composite number?
True
Suppose 2*n - 8249 = 6*p - p, 2*n - p - 8253 = 0. Is n prime?
True
Let o(q) = 3*q - 1. Let x be o(-1). Let l be (-4 - -5)/(2/4*1). Is -115*x/(l - -2) a composite number?
True
Suppose -4*f - 8 = 3*j, 2*f + 2*f = -j - 8. Suppose 0 = -l + 2*x + 243, j*l - 522 = -2*l - 5*x. Is l composite?
False
Let y(r) = 4*r**2 + r. Let h be y(1). Suppose -22 = 3*u - h*f, 4*f = -9 - 7. Is ((-4)/6)/(u/3507) prime?
True
Let g(u) be the third derivative of -1/20*u**6 + 1/8*u**4 + 1/2*u**3 + 2*u**2 + 0 + 1/20*u**5 + 0*u. Is g(-2) a composite number?
True
Let c = -13 + 18. Suppose 18 + 2 = c*q, -3*s - 11 = -5*q. Let v(k) = k**3 - 3*k**2 + 4*k - 5. Is v(s) a composite number?
False
Let c = -8598 - -12247. Is c prime?
False
Let k = -15993 - -30248. Is k composite?
True
Let a(o) = 52*o**2 - o - 3. Let z = -73 + 75. Is a(z) a composite number?
True
Let o(a) = -58*a + 12. Is o(-23) composite?
True
Suppose -7832 = -v + g, 4*v - 39154 = -v + 3*g. Suppose -m - 2*t - v = -4*m, 2619 = m + 4*t. Is m a composite number?
True
Let v be 1/(2 - 3) + -27. Let n = v - -138. Suppose d + d = n. Is d a prime number?
False
Let y(f) be the first derivative of 2*f**4 + 0*f**4 - f - 1 - 3*f**2 + 9. Is y(4) a composite number?
False
Let b(v) = 19*v**3 - 3*v**2 + 4*v - 2. Let d be b(1). Suppose d*h - 6*h - 8088 = 0. Is h a composite number?
True
Suppose -4*t - 533 - 1235 = 0. Let p = -293 - t. Is p prime?
True
Let m = -5 - -10. Let v(a) = m*a**2 + 9 + 8*a - 3*a**2 - 6. Is v(-11) prime?
True
Let n = 133623 - 95270. Is n prime?
False
Suppose 4*z - 93828 = 2*y, -194*y = -2*z - 189*y + 46898. Is z a composite number?
False
Let z = -12 - -14. Suppose -2*i = -6, -5*v - 3*i + 2795 = z*i. Suppose -v = -5*w + 19. Is w composite?
True
Let r(o) = 3*o**3 + 4*o**2 - 2 - 2 - 2*o - 8*o**2 - 2*o**3. Let n(w) = w**2 + 2*w - 3. Let x be n(2). Is r(x) a composite number?
False
Suppose 25*z - 30*z = -9865. Is z a prime number?
True
Suppose 0 = -5*g + 27 - 7. Suppose 0 = -g*i + 4585 + 3811. Is i composite?
False
Let h = -3 - -5. Suppose -h*a = 4*p - p - 873, -4*a = 5*p - 1453. Let f = -82 + p. Is f prime?
True
Suppose 23*j + 2*o = 18*j + 10082, 4*o = -3*j + 6038. Is j a prime number?
False
Let o(n) = 62*n**2 - n + 6. Let w be o(2). Suppose -5*x + w = -563. Is x a composite number?
False
Let n be (-3 - 30/(-12))*4. Is (8/n)/(6/(-879)) a prime number?
False
Suppose -13*f + 12*f + 5 = 0. Suppose 0 = -v - 5, -2*v + 19935 = f*k - 0*v. Is k composite?
False
Let a = 93262 + -31511. Is a prime?
True
Let a(t) = t**3 + 4*t**2 + 4*t + 7. Let h be ((-33)/(-22))/((-2)/4). Let g be a(h). Is 1/(g/16) + 1045 a composite number?
False
Let h be (-48)/(-9)*63/7. Suppose 3*u + 91 = 2*m + 18, -5*u - m = 139. Let x = u + h. Is x prime?
False
Let t(i) = -3*i - 26. Let f be t(-10). Suppose -1110 - 1670 = -f*z + 4*u, u + 1390 = 2*z. Is z prime?
False
Let j be (4 + 0)*6/24. Is j + 2625 + 4 - -3 a prime number?
True
Let g = 8369 + -5620. Suppose 0 = 3*y - 2*b - g, -y + 3*b + 637 + 270 = 0. Is y prime?
True
Let c = -22 + -314. Let g = -157 - c. Is g prime?
True
Let w = 2896 - -711. Is w prime?
True
Let d(k) = 15*k - 5. Let v(c) = 44*c - 14. Let