 Is k(j) a composite number?
False
Suppose 234 - 1869 = -5*n + 5*b, -4*n - b + 1328 = 0. Is n a prime number?
True
Suppose 0 = -3*z - v + 559, 4*v - 2*v - 378 = -2*z. Is z prime?
False
Suppose -4*f + 5*f = 0. Let z be 0 + -2 + f + -1. Is (-56)/z - 4/(-12) a composite number?
False
Suppose 3*h - 2*l + 612 = 5*h, 3*h - 2*l - 913 = 0. Is h a composite number?
True
Let w = -522 - -775. Suppose -4*p + 4*o + 279 + w = 0, 4*p - 5*o = 534. Is p prime?
True
Let p = -11 + 19. Let d = 7 - p. Is (-23)/(1*(d + 0)) composite?
False
Let o be 37 + -2 + (3 - 4). Let s = 69 - o. Is s prime?
False
Let u(g) = g**2 + g + 4. Let w(y) = -y**2 - y - 3. Let x(o) = -2*u(o) - 3*w(o). Let z be x(-1). Suppose -t - z + 7 = 0. Is t prime?
False
Let l be 15/9 - (-4)/(-6). Let p be 1 - (l + 0) - -4. Suppose w + p*h = 19, -5*w + 2*w + h + 31 = 0. Is w a composite number?
False
Suppose -452 = -4*c - 4*m, -73 = -c + m + 40. Is c prime?
True
Suppose 2*h - 3 = h. Suppose u + 66 = h*u. Is u composite?
True
Suppose -4 = -3*k + t, 4*k - t - 32 = -5*t. Suppose k*u = u + 6. Suppose j - 4*o = -u*o + 1, -2*j + 3*o = 3. Is j a prime number?
False
Suppose -5*f - 296 = 379. Let w = f - -214. Is w prime?
True
Suppose 0 = 4*y - 6*y + 2422. Is y composite?
True
Suppose -21 = -2*q - 2*b + 3*b, -5*b = -3*q + 14. Suppose n + 4*l = 6*n - 16, -3*n - l = -q. Suppose 0 = n*a - 3*a - 111. Is a a prime number?
False
Let m(j) = -j**3 + 4*j**2 - 2*j - 4. Let o be m(3). Let z(d) = 161*d**2. Is z(o) a composite number?
True
Let k(g) = 34*g + 8. Let h(w) = -33*w - 7. Let i(n) = 3*h(n) + 2*k(n). Is i(-4) composite?
True
Suppose -4*m = -m - 1089. Suppose -5*z = -4*t - 343, 4*t - z = -0*t - m. Let r = t - -187. Is r a prime number?
False
Let j = 73 - -4. Is j a composite number?
True
Suppose 7*a + 222 = 4*a. Is (a/(-3))/(2/3) composite?
False
Let d(a) = 858*a + 5. Is d(2) prime?
True
Let p(q) = q**3 - 7*q**2 + 6*q + 2. Let v be p(6). Suppose 3*m + i - v*i - 487 = 0, 2*i = 4. Is m a prime number?
True
Let b = 115 + -28. Is b a prime number?
False
Let x = 20 + 19. Let s = x + -13. Let n = 75 - s. Is n a prime number?
False
Let h(n) = 3*n**2 - 1. Let o be h(-1). Suppose o*p - 17 = 173. Is p prime?
False
Suppose 3 - 4 = a, 5*a - 2159 = -4*c. Is c a prime number?
True
Suppose -s = 4*w - 2247, 0*w = 3*w + 4*s - 1669. Is w a prime number?
True
Let l(o) = o - 5. Let s be l(7). Suppose -74 = -s*b - 0*b. Is b composite?
False
Let x(o) = -o**3 + 3*o**2 - 3*o. Is x(-7) composite?
True
Suppose 0*k - 210 = -5*k. Suppose 2*y + 3*h = k, -2*h - 78 = -3*y + h. Suppose 0 = -0*c + 4*c - y. Is c a composite number?
True
Is 236/3*(-42)/(-28) a composite number?
True
Let j = 4 + -2. Suppose 5*y + 24 = 2*u + 123, -j*u + 27 = y. Is y a prime number?
False
Let p(m) be the first derivative of -37*m**3/3 + m**2/2 - 1. Let g be p(1). Let q = g + 119. Is q composite?
False
Is 1 + 0 + (4 - 2 - -302) prime?
False
Suppose 0*i - 31 = -i. Is i prime?
True
Let d(y) = y**3 - 6*y**2 - 5*y - 7. Let o(w) = -5*w**3 - 1. Let j be o(-1). Suppose 0 = -j*x - 5*n + 8, -x + 15 = -4*n + 2*n. Is d(x) prime?
True
Let k(b) = -b**2 + b - 1. Let y(r) = 18*r**2 - 3*r + 9. Let p(q) = 5*k(q) + y(q). Is p(3) composite?
False
Let w = 594 - 343. Is w a composite number?
False
Is ((-18)/27)/((-4)/3246) a composite number?
False
Let j(t) = -t**3 + 20*t**2 + 14*t + 13. Is j(18) a prime number?
False
Suppose 2*b - p - 409 = 0, p - 1012 = b - 6*b. Is b a prime number?
False
Suppose -3*l + 5*y + 2 = -2, -5*y = 5*l - 60. Let c(w) = 4*w + 20. Let n be c(-5). Suppose n = 2*z + l, -v + 12 = -2*z - 18. Is v prime?
False
Let z be ((-3)/(-6))/((-2)/(-460)). Suppose 5*h = 70 + z. Is h a composite number?
False
Let o = -1692 + 3929. Is o a prime number?
True
Let k = -12 + 43. Is k a prime number?
True
Suppose 3*c - 1585 = -2*c. Is c prime?
True
Let a(g) = -g**2 + 10*g - 7. Let l be a(9). Let o be (-3 - -2)/(l/(-4)). Suppose -o*b + 12 = -16. Is b prime?
False
Suppose 879 = 5*c + 2*j - 1790, 5*j = -4*c + 2125. Suppose -5*i + 5*y = -c, 0 = 3*i + y + 4*y - 337. Is i a composite number?
False
Suppose 2*o + 5*u - 15 = -6, -4*o - 3*u = -11. Let p = 0 + 12. Suppose t = o + p. Is t prime?
False
Suppose s = -3*p, -5*s = -p - 3*p. Suppose h - m = 3*m + 231, s = 4*h - 3*m - 898. Is h a prime number?
True
Let q be 140/2 - 2/1. Suppose -2*u - l = -5*u + 49, -4*l = -4*u + q. Is ((-7)/4)/((-2)/u) composite?
True
Let w(c) be the first derivative of c**4/4 + 2*c**3 - 7*c**2/2 - 5*c - 3. Let v be (-12)/8*(-4)/(-1). Is w(v) prime?
True
Let x(p) = -6*p**3 + p**2 + 5*p - 1. Is x(-4) a prime number?
True
Let n(o) = 3*o**3 + 2*o - 1. Let k be n(1). Is ((-178)/3)/(k/(-6)) prime?
True
Let c be (116/6)/(1/3). Let w = c + -37. Is w a prime number?
False
Let l = -112 - -261. Is l composite?
False
Let i(k) = 20*k - 3. Let y be i(3). Let s = y - 32. Is s composite?
True
Suppose 148 - 17 = u. Is u a prime number?
True
Suppose -5*j + 2321 + 1064 = 0. Suppose 2*w - w - j = 0. Is w composite?
False
Suppose -6 = -4*t + 2*z, -z + 9 = 5*t - t. Suppose t*v - 48 = 218. Is v a prime number?
False
Let q = 175 + -30. Is q prime?
False
Is 144 - -2*((-6)/4)/(-3) a prime number?
False
Let u = -1364 - -4013. Suppose -4*m + 67 = -u. Is m a prime number?
False
Let c = -691 + 1027. Let u = c - 123. Is u a prime number?
False
Suppose 73 - 253 = -2*h - 2*g, -g - 274 = -3*h. Is h a composite number?
True
Let l = -4777 + 8106. Is l a composite number?
False
Let t be (-1 + 5)*(-2)/(-4). Suppose -t*n + 94 = -8. Is n prime?
False
Let l(v) be the first derivative of -v**4/4 - 4*v**3/3 - 2*v**2 + 3*v + 2. Let s(b) = -b - 4. Let p be s(0). Is l(p) a prime number?
True
Let a(d) = -d**2 + 4*d + 5. Let v(y) = -y**2 + 5*y + 5. Let n(o) = -4*a(o) + 3*v(o). Is n(-6) a composite number?
False
Suppose -p + 3*q + 1382 = 0, 0 = -3*p - 4*q - 1689 + 5822. Is p a composite number?
True
Suppose 4*q - 12 = -k + q, 2*k - 3*q + 12 = 0. Let t(x) = -x**3 - x**2 - x + 3. Let i be t(k). Suppose -52 = -i*z - z. Is z prime?
True
Suppose -5*h = -5*r - 0*h, -r = 2*h - 6. Let j(q) = 85*q - 1. Is j(r) a prime number?
False
Suppose -3*i = -z - 3557 - 483, 0 = 2*i - 3*z - 2705. Is i a composite number?
True
Let b(p) = 5*p**2 - 6 + 4*p**2 - 7*p + p**3 + 0*p**2. Suppose 2*x - f + 5*f + 22 = 0, -2*x + f = 17. Is b(x) a prime number?
False
Let m = 0 - -5. Suppose -w - 211 = -a, m*a - 33 = -5*w + 1032. Suppose 7*p - a = 3*p. Is p a prime number?
True
Let q(d) = -d**3 + 4*d**2 + 3*d - 2. Let h be q(4). Suppose h = -5*i - 0*i. Is 21/(1/i*-2) a composite number?
True
Let f be (1 - 1) + 1*11. Let k = -6 - -4. Is 2 - (f*6)/k composite?
True
Let o(m) = 3*m + 2. Let i(t) = 5*t**2 - 2*t - 1. Let p be i(-1). Let w be p/(-3) - 9*-1. Is o(w) a prime number?
True
Let y(m) = -m**2 + m + 2. Let w be y(-2). Is -2 - (-3 - w) - -90 a composite number?
True
Suppose z - 3*z + 1247 = -3*t, 4*z - 2485 = 3*t. Suppose -4*n + 5*l = -0*n - z, -n = 4*l - 181. Is n prime?
False
Let t = 11 - 11. Let l = t - -22. Is l composite?
True
Let x(i) = 46*i**2 - 2*i - 1. Is x(-1) a prime number?
True
Suppose -s + 0*q + q - 5 = 0, s = 5*q - 13. Is 6/s - (2 + -37) prime?
False
Suppose -3*n - 5*g = -3*g - 1015, 1695 = 5*n + 5*g. Is n composite?
False
Let x(n) = -10*n + 17. Is x(-14) a prime number?
True
Let u = -1 - 2. Let o be 1/(-3) - 7/u. Suppose 0 = 2*j + 4*q - 174, 3*j - q = o*q + 225. Is j composite?
False
Suppose 0*h + 207 = 3*h. Is h composite?
True
Suppose -2*u - 53 - 495 = 3*i, -3*i + u - 563 = 0. Is i/(-10) + (-8)/(-20) composite?
False
Suppose 7*f - 9115 = -2766. Is f a composite number?
False
Suppose -5*y + 65 = 2*d, -d + y = -3*y. Is 11*4*d/16 composite?
True
Let x be 12/30 - 206/(-10). Suppose -t + 2*a + 15 = 0, 6*a = -3*t + 4*a + x. Is t composite?
True
Let d be (-2)/(-4)*(3 - -1). Let t be (d + 3/(-1))*-270. Is t/4 + 1/(-2) composite?
False
Let z be 140/65 - (-4)/(-26). Suppose -z*b = 4*q - 134, 5*q + 53 = 4*b - 163. Is b prime?
True
Suppose -79 - 42 = -m. Is m a composite number?
True
Let f(v) = v**3 + 4*v**2 - 6*v - 2. Let h be f(-5). Is h/((-64)/22 + 3) prime?
False
Let k(m) = 22*m**2 + 5. Is k(3) a prime number?
False
Let w(t) = 8*t - 18. Let d(g) = 4*g - 9. Let z(b) = -5*d(b) + 2*w(b). Is z(-7) composite?
False
Let f(h) = -187*h - 1. Let s be f(-6). Let r = -789 + s. Suppose l - r = -3*l