(-801)/6*(-2)/h. Suppose -3*s + p = 32. Is s a composite number?
False
Let b(k) = 11*k**3 - 8*k**2 + 6*k + 2. Is b(5) prime?
False
Let l(h) be the second derivative of 5*h**3/6 - 5*h**2/2 + 4*h. Is l(4) a prime number?
False
Suppose -5*i - 11 = -j + 4*j, -5*i - 9 = 2*j. Let b = 10 - i. Is b a composite number?
False
Let f(p) = p**2 - 6*p - 11. Let j be f(8). Suppose j*c - 95 = 4*c. Is c a composite number?
True
Let f = 714 + 165. Is f a prime number?
False
Let g be 2/7 + 2/(-7). Let a(f) = -f**2 - 4. Let o be a(g). Is (o - -2) + 23 + -2 a composite number?
False
Suppose -4*p = 3*u + 50 - 2, 3*u = -5*p - 45. Is 37/2*u/(-10) a prime number?
True
Suppose -y = 5*p - 2032, -4*p - 2*y = -0*p - 1622. Is p a prime number?
False
Let w = 12 + -7. Suppose 0 = -2*t + w*t - 2*p - 221, 2*p = t - 71. Suppose 5*z - 140 = t. Is z prime?
True
Let z = 25 + -35. Let o = z - 13. Let w = 56 - o. Is w prime?
True
Suppose -3*w + w = -24. Suppose t = -2*t + w. Suppose 2*v - 132 = -2*v - t*b, 0 = 5*v - 5*b - 205. Is v prime?
True
Let u(q) = -12*q**2 + 4*q + 4. Let y be u(-3). Let n = -29 - y. Is n a prime number?
False
Let a be (259 - -3) + -1*2. Suppose 2*w = -4*c + 528, w - a = -3*c - c. Suppose 2*m - w = -2*m. Is m a prime number?
True
Let s be (-207)/(-15) + (-2)/(-10). Let r = s + -37. Let c = 92 - r. Is c prime?
False
Suppose -n - 10 = -2*n. Suppose -5*q - 20 = -n*q. Let v = 15 - q. Is v a prime number?
True
Suppose 7*a - 500 = 3*a. Is 2/12 + a/6 a composite number?
True
Suppose 2*a = k + 1363, 5*a - 3*k - 2731 = a. Is a composite?
True
Suppose -2*i + i = -2. Suppose -3*a = -k - 2 + 10, 5*a + 70 = 5*k. Suppose y = i*x - k, -5*y = 5*x - 3*y - 65. Is x a prime number?
True
Suppose 4495 = 3*a + 1234. Is a prime?
True
Let q be (4/(-16))/(4/(-6064)). Suppose 2*w + q = 3*o, -4*o + o + 378 = -3*w. Is o composite?
False
Let a = 4 + -10. Let x(m) = m**2 + 4*m + 1. Is x(a) a prime number?
True
Let g(a) be the first derivative of 5*a**3/3 + 3*a**2 - 6*a - 1. Is g(5) a prime number?
True
Let z = 177 + 1178. Is z prime?
False
Let c = -89 + 178. Let t = c + -176. Let x = 154 + t. Is x a composite number?
False
Let x(i) be the third derivative of -2*i**4/3 - 5*i**3/6 + 3*i**2. Let z(l) = -l. Let f(b) = -x(b) - 3*z(b). Is f(8) a composite number?
False
Let u = -1 - -3. Let y = -1 + u. Is (5 + y)/(-3) - -5 a composite number?
False
Suppose -2*g - 92 = -6*g. Let m = 130 - g. Let w = 8 + m. Is w a composite number?
True
Let s(h) = -18*h**3 - 2*h**2 - 3*h + 6. Let q be s(4). Let l be ((-4)/(-10))/((-7)/q). Suppose 0 = 5*w - l - 387. Is w a composite number?
True
Suppose -4*u - 440 = -4*t, -2*t = 2*u - u - 235. Is t a composite number?
True
Suppose 4*t = l + 6, 4*l = 3*l + 2. Suppose 4*z = 4*n + z - 755, -t*n = 3*z - 355. Is n a prime number?
False
Let t(u) = -u**3 - 14*u**2 + 20*u - 4. Let z be t(-15). Let g(l) = 19*l**3 - 3*l**2 - 3*l - 3. Let p be g(-2). Let n = z - p. Is n a composite number?
True
Let d be ((-6)/(-4))/(-3)*10. Suppose 210 = -10*j + 5*j. Let x = d - j. Is x composite?
False
Let l = 540 + -61. Is l a prime number?
True
Suppose 3*u + a = 916, u + 3*a - 312 = 4*a. Is u a composite number?
False
Suppose -n = -f + 2, 8*f + n = 3*f + 28. Suppose 3*a + 25 = -5*r, -r - 3*a = -2 - f. Is r/(-4) - (-1 - 40) composite?
False
Let g(n) = -15*n**2 - 3*n - 2*n + 0*n + 6 - 9*n**2. Let m(b) = -24*b**2 - 6*b + 7. Let l(y) = -6*g(y) + 5*m(y). Is l(-2) a prime number?
False
Let m(c) = 3*c + 2*c + 13*c**3 - 1 + c**2 - 11*c**3. Is m(4) a composite number?
False
Let b = 10 + -6. Suppose -4*p + y = -4, -p + 6*p - b*y = -6. Suppose 105 = r + p*r. Is r a composite number?
True
Suppose -3*w + 19 = -5*j, -w - 4*w = -2*j - 19. Let l = 1 + w. Suppose f + l*f - 105 = 0. Is f a composite number?
True
Let i(d) = -285*d + 11. Is i(-4) prime?
True
Suppose 0 = 3*x - 2*b + 4199, 2*x - b + 2795 + 5 = 0. Let m be x/(-21) - (-6)/21. Let u = -30 + m. Is u a composite number?
False
Let n = -6 + 133. Is n a prime number?
True
Let b = 1338 + -853. Is b prime?
False
Suppose 3*i - 9 = 6. Suppose -f + 7 = -4*n, 0 = -3*n - i*f - 5 - 6. Is -6 + 3 - 61*n prime?
False
Let g(s) = 107*s**2 + 4 + 323*s**3 - 5 - 106*s**2. Is g(1) composite?
True
Let d = 653 + -258. Suppose 0 = -5*f - 0*f - j + d, 2*j = 0. Suppose f = t + 12. Is t a prime number?
True
Let m = -15 - -34. Is m a composite number?
False
Is 2/13 - (-1292)/52 composite?
True
Let u = -408 + 817. Is u a prime number?
True
Let s(i) = 3*i + 3. Suppose -4*z = z - 10. Suppose 5*b = 15, h - 4*b = -z*h. Is s(h) composite?
True
Let t(u) = u**3 + u**2 - u - 1. Let a(s) = -2*s**3 + 6*s**2 + 7*s + 10. Let b(v) = a(v) + 3*t(v). Is b(-5) a prime number?
False
Suppose -5*f + 11 + 14 = 0. Suppose 3*n + 2*g - g = 196, 340 = f*n - g. Is n composite?
False
Let z(t) = -t**3 - 4*t**2 - 2*t + 3. Let d be z(-3). Suppose p + 3*p - 3*w - 14 = d, 0 = 3*p - 2*w - 11. Is p*18*3/30 a composite number?
True
Suppose 3*k = -4*g + 278, 0 = -g + 2*k - 0*k + 75. Is g prime?
True
Suppose 0 = -10*b + 3*b + 595. Is b a composite number?
True
Suppose -6*a = -9*a + 345. Is a a prime number?
False
Let w(b) = -b**3 + 5*b**2 + 7*b - 1. Let x be w(6). Suppose 3*h + h - 207 = -x*k, h = -4*k + 49. Is h a composite number?
False
Let u be (-35)/((-9)/(-5) + -2). Suppose -2*x = -7*x - u. Let o = x + 50. Is o a prime number?
False
Let g(w) = w - 3*w**2 + 4*w**2 + 8*w**2 - 1 + 0*w. Let j be 1 + -2 + (4 - 1). Is g(j) a composite number?
False
Suppose 4*i - 2*i = 6. Let m be (-1)/(-3) + (-43)/i. Let w = 21 + m. Is w prime?
True
Suppose 7071 = 6*k - 1383. Is k prime?
True
Let k = 9 + -6. Suppose 5*a + 14 = -0*n + 2*n, 0 = -4*a + k*n - 14. Is (a/(-1))/(-2)*-163 a prime number?
True
Suppose -6*q = -11*q. Let i(w) = w**2 - 1. Let l(x) = -6*x**2 - x + 15. Let y(k) = 5*i(k) + l(k). Is y(q) a composite number?
True
Let z(d) = 2*d**2 - 3*d + 2. Let n be z(2). Suppose 0 = -3*v + n*v - 235. Is v prime?
False
Let t(m) = -157*m + 2. Let x(u) = 78*u - 1. Let b(z) = -3*t(z) - 5*x(z). Let g be b(1). Suppose -3*l - g + 371 = 0. Is l a prime number?
True
Let g be 2/(-3) - (-156)/18. Is (-2)/g - (-213)/4 a prime number?
True
Let t = -4 + 3. Let w = t - -2. Is (460/5)/(w + 1) composite?
True
Suppose -4*i - 27 = -5*h, -5*h - 9 = -2*i - 30. Let g = -3 + h. Let m(l) = l**3 + l**2 - l + 39. Is m(g) prime?
False
Suppose -4*b - 2*x + 339 = -7*x, -x + 1 = 0. Is b a composite number?
True
Suppose 4*y - 622 - 654 = 5*j, y = 2*j + 511. Let o = j - -597. Is o prime?
False
Let i = 1943 + -1314. Is i a prime number?
False
Let m(f) = 3*f**2 + 6*f + 16. Let j be 4*6/8 - 16. Is m(j) composite?
True
Suppose 3*i - 30 = -2*i. Suppose 3*s - i - 54 = -3*z, -2*s - 107 = -5*z. Is z composite?
True
Suppose 4*y - 1214 = -4*f + 446, -5*y = -3*f + 1277. Is f composite?
False
Let h = 220 + -29. Is h a composite number?
False
Let v(o) = -12*o. Let w(l) = -l. Let x(q) = -v(q) + 5*w(q). Let s be x(-1). Is (-635)/s - 4/(-14) composite?
True
Let b = 10 + -7. Suppose -73 = -b*w + 686. Is w composite?
True
Suppose -4*v + 8 = -4. Suppose v*j - 268 = -j. Is j a prime number?
True
Let z(c) = c + 7. Let g be z(-3). Let j(a) = 2*a - 1. Let l be j(1). Suppose -g + l = -q. Is q prime?
True
Let f = -6 - -12. Let k(v) = 8*v**3 + v - 1. Let o be k(1). Is ((-36)/o)/((-3)/f) composite?
True
Let p(i) = i**3 - 9*i**2 + 9*i - 8. Let t be p(8). Suppose -2*z = -t - 8. Suppose -z*x + 3*x = -85. Is x a composite number?
True
Let j(o) = 39*o**2 + 3*o - 3. Is j(2) prime?
False
Suppose -g + 4 + 1 = 0. Suppose -g*y = -204 + 29. Is y composite?
True
Let n = 76 - 44. Let p be 6/(-9) - n/6. Let z = p - -13. Is z a prime number?
True
Let c be 0*1*(-1)/2. Suppose a - 6 = -c. Suppose 0 = q - a - 0. Is q prime?
False
Let p = 858 + 293. Is p a prime number?
True
Suppose x + 45 - 298 = 4*t, -506 = -2*x + 5*t. Is x prime?
False
Let g = -13 + 171. Suppose -3*v + g + 454 = 0. Suppose v = 5*l - 61. Is l a composite number?
False
Is ((-1991)/(-33))/((-2)/(-6)) a prime number?
True
Suppose 0 = -5*r + 5*w + 719 + 1156, 5*r + w - 1887 = 0. Is r a prime number?
False
Suppose -4*i + 3*i = 18. Is 1749/27 - 4/i a composite number?
True
Suppose 4*s - 729 = -5*w, -4*w + 414 = -2*s - 190. Is w composite?
False
Let t be (39/2)/(4/8). Suppose -5*l + t = -41. Is l + -2 + (-2 - -3) a prime number?
False
Let 