 180 + 83. Is z a composite number?
False
Let u = 3156 + -1879. Is u prime?
True
Let k(v) = 10*v**2 - v - 1. Let n(p) be the second derivative of -p**5/20 + 11*p**4/12 + p**2 - 2*p. Let o be n(11). Is k(o) a prime number?
True
Is (-3)/6 - 766/(-4) a composite number?
False
Suppose a = -4*a + 485. Is a composite?
False
Suppose 3*o - 95 = -5*b + 5, 0 = -2*b - 2*o + 44. Let v = b - -2. Is v a composite number?
False
Suppose -2*a - y + 943 = 0, -5*a = y - 795 - 1561. Is a a prime number?
False
Suppose 2*c - 49 = 3*w + 7*c, -5*w + 5*c = 135. Let g = 60 - w. Let i = -46 + g. Is i prime?
True
Let v(b) = b**2 - b + 31. Suppose 2*p - 5*x = p - 10, 0 = -4*x + 8. Let i be v(p). Suppose 3*g - i = 227. Is g composite?
True
Let u = 2092 + 630. Suppose -5*n = -n + 2*z - 2182, 0 = 5*n - 3*z - u. Is n prime?
False
Let j(x) be the first derivative of x**4/4 + 3*x**3 + 3*x**2/2 + 7*x + 1. Let m be j(-7). Suppose 3*h + h = m. Is h composite?
True
Let s(n) = -n**2 - 20*n + 22. Is s(-20) a prime number?
False
Let d = 29 + -145. Is d/(-6) - (-3)/(-9) a composite number?
False
Suppose 6 = 4*f - 6. Suppose 6*m - 9 = f*m. Suppose 0 = m*j + 74 - 275. Is j prime?
True
Suppose -2*z = 3*z - 250. Suppose -5*i - 375 = z. Let c = -32 - i. Is c composite?
False
Is 1/1 + 303 + 3 a composite number?
False
Let f be (-8342)/(-22) - 2/11. Suppose -2*m = m + 4*h - 239, 0 = -5*m + 3*h + f. Is m a prime number?
False
Let s = -4706 + 9967. Is s composite?
False
Suppose 5*s + 4*p - 9 = 0, 4*s = 3*s - 3*p + 4. Let v be (1 - s) + 18/(-2). Let t = 20 + v. Is t a prime number?
True
Suppose 3*m + 5*p = -19, m = -3*p - 9 - 4. Let j be 3*(0 + 4/6). Suppose 0 = -j*x - 4*k + 42, 3*k - 15 = -x - m*k. Is x a composite number?
True
Let h be (-7 + 2)*(-4)/10. Let f be 0 + 6/(-18) - (-26)/6. Suppose h*w = f*w - 28. Is w composite?
True
Let l = -11 + 6. Let w = 74 - l. Is w a prime number?
True
Let v(p) = 16*p - 11. Is v(10) a composite number?
False
Suppose w + 0*w = 133. Is w a prime number?
False
Suppose -n = 3*n. Suppose -10 + n = -5*k. Suppose -28 = -4*x + k*x. Is x a composite number?
True
Let f(n) = -3*n - 9. Is f(-4) a prime number?
True
Suppose -5*j = g - 13, -3*j - 1 = 3*g - 16. Suppose -g*c = 4*a + c - 1288, -a = 2*c - 324. Suppose 5*w - 345 - a = 0. Is w composite?
True
Let q be ((-2)/(-4))/(3/534). Suppose 0*v - v - 3*n = -q, 5*n = -3*v + 275. Is v a composite number?
True
Let y = 574 + -281. Is y composite?
False
Suppose 0 = 3*s - 590 - 157. Is s a composite number?
True
Suppose 4*c + 29 = 129. Let q be (-3)/(-1 - 2/4). Suppose 5 = -q*x + c. Is x a prime number?
False
Suppose -7313 = -5*b + 1892. Is b a prime number?
False
Let i be ((-11)/1)/(2 - 3). Suppose 0 = c + 4 + i. Let p = 29 + c. Is p a composite number?
True
Suppose 0*m - m = 36. Let p(c) = -c - 21. Let q be p(0). Let w = q - m. Is w prime?
False
Is 539/14 - (-1)/(-2) a prime number?
False
Let s = 2 + -4. Let m be 15*(s - 36/(-15)). Let j(r) = -r + 10. Is j(m) composite?
True
Suppose -6 = -2*s - 4. Is 115*s - 4/2 a composite number?
False
Let y = -688 + 1157. Let x = y - 218. Is x a composite number?
False
Suppose 0 = -k - 0*k + 9. Let v(s) = -s**3 + 9*s**2 + 6*s - 12. Let y be v(k). Suppose 2*u - 2*n = u + 14, -n - y = -4*u. Is u a composite number?
True
Suppose -5*g = -2*g - 354. Suppose 0 = 5*b - g - 77. Is b composite?
True
Let w = 2 - -1. Is 216/(1 + 2) - w a composite number?
True
Suppose 0 = 6*k - 0 - 30. Let a = k + 54. Is a a prime number?
True
Let t(v) = 30*v**3 + v**2. Suppose 2*a - 3 = -1. Is t(a) a prime number?
True
Let o = 6 + -6. Suppose 5*f - 586 - 326 = q, o = -5*f + 3*q + 916. Is (-10)/(-15) - f/(-6) a prime number?
True
Let f be 6/8 - (-65)/20. Suppose -f*r - 3*a + 79 = -0*a, 0 = -3*r + 3*a + 54. Is r prime?
True
Let l(t) = 5*t + 7*t + 5*t - 2*t. Is l(1) prime?
False
Let q be (2 - 1)/(1/1). Let y be 4*(0/(-2) + q). Suppose y*s + 5*c = 169 - 4, 0 = 3*s + 3*c - 120. Is s prime?
False
Let q = 238 + -119. Is q a prime number?
False
Suppose -v = 3*v - 12. Suppose -v*p = -2*p + 194. Is ((-15)/(-6) - 3)*p a composite number?
False
Let b(f) = 2*f - 1. Suppose 0 = -4*q + q + 9. Let w be b(q). Let t = 14 + w. Is t composite?
False
Suppose 4*q + 25 - 9 = 0. Let b be 192/30 - q/(-10). Is 280/b - 3/(-9) prime?
True
Let r(q) = -23*q**2 + 2*q - 4. Let l be r(3). Is l/(-20) - (-2)/(-8) prime?
False
Suppose 3*k - 12 = -0*k. Suppose 122 = k*z - 26. Suppose z = -4*g + 5*g + 2*q, -q = -g + 52. Is g composite?
False
Let y = 107 - 35. Suppose u - y = 347. Is u prime?
True
Let v be 2/(-6)*-4*3. Suppose 2*a - 3*a - v = 2*z, 5*z = -4*a - 4. Suppose -a*i + 75 + 9 = 0. Is i composite?
True
Suppose -4*l - 1994 = -6*l. Is l composite?
False
Let q(j) = -10*j - 5. Let n = 13 - 25. Let o = 8 + n. Is q(o) a prime number?
False
Let l(w) = 23*w**2 - 2*w + 3. Let k(g) = 47*g**2 - 3*g + 6. Let u(q) = -2*k(q) + 5*l(q). Is u(2) a prime number?
True
Suppose 0 = -54*q + 52*q + 1414. Is q a composite number?
True
Let g = -2 + -2. Let s = -4 - g. Suppose 69 = u - s*u. Is u composite?
True
Suppose -5*r + 1048 = 3*r. Is r a composite number?
False
Is 148 - (-12)/16*-4 a composite number?
True
Let k(z) = -z - 4. Let v(i) = -i**3 + 7*i**2 - 7*i - 1. Let a be v(6). Let p be k(a). Is 23 - (p - (-2 - -3)) a composite number?
True
Suppose -4*o = 5*n - 3 - 10, -2*o = 6. Suppose -2*t + n = -5. Suppose -c - t*q + 46 = 0, 4*c + 3*q + 53 = 152. Is c composite?
True
Suppose 3*u + 4*z = -16, u = -u + 5*z - 3. Let j(x) be the first derivative of -23*x**2/2 + 5*x + 2. Is j(u) prime?
True
Suppose 0 = 3*m + 5*k - 154, 4*m - 90 = -3*k + 119. Is m a prime number?
True
Suppose -4*a - 4 = -2*a. Let x be (a/5)/(2/(-100)). Is (-7)/(-4) + 5/x composite?
False
Let r(t) = -7*t - 11. Let j(d) = -d. Let v(q) = 4*j(q) + r(q). Is v(-8) a composite number?
True
Suppose -2*t + 4*y + 2 = 0, -4 = -2*t + 5*y - 0*y. Let x(f) = -42*f + 1. Is x(t) prime?
True
Let q be 1*2*(-10)/4. Let z(w) = w**3 + 5*w**2 - w - 5. Let l be z(q). Suppose m + 1 = 0, -5*s + m + 2*m + 258 = l. Is s a prime number?
False
Let c = -7 - -28. Let d = 32 - -4. Suppose d = 3*g - c. Is g a composite number?
False
Let j = 30 - 16. Is (-6)/21 - (-1586)/j a composite number?
False
Let v(d) = -d**3 + 10*d**2 - 8*d - 6. Let r be v(9). Suppose 29 - 140 = -r*k. Is k a composite number?
False
Let z(s) = -s**3 - 6*s + 3. Let t be z(-7). Let l = -203 + t. Is l prime?
False
Is (4/(-2) - -1)*-877 composite?
False
Let s be (0 + (0 - 1))*-2. Let m(f) = 3*f**2 - 3*f**2 - 12*f + 5 + s*f**2. Is m(8) a prime number?
True
Suppose 0 = 5*t + 2*c - 23, -t - 3*c = t - 7. Let w(m) = 18*m**2 - 6*m - 7. Is w(t) prime?
False
Let f = 36 + -17. Let g = f - -18. Is g composite?
False
Let u = 0 + 2. Suppose 3*j - 125 = u*m + 2*m, -3*m + 132 = 3*j. Is j a composite number?
False
Let k be 267/(-18) + (-3)/18. Let m be (-5)/(k/6) + -2. Suppose 0 = -m*u + u - 257. Is u a composite number?
False
Suppose -21 = -4*z - 5*v + 4*v, -5*z = 2*v - 30. Is 0 + (-3 - (-592)/z) a composite number?
True
Suppose -4*o = 6*g - 2*g - 3020, 0 = -3*o - 5*g + 2273. Is o composite?
False
Suppose -2 = d - 2*d. Suppose d*x - 69 = -x. Is x prime?
True
Suppose 4*l = -4, -2*t - 3*l = -t. Suppose 2*x = t*x - 257. Is x prime?
True
Suppose k = -2*k + 186. Let p(n) = 2*n**2 + 2*n. Let w be p(-2). Suppose -k = w*y - 6*y. Is y prime?
True
Let l be 34/6 - 6/9. Suppose 5*h + 5*u = 305, -l*u + 134 = 2*h + 24. Is h prime?
False
Let v(p) = p**3 - 8*p**2 + 7*p + 9. Let q be v(7). Let a(m) = m**2 - 7*m - 8. Let t be a(q). Is -2*7*t/(-4) composite?
True
Let m = 1695 + -994. Is m prime?
True
Suppose 0 = -3*d - d + 508. Is d prime?
True
Let m be ((-1)/(-2))/((-2)/16). Let t(a) = 14*a + 3. Let n(s) = -28*s - 6. Let b(o) = 4*n(o) + 7*t(o). Is b(m) a prime number?
True
Let d(y) = -3*y. Let v be d(2). Let n(t) = -2*t - 2. Is n(v) a composite number?
True
Suppose -200 = -3*a + a. Suppose 0*o - 5*o = -a. Let d = o + -10. Is d a composite number?
True
Suppose 0 = -2*n + 14 - 4. Suppose -n*g + 827 + 468 = 0. Is g composite?
True
Let n(f) = 15*f**2 - 2*f - 1. Let z(l) = -l**2 - 7*l + 10. Let x(t) = -t**3 + 4*t**2 - t - 4. Let y be x(4). Let v be z(y). Is n(v) composite?
True
Let p be (-22)/(-6) - 4/6. Let b(k) = k**3 - k**2 + 1. Is b(p) a prime number?
True
Is 479/3 + (-8)/12 composite?
True
Suppos