= 7 + 15*i**2 - 2*i - 3 - 3 + 0. Let k(a) = a**2 - 6*a - 6. Let h be k(7). Is b(h) composite?
True
Let n(r) = -r**3 + 8*r**2 - 7*r - 4. Let f be n(7). Let u(h) = -36*h + 5. Is u(f) prime?
True
Let y(s) = 3*s**3 - s**2 - s. Suppose -2*i = 8, -i = -3*z + 2*i + 18. Let l be y(z). Suppose 0 = 4*k - 46 + l. Is k a prime number?
True
Let a = 6 - 4. Suppose -4*k - 870 = -a*k. Is (-1 + -1)/(6/k) a composite number?
True
Let x(d) = d**3 + 6*d**2 + 5*d + 4. Let f be x(-5). Let y = 1 + f. Suppose -b - l = -3*l - 21, y*b + 2*l - 165 = 0. Is b prime?
True
Suppose 7 = b - 8. Is b composite?
True
Suppose 5*j = 30 - 5. Suppose 6 = j*x - 4*x. Is (-9)/x*134/(-3) a composite number?
False
Suppose 0*k = -5*k + 30. Let x(d) be the second derivative of 7*d**3/6 - 4*d**2 + 2*d. Is x(k) composite?
True
Suppose 3*t + 3*m - 24 = 0, 0*t + 5*t + 3*m - 36 = 0. Is (3/t*38)/1 composite?
False
Is -2 + (-5278)/(-6) - 22/33 composite?
False
Let p be 2/(-1) - 0 - -4. Suppose -44 = -p*k - 2*t, -t = 5*k - 5*t - 119. Is k composite?
False
Suppose -4*o + o = -33. Let p(x) = 4*x + 2. Let k be p(5). Is (o/k)/((-1)/(-42)) composite?
True
Let o be 27/2 - (-3)/(-6). Suppose -4*r - 4 = -12. Suppose -r - o = -k. Is k a prime number?
False
Let i(n) be the first derivative of n**3 - 5*n**2/2 + 4*n + 2. Let j be i(-5). Let a = -51 + j. Is a a prime number?
True
Let o(v) = -v**2 + v. Let n(b) = 4*b**2 - 4*b. Let j(l) = -n(l) - 3*o(l). Let h be j(0). Suppose h = -y + 6*y - 95. Is y prime?
True
Is 5*92/((-8)/(-2)) composite?
True
Let s = 7377 + -3706. Is s composite?
False
Is (-5 - -2) + 200/5 a composite number?
False
Is (-5)/(10/(-108)) - -1 prime?
False
Suppose 0 = -4*j + r - 3*r - 16, -r - 12 = 4*j. Let p = 12 - 23. Is 237/33 - j/p composite?
False
Let x(q) = -76*q**3 + 3*q**2 + 2*q - 2. Is x(-2) composite?
True
Let x = 446 - 171. Suppose h + 4*h - 5*k = 325, -4*h + k + x = 0. Suppose -y + h = y. Is y a prime number?
False
Let n = 321 + 1780. Is n prime?
False
Let u(q) = q**2 + q. Let j be u(-3). Suppose 4*o = 5*k - 235, -188 = -j*k + 2*k + 3*o. Is k a prime number?
True
Let q = 1 - 1. Is (-1 - -18) + q + 2 a composite number?
False
Suppose -2*g = -3*s + 58 - 24, -2*s + 30 = -5*g. Let c(b) = b**2 - 9*b + 4. Is c(s) a composite number?
True
Let y(k) = 4*k**2 - 7 + k**3 + 4*k + 6 - k**2. Is y(4) prime?
True
Let k(f) = f**3 - 5*f**2 - f - 2. Let h be k(9). Suppose 5*o + 2*q - 484 = 0, 5*o - q - h = 180. Suppose b - o = -b. Is b composite?
True
Let z(g) = -g**3 + 9*g**2 - 8*g + 4. Let m be z(-7). Let x = -539 + m. Is x/20 + (-1)/4 a composite number?
True
Let y = 42 - 63. Is (-2)/(-7) - 4425/y a prime number?
True
Let c(z) = -2*z**3 - 7*z**2 - 8*z - 9. Is c(-10) a prime number?
False
Suppose -64 = -3*w + 2*j, -4*w + 0*j + 2*j = -84. Let p = -1 + 4. Is w + (-2)/(6/p) a composite number?
False
Suppose -r + 339 = -4*n + 2*n, 5*n = -5*r + 1650. Let k = r - 228. Suppose k = 4*v - v. Is v a prime number?
False
Let v(y) = 35*y - 3. Is v(2) prime?
True
Let t(m) = m**2 + 5*m - 5. Let n be t(-6). Suppose 3*x + 52 = l - 0*x, 5*x + 300 = 5*l. Is (1 - -1) + (l - n) a composite number?
True
Let b(s) be the first derivative of 34*s**3/3 + s - 5. Is b(3) a prime number?
True
Let t(s) = -s**3 + s**2 - s + 219. Let v be t(0). Suppose -4*k + v = -289. Is k prime?
True
Let n(b) = b**3 - 6*b**2 + 8*b - 3. Suppose -2*u + 4*z = -17 - 15, 44 = 3*u - 5*z. Let m be n(u). Let y = 334 - m. Is y a prime number?
False
Suppose -41 = -3*l - 4*p - p, 3*p = -4*l + 40. Suppose 8*z = l*z + 47. Is z a composite number?
False
Let g(f) = -409*f - 31. Is g(-6) a composite number?
False
Let d(m) be the second derivative of m**4/4 - m**3/6 - 2*m. Let u be d(1). Suppose u*f + 300 = 3*r + 17, r - f = 96. Is r a composite number?
True
Suppose q - 5*j + 0*j - 556 = 0, 0 = -3*q - 2*j + 1617. Is q composite?
False
Let q(j) = 33*j**3 + 4*j - 2. Is q(3) a prime number?
False
Suppose 3*x - 2*x - 380 = -n, 5*n - 5*x = 1920. Is n a composite number?
True
Let g = 818 - 416. Let w = g - 71. Is w a composite number?
False
Is (3/2)/((-3)/(-14)) a prime number?
True
Let b(u) = u**2 + 14*u + 7. Is b(-15) a prime number?
False
Is (5574/(-4) + -1)/(65/(-130)) a prime number?
True
Suppose -4*b + 2*i + 1940 = 0, 3*b = -2*i + 242 + 1213. Is b a prime number?
False
Let c(s) = -188*s + 1. Is c(-3) prime?
False
Let v = -69 + 700. Is v composite?
False
Let h(o) = 4*o**2 - 14*o - 11. Is h(-15) a composite number?
True
Suppose 2*y = -1 + 9. Let h = 6 - y. Let k = 6 - h. Is k prime?
False
Let j = 359 - -1100. Is j composite?
False
Let b be (2/(-4))/((-6)/36). Suppose 0 = 2*u + d - b, 5*u + 0*d + 2*d = 9. Suppose -u*n - 5*s + 288 = n, 3*n - 197 = s. Is n prime?
True
Let w = 5 + -1. Suppose 71 = o + w*n, -2*n + 40 + 369 = 5*o. Is o a prime number?
True
Let z(i) = 3*i**2 + 3*i + 7. Is z(-6) a prime number?
True
Suppose 4*x - 805 = -x + 2*f, -5*x - f + 790 = 0. Let a = 268 - x. Is a a composite number?
False
Is 2*(-1)/4*-188 a composite number?
True
Suppose 0*b - 3466 = -2*g - 2*b, 0 = 3*g - 3*b - 5199. Is g prime?
True
Let o be -16*6/(-3)*-1. Let s = -11 - o. Is s a composite number?
True
Is (13 + -11)*(-74)/(-4) a prime number?
True
Is 5/((-15)/(-3207)) + 0 a composite number?
False
Let h = 5592 - 3941. Is h composite?
True
Let o(h) be the first derivative of 3*h**2/2 + h - 1. Let w(i) = -i**3 + 4*i**2 + 3. Let c be w(4). Is o(c) composite?
True
Let n be (-3)/12 - (-100)/16. Suppose -12 = 2*r - 36. Is (1 - -4) + r/n a prime number?
True
Is 1/((15/1509)/5) a prime number?
True
Suppose 0 = -3*c - 1 + 10. Suppose c*x - 140 = -x + j, 2*x - 70 = 3*j. Is x prime?
False
Is 7/((-28)/136)*(-31)/2 prime?
False
Let p(m) = -m + 9. Let v be p(-7). Let t = -10 + v. Suppose q - t*q - 2*w = -177, -q + 4*w = -53. Is q prime?
True
Let s(m) = m + 9. Let z be s(-10). Let o be z + 1 - (-10 + 5). Suppose -4*p + o*w + 197 = 0, -53 = -3*p + w + 81. Is p a prime number?
True
Let h = 59 - -18. Is h a prime number?
False
Suppose 0 = 2*s + 3*a - 65, -21 + 96 = 2*s + a. Let v(n) = 33*n**2 - 35*n**2 + s*n**2 + 30*n**2 - n. Is v(1) composite?
False
Suppose 0 + 12 = 4*y. Suppose 127 = y*d - 2*d. Is d prime?
True
Suppose -2*a + 2*y = -4, -5*a + 2*a + 2*y + 6 = 0. Suppose a*h = -4*z - 8, 2 + 18 = 3*h - 2*z. Suppose 3*c + w - 2*w = 137, h*c + w = 192. Is c prime?
True
Suppose -5*p + 108 = -637. Is p composite?
False
Suppose 12 = 2*q - q. Is ((-74)/4)/(q/(-168)) prime?
False
Suppose 493 = 3*o + 4*h + h, -2*o - h = -338. Suppose 2*r + o = 785. Is r prime?
True
Let s be 6/(-33) - 2352/11. Let m = 437 + s. Is m composite?
False
Let u = -71 + 294. Is u composite?
False
Suppose 569 - 108 = 5*n - 4*k, 4*n = k + 360. Is n prime?
True
Suppose 0 - 4 = -2*r. Is 50 + (r - 2) + -3 composite?
False
Suppose c - 248 - 195 = 0. Is c a composite number?
False
Let g be (-2760)/(-27) - (11/9 + -1). Let q(m) = -m**2 + 3*m + 4. Let d be q(3). Suppose g = d*h - 254. Is h a prime number?
True
Let l(o) = 351*o**2 + 4. Is l(-3) prime?
True
Is 1/3*(-20 - -86) prime?
False
Let u be 9/5 + (-2)/(-10). Suppose -u*m + m = -128. Let q = m + -75. Is q a composite number?
False
Suppose 84 = 2*q + 4*q. Is q composite?
True
Let t(j) be the first derivative of j**3/3 - 7*j**2/2 + 15*j + 7. Is t(14) a prime number?
True
Suppose -f - 5 = 5*w + 10, 3*f = -5*w - 5. Suppose 3*x = 4*z + 29, -35 = -4*x + 3*x - f*z. Let d = x + -6. Is d composite?
True
Suppose 0 = -2*g - 5*u - 11, 2*u + 62 = -3*g - g. Let c be -2*(g/4 + 2). Suppose -c*d + 134 = -51. Is d prime?
True
Suppose 97 + 282 = r. Is r a composite number?
False
Let d(t) = 77*t - 5. Is d(3) prime?
False
Let r(k) = -7*k**2 - 2*k**2 - 1 - 8*k + 2*k**3 + 3. Is r(7) a composite number?
False
Let v = 12559 - 8952. Is v a composite number?
False
Let y = 28 + -19. Is (-3)/y - 788/(-6) composite?
False
Suppose -i = 5*c + 858, 4*c + c = i + 848. Let g = 1280 + i. Is g a composite number?
True
Suppose 2*p + 256 = 2*t, t - 503 = -3*t - 5*p. Is t a composite number?
False
Let c(b) = 3*b - 5. Let r be c(5). Is (r/(-3))/((-7)/21) prime?
False
Let f(x) = 2*x**2 - 8*x - 10. Let u be f(-7). Suppose 20 = -2*r + u. Let j = 153 - r. Is j a prime number?
False
Let l = 783 + -352. Is l a composite number?
False
Let k = 63 + 93. Let y = k - 67. Is y a prime number?
True
Let s be -2*((-1)/2 - -1). Let u be (