(-2)). Suppose -108 = 3*v - 354. Let z = v + b. Is z composite?
True
Let z(u) = u**3 - 5*u**2 - 6*u + 3. Let k be z(6). Suppose -k*p - 7 = -55. Let a = 15 + p. Is a composite?
False
Suppose 2*u = -u - 3*k + 3279, -2*u = -4*k - 2210. Is u prime?
True
Suppose 0 = -2*s + 2*c + 6, 0*s - 5*c - 1 = 2*s. Suppose -p + 3*q - 217 = -2*p, -2*p + s*q = -418. Is p prime?
True
Let k = 2 - 0. Suppose -4*z + 3*m + 1031 = 0, 12 = 2*m + k*m. Suppose 0 = 3*w + w - z. Is w composite?
True
Let a = -3 - -7. Suppose 5*u - 435 = 5*s, a*s - 8*s = -3*u + 259. Is u a composite number?
False
Suppose s + 4*d = 17, -10 = -3*d + d. Let o be (136/12)/(4/(-6)). Let l = s - o. Is l prime?
False
Let q(h) = 9*h**2 - 7*h + 5. Let t(b) = -b**3 + b**2 + 1. Let z(w) = -q(w) - t(w). Let p be z(4). Let n = p - -235. Is n prime?
False
Let l(w) = -1 - 111*w - 130*w + 3 + 4. Is l(-5) composite?
True
Let d(g) = g + 2. Let k be d(2). Suppose -3*o - k*p = 445 - 1672, -2062 = -5*o - p. Is o a prime number?
False
Suppose -5*f - 95 = -880. Is f a prime number?
True
Let v be (-3)/((-9)/21)*5. Suppose 0 = -a - 3*p + 49 + v, 5*a = -2*p + 407. Suppose b + 3*h - 22 = 0, 3*h = -4*b - 29 + a. Is b prime?
False
Suppose 3*n + 3292 - 1117 = 0. Let m be 6*4/132 - (-167)/(-11). Is n/m + (-2)/(-3) a prime number?
False
Let o = -86 - -157. Is o a prime number?
True
Suppose -2*r - 192 = -4*r. Suppose 5*p - r = 2*w - 0*w, 8 = -4*p. Is 1/2*-2*w prime?
True
Let g = -33 + 104. Is g composite?
False
Suppose y + y - 1630 = 0. Is y prime?
False
Let d be 3 + 2/(-1 + 3). Suppose -d*y = -3*y - 79. Is y a composite number?
False
Suppose 4*u - 27 = u. Is u a composite number?
True
Suppose 0 = -4*x + 48 + 268. Is x a prime number?
True
Let d = -7 + -13. Let f = 219 + d. Is f a prime number?
True
Is 7542/45*10/4 a prime number?
True
Let v(o) be the first derivative of -3*o**3 - o**2 - 3*o - 3. Let r be v(-3). Is r/(-4) - 4/8 a composite number?
False
Let h = 5 + 79. Suppose 4*d + 8 - h = 0. Suppose 3*b - d = 2*b. Is b a prime number?
True
Let v(q) = 139*q**2. Let l be v(-1). Let y be 3/(23/5 + -4). Suppose -y*g + f - l = -415, 0 = -5*f - 5. Is g a prime number?
False
Let i(f) = 21*f**2 - 4*f - 18. Is i(11) prime?
False
Let g(o) = 5*o**2 - 18*o - 7. Let f(y) = 2*y**2 - 9*y - 4. Let a(i) = 7*f(i) - 3*g(i). Let k be a(-8). Is -2*-131*k/2 composite?
False
Suppose 0*w = -2*w + 130. Is w a composite number?
True
Suppose 2*p + 2*p = -2*z + 1092, 0 = -p - 5*z + 282. Suppose -5*j + p = -173. Is j a composite number?
False
Let h be 6/12 + 50/4. Is 0 + h + (-8 - -8) prime?
True
Let q(v) = -v**2 - v + 123. Is q(0) a prime number?
False
Let u(t) = -2*t**3 + 4*t**2 - t + 4. Let v(m) = m**3 + m**2 + m. Let f(p) = u(p) + 3*v(p). Let o be f(-7). Is (-844)/o + (-6)/(-10) a prime number?
False
Let g(j) = 3*j - 4. Let h be g(3). Suppose -s - 10 = -4*v + h, 0 = -4*v + 20. Suppose -5*c + 130 = 5*p, -s*p + 3*c = 4*c - 150. Is p prime?
True
Suppose t = 2*w - 0*t - 6, 21 = 5*w - t. Suppose 0 = 2*i + 3*i - 20. Suppose -11 = i*n - w*n. Is n prime?
True
Suppose 0 = -i + 2*i - 2. Suppose 4*a - 4*v = 96, -5*v + 18 + 9 = i*a. Is a prime?
False
Suppose 3*y - 4692 = -3*k, 3*y - 5562 + 888 = 3*k. Is y a prime number?
False
Suppose -715 = 3*i - 14*i. Is i composite?
True
Let g = -11 - -6. Let l(o) be the first derivative of -43*o**2/2 - 6*o + 3. Is l(g) composite?
True
Let h(c) be the first derivative of 5*c**2/2 - 3*c - 2. Is h(8) a prime number?
True
Suppose -7*z + 2*z = -30. Suppose r - 2*r = m - 21, z = -3*m. Is r prime?
True
Suppose -6*x + 476 = -790. Is x prime?
True
Suppose -5*p + 515 = -0*p. Let d = 24 + p. Is d prime?
True
Let c be 378 + (-1)/(3/(-9)). Suppose 3*z = -0*z + c. Is z a prime number?
True
Is (220 - 41)*(-2)/((-4)/2) a composite number?
False
Let v = -54 - -100. Suppose -12 = -x + v. Suppose 3*q + 4*u - 186 = q, -5*u - x = -q. Is q composite?
False
Let o(h) = -142*h + 1. Is o(-7) a composite number?
True
Is (-22814)/(-4) - (81/(-18) - -5) composite?
True
Let t(m) = -6*m - 1. Let p(l) = l**2 - 8*l + 1. Let w be p(6). Is t(w) composite?
True
Let b(x) be the second derivative of -x**3/6 + x**2/2 + x. Let q be b(1). Suppose q = -4*s - 8, -5*g + 0*s = 3*s - 89. Is g composite?
False
Let j(x) be the third derivative of x**5/20 - x**4/24 - x**2. Let g be j(1). Suppose -5*s = k - 3*k + 9, g*k - 10 = 4*s. Is k prime?
True
Suppose -m = -0*m - 2. Suppose -m*z - 100 = -3*z - 2*j, -3*z + 292 = 2*j. Suppose -4*c - z + 1460 = 0. Is c prime?
False
Let f = -87 - -683. Let u be ((-6)/(-10))/((-1)/(-5)). Suppose -s + f = u*s. Is s a composite number?
False
Let j = 49 + -15. Is j composite?
True
Let z = 300 + -133. Is z prime?
True
Let u = 189 - 31. Is u prime?
False
Let s be 2*(0/(-1) + -2). Let x be ((-6)/s - 2)*0. Suppose 2*a + a - 21 = x. Is a composite?
False
Let i(r) = 3*r - 4. Let x = 5 + -9. Let p(w) = w**2 + 2*w - 3. Let l be p(x). Is i(l) prime?
True
Is 21892/14 - -1 - (-16)/56 a composite number?
True
Let k be 2 + -1 + (-368)/(-1). Suppose 0 = -2*s - s + y + k, -4*s - y = -499. Suppose 0 = p + 4*r - 97, -2*p + 15 = -3*r - s. Is p composite?
True
Let x = 6267 - -704. Is x composite?
False
Suppose 3*o + 13 = 5*k, 0 = -5*k + 2*k + 3*o + 9. Let u be (-4)/(-10) - (-23)/5. Suppose -k*d = u*h - 16, 0*h + 19 = 3*d + 5*h. Is d composite?
False
Let o be 50/6 - (-6)/9. Suppose d - 86 = o. Is d a prime number?
False
Let l(k) = k**2 - 11*k + 13. Let i be (-10)/(-3)*(5 + -2). Let h be l(i). Is (h/6)/((-2)/(-44)) composite?
False
Suppose -s - 4*s = -15. Suppose -s*w + 2*w - 4 = 0. Is (-33)/5*20/w a prime number?
False
Let g(r) = -r**2 + 5*r + 2. Let a be g(5). Suppose 4*h - 232 = -a*o, 4*h = 4*o + 227 - 7. Is h prime?
False
Suppose -57 + 517 = 4*c. Is c prime?
False
Let q(n) be the first derivative of n**4/8 + 2*n**3/3 - n**2 - 3. Let u(g) be the second derivative of q(g). Is u(3) a composite number?
False
Let v be 36/(-21) - 6/21. Is 6/v + (13 - 0) a composite number?
True
Let o = -6 + 8. Let f = 3 - o. Suppose -3*h + 5*j + 25 = 0, 3*j + 6 = h - f. Is h prime?
False
Let w(i) = -i**3 - 9*i**2 + 9*i - 9. Let y be w(-9). Let a be ((-4)/6)/((-6)/y). Let u = 16 + a. Is u prime?
False
Let t be ((-6)/5)/((-2)/(-10)). Let l(z) be the first derivative of -21*z**2/2 + z - 3. Is l(t) prime?
True
Let v be (21/9)/((-2)/72). Let n = v - -158. Is n a composite number?
True
Let w(j) = j**2 + 6*j + 5. Let x be w(-5). Suppose x*q - 2*q + 8 = 0. Suppose -235 - 73 = -q*m. Is m a prime number?
False
Let y(j) = j. Let c(h) = h**3 - 9*h**2 + h + 1. Let g(o) = c(o) + 3*y(o). Let t(v) = -2*v + 9. Let b be t(0). Is g(b) composite?
False
Let s = 3 + 1. Suppose s*i - i = 2280. Suppose 462 = 3*l - 0*l + 5*k, 0 = 5*l + 5*k - i. Is l prime?
True
Let k be ((-5)/10)/(1/20). Let l be (52/(-10))/(4/k). Suppose l = 2*c - c. Is c a composite number?
False
Suppose -5*x = -0*x - 35. Let y(n) = n**2 - 10*n + 7. Let l be y(x). Let w = l - -21. Is w prime?
True
Let o(j) = 195*j + 4. Is o(9) prime?
True
Suppose 4*n = -n + 4*o + 7, -n + 7 = 2*o. Suppose -n*j + j + 166 = 0. Is j composite?
False
Let r = -5 + 6. Let c be (23/2)/(4/8). Is (c/2)/(r/2) composite?
False
Let l(x) = -x**3 - 2*x**2 + 3*x - 1. Suppose y = -0*y + 3, 0 = -5*d + y + 22. Suppose -5*a - 40 = d*u, -4*a - 2*u + 0*u - 26 = 0. Is l(a) a prime number?
True
Let o be (-2)/2*(2 + 7). Let k = -5 - o. Suppose 4*q = 3*d + 214, d + 116 = 2*q + k*d. Is q a composite number?
True
Suppose u - 243 = 2*p + 42, 4*u = 4*p + 568. Let m be (-29)/2 - 2/4. Is (-5)/(m/6) - p a prime number?
False
Suppose m + 959 = 5*g, -4*g + 887 - 107 = -4*m. Is g a composite number?
False
Suppose 6*j - 3811 - 1847 = 0. Is j a prime number?
False
Let j(p) = 6*p + 1. Let s be j(9). Suppose 2*y - s - 367 = 0. Is y prime?
True
Suppose -3*w - 30 = 2*w. Let g(a) = -a**3 - 5*a**2 - 3*a - 7. Is g(w) a prime number?
True
Suppose 0 = -5*x + 5*o + 110, -3*o = -2*x + 6*x - 60. Let f = x - 13. Suppose 5*v = -4*u + 76, -f*v = u - 2*v - 19. Is u composite?
False
Let f be 4/(-14) - (-2589)/21. Suppose x - f - 16 = 0. Is x prime?
True
Is -1 - 2 - (-1)/((-6)/(-9960)) a prime number?
True
Suppose 4*t - 3*z = 2*t - 9, 5*z - 19 = 2*t. Suppose 1 = -2*w + t*k - 4, 3*w = 2*k. Is w composite?
False
Suppose 79 + 122 = 3*n. Is n a prime number?
True
Let k(a) = -a + 11. Let g be k(9). Is g/(-6