 = t - n. Is x a prime number?
False
Suppose -k - 5*x + 106 = 0, 0 = -0*k + 5*k - 2*x - 584. Is (-1)/1*(-846)/72*k prime?
False
Suppose -t + 2 = -0*t. Suppose 4*g = 5*o - t, 3*o - o + 3*g - 10 = 0. Is (-1361)/(-3 + (4 - o)) a composite number?
False
Let j(h) = -217*h - 20 - 352*h - 22. Is j(-9) a prime number?
False
Let o(d) be the first derivative of -d**4/4 + 2*d**3 + 3*d**2/2 - 5*d + 33. Let u = -8 - -14. Is o(u) composite?
False
Suppose -3*a + a = 2*f + 2, -5 = -f + 5*a. Suppose 0 = -f*p - 5*p + 170. Is p a prime number?
False
Let m be 26/8 - 7/28. Suppose 0 = m*q - 0*q. Is 3 + 131*(q - -2) a composite number?
True
Suppose 6*x + 13925 = x. Let q = x + 6720. Is q a prime number?
False
Let c be (17192/(-42))/(6/(-9) + 1). Suppose 0 = 2*d - 5*d + 6, 2*f - 22 = d. Is (3/f)/((-1)/c) a composite number?
False
Let d be -2 + (-4)/((-8)/3994). Let m = 3994 - d. Suppose 986 = 2*n + 4*i, 2*n - i = -2*n + m. Is n a prime number?
True
Suppose 7*y - 10778 = 18601. Is y a prime number?
False
Let x(u) = 8*u + 5. Let s be (-2 + -18)*(-15)/(-20). Let w be 1 + -1 + -2 - s. Is x(w) composite?
False
Let o = 25709 + -13076. Is (8/(-12)*o)/(-2) prime?
True
Suppose 358 = -k - 10658. Let b = k - -18079. Is b a composite number?
True
Let m(v) = 11*v**2 - v - 2. Let f be m(-1). Let u(o) = 28*o - 31. Is u(f) composite?
True
Suppose 4*g - m - 149080 = 2*m, -3*g - 4*m = -111835. Is g composite?
False
Let b(u) = u**3 - 14*u**2 - 36*u - 25. Is b(26) prime?
True
Let p be 18/567*9 - 34954/(-14). Suppose 0 = -6*w + 2945 + p. Is w prime?
True
Let z = 252 - 125. Is z prime?
True
Suppose -m = p - 1220 - 5455, 5*m + 20 = 0. Is p a prime number?
True
Let u(r) = -r**3 - 4*r**2 + r - 7. Let a(f) = 2*f + f - f**2 + 2*f + 7. Let n be a(7). Is u(n) prime?
False
Suppose s - 134 = -5*u, -2*s + u = 3*u - 308. Let x(v) = 5 + 118*v**2 - 94*v**2 + 114*v**2 + s*v**2 - 2*v. Is x(2) a prime number?
False
Let q(s) = -s. Let t(w) = -w**2 - 5*w - 1. Let c(m) = 2*q(m) - t(m). Is c(-12) a composite number?
False
Let q(m) = -m**3 - 3*m**2 + 4*m + 2. Let t be q(-4). Let w(o) = -2*o - 2. Let f be w(t). Is -2 + (5 - f/2) a composite number?
True
Suppose 2*m + 5*m = m. Suppose 2*f + m*d + 5*d = 649, 2*d + 1021 = 3*f. Is f a composite number?
False
Suppose 0 = 3*o - 5*j - 4 - 3, 2*o - 5 = 3*j. Let f = 1 + -1. Suppose 5*x - 801 = o*i, -x + 6*x - i - 789 = f. Is x composite?
False
Suppose 6*g - 40 = -2*g. Suppose 7 = g*a - 13. Suppose -a = k, -2*k - 195 = -l - k. Is l a composite number?
False
Let t(m) = m + 11. Let h be t(-8). Suppose h*w - 103 = -25. Suppose 3*z + 176 = 2*k + w, -272 = -4*k - z. Is k composite?
True
Let w be 6 - 9*-1*2/(-6). Suppose -w*i = 4*q - 5915, i - 3*q = 11 + 1965. Is i composite?
False
Let q(y) = y**3 - 8*y**2 + 3. Let t be q(8). Let f(a) = -12*a**2 + 26 + 0*a**3 - 6*a**t + a**3 + 12*a + 6*a**3. Is f(11) composite?
False
Suppose n - 702 = -5*s - 3*n, -5*s - 3*n = -699. Let p = s - 71. Is p a prime number?
True
Let i = -22004 + 54937. Is i prime?
True
Suppose -k - 16 = -2. Is (-2732)/6*21/k a prime number?
True
Suppose -5*c + 6*c = 6. Let g(h) = -271*h - 13. Let l be g(c). Is 2*-1*l/22 a prime number?
True
Let a = -8 - -14. Suppose -2*t = -5*j + 25, -5*j - a*t + 2*t + 25 = 0. Is (145/2)/(j/10) composite?
True
Suppose -8 - 1 = -3*x. Suppose 5*u = 0, -x*s + 2*u + 813 = -u. Is s a prime number?
True
Let n(c) = c**2 + 5*c + 5. Let h be n(-7). Suppose -o + 3 = 0, o + h = 3*d - 251. Is d composite?
True
Let u = -1297 - -5114. Is u composite?
True
Suppose 47*g = 50*g - 219. Is (g/3)/(6/198) a composite number?
True
Let s = 4938 + -2447. Is s a prime number?
False
Let d be -7 + (-184)/(-24) - 682/(-3). Suppose -2*n + 10 = -0*n. Suppose 2*a - 563 = -10*u + n*u, 2*u - 2*a - d = 0. Is u a prime number?
True
Let c = 23983 - 549. Is c a prime number?
False
Suppose -z - 4 + 3 = 0, -3*z - 102 = -3*n. Let h be ((-6)/5)/(n/(-110)). Suppose 0 = -5*y + 20, -h*a - 2*y = 2*y - 3692. Is a a prime number?
True
Let p(a) = a**3 - 12*a**2 - 6*a - 15. Suppose -d + 6*d = 70. Is p(d) prime?
True
Let x(q) = -78*q - 7. Let r be x(5). Let g = r + 620. Is g prime?
True
Suppose 3*r = 3*j + r - 7, -4*r = -4*j + 12. Suppose j = -z + 2*z. Is -44*z*1/(-2) a composite number?
True
Let l(q) = -q**3 + 12*q**2 - 11*q + 1. Let t be l(11). Let g = 5 - t. Suppose 147 = g*d - 929. Is d a composite number?
False
Let l = 2343 + -700. Is l composite?
True
Let n = 20 - 20. Let v be n + 3 - (1 + -547). Let y = -262 + v. Is y prime?
False
Let a(m) = -11*m + 4. Let u be a(-2). Let j = u + -24. Is j prime?
True
Let u(c) = -18*c**3 - c**2 + 1. Let k be u(1). Let a = -17 - k. Let b(w) = 443*w + 2. Is b(a) a prime number?
False
Suppose 7955 = 3*k + n, k = -k - 4*n + 5290. Is k a composite number?
True
Suppose 3*y + 2*y = 3*b + 4549, 2715 = 3*y + 3*b. Suppose 0 = 4*t - y - 1440. Is t composite?
False
Suppose 5759 - 15720 = -4*i + 5*x, 5*i = 2*x + 12447. Is i a composite number?
True
Let w(n) be the first derivative of n**6/24 - n**5/24 + 7*n**4/24 + n**3 - 2. Let x(c) be the third derivative of w(c). Is x(-5) composite?
True
Suppose 12*o = -98 + 26. Let n(f) = 4*f**3 - 5*f**2 - 9*f + 28. Let y(b) = -3*b**3 + 3*b**2 + 6*b - 19. Let g(p) = 5*n(p) + 7*y(p). Is g(o) composite?
False
Let j be (1/(-3))/((-1)/18). Is (4/j)/(6/25569) a prime number?
False
Let j = -49 - -53. Is 3*6/j*1340/18 prime?
False
Let h(d) = d**3 - 9*d**2 + 12*d + 17. Let t be h(7). Suppose 2277 = t*r - 4*z, -4*z = -r - z + 764. Is r a composite number?
True
Suppose 0 = -y + 22 + 27. Suppose -26 = 5*f - 6, -2*f = o - 19. Let z = y - o. Is z a composite number?
True
Let l(c) = c**3 - 6*c**2 + c + 10967. Is l(0) a composite number?
True
Let v(r) = -2*r - 3 - 2*r**2 + 2 + 2*r**3 + 7*r**2. Let k(x) = -x**3 - 2*x**2 + 4. Let i be k(-2). Is v(i) prime?
True
Let g be (17832/(-10))/((-22)/165). Suppose 6*z + 1716 = g. Is z a prime number?
False
Let m(n) = 1056*n + 193. Is m(8) a composite number?
False
Let g = 3 - -7. Let h = 317 - g. Suppose -j + 226 = -h. Is j prime?
False
Let r be 4/5 + 2590/(-50). Let f = r - -76. Is f a composite number?
True
Let q(u) = u**3 - 15*u**2 + 16*u - 18. Let g be q(14). Is 2/10 + 1828/g composite?
True
Let a = 3 + -13. Is ((-6)/a)/((-9)/(-2115)) a prime number?
False
Let i(v) = -5*v - 11. Let b be i(-3). Let h(d) = 2*d**3 - 9*d**2 + 9*d + 10. Let x be h(9). Suppose -x = -b*s + q, -s + 279 - 74 = -q. Is s composite?
True
Let w(a) = -a**2 - 2*a. Let m be w(-3). Let q be (17/51)/((-1)/(-3)). Is (q - 232/12)*m a composite number?
True
Let l = -32 + 28. Let r(c) = -214*c + 7. Is r(l) a composite number?
False
Let z = 193233 + -124294. Is z prime?
False
Let g(j) = 1585*j + 25. Let l be g(4). Suppose -16*k - 3*k = -l. Is k prime?
False
Is (-1 - -7)*((-7674872)/48)/(-41) a prime number?
True
Let l(z) be the first derivative of 5*z**3/3 + 2*z**2 + 3*z + 2. Let m be -5 - (3/(-1) - -2). Is l(m) prime?
True
Let l(m) = 4*m**2 - 11*m - 51. Is l(-26) a composite number?
False
Let a = 46 - 42. Is (3/a*12)/1 prime?
False
Suppose 10*i - 42133 = 49657. Is i a composite number?
True
Let m(b) = b**2 - 2*b - 4. Let v be m(-4). Suppose -5*p = v, -2*k - p = p - 1974. Is k a composite number?
False
Let n(r) = -r**3 - 3*r**2. Let z be n(-3). Suppose l + 584 - 2263 = z. Is l prime?
False
Let d be 2/(-7) + 259/49. Suppose -o = 4*y - 15, 0*y = -y - d. Let s = o + -21. Is s a prime number?
False
Let l = -26 - -31. Suppose 0*z + 2*z - r = 499, l*z - 3*r = 1248. Is z composite?
True
Let a(o) = -o**3 - 9*o**2 + 19*o + 185. Is a(-12) composite?
False
Is ((-5)/(-3))/((-1)/3) - -6984 prime?
False
Suppose 0 = 4*a - 2*a - 10, -5*i = 3*a - 369410. Is i composite?
True
Suppose -f = 5*x - 5*f - 3135, x - 3*f - 616 = 0. Is x prime?
True
Let w = 19529 + -11431. Is w composite?
True
Is (-5428)/(-28) - (-9)/63 a prime number?
False
Let j(m) = 6*m**3 - 3*m - 2. Let s be j(-1). Is (-40)/s - 6/(-2) a composite number?
False
Suppose 3*y = 3*c + 167037, 4*y + 5*c + 222714 = 8*y. Is y a composite number?
False
Suppose 14 = 3*m + 2*i, -3*m + 8 = -7*i + 3*i. Suppose -m*c = -6*c + 186. Suppose 0*b - c = -3*x + b, 4*x - 124 = -2*b. Is x prime?
True
Let f be 2/8*-2*-6. Let i(n) = f - 10 + n**2 + 0 + 12*n - 8. Is i(10) composite?
True
Let m(g) = 11*g**3 - 4*g**2 + 6*g + 2. Let j be m(3). Let z(d) = 