= -c**3 + 9*c**2 + 14*c - 2. Let a be n(10). Let u = 57 - a. Is u composite?
False
Let t(c) = -6*c**3 - 6*c**2 - c - 12. Let r(d) = -7*d**3 - 5*d**2 - d - 13. Let l(n) = 5*r(n) - 6*t(n). Is l(-10) a prime number?
True
Suppose 4 = -k - 6. Is (-1275)/k - 2/4 prime?
True
Suppose -1 = -4*x + 15. Suppose 0 = -x*h + 8, b + h = 5*b + 298. Is (-1 - -3)*b/(-4) composite?
False
Let k = 0 - 0. Suppose -3*q + k*q = -12. Suppose -q*x + 1505 = x. Is x prime?
False
Let m(j) = j - 3. Let d be m(6). Suppose -d*i + 12 = -p + 4*p, 9 = 2*p + i. Suppose p*f - 1090 = -0*f - 5*z, 4*f = 5*z + 845. Is f a prime number?
False
Let n(w) = -w**2 - 12*w - 6. Let y = -22 + 12. Is n(y) a composite number?
True
Let y(g) = g**3 - 1. Let t(x) = x**2 + 3*x + 3. Let a be t(-3). Let n = -1 + a. Is y(n) a composite number?
False
Let r be (-2 - 0)*28/(-8). Suppose 3*k + 92 = r*k. Let t = 14 + k. Is t composite?
False
Suppose 0 = -16*z + 25278 + 41554. Is z a prime number?
True
Let o(s) = -10*s + 5. Is o(-14) prime?
False
Suppose 16*b + 3208 = 24*b. Is b a prime number?
True
Suppose -5*y - 376 = -2*t - 2*y, -y - 742 = -4*t. Is t a prime number?
False
Suppose 4*m + 382 = 4*d + 6*m, -2*d = -4*m - 196. Is -1 + d + (-7 - -9) a prime number?
True
Let z(p) = -15*p - 8. Is z(-5) a composite number?
False
Let x be (-6)/5*(-10)/4. Suppose -2*q - 21 = -x*q. Suppose -q - 135 = -g - f, 779 = 5*g + 4*f. Is g a prime number?
False
Let k(a) = 2*a + 3. Let f(m) be the second derivative of -m**4/12 + 9*m**2/2 - 3*m. Let c be f(0). Is k(c) a prime number?
False
Let t = 1418 + -845. Is t a composite number?
True
Let o(x) = 9*x**2 + x - 4. Let v be o(-6). Is v/(-6)*(-3 - 0) composite?
False
Is 3735/(-18)*(0 + -2) prime?
False
Let p = -1101 + 2054. Is p composite?
False
Let p(m) = m**2 + 3*m + 2. Let a be p(-3). Suppose -38 = -a*t - 2*s, 4 - 79 = -3*t + 3*s. Is t prime?
False
Is 3162 - ((-4 - -6) + -3) a composite number?
False
Let p = 8 + -5. Let k be ((-6)/p - -1)*-5. Suppose -5*g + k*x = -1085, 8*g - 4*g - 3*x - 868 = 0. Is g a prime number?
False
Let o(s) = s**2 + 5*s + 2. Let g be o(-6). Let f = -71 + -44. Is g - 7 - (1 + f) a composite number?
True
Suppose 0 = -6*i - 2109 + 7431. Is i a prime number?
True
Let x be (-10*7)/(-1) + 2. Suppose -5*a + x = -23. Is a a prime number?
True
Let a(x) = 0 - 3 - 2 - 5*x - 2*x - x**2. Let y be 10*(0 - (-4)/(-10)). Is a(y) prime?
True
Suppose -4*i - 10 = -58. Suppose i = x - 7. Is x a prime number?
True
Let c = 4 - 2. Suppose -2*x + 80 = c*d, 5*d = 2*x - 7 - 38. Let u = x + -4. Is u composite?
False
Suppose -4*q = -447 + 127. Suppose -18 = 2*b - q. Is b composite?
False
Let s be (-488 + 3)*(-4)/5. Let j = -172 + s. Is j/3 - (-2 - -3) a prime number?
True
Let g(w) = w**3 - 9*w**2 + 6*w + 15. Is g(9) a composite number?
True
Let r(a) be the second derivative of -a**3/6 + 3*a**2/2 - 2*a. Let x be r(5). Is (x/2 - -8)*3 prime?
False
Let h = -19 + 31. Suppose -b - 3*s + h = -0*s, 21 = 3*b + 4*s. Let d(n) = 12*n + 1. Is d(b) prime?
True
Suppose -4*q = -q - 4*o - 463, -4*o = -q + 165. Is q composite?
False
Let i = -23 + 32. Let c = 2 + -2. Suppose -2*q - 3*v = -5, i = 2*q - v - c*v. Is q a composite number?
True
Let x(m) = 9*m**2 + 3*m - 3. Let l be x(3). Let n = l + -34. Is n a composite number?
False
Suppose 0*i + 35 = z + 5*i, 3*i = -5*z + 65. Suppose -f = f + 172. Is 4/z - f/10 composite?
True
Let h(k) = k**3 + 3*k**2 + 3*k + 3. Let c be h(-2). Let r = -4 + c. Let f(m) = -6*m - 4. Is f(r) a prime number?
False
Suppose -2*f = 606 + 1888. Let v = f + 1810. Is v composite?
False
Suppose p = -4*o + 2*o + 9, -4*p = -o. Is (3 - p) + 247 + 2 composite?
False
Let k(q) be the third derivative of 7*q**5/40 - 7*q**4/24 - q**3/2 - 2*q**2. Let m(j) be the first derivative of k(j). Is m(6) composite?
True
Let u = 5 + 32. Suppose 0 = -a - 156 + u. Let o = 204 + a. Is o a prime number?
False
Is 111 - (2/1 + 0) a prime number?
True
Let l be (-2)/3 + 28/6. Let a be 42/24 + 1/l. Suppose -52 = -a*v - 2*v. Is v a composite number?
False
Let i(l) = l**2 - 4*l + 2. Suppose -b - 20 = b + 5*w, 3*b - 5*w - 20 = 0. Suppose 4*s = -b*s + 28. Is i(s) a prime number?
True
Let m(c) = 30*c**3 + 2*c**2 - 1. Is m(1) a prime number?
True
Suppose 4*h = 2*h + 12. Let s(b) = 5*b**2 - 2*b + 2. Let i be s(h). Is (-1)/4 + i/8 a composite number?
True
Let l be (-10)/(-6) + (-5)/(-15). Let g(d) = 14*d**2 + d - 9. Let q(h) = 7*h**2 - 4. Let n(w) = -2*g(w) + 5*q(w). Is n(l) prime?
False
Suppose 0 = -2*l + 655 + 679. Is l a prime number?
False
Suppose -3*l = -3845 + 764. Is l a prime number?
False
Let p(v) = 20*v**2 + 3*v + 3. Let f be p(-2). Suppose 0*m + m = f. Is m prime?
False
Is ((-8)/10)/2 - (-243771)/165 composite?
True
Suppose 4*z - y + 6*y - 48 = 0, -4*z = -3*y - 48. Let k = z - 1. Is k a composite number?
False
Let c(p) = 12*p - 10. Is c(3) composite?
True
Suppose -14579 = -3*w - 4*x, -3*w - x - 4*x = -14578. Is w composite?
False
Let x = 6 + -8. Is (-382 + 0)/(4/x) a prime number?
True
Let i(j) be the first derivative of 154*j**3/3 + j - 5. Is i(-1) prime?
False
Let s(n) be the third derivative of -n**5/60 - 13*n**4/24 + 10*n**3/3 - 4*n**2. Is s(-14) a prime number?
False
Suppose -7*h = -2*h + 25. Let d = 5 + h. Suppose d = -2*g + 3*g - 46. Is g a composite number?
True
Let o = 795 + -249. Suppose -4*i + o - 158 = 0. Is i a composite number?
False
Suppose -2*p - 2*v + 64 = -146, 2*v = 2*p - 202. Is p composite?
False
Let a = 425 + -276. Is a composite?
False
Let g(p) = 139*p**2 + p - 1. Is g(2) a prime number?
True
Let k(z) = 4*z - 1 + 3 + 1. Is k(4) a prime number?
True
Suppose -5*n + 4*v + 277 = 0, n - v - 51 = 5. Is n prime?
True
Suppose -4*h = -3*h - 26. Let p(n) = -4*n + 22. Let l be p(5). Suppose -3*m + 39 + 16 = -5*q, 0 = l*m + 2*q - h. Is m prime?
False
Suppose -8 = 4*p - 6*p. Suppose -3*c + p*c = 38. Suppose g = 3*g - c. Is g prime?
True
Suppose 102 = 2*m - 4*m. Suppose 0 = 3*q + 138 + 84. Let g = m - q. Is g a prime number?
True
Let s = 730 - 365. Is s composite?
True
Let z = 13 - 10. Suppose 255 = z*w - 27. Is w a prime number?
False
Suppose -5*y + 107 = -4*z - 208, 4*y + 5*z - 293 = 0. Is y prime?
True
Suppose 4*z + 4 = 2*z. Let o(d) = 8*d**2 + 2. Is o(z) a composite number?
True
Suppose 3*o = -2*v + 334 + 5135, 0 = -2*o + 2*v + 3646. Is o a composite number?
False
Suppose 0 = -5*v + 64 + 41. Is (-7)/(v/(-972)) + -1 composite?
True
Let h(l) = l + 7. Let s be h(-5). Suppose -4*p = -4*w + 72, -4*w - s*p + 84 = -3*p. Is w a composite number?
True
Let u(h) be the second derivative of h**4/12 - 2*h**3/3 + 3*h**2/2 + 3*h. Let v be u(4). Suppose c + 82 = -0*d + d, 249 = v*d - 4*c. Is d prime?
True
Let q(i) = i**3 + 7*i**2 + i + 8. Let a be -4 - 2*(2 - 1). Is q(a) composite?
True
Let t(i) = i**3 + 2*i**2 - i + 9. Suppose 0 = 3*q - 18 - 3. Is t(q) a prime number?
True
Let z(v) = 8*v**2 + 2*v + 4. Let o(k) = -17*k**2 - 4*k - 9. Let w(i) = 3*o(i) + 7*z(i). Let p be w(-1). Is (-5 + p)/(1/(-19)) composite?
False
Suppose -3*p + 1597 = f, -4*p + 2126 = -f + 4*f. Suppose -73 - p = 3*g. Let o = -143 - g. Is o a prime number?
True
Let j = 35 + -19. Let k = 29 - j. Is k a composite number?
False
Let d(w) = -37*w + 1. Let l be d(-8). Suppose g - h = l, g + 0*h - 305 = 3*h. Is g a composite number?
False
Let z be 2 - 0/((-8)/(-2)). Suppose -z*m = m - 1749. Is m prime?
False
Let x(d) = d**3 + 3*d**2 - 1. Let o be x(-2). Suppose n = -0*n + g + 163, -2*n + 326 = -o*g. Is n a prime number?
True
Is (23*(-9)/6)/((-2)/4) composite?
True
Let j(o) = -o**3 + 5*o**2 - 4*o + 1. Let b be j(4). Let f be 1*(1/b + -2). Let q(t) = 30*t**2 - t. Is q(f) composite?
False
Let l = -284 - -131. Let g = 280 + l. Is g prime?
True
Suppose -2*a + 0*a + 18 = 0. Let z(o) = -o**2 + 6*o + 13. Let u be z(a). Let x = u - -35. Is x a prime number?
False
Let g(f) = 18*f - 7. Is g(17) a composite number?
True
Let t(n) = -n**3 - 8*n**2 - 12*n - 10. Let l(p) = 5*p**2 - 6*p + 2. Let f(o) = -o**2 + o - 1. Let q(m) = -3*f(m) - l(m). Let d be q(3). Is t(d) a prime number?
False
Suppose 8 = 3*v - 1. Suppose 0 = 4*r + v*m - 479, 0*r - m = 2*r - 241. Suppose w - 3*z = 64, 0*w = 2*w - 4*z - r. Is w composite?
True
Let g(i) = i**2 + 8*i + 12. Let u be g(-8). Suppose -2*z - 8 = -4*z. Suppose 0*l + z*l = u. Is l a prime number?
True
Suppose a = -4*n + 30