1/6*w**3 + 1/10*w**6 + 0 + 0*w + 1/12*w**4 - 5*w**2. Is c(2) prime?
True
Suppose 3*p = -20 - 7. Is -226*(p/(-2) - 3)*-1 composite?
True
Let v(a) be the third derivative of -23*a**6/120 + a**4/6 + a**3/2 + 5*a**2. Let d be v(-2). Suppose -7*m + 1320 = d. Is m composite?
False
Let y be 5/(-20)*-4 + 1. Suppose -y*c + s = 6*s - 1106, -2*s = 8. Is c a prime number?
True
Suppose -5*i + 25 - 5 = 0, -2*s + 4*i = -194. Suppose 3*m + 5*t - 210 = -2*m, 3*m = 4*t + s. Is m prime?
False
Let h be 165/(-25) + (-6)/(-10). Let y be 5426/4 + 3/h. Suppose 3*l = 3, -3*l + 0*l = 3*m - y. Is m prime?
False
Is 36/(-24)*(5 + (-65042)/6) prime?
True
Suppose 0 = 5*q + p - 0*p - 36, 5*p - 12 = -q. Suppose -4 = -q*k - 18. Is 1004*k*4/(-32) composite?
False
Suppose -5*l - v = -6*v - 116990, 3*l + v - 70198 = 0. Is l a prime number?
True
Suppose 0 = 2*y - 4*y + 3*u + 5, -5*y - 16 = 2*u. Let z(n) = -n**3 - 2*n**2 + 2. Let r be z(y). Is (-1)/r + 222/4 a composite number?
True
Let f = 1 - -13. Let u = f - 18. Is u/14 - 4086/(-42) a composite number?
False
Suppose 2*t = 4*t - 522. Let v = t + -463. Let b = v + 833. Is b prime?
True
Let y(w) be the third derivative of w**5/60 + w**4/8 + 293*w**3/6 + 22*w**2. Is y(0) a composite number?
False
Let m(x) = 278*x**2 + 51*x - 460. Is m(7) composite?
True
Let w(x) = x**3 - 19*x**2 + 28*x - 19. Let r(q) = -q**3 + 21*q**2 + q + 2. Let o be r(21). Is w(o) a prime number?
True
Suppose -17*h = -14*h + f - 13516, -3*f = h - 4492. Is h a prime number?
True
Let z(h) = h**2 + 13*h + 32. Let w be z(-10). Suppose -c - 5*y = -291, -319 = -c - 0*y + w*y. Is c composite?
False
Let x = 37 + -26. Suppose x*f - 3174 = 5*f. Is f prime?
False
Let m(s) = 3*s**2 - 2*s**2 - 5 - 1. Let w be m(0). Is (4/w)/((-2)/537) a prime number?
True
Suppose u - 2*x + 0*x = 6, u + 5*x - 27 = 0. Let w = 12 - u. Suppose -5*z + w*t - 3*t = -124, -z = -4*t - 11. Is z composite?
False
Let o(k) = k**2 - 2*k + 5. Let n(h) = -h**3 + 7*h**2 + 7*h + 2. Let p be n(8). Is o(p) a composite number?
False
Let o(g) = 1 - 2 - 1 - 11 - g. Let k be o(-12). Let u(y) = -203*y**3 + 2*y + 1. Is u(k) composite?
True
Suppose -3*w + 2*a + 41365 = 0, 3*w + 6*a = 2*a + 41335. Suppose 0 = 5*h - 0*h - w. Is h a composite number?
True
Let t = -2 + 0. Let h(p) = -2*p**3 - 4*p**2 - p + 2. Let c be h(t). Suppose c*l + 2*l - 24 = 0. Is l prime?
False
Let b(j) be the first derivative of 2*j**3/3 - 3*j**2/2 + 4*j - 1. Let v be 80/(-15) - 2/(-6). Is b(v) composite?
True
Suppose 0 = -5*u - 20, 0 = 5*i - 0*u - 2*u - 408. Suppose 0 = -3*j + 4*s + i, -j - 5*s + 180 = 4*j. Suppose -5*a + 93 = -j. Is a composite?
True
Suppose -4*i - 3*h = -3*i - 4846, 2*i = h + 9727. Is i a composite number?
False
Let z = 73 - 75. Let x(y) = -48*y + 16*y - 2 + 3. Is x(z) a composite number?
True
Suppose -3*n - 29*n = -324704. Is n a composite number?
True
Let q(b) = 9*b**3 + 2*b**2 - 7*b + 5. Let c be q(7). Let y = -938 + c. Is y a composite number?
False
Suppose 20*r = 8*r + 24. Suppose -934 - 4264 = -r*t. Is t a prime number?
False
Suppose 1030 = 40*c - 930. Suppose 3*d - 377 = 13. Let s = c + d. Is s prime?
True
Let k be (2 + (-52)/10)/(4/(-1010)). Let o = 1659 - k. Is o a prime number?
False
Suppose 3*j - 19 = 2*j. Let u = j - 17. Suppose -5*g - u*n + 635 = 2*n, 5*n + 254 = 2*g. Is g composite?
False
Let m be -1 - 2*(-3268)/8. Suppose 5*b - 2681 + m = 0. Is b composite?
False
Suppose 5*x - 126117 - 42956 = -3*n, -5*x = 4*n - 169069. Is x composite?
True
Let c(i) = i**2 - 2*i - 10. Let m be c(5). Let d(a) = 111*a**2 - a + 1. Let v be d(1). Suppose m*j - v = -5*r + 79, 3 = 3*r. Is j prime?
True
Suppose 3*n - 12 = m, 2*m + 20 = 5*n + 5*m. Suppose 5*s + 0*o - 2089 = -4*o, -n*s = -5*o - 1663. Let w = s + -194. Is w prime?
True
Let a(b) = -b - 11. Let x be a(-14). Suppose -t - x = 2*t. Is 132 + 2/2*t a composite number?
False
Suppose m + 2*r = 5335, -2931 = -m + 2*r + 2400. Is m prime?
True
Let d(b) = -41*b + 126. Is d(-25) a prime number?
True
Let u(p) = -9*p - 8. Let y be u(0). Is (172/y)/(1/(-154)) + 2 a prime number?
True
Let v(h) = -57*h + 4. Let t be (-219)/12 + (-3 - (-9)/4). Is v(t) a prime number?
True
Let s(q) = 18*q**3 - 40*q**3 + 8*q**2 - q**2 - 9*q + 23*q**3 - 5. Let m = -2 - 4. Is s(m) a composite number?
True
Let p(u) = -u**3 - 17*u**2 - 31*u - 9. Let t be p(-15). Is 916/8*t + -2 composite?
True
Suppose -u = 3, -4*u = 4*q - 8673 - 743. Is q a prime number?
True
Suppose 0 = -3*c - 9, -3*x + 13 = c - 20. Let o be (12/8)/(2/x). Is o/27*348/2 prime?
False
Let h(a) = -88*a - 9 + 6 + 6. Is h(-4) a prime number?
False
Let j = -96 - -215. Is j composite?
True
Let m = -731 + 382. Let t = m - -614. Is t prime?
False
Suppose 0 = -3*k + 5259 + 36318. Is k prime?
True
Let f be ((-497)/14)/(0 + (-3)/(-18)). Is f/(-6) - 1/2 - 0 a composite number?
True
Let i be 2801/(-9) + 4/18. Let u(d) = -3*d**2 - 2*d - 20. Let b be u(-14). Let f = i - b. Is f a composite number?
False
Let u(h) = h**2 - 4*h + 9. Suppose 5*m - 3*n = 5, m + 4*n = -0*n - 22. Let d = -8 + m. Is u(d) prime?
True
Is (0 + 2)/((-24)/(-10548)) composite?
True
Is (-12618)/(-24) - 2/(-8) prime?
False
Let g = -14 - -8. Let z(s) = 13*s**2 + 2*s + 13. Is z(g) prime?
False
Suppose -33*q = z - 34*q - 6405, z - 6421 = 5*q. Is z a prime number?
False
Let a(z) = 541*z - 2. Let b(q) = q. Let p(u) = a(u) + 2*b(u). Is p(1) a composite number?
False
Let q be (2 + -4)/(-2) + 387. Let t = q - -661. Is t prime?
True
Let i be -1*(-117 + 4) + 1. Let l = 181 - i. Is l prime?
True
Suppose 3*r - r = 3*b + 7732, -4*r + 4*b = -15468. Is r composite?
True
Let t = -1869 + 3177. Let w = t + -815. Is w a composite number?
True
Suppose -32*s + 13046 = -10*s. Is s a composite number?
False
Let l(n) = 15*n - 58. Let o(j) = 1. Let i(f) = -l(f) - 6*o(f). Is i(-30) prime?
False
Let a = -26054 + 42727. Is a prime?
True
Is 22940/7 + (0 - (-6)/(-42)) prime?
False
Let d = 25 + -35. Let m be d/(-15) + (-2922)/9. Is -6 - -4 - m/3 composite?
True
Suppose 0*c - 32 = -2*c. Let w(q) = 46*q + 13. Is w(c) composite?
True
Suppose 5*j + z - 2743 = 711, -5*z = 3*j - 2068. Is j prime?
True
Suppose 27*y - 310 = 25*y. Is y a composite number?
True
Suppose 45*y - 4024243 = -35308. Is y a composite number?
False
Suppose -5*v + 99600 = -s, 5*s = 5*v - 6632 - 92988. Is v a prime number?
True
Let p(y) = 193*y - 29. Is p(4) a composite number?
False
Let m = 78 - 68. Is 12426/m + 26/65 prime?
False
Let z = -1225 + 2320. Suppose 0 = 4*v + v - z. Is v a composite number?
True
Let j be 489 + (2/(-1) - -5). Is 1*(j + -1) - -2 prime?
False
Let u = 4 - 2. Let j(i) = 28*i**2 + i + 0 - 4 + 7*i**2 + 3. Is j(u) composite?
True
Let v(x) = -47*x + 6 - 14 + 8*x - 6*x. Let h(n) = n**3 + 5*n**2 + 5*n - 1. Let k be h(-4). Is v(k) a composite number?
True
Let v be (6 + -4 + -1)*2. Suppose 208 = -v*t + 628. Suppose -t = -2*y + 464. Is y composite?
False
Suppose -4*g + 0*f - 2*f = -16, -2 = -5*g + 2*f. Suppose -g*n - 2*c - c = -224, -c + 110 = n. Is n a composite number?
True
Suppose 2*b = -10, 4*s - 1429 = 5*b + 3188. Let d be (-1)/((8/6)/(-4)). Suppose d*l - s = 859. Is l a composite number?
True
Let q(o) = o**2 - o + 1. Let h(a) = 3367*a**2 + 7*a - 6. Let b(r) = h(r) + 6*q(r). Let u be b(-1). Suppose -5*i + u = 587. Is i a prime number?
True
Let y(r) = 25*r**3 - 14*r**2 + 95*r - 41. Is y(15) composite?
False
Let i(r) = 12*r**2 - 8. Let c = 4 - 11. Let l be i(c). Suppose 2*j = 2*p + l, j + 4*j + 2*p = 1443. Is j a composite number?
True
Suppose -2*b = -4868 - 2766. Is b prime?
False
Let z be (-5)/((3 - 7)/4). Suppose -4 - 1 = z*t - 5*o, -4*t = -2*o + 2. Suppose 5*a - 455 = -3*q, -2*a + 4*a + 3*q - 182 = t. Is a prime?
False
Let i(c) = c**2 + c - 8. Let r be i(0). Let z be (-6)/r + 36/16. Suppose -6*n = -z*n - 237. Is n a composite number?
False
Suppose 7*x - 3*x = 1004. Suppose 3*b + x = 5*u - 3*u, 5*b = 5*u - 640. Is u prime?
False
Let f = 42726 + 19735. Is f prime?
False
Let u(d) = 30*d**3 - 8*d**2 - 4*d + 7. Let g(k) = -15*k**3 + 4*k**2 + 2*k - 4. Let h(s) = 7*g(s) + 3*u(s). Is h(-4) prime?
True
Is (20854/6)/((-7)/(-42)) composite?
True
Is (-43438)/(-4) + (-2 - 30/(-20)) a composite number?
False
Let x be 3 + (-1 + 4 - 6). Suppose d + 0*d = x. Suppose 0 = 4*o - d*o - 148. Is o a composite number?
False
Let r(a) = -28*a**3 - a**2 + a - 6. L