6. Let g = d + p. Is g a prime number?
True
Let i(k) = -21*k**3 - k**2 - 3*k - 3. Let d(w) = 3*w - 4. Let n(z) = -z + 1. Let o(r) = -d(r) - 2*n(r). Let c be o(4). Is i(c) a prime number?
True
Let n = -27 - -30. Suppose -z = -2*z + n, -5*v = -5*z - 1640. Is v a composite number?
False
Let w = 1217 - 610. Suppose -313 = -o - 4*n, 2*o - 7 = -4*n + w. Is o prime?
False
Let p = 17 + -23. Is (-3 + 1)/(p/669) prime?
True
Let l(r) = 6*r - 5. Let s(g) = 5*g - 4. Let c(a) = -4*l(a) + 5*s(a). Let n be c(-2). Let b(f) = -5*f**3 + 3*f + 3. Is b(n) composite?
False
Suppose 4*c + 0*y - 4*y = 356, -2*c + 4*y = -172. Suppose c = -f + 5*f. Is f a prime number?
True
Let n(x) = 2*x**2 + 14*x + 13. Let l(h) = 2*h**2 + 4*h - 5. Let s(r) = -r + 1. Let j(a) = -l(a) - 2*s(a). Let f be j(-3). Is n(f) a prime number?
False
Suppose -y - 3*b + 264 = -49, 0 = y + b - 307. Let t = y + -215. Is t composite?
False
Let f(j) be the second derivative of -j**3/6 - 4*j**2 - j. Let l be f(-12). Suppose 2*k = l*w - 384, -w = -0*w - 4*k - 103. Is w a composite number?
True
Suppose 5*f - 24 = 2*f. Let b(y) = -y**3 + 11*y**2 - 11*y + 25. Let q be b(10). Suppose -z + f = -q. Is z composite?
False
Let x(o) = 3*o**2 - 5. Let b(n) = -7*n**2 + n + 10. Let f(m) = -4*b(m) - 9*x(m). Is f(8) a prime number?
True
Let a(t) = -t**2 - t + 401. Is a(0) prime?
True
Suppose 0 = -v - 0*v - 1174. Is (-4)/18 - v/18 composite?
True
Let h(y) = -10*y**2 - 5*y**3 + 4*y**2 - 3 - 4*y**2 - 9*y. Let j be h(-6). Suppose -4*u + 4*f = -1028, 0 = -3*u + 6*f - 8*f + j. Is u a composite number?
False
Let z = -10 + 10. Is (z/(-2) - 0) + 115 a composite number?
True
Let n = 583 - 186. Is n a composite number?
False
Let y(b) = -8*b - 10. Let c(i) = 9*i + 11. Let x(z) = 4*c(z) + 5*y(z). Is x(-5) composite?
True
Let z = -2188 - -4337. Is z a prime number?
False
Let m be (-2 + -340)/(-3) + 1. Let s = 249 + m. Suppose -9*j + s = -5*j. Is j a composite number?
True
Let p = 10 - 10. Let z(t) = t**2 + t + 37. Is z(p) a prime number?
True
Let g = 4387 - 1044. Is g a prime number?
True
Let i be -3 - -2 - (-1 + -5). Suppose 123 - 713 = -i*h. Is h composite?
True
Suppose 5*p - 3*p + 2*a - 3076 = 0, 4*p - 6154 = -3*a. Suppose -4*w + p = -1000. Is w composite?
True
Let p(b) = 198*b**2 - 2*b + 3. Is p(-2) prime?
False
Let n(q) = -77*q - 10. Is n(-4) a prime number?
False
Let t(y) = -2*y - 2. Let d be t(-3). Suppose 3*n - 5*n - d*o = -106, -4*o = 0. Is n a composite number?
False
Let d(q) = -q**3 - 8*q**2 - q - 7. Let h be d(-8). Let p(z) = -1 + 13*z + h. Is p(1) a prime number?
True
Let u = -6 - -5. Let a = u + 48. Is a a composite number?
False
Let y(j) be the third derivative of 31*j**5/60 + j**4/24 + j**3/6 + j**2. Is y(-1) a prime number?
True
Suppose -j - 6 = -3*j. Suppose z = -j + 22. Is z a prime number?
True
Let m be ((-3)/2)/(-3)*8. Suppose -4*w = -m*r - 0*w + 400, -4*r + 397 = -5*w. Is r a prime number?
True
Suppose 3*b = 0, -2*h + 5575 = 3*h + 4*b. Is h composite?
True
Let o = -4 - -6. Suppose -d - 4*t + 1 - 2 = 0, -o*t = 4*d - 10. Suppose -d*h + 2*z + 147 = 0, -2 - 1 = z. Is h a prime number?
True
Let g = 114 + -77. Suppose 0 = -7*h + 6*h + g. Is h a composite number?
False
Is (4 - 5) + 2310 + 1 + -1 prime?
True
Let v = -1806 + 2645. Is v a prime number?
True
Let v = -4 + 6. Suppose -v*k = -k + 12. Let h = 79 + k. Is h a composite number?
False
Suppose 15 = f + 2*f. Let z be 3 - (2 + -4 - -1). Suppose -2*h = 5*r - 25, z*r = -2*h + 23 - f. Is r prime?
True
Let k = -1121 - -502. Is k/(-4) + 1/4 a prime number?
False
Let w = 44 + -29. Let s = w - -8. Is s a composite number?
False
Let a(b) = 2*b**2 + 2*b + 1. Let n be a(6). Suppose -n = 5*q - 6*q. Is q composite?
True
Let o = -3 + -2. Let x(l) = -l**2 - 6*l - 5. Let a be x(o). Is -2 + (a - -4) + 21 composite?
False
Suppose 0*q = -2*p + 2*q + 14, 2*p + 2*q - 22 = 0. Let f be -9*(3/p)/(-1). Suppose -f = -u + 6. Is u a composite number?
True
Let u(l) = 12*l - 10. Is u(8) a prime number?
False
Let c be -1 + 1/((-3)/(-561)). Suppose -3*d + s = -0*d - 136, 4*d - c = -s. Is d prime?
False
Suppose -2*w - 8 = -4*w. Suppose u + 3*u - 220 = -w*v, -2*v - 55 = -u. Is u prime?
False
Let d(f) = 2*f**2 + 1. Let r(o) = 6*o**2 - o + 2. Let i(g) = -8*d(g) + 3*r(g). Let x = 6 - 9. Is i(x) composite?
True
Let x(p) = 71*p + 6. Is x(5) composite?
True
Let s = 10 - 19. Let f = 22 + s. Is f a composite number?
False
Let p(r) = -r + 8. Let h be p(7). Suppose v = -h + 8. Is v prime?
True
Let w = -178 + 939. Is w a prime number?
True
Suppose m = 4*m - 6. Let l be 218 - (2 - (2 + -1)). Suppose -13 - l = -m*h. Is h prime?
False
Suppose -6 = s - 3*s. Suppose 5 + 1 = -s*g. Is g/3 + (-46)/(-6) prime?
True
Is (-12582)/(-2) - -2*(-8)/(-4) composite?
True
Let q(g) = -56*g + 1. Suppose -3*v - v = 8. Is q(v) a prime number?
True
Suppose f + 4*f - 165 = 4*n, 0 = 2*n + 10. Is f - 10 - (0 + 0) composite?
False
Let z(g) = 35*g + 9. Suppose 0*w + w = 14. Is z(w) a composite number?
False
Let a = -34 + 178. Let u = a + -57. Is u a composite number?
True
Let y(z) = -z - 3. Let u be y(-8). Suppose 0 = u*g + 3 + 7, 0 = 3*h + 3*g + 6. Suppose -5*i - 5 = h, -2*i + 20 = -m + 201. Is m prime?
True
Suppose -2*u - u = 813. Let n = -194 - u. Is n a prime number?
False
Let y(m) = 268*m - 23. Is y(5) composite?
True
Let q = -299 - -618. Is q prime?
False
Suppose 5*i = -4*x + 14, 7*x - 1 = i + 4*x. Suppose -2*r - i*r = -16. Suppose r*s = 156 - 56. Is s a composite number?
True
Let l = -2 - -3. Is l/3 - 870/(-9) a prime number?
True
Suppose 13 = -f + 2*f. Is f prime?
True
Let f(x) = 6*x - 1. Let s(v) = 5*v + 5*v - v**2 + 0*v**2. Let n be s(9). Is f(n) prime?
True
Is (-22)/(-121) - (-2614)/22 prime?
False
Let x = 11 - 9. Suppose 2*l - 956 = -x*l. Is l composite?
False
Suppose -3*y - 194 + 1064 = 0. Suppose 3*w + 2*w = y. Is w a prime number?
False
Is 22/(-99) - (-4511)/9 a composite number?
True
Let z(u) = -2*u**3 - 5*u**2 + u + 3. Let x(m) = -m**3 - 3*m**2 + 2. Let a(n) = 7*x(n) - 3*z(n). Is a(-6) composite?
False
Suppose d + 0 = -3*y + 7, 4*d - 2*y - 14 = 0. Let s = -6 + d. Is -1 + (s - -1) + 25 a prime number?
True
Suppose 2*h - 4*n = 14, -5*h + h + 46 = -2*n. Is ((-35)/(-4))/(h/52) composite?
True
Let z(n) = -n**3 - 3*n**2 - n - 3. Let x(t) = t**3 + 4*t**2 + t + 2. Let m(y) = -4*x(y) - 5*z(y). Is m(0) prime?
True
Suppose -3 = -f - 1. Let b be (-2)/f*(0 + -4). Suppose -5*u + 109 = b. Is u composite?
True
Let v(r) = 12*r + 7. Let k(y) = y**3 - 2*y**2 + 4*y - 2. Let d be k(2). Is v(d) a composite number?
False
Suppose p - 5 - 53 = 0. Is p composite?
True
Suppose -863 = 5*y + 2*g - 133, -2*y - 292 = 5*g. Let l = 255 + y. Is l composite?
False
Let p(v) = 6*v + 2. Suppose 0*q = 3*q - s - 5, -q - 5*s = -7. Is p(q) prime?
False
Let l = -118 + 201. Is l prime?
True
Let i = 1661 - 984. Is i a composite number?
False
Let b(g) = 4*g**2 - 5. Let x be (2/(-1))/(1/2). Is b(x) composite?
False
Suppose -5*j + 4*u = -1917, 5*u - 1893 = -5*j + u. Is j a prime number?
False
Suppose -4*c = -6*c + 84. Let p(z) = 2*z. Let n be p(-6). Is (0 - 26)/(n/c) prime?
False
Let d(g) = 2*g**2 + 254. Is d(0) a composite number?
True
Let q(y) = -2*y - 507. Let h(f) = -f - 253. Let w(t) = -13*h(t) + 6*q(t). Is w(0) prime?
False
Let o(u) = -u**2 + 5*u - 12. Let b be o(10). Suppose -2*c = -7*c + 555. Let x = b + c. Is x a composite number?
True
Let i(r) = 23*r**2 - r - 1. Is i(3) a composite number?
True
Let k be 1 - (2 - (-23 + 0)). Let i = k - -14. Is (-1)/(-2) - 225/i composite?
False
Suppose 6*z = z + 265. Is z a composite number?
False
Let n(b) = -1. Let c(j) = -4*j - 7. Let v(w) = -c(w) + 5*n(w). Let d(u) = u**3 + 3*u**2 + 2*u + 3. Let l be d(-2). Is v(l) a composite number?
True
Suppose 1 - 21 = -4*d - l, l = -d + 2. Let b(w) = 1 + 0*w**3 + 2 + 1 - w**3 - 4*w**2 - d*w. Is b(-5) prime?
True
Suppose 50 = 3*z - 2*z. Suppose v - 6*v = -25, 3*x - z = 5*v. Let a = x - 16. Is a a prime number?
False
Let s(a) = 34*a + 4. Let l be s(-4). Let v = l + 238. Suppose h = -h + v. Is h prime?
True
Suppose 2*n + 4*n = 894. Is n prime?
True
Suppose 0 = -5*p + 4*p + 1213. Is p prime?
True
Let g(k) = -17*k**3 - k**2 - k. Let w be g(-1). Let l = w - 11. Is l composite?
True
Let b(u) = -13*u - 3. Let t = -13 + 4. Let a be b(t). Suppose 3*y + a = 3*k, -2*k = 2*k - 2*y - 152. Is 