t n be z(-4). Let i(w) be the first derivative of 2*w**3/3 + w**2/2 + 2*w - 1. Is i(n) composite?
False
Suppose 3*q - 16 = 161. Is q composite?
False
Let k = -834 - -1425. Suppose j + 110 = k. Is j a prime number?
False
Suppose -5*l + 7*r = 4*r - 37, 2*r = -4*l + 12. Suppose -10 = -l*v + v - q, -q - 17 = -5*v. Is v/((-3)/(-132)*6) prime?
False
Suppose 0 = p - 50 - 44. Let n = p - 41. Is n composite?
False
Suppose x = -0*x + 71. Let j = -10 + x. Suppose -k + 4*k - 5*i = 216, 0 = -k - 2*i + j. Is k composite?
False
Let y(v) = -v**2 - 4*v - 4. Let x be y(-3). Let r(k) = -27*k**3 + 2*k**2 - 1. Let b be r(x). Let g = 117 - b. Is g prime?
True
Let s be (106/(-8))/(6/(-24)). Suppose 4*j = 12, -3*h - s = -5*h - j. Is h a prime number?
False
Let t(g) = 44*g - 36. Let q(u) = -14*u + 2. Let i(s) = -s - 1. Let z(l) = -5*i(l) + q(l). Let n(j) = -2*t(j) - 11*z(j). Is n(4) a composite number?
True
Let u(y) = 7*y**3 + 2*y**2 - y. Let j be u(1). Let g be (j/(-2) - -2) + 17. Let n = g + 0. Is n prime?
False
Suppose -2*c + 0*c = -184. Suppose -c = -2*x + 26. Is x a prime number?
True
Let x(y) = -y**3 - 10*y**2 + 1. Let h = -6 - 4. Let l be x(h). Is 26 - 0/(l + -4) a prime number?
False
Let g = -6 - -10. Suppose 5*w + 3*h = 24, 2*h = g*w - 0*w - 6. Suppose 212 = x + w*x. Is x composite?
False
Suppose 6*q - q = 5*w - 240, 165 = 3*w + 4*q. Is w prime?
False
Let j = -389 + 976. Is j prime?
True
Suppose 16 = 4*t - 4. Suppose t*d - 5*o - 502 - 133 = 0, 4*d - 3*o - 508 = 0. Is d composite?
False
Let p = -122 - -173. Let f = -25 + p. Is f a composite number?
True
Suppose 2*p = -h + 1199, -3594 = 2*h - 5*h - 5*p. Is h prime?
True
Let b(x) = 5*x**2 + 4*x + 7. Is b(6) a prime number?
True
Is 29/(-2)*-6*1 prime?
False
Suppose 57 + 169 = 2*c. Is c a prime number?
True
Let r(g) = g**3 + 3*g**2 + 4*g + 3. Suppose d = 9 - 5. Is r(d) prime?
True
Let m(c) = 6*c**2 - c - 4. Let i be m(2). Is 1384/18 - (-2)/i prime?
False
Is 2/6 - 4072/(-6) composite?
True
Suppose 20 - 5 = 5*x. Suppose 2*r = x*f + 3*r - 17, -2*f + 18 = -r. Let w = f - -6. Is w a prime number?
True
Suppose q - 10 + 4 = 0. Is (699/q - -3)*2 a composite number?
False
Let j(s) = 38*s**3 + s**2 - 2*s - 1. Is j(2) a composite number?
True
Let y be (-7)/21 - 22/6. Is (-506)/y + 4/8 composite?
False
Suppose 5*c - 3*h = 24, -3*c + 0*c = -4*h - 21. Suppose -c*x + 557 = q, -5*q = -2*x + 470 - 76. Is x prime?
False
Let f = 14783 + -6574. Is f a prime number?
True
Suppose 0 = -4*y + 7*y + 291. Let v = 34 - y. Is v prime?
True
Let u(s) = -s**2 - 10*s + 16. Let o be u(-11). Suppose -a + 3 + 9 = m, -3*m + 4 = -a. Let i = a - o. Is i composite?
False
Is 19122/21 + 15/35 a prime number?
True
Let x be 3/9 - 23/(-3). Is (-4)/((x/(-13))/4) prime?
False
Let z = -259 - -110. Let w = 326 + z. Is w composite?
True
Let s be (35/(-2))/5*-2. Is 17/(((-4)/s)/(-4)) a prime number?
False
Let b = 8 - 17. Let m = 14 - b. Is m a prime number?
True
Let m(w) = -w - 18. Let p be m(0). Let g be (2/(-3))/(4/p). Is (2 - -247)/g - -2 a composite number?
True
Suppose -5*p - 2*t = -107, -5*t + 49 = p + 2*p. Let s = -4 + p. Is s a composite number?
False
Suppose 0 = -0*d + d - j + 2, -3*d = -j + 2. Suppose d = 4*x - 12 - 36. Let c = x + -5. Is c prime?
True
Let s(v) = -38*v**3 + v + 1. Let p be s(-1). Let u = 26 - p. Is ((-3)/(-9))/((-1)/u) prime?
False
Let x(r) = -13*r - 5. Is x(-4) a composite number?
False
Let t(a) = -29*a + 4. Is t(-5) a prime number?
True
Suppose -4*s + 3*o = -99, -2*s + 60 = o + o. Suppose 3*d - 90 - s = 5*v, 0 = 4*v + 12. Is d a prime number?
False
Let n(b) = -60*b**2 + 4*b - 1. Let p(x) = 59*x**2 - 5*x + 1. Let u(s) = -5*n(s) - 4*p(s). Is u(-1) composite?
True
Let g(p) be the first derivative of p**4/4 + 2*p**3 + 3*p**2/2 - p - 2. Is g(-4) a composite number?
False
Suppose -2*s = -3368 + 942. Is s prime?
True
Suppose r - 6 = 4*r. Is (3 - (-59)/r)*-14 a composite number?
True
Suppose 3*v + 2*v - 3165 = 0. Is v prime?
False
Let n = 3 + 0. Let w(h) = h - 3*h**2 + 47*h**3 + 11*h**3 + 2*h**2 - 7*h**n. Is w(1) a composite number?
True
Suppose -4 - 4 = -4*m. Suppose -m*p = 4*o + p - 143, -53 = -o + 5*p. Is o composite?
True
Let t = -3512 - -5050. Is t composite?
True
Let r = -292 - -118. Let i = r - -248. Is i prime?
False
Is 2/(-1) + 2 + 131 a prime number?
True
Let x be -1 + 1 - (-7 + 5). Is 1155 + (-1 - x) + -1 a composite number?
False
Let g(v) = -v**3 + 4*v**2 - v - 1. Let s be g(3). Suppose -d - 16 = -5*d, -s*t + 68 = 2*d. Is (t/10)/((-1)/(-5)) a composite number?
True
Let s = -970 - -1733. Is s prime?
False
Suppose -y + 0 - 4 = 0. Let f be 138*1*(-2)/y. Suppose -n - q = -85, -n - 4*q = q - f. Is n a prime number?
True
Let w(s) = -s**3 + 10*s**2 + 16*s + 21. Is w(-10) a composite number?
False
Suppose 5*v + 14 = 4. Is (-14)/(1/(23/v)) prime?
False
Let p(g) = 3*g. Let r(h) = h + 8. Let o be r(-6). Let c be p(o). Suppose m + 34 = -k + c*k, -5*k = -3*m - 32. Is k a prime number?
True
Suppose 2*s - 5*h + 132 = -0*h, 4*s + 204 = -5*h. Is (-32)/s + 885/7 prime?
True
Suppose -3*q - 7900 - 361 = -4*y, -5*q - 8267 = -4*y. Is y a composite number?
False
Suppose 0 = -3*c, -5*s + 4*c = -70 - 75. Suppose 5*f - s = -9. Suppose 2*l = 2 + f. Is l a composite number?
False
Suppose 15 = 3*q + 2*q. Let r(f) = -q + 10 + 1 - f. Is r(-7) a prime number?
False
Let i = -2158 + 3113. Is i composite?
True
Suppose -104 = -3*j - r + 52, -5*r - 15 = 0. Suppose 6 = -u - j. Let w = u + 156. Is w a prime number?
True
Let g(l) = -l**3 - l**2 - 33. Let q be g(0). Is (4/(-6))/(2/q) a composite number?
False
Let x(i) = -5*i**2 + 0*i**2 + 6*i**2 + 0*i**2 + 1. Is x(3) composite?
True
Let b(p) = 2*p + 1. Let y be b(7). Suppose -y = 5*d, -4*u - u + 1720 = 5*d. Is u a prime number?
True
Suppose 0 = -5*p + 2*p + 2*s - 5, p + 11 = 3*s. Suppose -5*o + 3*a - p = 0, 3*o + 5*a - 20 = -7. Is (-1)/(o + 1)*-62 a prime number?
True
Is (4 + -1)/(3/787) prime?
True
Let g be (4/(-6))/(2/(-18)). Let y = 4 - g. Is 24/1 + y + 4 composite?
True
Let r be 33/(-5) + 18/30. Is ((-609)/r)/((-2)/(-4)) composite?
True
Let h(s) = 5*s - 6. Let y be h(2). Suppose 2*m = 8, 5*l - m = y*m + 1035. Is l a composite number?
False
Let x be -4436 + 3/(-4 - -1). Is x/(-36) - (-2)/(-8) composite?
True
Let w(o) = -o + 67. Is w(-22) a composite number?
False
Let r = -121 + 684. Suppose -5*z = -2*y - r, 457 = 4*z + 2*y + 3*y. Is z a prime number?
True
Suppose -2*k - 8 = -k. Let v(m) = -m**3 - 2*m**2 - 4*m + 5. Let y be v(-4). Is (2 + k)/(-3) + y a composite number?
True
Let a = -34 + 71. Is a a prime number?
True
Let j(f) = 132*f**2 + 3*f + 2. Is j(-1) composite?
False
Let r(z) = -148*z**2 - z + 1. Let f be r(1). Let v = -41 + -186. Let a = f - v. Is a a composite number?
False
Is 4/(-18) + 7917/27 prime?
True
Let s be (-2 - -1) + 1 + -1. Is s/(0 - 1/97) prime?
True
Suppose 0 = 5*v - 86 - 4. Suppose t - v = 3. Is t prime?
False
Suppose 0 = -0*c + 2*c - 4. Suppose -m = -c*m + 4. Suppose -2*y = m*a - 90, 5*y = -4*a + 5*a + 269. Is y a prime number?
True
Is -5 - (2 - 8) - -2577 a prime number?
False
Let u(p) = p**3 - 12*p**2 - 13*p + 16. Is u(14) a composite number?
True
Let a = 386 - 229. Is a a composite number?
False
Let p = 210 + -147. Let q = p + -30. Is q + -1 - (-2)/(-2) prime?
True
Let t = 153 + -287. Is ((-1 - -2)*t)/(-2) a prime number?
True
Let a = 1910 - -2961. Is a a prime number?
True
Let a(v) = -v**3 + 4*v**2 - 4*v. Let o be 9/(-3) + 3 - -3. Let n be a(o). Let g(w) = 21*w**2 + w - 1. Is g(n) a composite number?
True
Let f(m) = -m**2 + 9*m + 15. Let u be f(10). Suppose -k - c = -57, -u*k + c + 0*c = -273. Is k prime?
False
Suppose 312 = 4*k - s, 3*k + 4*s = 117 + 98. Is k a composite number?
True
Suppose -3*z + 4*n - 20 = z, 0 = 4*z + 2*n - 10. Suppose g + g - 242 = z. Is g a composite number?
True
Suppose -3 = -0*g - 3*g. Let v be -33 + (-1 - -3) - g. Let k = -13 - v. Is k a prime number?
True
Suppose -3*p + t = 560 - 1522, 1296 = 4*p - 4*t. Is p a prime number?
False
Suppose -4*l + 5*l - 5 = 0. Suppose 0 = -3*u + 6*u - l*b - 481, -2*b = 2*u - 310. Is u prime?
True
Let x be (-102)/(-4) + (-3)/6. Suppose -2*a - x = 2*a + 5*q, 4*q = 5*a - 20. Suppose a = -3*w + 5*u + 136, -w + u = -5*w + 143. Is w a composite number?
False
Let t(b) = -84*b - 9. Let o(a) = -17*a - 2. Let k(j) = 11*o(j) - 2*t(j). Is k