 = -y**3 - 6*y**2 - 8*y - 3. Let v be c(-5). Suppose 4 = -2*t - 2*p - 2, 0 = -4*p + v. Is j(t) composite?
False
Suppose 0 = -3*w - 12 + 33. Suppose -w = 4*r + 29. Let s = 15 + r. Is s a prime number?
False
Let y(i) = -35*i + 2. Let u be y(-6). Suppose 2*l + 3*m - u = 0, 3*l - 4*m = 2*l + 117. Is l prime?
True
Let g(q) = 30*q - 8. Let v be g(8). Suppose -5*f + v + 838 = 0. Is (-6)/(-10) + f/10 prime?
False
Suppose 3 = -3*x + 6. Let n(a) = 21*a - x + 5 + 0 + 1. Is n(4) composite?
False
Let o = -2 + 2. Let z be (o + 2)*-1*13. Let u = -5 - z. Is u composite?
True
Let s = 241 + 66. Is s prime?
True
Let d(s) be the first derivative of 1/4*s**4 + 2 + s**2 - s**3 + 0*s. Is d(3) a composite number?
True
Is 4/((-8)/(-246)) + -4 composite?
True
Let i(a) = -4*a - 2. Let y(v) = -11*v - 6. Let m(p) = 17*i(p) - 6*y(p). Is m(-4) a composite number?
True
Let h = 7 - 3. Suppose 0 = h*z + 117 - 9. Let a = z - -238. Is a prime?
True
Suppose 3*s = -0*s + 5*r + 509, -183 = -s + 5*r. Is s prime?
True
Let u(d) be the first derivative of -187*d**4/4 + 2*d**3/3 + d**2/2 + 2. Let n be u(-1). Suppose n = 5*v - 77. Is v composite?
False
Let m be (-20)/35*(-7)/2. Suppose -5*q + 177 = m*p, -p + 2*p + 152 = 4*q. Is q a composite number?
False
Let l(v) = -635*v**3 - 3*v**2 + v - 3. Is l(-2) prime?
False
Suppose -23 = -w + 5*g, 0 = -4*w + g - 4*g. Is 37 - (-6)/w - 4 a composite number?
True
Suppose m = 3*p - 37, 0 = -4*p + 6*m - 2*m + 44. Suppose p*s = 15*s - 74. Is s a prime number?
True
Let z be 58/4 + 5/10. Let d = z - 4. Is d composite?
False
Let o(t) = 6*t**3 + 5*t**2 + 3*t - 7. Is o(7) a composite number?
True
Let f(n) = -7*n - n**3 + 2*n**2 + 4*n**2 + 5*n**2 + 7 - 3*n**2. Is f(6) composite?
False
Is (-33280)/(-12) + 2/(-6) + 0 prime?
False
Let t(b) = b**3 - 5*b**2 + 3*b + 4. Let d be t(3). Let i = d - -8. Suppose i*w = w + 20. Is w a prime number?
False
Suppose 4*y = -4*t - 4, -2*t - 3*y = 4 + 1. Is t/1 + 5 + 90 prime?
True
Let y(g) = 34*g + 7. Is y(6) a composite number?
False
Let j(i) = -i**3 + 2*i**2 + 3*i - 3. Let m be j(2). Let f be (-9)/m*(2 - 3). Suppose -f*p = p - 124. Is p composite?
False
Is (18008/6)/(11/3 - 3) prime?
False
Let s be 1 - 4 - (-11 - -3). Let m = -6 + s. Is (m - 51)*1/(-2) a prime number?
False
Suppose -2*f = -3569 - 2757. Is f a composite number?
False
Let c = -39 - -171. Suppose 4*a + 2*q - c = 0, 2*a + a - 99 = 2*q. Is a prime?
False
Let b(z) = -3*z - 2. Let u be (-2)/(-1) - (-3)/(-3). Let l(y) = -y - 1. Let x(g) = u*b(g) + 3*l(g). Is x(-6) a composite number?
False
Let d(p) = p + 7. Let s(h) = -h. Let n be s(3). Let f be d(n). Suppose 0*u = -f*u + 196. Is u a prime number?
False
Is (-1)/(-1) + 132 - 2 prime?
True
Let i(d) be the second derivative of -d**4/12 + d**3 - 5*d**2/2 + d. Let b be i(4). Suppose -3*l + 29 + 8 = y, -111 = -b*y - 5*l. Is y a prime number?
True
Let h(i) be the first derivative of 5/3*i**3 + 0*i**2 + 4*i + 2. Is h(3) a composite number?
True
Suppose -35 = -4*p + 281. Is p prime?
True
Is -1 + 780 + 4 - -2 prime?
False
Let w be (6/(-4))/(2/76). Let s = -140 - w. Let x = 160 + s. Is x prime?
False
Suppose -6*r - 68 = -8*r. Suppose 2 = -p - 0*p + 5*t, -2*t = p - 19. Let v = r - p. Is v a prime number?
False
Suppose -29 = -5*o + 206. Is o prime?
True
Let r = 38 - 7. Is r composite?
False
Is -5*(-1)/15*609 composite?
True
Let n be (7 - -1)*10/20. Let y(c) = -1 + 13*c - 1 + 3. Is y(n) a prime number?
True
Suppose -1579 = -4*v - 5*w, 3*v - 3*w - 1946 = -2*v. Is v a composite number?
True
Let g(i) = -i**2 - i + 157. Is g(0) a prime number?
True
Let b(u) = -7*u**3 - 3*u**2 - 6. Let y(n) = n**3 + n**2 - n + 1. Let c(v) = b(v) + 3*y(v). Let z be c(-2). Suppose -4*o = -41 - z. Is o prime?
True
Let b(x) = -x**3 + 5*x**2 + 6. Suppose 3*g + 3*k = -g + 3, -2*k + 2 = 5*g. Suppose 3*n - 15 = g, -5*o - 5*n = 27 - 77. Is b(o) composite?
True
Let m(w) = -w**2 - 19*w + 19. Let i be 6/4 - (-105)/(-6). Is m(i) composite?
False
Let b(y) = y**3 + 11*y**2 - 4*y + 11. Let r be b(-8). Suppose 2*h = 2*i - 94, -4*i - i = 5*h - r. Is i composite?
False
Let x(k) = 2*k + 4. Let g be x(-4). Let n(d) = -d - 1. Let p be n(g). Suppose -p*o = -4*o + 157. Is o composite?
False
Suppose 0 = -5*w + 3*w + 18. Let i be (-4)/(-3)*w/6. Suppose 68 = 4*g - 0*g - 3*u, i*g - 36 = 2*u. Is g composite?
True
Let w(o) = 2*o**2 - 5*o - 5. Is w(-6) a prime number?
True
Suppose 0 = 4*g - 7 + 31. Let m be 4/g + (-16)/(-6). Suppose -9 = m*c - 51. Is c composite?
True
Is 2741/6 + 11/66 composite?
False
Suppose -m - 5*f = -0*m - 556, -3*m + 1638 = 5*f. Is m a composite number?
False
Is -1*10*(-445)/10 a prime number?
False
Suppose u + 551 = 5*y - 3*u, u - 556 = -5*y. Is y composite?
True
Let k(f) = f**3 - 2*f**2 - 3. Let p be k(3). Suppose -p*t + t = 30. Is 3*-7*t/9 prime?
False
Let w(s) = -3*s + 5. Is w(-10) composite?
True
Let x = 8 - 3. Suppose x*p + 59 = -1. Is (-162)/p + (-2)/(-4) composite?
True
Suppose 275 = 5*l - 135. Suppose 4*n + 0*n + 3*x - l = 0, 3*n = 3*x + 72. Suppose 71 = 5*k + 4*p, 4*k - 26 = -p + n. Is k a composite number?
False
Let q(f) = -248*f - 29. Is q(-5) a prime number?
False
Let f(u) = -u**2 - 2*u - 3. Let k be f(-2). Is (-6)/k - 0 - -47 composite?
True
Let w = -30 - -50. Suppose 0 = -3*y + w - 8. Suppose -y*o - 121 = -3*a, 5*a - 28 = -3*o + 164. Is a a prime number?
False
Suppose -i - 12 = -2. Let w = i + 32. Is w composite?
True
Suppose 7 = -3*o - 2. Let w(r) = 20*r**2 + 8*r + 3. Let x(n) = -30*n**2 - 12*n - 5. Let b(h) = 8*w(h) + 5*x(h). Is b(o) prime?
False
Suppose -2*p = 3 + 1. Is p - 1 - -2 - -24 prime?
True
Let z = 2 + 0. Suppose 5*o - o + 22 = 2*j, z*j = -5*o + 67. Is j prime?
False
Suppose -15*l = -12185 - 5260. Is l prime?
True
Let a(f) = 2*f**2 - 4*f - 6. Let t(j) = j**2 + j. Let u(p) = -a(p) + 3*t(p). Let n be u(-4). Is 2*((-81)/n)/3 prime?
False
Suppose 0 = 4*h + 66 - 490. Is h a prime number?
False
Is (-92)/10*(-1)/(5/25) composite?
True
Let s be (-7 - -12)/((-1)/1). Let r(c) be the second derivative of c**4/12 - 7*c**3/6 - 5*c**2/2 + c. Is r(s) composite?
True
Suppose 0 = -7*b + 3*b + 3*x - 9, 15 = 4*b + 5*x. Suppose -a + 0*a + 19 = b. Let q = a - -18. Is q composite?
False
Suppose -l - l = 2*y - 418, 2*l - 2*y - 426 = 0. Is l composite?
False
Let l(b) = -8*b + 1. Let a be (1/(0 - -1))/(-1). Let o be l(a). Suppose 4*g = 37 - o. Is g prime?
True
Let m(c) = 80*c**2 + 3*c + 3. Let w be m(-2). Suppose -3*q = -3, -4*n - q + 0*q + w = 0. Is n a composite number?
False
Suppose -2*b + 6 = -3*x, -b + 3 = -0*b + x. Suppose 5*m = b*w - 7*w - 13, 0 = -w - m - 2. Is ((-14)/6)/(w/(-63)) composite?
True
Suppose 13 - 4 = 5*c - 3*s, -2*c = 4*s - 14. Suppose -33 = -3*g - 4*y, c*y - 8*y = -5*g + 90. Is g a composite number?
True
Let f(o) = -27*o + 4. Let x be f(5). Let g = -62 - x. Is g a composite number?
True
Is (-9 - (-24)/4) + 4346 composite?
True
Let a = 220 - -324. Suppose 2*d - a = -122. Is d prime?
True
Let t(u) = 1512*u**2 - 2*u + 1. Is t(1) composite?
False
Let u(a) = a**2 + 12*a + 14. Let h be u(-11). Let i(d) = h*d + 4*d**2 + 1 + 0*d**2 + 0*d. Is i(-2) a prime number?
True
Let g = -734 - -1033. Is g a composite number?
True
Let w be ((-6)/(-2))/((-2)/(-22)). Let n = w + 130. Is n composite?
False
Let b(y) be the first derivative of y**3/3 + y**2/2 - 7*y - 3. Let u(x) = -6*x + 1. Let v be u(-1). Is b(v) prime?
False
Let t(z) = 31*z**3 - z**2 + 4*z - 3. Is t(2) a prime number?
False
Let m be (-1 + 0)*0/(-3). Suppose -q + 130 + 192 = 0. Suppose 2*o - q = -m*o. Is o composite?
True
Let d(h) = -h + 13. Let i be d(9). Let z = i - -12. Suppose 69 = 5*m - s, -2*m + z = -2*s - 10. Is m a prime number?
False
Suppose -6*w = -1574 - 4. Is w prime?
True
Let p = -2 + 18. Let x = p + 33. Suppose -4*s - x = -m, 3*m + 3*s = 7*s + 155. Is m a composite number?
False
Let i(x) = x + 5*x + 7*x**2 - 8*x**2 + 18*x**2. Let p be i(-4). Let g = -169 + p. Is g composite?
False
Let f = 1 - -1. Let p(g) be the third derivative of g**6/20 + g**5/60 + g**4/8 - g**3/6 - 3*g**2. Is p(f) composite?
True
Suppose 21928 = -2*d + 10*d. Is d prime?
True
Let x(l) = -55*l**2 - 4*l - 4. Let p be x(-4). Let s = -611 - p. Is s a prime number?
True
Let x(d) = 4*d - 3. Let n be x(4). Let k = n + -7. Is (33/(-3))/((-2)/k) a prime number?
False
Is (-2646)/(-24) - 3/(-4) a composite number?
T