8 + 26/(-117) a prime number?
False
Let k be (-3)/(6*2/(-16)). Is (k/(-8))/((-2)/596) prime?
True
Suppose -2744 = -4*y - 4*n, 4*y + 0*y - 2*n - 2762 = 0. Is y composite?
True
Suppose 9 = f - 4*f, -3556 = 4*x - 4*f. Let t be ((-1)/(-2))/(1/x). Is (-1)/5 - t/5 prime?
True
Suppose -5*n - 2*l - 10 = 3*l, -4*n - 11 = 5*l. Let b(s) = 121*s**2 + s. Is b(n) a prime number?
False
Suppose 448 = -2*u + 1786. Is ((-12)/(-9) + -1)*u a prime number?
True
Let o = 656 + -211. Is o a prime number?
False
Suppose -38 = -3*a + s, 2*a + 13 = 5*a + 4*s. Is a a composite number?
False
Let r(g) = -7*g**3 - 4*g**2 - 4. Let j(i) = i**2 + 8*i + 9. Let p = -15 - -9. Let h be j(p). Is r(h) a prime number?
True
Suppose -7*n = -4*n. Suppose 4*o = -20, 2*t + 2*o - 6*o - 46 = n. Is t prime?
True
Suppose -a = 3*a. Suppose a = -0*j - j + 5. Suppose 0 = -3*d - j + 68. Is d a prime number?
False
Suppose -3*h + 13 - 1 = 0. Suppose 3*n = h*n - 113. Is n composite?
False
Let p = 922 + -441. Is p prime?
False
Let w = -6 + 21. Suppose -4*i = -0*u + 3*u - w, 3*i = -u + 10. Is i a prime number?
True
Suppose 0*s = -5*s + 25. Let c(u) = 14*u**2 - 6*u + 3. Is c(s) prime?
False
Suppose 5*v = o + 15, -2*o - 2 - 8 = 0. Suppose 5*t + 25 = v*x + 3*x, -23 = 4*t - 5*x. Let p(n) = -4*n - 1. Is p(t) composite?
False
Let y(u) = -u**3 - 6*u**2 - 4*u - 2. Let h be y(-6). Suppose -a + 0*a + h = 5*c, -3*a = 2*c - 14. Suppose -5*w + 2*w - 3*p = -66, 0 = a*w - p - 35. Is w prime?
True
Let h be -5*(-1 + (-9)/(-15)). Suppose -n - h = -9. Suppose n*i + 3*u - 1630 = 2*i, 0 = 4*i - 2*u - 1326. Is i a composite number?
True
Let z(y) = y**2 - 7*y + 7. Let u = 23 + -6. Let m = -10 + u. Is z(m) composite?
False
Let g(b) = -b**3 + 7*b**2 - 3*b - 7. Suppose 10 = 3*m - 8. Let d be g(m). Suppose r - d = 24. Is r prime?
False
Let x = 316 - 23. Is x prime?
True
Let w = -6 - -9. Let k be ((-4)/w)/(12/(-702)). Let c = -44 + k. Is c a composite number?
True
Let m(b) = -6*b - 5. Is m(-3) a prime number?
True
Let j = 321 - -74. Is j a composite number?
True
Let v(i) = 12*i - 1. Suppose -3*c + w + 2 = -6, 5*w + 24 = -c. Is v(c) prime?
True
Let w(q) = 29*q**2 - q - 11. Is w(4) a prime number?
True
Let c(j) = j**3 - j**2. Let w(g) = 2*g**3 + 6*g**2 + 5*g + 1. Let n(r) = -2*c(r) - w(r). Let l = 29 + -33. Is n(l) composite?
False
Let k = 985 + 156. Is k a prime number?
False
Suppose -3*s + 2*s - 76 = 0. Let d = s + 50. Let w = d + 51. Is w composite?
True
Let g be (1 + 2)/((-6)/4). Let s be ((-3)/(-3))/(g/(-4)). Suppose 3*w = -s*w + 190. Is w composite?
True
Let k(l) = -l**2 - 8*l - 9. Let n be k(-6). Let d(o) = o**3 + 2*o**2 - 2*o - 4. Let y be d(n). Let w = y + -9. Is w composite?
True
Let t(y) = -2*y**3 - 10*y**2 + 2*y - 9. Is t(-8) a prime number?
True
Suppose 5*v - 3*v - 382 = 0. Is v composite?
False
Let f = -8 - -97. Is f prime?
True
Let w be 214/9 - 4/(-18). Let q be 18/(-15)*(-15)/6. Suppose q*x + 5*n = n + 77, -x = n - w. Is x a prime number?
True
Let x(h) = h - 1. Let i be x(4). Suppose 2*w = i*w - 4. Suppose 5*q = -w*c + 481, -4*c = -3*q - 61 - 412. Is c a composite number?
True
Suppose -731 = -2*t + 1367. Is t a composite number?
False
Let y = -620 + 871. Is y composite?
False
Let b = 1 + -3. Let l(w) = -1. Let p(q) = q**3 + 3*q**2 + 5*q + 5. Let r(o) = b*l(o) - p(o). Is r(-4) prime?
False
Is 1/9 + (-564161)/(-117) composite?
True
Let p = 228 + -59. Is p a composite number?
True
Let w = 35 + -11. Suppose -3*y = 186 + w. Is y/(-8)*(5 - 1) composite?
True
Let l be -5*(16/(-10) + 1). Suppose -l*q = w - 154, -5*w + 0*w + 806 = 3*q. Is w prime?
True
Let r = 57 - 2. Suppose 1 = 4*b - r. Let u = b - 3. Is u a prime number?
True
Let r(z) = -z**2 - z - 1. Let q be r(-1). Let g be (2 - -1 - q) + -1. Is g + -2 + -2 + 4 a composite number?
False
Suppose 11 = -3*m - 2*d, 2*m + 3*m = 4*d - 11. Let j(s) = 47*s**2 - 6*s - 20. Let o(z) = -16*z**2 + 2*z + 7. Let w(g) = 3*j(g) + 8*o(g). Is w(m) a prime number?
False
Suppose 3*b = -0*b - 6. Is (-8 + 10)*(-11)/b a composite number?
False
Let x(h) = h - 2. Let b be x(0). Is (b + 1)*-1 + 14 a prime number?
False
Suppose -5*h - 381 = -8*h. Is h composite?
False
Let h = 520 + 21. Is h a composite number?
False
Let a be ((-15)/4)/(1/(-4)). Let s(z) = -z**2 + 11*z + 4. Let p be s(9). Suppose 0 = q - p - a. Is q a composite number?
False
Suppose 4*u - 291 = u. Is u composite?
False
Let b be (36/(-27))/(2/6). Let a(g) = -6*g**3 - 6*g**2 - 7*g - 5. Is a(b) a composite number?
False
Let f(n) = 6 - 3*n + 3*n - 3*n + 1. Is f(-10) composite?
False
Let j = -1870 - -2837. Is j a prime number?
True
Suppose -5*z = -2*l - 8 - 5, 12 = -3*l. Let q = z + -1. Suppose 4*b - 101 = -a - 0*a, q = -2*a + 5*b + 163. Is a a composite number?
False
Is ((-178)/(-3))/(((-22)/(-15))/11) a composite number?
True
Let i(r) be the second derivative of -r**3 + 3*r**2/2 + r. Let t = -1 + -2. Is i(t) composite?
True
Let d(w) = 2*w**2 + 10*w - 3. Let y be d(-7). Is -5 + y + (0 - 1) composite?
False
Let t be -3 + 1290 - -1 - 3. Suppose 0*v - t = -5*v. Is v composite?
False
Suppose -2*b + 3*b = 3. Suppose -u - b*m + 13 + 6 = 0, -2*u - 3*m = -38. Is u a prime number?
True
Let v(g) = 183*g**2 + 11. Is v(4) a composite number?
False
Suppose 0 = 5*x - 0*x + 30. Let b be 5*(0 - x/15). Suppose 4*v + 32 = b*r, 8*r + 2*v = 3*r + 68. Is r a composite number?
True
Suppose 2*w + 0*w - 2808 = 5*p, -4*w = -p - 5634. Is w a prime number?
True
Suppose -3*i - 119 = -4*p, -3*p + 2*i + 26 = -2*p. Suppose -5*w + t + 101 = -137, 0 = -w - 5*t + p. Is w composite?
False
Let p = 515 - -672. Is p a prime number?
True
Let f(x) = -x**2 + 9*x - 5. Let w be f(7). Let z(g) = -2*g**2 - w*g + 55 + 3*g**2 + 10*g. Is z(0) a prime number?
False
Let d(w) = 10 + 9*w**2 + 3*w**3 - 3*w**3 + w**3 + 9*w. Let s be d(-8). Is ((-14)/(-1) - 1)*s a composite number?
True
Let a(y) = -82*y - 1. Let u be a(-1). Is u - (3 + (-1 - 0)) composite?
False
Let o be (-3)/(-2)*(2 + 2). Let g(r) = -r**2 + 8*r - 9. Let n be g(o). Suppose -n*b + 35 = 2*b. Is b a composite number?
False
Let b = 21 - 12. Let y be (-56)/(-6) + (-3)/b. Let g(u) = 8*u + 5. Is g(y) prime?
False
Let j = 182 + -129. Is j a composite number?
False
Let h = 218 - -140. Is h prime?
False
Let f = -346 + 763. Suppose -z - f = -2*o, 5*o = 3*o + 2*z + 412. Is o composite?
False
Suppose -25 = -5*v + 5*p, -v + 2*p = 2*v - 16. Let g be (v/(-5))/((-4)/(-20)). Is (33/g)/(2/(-44)) prime?
False
Suppose 0 = 3*w + 96 + 258. Let l be (-2 - -2 - w) + -3. Suppose -l = -5*i + 220. Is i a prime number?
True
Let j be (9 - -5)*17/2. Let g(s) = -2*s + j - 2*s**2 + 3*s**2 + 3*s. Is g(0) prime?
False
Let n(y) = 18*y**2 + 2*y - 4. Let o = -11 - -7. Let g be n(o). Suppose -3*v - 2*q - q = -g, 2*q = 2*v - 172. Is v composite?
False
Let w = 0 - -3. Suppose w*d - 6 = d. Suppose -q = -d*q + 66. Is q a composite number?
True
Let d be (-6)/5*70/(-21). Suppose -5*b + 5*t - 45 = 0, 0 = -6*b + d*b + 5*t - 27. Let g = 13 + b. Is g a prime number?
True
Let x(s) = -10*s**2 - s - 2. Let b(r) = 19*r**2 + 2*r + 5. Let t be (-1 + 1 + 1)*5. Let u(h) = t*x(h) + 3*b(h). Is u(-6) composite?
False
Suppose 0*o = -5*n + 4*o + 9285, 0 = -4*o + 20. Is n a composite number?
False
Is (-1589)/(-4) - 1/4 prime?
True
Suppose -164 = -4*d - 2*b, 4*b + 102 = -3*d + 5*d. Let p = d + 22. Is p composite?
True
Let r be 3 + 1*(-2 - 0). Let f be (-2)/((-2)/(-2*r)). Is (171/(-6) - -2)*f prime?
True
Let z(s) be the second derivative of -s**5/20 + 2*s**4/3 + 5*s**3/3 - 11*s**2/2 + 3*s. Is z(8) composite?
True
Let s be (-1)/3 - (-1876)/(-6). Let o(q) = -55*q - 4. Let v be o(4). Let l = v - s. Is l a composite number?
False
Let u = -1 - -3. Suppose -3*w = u*m - 94, 0*m - 5*m = -4*w + 133. Suppose 0*y + 2*y + 2*n = 26, 2*y - n = w. Is y a prime number?
False
Suppose 3*f - 40 = 2*c, -4 + 1 = -3*c. Suppose 3*z - 5*z + f = 0. Is z prime?
True
Suppose 19*h - 18*h = 6065. Is h a prime number?
False
Suppose -2*z + 339 = -265. Suppose 2*i = -4*h + 184 + z, -2*i = -2. Is h a composite number?
True
Let d(n) = n**3 + 3*n**2 - 9*n - 4. Let x(j) = -j**3 - 2*j**2 + 8*j + 3. Let i = -4 - -8. Let z(o) = i*d(o) + 5*x(o). Is z(-4) a composite number?
False
Let g(d) = -156*d - 35. Is g(-14) prime?
False
Let x = 126 + -87. Is x composite?
True
Let o = -1061 - -1734. Is o a prime number?
True
Let h =