c(-14). Suppose 0 = -13*n + q*n + 1615. Is n a prime number?
False
Suppose -v = 3*o - 2935 + 323, -v = o - 868. Let y be 1416/(-6 - -9) - 6. Suppose -4*s - y = -2*d, -2*s = 4*d + 2*s - o. Is d a composite number?
False
Let p(d) = d**3 + 6*d**2 + 4*d - 6. Let f be p(-4). Suppose f*g = 11*g - 93. Is g a composite number?
True
Let g = -135 + 818. Suppose 4*b - 785 = g. Is b a composite number?
False
Let g = 12 - 12. Suppose 2*b = -g*b - 204. Let m = 109 - b. Is m a prime number?
True
Let m(n) = n**3 + n**2 + 2. Let r be m(-2). Let k(y) = 194*y**2 + 5*y + 5. Let b be k(r). Suppose b = 5*w - 2*w. Is w prime?
True
Let f(u) = -u**2 - 17*u + 9. Let k be f(-16). Suppose -4*j - j = 2*a - k, -a = j - 5. Let l(r) = r**2 + 6*r - 6. Is l(j) a prime number?
False
Let x = 123 - 121. Suppose 0 = 13*o + x*o - 7530. Is o composite?
True
Suppose 0 = d + d - 92570. Is d prime?
False
Suppose -b = -2*q - 258, 0 = -b - 5*q + 66 + 164. Suppose 0 = -5*x + 4*u + 139 + 75, -b = -5*x - 5*u. Is x prime?
False
Let y = -826 + 1245. Let v = y - 12. Is v a composite number?
True
Suppose 2*w = 4*o + 20510, 3*o + 20520 = 2*w + 4*o. Is w a composite number?
False
Suppose 42088 = 9*l - 525110. Is l composite?
True
Suppose 0 = -5*j - 4*x + 82453, 3*j - 31109 - 18362 = -2*x. Is j composite?
True
Suppose i + 5*y - 11 = -2*i, -2*i - 4*y = -10. Let w(a) = -186*a - 1. Is w(i) a composite number?
False
Let n(q) = 9 - 1 - 7484*q + 1 - 18. Let b be n(5). Is b/(-28) + (-1)/(-4) composite?
True
Let q(z) = 11*z + 53. Suppose 3*o - 32 = -14. Is q(o) composite?
True
Suppose 2*s = 7*s + 2*h - 2, -4*h = 5*s - 4. Let l(p) = -264*p + 265*p + 3 + 56. Is l(s) prime?
True
Suppose -11 - 9 = 2*m. Let v be (-47)/(-9) - m/(-45). Suppose -v*c + 688 = -307. Is c prime?
True
Let a be -8*(-5)/15*-57. Is a/(-4) + 0 + 1 a prime number?
False
Let a(c) = -2*c + 4. Let k be a(2). Suppose k = -3*y - b + 2024, 0 = y - 2*y - b + 678. Is y composite?
False
Suppose -414*w + 404*w = -39970. Is w prime?
False
Let h(i) = -8*i**3 - 10*i**2 - 6*i - 5. Is h(-7) prime?
False
Let j = 46 + -32. Let c be (-7)/(j/(-4)) - -1. Suppose -c*x = x - 136. Is x a composite number?
True
Let u(x) be the first derivative of x**6/120 - x**5/60 - x**4/6 + x**3/6 + 3*x**2/2 - 6. Let s(l) be the second derivative of u(l). Is s(6) composite?
False
Let z = -4 + 4. Suppose z = -0*j - 2*j + 10. Suppose 97 = -j*b + 6*b. Is b prime?
True
Let g(j) = -j**3 + 5*j**2 + 5*j + 10. Let y be g(6). Suppose -1985 = -y*r - r. Is r prime?
True
Let p = -345 + 615. Let l = p + 271. Is l composite?
False
Let u(s) = -s**3 - 8*s**2 + 49*s + 10. Is u(-13) a composite number?
True
Let i(r) = 394*r - 418. Is i(14) prime?
False
Let t(s) be the second derivative of -s**5/20 + s**4/6 + s**3/6 + s. Let b be t(-1). Suppose 3*f + 3*z - 463 = -b*z, 4*f = -4*z + 628. Is f prime?
False
Suppose 4*y - 5*k + 10 = 0, y = k - 0 - 2. Suppose x + 3*x - 4 = y. Is 79 + (-3 - -3)/x a composite number?
False
Suppose -3*i + 582 = 4*b, 2*i + 4*b + b - 388 = 0. Is i a composite number?
True
Let y(i) = -i**3 - 16*i**2 + 18*i + 14. Let n be y(-17). Let q be (90/n)/((-2)/48). Suppose 5*x = -5*r + q, -r - 4*x + 113 + 34 = 0. Is r a composite number?
True
Let o(f) = 8*f - 3. Let t be o(1). Suppose t*s + 4 = 4*s. Is 1 + 1 + (-1060)/s prime?
False
Suppose 4*f - 4 = 0, 0 = -22*o + 28*o + 4*f - 255034. Is o a composite number?
True
Let m(x) = 1 + 0 + 22*x + 0 - 805*x. Is m(-2) prime?
True
Let h be ((-64)/6)/2*(-207)/(-6). Let i = 317 + h. Is i composite?
True
Suppose -3*d + 168 = u + 745, 4*u + 780 = -4*d. Let g = d + 586. Is g prime?
False
Let g = -21 - -285. Is 10118/16 + -1 + (-99)/g prime?
True
Let n(v) = -v**2 - 2*v + 26. Let h be n(-6). Let s(q) be the second derivative of q**5/5 + q**4/6 - 2*q**3/3 + 3*q**2/2 + q. Is s(h) prime?
False
Let n(l) = -6*l**3 - 21*l**2 + 35*l - 5. Let c(u) = 2*u**3 + 7*u**2 - 12*u + 2. Let t(s) = 8*c(s) + 3*n(s). Is t(-6) prime?
True
Suppose 4*w + 4*o = 3872, 5*w + 0*o - 4845 = -4*o. Suppose 5*j - 1349 = -4*f, 4*j + w = 3*f - 0*j. Is f prime?
True
Let a(c) = -2*c**2 - 20*c. Let v be a(-16). Let z be v/20 + 3/5. Let r = z - -48. Is r composite?
True
Let v = -45 - -23. Is (-1184)/(-10) - v/(-55) a prime number?
False
Suppose -402950 = -43*z - 7*z. Is z prime?
True
Let r(k) = -101*k - 19. Let c be r(-11). Suppose c + 5005 = 7*s. Is s prime?
False
Let j(k) = k - 15. Let a be j(-6). Let o = -20 - a. Is -3 + (3 - -214)/o a prime number?
False
Let y(p) = -3*p**3 - 1 + 9*p - 3*p - 9*p. Is y(-5) prime?
True
Let n be (-3 - 58/(-14))*7/2. Suppose n*x = -5*y + 6921, 4155 = 5*y - 2*y + 3*x. Is y a prime number?
True
Let s(l) = -l**3 - 10*l**2 + 25*l + 4. Let x be s(-13). Let h(w) = -3*w**2 - 5*w - 2. Let k be h(-3). Is x/6*k/(-2) a composite number?
True
Let x(k) = -40*k**2 + 4*k - 2. Let c be x(2). Suppose 5*p = -4*j - 129, 3*j - 52 = -3*p - 145. Is (13/j)/(1/c) a prime number?
False
Let f(u) = 2*u**2 - 3*u. Let k be f(2). Suppose 2*b = -v - 1 - k, 3*b + 2*v + 2 = 0. Let o(w) = 5*w**2 + w - 5. Is o(b) prime?
True
Suppose -2 = -o - 3, 4*l + o - 1171 = 0. Is l prime?
True
Is (-2845 + 2)*7/(21/(-3)) prime?
True
Suppose -5*u = 3*p - 12527, 7505 = 3*u - 0*u - p. Is u prime?
True
Let q be (16/6)/(9/7290). Let a = 4061 - q. Is a a prime number?
True
Let z = 21 - 12. Suppose -z*c = -11*c + 230. Is c a composite number?
True
Let v = -5659 - -10630. Is v a prime number?
False
Is (-118356)/(-9) - (-24)/72 prime?
True
Let t = 264 - -135. Let o = -927 + 651. Let d = t + o. Is d a composite number?
True
Let c(i) = 3*i - 6. Suppose 3 = -3*a, -2 = 5*w - 5*a - 22. Let r be c(w). Suppose 2*l = 2*j + 102, -4*l + r*j = -2*j - 202. Is l prime?
True
Suppose -8 + 2 = -2*y. Suppose -4*t - 11 = c - y, -t = -c + 7. Suppose p + c*a - 123 = 0, 0 = -2*p - a - a + 252. Is p a prime number?
True
Let d(h) = h + 4. Let l be d(-4). Suppose -r + 6 - 1 = 2*j, j + 4*r + 8 = l. Suppose -70 = -2*v + 5*x - 2*x, 0 = j*v + 2*x - 140. Is v prime?
False
Suppose 4*j - 346 = 2*j. Let i(u) = 6*u**2. Let a be i(-4). Let h = j - a. Is h a prime number?
False
Let t be 12/(-15) - (-14)/5. Is 6760/32 + t/(-8) composite?
False
Let r(k) = 24*k - 11. Let s be r(8). Let y = s + 154. Is y composite?
True
Let w(l) = -1099*l + 4. Let p be w(-2). Suppose -291 = -3*a + p. Is a a prime number?
False
Let q(z) = -7*z**3 - 7*z**2 + 3*z + 40. Is q(-7) a prime number?
False
Suppose 40*k + 101580 = 60*k. Is k prime?
False
Suppose 3*l = -5*y + 1679, -7*l + 4*l - 4*y + 1675 = 0. Is l prime?
False
Let f(l) = 4*l**3 - 2*l**2 - 4. Let y be f(2). Let c = 271 - y. Is c prime?
True
Let v(t) = 26*t - 27. Let j be v(20). Let u = 460 + j. Is u composite?
False
Let m(f) = -6*f**3 + 15*f + 42. Let t(q) = -13*q**3 + q**2 + 30*q + 85. Let i(g) = 7*m(g) - 3*t(g). Is i(-6) a prime number?
False
Let t(n) = n**3 - 7*n**2 + 4*n + 13. Is t(11) composite?
False
Let l(k) = 6 - 6 + 8 - 366*k + 20. Is l(-13) prime?
False
Suppose -4*v - 2*b = -3*b - 10, -3*v - 4*b = 2. Let y be (-2 + 2)*(v - 1). Let q(w) = -3*w + 361. Is q(y) prime?
False
Is 2/(-8) - 1111806/(-216) a prime number?
True
Suppose -817 = -6*q + 539. Is q composite?
True
Let d(k) be the third derivative of 319/6*k**3 + 0*k**4 + 6*k**2 + 0*k - 1/30*k**5 + 0. Is d(0) a composite number?
True
Let u(g) = 44*g - 1 - 1 + 37*g. Is u(1) composite?
False
Let d be 200/12 - (-2)/6. Let g = -12 + d. Suppose -3*s + 130 = -3*l - 59, 0 = -g*l + 20. Is s a composite number?
False
Let k be 369 + (-1 - (-1 - 0)). Let z(w) = -11*w + 25. Let g be z(2). Suppose 2*h - k = g*n, 0 = n + 1. Is h prime?
False
Let a be (-4)/(-18) + (-129)/(-27). Suppose 1418 = a*k - 2777. Is k a prime number?
True
Let u be (-12)/(-9)*(10 - 7). Let l(v) = v - 11. Let a be l(9). Is 79/u*(10 - a) a composite number?
True
Let p be 4 + (-2)/2*-17. Let b = p + -19. Is b/5 - 723/(-5) composite?
True
Suppose -8*t + 21076 = -4140. Suppose t = -5*b + 13*b. Is b prime?
False
Let l(g) = -7*g - 3. Let w be l(-1). Suppose 2*k = w*p - 10 - 254, 205 = 3*p + 2*k. Is p a prime number?
True
Let u be (-28)/6*45/(-10). Is -1 - 6/(-7) - (-1158)/u composite?
True
Let h = 427 + -435. Let m(k) = -k**3 - k - 1. Let j(s) = -7*s**3 - 7*s**2 + s. Let n(b) = j(b) - 6*m(b). Is n(h) a composite number?
True
Let u be (-9)/(0 + 5/(-5)). Suppose u*n = 3*n + 1794. Is n prime?
False
