s v composite?
False
Is (-4)/6 + (-45132)/(-36) prime?
False
Let x(c) = 309*c**3 - 7*c**2 + 5*c - 5. Is x(2) composite?
True
Let p(a) = 206*a - 5. Is p(2) prime?
False
Let o(a) = 5*a**2 - a - 11. Let p be (-2)/(-8) + (-124)/(-16). Is o(p) composite?
True
Let b(u) = -3*u + 31. Is b(0) a composite number?
False
Suppose -6 = 6*x - 66. Is x a prime number?
False
Let v = -157 - -224. Is v a prime number?
True
Let b(y) = 5*y**3 - 3*y**2 + 4*y - 2. Let j be b(2). Let v = j - -33. Is v a prime number?
True
Let l(r) = -r**3 - 7*r**2 - 4*r - 7. Is l(-7) composite?
True
Let m(v) be the second derivative of -v**5/5 - v**4/12 + v**3/6 + v**2/2 + 3*v. Is m(-1) composite?
False
Let a(z) = -z**2 + 4*z - 1. Let i be a(4). Is (-15)/((3 - 2)*i) a composite number?
True
Let w(u) = 37*u**2 + u + 1. Let o(j) = -j - 1. Let c = 4 + -4. Let a be o(c). Is w(a) a prime number?
True
Let w be 1 + (-6)/3 - -3. Suppose 295 = 5*i - 5*m, -w*i + 4*i + 2*m - 102 = 0. Is i a prime number?
False
Suppose 3*q + 2 = -1. Let x = -2 + q. Is -21*(2 + 8/x) a composite number?
True
Let o(f) = 1496*f + 3. Is o(1) a prime number?
True
Is (-12)/9*3*(-977)/4 a prime number?
True
Suppose 9*c - 5*c = 7012. Is c prime?
True
Is (28/(-6))/(8/(-156)) composite?
True
Let z be (-9)/6*4/(-3). Suppose x - 13 = -4*f, 83 = 5*x + z*f - 0*f. Is -2 + 0 + x/1 prime?
False
Let c(v) = 6*v**2 - 5*v + 5. Let t be c(4). Let o = t - 58. Is o a composite number?
False
Let a be 175/(-1) - (-8)/4. Let n be (-1)/1*(117 + 1). Let s = n - a. Is s prime?
False
Let j = 982 + -173. Is j a composite number?
False
Suppose 12*w - 3341 = -w. Is w prime?
True
Let m(i) = 5*i + 7. Let o be m(5). Let a be (2 + o/(-10))*-5. Is 1 - (-3)/(a/256) prime?
False
Let a(t) = -5*t**2 + 3*t - 5. Let z(l) = -1. Let j(g) = -a(g) + 6*z(g). Is j(-3) a composite number?
False
Let n(i) = -6*i - 4. Let a(t) = -t**2 - 4*t + 2. Let r be a(-5). Is n(r) composite?
True
Suppose 0 = -2*o - 3*p + 28, -3*o + 48 = 4*p - p. Let m = 58 - o. Is (m/(-6))/((-1)/3) a prime number?
True
Let x(f) = f**3 + f**2 - 2*f + 1. Let i be x(4). Let m = i + -174. Let c = 178 + m. Is c a composite number?
True
Let i be (-6)/(-3) + -1 + -11. Let h = 15 + i. Suppose 145 + 55 = 5*u - h*q, -86 = -2*u + 4*q. Is u a prime number?
True
Is (1 + (-4)/(-8))*1630 + 4 prime?
False
Suppose 4*o = -5*c + 6, 0 = -5*c - o - o + 8. Suppose 0*r = c*r. Suppose -4*i + i + 18 = r. Is i a composite number?
True
Suppose 4*r - 5*z - 49 = 45, -5*z + 95 = 5*r. Is r prime?
False
Suppose 5*j - 4*j = 176. Let a = -61 + j. Is a a prime number?
False
Suppose s = 3*m + 902, 4*s - 1200 = 5*m - m. Is (-4)/(-2)*m/(-2) a prime number?
False
Suppose 5*h + 4*g - 24 = 3, 0 = -2*h + g + 3. Let r(u) = 9*u - 6*u - h*u - 5 + 10*u. Is r(7) a composite number?
True
Let b(p) = 3*p**2 + 5*p + 7. Is b(-8) a composite number?
True
Let j = 53 + -14. Is j composite?
True
Suppose 0 = -2*c + 3 + 3, 4*r = -5*c + 27. Is -26*(-1 + r/6) a composite number?
False
Let z(r) = 65*r**2 + r + 1. Let f = -3 - -6. Suppose -10 = 2*c + f*c. Is z(c) composite?
True
Let p be 2/3*6870/20. Suppose -3*f + p = -89. Is f a composite number?
True
Suppose -5*p + 1017 = -428. Is p a composite number?
True
Suppose -3*a - 616 = 3*l - 3004, -2*l + 1589 = 5*a. Is l composite?
False
Let j = 23 - 18. Suppose -y + x - 2*x + 226 = 0, -j*y - 3*x + 1120 = 0. Is y a prime number?
False
Is (-293)/(-2*3/6) a prime number?
True
Let v be (-2)/(-3) + (-8)/12. Suppose -2*w + 16 - 6 = v, -f + 482 = 3*w. Is f prime?
True
Let c(b) = 308*b**3 - 2*b**2 + 1. Is c(1) a composite number?
False
Let x = 4 - 1. Suppose x*w = -3*d + 111, 2*d + 109 = 5*d + 5*w. Suppose -2*g + 2*t = -0*g - 2, -3*g - 4*t = -d. Is g prime?
False
Suppose t - 3801 + 1078 = -3*r, 905 = r - t. Is r prime?
True
Suppose -5548 = -d - 3*h, 3*h + 5 = 4*h. Is d prime?
False
Let i = 342 + -235. Suppose -8*x = -3*x - 20. Suppose 0 = -x*k + 41 + i. Is k composite?
False
Is (-3047)/(-44) - (-1)/(-4) a prime number?
False
Let b(m) = m**3 + m**2 - 6. Let l be b(0). Is 8/(-12) + (-1150)/l a composite number?
False
Let w = -5 + 7. Let c be (-5)/3 - 6/(-9). Is 67*w*c/(-2) composite?
False
Let p(l) be the third derivative of -l**4/3 + l**3/3 - l**2. Suppose 0 = -y + 4*y + 9. Is p(y) composite?
True
Let y(w) be the second derivative of 0 - 1/3*w**3 - w - 3*w**2. Is y(-6) composite?
True
Let t(p) = -4*p + 1. Let z be t(5). Let m be (-1)/2 - 83/(-2). Let v = m + z. Is v a composite number?
True
Let n = -6 + 12. Let s = 1 - n. Let j(x) = 4*x**2 - 4*x - 1. Is j(s) a composite number?
True
Let d(b) = b**2 + 9*b - 7. Let q be d(-10). Let j be (-7)/4*-1*4. Suppose -92 = q*l - j*l. Is l a prime number?
True
Let h = -10 + 16. Is (h - 7)*1*-121 a composite number?
True
Let h(s) = -s**3 - s**2 - 17. Let f be h(0). Let c = f + 54. Is c prime?
True
Let y(n) = 39*n**2 - 4*n - 3. Let s(a) = -4*a + 2*a + 2 + 4*a. Let i be s(-2). Is y(i) prime?
False
Suppose 0 = 3*r - a - 475, -2*r + 129 + 165 = 5*a. Is r prime?
True
Suppose -5*o - 2 = 3*n - 4*o, -3*n + 5*o = 8. Let z = 8 + n. Suppose z*k = 4*k + 249. Is k prime?
True
Let h = -4 - -20. Let s = h + -10. Is s prime?
False
Suppose 0 = 2*y + 5*u + 16, -u + 3*u = -2*y - 4. Suppose -y*w + 335 = -407. Is w composite?
True
Suppose 2*m + 28 = -5*v, v - 21 = 5*v + 3*m. Let o = 25 - 46. Is (0 + o/v)*22 a composite number?
True
Let f(r) = 78*r**2 - r. Is f(-1) prime?
True
Let c = 152 - 54. Let d = 183 - c. Is d prime?
False
Suppose 0 = -3*n - 2*l + 22, n + 3 = -5*l - 7. Suppose -4*r + 3*t = -t - 36, n = 2*r + 2*t. Is (r - 1)/((-8)/(-44)) composite?
True
Let x = -2459 - -3820. Is x composite?
False
Let d = 15 - 32. Suppose -7 = 5*n + 3. Let m = n - d. Is m composite?
True
Suppose -66 + 4 = -2*f. Is f a composite number?
False
Let o = 388 + 1. Is o a prime number?
True
Suppose 11 - 399 = -4*r + 3*a, -16 = 4*a. Is r a composite number?
True
Let v(r) = -511*r + 4. Let n(u) = 237614*u - 1859. Let c(p) = -4*n(p) - 1859*v(p). Let t be c(-2). Is t/5 + (-2)/(-10) prime?
False
Suppose 6 = 4*c - c. Suppose -c + 64 = -w. Let g = w - -109. Is g composite?
False
Suppose 0 = -3*w - i, 2*w + 2*i + 1 - 5 = 0. Let b(c) = 0*c**3 - 13*c**3 + 0*c**3. Is b(w) a composite number?
False
Suppose 6*a - 2*a - 5012 = 0. Is a composite?
True
Suppose -5*w - 4 = -24, m - w = -2. Suppose 177 = j + m*j. Is j a composite number?
False
Let m(c) = 115*c + 18. Is m(11) prime?
True
Suppose -17*x + 3513 = -14*x. Is x a composite number?
False
Suppose 7*x - 2*x - 330 = 0. Suppose -y + 3*c + 90 = 2*y, -4*c = 2*y - x. Is y a prime number?
True
Let t be 2*1/(-2) - -4. Is 0 + (t - 1) + 85 a prime number?
False
Let t = 34 - 8. Is t prime?
False
Let x = -7 - -11. Suppose x*b + 7 = 3*b + 5*i, -2*b + 4*i - 2 = 0. Suppose -10 = -5*f, o + b*f = f + 93. Is o composite?
False
Suppose -64 = -a + 5*z, -z - 248 = -a - 4*a. Is a prime?
False
Let s(u) be the first derivative of 3 + 4/3*u**3 - 7*u - u**2. Is s(5) a prime number?
True
Suppose -3*o + 443 = -w, 0*o - 2*w = o - 157. Is o a composite number?
False
Let g(o) = 2*o**3 - 14*o**2 - 14*o + 7. Is g(11) prime?
True
Let m = 5 + -5. Let o be 166*(m - 3/(-6)). Is (-2 + -2 - -3) + o a composite number?
True
Suppose -3*l = -5*x + 417 + 149, 0 = -3*x - 4*l + 328. Let b = x - 45. Is b composite?
False
Suppose -4*r - 4*j = 72, 2*r + 39 = -5*j + 15. Let w = r - -43. Is w a prime number?
False
Let x = 76 + -16. Suppose -w = v - 0*v - x, -5*w = 2*v - 126. Is v composite?
True
Suppose 0 = -4*y - 6 - 10. Let n(w) = -4*w**3 - 2*w**2 + 3*w - 1. Is n(y) a composite number?
False
Let d(w) = -w + 6. Let o(t) = -2*t + 12. Let a(r) = -7*d(r) + 3*o(r). Let x be a(6). Suppose -3*c = -4*s - x*c + 189, 20 = 4*c. Is s a composite number?
True
Let x be 1*(-34 + 1)/(-3). Let q = x - -10. Is q prime?
False
Suppose 0 = q + 5*o - 20, q = 4*o - 8 - 8. Let c(k) = k**2 + k. Let g be c(-2). Suppose -g*s + 34 = -0*s + 5*b, 2*s - 4*b - 52 = q. Is s prime?
False
Let i = 31 + -56. Is 10/i - (-47)/5 a prime number?
False
Suppose 0*o - 68 = 3*n + o, -5*n - 2*o = 112. Let j(q) = -q + 39. Let z be j(0). Let r = z + n. Is r prime?
False
Let d(v) = -v**2 + 4*v - 2. Let c be d(4). Let j be c/5 + 1382/5. Suppose -3*o - 21 = -j. Is o a composite number?
True
Let b(z) = -3*z + 1. Let c be b(-4). Suppose 2*y + 4*t = 3*y + 11, -3*t = -5*y + c. Su