2*s + 122. Is x composite?
False
Let k(q) = 141*q**3 - 2*q**2 - 2*q + 1. Is k(2) prime?
True
Let p = -2 - -3. Let n(x) = 112*x - 1. Is n(p) a composite number?
True
Let o be 3*(-316)/6*-1. Let h = -89 + o. Is h a prime number?
False
Let m = -88 - -130. Let k = m - 20. Is k prime?
False
Suppose -1 + 8 = 3*b + 2*d, -2*b - d + 4 = 0. Let g(o) = 14*o. Is g(b) composite?
True
Suppose -5*a - 291 = 9. Let w = a - -166. Is w a composite number?
True
Suppose s + 2005 = 6*s. Let f = -274 + s. Is f a prime number?
True
Suppose j + j = 1246. Is j a prime number?
False
Let m be (-1)/2 + (-7)/(-2). Let l(i) = 1 + 3 + 3*i**2 - 4*i - i**3 - 8*i**2 + m. Is l(-6) a prime number?
True
Let m(f) be the first derivative of -23*f**4 - 2*f**3/3 - f**2/2 + 2. Let w be m(-1). Let l = w + 36. Is l a prime number?
True
Let u(t) = -t**3 + 14*t**2 + 4*t - 1. Is u(6) composite?
False
Is (-1 - -6)/(2/58) composite?
True
Let t = -14 + 21. Is t/21 + (-124)/(-6) a composite number?
True
Is 2*((-530)/4)/(-1) + -2 a composite number?
False
Let x be 461/(-4) - (-3)/12. Suppose 0 = 2*j + 3*j - 850. Let g = x + j. Is g a composite number?
True
Let g be (-248)/4*(-122)/4. Suppose -u + 472 = -x, -5*x = -4*u - 0*x + g. Is u a composite number?
True
Let j be (-1 - 4/2) + -17. Let v = 35 - 90. Let w = j - v. Is w prime?
False
Let t be (-26)/(-6)*(-18 - -3). Let d = t - -402. Is d a composite number?
False
Suppose 4*r - 2*r - 92 = 0. Let c = r + -25. Is c a prime number?
False
Suppose -6 - 89 = -5*z. Is z a prime number?
True
Suppose -6*r = -r. Suppose r = 4*b + 4*a - 276, -316 = -4*b + 5*a - a. Is b a composite number?
True
Let p = 11 - 20. Let d = 13 + p. Let t = 83 - d. Is t composite?
False
Let x be -2 + 3/(3/(-160)). Let s = x + 96. Let c = 123 + s. Is c a composite number?
True
Suppose -4*n + 8*n - 316 = 0. Is n a prime number?
True
Let u(t) be the third derivative of t**5/30 - 11*t**4/24 + 7*t**3/6 - 7*t**2. Is u(-8) a composite number?
False
Is (-10832)/(-48) - (-2)/6 prime?
False
Let t = -47 - -361. Is t prime?
False
Suppose 2*y - 180 = -y. Let m = 307 + y. Is m a composite number?
False
Suppose 0 = -3*q - q - 4*z + 6760, -3*q + 5076 = z. Is q a composite number?
False
Let u(x) be the second derivative of -x - 11/3*x**3 - 5/2*x**2 + 0. Is u(-4) a prime number?
True
Is (-2)/19 - (-561132)/228 composite?
True
Suppose -9005 = -10*p + 5*p. Is p a prime number?
True
Let x(p) = 9*p**3 + 13*p**2 + 10*p + 7. Is x(11) composite?
False
Suppose 0 = -3*o + 1820 + 262. Is o composite?
True
Let u be (-51)/15 + (-2)/(-5). Let b be (3 + 33/(-9))*u. Suppose 4*z + 848 = 4*w, 2*w = -w + b*z + 635. Is w prime?
True
Let a be 335/(-4) - (-2)/(-8). Let m = 137 + a. Is m prime?
True
Let t be 3/1 - (-2 + 2). Suppose 2*q = t*q - 2127. Suppose 0 = -5*w + q - 812. Is w a prime number?
True
Suppose 3*n + 18 - 44 = -2*m, -2*m = -n - 18. Is m a prime number?
False
Suppose -m - 4*m + 2310 = 0. Suppose 50 = 2*h - m. Suppose -5*o - 71 = -h. Is o a prime number?
True
Let i(y) = 6*y**2 - 4*y - 15. Is i(8) a composite number?
False
Let x = 925 - 572. Is x a prime number?
True
Let n(b) = 11*b**2 + 6*b + 6. Is n(7) a prime number?
True
Let z = -959 - -4780. Let b = z - 2704. Is b prime?
True
Let w(u) = -u**3 + u**2 - u + 3. Let f be w(3). Is (f/(-4) + -1)*34 a prime number?
False
Let j(y) = 20*y - 3. Is j(2) a prime number?
True
Let v = -4 - 0. Let j = v - -6. Suppose -p + 2 = j*z - 12, 5*z - 35 = -2*p. Is z prime?
True
Suppose 0 = -7*y + 3*y + q + 20, 0 = -3*y + 4*q + 15. Let l = -58 + 52. Is (-13)/(-1)*(y - l) a prime number?
False
Let n(j) = j**2 - 4. Let c be n(0). Let l = 8 + c. Suppose -2*o = -4*w + 142 - 34, -60 = -2*w + l*o. Is w prime?
False
Let g(l) = 3*l - 11. Let d be g(-8). Let m be d - (-1 + 2)*-2. Let a = -22 - m. Is a a composite number?
False
Let b(u) = -u**3 + 6*u**2 + 2*u - 9. Suppose 5*a = -2*t - 0*t + 24, 3*t + 39 = 5*a. Let k be b(a). Suppose -g = k*g - 84. Is g a prime number?
False
Let v = 61 + -32. Let r = 124 - v. Is r composite?
True
Let o = 2065 + -948. Is o composite?
False
Is 28425/(-30)*(-4)/10 a composite number?
False
Let z = -3 + 5. Suppose 2*n - 248 = -z*n. Suppose n - 297 = -5*i. Is i a composite number?
False
Let g = -436 - -653. Is g composite?
True
Suppose 0 = -3*m + 11 + 1, 3*m - 2176 = -4*t. Is t a composite number?
False
Suppose 0*o + 873 = 3*o. Is o a composite number?
True
Suppose 246 = 5*z - 4*k, -2*k - 36 = -3*z + 110. Let j = z + -32. Let x = 21 + j. Is x prime?
False
Let r(v) = 35*v**2 - 1. Is r(-1) a prime number?
False
Let q(x) = x**2 + 3*x + 5. Is q(-12) prime?
True
Let l(r) = -6*r**3 + 2*r**2 + 5*r + 1. Is l(-4) prime?
True
Let u(g) = -g**3 + 10*g**2 - 11*g - 7. Is u(8) composite?
True
Let v(c) = -6*c - 3. Let d be v(-4). Let a = 40 - d. Is a a composite number?
False
Suppose 4*i - 8*i = -4852. Is i a prime number?
True
Suppose 3*c = 2*c + 7. Let j(o) = o**2 - 2*o + 2. Is j(c) prime?
True
Let n(g) = -g**3 - 10*g**2 - 10*g - 5. Let u be n(-9). Suppose -5 = 3*r - u*r. Suppose 0 = -5*m - r + 40. Is m a prime number?
True
Suppose -w - 4*f = 15 + 5, 5*f = -w - 25. Suppose -5*l + 7 = -q, w = -3*l + 4*l + 3*q - 11. Suppose c - 76 = -5*s, -l*s + 0*s + 163 = 3*c. Is c prime?
False
Is 3961 + ((-9)/((-45)/(-10)) - -2) prime?
False
Suppose -910 = -5*t - 300. Is t composite?
True
Let l = -298 + 446. Suppose -3*d = d - l. Is d composite?
False
Suppose 5*t - 1089 = 686. Suppose -i = 4*c - t, 2*c + 0*i - 3*i - 181 = 0. Is c composite?
False
Let r(k) = k + 9. Let a be r(-4). Let u(v) = v + 0 - 6*v - a. Is u(-4) composite?
True
Suppose 0 = i - 2 + 1. Let d = 10 + -4. Is 26*(9/d - i) composite?
False
Let p = -866 - -76. Is 3*(p/(-3))/5 composite?
True
Let d = -67 - -101. Is d prime?
False
Let g be 12/6*3/2. Let i be (1 - g) + -3 + 4. Is i*(-138 - (2 - 1)) a prime number?
True
Let f(d) = -d**3 + 7*d**2 - 3*d + 6. Let i be f(6). Suppose 5*v + 5*q = 45, -2*v + 0 = 4*q - i. Suppose s = -3 + v. Is s a prime number?
True
Let a(g) = 289*g - 1. Is a(6) prime?
True
Suppose -2*a = 3*a - 175. Suppose -6*m = -3*m - 309. Suppose -2*o - a = -m. Is o composite?
True
Suppose -l - 4*l - 10 = 0, -4*l - 2639 = -3*q. Is q a prime number?
True
Suppose -6*y + 2*y - 2*t = -1658, -3*y - 5*t + 1254 = 0. Is y a composite number?
True
Let h(u) = -u**2 - 9*u + 1. Let s(f) = -1. Let y(d) = -h(d) - 4*s(d). Let m be y(-9). Suppose 0 = -m*g + 4*t + 41, 3 = -3*t - 12. Is g a composite number?
False
Is ((-358)/(-8))/(5/20) composite?
False
Let a = 109 + -58. Is a composite?
True
Let m(i) = -i**3 - i**2 + 7*i - 6. Let u be m(-6). Let d = u + 31. Suppose -4*q + 0*n + 3*n + d = 0, -2*n = 10. Is q a prime number?
True
Suppose f + f + 6 = 0. Let u = f + 6. Let z = u - -1. Is z a composite number?
True
Suppose -26*n + 8630 = -21*n. Is n a prime number?
False
Is 2*(98/42)/((-2)/(-669)) composite?
True
Let o(y) = y - 7. Let z be o(0). Let j(r) = r**3 + 10*r**2 + r + 9. Is j(z) prime?
True
Let j be ((-7)/(-3))/(2/6). Suppose 0 = 3*s - 2*g - 55, -4*g - 25 - 64 = -5*s. Let y = s - j. Is y composite?
True
Suppose -2*a - 17 = n, -2*n = -5*a - 0*a - 20. Is 3/a + (-201)/(-6) a composite number?
True
Suppose -3*h - 3*a + 272 = -4*a, 0 = 3*h - 4*a - 287. Is h composite?
False
Let b(x) = 2*x. Let z be b(9). Let n be 7 - (0 - 1)*2. Let s = z - n. Is s composite?
True
Suppose 4*b - v = 0, 2*v = 5*b - 10*b - 13. Is 3 + -2 + 353 + b prime?
True
Let s(h) = 9*h**2 + 15*h + 3. Let t be s(-12). Suppose n = 4*n - t. Is n a composite number?
False
Let o = 5 + -5. Suppose 5*w - 3*h = 15, o = 2*w - 2*h - 0*h - 6. Suppose w*s + x = 172, s - 50 = -0*x - 4*x. Is s composite?
True
Let b be (-2)/8 - 517/(-4). Suppose -3*j + 12 = j + 4*u, j - 4*u - 8 = 0. Suppose 0 = j*q + 37 - b. Is q a composite number?
False
Let i = 35 + 2. Is i a prime number?
True
Suppose b - 3*b - 22 = 0. Let l(m) = -m**2 - 11*m + 15. Is l(b) prime?
False
Let s(a) be the second derivative of -1/2*a**2 + a + 3/4*a**4 + 0 + 0*a**3. Is s(-2) composite?
True
Suppose 3*g - 7*f = -2*f + 1941, 5*f - 647 = -g. Is g a prime number?
True
Let i(x) be the second derivative of x**5/10 - 2*x**4/3 + x**3/2 + x**2/2 - 3*x. Is i(6) a composite number?
False
Let x be ((-4)/2 - 2)/2. Is 63 - x*(4 + -3) a composite number?
True
Let k(w) = 2*w**2 - 4*w + 5. Let g(u) = -3*u**2 + 4*u - 6. Let a(v) =