pose -n = -4*h - 14, 16 = -h - h - k*n. Is (-121)/h*(0 + 4) a prime number?
False
Suppose -24 - 16 = -2*w. Is (1 - w)*(-2 + -1) a prime number?
False
Suppose -k + 4*c + 12 = k, -c = -5*k + 30. Let i be 10/3*k/4. Suppose 4*n - 83 = -2*w - 1, i*w + 3*n = 177. Is w a prime number?
False
Let m(s) = 95*s + 1. Is m(2) a composite number?
False
Let v be (-10)/35 + 102/14. Let z be (33 - 1)*(1 + v). Suppose 2*f - o = z, 0*o = f + 3*o - 121. Is f composite?
False
Suppose -4*d = -d - 3*l - 633, -1055 = -5*d - 2*l. Is d a composite number?
False
Let j(c) = c**3 - 9*c + 9. Let u(y) = y**2 + 1. Let b(v) = j(v) - 6*u(v). Is b(8) a prime number?
True
Let n be 4/14 + 4/(-14). Suppose 5*a - 2*a - 102 = n. Is a a composite number?
True
Is ((-1)/(-2))/((-3)/(-2514)) a prime number?
True
Is 83184/15 + ((-9)/15 - 0) a prime number?
False
Let h(b) = -b**2 + 9*b + 13. Let a be h(10). Suppose q + 3*r - 277 = -0*r, -542 = -2*q - a*r. Is q composite?
True
Let a = 69 - 166. Let f = a - -164. Is f a composite number?
False
Let q = 8 + 45. Is q composite?
False
Let j(q) = 13*q**2 + 5*q - 2. Let z be j(-6). Suppose 5*b = -3*x + z, -2*b - 2*x = x - 169. Is b prime?
True
Suppose 0 = -6*h + 829 + 1517. Is h a prime number?
False
Let x(p) = 23*p + 2. Let s(y) = 69*y + 6. Let m(f) = 2*s(f) - 7*x(f). Let i be m(-4). Let u = i - 37. Is u a prime number?
True
Suppose -4*p + 3*h + 210 = 0, 3*h + 159 = 2*p + p. Let c = p - -4. Is c a prime number?
False
Suppose -94 + 346 = 4*m. Suppose 3*p - m = 48. Is p a prime number?
True
Suppose 0 = -z + 348 + 655. Is z a prime number?
False
Let w be 0/(-2) - 192/(-2). Suppose -9*d + 22 = -14. Suppose d*t = w - 20. Is t a composite number?
False
Let o(p) = p**3 + 4*p**2 + 3*p. Let s be o(-2). Let f(r) = 5*r**3 + 3*r**2 - r + 1. Is f(s) a prime number?
False
Let b = -62 - -122. Let n = b - 13. Is n composite?
False
Suppose -2*f - 10 = -4*j - f, 12 = 5*j - f. Let r(d) = -d**3 - 3*d**2 - 3*d - 2. Let x be r(-2). Suppose y - m - 10 = x, 2 = -j*m - 0*m. Is y prime?
False
Let a = -346 - -697. Let u = a + -140. Is u prime?
True
Let z(g) = -328*g - 2. Is z(-3) prime?
False
Let f(c) = -c**3 + c**2 - 2*c - 5. Is f(-5) a prime number?
False
Let c be (-313)/(-3) + (-2)/6. Suppose 0 = 4*i - 124 - c. Is i prime?
False
Let l(h) = -2*h**3 + 3*h**2 + 11. Is l(-4) a prime number?
False
Suppose -548 = x + 4*z - 2*z, 2*x = -5*z - 1101. Let o = 922 + x. Suppose 212 = 4*u - o. Is u a prime number?
True
Is ((-2930)/(-20))/(1/2) composite?
False
Let o be ((-2)/5)/(1/(-5)). Is 78/o + -3 + 2 a composite number?
True
Let o(v) = 6*v**2 + v - 1. Let k be (-2)/1 + 9/3. Let x be o(k). Suppose 0 = -z + x*z - 265. Is z a prime number?
True
Let m = -513 - -1418. Is m composite?
True
Let n(f) = -f - 5. Let p be n(-8). Suppose -p*m + m = -230. Is m a prime number?
False
Let t = -4060 - -2823. Is (-18)/45 - t/5 a composite number?
True
Let c = -3 + -1. Let a(g) = -4*g - 1. Is a(c) prime?
False
Suppose 2*p = -3*p + 1265. Is p a composite number?
True
Let w(y) be the first derivative of -y**2 - 5*y - 1. Is w(-4) a composite number?
False
Suppose 14 = 5*r + 3*j - 0*j, 5*r - 10 = -5*j. Suppose -5*s + 2*s + 117 = 0. Suppose -r*u + 115 = s. Is u a prime number?
True
Let j(q) = 2*q**2 + 16*q + 15. Suppose -2*p + 3*f - 45 = 0, 3*p - 4*f + 62 = -5*f. Let h be p/(-35) + 53/(-5). Is j(h) a composite number?
True
Let o(l) = -6*l**3 + 26*l**2 - 6*l - 5. Let z(s) = s**3 - 5*s**2 + s + 1. Let g(t) = 2*o(t) + 11*z(t). Is g(-3) composite?
True
Let p(k) = k - 2. Let d be p(4). Let l = d + -2. Suppose -2*a + 49 = 5*j - 10, 5*a + 4*j - 173 = l. Is a a composite number?
False
Suppose -2*u - 3*t = -5*t + 8, 0 = t - 4. Suppose 5*r - 3*r - a - 419 = u, 0 = -5*a + 15. Is r composite?
False
Suppose v + 414 = -2*v. Let b = 40 - v. Suppose q = -q + b. Is q composite?
False
Suppose h - x - 12 = 0, 14 = h - 2*x - 1. Let a = -5 + h. Suppose 0 = a*d, 71 = 3*q - 4*d + 5. Is q composite?
True
Is ((-5793)/9)/(7/(-21)) a prime number?
True
Suppose 4*a + 3 + 9 = 0, -a + 372 = 5*q. Is q/4 + (-8)/(-32) prime?
True
Let a(y) = -6*y - 1. Let v = 11 - 21. Is a(v) a prime number?
True
Let x = 235 - 117. Is x prime?
False
Suppose 3*u = -2*u - 60. Is (822/u)/(2/(-20)) composite?
True
Is (-74)/3*9/(-6) a composite number?
False
Suppose -9 = 3*v, -4*i + 3*v + 2598 = -i. Is i a composite number?
False
Suppose 822 = 2*o - 4*p, -o = 2*o + 4*p - 1223. Is o prime?
True
Let z be ((-2)/5)/((-1)/10). Suppose -4*b + 36 = -2*t, b + t - z = -1. Is b prime?
True
Let t(g) = -g**2 - 9*g - 10. Suppose h + h = -5*k - 8, -5*h = 2*k + 41. Let f be t(h). Let j = 3 - f. Is j composite?
False
Let c(y) = 2*y - 1. Let w be c(-2). Let x(j) = -3*j**3 - j**2 + 2*j - 5. Is x(w) prime?
False
Suppose -6*b - 56 = -2*b. Let l be (-2)/(-1)*77/b. Let y(k) = -k**2 - 13*k + 1. Is y(l) composite?
False
Let z(y) = y**3 + 7*y**2 - 4*y + 9. Is z(-7) a prime number?
True
Let j = 33 + -12. Is j a composite number?
True
Let g(p) = -p + 1. Let u be g(-8). Suppose 0 = -q - 2*r, 0*r + 10 = 3*q + r. Suppose -2*y + 3 = -2*w - u, 18 = 2*y + q*w. Is y composite?
False
Suppose -g - 5*r + 4 = 0, -3*g - r = 2*g + 4. Let n(z) = -316*z**3 + z**2 + z + 1. Is n(g) prime?
True
Suppose -f = 5*v + 2*f - 13, 2*v = -5*f - 10. Suppose -r = -v*r + 316. Is r prime?
True
Suppose -6*a + a - 20 = -5*u, -5*u + 22 = -3*a. Is a/((-174)/(-57) + -3) prime?
True
Is (-1)/(-2 - (-3003)/1503) prime?
False
Suppose i = -0*i + 5*q + 995, -5*q - 3935 = -4*i. Let a = -681 + i. Is a prime?
False
Suppose c + 4*c = 895. Is c a composite number?
False
Suppose -1821 = 3*h + 4*x - 5406, 5*h - 4*x - 5975 = 0. Is h prime?
False
Suppose 9 = h - 1. Is h a composite number?
True
Suppose y + 30 = -4*y. Is (-9 - y)/(3/(-83)) prime?
True
Suppose 7*y = 2*y + 2785. Is y composite?
False
Suppose 0*c + 4*o - 5601 = -5*c, c + o - 1121 = 0. Is c prime?
True
Let l(r) = r**3 - 5*r**2 + 2*r + 3. Let n(d) = d**2 - 6*d + 6. Let p be n(4). Let y be (2 - 1*12)/p. Is l(y) composite?
False
Let g be 3/(3/(-4)) - 1. Let m = g - -2. Is m - -3 - (-86 - -1) a composite number?
True
Suppose -p + 1 + 4 = i, 11 = 5*p - 2*i. Suppose -3*o = -2*o - p. Suppose -o*u + 62 + 37 = 0. Is u a composite number?
True
Let w(d) = 15*d - 1. Is w(4) a composite number?
False
Let z(n) = -4*n**3 + 5*n**2 + n + 3. Let f be z(-4). Let i(o) = 12*o**2 + 6*o + 4. Let u be i(-4). Let t = f - u. Is t prime?
True
Suppose -h + 0*h = -2. Suppose 1 = -2*f - 3*f - 3*l, 5*f + 4 = -h*l. Is 60/3*(-1)/f a prime number?
False
Let q(g) = -6*g**3 + g**2 - g - 1. Let d be q(-2). Suppose -3*c = -5*p - 271, 0 = -5*c + 4*p + 416 + d. Is c composite?
False
Suppose 6*p = -4*z + p + 2, 0 = -z - 4*p - 5. Let n = 5 - z. Suppose 37 - n = 5*x. Is x prime?
True
Is 6/(-15) + (-1659)/(-35) a prime number?
True
Is (-1)/(-4) - (-6695)/20 prime?
False
Let q = -89 + 200. Is q prime?
False
Suppose 0 = 7*d - 2*d + 780. Let b be (-6)/(-27) + d/(-27). Suppose 5*f + 5*c - 265 = 0, -265 = f - b*f - 4*c. Is f composite?
False
Let u be 0/((-4)/(-4) - -1). Suppose u = -q - 5*o + 44, -3*q + 7 = o - 55. Is q composite?
False
Is (-2 + 10/4)*254 a composite number?
False
Let g(d) = -d - 1. Let h(o) = 158*o + 4. Let k(n) = -5*g(n) - h(n). Is k(-2) a composite number?
False
Let p = 1160 + -529. Is p a composite number?
False
Let n(u) = -u + 7. Let l be n(7). Suppose l = 5*i + 21 - 266. Is i prime?
False
Let y = -1887 - -1177. Is y/(-15)*3/2 a composite number?
False
Suppose 0 = 3*a - 1308 - 183. Is a prime?
False
Suppose -4*f = v - 3*f + 2, 2*f = 3*v - 4. Let q be (3/2 + -2)/(8/(-576)). Suppose -2*r + 38 + q = v. Is r composite?
False
Suppose -4*r + 15 = r. Suppose -r*s = -2*c - c + 3, 3*s + 5 = 5*c. Is s + 0 + 4 + 83 composite?
True
Let z = 3 + 1. Suppose 3*p + z*g = 6*p - 8, 3*g - 15 = -3*p. Suppose 37 + 30 = v + p*q, -v - 2*q = -57. Is v a composite number?
False
Is 3 + 3/((-15)/(-275)) prime?
False
Let k = -1 + 6. Suppose -3*l = 2*l - x - 637, 5*l = -k*x + 625. Is l a composite number?
False
Let h be 6/(-4)*-2 - 1. Suppose -h*y = -5*u - 45, 0*y - 5*y + 65 = -3*u. Is y composite?
True
Let h(k) = 273*k - 9. Is h(2) a prime number?
False
Let u be (20/6)/((-6)/(-9)). Suppose 0 = -u*w + 4*w - 5*z - 165, 2*w + 4*z = -360. Let x = w - -285. Is x a prime number?
False
Let d be (-2)/(-5) + (-4)/10. Suppose d = -0