-163. Is l a prime number?
False
Let t(o) = -34*o - 6. Let f be t(-5). Suppose -3*v - h + 15 = 2*h, -3*v - 13 = -4*h. Is f*v + -4 + 3 prime?
True
Let q(w) = -w**3 - w**2 - 2*w - 56. Let b(y) = -y**2 - y. Let v(k) = 2*b(k) - q(k). Let j be v(0). Suppose j = i + 3*i. Is i a prime number?
False
Let f(i) = -97*i - 16. Let t be (9/(-2))/((-2)/(-4)). Let z(w) = 24*w + 4. Let d(m) = t*z(m) - 2*f(m). Is d(-3) a prime number?
False
Let w(j) = j**3 - 8*j**2 + 5*j - 3. Let s be w(8). Let h = s - -40. Is h composite?
True
Suppose -5*l - 3*g + 1976 = 0, 2*l + 284 = -3*g + 1069. Is l prime?
True
Let n = -903 - -1384. Is n a prime number?
False
Let u(q) be the second derivative of 3*q**3 - 3*q**2/2 - 3*q. Let s be 4 + (-1 + 2)/1. Is u(s) a composite number?
True
Suppose 2*t + 11 = -3*f, 3*t - 3*f = -f + 16. Suppose -t*n = -1276 + 202. Is n a prime number?
False
Let q(d) = 50*d - 1. Is q(3) composite?
False
Let c(x) = -x**3 - 4*x**2 - 3*x + 4. Let y be c(-3). Let j be ((-2)/y)/(4/(-264)). Suppose -3*m = -0*m - j. Is m prime?
True
Let p(i) = i**3 + 2*i**2 - 3*i + 3. Let g be p(-3). Suppose -4 = 2*c + 2*j - g*j, -c + 4*j = 16. Suppose c = -t - 0*t + 10. Is t a prime number?
False
Suppose -5121 = 11*m - 17386. Is m prime?
False
Let r(x) = 10*x**2 + 9*x + 11. Let a be r(8). Let d = -334 + a. Is d prime?
True
Let t = -366 + 577. Is t a prime number?
True
Let d = -5 + 9. Suppose -d*g + 464 = -3*o, -3*g + 111 = 5*o - 208. Is g composite?
False
Let t(v) = -4*v**3 - 5*v - 11*v**2 + 5*v**3 - 17 + 0*v**2. Is t(12) a prime number?
True
Let u(d) = 6*d**2 - 11*d + 4. Let p be u(4). Suppose 0 = 3*y - p - 49. Is y composite?
True
Let a(d) be the first derivative of d**3 + 3*d**2 - 5*d + 6. Is a(-6) prime?
True
Let w(c) = -c**2 - 13*c + 2. Let g be w(-13). Is (-1 - (g - 1)) + 55 a composite number?
False
Suppose -4*y + 4*v = -6776, 3*y + 3380 = 5*y - 4*v. Suppose -5*x + y = 4*r - 263, -1949 = -5*x - r. Is x a composite number?
False
Let q be (-253)/(-5) + 24/(-40). Let j = q + 137. Is j a composite number?
True
Let t = 8200 + -5433. Is t prime?
True
Is (7 - (-6)/(-2))/(12/3054) prime?
False
Let i(z) = 20*z**2 - 6*z + 7. Let b(o) = 19*o**2 - 5*o + 6. Let u(g) = 7*b(g) - 6*i(g). Is u(1) a composite number?
True
Let c(a) = 4*a + 9. Is c(19) a prime number?
False
Let f = 1948 - 1367. Is f a prime number?
False
Let g = 1264 + -5. Is g a prime number?
True
Suppose 2*a - 3*a = 4, 5*d + 4*a = 149. Suppose 3*c - d = -0*c. Is (c/4)/((-3)/(-36)) a prime number?
False
Let y be (7/2)/((-6)/12). Let w(u) = 2*u**2 + 5*u - 5. Is w(y) a composite number?
True
Let f = 429 + -264. Suppose -r + 2*r + 86 = 0. Let p = f + r. Is p composite?
False
Is 0 - -533*(1 - 0) a prime number?
False
Let g(c) = 904*c**3 - 2*c**2 - c. Is g(1) a prime number?
False
Suppose f - 6*m + 24 = -m, 0 = -4*f - 4*m - 24. Let a be (-2)/f + (-662)/(-18). Let g = a - 16. Is g composite?
True
Suppose s = q - 253, 0 = -4*s + s - 6. Is q a prime number?
True
Let b(t) = -t**2 + 7*t - 5. Suppose y - 2*y - 3 = 0. Let r(q) = -q**3 - 2*q**2 + 2*q + 1. Let h be r(y). Is b(h) a prime number?
True
Suppose -5*o + 175 = 500. Let x = o - -148. Is x prime?
True
Let x(k) = -k**3 + 7*k**2 - 6*k + 8. Let a be x(6). Let c = 73 - -33. Is (c/a)/((-3)/(-12)) composite?
False
Suppose 1099 = -0*s + s. Is s composite?
True
Suppose 3*o + 11 = 32. Let f(z) = z**2 - 6*z + 1. Let l be f(o). Suppose 37 = 5*c - 2*v, 9 = 3*c + 4*v - l. Is c composite?
False
Suppose -w = -4*y - 153, -4*w = -0*w + y - 629. Is w a composite number?
False
Is (-5)/(-10)*-2*-2861 a composite number?
False
Let y be 4*2*1/4. Suppose 0 = -2*o - 5*m + 4, -5*o + y*m - 5*m = 9. Is o/6*-14 + 0 prime?
True
Let k be (-8)/36 + (-92)/(-9). Suppose -6*j = -j + k. Is -30*-1*j/(-4) prime?
False
Suppose -3*l + 6*l + w = 49, 4 = w. Suppose -l = -d - 4. Is d composite?
False
Let o be (-26)/2*(-6 + 1). Let x = o + 46. Is x a prime number?
False
Let u = 47 + 80. Is u prime?
True
Let t(i) = -5*i**3 - 2*i**2 + 3*i + 1. Is t(-3) prime?
True
Suppose -2 = -2*l - 4*k, -43 = -0*l + 5*l - 2*k. Let a(f) = -f - 1. Let i(y) = 7*y + 6. Let v(q) = -4*a(q) - i(q). Is v(l) a prime number?
True
Let f(x) = -2 - 1 + 4*x**2 + 6*x - 3*x**2. Let i be f(-7). Is (-40)/(-6) - i/(-12) a prime number?
True
Let j be (-2)/(-2)*(-3 - 0). Is (-406)/6*9/j a prime number?
False
Suppose h = -3*h - 28. Is (-2)/h - (-551)/7 a prime number?
True
Let a be 6 - (2 - 3 - -2). Suppose 4*k - a*k = -83. Is k prime?
True
Let y = -9 + -1. Let u = 33 + y. Is u composite?
False
Let p(f) = 2*f**3 - 4*f**2 + 2*f + 7. Is p(5) a composite number?
False
Let q(z) = -z**3 - 6*z**2 - 6*z + 7. Is q(-10) prime?
True
Let m(c) = -3 - 28*c + 2 - 53*c - 9. Is m(-7) composite?
False
Let t(l) be the third derivative of -11*l**6/120 + l**5/60 + l**4/6 - l**3/6 + 7*l**2. Is t(-3) a composite number?
False
Let m(z) = 303*z - 2. Let x be m(-4). Is x/(-6) + 32/(-24) a composite number?
True
Suppose 0 = -4*b + 5*c + 25, 4*b + 4*c - 7*c = 23. Suppose -b*a = 2 - 117. Is a prime?
True
Let d(q) = q + 5. Let u be d(-3). Suppose -y = -5*h + 211, -50 = -u*h + 4*y + 20. Is h a composite number?
False
Suppose -3*s = -0*s. Suppose s = 2*b + 3*b - 215. Suppose 4*p = 13 + b. Is p a prime number?
False
Let g be 0 + (-40)/6*-3. Suppose -6*y + y = -g. Suppose 2*q - y*p - 51 = 1, 0 = -4*q + 3*p + 104. Is q composite?
True
Suppose 24 = 4*t + 4*r, 2*t + 5*r - 28 + 4 = 0. Let h(w) = 63*w - 5. Is h(t) a prime number?
False
Let q(d) = d**3 + 4*d**2 + 4*d + 3. Let j be q(-3). Let p(m) = 36*m + m**2 + 106 - 19*m - 16*m. Is p(j) a prime number?
False
Let w(k) = 93*k. Let a be w(1). Suppose 0 = -0*l + 3*l, -y - 4*l + a = 0. Is y a composite number?
True
Let c = -402 - -572. Let i be (0 + -5)/(((-2)/69)/2). Suppose 3*y = 4*z - 104 - c, 5*z - 5*y - i = 0. Is z prime?
True
Let k(u) = 2*u**3 - 2*u**2 - u + 5. Let o be k(4). Suppose -o = -3*g + 242. Is g prime?
True
Suppose -4*w - 2*n + 512 = 0, 3*w - 2*n = 102 + 275. Is w composite?
False
Suppose -3*j + 2395 = 2*j. Is j a composite number?
False
Let v = 254 + -171. Let q = v + 1. Suppose -h + 97 = -2*b, -2*h + b + q + 95 = 0. Is h prime?
False
Suppose -4*x - 485 = -9*x. Let c = 46 + x. Is c a composite number?
True
Is (-2)/((-4884)/4876 + 1) prime?
False
Suppose -327 = -d - 4*r, -5*d = -0*r + 2*r - 1617. Is d a composite number?
True
Let o(n) = n**3 + 9*n**2 - 9*n + 12. Let g be o(-10). Suppose 5*r + 50 = g*z, -35 - 29 = -4*z + r. Is z a composite number?
True
Let w(j) = j**3 + 9*j**2 + 5*j - 10. Let a be w(-8). Let d be 3/12*2*a. Is d*(-1 + 4) + -2 a composite number?
False
Suppose 0 = 3*c - 78 - 933. Is c a prime number?
True
Let c be (-7 - -1)/(1 - 0). Is (557/3)/((-2)/c) a composite number?
False
Let a be (-6 - -9)/(0 + 1). Suppose -2*t - 3*z + 65 = 0, a*z = 2*t - 2*z - 89. Is t prime?
True
Let c(r) = r**2 + 2*r - 3. Let j be c(-4). Let l(i) = -i**2 + 5*i + 4. Let v be l(-4). Let h = j - v. Is h a prime number?
True
Let v(t) = -t**3 + t**2 + 2*t + 2101. Is v(0) a composite number?
True
Suppose 1 + 7 = r - h, 0 = -4*r + 2*h + 22. Suppose r - 18 = -3*m. Suppose -m*n + 32 = -33. Is n prime?
True
Is (214 - -12)*1/2 prime?
True
Is 0 - 1/1 - -128 a composite number?
False
Let y(n) = n**3 - 2*n**2 - 4*n - 3. Let t = 5 - 8. Let l(z) = -z**3 - 3*z**2 - z + 1. Let d be l(t). Is y(d) composite?
False
Let d(p) = -p**3 - 6*p**2 + p - 9. Is d(-10) a composite number?
True
Let g = 2 - 2. Let f = 5 + g. Suppose 4*d - f*d = 5*u - 16, 3*d = -5*u + 58. Is d a prime number?
False
Let k(x) = 3 + 9*x**3 - 5*x**3 - 2*x - x - x**2. Is k(2) prime?
False
Let n be 10/45 - 34/(-9). Suppose -2*s - t + 5 = 0, -3*t = n + 5. Suppose i - 33 - 236 = -5*b, 0 = -s*b + i + 208. Is b prime?
True
Let q(n) = 16*n**2 + 3*n. Is q(5) composite?
True
Let y(m) be the first derivative of m**2/2 + 89*m - 4. Suppose -c = g - 0*c, -3*c = -2*g. Is y(g) prime?
True
Let s be (-6)/4 + (-15)/(-2). Is 3 + 772 - (-2 + s) composite?
True
Let o(w) = -w**3 - 3*w**2 + 8*w. Let r be o(-6). Let d = r + -27. Is (d/4)/(21/56) a prime number?
False
Suppose -6332 = -4*i + i - c, 3*i - 4*c = 6322. Let n = 3063 - i. Is n composite?
False
Suppose 10 = 2*v - 0*v. Suppose -k + v*k = 16. Suppose 34 + 22 = k*f. Is f a prime number?
False
Let k be (1 + -4 + 2)*-19. Suppose -k = -s - 0*s. Is s a prime numbe