 -3*w - 624. Is o a composite number?
True
Let u be (-3835)/(-5) - (-2 + 5). Is (u - -2) + 21/7 composite?
False
Is ((-104)/168 - 4/(-14))*-3777 a prime number?
True
Suppose 4*n = -0*n + 16. Suppose o = -n, -t - 5*o + 543 = -2*o. Suppose t = 2*b + b. Is b a prime number?
False
Let n = -7 - -16. Let m = n - -22. Is m prime?
True
Let r = -37 + 70. Is r a composite number?
True
Suppose 0 = -4*k - k + 10. Suppose k*l = 2, -3*c - l = -5*l - 149. Is c/(-6)*-6 + 2 a composite number?
False
Let y(z) = -4*z**2 + 6 + 3*z**3 - 6*z**2 + 4*z**3 - 6*z**3 + 9*z. Let n be y(9). Is (-1479)/(-7) - n/21 composite?
False
Let j(t) = t**3 - 3*t + 35 + 4*t - 4 + t**2. Is j(0) a composite number?
False
Suppose -n - h = -4*n - 184, 119 = -2*n - 3*h. Let c = n + 92. Let x = 22 + c. Is x prime?
True
Is (0 + 2)*91/2 composite?
True
Suppose -o = -0*o - 310. Let k = o + -177. Is k prime?
False
Let u(p) = -6*p + 0*p + p**2 - 3 + 7*p. Is u(-10) composite?
True
Let n(h) = -70*h - 1. Suppose 0 = -u + 5*u - 24. Let j(m) = -m + 5. Let p be j(u). Is n(p) prime?
False
Let z(m) = -4*m**2 + 8*m - 5. Let a(v) = -3*v**2 + 8*v - 5. Let p(j) = 5*a(j) - 4*z(j). Let g be p(-12). Suppose -4*s + 17 = -g. Is s composite?
True
Is 1/((-3 - -4)/(2389 - 0)) prime?
True
Let m = 5 + -3. Suppose 4*s - m*c = -c + 24, -2*c = 8. Suppose 4*n + s*r - 85 = 0, 0*n = -2*n + r + 25. Is n a prime number?
False
Suppose 0 = -5*j - q + 1525, -3*q = -2*j + 2*q + 610. Is j composite?
True
Suppose r - 5*v = 497, -3*v + 2 = -v. Is r prime?
False
Suppose -5*g + 0*g + 2*y = -4471, -10 = -5*y. Is g a prime number?
False
Let q(g) = -g**3 + 5*g**2 - 5*g + 2. Let b be q(3). Suppose v = b*v + 4*d, 0 = -v + d + 2. Let h = 38 - v. Is h prime?
True
Is (4/(8/(-30)))/(7 - 8) a composite number?
True
Let n = -901 - -1812. Is n a prime number?
True
Let u(i) = 17*i**2 - 5*i - 3. Let l be u(-3). Suppose l = 4*p + h - 30, 5*p - 242 = -3*h. Is p composite?
True
Let q be (-6)/10 + (-1112)/5. Let i = q - -442. Is i a prime number?
False
Suppose 5*r = 5*k - 10, k + 2*r = -k + 8. Suppose 174 + 207 = k*d. Is d a prime number?
True
Let u(k) = -k**2 - 6*k + 5. Let m be u(-6). Suppose 6 = -m*x + 26. Suppose x*a = -4*w + 5 + 111, 0 = 2*a - 3*w - 68. Is a a composite number?
False
Let b be (-2)/5*(-4 + -1). Suppose 0 = -b*y + 182 + 60. Is y prime?
False
Is (-1)/3 - 1066/(-3) a composite number?
True
Suppose -3*y + 6 = -d - 5, 4*y = -2*d + 8. Let i(x) be the third derivative of x**5/20 - x**4/24 - x**3/3 - 9*x**2. Is i(y) a composite number?
True
Let r = -240 + 340. Let b = -62 + r. Let f = 15 + b. Is f composite?
False
Let m = -6054 + 8495. Is m a prime number?
True
Let k = 0 - -2. Suppose k*t = 26 + 36. Is t composite?
False
Let y(b) = -6*b + 5. Let g be y(-4). Suppose -n = 2*l - g, 2*n - 6*n + 5*l = -77. Is n a composite number?
False
Let g be 3/(9/6 + 0). Suppose -1 = -g*q + 3. Is q prime?
True
Suppose -15*u + 16*u = 293. Is u composite?
False
Suppose 3*f = 6*f - 906. Let q = -179 + f. Is q a prime number?
False
Let q(v) = 8*v**2 - 8*v + 5. Let z be q(-7). Suppose 5*r - 2*x = z, -5*x - 16 = -r + 93. Is r a composite number?
False
Suppose 8*c - 4*c = -252. Let g = 55 - c. Suppose -3*u + 41 = -g. Is u composite?
False
Let i = -443 - -912. Is i a composite number?
True
Suppose -3*t = 16 - 13. Is -44*(t - 81/12) a composite number?
True
Let p(k) = 8*k**2 + 12*k + 3. Is p(-7) composite?
False
Suppose 2*s - 13 + 2 = 3*g, -2*s + 8 = 0. Is (254/(-8))/(g/4) composite?
False
Let u = 7 - 13. Let v(k) = -k**3 - 4*k**2 + 2*k - 1. Is v(u) prime?
True
Suppose -4*v + 165 = -q, -2*q - 3*v = 3*q + 802. Let m be (-137)/(-1*1/2). Let j = m + q. Is j prime?
True
Let k = 65 - -12. Is k a prime number?
False
Is 1150 + 4/(4 + 0) prime?
True
Suppose 2*c - 1672 = -2*c. Suppose -c = -2*f - 48. Is f composite?
True
Let d be 2/4*0/(-1). Let h be (-32)/(-18) + 10/45. Suppose -h*n + 672 - 10 = d. Is n a composite number?
False
Suppose -3*h - 5*a + 48 = -50, -5*a = -2*h + 32. Let t = h + -79. Is 4 + -2 - t*1 a composite number?
True
Suppose 2*a - 134 = -4*b - 12, -b = -4*a + 208. Is a a composite number?
False
Let t be (230/(-6))/(5/(-15)). Let g = t + 28. Is g a composite number?
True
Suppose 0*b - 136 = -4*b. Suppose 2*a - 5*u = 3*a - b, 4*u + 61 = a. Is a a prime number?
False
Suppose -14*l + 4828 = -11286. Is l prime?
True
Let r be 2/(-4)*(-1355 - -9). Let n = r - 292. Is n composite?
True
Suppose -l + 1 = -4, -2*d - 4*l = -32. Suppose 3*r = -3*b + 360, -4*r - b = -d*b - 471. Is r composite?
True
Let f = -215 - -420. Suppose y = j + 90, y - f = -y - 3*j. Is y prime?
False
Let b = 2 - 0. Suppose -b*p + 2 = -v, 3*v - 3*p = 7 - 4. Suppose 3*s = v*s - 23. Is s a prime number?
True
Let z = -6 - -11. Suppose 0 = z*m + 25, -4*f + 5*m = -0*f - 2877. Is f composite?
True
Let j(f) = -f. Let t be j(5). Is 2520/50 - 3/t a composite number?
True
Suppose -5*d - 2 = 88. Let k = d - -10. Let z = 5 - k. Is z prime?
True
Let a(d) = d**2 + 7*d. Let m be a(-7). Suppose m = -y + 1 + 2. Is (1 + (-8)/y)*-33 a prime number?
False
Let i be 12/4 + 0 - 15. Let r = i - -281. Is r composite?
False
Suppose 0 = -3*s + 3*t + 3591, 5 + 1 = -3*t. Is s composite?
True
Let r(h) be the third derivative of 11*h**7/2520 + h**5/60 - h**4/12 + 2*h**2. Let j(v) be the second derivative of r(v). Is j(2) prime?
False
Suppose -p = -12 - 45. Is p composite?
True
Let g(j) = 6*j - 77. Is g(15) a composite number?
False
Let g(s) be the third derivative of -s**6/120 + 7*s**5/30 - 19*s**4/24 + 17*s**3/6 - 2*s**2. Is g(12) a prime number?
False
Suppose 2*b = -5*d + 840, 2*d + 4*b = -0*b + 352. Suppose 3*l - d = 281. Is l a prime number?
True
Let j be ((-12)/(-10))/((-3)/(-10)). Is (127/j)/((-8)/(-32)) prime?
True
Let p(f) = -4*f**3 - f**2 - 2*f. Let x be p(-2). Let o = x - -3. Is o a prime number?
False
Suppose 0 = b + 3 - 22. Is b a composite number?
False
Let q(p) = -p**3 + 5*p**2 - 2*p + 3. Let n be q(5). Let d(r) = -9*r - 9. Let b(c) = 17*c + 18. Let s(x) = -3*b(x) - 5*d(x). Is s(n) prime?
False
Suppose 0 = -7*c + 313 + 576. Is c a prime number?
True
Is 18/(-30) + (-118)/(-5) a composite number?
False
Let u be (-4)/6*27/(-6). Let b = 2 - 0. Suppose -53 = -u*w + 4*n, -b*w - 5*n - 22 = -88. Is w a composite number?
False
Is (-122871)/(-35) + (-6)/(-15) composite?
False
Let m(y) = 46*y - 3. Is m(1) a composite number?
False
Let a(h) = 3*h**2 + 17*h + 6. Let w(g) = -7*g**2 - 35*g - 13. Let p be 3/6 + (-34)/(-4). Let c(d) = p*a(d) + 4*w(d). Is c(9) a composite number?
True
Let n(y) = -175*y**2 - 3*y - 4. Let i be n(3). Let o be (-2)/(-6) - i/6. Suppose -5*x = -3*u + 69 + 90, 3*x = 5*u - o. Is u a prime number?
True
Let t(j) = -2*j**3 - 3*j**2 - j - 1. Suppose 0 = 3*a - c + 9, 4*c = -a + 5*c - 5. Let h be t(a). Suppose -5*o - 54 = -2*g, -h*o + 104 = 5*g - 2*o. Is g prime?
False
Let p = -1 - -3. Suppose p*w = 49 + 19. Is w prime?
False
Let c(p) = -p**3 + 3*p**2 - 3*p + 3. Let d be c(3). Let r(w) be the third derivative of w**5/60 - w**3/2 + w**2. Is r(d) prime?
False
Let i(z) = -41*z**3 - 3*z - 3. Let w = 7 + -10. Let a = 1 + w. Is i(a) prime?
True
Suppose -835 = -p - 4*p. Suppose 4*l = m + 86, 2*l = -6*m + 2*m - 398. Let o = p + m. Is o a prime number?
False
Suppose -5*u = 5 - 35. Let b = 243 - 148. Suppose o + b = u*o. Is o a prime number?
True
Is (-344)/(-10) - 2/5 a composite number?
True
Suppose 0 = -5*s - 2386 + 8071. Is s composite?
True
Let x(o) = 4*o**2 + 6*o + 7. Let h = -3 + -2. Let v = 0 + h. Is x(v) prime?
False
Let k(f) = 35*f**2 + 2. Is k(5) a prime number?
True
Let z be (2/(-4))/(20/(-160)). Suppose 0*b = 2*b - 128. Suppose -2*d = h - 1, -3*h - h + z*d = -b. Is h a composite number?
False
Let j = 386 - 225. Is j prime?
False
Suppose -u - 429 = -2*u. Is u*((-2)/(-6) - 0) a composite number?
True
Let h(l) = 32*l + 31. Is h(6) prime?
True
Let t = 6 + -11. Let g(v) be the second derivative of -11*v**3/6 - v**2 - 7*v. Is g(t) prime?
True
Let n(u) = u**3 + 6*u**2 - 6*u + 9. Is n(-7) composite?
False
Let u be -2*(-1)/(-2)*5. Let h(s) = -2*s - 6. Let a be h(u). Suppose 2*f - 170 = -3*q, -a*q - 379 = -4*f - f. Is f prime?
True
Suppose 4*n - 8 = 0, -2*z - 2*z - 4*n + 396 = 0. Is z composite?
False
Let m(y) = 15*y**2 + 4*y. Is m(-3) composite?
True
Let t(j) = j**3 - 5*j**2 - 7*j - 5. Let h be t(6). Let f = h + 