omposite number?
False
Let u(l) = 859*l**2 - 1. Let n be u(-1). Suppose 407 = z + 3*k, 2*z - n = 3*k + 2*k. Is z prime?
True
Let o(h) = 3*h**2 + 14*h - 11. Let v be o(14). Suppose -t = 3*u - 6*t - v, 0 = -u - 4*t + 235. Is u a prime number?
True
Suppose -5*l + 21 = 2*a, 2*l + 2*a = -0*a + 6. Suppose 4*b + 1588 = 3*i, -l*b + 2600 = i + 4*i. Let j = i + -313. Is j prime?
True
Is (1988/42)/(((-4)/(-6))/1) composite?
False
Suppose 4*g + 480 = -d + 1809, 1640 = 5*g - 3*d. Is g a composite number?
False
Let g(v) = -908*v - 195. Is g(-8) prime?
True
Is 8 - ((-19904)/8 - -7) a prime number?
False
Suppose -43*m - 3894 = -49*m. Is m a composite number?
True
Suppose -6 = 2*j + 8. Let i be 7/1*2/j. Let f(g) = -4*g + 6. Is f(i) composite?
True
Let q(f) = -f + 12. Let v be q(8). Suppose -23 - 213 = -v*h. Is h a composite number?
False
Let z(w) = 7*w - 10. Let m be z(6). Suppose m = 14*q - 10*q. Suppose -q*y + 5*y + 561 = 0. Is y prime?
False
Let n = -1906 + 5002. Let q = -2041 + n. Is q prime?
False
Let r = 17147 + -8962. Is r composite?
True
Suppose 0 = 335*u - 354*u + 816791. Is u composite?
False
Let g = -96664 + 148517. Is g a prime number?
True
Suppose 0 = -3*a - 2*z - z + 15444, z - 10295 = -2*a. Is a a prime number?
True
Let t(q) = 8 - 2*q**2 + q**2 - 36*q + 16. Is t(-19) a composite number?
False
Suppose 0 = 5*b - 0*o - 2*o - 39037, o = -3*b + 23420. Is b composite?
True
Suppose -4*l + 17 = -11. Suppose p + l*h - 798 = 2*h, h + 804 = p. Is p a composite number?
True
Let a(p) = -p - 3. Let j be a(-5). Suppose -2*c - 2*v + 20 = 4, c - j*v = -4. Is 3*c*(-28)/(-24) a prime number?
False
Let y(b) = 307*b**2. Let t = 20 - 17. Let o = t - 4. Is y(o) a prime number?
True
Let g be 0*-3*1/(-9). Suppose 14*d - 10*d - 1556 = g. Is d a prime number?
True
Let g(u) = -3*u**2 + 23*u + 8. Let s be g(8). Suppose 4*n = 4*a - 2244, s = -a + 2*a - 3*n - 569. Is a a prime number?
True
Suppose -215*h + 4652 = -213*h. Is h a composite number?
True
Let l(n) = -n + 1. Let b(z) = 23*z + 4. Suppose -12*m - 25 = -17*m. Let f(u) = m*l(u) - b(u). Is f(-3) prime?
False
Let a(i) = i**3 - 16*i**2 + 14*i + 11. Let s be a(15). Is 2 + (4 - -21) + s prime?
True
Let x(b) = -b**3 - 20*b**2 + 56*b - 47. Is x(-24) a prime number?
False
Let s(y) = -y**3 + 8*y**2 - 9*y + 16. Let q be s(7). Suppose -3*h = -5*w + 7830, -2*h + 1543 = w + q*h. Is w a prime number?
False
Let s(d) = d**3 + 19*d**2 - 21*d + 8. Suppose -3*n - 36 = 15. Is s(n) composite?
True
Is ((-58766)/11)/(20/(-110)) prime?
True
Let s(m) = -4*m - 14. Let a be s(-4). Let t(f) = -4*f**2 + 5*f**2 - 8*f - 11 + 1 + 0*f**a. Is t(13) a prime number?
False
Let w be (-1 + 11)*(-24)/(-60). Suppose 0 = 2*l - 3*l - w, 5*l = 3*y - 797. Is y a prime number?
False
Suppose 0 = -14*u - 7273 + 356475. Is u prime?
True
Let d = -22 + 24. Suppose -3 = -u + d. Suppose 4*w + 53 = 5*y - 42, -u*y + 5*w = -90. Is y prime?
True
Let w(o) = -2*o + 9. Let v be w(-8). Let l be (-251385)/v - 8/(-20). Is l/(-9) + 12/(-54) prime?
True
Let z(s) = -21*s + 66. Let v be z(3). Let u be -1 + -1 + -1 + 114. Suppose -v*g + 6*g - u = 0. Is g composite?
False
Let y(b) = 2*b**2 + 11*b. Let o = -3 + -5. Let m be y(o). Let q = m + 15. Is q composite?
True
Let h = 67 + -67. Suppose 2*s - 3*f - 2*f - 2820 = h, -2*f = 4. Is s a composite number?
True
Suppose -4*f + 5*f = 6. Suppose -f*g + 30 = -0*g. Suppose -65 = 2*n - 7*n + g*t, 0 = t - 1. Is n a prime number?
False
Suppose 839 = 6*v - 949. Let w = 489 - v. Is w a prime number?
True
Let b(u) be the first derivative of -u**5/5 - u**4/4 - 4*u**3/3 - 7*u**2/2 - 5*u - 2. Let s(y) be the first derivative of b(y). Is s(-6) a prime number?
True
Let j(b) = -3*b + 2*b**2 + 41*b**3 + 3*b**3 - 2*b + 4. Is j(3) composite?
True
Let o be 3/((-11)/(-4) + -2). Suppose -v - 7 = l + 2*v, o*v = l. Is l + (-3)/6*-454 a composite number?
False
Let a(t) = -t**2 + 2*t + 1. Let o(k) = -k**2 - 11*k + 4. Let j be o(-11). Let p be a(j). Let b(x) = -x**3 - 5*x**2 + 9*x. Is b(p) a prime number?
False
Let d(l) = -4*l + 2. Let z be d(-4). Is 1451/9 + z/(-81) composite?
True
Suppose -19*v = -16028 - 16937. Is v prime?
False
Let s(c) = c + 24. Let j be s(-20). Suppose 4*t = -8, -3*b + 1 = j*t + 3. Is b composite?
False
Let h = 4095 + -1924. Is h a composite number?
True
Suppose -f = 3*f - 19180. Suppose 5*t = -0*t + f. Is t a composite number?
True
Let s(x) be the first derivative of x**4/4 - x**3/3 - x**2/2 + 3*x - 6. Is s(4) composite?
False
Let l(u) = 486*u + 327. Is l(35) prime?
False
Let u(w) = 5 + 0*w + 17*w - 3. Let j = -35 + 40. Is u(j) a prime number?
False
Let u be (-192)/(-14) - (-2)/7. Suppose 0 = 3*x + c + 140, x - 4*c + u = -11. Let z = -8 - x. Is z a composite number?
False
Suppose -2*v + 19405 = -3*s, -7*s + 4*s = -3*v + 29106. Is v composite?
True
Let a(f) = -f + 6. Let p be a(6). Let m be (3 - p) + 1 + 0. Suppose 0 = z + m, -2*z - 157 = -n. Is n prime?
True
Let m(l) = 104*l**2 - 4*l + 5. Suppose -3*d - 2 + 11 = 0, -5*t = -d - 7. Is m(t) prime?
False
Let l(k) = 2259*k**2 - k + 3. Is l(-2) a prime number?
True
Let l(s) be the second derivative of 4*s**4/3 + 3*s**3/2 - 17*s**2/2 - 42*s. Is l(12) a prime number?
False
Suppose -16*h = -53*h + 18241. Is h prime?
False
Let o(m) = 26*m**2 - 9*m + 33. Is o(-10) composite?
True
Suppose -2*a = -a - 93. Let n = -25 + a. Let r = n + -33. Is r a composite number?
True
Suppose 7*c - 44267 = 87242. Is c composite?
False
Let s = -11 - -11. Suppose -2*q + 8 = 2*q, 0 = 2*c + 2*q - 4810. Suppose 4*l - 3184 = -u, s = 3*l + 5*u - 8*u - c. Is l a prime number?
True
Let y be 2/(-6) + (-156)/(-36). Suppose -13 - 3 = -y*o. Suppose -q = 4*s - 341, 1345 = o*q - 3*s - 0*s. Is q composite?
False
Suppose v + h - 2 = -2*h, 3*v - 2*h - 6 = 0. Suppose -5*j - 114 = -1319. Suppose -v*f + j = -13. Is f prime?
True
Is (4090/3)/((-11)/(231/(-14))) prime?
False
Suppose 0 = 5*t + 4*r - 43181, -6*t + 5*t + 8653 = 5*r. Is t a composite number?
True
Suppose 5*d + a - 37 = 3*a, 2*d = 3*a + 17. Suppose d*z - 5936 = 3465. Is z composite?
True
Let g = -1672 + 2379. Is g a composite number?
True
Let n(l) = 15*l**2 + 2*l + 14. Is n(-5) prime?
True
Let d = 13 + -8. Suppose 0 = 2*m + 3*t - 2*t - 3275, -4*m + d*t = -6543. Is m composite?
False
Let p = -16 + 20. Let l be (-1 - -6 - p)*2. Suppose -2*c + 2 = 0, 173 = 2*q - l*c - 1071. Is q a composite number?
True
Let z = -224 + 125. Let i be (-4)/(-18) + 22/z. Suppose i = 6*x - 9*x + 231. Is x a prime number?
False
Is (-4)/14 + (-497002)/(-154) composite?
True
Let b be (-21)/(-14)*(-32)/(-6). Let z = b + -4. Suppose -f = z*q - 240, -110 = -2*q - 3*f + 20. Is q composite?
False
Let w = -59 - 60. Let b = -8 - w. Is b prime?
False
Let w(a) = -8*a - 49. Is w(-9) a composite number?
False
Let d = 8 - 1. Let f(w) = 228*w**2 - 4. Let h(n) = 76*n**2 - 1. Let q(j) = d*h(j) - 2*f(j). Is q(1) composite?
True
Let q be ((-135)/(-2) + 5)/((-1)/2). Let x = q - -440. Is x a composite number?
True
Is -50 + 55 - 2221*-8 a prime number?
False
Let b(r) = -r**2 + 2*r + 2. Let v be b(4). Is 1 + (-13)/(-2) + 3/v prime?
True
Let n(b) = -4*b**2 - 3*b - 2. Let l be n(-1). Let k(h) = -276*h - 7. Is k(l) prime?
True
Let h be (-16)/(-4) - (-1751 - 1). Suppose 7*c = 3*c + h. Is c a composite number?
False
Let a(h) = -42*h**3 - 15*h**2 - 49*h + 9. Is a(-5) composite?
True
Is 57025/7 - (-56)/98 prime?
True
Let i(s) = s**3 + 2*s**2 - 2*s + 4. Let w be i(-3). Is ((w - -1834) + 3)/(4/2) composite?
False
Let q = -490 + 227. Let z = 22 + q. Let o = z - -632. Is o composite?
True
Let o be (-223815)/(-12) + ((-27)/(-12))/3. Let y = o + -8007. Is y a prime number?
False
Let l(k) = 167*k**3 - 21*k + 19. Is l(5) a composite number?
False
Suppose 3*c - 4*a - 2 = 24, -20 = 4*a. Suppose -k = -1 - c. Suppose 868 = j - 3*s + 87, k*s = -3. Is j a prime number?
False
Suppose 4*i - 3*m - 1715 - 4442 = 0, 0 = -5*i - 5*m + 7740. Is i a prime number?
True
Suppose -4*h = -2*q - 26, -4*q - 2*h - 9 - 3 = 0. Let d = q - -422. Is d a composite number?
True
Let s = -16195 - -30632. Is s a composite number?
False
Let p(x) = 8*x + 4. Let z be p(-4). Let m = 851 + -38. Let j = z + m. Is j a composite number?
True
Let m(a) = a**2 - 5*a - 7. Let u be m(6). Let q(v) = 328*v**2 + v + 2. Is q(u) prime?
False
Let w = -48120 - -82673. Is w a prime number?
Fals