 v(x) = x**3 - 17*x**2 + 25*x + 9. Is v(20) prime?
True
Let n(c) = c**2 + 8*c + 4. Let a be n(6). Suppose -2*j - 89 = -5*p, -4*p + 2*j + a = 6*j. Is p a prime number?
True
Suppose c - 2 - 8 = 0. Is c a composite number?
True
Suppose 0 = -5*y + v - 50, y + 2*v - 16 = -3*v. Let w be (-6)/y + (-38)/(-6). Is w + 0/(-1 - 2) a composite number?
False
Let y = 8 + -6. Let q = 2 - y. Suppose q = -2*w + 2, 0*z - z - 5*w + 44 = 0. Is z a prime number?
False
Let h be -1*(107 + 2)*-1. Let w = h - 238. Is w/12*28/(-1) a prime number?
False
Suppose 2*v - 622 = 316. Is v a composite number?
True
Suppose -3*g = 33 - 138. Is g prime?
False
Let f(l) = -59*l + 85. Is f(-18) a composite number?
True
Let s(k) be the third derivative of -k**6/120 - k**5/60 + 191*k**3/6 - 2*k**2. Is s(0) prime?
True
Suppose -382 = n - 3*n. Is n composite?
False
Let c = 12 - 7. Suppose 3*p - c*q = -18, 3 - 15 = -4*q. Let g = p - -4. Is g prime?
True
Suppose 1336 = -3*l - 2*l - 3*u, 0 = -3*l - 4*u - 806. Let t = -152 - l. Let z = 183 - t. Is z a composite number?
True
Let q = -5 + 6. Let g(o) = -3*o**2 + q - 1 - o - 2*o + 2 - o**3. Is g(-5) prime?
True
Let u(f) = -2*f**3 + 7*f**2 + 6*f - 1. Let n(h) = h**3 - 7*h**2 - 6*h + 1. Let t(g) = 3*n(g) + 2*u(g). Let m be t(-5). Let d = 34 + m. Is d a prime number?
False
Let o(x) = x**3 - 5*x**2 - 7*x + 9. Let l be o(6). Suppose -22 - 53 = -l*k. Let c = 51 - k. Is c a prime number?
False
Let i(r) = -6*r + r**3 - 2 - 2*r + 5*r. Let t be i(5). Let c = -17 + t. Is c a prime number?
False
Suppose 3*v - 10 = -1, i - 3*v + 7 = 0. Suppose -i*o - 57 = -5*o. Is o a prime number?
True
Suppose 2*q = 4*q - 16. Let r(g) = -g**3 + 9*g**2 - 3*g + 3. Is r(q) a prime number?
True
Let g(t) = 2*t + 3. Suppose 4*d = 5*q - 32, 2*q + 3*q = -d - 33. Let i = d - -19. Is g(i) composite?
True
Let k(i) = -i**2 - 12*i - 4. Let f(j) = -j**2 - 11*j - 3. Let t(w) = -4*f(w) + 3*k(w). Let d be t(-8). Let p(u) = u + 14. Is p(d) a prime number?
False
Let c(k) = -k**3 + 6*k**2 - k + 8. Let r be 2 + 0 - (-12)/3. Let u be c(r). Suppose -2*i + 499 = 3*y, 0 = -4*y + u*i - 4*i + 662. Is y a prime number?
True
Suppose 87 = c - 436. Suppose -2*q + 3153 - c = 0. Is q a composite number?
True
Suppose 0 = 3*q - 2*w - 9 - 16, -4*q - 4*w = 0. Suppose -321 = q*r - 8*r. Suppose 0 = -5*l + 402 - r. Is l prime?
True
Is (7 - 5)/(2/33) a composite number?
True
Suppose c - 307 = g, 2*c - 3*c - 3*g + 291 = 0. Suppose 3*y - 2*x - c = -2*y, -4*y + 244 = -2*x. Is y a prime number?
True
Let z(f) = 4*f**2 - 5*f - 10. Is z(5) prime?
False
Suppose -2*d = 3*n, -3*d - 2 = 3*n - 5. Let w(s) be the second derivative of 2*s**4 - 2*s**3/3 - s**2/2 - 5*s. Is w(d) prime?
False
Suppose 301 = 4*u + 21. Let a be ((-48)/128)/(2/(-16)). Suppose -f = -a*f + u. Is f prime?
False
Suppose 1110 = 9*x - 3*x. Is x prime?
False
Let l = -7 - -77. Let a = -15 + l. Is a composite?
True
Let s = 119 - -516. Is s composite?
True
Let x(l) be the third derivative of l**6/120 + l**5/12 - l**4/12 + l**3/2 - 2*l**2. Is x(-5) composite?
False
Let m(f) = 1. Let b(w) = 332*w**2 + 7. Let u(x) = b(x) - 6*m(x). Let s be u(1). Suppose -203 = 4*j - 7*j - p, -5*j + p = -s. Is j prime?
True
Suppose -662 = -6*v + 4*v. Is v prime?
True
Suppose 2*m = b - 2*m + 177, 2*m + 189 = -b. Let z = 264 + b. Is z composite?
False
Suppose -400 = 2*s + 5*i - 3239, 4*s = -i + 5651. Let d = -345 + s. Is d composite?
True
Let r(p) = 3*p - 8. Let x be r(4). Suppose -3*n = -0*h + 5*h - 1517, -16 = -x*h. Is n a prime number?
True
Suppose 4 = -m - 3*m. Let h be m*(-2 + 0 - -6). Is ((-639)/18)/(2/h) a composite number?
False
Let u = -3 + 1. Is u + 86*(-12)/(-8) prime?
True
Let b(l) = 66*l**2 + 3*l + 1. Is b(-2) composite?
True
Let z = 25 + -102. Let y = 113 + z. Suppose -s - 5*a - 2 + 3 = 0, 0 = s - 2*a - y. Is s prime?
False
Suppose 2*f + 27 + 1 = -4*o, -f - 8 = 4*o. Let x = f + 55. Is x composite?
True
Let x(i) be the third derivative of 0*i - 2*i**2 - 1/2*i**3 + 0 - 7/12*i**4. Is x(-5) composite?
False
Let m be (0/1)/(0 + 1). Suppose m*p - 2*y - 742 = -2*p, 5*p - 1869 = -2*y. Is p composite?
False
Let a be 55/25 - 2/10. Suppose -4*o + 2*j + 126 = 0, 0*o + 5*j = a*o - 51. Is o composite?
True
Is 12/8*(-794)/(-3) prime?
True
Let d(h) = h**2 - h - 1. Let b(n) = 0 + n - 2 - 3*n - 11*n**2. Let j(w) = -b(w) + 3*d(w). Is j(-1) prime?
False
Let x(b) = 2*b**3 - 2*b**2 - 3*b + 4. Let f be x(3). Suppose a = 114 - f. Is a a prime number?
True
Let f = 122 + -197. Suppose -5*x + 638 = -v - 169, -636 = -4*x + 4*v. Let d = f + x. Is d composite?
True
Let r(h) = -444*h**3 + 2*h + 1. Is r(-1) composite?
False
Let l(d) = -4*d**3 - 5*d**2 - 3*d - 3. Let u be 1*4/6*-15. Let p = u + 7. Is l(p) a composite number?
True
Let o(w) = -5*w**2 - 8*w - 19. Let z(x) = -2*x**2 - 3*x - 6. Let a(t) = 3*o(t) - 8*z(t). Let g be a(0). Is 112/3 - (-3)/g a composite number?
False
Suppose -4 = 2*z + 10. Is -382*(3 + z/2) a composite number?
False
Let c = 1691 + 146. Is c prime?
False
Let g(f) = 2*f**2 + 6*f - 21. Is g(15) a composite number?
True
Suppose s + n = 2, 5*s - n - 3*n = 19. Suppose 2*u + 2*u - s*l = 21, -l = 4*u - 25. Suppose 76 = u*i - 2*i. Is i composite?
False
Suppose l - 71 - 44 = 0. Suppose l = 5*f - 150. Is f prime?
True
Let o = 6 - 6. Let v(x) = x**2 - x + 191. Is v(o) a prime number?
True
Let l = -852 + 1353. Is l composite?
True
Suppose -s + 56 = 3*u - 0*s, 4*u - 81 = 5*s. Is u composite?
False
Let s = 28 - -465. Is s prime?
False
Suppose -4*h + 34 = 2*r - r, 0 = -5*r + 10. Suppose k = -0*k + h. Let w(t) = 5*t - 6. Is w(k) composite?
True
Let b = 5 + -2. Suppose -26 + 5 = -p + b*v, -5*p - 3*v + 87 = 0. Let l = -11 + p. Is l composite?
False
Let q = 2 + -1. Let v be 1/(q + 1)*4. Suppose 2*y = 4*m - 44, -m + v*y + 0 + 11 = 0. Is m a prime number?
True
Let z(r) = 2*r**2 - r - 1. Let y be z(-2). Let v(m) = m**2 - 9*m + 7. Is v(y) a prime number?
True
Let z(x) = 28*x**2 + x - 1. Let r be z(1). Suppose -v + 3 = -0*v. Suppose v*n + n = r. Is n prime?
True
Suppose -2 = 3*j - 11. Suppose 91 = j*a - 0*y - 2*y, 5*y = -4*a + 129. Is a a composite number?
False
Suppose 927 - 145 = 2*c. Is c composite?
True
Is (4804/(-6)*1)/((-6)/9) prime?
True
Let y be 1/5 - 42/(-15). Let f(z) = 52*z**3. Let t be f(1). Suppose y*q = 7*q - t. Is q prime?
True
Let g(x) = x**3 + 8*x**2 + 1. Let l be g(-8). Suppose l = 5*a + 21, -3*p - 5*a = -217. Is p composite?
False
Let k = -2581 + 3709. Suppose 2*y + 86 = k. Is y prime?
True
Let x(y) = 3*y - 4. Let z be x(3). Suppose 636 = z*q + 151. Is q composite?
False
Suppose -3*d = 2*d - 425. Let l = d + -145. Let r = 115 + l. Is r a prime number?
False
Suppose -259 - 314 = -3*h. Is h a prime number?
True
Let g(j) = 2*j - 6. Let a be g(4). Suppose -x = -3*y - 4, -4*y + a*y + x - 4 = 0. Suppose y = h + 1, 2*u + 4*h = u + 10. Is u a prime number?
False
Let a(b) = -b**3 - 12*b**2 - 3*b - 1. Let l be (-81)/7 + 15/(-35). Is a(l) a prime number?
False
Suppose -f + 492 = 4*z, -5*f = -0*z + 3*z - 369. Is z composite?
True
Let o(f) be the third derivative of f**4/24 + 2*f**3/3 - 4*f**2. Let i be o(-4). Suppose 4*l - 3*m - 157 = i, 35 + 54 = 2*l - 5*m. Is l prime?
True
Let o(n) = 10*n - 14. Let x(l) = 29*l - 41. Let u(q) = 8*o(q) - 3*x(q). Is u(-8) composite?
False
Let a(k) = k**3 + 18*k**2 + 11*k + 5. Suppose -p + 16 = -3*p. Is a(p) composite?
False
Let r be (32/(-6))/((-1)/12). Suppose 4*l - r = -24. Suppose 2*k - 148 = -5*x, 0*x + l = -5*x. Is k composite?
False
Is (-2)/2*2 - -225 a composite number?
False
Let x(b) = -3*b**3 + 24*b**2 + 9*b + 15. Let c(h) = 4*h**3 - 36*h**2 - 14*h - 22. Let t(w) = -5*c(w) - 7*x(w). Is t(-7) composite?
True
Let g = 4 + -3. Let p be (g - (-111)/3)*1. Suppose n - p = -n. Is n prime?
True
Suppose 8*w - 3*w = 10. Suppose 10 = -2*l, -w*y - 6 = -l - 165. Is y prime?
False
Let k be (-6)/(-4)*8/6. Let r = -109 - -222. Suppose k*v = v + r. Is v prime?
True
Let s(p) be the second derivative of p**5/20 - p**4 - p**3/6 + 8*p**2 + 3*p. Let u be s(12). Suppose -u*w = 2 + 6, -h + 22 = -4*w. Is h prime?
False
Suppose 0*q = 2*q. Suppose 2*u + u - 201 = q. Is u a prime number?
True
Let z(u) = -4*u - 5. Let o be (-30)/8*16/6. Is z(o) prime?
False
Let w(n) = n**2 - 6*n - 1. Let k(m) = m**3 - 9*m**2 - 2*m + 1. Let c(r) = r**3 - 10*r**2 - r + 1. Let q(y) = 5*c(y) - 6*k(y