3. Is c(f) composite?
True
Suppose 10144 = 4*m + 3*x - 8863, 0 = 3*m - 4*x - 14249. Is m a prime number?
True
Suppose -5*w - 5*p + 198 = -77, -5*p = -4*w + 256. Let g = w + 46. Is (-8)/(-12)*g/2 a prime number?
False
Suppose 3*y + 14 = -1. Let x be (y/(-5))/(1 + 0). Is ((-2)/((-2)/23))/x a prime number?
True
Let d(g) = 35272*g**2 - 6*g - 5. Is d(-2) a composite number?
True
Suppose -4*q = -4*t - 24, -1 = q + 3*t + 1. Is 4750/3 + q/(-12) a composite number?
False
Let s be (-1 + (-8)/(-12))/(1/(-30)). Let o(n) = 2*n**2 + 4*n - 31. Is o(s) composite?
True
Let g(a) = -3*a - 55. Let b be g(-19). Suppose 8*s - 6 = 11*s, -b*j + 3*s = -228. Is j a composite number?
True
Let h(q) = 4*q**2 - 5*q - 15. Suppose r = -8 - 4. Let b be h(r). Let i = -430 + b. Is i a prime number?
True
Let f(i) = -i**3 - i**2 - i. Let d(k) = 6*k**3 + 14*k**2 + 22*k + 1. Let a(o) = -d(o) - 5*f(o). Is a(-12) a prime number?
False
Let w = 4152 - 1661. Is w a composite number?
True
Let w = -94 - -100. Is (-22568)/(-6) + (-2)/w a prime number?
True
Suppose 0 = 4*j + j + 3015. Is (j/(-18))/(2/20) a prime number?
False
Let z(r) be the third derivative of -9*r**2 + 0 - 17/60*r**5 - 1/120*r**6 + 0*r - 23/24*r**4 + 11/6*r**3. Is z(-16) a composite number?
True
Let c(s) = 18*s**2 - s - 3. Let k be c(-7). Let m = k - 460. Let y = m + 461. Is y prime?
True
Suppose -c = 6*c + 70. Let g(u) = -57*u - 7. Is g(c) a composite number?
False
Suppose 0 = 7*b + 572 - 4268. Suppose 0 = y + x - 523, -y + 2*x + 2*x + b = 0. Suppose 0*k - y = -4*k. Is k a prime number?
True
Suppose 3*a - 9*b - 35971 = -5*b, -2*b = 5*a - 59969. Is a composite?
True
Suppose 1710 = -4*l + 2*y, 0 = -y + 3*y + 6. Let p = 2164 + l. Suppose p = 4*a + a. Is a a prime number?
True
Let f = -18 - -9. Let c = 9 + f. Suppose c = 5*d - 134 - 41. Is d composite?
True
Suppose -4*o - 30 = 2*p - 104, 2*p + 45 = 3*o. Suppose 4*l + o - 157 = 0. Is 14/l - 2486/(-10) prime?
False
Suppose 0 = -3*u - 486 - 864. Let r = u + 1027. Suppose -302 - r = -3*z. Is z a composite number?
False
Let l(g) be the second derivative of -g**5/20 + 4*g**4/3 + 4*g**2 + 13*g. Is l(7) composite?
False
Let q = 1 + 8. Let f = q + 19. Let i = f + -14. Is i a prime number?
False
Let i(u) = u**3 + u**2 - 6*u + 1. Let j(p) = p. Let c be j(4). Is i(c) prime?
False
Let z = -42 - -24. Let b = 18 + z. Suppose b*h - 4460 = -4*h. Is h a prime number?
False
Let s = 859 - 545. Is s prime?
False
Let k(f) = -f**3 - 9*f**2 + 10*f - 10. Let u be k(-10). Let r(q) = -q**3 - 6*q**2 + 15*q + 3. Is r(u) composite?
True
Suppose -5 = r + 5*k, 3*r - 4*r = k + 1. Suppose r = 5*h - 107 - 218. Is h composite?
True
Suppose w + 14*v - 9*v = 18, -2*w = 4*v - 18. Suppose -3*f + 3439 = -g, -7*g = 5*f - w*g - 5709. Is f composite?
True
Is (-14)/(224/(-16)) - (0 + -3690) composite?
False
Suppose -3*c + 13 = 3*x - 5, -3*c + 48 = -3*x. Let j = 7 - c. Let q(h) = 5*h**2 - 1. Is q(j) prime?
True
Let d be 404/(-20) - -1*1/5. Is d/4 + 2460 - -4 composite?
False
Suppose -2*k + 0*v + 4094 = -4*v, 0 = k - v - 2049. Is k a composite number?
True
Suppose -3 = -3*c + 3. Suppose 5*y = 3*r + 238 + 207, -260 = c*r + 4*y. Let k = r - -295. Is k a composite number?
True
Let g be -3*(-1)/(5 - 4). Suppose 112 + 1466 = g*s. Suppose -x = -2*l + s, 2*l + l - 2*x = 787. Is l a composite number?
True
Let z(t) = 115990*t + 19. Is z(1) prime?
True
Suppose 0*u = 5*u + t + 1763, -698 = 2*u - 2*t. Let k = 615 + u. Is k a composite number?
False
Suppose -4*l - 8201 + 47173 = 0. Is l prime?
True
Let w be 231/(-28) + (-3)/(-12). Let k(g) = -39*g + 25. Is k(w) composite?
False
Suppose 0 = -17*v + 20*v + 15624. Let p = v - -7361. Is p prime?
True
Let f(j) be the first derivative of 5*j**3/3 - j**2 + j - 9. Let g be f(1). Let w(u) = 6*u**2 + 3*u + 1. Is w(g) composite?
False
Let r = -3 - -4. Let f be ((-8)/(-12)*-3)/r. Is 69*-3*f/6 prime?
False
Let z be (-2 + 0)/(3/(-6)). Suppose 0 = -z*v + v + 15. Suppose 0*u + 2*u - 89 = -v*s, s + 34 = u. Is u a prime number?
True
Let j = -44 + 47. Suppose -j*i = -365 - 838. Is i a prime number?
True
Let m(b) = 1181*b + 3. Is m(16) composite?
False
Let v = -1102 - -1628. Let h = v - 233. Is h a composite number?
False
Let i be 0/((-2)/(-1)) - -12. Suppose 0 = m + 4*p + p - i, -5*p = -4*m - 2. Suppose 293 = -c + 5*c - 3*f, -m*c + 4*f + 134 = 0. Is c a composite number?
True
Suppose -6 = -a + 3*v + 4, 0 = 4*v - 20. Let q = -21 + a. Suppose -4*g = -q*b - 212, -2*g = -g + 5*b - 77. Is g composite?
True
Is ((-30449)/2)/((-60)/(-40))*-3 composite?
False
Let b(r) = -401*r - 96. Is b(-5) prime?
False
Suppose -3*j + 40 = -44. Let n = j + -16. Suppose n + 184 = 4*v. Is v composite?
True
Suppose 0 = 9*m - 5*m - 2116. Let d = m + -110. Is d composite?
False
Let j(h) = 1041*h - 49. Is j(8) a composite number?
True
Let g be 5/(-15) + 2504/6. Let d = g + -250. Is d a composite number?
False
Is ((-130239)/6)/(6/(-4)) a composite number?
True
Suppose -11*g - 3283 = -18*g. Is g a composite number?
True
Suppose -5*x + 4*x + 4411 = 0. Suppose -2*w = -25 - x. Is w prime?
False
Let v be (-18)/2 + 3 + -5. Let k = 13 + v. Is k/6*(3 - -360) prime?
False
Suppose -8*i = -18037 - 603. Suppose 2396 = 5*g - 5*m - 3429, -2*g = 3*m - i. Is g composite?
True
Let w(o) = -3932*o - 135. Is w(-21) composite?
True
Let p be ((-40)/(-8))/20*(-3 - 289). Suppose 0*b - 4*b = -824. Let i = p + b. Is i a composite number?
True
Suppose 2*o = 18 - 12. Suppose 174 - 435 = -p. Suppose -o*m + p = -732. Is m a composite number?
False
Suppose 8 - 3 = -y + 2*g, 5*g = -3*y - 15. Let n = y + 19. Is n composite?
True
Let k be (-4 - -507)*(-2 + 1). Let a = k - -765. Is 2 + a/(0 + 2) a prime number?
False
Suppose 8*w + 25 = 13*w. Suppose 2*v + 3*y - 172 = -3*v, -w*v + 148 = -3*y. Let l = v - -2. Is l a composite number?
True
Let r(o) = -o - 2. Let c be r(-6). Let k(g) = -g**2 + 4*g - 5. Let b be k(c). Let d(u) = u**2 + u - 11. Is d(b) composite?
True
Let f be -3 + 3 + -1 - -21. Suppose -n - k = 3*n - 20, -k = -4*n + f. Suppose 0 = -n*t + 62 + 33. Is t prime?
True
Is -10*(692292/(-104) - 12/(-78)) prime?
False
Let g = 53 - 51. Is 187/(g*(-2)/(-4)) a composite number?
True
Let t = 15 - -15. Let o(v) = -v**2 - 16*v + 87. Let f be o(0). Let u = f - t. Is u composite?
True
Suppose 0 = -w + 2308 + 151. Is w a prime number?
True
Let w = 22 - 25. Is (w + 0 + 1)/((-2)/157) a composite number?
False
Is 49975/(-10)*(-12)/(3 + 3) a prime number?
False
Let u(q) = -q - 1. Let k(v) = v**3 + 12*v**2 - 9*v + 11. Let m(h) = k(h) + 2*u(h). Let b be 5 - 16 - 0/1. Is m(b) prime?
True
Suppose -k = 4*r - 98, 3*k = -r - 2*r + 330. Let g(q) = -6 + 9 + k*q - 4. Is g(3) a prime number?
False
Let p(c) be the third derivative of -c**6/120 + c**5/4 + c**4/6 - 7*c**3/3 + 7*c**2. Is p(11) composite?
True
Suppose -6153 - 10655 = -8*z. Is z a composite number?
True
Suppose -10*m = -95825 - 82785. Is m a prime number?
False
Let b(u) be the second derivative of 496*u**4/3 - 6*u. Let t be b(-1). Is (-6)/(-10) + t/10 prime?
True
Is (-8)/(-28) + (-259806)/(-21) + 1 composite?
False
Let l = 5 + 9. Let t = 1 + l. Suppose 957 = t*s - 12*s. Is s a prime number?
False
Let x = -72188 + 123765. Is x prime?
True
Let v(m) = -m - 6. Let j be v(-6). Suppose j = 2*i - 7*i - 4*x + 52, -3*i - x + 27 = 0. Suppose 3699 = i*q + 1067. Is q prime?
False
Is -5 - 28218/(-24) - 2/(-8) composite?
False
Let t = -166 + 106. Let h be t/5*10/(-6). Suppose -h = -2*p + 22. Is p composite?
True
Suppose -5*g + 20 = w - 19513, -97611 = -5*w + 2*g. Is w a composite number?
True
Let a(u) be the first derivative of -2*u**2 + 445*u - 4. Is a(0) a composite number?
True
Suppose 4*u + 115 = 5*v - 52, u - 2 = 0. Let n be v/(-25) - (-4)/10. Let f(i) = -214*i**3 - 2*i**2 + 1. Is f(n) prime?
False
Suppose 0 = 6*f - 3645 - 68253. Is f prime?
False
Suppose 3*x = 5*x. Suppose -10*n + 9*n + 631 = x. Is n composite?
False
Let v = -142 - -146. Suppose 2570 - 942 = v*r. Is r a composite number?
True
Let k(g) = -g**2 + 7*g - 1. Let v be k(6). Suppose v*o - o - 4 = 0, -5*o - 556 = -3*t. Suppose -2*c + 374 = -3*j, -c + j + t = -0*c. Is c a composite number?
True
Suppose 0 = 14*z - 12*z + 22. Let y = z + 11. Suppose y = -5*w + c + 575, -5*c - 7 - 108 = -w. Is w prime?
False
Let r(m) be the first derivative of 13*m**3/3 + m**2/2 - m + 1. Let 