3. Let r(m) = -m**2 + 14*m - 14. Let g be r(12). Is v(g) composite?
True
Let j(z) be the first derivative of 89*z**4/4 - 2*z**3/3 + z**2/2 + z + 2. Is j(2) composite?
True
Suppose 0 = -4*w - 3*c - 16, w = 2*w - c + 11. Let m be 1 - (2 - 0) - w. Suppose 2*n - m = 0, -2*z + 4*n = -5*z + 30. Is z a prime number?
False
Let l = -13 + 20. Let o(v) = 37*v + 4. Let m be o(l). Suppose -4*g + m = -77. Is g a composite number?
True
Let y(l) = 80*l**2 + 12*l + 15. Is y(-8) a composite number?
False
Suppose -6 = t - 19. Is t prime?
True
Suppose -4*n + 4*a + 557 = -a, -3*n - 5*a = -444. Is n composite?
True
Suppose -560 = -4*l + 1484. Is l a prime number?
False
Suppose 0 = -4*c + 8 + 8. Suppose 5*n - c*n = -8. Is -1 + -1 - (n + -1) composite?
False
Let x = -780 - -1367. Is x a composite number?
False
Let n = -182 + 625. Is n a composite number?
False
Let u = 575 + -280. Is u composite?
True
Let s = 52 - 54. Let f(o) = -13*o**2 - 6*o. Let k(b) = -13*b**2 - 7*b + 1. Let n(l) = -3*f(l) + 2*k(l). Is n(s) a composite number?
True
Let t(b) = -b**3 + 9*b**2 - 6*b - 2. Let g be t(8). Let h = g + -7. Is h a prime number?
True
Let j(v) = v**3 - v + 53. Let a be ((-3)/2)/((-5)/10). Suppose -a*b = -b. Is j(b) a composite number?
False
Is (-1 - 10)*-4 + (-4)/(-2) composite?
True
Let q(u) = -8*u - 1. Let j(t) = -t**3 + 5*t**2 + 2*t - 4. Let l be j(5). Let d be q(l). Let a = d + 87. Is a a composite number?
True
Let x(c) be the second derivative of 67*c**3/6 - c**2/2 + c. Let r(n) = -n**3 + 3*n**2 + n - 1. Let p be r(3). Is x(p) a prime number?
False
Suppose 2*w - 3*v = 203, 0 = -0*w - 4*w - 3*v + 451. Is w a prime number?
True
Suppose -a = -0*a. Suppose a = -5*u + 3*u + 8. Suppose p + u*n - 37 = 0, -n + 2*n = -4. Is p a prime number?
True
Let t(b) = 3*b**2 - 2*b + 1. Is t(-3) a prime number?
False
Let v = -375 + 682. Is v composite?
False
Suppose 3*o + 4 = 25. Let z = -3 + 5. Suppose -o*w = -z*w - 635. Is w a composite number?
False
Suppose 0 = -a + 3*u + u, -2*a - 3*u + 22 = 0. Let j = a + 0. Suppose -4*l + 5*b + 168 = 0, 4*b - 2*b + j = 0. Is l a prime number?
True
Suppose 0 = 21*u - 22*u + 206. Let a = 333 - u. Is a prime?
True
Suppose 4*c = c + 9. Suppose w = -c*l + 4*l + 13, -w = -3*l - 37. Is (-2583)/l - 1/4 prime?
False
Suppose -428 = 2*z + 2*i, 5*z = -4*i + 296 - 1370. Let d = -117 - z. Suppose -429 + d = -2*w - 2*q, 0 = 2*q + 10. Is w a composite number?
True
Let p(j) = 14*j**3 - j**2 + j + 7. Let k be (2/3)/((-4)/(-18)). Is p(k) prime?
True
Is (-2)/(-4)*(-8 - -22*417) prime?
True
Is (4/3)/(14/6153) a composite number?
True
Let t(n) = 2*n**2 - 3*n + 1. Let v be t(2). Let u(r) = r**2 - 4*r + 3. Let m be u(v). Suppose d - 3*d + 14 = m. Is d a composite number?
False
Let u = 41 - -86. Is u composite?
False
Suppose f = -2*f + 993. Is f a composite number?
False
Suppose u = -19 + 116. Is u prime?
True
Let g = -458 + 927. Is g a prime number?
False
Let i(s) = s. Let c be i(3). Suppose -x = -4*h + 64, c*x + x + 46 = 2*h. Is h a prime number?
False
Let a be ((-8)/(-10))/(4/10). Let p(s) = -s**a + 0*s**2 + 0 + 0*s**2 + s + 7. Is p(0) prime?
True
Let j(p) = 3*p - 1. Let m be j(1). Is ((-435)/(-10))/(1/m) a composite number?
True
Let a(y) be the third derivative of y**7/840 - y**6/144 - y**5/40 - y**4/24 - y**2. Let f(h) be the second derivative of a(h). Is f(-3) a prime number?
False
Let h(i) = i**2 - 7*i + 4. Let c be h(5). Let a(j) = 6 + j**3 + 4 - 2*j - 6*j**2 - 2*j**3 - 3. Is a(c) prime?
True
Suppose -3 = o - 13. Is (o/(-4))/(12/(-408)) prime?
False
Let j(l) be the first derivative of 134*l**3/3 - l + 8. Is j(1) composite?
True
Suppose -7*p = -p - 930. Is p prime?
False
Let x(k) be the first derivative of -k**4/4 + k**3/3 - 3*k**2/2 + 2*k - 5. Is x(-3) prime?
True
Let f be 10/(-30) - (-32)/6. Suppose -4 - 8 = -3*j. Suppose 1 - 55 = -2*x + j*d, f*d - 20 = 0. Is x composite?
True
Let a = 1040 - 733. Is a a composite number?
False
Let m = 2353 - 1568. Is m prime?
False
Let y = -2 + 4. Suppose y*u - 20 = -0*u. Suppose -s + u = -4. Is s composite?
True
Suppose -a = -2 - 1. Suppose -a*p + 4*k + 265 = 0, 0 = -3*p - 4*k + k + 237. Is p composite?
False
Suppose -5*b - 21 = x, -2*b - x = -2*x + 14. Let c = b - -9. Is 3/c - (-219)/12 a composite number?
False
Let r be (3 + 27/(-6))*2. Is 124/6*r/(-2) prime?
True
Let n be (-350)/(-4)*(5 - 7). Let v = -56 - n. Is v a composite number?
True
Let a(p) = 5*p**2 + 6*p. Suppose -5*b + b = 3*n - 17, 4*b - 4*n = 24. Is a(b) a composite number?
True
Suppose 0 = -4*c + 3*d + 717 + 231, c + 2*d - 237 = 0. Is c composite?
True
Suppose x + 4*x + 40 = 0. Let c(k) = -16*k + 3. Is c(x) prime?
True
Let v be (3/(-3))/((-3)/(-123)). Let n = v - -72. Is n a composite number?
False
Let l(k) = -k. Let j be l(-1). Let p be 1 - 1/(j/2). Is (-2 + (2 - p))*31 a composite number?
False
Suppose -2*d + 8 = 0, 2*r + d - 42 = 102. Let w = 371 - 186. Let t = w - r. Is t a composite number?
True
Let m(j) = -7*j**3 - 5*j**2 + 3. Let o(q) = -8*q**3 - 6*q**2 - q + 4. Let y(d) = -4*m(d) + 3*o(d). Let n be 3 + (-1)/(1 + 0). Is y(n) prime?
False
Is 7/(-35) + 2784/20 prime?
True
Suppose -2*s + 4 = -2. Suppose k - 265 = 4*y, y = -k + s*y + 261. Is k composite?
False
Let r = 2035 - 1194. Is r composite?
True
Suppose 4*b - 3*z - 1323 = -4*z, 0 = 2*b - 2*z - 664. Is b a composite number?
False
Suppose l = -4*y - 7 - 5, 4*y = 5*l - 12. Suppose 0 = -3*q - l + 30. Is q prime?
False
Suppose -4*k = -3*a - 2, 0 = -0*a - a - 3*k - 18. Is (-2)/a*(57 - 0) prime?
True
Let j = -475 + 317. Is (-1 - j)/(7 - 6) prime?
True
Let r be (-40)/(-12)*(-6)/(-5). Let g(y) = y**3 + 4*y**2 + 3*y + 5. Is g(r) a composite number?
True
Let l = -227 + 916. Is l a composite number?
True
Let z be (3/9)/((-1)/(-9)). Suppose -l = -z*l + 10. Suppose 106 + 159 = l*b. Is b a prime number?
True
Is 3/((-5602)/1402 + 4) a prime number?
True
Let d = 6 + -21. Let w = 37 + d. Is w prime?
False
Suppose 9*f = 2*f + 1477. Is f a prime number?
True
Let i = -452 + 1461. Is i a prime number?
True
Let a(o) = o**3 + 15*o**2 + o + 12. Is a(-13) composite?
False
Suppose q + 1092 = 13*q. Is q a composite number?
True
Let f be 3/12 + (-95)/(-20). Let k be (-2)/((-4)/298) + -1. Suppose -4*i + 148 = -f*y + 6*y, -4*i = -5*y - k. Is i a prime number?
True
Let j(h) = 8*h**2 + 6*h + 1 - 11*h**2 + 2*h**2. Is j(4) a prime number?
False
Let d(c) = -8*c**2 + c + 2. Let k(z) = 1. Let y(b) = b**2 - b - 4. Let r(o) = -3*k(o) - y(o). Let g(f) = -d(f) + 2*r(f). Is g(5) prime?
False
Suppose -2*k + 5*k + 2*s = 1619, -2156 = -4*k - 4*s. Is k a composite number?
False
Let n = 26 + -24. Suppose 0 = 3*h - n*t - 61, 5*t - 4 - 5 = -h. Is h prime?
True
Let l(y) = -2*y - 15. Let z(a) = -a - 7. Let p(h) = -2*l(h) + 5*z(h). Let v be p(-6). Is v*35 - (-1 + 1) a prime number?
False
Let c(r) = -62*r + 12. Let t(v) = -31*v + 6. Let l(z) = 2*c(z) - 5*t(z). Is l(5) a prime number?
True
Let v be -1 + (7 - 2) + -1. Let w(t) = -31*t**3 + 2*t - 1. Let p be w(-2). Suppose 80 = i - s, 0*i - 4*s - p = -v*i. Is i prime?
False
Let m = 741 + 12. Is m composite?
True
Suppose 4*b - 56 = 4*y - 9*y, -2*y = -4*b + 28. Let o be 2/(-6) - b/(-27). Suppose 3*c - 20 - 109 = o. Is c a prime number?
True
Let q(x) = 7*x**2 + 5*x - 13. Is q(7) a prime number?
False
Let r be 2 - (1 + 1) - -7. Let h(a) = 59*a**3 - 3*a**2. Let q be h(2). Suppose -2*f = -5*o - r*f + q, -5*o = 2*f - 451. Is o a composite number?
False
Suppose 4*j + 3*b = -4, -18 = -3*b - 6. Is (-58)/j + (-2)/4 a composite number?
True
Let h(x) = -2*x + 2. Let z be h(-2). Is 2/(z/(-489)*-1) a prime number?
True
Let q(d) be the second derivative of -1/2*d**2 + 0 + 11/2*d**4 + 2*d - 1/3*d**3. Is q(-1) composite?
False
Let m(b) = -7*b + 2*b + 2*b - 3*b + 10*b**2 - 5. Let c be m(5). Let t = c + -100. Is t a composite number?
True
Let g be -11*(-3 + (-3 - -5)). Suppose -381 = -2*b - g. Is b a prime number?
False
Let i(l) = l**3 - 11*l**2 + 7*l + 8. Is i(11) prime?
False
Let p be 0*(-1)/(-4)*-2. Suppose 0 = 3*c - 5*i + 3, -c + i - 1 + 0 = p. Is -23*(-3)/(-3)*c a composite number?
False
Let c(f) = f**3 - 5*f**2 - 12*f - 5. Let s(p) = 9*p**2 + 4*p + 1. Let h be s(-3). Suppose -l - 3*w + 3 = l, h = 5*l - 5*w. Is c(l) a prime number?
True
Suppose 5*g + i - 2*i - 2609 = 0, -2606 = -5*g + 4*i. Is 4/6*g/4 prime?
False
Is (5 - 2) 