 Is s(v) composite?
False
Let s(k) = -k**2 + 83 - k + k**3 - 2*k**3 + 3*k**3 - k**3. Is s(0) a composite number?
False
Let v(x) = 2*x - 3. Let k be v(4). Suppose -8*f = -k*f - 330. Suppose n + 5*s - 40 = 0, s = 3*n + 6*s - f. Is n composite?
True
Let m(d) = -d**2 - 14*d - 12. Let v be (44/(2 + -4))/2. Is m(v) a prime number?
False
Let r(l) be the second derivative of 0 + 5/6*l**3 + 7/2*l**2 - 2*l + 1/12*l**4. Is r(-8) a composite number?
False
Let h(z) = -309*z - 2. Is h(-1) a prime number?
True
Suppose 2*f = -0*f. Suppose j - 5*n = 54, 2*j + 3*n + f = 69. Is j a composite number?
True
Suppose -79 = a + 4*x + 165, -3*x - 1186 = 5*a. Is (-2 + 6/4)*a prime?
False
Suppose -4*t - i - 16 = 0, -3*t - 18 = i - 7. Let h(w) = 3*w**2 + w + 7. Is h(t) a composite number?
True
Let i(j) = 0*j**3 + 7*j**3 - 5*j - j**2 + j + 5*j. Suppose 0 = -5*d + 3*n + 14, 2*d - 2*n = 4*d + 4. Is i(d) a composite number?
False
Let k(j) = 52*j**2 - 11*j - 27. Is k(-8) a composite number?
False
Let n(t) = t**3 - 5*t**2 + 1. Let p be n(5). Let o = 4 - p. Suppose -93 = -g + 2*k, 3*g - o*k = -2*k + 274. Is g prime?
False
Let j(n) = 2*n**2 - 11*n - 15. Is j(11) a composite number?
True
Let n(z) = z**2 + 5*z - 1. Let o be n(-5). Suppose c = -2 - 2. Is 0/o + (c - -71) a composite number?
False
Let t(x) = x**2 - x + 24*x**2 + 12*x**2. Let w be t(-1). Suppose 12 + w = 5*l. Is l composite?
True
Suppose -2*t - 10 = -7*t. Let r = 42 - 17. Suppose -4*w + 2*u + 480 = 0, -221 - r = -t*w + 4*u. Is w a prime number?
False
Let x(p) = -p**2 + 7*p - 2. Let q = -7 - -13. Let d be x(q). Suppose -n = -5 - d. Is n a composite number?
True
Suppose -2*h - 3 = -2*f - 21, 5*h = -5*f - 5. Is 811/h + (-2)/(-8) a prime number?
False
Let b(g) = -g**2 - 6*g - 4. Let k be b(-3). Suppose -4*t - 61 = -5*o - 0*t, k*o - 3*t = 62. Is o a prime number?
True
Suppose 0 = -3*j - u + 3563, 1021 = j + 4*u - 152. Is j prime?
False
Let c be (-2226)/(-8) + 4/(-16). Suppose 3*l + 4*n + c - 921 = 0, 430 = 2*l + 4*n. Is l prime?
False
Let s be ((-405)/(-15))/(6/20). Suppose 7 = n - s. Is n prime?
True
Suppose -3*j - 5566 = 4*a, -3*a + 2*j + 3*j - 4189 = 0. Let g = 280 + a. Is 2/8 + g/(-12) composite?
True
Let u(y) = 201*y**3 + y**2 - 1. Is u(1) a composite number?
True
Let b be 6/15 - 696/(-10). Suppose 11 = c + b. Let d = c - -106. Is d prime?
True
Suppose -4*a + 7 = -4*s + 3*s, -2*a = -5*s - 17. Let l be (-1)/((a - -1)/4). Is -1*3 - l*28 composite?
False
Let g be (3/(-2))/((-3)/(-450)). Let p = 388 + g. Is p a prime number?
True
Suppose 4*u + 2*w - 114 = 0, -4*u + 5*w + 130 = -5. Suppose 6*t = t - 5*z + u, -9 = -4*t + z. Is (-1)/(t/(-42)) + 0 a prime number?
False
Suppose 4*p + 2*f - 19 = 449, 0 = -3*f + 12. Is p a prime number?
False
Let p(z) = z - 4. Let d be p(3). Let k(o) = -132*o**2 + 2*o + 1. Let u be k(d). Let a = u + 188. Is a composite?
True
Suppose 0 = -0*s - 5*s + 2*q + 2230, -2*s = q - 892. Is s a composite number?
True
Suppose 5*n - 6467 = 2708. Is n a prime number?
False
Let k = 3331 + -1778. Is k composite?
False
Let h = -164 + 23. Let o = h + 317. Let w = o - 123. Is w a composite number?
False
Let j be (1 + -3)/(3/(-15)). Let z be ((-35)/j)/((-2)/4). Is 0/(-2) - (-90 - z) composite?
False
Let u = -8 - -10. Suppose u*d + 8 - 28 = 0. Is d prime?
False
Let f(q) = -q**2 + 23*q - 3. Is f(10) prime?
True
Is ((-178)/(-6))/(-5*3/(-45)) a composite number?
False
Suppose -16*j = -18*j + 74. Is j prime?
True
Suppose 0 = -h + g + 170 + 203, -h + 3*g = -373. Is h composite?
False
Is 348130/150 + 6/45 + 0 prime?
False
Let p = -5597 - -9376. Is p composite?
False
Let x(s) = 17*s**3 - s**2 - s + 1. Let t be x(1). Suppose 2*v = 4*z + 74, 0 = v - 5*z - t - 6. Is v composite?
False
Suppose 0 = 5*f - 8*f + 9051. Is f composite?
True
Suppose 0 = a + 4*q - 6, -5*a + 6 = -q - 3*q. Suppose 5*t = f + 3*f + 374, t - 72 = -a*f. Let z = 127 - t. Is z a composite number?
False
Suppose -r + 0*r = -3. Suppose -r*n = 2*n - 275. Is n a prime number?
False
Suppose -3*k + 70 = -3779. Is k a prime number?
True
Let b = 5 - 2. Let n(l) = 2*l - 3. Let h be n(b). Suppose 4*m - 4*i = h*m + 6, 5*i + 5 = m. Is m a composite number?
True
Suppose 10*h = 6*h + 1772. Is h a prime number?
True
Let i(s) = -3 + s - 7 + 1. Let p be i(6). Is 93 - (3/p - -1) composite?
True
Let a be 16/10 + 2/5. Let m be 4254/8 - a/(-8). Suppose -z = -5*z + m. Is z a prime number?
False
Let c(y) = -2*y**2 - 4*y + 5*y**2 - 3*y**2 + y**2 + 7. Is c(6) a composite number?
False
Suppose 2*h - 5*h = -1896. Suppose 7*d - 3*d = h. Is d prime?
False
Let s = 151 - 78. Suppose 2*t - 71 = 2*q + s, 0 = 4*t - 2*q - 278. Is t a prime number?
True
Suppose -21 = 4*l - 9, -5*x = 3*l + 4. Is (-14)/(x + 33/(-31)) a prime number?
False
Suppose 2*p - 3 = 2*f - 3*f, -4*p + 9 = -f. Suppose -4*u - 13 = v - 51, u - p*v = 14. Is u a composite number?
True
Suppose -8*m = -5*m - 429. Is m prime?
False
Suppose 15 = 5*w, -3*z + 0*z = 5*w - 1080. Is z a composite number?
True
Let a = -267 + 382. Is a a composite number?
True
Let y be (24/(-14))/((-8)/84). Let m = 41 + y. Is m prime?
True
Let o(m) = m**3 + 3*m**2 + 2*m + 3. Let r be o(-2). Suppose g = 3*w + r*g - 216, -3*g - 83 = -w. Is w a prime number?
False
Let v(l) = -10*l**3 + 5*l**2 + 2*l - 2. Is v(-3) a composite number?
False
Is 6326/6*(-5)/(-25)*15 prime?
True
Let x(w) = 2*w**2 - w - 2. Let g be x(2). Let u(i) = i**3 - 2*i**2 - 5*i + 1. Let k be u(g). Let n = 22 - k. Is n a composite number?
True
Let f(b) = -101*b + 5. Let d be f(-7). Suppose y = 5*y - d. Is y a prime number?
False
Let s = -9 - -19. Let h = 133 + s. Is h composite?
True
Suppose 0 = 5*w - 3770 + 300. Suppose 1021 = 3*v - 2*b, 2*b - w = -2*v + 6*b. Is v a prime number?
True
Let u be 68/(-6)*6*-1. Suppose 60 = 3*r - 4*o + 14, 4*r = 2*o + u. Let n = r - -5. Is n a composite number?
False
Let l(z) be the third derivative of z**6/120 - z**4/12 + 5*z**2. Is l(3) a composite number?
True
Let j(n) be the first derivative of -3 + 7*n + 11/2*n**2 - 1/3*n**3. Is j(5) prime?
True
Suppose -s = -4*b + 5596, -5*b + s - 2*s + 6995 = 0. Is b a prime number?
True
Let j(r) = r - 5. Let m be j(9). Suppose 8 = -d + 3*g, m*d - 48 = g - 5*g. Is d a prime number?
True
Let b(z) = -z + 11. Let d be b(11). Let g(a) = -a**3 - a + 43. Is g(d) composite?
False
Is (-5972)/(-20) - 3/5 composite?
True
Suppose -6 = 2*w - 5*y, -5*w - 9 = y + 60. Is w*((3 - 1) + -3) prime?
True
Let y(m) = 4*m**2 - 6*m - 5. Is y(7) a prime number?
True
Is 2/6*(5 + 1756) a prime number?
True
Let r = -9 + 9. Is 93 + (r - -1)*-2 composite?
True
Let q = -1 - -66. Suppose -j - 26 = -5*v + 24, 5*v + 2*j = q. Is v prime?
True
Let z = 12 + -5. Let h = z - 6. Is h/((-1416)/(-471) - 3) prime?
True
Suppose -12 + 32 = 5*o. Let n = 31 - 21. Suppose o*c - 150 = -n. Is c prime?
False
Let k = -164 - -33. Let f = k - -240. Let u = 312 - f. Is u composite?
True
Let o(d) = d + 1. Let x be o(-4). Let r(a) be the first derivative of -a**4/4 - a**3 - 3*a**2/2 - 2*a + 1. Is r(x) prime?
True
Let u = 549 - 220. Is u prime?
False
Let w(b) = 10*b + 3. Let d be w(6). Let j = 70 + d. Is j a prime number?
False
Let s(q) be the third derivative of q**5/6 - q**3/6 - q**2. Let i be s(2). Suppose 5*g = i + 136. Is g composite?
True
Suppose -11*t - 43 = -12*t - 4*d, 4*d = -2*t + 74. Is t a composite number?
False
Let j be ((-3)/6)/(3/762). Is j/((2 - -1) + -4) prime?
True
Suppose 0 = 2*f - 0*f + 2. Is f + (-2 - (1 - 143)) a composite number?
False
Let p be -1*(-1 + 2 + 1). Let x be 2 + (-1 - -2)*p. Is 37 + x + 0/1 a prime number?
True
Let r be 0 - -3 - (3 + 0). Suppose r = -y - 55 + 542. Is y prime?
True
Let b(t) = -t**3 - 6*t**2 + 7*t + 5. Let n be b(-7). Is -1 + (-5)/(n/(-4)) a composite number?
False
Suppose 2*p - 1009 + 157 = 0. Suppose 4*u - p = u. Is u composite?
True
Suppose 9*c - 897 = 6*c. Is c a composite number?
True
Suppose -3*c + 1172 = c. Is c a prime number?
True
Suppose 0 = 2*b - w - 74, 2*w = 2*b - 0*w - 74. Is b + 0 + 0/1 composite?
False
Let x(k) = -7 + k - 4*k - 9*k. Let y be x(5). Let a = -44 - y. Is a a prime number?
True
Let k(s) = -186*s - 9. Is k(-7) a composite number?
True
Let j(g) = -13*g + 4. Let i(h) = 14*h - 4. Let z(o) = -4*i(o) - 5*j(o). Is z(7) prime?
True
Let k be (-2 - 0)*1*-118. Let i be 1*(1 - (0 + 1)). Suppose i = -4*c - 0*c 