+ l**2 + l + 1. Let n be b(3). Let o = n + s. Is o prime?
True
Suppose 0 = g + g. Let c(q) = -q**3 + q + 22. Is c(g) a composite number?
True
Suppose 0*x - 5*x + 15 = 0. Suppose -y = 4*b - 107, -3*y - x*b = -502 + 136. Is y composite?
False
Suppose 3*l - l + 8 = -4*y, -2*y = -2*l - 8. Is l/(-18) - 39441/(-27) composite?
True
Let v(h) = h**3 + 4*h**2 - 7*h + 6. Let c be v(4). Let f = c + -75. Is f composite?
False
Let f(y) be the third derivative of -3*y**6/40 - y**4/6 - y**3/2 - 7*y**2. Let i be 8/(-20) - (-16)/(-10). Is f(i) a prime number?
False
Let r = 13 + -52. Let y = 187 + r. Let z = -74 + y. Is z a composite number?
True
Let w(q) = -12*q**2 - 21*q - 31. Let t(k) = 4*k**2 + 7*k + 10. Let a(o) = -8*t(o) - 3*w(o). Is a(-4) prime?
False
Let t(v) = -10*v + 599. Let g be t(60). Let r(q) = -393*q - 2. Let k(n) = -392*n - 2. Let x(b) = -6*k(b) + 7*r(b). Is x(g) a prime number?
True
Let y(x) = -17 + 34*x - 20*x**2 + 4*x**2 + x**3 - 12*x. Let n = 470 - 454. Is y(n) a composite number?
True
Suppose 0 = 4*s - 4*m - 80628, 4*s - 2*m = -5*m + 80656. Is s a prime number?
True
Is (-16)/12*14/((-224)/37956) composite?
False
Let w(p) = 6*p**3 + 2*p**2 - 3*p + 1. Let a be w(1). Suppose -746 = 4*m - a*m. Is m prime?
True
Let u(s) = -419*s + 284. Is u(-3) prime?
False
Let q(r) = 19*r - 3. Let p be q(5). Suppose y - 35 - p = 0. Is y composite?
False
Suppose -2*u + 0*u = -14. Suppose -u*m + 17527 = 10*m. Is m a composite number?
False
Suppose 2*p = 4*x - 9*x + 5676, -x = 4*p - 11370. Is p prime?
True
Suppose 0*d = -2*d + 512. Let w = -23 + d. Suppose -w = -2*v + 629. Is v a prime number?
True
Suppose 2*u - 12788 = -5*s, 2*u = -4*s + 3*s + 12788. Suppose 0 = -15*q + 12611 + u. Is q a composite number?
True
Suppose 4*g = 3*a - 0*a + 4, 0 = a - g. Suppose 0 = m - a*m + 6. Suppose -1008 = -m*c + 118. Is c prime?
True
Suppose 5*f - 32274 = 33041. Is f a prime number?
True
Suppose 3*t + 12 = 0, -44771 = 7*j - 10*j + 2*t. Is j composite?
True
Suppose 4*h = -5*d + 7452 - 266, -2*h - 5*d + 3588 = 0. Is h composite?
True
Let y(b) = 5*b**2 - 3*b - 14. Let t be y(-9). Suppose -477 = -5*m + t. Is m prime?
True
Suppose -4725 = -5*n + 3590. Suppose -5*i = -n + 198. Is i a prime number?
True
Suppose -2*q - 1 = 5*k, 4*k + 3 = k. Let d(p) = 29*p**2 + p + 1. Is d(q) prime?
False
Let x(y) = -6512*y + 267. Is x(-16) a composite number?
False
Let m = -880 - -1587. Suppose -5*w + w + m = 3*l, -5*l - 2*w + 1155 = 0. Suppose 4*r - j - l = 0, -5*r + 2*j = -0*r - 284. Is r a prime number?
False
Suppose 3*q = 5*j - 180, 0*j + 5*j + 2*q - 155 = 0. Suppose -d - 3*n + 32 = -j, 0 = -3*d - 4*n + 180. Suppose -s + 393 + d = 0. Is s a prime number?
True
Let c be (2/(-4))/(2/(-8)). Suppose k = -5*v + 44, c*v = -2*k + 3*v + 143. Suppose -3*f + k = -0*f. Is f prime?
True
Let g = -30 - -48. Let h(j) = -j**3 + 31*j**2 + 24*j - 7. Is h(g) prime?
True
Let h = -299 - -493. Is h a composite number?
True
Suppose 8*t - 5*z + 9983 = 12*t, 0 = z + 1. Is t composite?
True
Let b = -262 - -412. Suppose 3*s - 2*l - 557 = -b, -4*l = 4*s - 576. Let w = 243 + s. Is w a prime number?
False
Suppose 9*q = 3*q + 30. Suppose -q*c + 10191 = 4*w, 4*c - 4612 = 4*w + 3548. Is c a composite number?
False
Suppose 4*u = -0*u - s - 42, -u + s - 8 = 0. Is 0 - (-5)/u - 270/(-4) composite?
False
Suppose -v + 3*p = 2*v - 4971, 4*v - 6640 = -2*p. Suppose a + 2*a - v = 0. Is a composite?
True
Suppose 0 = -2*d + 3*l + 91, -3*d - 2*l = -d - 66. Suppose -1068 = d*m - 42*m. Is m composite?
True
Is 4/(-14) + 10/((-560)/(-284328)) a prime number?
True
Let r(u) = -u**3 - u. Let q be r(1). Let a be q*7/8*4. Is 4 - (-4 + 19)*a prime?
True
Let p(r) be the third derivative of -181*r**4/24 + 3*r**3/2 - 2*r**2. Let j be p(6). Let w = -670 - j. Is w a composite number?
True
Suppose -m + 13513 = -5*a + 3*m, 0 = -2*a + m - 5407. Is (a/(-10))/(1/2) a prime number?
True
Is (-26)/(-104)*-4*(1 - 884) composite?
False
Let h = -18 - -18. Suppose -9*s = -h*s - 13131. Is s a prime number?
True
Is 3/(4/((-11932)/(-3))) a prime number?
False
Let l(z) = -5*z**2 + 12*z - 14. Let b(v) = -2*v**2 + 6*v - 7. Let g(t) = 9*b(t) - 4*l(t). Let i be g(-5). Is (-1 + -2)*i/(-3) a prime number?
True
Suppose -2*p + 4*p - 187 = -u, 2*u = -3*p + 373. Suppose -r + 5*k = 2*k - u, 5*k - 185 = -r. Is r a composite number?
True
Let y(g) = -2*g**3 - 2*g - 1. Let d be y(-1). Let w = d + -11. Is -18*((-20)/w)/(-5) a prime number?
False
Let x = 89 - 128. Is (-41 - x)/(2/(-809)) a prime number?
True
Let j(c) = 2*c**2 - 2 + 5*c**2 + 0*c**3 - c**3. Let m be j(7). Is (1/m)/(16/(-7136)) prime?
True
Suppose 0 = 3*c + 1 - 19. Is c/27 + 1033/9 a prime number?
False
Let a be 2/(-5) + 6/15. Let u be 663/91 + (-2)/7. Suppose g - u = -a. Is g a composite number?
False
Suppose 2*c = 5*c - 11*c. Suppose -2*j - 8*j + 8510 = c. Is j prime?
False
Let m = 31557 + -20654. Is m composite?
False
Let m = 26331 - 8194. Is m composite?
True
Let r = 11546 - 6075. Is r a composite number?
False
Suppose 0 = 7*s - 8*s. Let f = 1234 + -476. Suppose f = -s*k + 2*k. Is k composite?
False
Let n be (3 + 86/4)*12. Suppose 2*w + 40 = n. Is w a composite number?
False
Let f(v) be the third derivative of -v**6/120 + 2*v**5/15 + 5*v**3/6 - 4*v**2. Let j be f(8). Let d(a) = a**3 - 4*a**2 + 4*a - 11. Is d(j) composite?
True
Suppose 4*g = 2*h - 619 + 93, -268 = -h + 3*g. Is h composite?
True
Let g be (-1 + 6)/(3 - 2). Let u(r) = r**2 + 48*r - 92*r + 2 + 43*r. Is u(g) prime?
False
Let h(p) = 72*p**2 + 9*p - 11. Suppose 0 = k - 3, w + 0*k = 3*k - 7. Is h(w) composite?
True
Let m(u) = -u**3 + 5*u**2 - 2*u - 3. Let v be m(4). Suppose -v*d = -3*d. Suppose 3*z - p - 1186 = d, z - 4*p - 1171 = -2*z. Is z a composite number?
False
Let s(r) be the second derivative of -r**2 + 1/3*r**3 + 3/4*r**4 + 0 - 3*r. Is s(3) composite?
True
Suppose -8*x = 6*x - 252. Is x/99 + ((-9478)/(-11))/2 prime?
True
Let l = -71 - -73. Suppose 263 = -l*f + 5*f - z, 3*z = -4*f + 368. Is f a prime number?
True
Let v = -1262 - -4405. Is v composite?
True
Suppose 2*o - 1185 = -305. Let v = o + -637. Let h = 346 + v. Is h composite?
False
Let x(w) = -93*w**3 - w**2 + 1. Let f be x(1). Let h be f/((-1)/(-1 + 4)). Let q = h + -170. Is q prime?
True
Let x(o) = -o + 1. Let w be x(-2). Suppose 5*z - 2*h - 510 = 3*h, 296 = w*z + 2*h. Suppose 0 = 5*y - q - 2962, 2*q - 499 = -y + z. Is y prime?
True
Suppose 0 = -0*y - 4*y + 5828. Is y a prime number?
False
Suppose -7*c + 10*c - 68073 = 0. Is c prime?
True
Let y(x) = 9*x - 2. Let d be y(2). Suppose -2*q - 3*q + 2447 = 3*a, -4*a + d = 0. Is q a prime number?
True
Let a be 8/64 + (-897)/8. Suppose 2*z = -2*z - 140. Let s = z - a. Is s prime?
False
Let o(k) = -27*k**3 - 4*k**2 + k + 8. Let a be o(3). Let q = a + 1295. Is q a prime number?
True
Let u = 6242 - 981. Is u a prime number?
True
Suppose 2*u - 57967 = -5*c - 22356, 2*c + u - 14244 = 0. Is c a composite number?
True
Let q(d) = -3*d - 13 + 5*d**2 + d - 3*d**2. Let k = 1072 + -1083. Is q(k) prime?
True
Let b be (3/2)/1*4. Let m = -214 + 1917. Suppose -m = -b*z - 185. Is z a composite number?
True
Suppose 3*x - 2017 - 2473 = -5*w, 4*w = -4*x + 3592. Suppose 0 = -0*r - 2*r + w. Is r a prime number?
True
Let k(m) = m**3 + 10*m**2 + 10*m + 9. Suppose -4*s = -2*h + 6, 2*h + 2*h - 4*s + 8 = 0. Let w be k(h). Suppose -w = -5*f + 3*f. Is f a prime number?
True
Suppose 5*s = 3*j + 21, -5*s + 8 + 3 = 2*j. Let r = 3 - s. Suppose 2*t = 4*k - k - 1087, r = 5*k + t - 1790. Is k a composite number?
False
Let f(v) = -1141*v**2 + 2*v - 1. Let d be f(1). Let k = d - -482. Let m = k + 1055. Is m composite?
False
Suppose 7*a - 10*a - 2219 = -4*c, 4*a = -3*c + 1683. Is c a prime number?
True
Suppose 0 = -4*m + 2*f + 316078 + 19266, 3*f = -3*m + 251517. Is m a prime number?
False
Suppose 19*v - 398674 = 1138749. Is v a prime number?
True
Let q(l) = 2*l. Let a be q(0). Let o be a/(-8)*2/4. Suppose o = n - 12 - 7. Is n composite?
False
Let t(h) = 14*h**3 + h + 1. Let f be t(2). Suppose 20*y = 15*y + f. Is y prime?
True
Let c(p) = p**3 - 21. Let y be c(0). Let n = -21 - y. Is -1*(n + -489 + 2) a composite number?
False
Let u be (59/(-3))/((-1)/36*2). Let d = 967 - u. Is d prime?
True
Let i(m) = 5*m + 1. Let r(n) = 15*n + 4. Let u(d) = -7*i(d) + 2*r(d). Let g be u(3). Is g/(-77) - (-19