 + 2 - 1. Suppose -1586 = -2*c + p*a - 6*a, -3923 = -5*c + 4*a. Is c prime?
True
Suppose 0 = -f - 3, 2*n - 4 = 7*f - 3*f. Let r(y) be the first derivative of -33*y**2/2 + y - 6. Is r(n) composite?
True
Let f(p) = -p**3 + 8*p**2 - 6*p - 3. Let u(q) = -2*q**3 + q**2 - 1. Let l be u(-1). Let i be ((-8)/12)/(l/(-18)). Is f(i) composite?
True
Suppose -4*a = -3*s - 8, 4*a + a + 5 = 0. Let z = -5 + 10. Is s/10 + 187/z a prime number?
True
Suppose 4*i = 4114 + 3194. Let k = -1204 + i. Is k composite?
True
Suppose 5*g = 2*g - 18. Let u = 6 + g. Suppose u = m - 18 - 5. Is m prime?
True
Suppose 4*p = -0*t + 4*t + 424, -3*t = p - 118. Is p composite?
False
Let h(b) be the third derivative of 0*b + b**2 + 0 + 1/3*b**3 + 11/24*b**4. Is h(3) composite?
True
Let g(c) = c**2 + 4*c - 4. Let s be g(-5). Let t be -1 + 5 + s/(-1). Suppose t + 44 = h. Is h composite?
False
Suppose -5*o = 4*u - 3*o + 8, -o - 4 = 0. Suppose -3*x = -u*x - 207. Is x prime?
False
Let u(x) = 24*x - 5. Suppose 2*z - 5 = 3. Is u(z) a prime number?
False
Suppose 0 = 2*d - 12. Let z(y) = -y + 6. Let f be z(d). Suppose -4*r + m + 55 = f, 0 = -5*r + 2*r - 3*m + 30. Is r a prime number?
True
Suppose 0 = p + 2*h + 188, -5*p + 0*p - 5*h - 940 = 0. Let c be (-2)/((-8)/4) + 378. Let t = c + p. Is t prime?
True
Suppose 5*z = -g + 596, -4*g + z + 3371 = 1050. Is g a composite number?
True
Let h = 8 + -5. Suppose -h*y + 5*y = r + 42, 5*y + 5*r - 135 = 0. Is y prime?
True
Let t(d) = -2*d**2 - 22*d - 3. Is t(-9) composite?
True
Let t(q) = 33*q**3 + 3*q**2 - 3*q + 4. Is t(3) a composite number?
True
Let n = -4 + 7. Is (-1)/n - 134/(-6) a composite number?
True
Let d be (-4 + 0)*(-3 - -2). Is d/2 - 581/(-7) composite?
True
Suppose 22 - 2 = 5*o. Suppose 2*t - k - 9 = 0, 0*k + 7 = -o*t - 3*k. Suppose t*j - 152 = -4. Is j composite?
True
Let b = 79 - -30. Is b composite?
False
Suppose -2*b + 1914 = 5*u, -4*b + 5*u = -1946 - 1942. Is b a prime number?
True
Is ((-108)/8)/(-9)*(-4062)/(-9) prime?
True
Is 3689/7 + (1 - 5) prime?
True
Suppose 5464 = 4*a - 4164. Is a a composite number?
True
Let x(l) = 2*l**3 + 5*l**2 + 2*l - 3. Is x(4) a prime number?
False
Let x(f) = f + 1. Let u(w) = -w**2 - 5*w - 8. Let s(z) = -u(z) - 6*x(z). Is s(0) a composite number?
False
Let j(l) = -l**3 + l. Let t be j(-1). Let a(h) = h - 47. Let s(o) = -2*o + 94. Let i(p) = 5*a(p) + 3*s(p). Is i(t) composite?
False
Let g(u) = u + 12. Let s be g(-10). Suppose -s*f - 2*f + 3*v = -133, -5*v + 62 = f. Is f a composite number?
False
Suppose 6*a = 2*a + 76. Is a a prime number?
True
Let l(t) = 886*t**3 + 2*t - 1. Is l(1) prime?
True
Let h(y) = 2*y**2 - 4*y + 3. Let m = 5 + -1. Suppose m*p = 4*u - 24, 4*u = 4*p - 3*p + 24. Is h(u) a prime number?
False
Let p(c) = 572*c - 15. Is p(7) a composite number?
False
Suppose 0 = 2*j + 5*r + 24, 0*r - 2*r - 8 = 0. Let s(k) = -2*k**2 + 11*k - 10. Let b be s(4). Is (-194)/8*b*j prime?
True
Let h be (-1)/(-4) + 50/(-8). Let x(j) = -4*j - 6 - 3 + 0. Is x(h) prime?
False
Let x = 0 - -3. Suppose -11 = -4*k + x*k. Is k a composite number?
False
Let n be 30/(-9)*21/(-2). Suppose -232 = -2*v - 3*r - 0*r, 3*r + 622 = 5*v. Let p = v - n. Is p composite?
True
Suppose 2*o + 2*o - 16 = 0. Suppose -o*w = z + 3*z - 12, w - z - 5 = 0. Suppose -5*q + 598 = w*p - 3*p, -4*q + 2*p = -470. Is q a prime number?
False
Suppose 3*h - 3 = 2*h, l = -3*h + 56. Is l prime?
True
Suppose 2*b + 4*y = 4, 0*b - b - 5*y = -8. Let k(w) = 6*w**2 + 3*w + 1. Is k(b) a prime number?
True
Let i(l) = l + 86. Let h be i(0). Suppose 0 = 4*s - 3*s - h. Is s composite?
True
Suppose 2*q - n = q - 2, -n = -5. Suppose -425 = -q*w + 5*j, -2*w + 5*j = -263 - 17. Is w prime?
False
Suppose -w - 2*w = 0. Is (-2 - w)/(2/(-109)) prime?
True
Suppose -4*w - 5 - 5 = -2*k, -5*w + 70 = 5*k. Is k a composite number?
False
Suppose 0 = 4*q - 88 - 32. Let b = q + 79. Is b prime?
True
Suppose -5*b - 2*l - 798 = 0, l + 3*l = -4*b - 648. Let x = -75 - b. Is x prime?
True
Let q = 208 - -256. Suppose -q = -0*p + 4*p. Let o = p + 162. Is o prime?
False
Suppose 5*k + 228 = 878. Suppose -10 = -9*x + 4*x. Suppose -7*r = -x*r - k. Is r prime?
False
Let h = 58 + -31. Is 1923/h - (-6)/(-27) a composite number?
False
Suppose -1115 = -3*v - 2*v. Is v a composite number?
False
Is (-15)/10*-331*(1 - -1) prime?
False
Let l(c) = 2*c**3 - 10*c**2 + 3*c - 4. Let k be l(7). Let d = k + -102. Suppose -2*g + d = g. Is g a composite number?
False
Suppose -y + 5*q = -0*q + 23, 2*y - q = -1. Suppose 2*c = -3*p + 8*p + 658, 2*c - y*p = 658. Is c a prime number?
False
Suppose -43 = -2*j - 11. Let y = j - -3. Is y composite?
False
Suppose -222 - 12 = -6*x. Is x a composite number?
True
Let g be ((-74)/6)/((-1)/12). Let p = 353 - g. Is p prime?
False
Let t(n) = n - 1. Let r be t(1). Suppose r*l - 5*l = -235. Is l a prime number?
True
Suppose 4*l = -x + 1081, -2*l = -0*x - 2*x + 2112. Is x composite?
False
Let m = -4 - -9. Suppose -m*k = -8*k + 204. Let h = -34 + k. Is h a prime number?
False
Suppose -2*x + 0*x + 16 = 4*z, -18 = -3*z - 3*x. Suppose -u + 9 = z*u. Is (3 - 4)/((-1)/u) prime?
True
Let m(c) = -50*c + 1. Suppose -17 = 2*w + 3*u, 2*w + 4*u + 7 = 3*u. Is m(w) prime?
False
Let c be (11/5 + -3)*-5. Suppose d = c*d - 201. Is d composite?
False
Suppose -s + 229 = -20. Is s prime?
False
Let v(w) = w. Let a be v(0). Suppose -4*d - 4*y + 136 = a, -4*d + 164 = d - y. Is d composite?
True
Suppose 2*v + 8 = f - 18, 4*f + v = 122. Let w be (-11)/4*(-4)/1. Suppose -f + w = -a. Is a composite?
False
Is -2*(-2 + 21815/(-10)) a composite number?
True
Suppose 6*r = -2*v + 3*r + 386, 3*v + 3*r = 585. Is v prime?
True
Suppose -4*k = -5*g + 5618, 0 = -k + 3. Suppose -2*c + 2 = 6, -2*f + g = 2*c. Is f composite?
True
Let o(c) be the first derivative of c**4/4 + c**2/2 + c - 7. Is o(3) prime?
True
Let i be (1*0/2)/(-1). Suppose m - 2*m + 115 = i. Suppose 0 = -c - 0*c - 4*n + m, -c + 114 = 5*n. Is c a composite number?
True
Let h(v) = 2*v**2 - 5*v + 3. Let y be h(3). Suppose 0 = -y*x + x. Suppose x = 7*z - 2*z - 75. Is z composite?
True
Let t = -568 - -923. Is t a composite number?
True
Let i be 8/20 + (-2)/5. Suppose i = -s - 3*s + 36. Is s composite?
True
Let i(g) = -g**3 + g**2 + g + 22. Is i(0) a prime number?
False
Suppose -5*m = -3*m + 140. Is 28/m + (-2427)/(-5) a composite number?
True
Suppose 3*q - 10 = -2*q. Let b be q/(9744/(-4869) - -2). Is 2/(-11) - b/33 a composite number?
True
Let l(s) be the first derivative of s**5/20 + s**4/24 + s**3/6 - s**2 - 3. Let x(p) be the second derivative of l(p). Is x(-1) a composite number?
False
Suppose -x + 2*c = -4*x + 13, 0 = x + c - 5. Suppose -2*p + 518 = 2*r, x*p = -4*r - 0*p + 1031. Is r composite?
True
Let n(p) = p**2 + 7*p - 11. Let j be n(10). Suppose w - j + 40 = 0. Is w prime?
False
Let z be (-2)/(-4) - (-161)/14. Let h = z + 137. Is h a prime number?
True
Suppose 2*t - 7 - 3 = 0, 75 = m + 4*t. Is m prime?
False
Let x(q) = 2*q - 15. Let j be x(11). Let h(u) = -u**3 + 9*u**2 - u - 8. Is h(j) a prime number?
True
Suppose 5*x - 2*i - 47 = 0, 0*x + i + 46 = 5*x. Suppose x*v + 3*t - 1103 = 4*v, 4*v + 4*t = 876. Is v a composite number?
False
Let j = 23 - 7. Let c(v) = -3*v + 5. Let p be c(-6). Let r = p - j. Is r a composite number?
False
Suppose d + 2*o = 647, -3*d - 2*d + 3250 = -5*o. Is d a prime number?
False
Let n(q) = q**3 - 4*q**2 - 17*q + 13. Is n(11) composite?
False
Let y be (3 + -4)/((-1)/(-6)). Let v(t) = -t**3 - 6*t**2 + 4*t. Let k be v(y). Let h = 62 + k. Is h a prime number?
False
Let j be (-54)/(-4)*2/(-3). Suppose 4*u + 5*v = -0*u + 25, 5*u = -3*v + 41. Let s = u - j. Is s a composite number?
False
Let w be ((-120)/25)/((-2)/(-60)). Let z = w - -202. Is z prime?
False
Suppose 0 = 5*w + 6 + 19, 4*s = -4*w. Suppose 22 - 7 = -s*l. Is (1 + l)*357/(-6) a prime number?
False
Suppose -3*p = -3*z - 111, 3 = 2*p - z - 74. Suppose 2*b - p = -0*b. Let i = b - -17. Is i a composite number?
False
Suppose -2*c - 38 = -3*q, 0*q - 2*c + 46 = 4*q. Is ((-6)/q)/(2/(-12)) composite?
False
Let n(g) be the third derivative of -1/60*g**5 - g**2 + 0 + 0*g + 7/6*g**3 - 1/4*g**4. Is n(-6) prime?
True
Is 10195/35 - (-4)/(-14) a composite number?
True
Let z = -3 + 9. Suppose 3*b = -3*f + 240, z*b - 392 = b + 3*f. Is b composite?
False
Suppose 2*u + u = 12. Suppose