-91887. Is n a composite number?
True
Let a = 3076 + -1989. Is a composite?
False
Let s = -28 - -12. Is (68/s)/(4/(-112)) a prime number?
False
Let t = 30566 - 8223. Is t a prime number?
True
Suppose 4*k = -t + 11 - 3, 4*t - 32 = k. Suppose -139 = -t*y + 13. Is y a prime number?
True
Let y be 6/((-2)/(-18)*6). Let l(i) = -i**3 + 11*i**2 + 21*i + 8. Is l(y) prime?
True
Suppose -16*l - 988 = -17*l + 5*n, -5009 = -5*l + 2*n. Is l prime?
False
Let j(i) = -107*i - 12. Let h(y) = -214*y - 23. Let f(s) = 3*h(s) - 5*j(s). Is f(-6) a composite number?
True
Suppose -2*h - 2*h - 2*q = -280, 344 = 5*h + q. Let j(v) = -v**3 + 3*v**2 - v + 4. Let z be j(3). Let l = h + z. Is l prime?
False
Let z = 44 + -19. Suppose -10 = 5*i + r - 0*r, -5*r = -z. Is i*(2576/(-12))/4 prime?
False
Suppose k + 13 = -5*w, -6*w + 2*w - 3*k = 17. Suppose b - 8 = 5*b. Is w/b*(215 - 4) a composite number?
False
Let c(p) = 12*p - 13. Let x(g) = g. Let y(n) = c(n) - 6*x(n). Is y(6) composite?
False
Suppose -4*a + 15977 = -2243. Is a a prime number?
False
Is ((-1)/2)/((7/(-103838))/1) prime?
True
Let x(m) = m**3 + 9*m**2 + 9*m + 11. Let i be x(-8). Let u be (5 + -3)*33/2. Is i/2*3982/u composite?
False
Suppose 0*k + 85 = 5*k. Let b = k - -26. Is b a prime number?
True
Let w(y) = -2*y**3 + 14*y**2 + 5*y - 15. Let n be (-6)/15 - 23/5. Let k(u) = 2*u**3 - 15*u**2 - 4*u + 16. Let c(z) = n*k(z) - 6*w(z). Is c(7) a prime number?
False
Let k = -44 + 57. Is 13895/k + (-3)/((-117)/6) composite?
False
Let x = 15224 + -10558. Is x a prime number?
False
Let d(x) = 4*x**3 + x. Let o be d(-1). Let a(u) = -3*u**3 - 5*u**2 - 1. Let b(y) = -5*y**3 - 10*y**2 - 2. Let j(s) = 7*a(s) - 4*b(s). Is j(o) composite?
False
Suppose -27512 = -15*v + 1003. Is v a composite number?
False
Let o(x) = 2*x**3 - 4*x**2 + x + 4. Let t be o(4). Let n(i) = -i + 32. Let p be n(-15). Suppose 3*g + t = 2*s, 0 = -3*s + 4*g + p + 60. Is s composite?
True
Suppose 4 = 9*i - 8*i. Suppose 5*r + i*c = 2763, 5*r - 3*r - 4*c = 1094. Is r a composite number?
True
Let q be ((-3)/((-18)/4))/(4/30). Let c = 1046 - 626. Suppose -q*p + 42 + c = j, 4*j = 4*p + 1776. Is j a prime number?
False
Let j(t) = 2*t**2 + 3*t - 22. Let o(z) = -z + 5. Let w be o(-6). Is j(w) prime?
False
Let z(d) = -2*d**3 - 2*d**2 + 5*d - 5. Let w(p) = -p**3 - p**2 + 2*p - 2. Let u(i) = -5*w(i) + 2*z(i). Let k be u(0). Let s(t) = t + 35. Is s(k) composite?
True
Let b(m) = -m**3 + 8*m**2 + m - 3. Let p be b(8). Suppose 3 = -w + 1, 4*w = p*r - 1773. Is r prime?
True
Let g be (-4)/30 - 122/(-15). Suppose g*l = 4*l. Suppose 3*r - 4*p - 241 = l, -3*p = -5*r + 251 + 158. Is r a prime number?
True
Let i(p) = -p**2 + 24*p + 17. Let c be i(19). Let n = c + 219. Is n a composite number?
False
Let l(c) = -14*c**3 - c**2 - 8*c + 7. Is l(-4) a composite number?
False
Suppose -3*o - u = -4*o - 24, o - 4*u + 27 = 0. Is 10/4*(-24)/20*o a prime number?
False
Let s(x) = -4*x + 26. Let r be s(7). Suppose 0 = -3*q - 16735 + 69931. Is r/7 + q/28 a composite number?
True
Let m be (-4)/(-8)*8 + -4. Suppose 2*y = -2*x + 5*y + 649, -5*x + 3*y + 1636 = m. Is x a composite number?
True
Suppose 5*a - 44658 + 2966 = 3*x, 3*x = -3*a + 25020. Is a a composite number?
True
Let j = 1604 + 3719. Is j prime?
True
Let f(d) = 5*d + 20. Let g be f(-4). Let n(y) = -4*y + 106. Is n(g) composite?
True
Suppose -627 - 809 = -2*a. Let v = -261 + a. Is v composite?
False
Let i(w) = -7*w + 17. Let m(y) = -6*y + 16. Let d(k) = -3*i(k) + 4*m(k). Let g be d(7). Is (-6)/g - (-929)/4 a prime number?
True
Suppose 3*j - 23552 = 4*i, 4*j = -6*i + 2*i - 23580. Let q = 10752 + i. Is q a prime number?
True
Let g = -486 - -779. Is g composite?
False
Let x = 2812 - 1703. Is x composite?
False
Suppose -11*t + 7*t = -5*n - 22334, 3*n = 4*t - 22330. Is t a prime number?
True
Let w = 6653 - 3572. Suppose -46*j = -43*j - w. Is j composite?
True
Suppose 0 = i - 9 - 3. Suppose -2*u - 4*n - 1 - 5 = 0, 3 = 4*u + 3*n. Is (i/(-20))/(u/(-75)) prime?
False
Let m = -7 + 6. Let s be (0 - m - 0)*2. Suppose -3 - 11 = -s*v. Is v a prime number?
True
Let z(m) = -m**2 - 6*m + 7. Let c be z(-5). Let v = 16 - c. Suppose -4*u + 301 + 339 = -v*p, -4*u + 5*p + 637 = 0. Is u a prime number?
True
Let f = 29 + -33. Let v(y) = -2*y**3 + 3*y**2 - 2*y + 2. Let n be v(f). Suppose 4*q - 382 = -2*c, -3*c - n = -2*q + c. Is q prime?
False
Suppose 0 = -4*u + 8, 3*u - 67 - 539 = -3*p. Let l = p + 2735. Is l a composite number?
True
Suppose 4*j = -16, 3*u - 51*j = -49*j + 18401. Is u a composite number?
False
Let m = 30 + -27. Suppose m*c + 0*c - i + 10 = 0, -8 = c - 5*i. Is c/(-9) - (-532)/6 a composite number?
False
Is (-4)/(-9) - 85389*(-13)/351 a composite number?
False
Suppose 5*a - 21 = 2*y, -5*y - a = -y + 9. Let m be ((-7)/y)/(3/117). Suppose -m - 52 = -s. Is s composite?
True
Is 4/14 - (447699/(-49) + 10) composite?
False
Suppose 5*c + 8469 = 4*g - 0*g, -g + 2091 = 4*c. Is g composite?
False
Suppose 1192 = 2*g + 110. Is g prime?
True
Let t be (-4)/16 + 0 + (-2622)/8. Let x = -37 - t. Is x composite?
True
Suppose -3*h - 5 = -17. Let m be (4/(-3))/(h/(-870)). Suppose 2*j = -100 + m. Is j composite?
True
Let m(s) = s**3 + 16*s**2 + 58*s - 10. Let a be m(-10). Suppose 0 = 3*h - 923 - 412. Suppose 0 = a*j - 15*j + h. Is j composite?
False
Is (-13467)/(-27) + 4/18 a composite number?
False
Let v(m) be the first derivative of 55*m**4/4 + m**3/3 - 5*m**2/2 + 8. Let g(x) be the second derivative of v(x). Is g(2) prime?
False
Let f(b) = b**3 - 6*b**2 - 10*b + 2. Let s be f(7). Let y = s + 18. Is y/(7833/1959 - 4) prime?
True
Is 4156/(-12)*(-5 - (-6 + 4)) prime?
True
Let x = -177 + 359. Is x/(-4)*(-1 - 1) a prime number?
False
Suppose 0 = -229*i + 225*i + 21188. Is i composite?
False
Suppose 12*d - 27*d = -5010. Suppose -5*y - d = -7979. Is y composite?
True
Let t(c) = c**3 + 4*c + 26813. Is t(0) prime?
True
Let d = 3860 - 1777. Suppose -2*t = -2*w + 1642, -4*t + 1209 = 4*w - d. Let x = w + -499. Is x a prime number?
False
Let i = 40 - 4. Let u = -4 + i. Suppose -2*a = -14 - u. Is a prime?
True
Let g(z) be the second derivative of -z**5/20 + 3*z**4/2 - 5*z**3/3 + 2*z**2 + 15*z. Is g(7) a prime number?
False
Let s(u) = -u**3 - u**2 + u + 16. Let w be s(0). Let g = -14 + w. Suppose -2*p + 6 = g. Is p prime?
True
Suppose -2 = h, 4*h + 334 = w + 63. Is w a prime number?
True
Is 56835 - (-8)/(-3)*108/(-48) composite?
True
Let a(l) = -344*l - 5. Suppose 10 = 5*w - 4*s, 6*w - 3*w - 9 = 3*s. Is a(w) prime?
True
Let o(v) = -231*v**2 - 2*v - 5. Let l be o(-4). Let n be 2/(((-8)/l)/(-4)). Is 3/(-18) + n/(-18) composite?
True
Suppose -4*d - 299 = -1015. Suppose -5*n + d = -826. Is n a prime number?
False
Suppose -9581 = -9*c - 31289. Let j = 3545 + c. Is j a composite number?
True
Let v = 146 - 140. Suppose -3072 = -v*q + 17370. Is q composite?
False
Suppose -5*o = -3*a + 4839, -3225 = -2*a + 5*o - 2*o. Is a/32*12/9 composite?
False
Let i(o) = 13 + o**3 + o**3 - 3*o**2 - 12. Let s be i(2). Suppose 161 = 2*m - u, 6*u - 380 = -s*m + u. Is m a prime number?
True
Let l = 31 - 28. Suppose -l*x - x = 4*d - 164, -4*x - 5*d = -166. Is x composite?
True
Suppose 0 = 7*y - 5545 - 4633. Is y composite?
True
Let h(y) = -27*y + 17783. Is h(0) prime?
True
Let j = 9 + -18. Let g(m) = 2*m**2 + m + 14. Is g(j) a composite number?
False
Suppose 3*z - 17 = 22. Suppose 5 = 3*y - z. Let p(s) = 18*s + 14. Is p(y) prime?
False
Suppose -11*r + 13*r + 3*v = 17275, -2*r + 2*v = -17260. Is r a composite number?
True
Let c = -4 + 3. Let y = 1 + c. Is (351/3 - y) + 4 a composite number?
True
Let b(p) = 3*p**3 + 29*p**2 - 46*p - 7. Let l(o) = -2*o**3 - 19*o**2 + 31*o + 5. Let f(g) = 5*b(g) + 8*l(g). Is f(-13) prime?
False
Suppose 4*q + q - 262013 = -4*j, j + q - 65504 = 0. Is j a prime number?
False
Suppose 4*d = -5*x + 489373, 244682 = -48*d + 50*d + 4*x. Is d prime?
True
Let f(l) = -l**2 - 4*l. Let o be f(8). Let k = 1467 - o. Is k prime?
False
Let y(k) = -k**3 - 3*k**2 - k + 3. Let v(l) = -l**3 - 2*l**2 - l + 2. Let f(c) = 2*v(c) - 3*y(c). Let r be f(-5). Is r/(-50) + 2784/5 prime?
True
Suppose 3*g = 2*q - 2524, -2 = -2*g - 6. Is q prime?
True
Let t be (-84)/54 - 4/9. Is 14230/15*(-3)/t a composite number?
False
Suppose 2*w + 5*a - 3*a = 8154, 4*w = 4*a + 16276. Is w prime?
True
Let i = 585 + 444. 