0*u - 4*y = -5*u + 8. Let c(a) = a**2 - a - 3 + u - 2*a + 28*a**3. Is c(2) composite?
False
Suppose -15 = 5*w - 85. Is 4/w + 2278/14 a composite number?
False
Let m be 10/8*(-3 - -7). Suppose g - 2654 = 5*p, 5504 = m*g + 3*p - 7850. Is g a prime number?
False
Suppose 0 = a - 4*i + 25 - 9, 5*i = 15. Let y(j) = -7*j**3 - 4*j**2 - 4*j + 1. Is y(a) a prime number?
True
Let i(x) = -4*x - 3*x**2 - 4*x**2 - x**2 + 11 + 12*x**2. Is i(7) composite?
False
Let r(q) = q**2 - 7*q + 5. Let w be r(6). Let t(l) = l**2 - l. Let o(d) = -33*d**2 + 4*d + 9. Let b(h) = w*o(h) - 6*t(h). Is b(-4) a prime number?
False
Suppose 0 = s - 1217 - 461. Is s prime?
False
Let f = 34 + -27. Is f prime?
True
Suppose 54591 = 3*j + 2*r, 29*r - 36395 = -2*j + 28*r. Is j prime?
True
Let s(t) be the third derivative of t**7/2520 - t**6/720 + 541*t**5/120 - t**4/4 + 4*t**2. Let x(l) be the second derivative of s(l). Is x(0) a prime number?
True
Let v = -285 - -6672. Is v composite?
True
Let s(p) = -5*p + 22. Let n be s(6). Is (146/n)/(6/(-456)) a composite number?
True
Let q be (2/(-3))/((-4)/6)*3. Is (1 + -2)*1/q*-1059 a prime number?
True
Let c be 30/(-20) + 1 - (-1)/2. Suppose 6*m - 1726 - 3428 = c. Is m a composite number?
False
Let z be (-14)/(-8)*((-4)/1 + 120). Suppose 0 = 4*d + z - 4399. Is d a prime number?
True
Let p(f) = 3936*f**2 + 9*f + 8. Is p(-1) a prime number?
False
Let o(m) = m**3 + 10*m**2 + 9*m. Let v be o(-9). Let n(s) = -s**2 - s - 371. Let j be n(v). Is j*(2/1 - 3) a composite number?
True
Let k = -47828 - -151629. Is k a composite number?
False
Let r be 4/8*4*-2. Let q be 0 + 8/r + 9. Suppose -q*y = -6*y - 97. Is y a prime number?
True
Suppose -2*l + 3 - 13 = 0. Let w(t) = 21*t**2 - 4*t + 7. Let c be w(l). Suppose -2*v - 3*j = -803 - c, -4*j = -12. Is v prime?
True
Is ((3263745/(-30))/17)/(1/(-2)) composite?
False
Suppose -3*y = -d - 20, 2*d - 20 = d - 5*y. Let a(u) = -27*u + 3. Let i be a(d). Let j = i - -53. Is j composite?
False
Suppose -3*f - 3*f = -852. Suppose 3*u - 145 = -2*z, 2*u - 63 = z + 36. Let r = f + u. Is r a prime number?
True
Let c(d) be the first derivative of d**3/3 + 11*d**2/2 + 21*d - 2. Let u be c(-9). Is (1 - 0/u)*79 prime?
True
Let s(m) = 6*m**3 - m**2 - m + 1. Let z be s(1). Suppose z*g + 117 = 12. Is (-2917)/(-3) - (-28)/g a composite number?
False
Let s(m) = m**3 - 8*m**2 + 6*m + 9. Let g = -15 + 22. Let v be s(g). Suppose v*r = 3*x + 443, x - 146 - 719 = -4*r. Is r a composite number?
True
Let w(q) = 8*q**3 + 3*q - 15. Let r be w(8). Suppose r = 7*l - 2*l. Is l prime?
True
Let n(g) = 97*g + 11. Let j(d) = 193*d + 21. Let k(c) = 4*j(c) - 9*n(c). Is k(-14) composite?
False
Let m = 11625 + -4742. Is m prime?
True
Let w = -20212 + 29703. Is w prime?
True
Suppose 4*x - 5*s = 21, 2*s = 4*s + 2. Suppose 2*o - 2141 = 4*i - 8111, -x*o = -20. Is 6/(-8) + i/20 a composite number?
True
Let t be ((-8)/6)/(1/(-69)). Suppose s + 8 = 10. Suppose -50 = -s*i + t. Is i a prime number?
True
Suppose 542*f = 548*f - 47394. Is f prime?
False
Let y(n) = n - 16. Let p be y(18). Suppose -p*s + 4 = -s - d, -2*d - 3 = 3*s. Is 0 - (-1 - s) - -297 prime?
False
Suppose -4*f + 1776 = -20. Suppose f = 3*w - 397. Let j = w - 191. Is j a composite number?
True
Suppose 4*z - 2*t = 36, 2*z - 3 = -t + 11. Is ((-1524)/(-8))/((-20)/z + 3) a composite number?
True
Let z be -2 + 36/16 + (-62)/(-8). Suppose -z*m + 821 = -7*m. Is m prime?
True
Let s(n) = -396*n + 29. Is s(-3) a composite number?
False
Suppose -h = 5*i - 9008, -278*h + 3*i + 8968 = -277*h. Is h prime?
False
Let w(p) = 190*p**3 + p**2 + p - 2. Suppose 9*l - 8 = 5*l. Let k be w(l). Suppose 21*j - k = 17*j. Is j a composite number?
True
Let p(g) be the first derivative of 8*g**4 + 2*g**3/3 - 2*g**2 + g - 20. Is p(3) a composite number?
True
Suppose a + 0 - 2 = 0. Suppose 29*b - 1710 = 24*b. Suppose -f = -5*c - b, -334 = f - a*f - 3*c. Is f composite?
False
Let t(v) = 10*v**2 - 5. Let m be t(6). Let z be (-6 - (-8864)/(-12))/(2/(-3)). Suppose -z = -3*n - j, -2*n = -3*n + 4*j + m. Is n prime?
False
Is 1243 - 0/((3 + -4)*1) a prime number?
False
Let g(l) = -3*l - 4. Let z be g(-2). Suppose -5*h = j - 2751, -7*h + z*h = -2*j - 2763. Is h composite?
True
Let m(f) = 15*f**3 - 3*f**2 + f - 3. Let x be m(4). Let d = x - 146. Is d a prime number?
False
Suppose -4*c + 4 + 8 = 0. Suppose 6*n - 4672 = -3*z + 7*n, 2*n = -c*z + 4687. Is z a composite number?
False
Let p(q) = -3*q + 21. Let o(w) = 8*w - 6. Let m be o(4). Let v = -32 + m. Is p(v) a prime number?
False
Let r(n) = 55*n**3 + 3*n**2 - 5*n - 17. Let j be r(-5). Let a = 2178 + j. Is (a/(-9))/(4/6) composite?
False
Let u be -5 - (3/(-3) - 0). Let q(t) = -2*t**2 - 7*t - 4. Let h be q(u). Is (182/(-3))/(h/12) prime?
False
Is (210/20)/((-9)/(-1506)) a composite number?
True
Let n be (1 + -3)/(1/2) + 25. Let f(w) = -w**3 - w**2 - 2*w - 1. Let m be f(-2). Let r = n - m. Is r a prime number?
False
Is 7252 + (3 - (-2 - (2 - 6))) a prime number?
True
Let b be (-44725)/(-55) + 4/(-22). Let z = -562 + b. Is z composite?
False
Let g(n) = -n**2 + 3. Let j be g(0). Suppose -j*m + 3 = 21. Is 1252/36 - m/27 composite?
True
Suppose 10*o - 13685 = 3*o. Suppose x - 6 = -3, 4*t + 5*x = o. Is t a prime number?
False
Let u = -2674 + 5595. Is u a prime number?
False
Let t(o) = -o**3 + 7*o**2 + 10*o - 12. Let g be t(8). Suppose 2067 - 38159 = -g*i. Is i prime?
False
Let h be 143*(6/4)/(6/(-20)). Let v = 1099 - h. Is v a composite number?
True
Let n be -3 + (-2 + 4)*4. Let s(j) = 6*j**2 - 8*j + 9. Is s(n) composite?
True
Let v(p) = 18*p**2 + p + 10. Let o be v(5). Let h = -278 + o. Is h prime?
False
Let p be (4/(4/(-1)))/((-2)/(-4)). Is 19209/12 + -4 - p/8 composite?
False
Is 2 + (30 + 0)/(-5) - -7971 a composite number?
True
Is 106/(-53) - 47*-123 a prime number?
True
Let l(h) = 293*h**2 - 7*h + 3. Let k(i) = -293*i**2 + 6*i - 2. Let j = 3 + -8. Let b(x) = j*k(x) - 4*l(x). Is b(-1) composite?
False
Let o = 25493 + -16852. Is o prime?
True
Let n(i) = i**2 + 3*i + 2. Suppose -5*y - 7 - 3 = 0. Let s be n(y). Suppose s = x - 106 - 105. Is x prime?
True
Let y = 33725 + -18517. Suppose 13*f - y = 5*f. Is f a composite number?
False
Let d(s) be the first derivative of -3*s**4/4 + 5*s**3/3 + s**2/2 - 2*s - 2. Suppose 0 = q + 2*i - 5, 3*q = -2*q - i - 11. Is d(q) a composite number?
True
Let l be (4/(-3))/(4/6). Let j(t) = -70*t**3 - t**2 - 2*t - 3. Is j(l) prime?
True
Let t(g) = -g - 2. Let z be t(-5). Suppose 0 = z*s - 12. Suppose 3*i - s*l - 29 = 80, i - 5*l = 51. Is i prime?
True
Let h(r) = -r**3 + 11*r**2 - r - 22. Let y be h(10). Let v = 447 - y. Is v a composite number?
False
Let p = 1330 + 291. Is p composite?
False
Let s = 33643 - 11552. Is s prime?
True
Let f = 70 + -67. Suppose -9 = 3*i, 0 = x + f*i - 8*i - 352. Is x a prime number?
True
Suppose -2*l = 3*b - 182, -l - 6*b + 2*b + 101 = 0. Is l a composite number?
True
Is 2*(((-7612)/(-8) - 5) + -2) a composite number?
False
Suppose -3*w + 4287 + 559 = -4*p, -p - 5*w - 1223 = 0. Let j = -722 - p. Is j prime?
True
Let t(p) = -p**3 + 13*p**2 + 5*p - 6. Let x(w) = 6*w - 1. Let a be x(2). Is t(a) prime?
False
Let r(w) = -w**2 + w - 1. Let n(q) = -34*q**2 + q - 9. Let s(u) = 35*u**2 + 10. Let a(f) = 4*n(f) + 5*s(f). Let z(y) = a(y) + 5*r(y). Is z(-4) composite?
True
Let i(n) = -7*n**3 - 28*n**2 + 6*n + 30. Is i(-17) a composite number?
False
Let r = 5148 - 911. Is r composite?
True
Suppose -x = -0*x - 12. Suppose w - 16 = -i, 2*w - 12 = 4*i - 2*i. Is w/(((-4)/x)/(-1)) composite?
True
Let g(w) = w**3 + 6*w**2 + 2. Let h be g(-6). Let k(s) = -3*s**3 - 2*s**2 + 2*s - 3. Let c be k(h). Let v = -12 - c. Is v a composite number?
False
Let t(g) = -2 - 3*g - 5*g - 2*g - 3*g. Let c be t(-7). Let d = c - -60. Is d composite?
False
Let t(w) = 624*w**3 + 2*w**2 - 2*w + 1. Is t(3) composite?
True
Let p(g) be the third derivative of -g**6/120 + 3*g**5/20 + 3*g**4/4 + 5*g**3/2 + 28*g**2. Is p(9) a composite number?
True
Let i = -30 + 33. Let d(z) = -z**3 + 11*z**2 - 11*z. Let f be d(9). Suppose -f = -i*b + 51. Is b a composite number?
True
Let w be 2 - (2 - 4 - 1126). Suppose 0 = 2*k - 252 - w. Is k composite?
False
Let a(b) = b**2 - b - 2. Let x be a(3). Is -2 - (-5874)/(x - 2) a composite number?
True
Suppose 28640 = 16*u + 3952. Is u a prime number?
T