 -5*v - 1 - 19. Let j(x) = -x**3 + 7*x**2 - 9*x + 2. Let y be j(o). Is n(y) composite?
True
Let t(u) = 302*u**2 + 6*u + 23. Is t(-5) a composite number?
True
Suppose 6*y + 27 = 3. Is (-6442)/y*7/((-28)/(-8)) prime?
True
Suppose -91*t - 153 = -94*t. Is t prime?
False
Let i be 2 - (-7)/((-21)/(-6)). Let d(f) = -2*f + 6. Let j be d(i). Let h(k) = -4*k**3 + k**2 + 2*k - 1. Is h(j) prime?
True
Let p be -1 - (-9 - (-2 - 1)). Suppose -k - 2*j + 65 = 2*k, p*j + 56 = 4*k. Suppose -326 = -3*q + k. Is q composite?
True
Let v(l) be the third derivative of 35*l**4/12 - l**3/2 - 18*l**2. Is v(8) prime?
True
Suppose -104*u + 711825 = -29*u. Is u prime?
True
Let w(f) = -f**2 + 3*f + 7394. Is w(0) a composite number?
True
Let o = 6600 + -3437. Is o prime?
True
Suppose -2*q + 2 = 0, y + 3*q - 98854 = -17742. Is y a prime number?
False
Let t = -23 + 16. Let n(k) = -27*k + 10. Is n(t) composite?
False
Is (-17)/34 + (-4299)/(-2) a prime number?
False
Let c(u) be the third derivative of u**4/24 + 4*u**3/3 + 4*u**2. Let o be c(-11). Let g(h) = -5*h**3 - 3*h**2 + 3*h - 2. Is g(o) prime?
True
Let v(l) = -l**3 - 23*l**2 - 18*l + 7. Is v(-27) a composite number?
True
Suppose -5*u + 15 = 0, 5*z + 3*u = 2*z + 9192. Is z prime?
True
Let k = -9229 + 13798. Is k a composite number?
True
Let f(b) = -243*b**3 + 3*b**2 + 9*b + 11. Is f(-2) prime?
True
Suppose -s + 2*s + 2*b = -6, -4*b = 5*s. Suppose -5*f + s*j - 214 = -1064, -3*j = f - 189. Suppose -29 = l - f. Is l a prime number?
False
Let j = -78 - -83. Suppose 5*a - p - 4886 = 0, j*a + 4*p + 444 - 5325 = 0. Is a a composite number?
False
Let q be 131364/(-27)*(-3 + 0). Suppose 4*h + 5*a - 3*a - q = 0, 4*a - 7310 = -2*h. Is h composite?
True
Let m = -30 + 71. Let v = 583 - 578. Suppose m + 254 = v*l. Is l a composite number?
False
Let d = 106 - -391. Let f(g) = -49*g**2 + g. Let c be f(-2). Let q = d + c. Is q composite?
True
Suppose 5*u = 0, 5*u - 15 = -0*a - 3*a. Suppose -a*b + 10763 = -w, -b + 5*b = 5*w + 8602. Is b prime?
True
Let h = -7886 - -13217. Is h prime?
False
Suppose -2*o + 9 = 5*f, 33 = 3*o + o - 5*f. Suppose -z + 6 + o = 0. Suppose z*l - 8*l = 75. Is l composite?
True
Let k = -88 + 99. Suppose -k*c + 20162 = 2133. Is c prime?
False
Is (-13998)/4*54/(-81) a prime number?
True
Let c = -4721 + 7884. Is c a prime number?
True
Suppose 5*n - 3*h + 624 = 7*n, 1560 = 5*n + h. Suppose 2*l = i - 163, -3*i = -i + 3*l - n. Is i a composite number?
True
Suppose -4*w + 3 = -5. Suppose -4*d + 190 = 5*t, -w*t + 4*d = -13 - 35. Is t a composite number?
True
Let l be 1/((4/8104)/(-1)). Let i = -1131 - l. Is i a prime number?
False
Suppose 2*n - 7*n + 15 = 0. Let b(l) = 3*l + 2 + 5 - 6*l**2 - l**n + 4*l. Is b(-10) composite?
False
Let h = 4021 + -327. Is h a prime number?
False
Suppose 0 = -2*k + i - 4*i + 17296, 4*i = -3*k + 25945. Is k a composite number?
True
Let n = 32850 - 21653. Is n a prime number?
True
Let d(h) = 3*h**3 + 11*h**2 + 10*h - 13. Is d(10) a prime number?
False
Suppose 285*q + 1858 = 287*q. Is q prime?
True
Suppose 21 + 20 = 5*f - u, 0 = -2*f - 4*u + 34. Suppose 0 = 3*q - f, 5*t - 3*q + 5*q = -849. Let j = 298 - t. Is j prime?
False
Let w = 1217 + -716. Let f = -74 + w. Is f a composite number?
True
Suppose -4*w + 2*c - 11054 = 0, 0*w - 2*w - 5502 = 4*c. Is 10/(1 + -6) - w a composite number?
True
Let m be (2/(-3))/((-4)/(-6)). Let a = m - -3. Suppose n - 2*f = 84, -a*n - 2*n + 347 = 3*f. Is n a composite number?
True
Let r(t) = t**3 - 30*t**2 + 16*t - 96. Is r(31) composite?
False
Let r(i) = 113*i**2 + 5*i + 2. Let w be r(3). Let t = w - -597. Is t prime?
False
Suppose 33005 = 5*n - 2*a, 0*a - a = -5*n + 33000. Is n a composite number?
False
Suppose -57656 = -4*s - 4*s. Is s a prime number?
True
Suppose 101 = 3*v - 196. Suppose 4*j - v = -5*c, -14 = 5*c + 11. Is j a composite number?
False
Let q(b) = 7184*b**3 + 4*b**2 - 17*b + 33. Is q(2) a composite number?
False
Let l(i) = -85*i**3 + 2*i**2 + i. Is l(-1) a composite number?
True
Let y = -32 + 24. Suppose c - 1 = 0, -c = -u + 5*u - 109. Let i = y + u. Is i prime?
True
Suppose -41192 = -2*f + 2*o, 21 = o + 20. Is f a prime number?
False
Let j(h) = h + 10. Let y be j(-5). Suppose -6596 = -2*n - 4*k, 2*n - y*k - 6568 = -2*k. Is n/6 - (-36)/(-27) prime?
True
Let z(x) = x**3 + x**2 - 7. Suppose -3*v + 0 + 15 = -3*m, 5 = 3*m + v. Let j be z(m). Let k(g) = -23*g + 16. Is k(j) a prime number?
False
Let c(s) be the first derivative of -s**2 - 185/4*s**4 - s + 5 - 1/3*s**3. Is c(-1) a composite number?
True
Let v(y) = -5*y**3 + 19*y**2 + 12*y - 21. Let k(o) = 4*o**3 - 19*o**2 - 11*o + 20. Let m(h) = -4*k(h) - 3*v(h). Is m(15) a composite number?
True
Suppose 5*w - 112 - 13 = o, -3*o = 3*w - 75. Let u = 16 - w. Let f = 157 - u. Is f a composite number?
True
Let o(i) = -55*i + 17. Let u(p) = -56*p + 16. Let n(f) = 3*o(f) - 4*u(f). Suppose 0 = c + 3*w, 3*c - 7 - 21 = 5*w. Is n(c) a prime number?
False
Is (-4)/(-8)*(10317*1 - 1) prime?
False
Suppose 0 = -3*b - 2*b - 5, -4565 = -5*y - 5*b. Is y composite?
True
Let b(l) = 2463*l + 1373. Is b(28) composite?
True
Let d = 15795 - 8776. Is d composite?
False
Let t = 17221 + -11210. Is t composite?
False
Let z(i) = -i**3 + 12*i**2 - 23*i + 12. Let x be z(10). Is (-6)/x*6*61 a prime number?
False
Let j(r) = 30*r**2 - 6*r - 5. Let h be j(-7). Suppose 4*m + 746 = 2*s, -2*s - 3*m = -6*s + h. Is s a composite number?
False
Let c(q) = -q**3 - 7*q**2 - 4*q + 8. Let t be c(-6). Is t/(-30) + (-2)/(180/(-20058)) composite?
False
Let l = -15 - -15. Suppose -3*d + 185 = 5*j - j, l = -4*d + 2*j + 232. Is d a composite number?
False
Let c(w) = 139*w**2 + 11*w + 281. Is c(-11) a prime number?
True
Is 1/3 + 2/9*11838 a composite number?
True
Suppose 5*z - 3968 = -4*b, 4*z - 6*z = -8. Suppose -5*p = 2 + 3, -4*u - p = -b. Is u prime?
False
Suppose -3*w + t - 1 = -w, -4*w + 1 = t. Is (4*(-2)/(-8) + w)*59 prime?
True
Let i = 36 - 36. Suppose 3*z - 6*z - 21 = i. Is ((-9)/12)/(z/1876) a prime number?
False
Let d(j) = 16*j - 14. Let m be d(14). Suppose m = 8*l - 3*l. Suppose v + l = 3*v. Is v prime?
False
Let f be 2671/9 - (-2)/9. Suppose -3*l + 10 - 1 = -3*z, 0 = 2*z - l + 1. Suppose -z*d + f + 133 = 0. Is d composite?
True
Let g(q) = -2*q**2 - 5*q - 6. Let w(l) = l**2 - l. Let v(f) = -g(f) + 2*w(f). Is v(-3) prime?
False
Let j(b) = 29*b - 8. Let u be -2 + (6 - 4/4). Is j(u) a prime number?
True
Let b = -56 + 96. Suppose -4*c + 2*w + b = 0, 0*w - 5*w = 0. Is c composite?
True
Let p(t) be the third derivative of t**5/4 + t**4/3 + t**3 + 12*t**2. Is p(-7) a composite number?
True
Let q(j) = 6*j + 192*j**2 + j - 7*j. Let s be q(-1). Let d = s - 49. Is d composite?
True
Let h(x) = -500*x - 187. Is h(-16) a prime number?
False
Let t(s) = 410*s**2 - 4*s + 13. Is t(3) composite?
False
Let n = -303 - 3595. Is (-20)/(-5)*(-3)/(24/n) a composite number?
False
Let s(d) = -11*d + 1. Let b be s(6). Let i = b + 123. Is i prime?
False
Let q be 14/(-21)*(12/(-8) - 3). Suppose 365 - 110 = 5*h - 5*g, 5*h - 241 = -2*g. Suppose q*s - 53 = h. Is s composite?
True
Let c = 1725 + -1198. Is c prime?
False
Suppose -4*z = -2*z - 790. Let n = 216 + -400. Let o = z + n. Is o a prime number?
True
Suppose 2*c + 4947 = w, -3*c = 3*w - 0*c - 14796. Is w a prime number?
True
Suppose 0 = -7*x - x + 64. Is (-2)/x - (-6617)/52 a composite number?
False
Let v be -2*55/10*-2. Let x = v - 17. Suppose 0 = x*h - 2215 - 2640. Is h composite?
False
Suppose 0 = 16*j - 128363 - 242181. Is j composite?
False
Suppose 20*r = 23*r - 9957. Is r a composite number?
False
Let w(u) = -37*u - 5. Let x(z) = 73*z + 11. Let r(t) = -9*w(t) - 4*x(t). Let o be r(5). Let k = 349 - o. Is k a prime number?
False
Suppose -4*b = -3*q - 28, 36 = 4*b - 5*q + 4*q. Suppose b*f = 7*f + 1227. Is f prime?
True
Let d = -28 + 32. Is (2 + 85 - d)/1 prime?
True
Suppose 3*q + 3*b = 1740, 583 = 7*q - 6*q - 2*b. Is q prime?
False
Let x(h) = 117*h**3 - 6*h**2 - 6*h + 16. Is x(5) prime?
True
Let z = 26540 + -14863. Is z a prime number?
True
Suppose 3*i - 32 = -4*z, 2*i - 3*i + 24 = 4*z. Suppose -t = -i*t + 969. Is t a composite number?
True
Suppose 2*v + 12 = -v. Let c(h) = h**3 + 4*h**2 - h - 1. Let p be c(v). Is (1 - 3) + p + 202 a prime number?
False
Let h = -773 + 1276. Is h a composite number?
False
Suppose -b - 2*p +