s j composite?
False
Is 0 - 4 - (-850 + 4) a composite number?
True
Suppose -w = w - 1266. Is w a prime number?
False
Suppose 18*s + 121 = 19*s. Is s a composite number?
True
Let p = -5 + 10. Suppose 134 = h + 4*b + 25, p*h - 5*b - 420 = 0. Is h prime?
True
Let w(f) = -11*f - 7. Let q be w(-8). Suppose -61 + 18 = -h + 2*s, -2*h = -3*s - q. Is h prime?
False
Let f = 535 - -1290. Let c = -5 - -6. Is f/20 - c/4 a composite number?
True
Let y = 4 + -6. Let u(f) = -f**3 + 2*f**2 + 2*f + 3. Is u(y) prime?
False
Suppose 0 = -13*x + 11*x + 958. Is x prime?
True
Let j(r) = -r + 10. Let t be j(8). Let i = 81 - t. Is i composite?
False
Suppose -194 = -4*b + 2*p, -240 = -3*b - 2*b + 2*p. Let o(y) = y + 5. Let t be o(-5). Suppose b = 2*h - t*h. Is h a composite number?
False
Suppose -3*h + 2*x - 7*x = -39, 5*x + 69 = 3*h. Let j = h - 13. Is (-1)/(-1) + 180/j a composite number?
False
Suppose 0 = -4*d + 815 + 773. Is d prime?
True
Suppose 4*n - 2555 = -3*n. Is n a composite number?
True
Let b(w) = -57*w + 7. Let y be b(8). Let x = y + 1098. Is x prime?
False
Suppose -3*f = -871 - 1202. Is f a composite number?
False
Let b be (-6)/(-2)*2/6. Let x(k) = 134*k**3 - 2*k**2 + k. Is x(b) prime?
False
Suppose 1505 = 5*v - 0*v. Is v a prime number?
False
Let t(i) = i + 4. Let l be t(7). Let m = 5 + l. Let w = 19 + m. Is w composite?
True
Let w(g) = g**3 - 7*g**2 + 7*g - 2. Let l be w(7). Suppose -s = 3*z - l, -z - 132 = -2*s - 10. Is s prime?
True
Let y(o) = 2*o**2 - 12*o + 21. Is y(8) composite?
False
Let d(g) = -g**3 - 9*g**2 + 6*g - 3. Suppose -3*c - 11 = 19. Is d(c) a prime number?
True
Let n(z) = 2*z**2 + 5*z + 4. Is n(-11) a composite number?
False
Let h = 167 - 85. Is h composite?
True
Suppose q + 4*q - 3635 = 0. Is q a prime number?
True
Let w be 12/10*25/1. Suppose 3*j = -5*t + 8*j + w, -2*t + j = -8. Suppose t*y - 11 = y. Is y a prime number?
True
Is 4/6 + (-110)/(-6) composite?
False
Let j(d) = 31*d**2 - 4*d + 6. Is j(7) a composite number?
True
Let z(r) = -r**2 + 11*r + 5. Suppose 2*o + 5*a - 15 = 12, 3*o + 2*a - 24 = 0. Is z(o) a prime number?
False
Let g(w) = -15*w + 3*w + 355 + 13*w. Is g(0) prime?
False
Suppose -a = 3*b - 309 - 342, 0 = 4*b - a - 868. Is b a prime number?
False
Let q = -7 - -7. Suppose q*m + 65 = 5*m. Is m a composite number?
False
Let d = 686 + -291. Is d composite?
True
Suppose 4*c + 2*u = 20, 3*c = -u - 3 + 16. Suppose -5*b + c*d + 266 = 0, -3*d + 9 = -0*d. Is b a composite number?
True
Is 2*(-3 - 2187/(-6)) a composite number?
True
Let l(z) = -z**3 - 3*z**2 + 16*z + 17. Is l(-10) a prime number?
True
Suppose 3*n = -1 + 10. Let k = 7 - n. Suppose -78 = -k*h - 2. Is h prime?
True
Let l(q) be the second derivative of -105*q**4/4 + q**2/2 + 2*q. Let d be l(-1). Let x = -187 - d. Is x a composite number?
False
Suppose n - 2 = 51. Let p = n - -32. Is p a prime number?
False
Let f(w) = w**3 + 8*w**2 - 13*w. Let d be f(-9). Suppose -q + d = 3*q. Is q prime?
False
Suppose 12*w = 8*w + 1928. Is w composite?
True
Suppose -13*z + 1467 = -10*z. Suppose 4*p - 571 = z. Is p a composite number?
True
Let y be (15/(-6))/((-1)/18). Suppose y = 4*q - 407. Is q composite?
False
Suppose -h - 3*h + 2348 = 0. Is h a prime number?
True
Let a = 1538 - 907. Is a a composite number?
False
Let z(h) = -13*h + 8. Let s(q) = 27*q - 16. Let b(d) = 2*s(d) + 5*z(d). Let i(y) = 16*y - 12. Let o(t) = -7*b(t) - 5*i(t). Is o(-6) a prime number?
False
Let w be (-1 - -3)/((-4)/(-94)). Let n = w - -6. Is n prime?
True
Let d(q) = -4*q**3 - 4*q**2 + q + 6. Let z = -21 - -16. Is d(z) a prime number?
True
Let w(v) = 7*v**2 - 3*v - 3. Suppose -7 + 21 = 5*s - 4*i, s - 1 = -i. Suppose 3*q - 11 = -s. Is w(q) composite?
True
Suppose -3*s + 0*s = -177. Suppose -5*x + 321 = 4*r, 2*r - 3*x - s = r. Is r composite?
True
Suppose c - 6*c = 4*p + 32, -4*p - 32 = -4*c. Let s(h) = -41*h - 11. Is s(p) a prime number?
True
Suppose 4*o + 2*x = 2786, -o + 700 = 2*x - 5*x. Is o a prime number?
False
Suppose 0*g + 258 = g - i, 4*g + i = 1037. Is g composite?
True
Let j be -6*(1 + 10/(-4)). Let c(n) = -n**3 + 7*n**2 - 11*n + 10. Let v(g) = -g**2 - g - 1. Let b(u) = c(u) - 3*v(u). Is b(j) a composite number?
True
Let x = 59 + 2. Let q = x + 162. Is q a composite number?
False
Let u(c) = 10*c**2 + 3*c + 7. Is u(4) a composite number?
False
Is 4/10 - (-3715)/25 prime?
True
Let b(q) = 10*q + 1. Is b(14) a prime number?
False
Let q(g) = g - 11. Let p be q(13). Suppose p*y - 4*y + 226 = 0. Is y a prime number?
True
Let u = 349 + -2. Is u a prime number?
True
Let i(u) = -u**2 + 5*u - 6. Let p be i(8). Is (-2854)/p + (-6)/45 prime?
False
Let j(s) = -1. Let x(f) = 4*f - 12. Let r(p) = 3*j(p) - x(p). Is r(-7) a composite number?
False
Let d(p) = -p**3 + 19*p**2 + 19*p + 22. Is d(15) a prime number?
False
Suppose -1172 = -2*y + j, -2*j + j = -5*y + 2933. Is y prime?
True
Let n(l) = l**3 - l**2 + l. Let m(v) = 5*v**3 + 2*v**2 - 6*v + 2. Let x(r) = m(r) - 4*n(r). Is x(-7) composite?
False
Suppose -n + 7389 = 5*v, -2*v - n = n - 2962. Is v a prime number?
False
Let a(m) = -m + 26. Let l be a(-12). Let f be (4 - 1)/(2/2). Suppose o - f*x - l = -2*x, 158 = 4*o + 2*x. Is o a prime number?
False
Suppose h - 23 = 10. Is h a prime number?
False
Let s = -108 - -237. Is s a prime number?
False
Let t(x) = -x + 6. Let c be t(4). Suppose 0 = 5*v - 15, -c*y + 0*y + v = -71. Is y a prime number?
True
Let h(j) be the first derivative of -4*j + 51/2*j**2 + 3. Is h(3) prime?
True
Let o be (-68)/20 - (-3)/(-5). Is o/(-6) + (-1011)/(-9) a composite number?
False
Let q = -4181 + 6895. Is (-2)/(-10) - q/(-5) a composite number?
True
Let s(o) = 111*o - 2 + 2. Is s(1) composite?
True
Suppose -4*y + 7*y + 4*v - 2361 = 0, 0 = 2*y - v - 1585. Is y composite?
True
Let x = -8 + 265. Is x composite?
False
Suppose 3*d - 12 = -3*p - 0*d, 0 = 5*p - 4*d - 20. Suppose -304 = -p*q + 2*z, 3*z + 0*z + 302 = 4*q. Is q a prime number?
False
Let x be (-2)/(-6) - 5/(-3). Let o = -8 - -12. Suppose -3*u + o*r = x*u - 339, u = -5*r + 62. Is u prime?
True
Suppose 3*w - 2*s + 4*s = -2105, -s - 2810 = 4*w. Is (1 + 1 - w) + 2 composite?
True
Let k(f) = 5*f**2 + 11*f - 13. Is k(-9) composite?
False
Let y(p) = p - 3. Let w be y(0). Let x be 633 + w - -2 - -3. Suppose -2*r + r + v = -212, -3*r + 2*v = -x. Is r composite?
False
Let b(g) = 2*g - 7. Let o be b(5). Suppose 2*f = -o*f + 115. Is f composite?
False
Suppose -5*a + 12 + 563 = 0. Is a a prime number?
False
Suppose -3*y + 2*n + 10 = 0, 4*y = y - 5*n + 17. Suppose -247 = -y*j + 197. Is j prime?
False
Suppose -5*n - 10 = -3*n + 4*j, -2*j - 2 = 0. Let f(p) = -215*p + 3. Let h be f(n). Suppose 533 = 3*a + k, 0 = -3*a + 4*k + h - 95. Is a composite?
False
Suppose 3 = -4*q - 1. Let v be -1*(0 + 1) - 1. Is 0/v - (-26 - q) composite?
True
Let a(n) be the third derivative of n**8/20160 + n**6/360 - n**5/30 - 2*n**2. Let v(m) be the third derivative of a(m). Is v(0) prime?
True
Suppose -s = -241 - 1230. Is s prime?
True
Suppose 0*c - 3 = 3*c, -2*i + 1003 = 3*c. Is 5/(-10) - i/(-2) composite?
False
Suppose 0*c = 2*c + 96. Let l = 74 + c. Is l prime?
False
Suppose -16 = 4*o - 8*o. Let p(i) = 15*i - 11. Is p(o) a prime number?
False
Let s(i) = -2*i - 4. Let f be s(-4). Suppose -4*m - 2*g + 5186 = 0, -m + 4*m - 3897 = -f*g. Suppose 4*j - m = -j. Is j a composite number?
True
Let i = 223 - 158. Is i a composite number?
True
Let a(n) = -194*n**3 + n**2 - n - 1. Suppose -8 = 5*i - 4*c + c, -3*i - 5*c = -2. Let q be a(i). Suppose -q = -3*k - h + 4*h, 4*k = -4*h + 260. Is k composite?
True
Suppose -6*v + 24 = -2*v. Let p(g) = -3*g**3 - 9*g**2 - g + 1. Let k(y) = y**3 + y**2 - y + 1. Let m(t) = 4*k(t) + p(t). Is m(v) a prime number?
True
Let n(w) = -7*w - 17. Is n(-12) composite?
False
Let d(p) = p**3 - p**2 - 10*p + 47. Is d(12) a composite number?
False
Let n = 2171 + -694. Is n a composite number?
True
Suppose 7 = 4*m + 4*i - 5, -2*m + 5*i = -13. Suppose l + 2*j = 48, -m*l + 3*j = -108 - 95. Let u = -17 + l. Is u prime?
False
Let l(p) = p**3 + 11*p**2 + 9*p - 1. Is l(-8) a composite number?
True
Suppose 4*j = 317 + 183. Suppose -415 + j = -5*u. Suppose u = -5*x + 333. Is x composite?
True
Suppose -7*v + 498 = 4*n - 5*v, 0 = n + 2*v - 117. Suppose n = 2*y - y. Is y prime?
True
Suppose 0 = 4*t + 3 + 5, -5*x = -4*t -