e 5*v - 428 = -3*y, -b*y + 562 = -2*y - 2*v. Is y a composite number?
True
Let h = -41 + 60. Is h a composite number?
False
Suppose 3*t - t + 4 = 0. Let g = 57 - t. Is g a composite number?
False
Is (-1*12 - 2)*-1 a prime number?
False
Suppose 5*f = 5*m + 13185, 5*f - 15401 + 2248 = -3*m. Is f prime?
True
Let p = -404 - -961. Is p prime?
True
Suppose 3*b - 3193 = 5*z, 2*b - 2120 = -0*b - z. Is b composite?
False
Suppose -120 = -3*i + 225. Is i a prime number?
False
Let q be (-3)/(-6) + (-5)/(-2). Suppose -2*s - l + 88 = q*s, -40 = -2*s + 2*l. Suppose 3 = -x - 2*x, -4*x = -p + s. Is p a composite number?
True
Let c(n) = -n - 6. Let y be c(-8). Suppose i = y*i. Suppose i = 3*a - 156 + 57. Is a a composite number?
True
Suppose 0*v - 4*v + 8 = 0. Suppose -203 = -3*k + v*k. Is k a composite number?
True
Is 3*10*1 - -3 composite?
True
Let f = -54 + -8. Let p = f - -174. Let l = 207 - p. Is l a prime number?
False
Let n = 16 + -13. Suppose 5*p - u + 2*u = 3, -5*u = -15. Suppose p = -g + n*g - 42. Is g a prime number?
False
Suppose b + 9 = 3*l, -2*b = -2*l - 0*b + 6. Suppose 4*d = 4*v - 924, -2*v + l*d - 5*d = -470. Is v composite?
False
Let x(b) = 2*b**2 - 7*b + 8. Is x(5) a composite number?
False
Let f = -1311 + 4802. Is f a prime number?
True
Let z(l) = l**3 - l**2 - 2*l + 24. Let p(w) = w + 1. Let t(q) = 2*p(q) + z(q). Is t(0) a composite number?
True
Let o(v) be the second derivative of 3*v**3/2 + 3*v**2 - 3*v. Let x be o(-6). Let j = x - -85. Is j prime?
True
Suppose 2*w - 4*w + 68 = 0. Is w a prime number?
False
Let a(j) = 5*j + 1. Let y be a(-1). Is (-2)/(-4)*(y + 30) a prime number?
True
Let z(d) = 12*d + 1. Suppose -14 + 2 = -3*l + 3*p, -4*l + 10 = 2*p. Is z(l) composite?
False
Suppose 5 = -m + 2*w, 0*w + 3*w = -2*m + 11. Suppose -3*p + 4*p + 46 = 0. Is (p - 0)*m/(-2) a prime number?
True
Let x(s) be the second derivative of s**4/3 + 2*s**3/3 - s**2 - s. Is x(3) a prime number?
False
Let n = -208 - -314. Is (0 + n)/((-6)/(-6)) prime?
False
Suppose -8066 = -5*l + 1169. Is l prime?
True
Let i = 56 + -2. Let j = 51 + i. Suppose 2*p = -p + j. Is p a composite number?
True
Suppose 0 = 2*h + 5*r - 2204, -5*h + 2*r + 1093 = -4*h. Is h a prime number?
True
Let x(u) = 262*u**2 - 1. Let a be x(-1). Let y = a + 6. Is y/5 - 4/10 prime?
True
Suppose -175 = b - 1034. Is b a prime number?
True
Suppose -3*p + 5*p = 5*c - 7, -3*p + 2*c + 6 = 0. Suppose -2*z = 5*q - 1, 3*z - p*q + 44 = 11. Let x(k) = 2*k**2 + 7*k - 2. Is x(z) prime?
True
Let r(m) be the second derivative of m**5/10 - m**3/6 - m**2 + m. Let b(i) be the first derivative of r(i). Is b(2) prime?
True
Suppose -1886 - 783 = -g. Is g a composite number?
True
Let n be ((-4)/5)/(14/(-35)). Suppose -i - v + 307 = 4*v, -i + n*v = -279. Is i prime?
False
Suppose -a + 25 = -166. Is a composite?
False
Let i = 23 - 5. Let z = i + -26. Let q = z - -27. Is q a prime number?
True
Let o = 30 - 20. Suppose -o*k = -13*k + 447. Is k a prime number?
True
Suppose 5*f - q - 28 = 0, -2*q + 2 = f - 8. Suppose 0 = -5*h - 2*g + f, -3*h + 15 = -g + 6*g. Is 3 + h + 65 - -3 a composite number?
False
Suppose -5*i + 215 = 2*x + x, 134 = 2*x + i. Is x a composite number?
True
Let f(v) = v**3 + 12*v**2 + 11*v - 7. Is f(-10) a prime number?
True
Let r = -8 + 59. Is r a composite number?
True
Suppose 3*w + 14 = -5*z, -3*w + 4*z - 7 = 2*z. Is (1/w)/((-1)/393) a composite number?
False
Is (368 - -3)*-1*-1 prime?
False
Suppose 6*r = r + 2795. Suppose -2*p - r = -5*q + 2*p, -p + 554 = 5*q. Is q a prime number?
False
Let b(k) = k**2 + 4*k - 1. Is b(-16) composite?
False
Suppose -3*v = 2*n - 343 - 64, -n = -2*v - 221. Is n a prime number?
True
Let a(n) = n**3 - 7*n**2 + 8*n + 1. Is a(10) composite?
True
Let d(s) = s**3 + 3*s**2 + s + 8. Let b be d(-6). Let c = -463 - b. Is (c/9)/((-2)/6) prime?
False
Let o(w) = -2*w**3 + 4*w**2 - 2*w + 3. Let t(g) = -3*g**3 + 4*g**2 - 2*g + 4. Let a(q) = -4*o(q) + 3*t(q). Let z(k) = -k + 1. Let p be z(6). Is a(p) composite?
True
Let h = -39 + 142. Is h prime?
True
Let b(u) = -1077*u + 5. Is b(-1) a composite number?
True
Let i = 1 + 0. Let d = -2 + i. Is (d/3)/((-2)/66) a composite number?
False
Suppose 3*v - 911 = -2*n, -842 = -4*v - n + 366. Is v a prime number?
False
Let y be (0 + 1)/((-5)/10). Is (-2 - 2 - y) + 165 a prime number?
True
Is 2395/25*(-10)/(-2) a prime number?
True
Suppose 3*r - 605 = 2*p, 4*p - 820 = -4*r - 0*p. Is r a composite number?
True
Let l(f) = -7*f**3 - 25*f**2 + 16*f + 9. Let g(n) = -11*n**3 - 38*n**2 + 24*n + 13. Let a(k) = 5*g(k) - 8*l(k). Is a(-8) prime?
False
Suppose -3*f = -75 - 318. Suppose 5*k + o = 598, 0 = -k - 4*o - 0*o + f. Is k a prime number?
False
Let a(k) = -k**3 + 7*k**2 - k + 9. Let i be a(7). Let h be (i + 0)/(4/(-10)). Let m = h - -70. Is m a composite number?
True
Let t = -227 + 354. Is t a composite number?
False
Let w(q) = 16*q**2 + 15. Is w(8) prime?
True
Is (-634)/(-5) - (-18)/90 composite?
False
Let s = 662 + -99. Is s a composite number?
False
Let y(t) = t**2 - 13*t + 4. Let p be y(13). Let o = p - 2. Is 155/o - 3/(-2) prime?
True
Suppose -q + 217 = 2*a - 32, 5*q = -5*a + 1265. Is q a composite number?
False
Let g be (-44)/(-12) - (-2)/(-3). Is (18/3)/g - -333 a composite number?
True
Let n(m) = -m**2 - 12*m - 5. Let c = 3 - 12. Is n(c) a prime number?
False
Let j(r) = 56*r**3 - r**2 + r. Suppose -2*h + 5 = 3. Let k be j(h). Suppose k = s + 5*m + 17, 3*s - 69 = -3*m. Is s a prime number?
True
Suppose 186 + 126 = 3*r. Suppose 2*m + r = 3*m. Suppose 0 = -3*i - a + 2*a + m, -3*i - 4*a + 109 = 0. Is i a composite number?
True
Suppose 297 = 3*f - 150. Is f a prime number?
True
Let x(h) = -2*h + 2. Let q be x(3). Suppose -1 = a - 7. Is 43/3 - q/a a composite number?
True
Suppose 3*i - 3709 = 4*p, i + p = -0*i + 1248. Is i composite?
True
Let q = 8 + -5. Is 3/(-3 - -6) + q prime?
False
Let y(l) = l**2 + 7*l + 5. Let j(o) = -6*o - 5. Let t(d) = 6*j(d) + 5*y(d). Let s = -13 + 9. Is t(s) composite?
False
Let x be (-52)/(-14) - (-16)/56. Suppose -6*p - 145 = -p + c, x*c - 80 = 2*p. Let f = p - -56. Is f prime?
False
Suppose -6*a = -623 - 139. Is a prime?
True
Let k(x) = 17*x**2 - x - 10. Is k(-3) composite?
True
Suppose b + 33 = -38. Let k = 138 + b. Is k composite?
False
Suppose -3*g = 5*p - 264, 4*g = 2*g - 4. Suppose 5*w = -8*x + 3*x + 45, 4*w = 5*x + p. Is w composite?
False
Suppose -7*h + 16204 = 1833. Is h prime?
True
Suppose -5*j - 3*n + 0*n + 38 = 0, -5*n - 20 = 0. Suppose -11 = -3*z + j. Is z prime?
True
Let p(d) be the first derivative of d**5/24 + d**4/24 - 4*d**3/3 - 2. Let i(b) be the third derivative of p(b). Is i(2) a composite number?
False
Let x(j) = -j**3 + 25*j**2 - 16*j - 29. Is x(21) a prime number?
True
Suppose -2*n + 3*w = 552, -5*n - 2*w = 2*w + 1334. Is (-1)/(1 - n/(-267)) a composite number?
False
Let h be 3/(-2)*(-14 - 4). Let c = h - 46. Is c/(-2*3/30) a composite number?
True
Suppose 4*i = 26257 - 1061. Is i a prime number?
True
Let h(n) = 7*n**2 + 3*n - 87. Is h(-20) a composite number?
True
Let z(k) = 2*k - 3. Suppose -g + 0*j = 3*j - 2, 0 = 5*g + 4*j - 21. Is z(g) composite?
False
Let i = -9 - -200. Is i composite?
False
Suppose -3*s - 3*b = s - 39, -5*s - b = -35. Let a(q) = q**2 - 5*q. Let j be a(s). Is ((-110)/15)/((-2)/j) composite?
True
Suppose 2*g + 5*b - 2745 = 742, 0 = 2*g + 2*b - 3472. Is g composite?
True
Let d(m) = -m - 1. Let a(t) = 20*t**2 - 2*t - 3. Let z(g) = a(g) - 4*d(g). Suppose 3*l - l = -4. Is z(l) a prime number?
False
Let r(j) = -20*j**2 - 3*j - 3. Let a be r(-6). Is 2/(3 - a/(-237)) a composite number?
False
Let y(h) = 46*h**2 + 2*h - 1. Is y(2) prime?
False
Let v be 2/(-12) + 50/12. Suppose -9 - 7 = -v*t. Suppose 0 = -t*j + 3*j + 127. Is j prime?
True
Suppose 3*k - 15 = 4*q, -3*q + 0 - 5 = -k. Suppose -2*z - 165 - 296 = -3*u, -k*u = 5*z - 785. Suppose 5*a - 240 - u = 0. Is a composite?
False
Suppose 2*g + 2*g = 12. Suppose 0 = -j + 1, 0 = -2*d + 4*j + 6. Suppose 0*l - 3*c = g*l - 186, 0 = d*l + c - 294. Is l a composite number?
True
Let j(x) = 3*x**3 - 6*x**2 - 10*x + 6. Let w(p) = -p**3 + p**2. Let i(t) = j(t) + 2*w(t). Is i(7) a prime number?
True
Is (-49983)/(-57) + 10/95 composite?
False
Suppose 6*v - 83 = 1183. Is v a composite number?
False
Is -339*1*1/(-3) a composite number?
False
Suppose -1