1797 - ((-8)/s)/((-4)/10) composite?
False
Let s(d) = 985*d**2 + 2*d. Is s(-1) a composite number?
False
Let w = 8885 + -1948. Is w a composite number?
True
Is (-118375)/(-2) + 126/36 a prime number?
False
Suppose 6*k + 596525 = 31*k. Is k a prime number?
False
Let x(h) = -h**2 - 6*h. Let i be x(-5). Suppose 90 = -i*d + 895. Is d prime?
False
Let y(r) = 2*r**2 - 8*r + 2. Let n = 30 - 20. Let b be y(n). Suppose -a + b + 355 = 3*i, -3*a = 0. Is i a prime number?
False
Suppose -8645 = -4*j - 3*j. Let i = j - 648. Is i composite?
False
Suppose -l = 3 - 15. Suppose w + l + 1 = 0. Let y = w + 26. Is y prime?
True
Suppose 8*t - 9*t = -3. Suppose 6*p = t*p. Suppose -4*b - 190 + 818 = p. Is b a composite number?
False
Let g = -5 + 8. Let w(h) = 47*h**2 - 4. Is w(g) prime?
True
Suppose -5*i = -v - 326191, -i + 46290 = 3*v - 18961. Is i a composite number?
False
Suppose 5*z = -4*p - 11503, 0 = 3*p - 7*p - z - 11507. Let u = -988 - p. Is u composite?
False
Let t = 51 - 48. Suppose t*a = -x + 1859, -3*x - 4*a - a = -5569. Is x a prime number?
False
Let n be (0 - -1)/(-6 + 1505/251). Let c = n - -1072. Is c prime?
True
Let w(h) be the second derivative of h**4/6 - 11*h**3/3 - 45*h**2/2 - 32*h. Is w(28) composite?
False
Let d(a) = 9 - 953*a**2 + 479*a**2 + 22*a + 477*a**2. Suppose -8 - 2 = s. Is d(s) prime?
True
Let g = -425 + 588. Is g a prime number?
True
Let x = 106 - 103. Suppose f - 131 = n - 0, -524 = -4*f + x*n. Is f a composite number?
False
Suppose 0 = 2*t - 41 + 7. Suppose 4*u + 4*j = 120, 5*j + 8 = -t. Is u composite?
True
Let t be 1*(9/3 - 3). Suppose t = -5*h + 418 + 367. Is h a composite number?
False
Let f(a) = a**2 + 7*a - 22. Let m be f(-9). Is (-1 - (-30)/m)/(11/(-242)) prime?
False
Let n(i) = -15*i**2 - 30*i - 9. Let v(w) = 8*w**2 + 15*w + 5. Let a(q) = -4*n(q) - 7*v(q). Is a(-10) a prime number?
True
Suppose 2*r - 4 = -3*l, -7*l + 5*l = r - 4. Suppose -161 = -l*k + 3*k. Is k a composite number?
True
Suppose 0 = y - 2*y - 337. Let z = 648 - y. Is z a composite number?
True
Let t = 20 + -18. Suppose t*s - 2*h - 394 = h, 3*s - 592 = 5*h. Is s composite?
True
Let b(n) = -752*n + 113. Is b(-20) composite?
True
Let c(m) = -21 + 2*m + 21. Let q be c(2). Suppose -5*d + 5*o + 1490 = 0, q*o = -4*d - o + 1201. Is d composite?
True
Suppose 0 = -43*u - 52*u + 1551635. Is u a composite number?
False
Suppose 2*v - 4*v = -6, -x + 57 = 5*v. Suppose p - 5*z - 27 = 0, 5*p = 5*z + x + 13. Is p composite?
False
Suppose 2*m - 15 = -3*q - m, -4*q = 2*m - 22. Suppose 9*x - 12 = q*x. Suppose 4*d = -x*p + 504, -p = -2*d + 4*p + 287. Is d composite?
False
Let l be 131544/(-30) + 12/15. Is ((-1)/2)/(8/l) a composite number?
True
Let v(w) = -688*w**2 - 3*w - 3. Let d be v(-1). Let b = d - -1077. Is b a prime number?
True
Let g(z) = -639*z. Let x be g(-1). Suppose 0 = 2*j - 4, 3*j + x = -3*q + 6*q. Is q a composite number?
True
Let n(w) = -2338*w - 13. Is n(-5) prime?
True
Is (-1*(-2124)/(-24))/(6/(-844)) prime?
False
Let y(a) = 2100*a - 1. Suppose -2*i = 4*g + 2, -2 + 3 = -4*i - 5*g. Is y(i) a prime number?
True
Is 272972/20 + 22/55 composite?
False
Let n(h) = 16*h**2 + 3*h + 3. Let w be n(3). Let m = -89 + w. Is m prime?
True
Suppose j = 2*k - 8255, -k + 5*k - 16505 = -3*j. Is k a prime number?
True
Suppose -4 - 13 = -4*x + q, 2*x - 2*q = 10. Let s(d) = 254*d - 1. Let g(z) = -255*z - 1. Let o(a) = 4*g(a) + 5*s(a). Is o(x) prime?
True
Suppose -4*r + 2706 + 2532 = 5*s, 0 = 4*r - 8. Suppose 3*f - s = -5*i - 53, 0 = -i. Suppose -h = 4*k - 75, f = 5*h + 2*k - 4*k. Is h a prime number?
True
Let y = 945 + 333. Suppose -k - k = -3*x + 1287, -5*k - y = -3*x. Suppose -4*b + 9*b = o - 399, o + 3*b - x = 0. Is o a prime number?
True
Let a be 3/9 + 16/(-3). Let j(g) be the second derivative of -5*g**3/6 + 3*g**2 + 9*g. Is j(a) composite?
False
Let b(n) = -n**3 + 8*n**2 - 8*n**2 + 7*n + 0*n**3 - 4*n**2 - 13. Is b(-13) a prime number?
False
Suppose 2886*k - 2887*k = -2581. Is k a composite number?
True
Suppose 0 = 38*j + j - 26949. Is j composite?
False
Let v be 6/10 + (-407)/(-55). Is ((-398)/v)/((-3)/12) composite?
False
Suppose -5*h - 5*a + 3125 = 0, -2*h + 601 = -a - 640. Suppose x - 4*d - h = -8*d, -2*x = 2*d - 1232. Is x a composite number?
True
Let d be (-16)/2 + (-1 - -3). Let t be (d/24)/(1/(-8)). Suppose -t*k + 3*k + 455 = j, 3*j - 2*k = 1361. Is j composite?
True
Let d = 3479 - 432. Is d a composite number?
True
Let w(v) = -322*v + 157. Is w(-17) prime?
False
Let j(u) be the first derivative of u**4/4 - 3*u**3 - 9*u - 5. Is j(10) a composite number?
True
Let n(x) = 3 + x - 6*x + 22*x + 12*x**2 + 9*x**2. Is n(7) a prime number?
True
Let a = -1705 - -3066. Is a composite?
False
Suppose -5*q = o - 921, 3*q = -6*o + 2*o + 3616. Is o composite?
True
Let v = 16 + 56. Suppose v + 7 = c. Is c a composite number?
False
Let k(x) = -36*x**3 - 4*x**2 - 52*x + 10. Is k(-7) a composite number?
True
Let x(s) = s**3 + 7*s**2 - 3*s - 5. Suppose 5 - 3 = -b. Let u be (b/(-4))/(3/(-24)). Is x(u) prime?
False
Suppose 2 = n + 1. Suppose 3*g - g = 12. Let c = g + n. Is c a composite number?
False
Let l(i) = -i**2 + 117. Let j be l(0). Suppose 70 = k - j. Is k a composite number?
True
Suppose -3*q - 31868 = -5*a, -5*a - 4*q + 31864 = -3*q. Is a prime?
True
Let f(h) be the first derivative of -13*h**2/2 - 24*h - 11. Is f(-10) a prime number?
False
Suppose -1422 = -2*h + 2*y, -h + 2137 = 2*h - 5*y. Is h composite?
False
Let w(v) = -30*v + 6. Let z be w(-2). Suppose -l = -7*l + z. Is l a composite number?
False
Let s = -195 - -209. Let a be 315 - (-2)/(0 - 2). Suppose -13*x + s*x - a = 0. Is x a prime number?
False
Let u = -5252 - -12873. Is u composite?
False
Suppose -160*x + 162*x = 28694. Is x a composite number?
False
Let a(z) = 708*z + 959. Is a(15) a prime number?
True
Suppose 3*j - 98680 = -2*j + 5*u, 3*j - 4*u = 59205. Is j prime?
True
Let s = -23867 + 40084. Is s a composite number?
False
Let i(m) be the third derivative of -11*m**5/20 - m**4/24 + m**3/6 + 2*m**2. Let s be i(-2). Let c = s + 422. Is c composite?
False
Suppose -3*p - 2*y + 37903 = -0*p, p - 12633 = -y. Is p composite?
False
Suppose -7*b = 7*b - 6230. Let n = b + 598. Is n a composite number?
True
Let m(w) = -w**2 - w + 7. Let j = 11 - 11. Let y be m(j). Is (y - 5)/((-4)/(-446)) composite?
False
Suppose 35751 = 5*m + 2*z, 9 = -4*z + 1. Is m composite?
False
Let m = -21 - -16. Let h(b) = 4*b**2 - 2*b + 13. Is h(m) composite?
True
Suppose 21*m - 563603 - 764458 = 0. Is m prime?
True
Suppose -5*s + 4*w = -2*s - 1760, -s + w + 588 = 0. Is s/2 + -4 - 1 composite?
True
Suppose -4*c + 5*t = -17121, -3*t + 13476 + 7916 = 5*c. Is c prime?
False
Suppose 0 = 3*l - 1 - 5. Suppose -l*m - 5 = 19. Is 18/m + (-903)/(-6) a prime number?
True
Is 6906/8*52/39 prime?
True
Suppose -3*k - 2*k + 830 = 0. Suppose 20 = 3*w - k. Let r = w + -27. Is r a composite number?
True
Is 5906/(1 - (7 + -8)) a composite number?
False
Let m = -16 - -20. Suppose 101 = 2*n - m*h - 137, -492 = -4*n + 4*h. Is n prime?
True
Suppose 7332 = 5*k + 3*m - 30431, -3*k + 5*m = -22685. Is k prime?
False
Suppose 0 = q + 3, 3*q + 0 = t - 11. Let i = 14 - 11. Suppose 3*a + 5*b = t*a + 84, 0 = -i*b + 15. Is a a composite number?
False
Suppose -7 = -4*t + 1. Suppose t*b = 4*n + 1012, -b + 338 = n - 180. Is b a prime number?
False
Let z(d) = -d + 8. Let l be z(13). Let b(g) = -g**3 + 5*g**2 - 6*g - 6. Let t be b(l). Is 7/(-28) + t/8 a prime number?
False
Let u = 10985 - -32138. Is u a prime number?
False
Suppose 0*a = 4*a - 20. Suppose x + 4412 = a*x. Is x a composite number?
False
Let k = -453 + 1342. Is k composite?
True
Let a = 791 + 618. Is a composite?
False
Let q(h) = h**2 + 3*h + 5. Let f be q(-2). Suppose 2*b = -2*j + 500, 0 = j - f*b - 278 + 24. Is j a composite number?
False
Suppose 20 = 4*r - 26168. Is r prime?
True
Let z = 22448 - 5661. Is z a prime number?
True
Let w(m) be the third derivative of -7*m**4/4 + m**3/6 - 8*m**2. Is w(-5) a composite number?
False
Let p = 5994 + -3491. Is p a prime number?
True
Let u(v) = 10*v**3 - 3*v**2 - v + 7. Let c(z) = -29*z**3 + 9*z**2 + 3*z - 20. Let r be 4/6 + 26/(-3). Let l(j) = r*u(j) - 3*c(j). Is l(3) prime?
True
Let u(r) = -123*r + 125. Is u(-22) a composite number?
True
Let m(w) = 6684*w**3 + 4*w - 3. Is m(2) a prime n