False
Is -2*-3221*(-1)/(-2) a composite number?
False
Let x(f) = f - 12. Let k be x(5). Let s(b) = -2*b**3 - 11*b**2 - 10*b - 14. Is s(k) prime?
False
Let l be 689*4*(161/(-28) + 7). Suppose 3*w + 2*w = l. Is w a composite number?
True
Let k(a) = -14*a + 27. Let o = 18 - 32. Is k(o) prime?
True
Suppose 2*s - 190751 = -5*t, -7*t + 38134 = -6*t - 5*s. Is t a prime number?
True
Let c(w) = w**2 + 14*w + 2. Let s be c(-14). Suppose 5*f = -5*i + 1335, i - 271 = -f - s*i. Is f composite?
True
Let j(a) = 2*a**3 - 9*a**2 + 3*a - 5. Let k be j(-7). Let o(v) = -v**2 + 4*v + 45. Let b be o(-13). Let l = b - k. Is l composite?
False
Suppose 4*m + 15152 = 2*i - 8174, 2*i - 23346 = -m. Is i a composite number?
True
Let k(n) = 1 - 9*n**3 + 28*n - n**2 - 3*n**2 - 33*n. Is k(-4) prime?
False
Let g = 7935 - 5005. Suppose -3*x + x + g = 0. Is x a composite number?
True
Suppose 0 = 5*v + 3*s - 40, -9 - 15 = -3*v + 3*s. Suppose -v*w = -w - 10367. Is w prime?
True
Let q = -100 - -98. Let x(t) = -t + 3. Let k(n) = 2. Let p(j) = -5*k(j) + 4*x(j). Is p(q) a prime number?
False
Suppose -f + 10 = r, 5*r = -0*f + 5*f. Suppose 2*k - 3*k = -r*t + 2224, -3*t - k = -1336. Is t a composite number?
True
Suppose n = 3*u - 21311, -4*u - 19826 = 3*n - 48232. Is u a composite number?
False
Let z be (-9)/(-12)*4/3. Is (-3022)/(-4)*((z - -2) + -1) composite?
False
Let g(p) = 41*p**3 - 3*p**2 - p - 10. Is g(3) prime?
False
Let i = 410 + 1107. Is i composite?
True
Let z(x) = 24*x + 8. Let f be z(-15). Let i = 1124 + f. Let k = i + -453. Is k composite?
True
Let h(x) = -x**3 - 4*x**2 + 11*x - 6. Let g be h(-6). Suppose 11*s - 6*s - 40 = g. Suppose -3*n + 3*v - 255 = -s*n, 5*n + v = 255. Is n a composite number?
True
Suppose 0 = r - 0 - 2, -2*r = -5*d + 32871. Let h = 9316 - d. Is h a composite number?
False
Let g be (-2)/(-10) - (57/(-15) - 0). Suppose 5*d + 536 = i, -g*i + 2*d + 2069 = 7*d. Is i composite?
False
Let a be (9 - -3)/(-4) + -2. Let s = 9 + a. Suppose -3*k + s*k = 77. Is k prime?
False
Suppose 3*f = 13*f - 44090. Is f a composite number?
False
Suppose 8*w - 4*w - 20 = 0. Suppose -2*b - u = 2*u - 11, b + u = w. Suppose -b*j + 3*j = -209. Is j prime?
False
Let d(q) be the second derivative of q**3/6 + 10*q**2 - 14*q. Let p be d(-15). Suppose -n + 331 = 3*u, n = -n + p*u + 618. Is n a prime number?
False
Suppose 5*f - 10494 = -4*f. Suppose d = 5*q + f, d - 1136 = -2*q - 3*q. Is d composite?
False
Let u(z) = -z**3 + 20*z**2 + 16*z - 1. Is u(17) a prime number?
False
Let l(r) = r**3 + 19*r**2 + 19*r + 21. Let m be l(-18). Is (m - (3 + -1))*(-652)/(-4) a composite number?
False
Suppose -83353 - 17098 = -5*q + 4*a, -80360 = -4*q + 3*a. Is q a prime number?
False
Suppose 6*v = -s + 13649, 2*s + 2*v - 23314 - 3964 = 0. Is s prime?
False
Suppose -2*f + 0 = -l - 286, 5*f = -5*l + 685. Let k = 266 + f. Is k prime?
False
Suppose -2*f + 83174 = 4*q, 2*f - 4*q = 6*f - 166332. Is f a prime number?
True
Suppose 21*b + 111 = 22*b. Is b a prime number?
False
Let w(b) = b**3 - 4*b**2 - 8*b + 11. Let t be w(5). Let m be 2/4*t/(-2). Is -2 + (580 - (-2 - m)) prime?
False
Let t(m) = -7*m + 6. Let d(w) = -w**2 + 1. Let z(a) = -4*d(a) + t(a). Is z(7) composite?
False
Let a = 2231 - -1566. Is a prime?
True
Let t = 12 + -10. Let q(o) = 18*o. Let z be q(t). Is 2/(-12) + 1770/z a prime number?
False
Suppose -4*h - 10 = -50. Is 17/(425/30290) + (-6)/h composite?
True
Is 1*(-14)/(-21) + 17858/6 composite?
True
Let w(b) = 9*b - 45. Let u be w(10). Is -6*3/u - (-2437)/5 a prime number?
True
Let o(k) = 174*k**2 + 8*k - 3. Is o(11) a prime number?
True
Suppose 4*m - 5*f = -m + 3335, 3*m - 4*f - 1999 = 0. Let a be 8/12*m/2. Let n = a - 94. Is n prime?
False
Let d = -30 + 34. Suppose -6 = -2*w, -d*f - w + 1775 = -4*w. Is f a prime number?
False
Suppose -3*f + 8*f + 1540 = 0. Let t be -507 + 1 + (-6 - -5). Let b = f - t. Is b a prime number?
True
Let j be 8/(-20) - (-1810)/25. Let r = 14 + j. Is r prime?
False
Let v = -44 - -49. Suppose 2*g - g + 5*i - 669 = 0, -v*i - 2776 = -4*g. Is g composite?
True
Is 11/((-55)/(-40)) - 29529/(-17) prime?
False
Let n = 604 + 211. Is n prime?
False
Let v = 42 - 32. Suppose 11*q - 863 = v*q. Is q composite?
False
Suppose -5*n = 4*g - 16, -2*n - n = 0. Suppose 0 = -9*h + 4*h - 3*z + 5920, -2*h + g*z + 2394 = 0. Is h composite?
False
Suppose d = -5*l + 3483, -4*d + 3444 = -3*l - 10580. Is d a prime number?
False
Is ((-101976)/(-60))/((-12)/20 + 1) composite?
True
Suppose -1256 = -7*x - 3*d, -3*d + 18 + 164 = x. Is x a composite number?
False
Let g = 917 + -502. Is g a composite number?
True
Suppose 13747 = x - 29140. Is x prime?
False
Suppose -3*a + 42 = s, 5*a - 65 = 5*s + 25. Suppose -a*l + 18*l = 3165. Is l a prime number?
False
Let t(j) be the second derivative of 7/2*j**2 + 1/20*j**5 + 4*j + 2/3*j**4 + 5/6*j**3 + 0. Is t(-7) composite?
True
Let w = -791 - -454. Let a = 161 + w. Let q = a + 247. Is q prime?
True
Let a be 2/(-4)*(-24)/4. Suppose -593 = -a*u - 86. Suppose -r = -1, -2*l + 4*r + u + 17 = 0. Is l prime?
False
Suppose -5*q + 3*b + 3896 = 0, 0 = q - 13*b + 15*b - 787. Is q composite?
True
Let c(v) = -39*v**2 - 3*v - 3. Let d be c(5). Let o be (5/(-10))/(-1 + (-15)/(-18)). Is -3 + 3 - d/o a composite number?
False
Is (10/8)/(17/1259564) a prime number?
False
Let y be 8/12 + 69/(-9). Let p be ((-14)/(-3))/(5/(-15)). Is (-236)/y + (-4)/p a prime number?
False
Suppose -18*f - 20775 = -23*f. Suppose -f - 2089 = -4*d. Is d composite?
True
Let v(x) be the third derivative of -1/6*x**3 + 0 + 7*x**2 + 21/8*x**4 + 0*x. Is v(1) a prime number?
False
Suppose -c + 19005 = 4*g, 6*g + c = 7*g - 4750. Is g a prime number?
True
Let t(l) = -9381*l**3 + l**2 - 3*l - 2. Is t(-1) a composite number?
True
Suppose 0*m - 3*m + 21 = 0. Let k be 2931/m + 20/70. Suppose -3*g + p + 1225 = 2*p, -5*p = -g + k. Is g prime?
True
Suppose -4*d = -5*s - 373, 0 = -0*s + 3*s - 9. Is d a composite number?
False
Is ((-8)/16)/(2/(-62756)) prime?
False
Let j(u) = -2*u**3 - 11*u**2 - 9*u + 1. Suppose 4*d - d - 5*w = -12, 4*d + 3*w = 13. Let m be -8 + d*(3 - 2). Is j(m) composite?
False
Let j(n) = -86*n + 149*n - 1 + 2 + 99*n. Is j(4) a composite number?
True
Suppose 99*y - 635352 = 75*y. Is y prime?
False
Suppose 9 = 6*i + 3*i. Let z(q) be the third derivative of 199*q**4/24 + 2*q**2. Is z(i) a composite number?
False
Suppose v + 4*j - 10299 = 0, 5*v - 2*j = -3*j + 51495. Suppose -7*n = -4*n - v. Is n composite?
False
Let v = 98767 - 49208. Is v composite?
False
Let r = 3 - 0. Suppose -r*u = -4*u - 2. Is 2/(u + (-156)/(-77)) a prime number?
False
Let g = -30148 - -57759. Is g a composite number?
False
Let x(q) = 14*q**2 + 3*q - 3. Let a(j) = 41*j**2 + 9*j - 8. Let n(v) = 4*a(v) - 11*x(v). Is n(-3) prime?
False
Suppose k = 7*k - 5172. Let p = 2199 - k. Is p composite?
True
Is (-8317)/((-8 - -10) + -3) a prime number?
True
Let l(t) = 3*t**3 + 6*t**2 - t - 1. Let m be l(-3). Is 3/5 + (-41335)/m + -3 composite?
True
Suppose 2*a = 3*q + 2 - 12, 5*q - 4*a = 16. Let j(u) = u**2 - 3*u. Let g be j(q). Suppose 4*m - 640 = g*k - 5*k, 2*m - 318 = -k. Is m a prime number?
False
Suppose 2*r - 6*r = 3*c + 32, 0 = -5*c - 4*r - 56. Let l be (c/8 - 0)*-2. Suppose -x = 2*g - 157, -x + 162 = 4*g + l. Is x composite?
True
Let v = -27 + 145. Let g = 203 - v. Suppose 5*o - 200 + g = 0. Is o a composite number?
False
Let q = -13 + 9. Let k = 51 - q. Is (-7 - -5) + (k - 0) prime?
True
Suppose -w = -3*h - 2312 - 484, 5*w - 13999 = -4*h. Is (-10)/(-5)*w/6 a prime number?
False
Let w(k) = 30*k + 3. Let h(t) = -30*t - 2. Let v(r) = 30*r + 2. Let q(f) = -4*h(f) - 5*v(f). Let u(g) = 4*q(g) + 5*w(g). Is u(4) prime?
True
Let z = 133805 - 39144. Is z prime?
False
Suppose 5*u - 4*a = 40345, 0 = 3*a - 5*a. Is u prime?
True
Suppose 0 = 5*h + 4*u - 5*u + 49, 0 = 5*h + u + 41. Let w(q) = -69*q + 26. Let t(i) = 138*i - 53. Let c(n) = 6*t(n) + 13*w(n). Is c(h) a prime number?
True
Let g(a) = 107*a - 28*a + 34*a. Suppose -4*l - t = t - 4, -4*l + 4 = -3*t. Is g(l) composite?
False
Let d(z) be the first derivative of z**3/3 - 5*z**2/2 - 2*z + 10. Is d(12) prime?
False
Suppose -44*h = -67*h + 761185. Is h prime?
False
Let j be 1*(-2 + (0 - -2) + 3). Suppose 2006 = 2*p - 5*w, -4*p - j*w + 0*w = -4012. Is p prime?
False
Let l = 14 - 22. Suppose 4*v