5*o + 4. Let n = 2 - 6. Let y be k(n). Let c(z) = -z**3 - z**2 + z + 43. Is c(y) composite?
False
Let m(k) = k**2 + 12*k - 16. Let i be m(-12). Let o = 187 - i. Is o prime?
False
Let w = 14 - 8. Suppose 6*a - w = 4*a. Suppose 5*b + 5*z - 122 = 2*z, -a*z - 54 = -3*b. Is b a prime number?
False
Let x = 148 - 27. Is x a prime number?
False
Suppose -2*m + 59 = -111. Is m a prime number?
False
Let f(u) = 20*u**2 - 5*u + 1. Let d = -6 - 0. Is f(d) composite?
False
Suppose 4*o - 3928 = 5*v, 4*o - 2*v - 3928 = -v. Is o prime?
False
Suppose 2*j = 5*y - 0 + 1, 5*y = -j - 7. Let d(m) = -104*m**3 + 2*m**2 + m + 1. Is d(y) a prime number?
False
Suppose 5*t - 34 = -2*u + 6*u, t + 2*u = 18. Suppose 0 = 5*q - 2*r - 16 - 9, -t = 2*r. Suppose 5*d - 1013 = 2*o, 0 = 4*d - q*d - 5*o - 198. Is d prime?
False
Suppose 2*b - 2 = 4. Suppose -b*y = f - 2 + 1, -2*f - 5*y + 2 = 0. Is (2 - 2)/f + 26 composite?
True
Let c(h) = -h**3 + 6*h**2 - 3*h - 7. Suppose -d - 4*d + 25 = 0. Let x be c(d). Suppose 0 = w - 3*v - v - 57, -2*v = x*w - 241. Is w composite?
True
Suppose -230 = -5*z - h, -z - 52 = -2*z + h. Is z a composite number?
False
Suppose -4*n + 994 = -2*o, -2*o + 517 = 4*n - 497. Is n composite?
False
Is (-6992)/(-5) - 3/(-5) composite?
False
Let h(o) be the third derivative of -41*o**6/30 - o**5/60 - 3*o**2. Is h(-1) prime?
True
Suppose 4*p - 2*l = -l + 305, -4*l = 3*p - 243. Is p composite?
True
Let n = 96 - 68. Suppose 2*t + l = 3*l - n, -5*t + 3*l = 64. Is (6 + 0)/3 - t prime?
True
Let g(q) = -4*q**2 - 11*q + 7. Let p be g(7). Is ((-14)/(-4))/((-7)/p) a prime number?
False
Suppose 2*z + 0*s + 2*s - 20 = 0, 5*s = 5*z. Suppose 5*k = -5*x + 1558 - 108, -z*x = 25. Is k prime?
False
Let d(f) = f**2 + 0*f + 4*f - 15 + 2*f. Is d(-12) composite?
True
Suppose 0 = 4*r - 3*s - 12, 0 = -5*r - s - 0*s - 4. Suppose 2*i = -r*i + 6. Suppose 0 = -d + i*q + 19, 5 + 7 = -4*q. Is d prime?
False
Let i(a) = 2*a - 15. Is i(11) composite?
False
Let y(v) = 71*v + 10. Let q = -23 - -34. Is y(q) composite?
True
Let i(b) = b**3 + 10*b**2 - 12*b - 5. Let z be i(-11). Let o = z + 1. Is o prime?
True
Suppose -h - 30 = 4*u - 179, -5*u + 180 = -5*h. Is u a composite number?
False
Let v(j) = -13*j - 1. Let p be v(-2). Let u = 7 + -25. Let i = u + p. Is i a composite number?
False
Let c(v) = 449*v - 3. Is c(1) a composite number?
True
Is 131 - 0 - (2 - -2) prime?
True
Suppose -149 = -s - 18. Is s a composite number?
False
Suppose 0 = -2*p + 3*p + 4, 2*t = -4*p + 10638. Is t a composite number?
True
Suppose 0 = -m - 2 + 7. Suppose -2*k + 5*c - 3 = 0, 0*k + m*c + 3 = 3*k. Let u = k - -15. Is u composite?
True
Let s = -8151 - -12734. Is s composite?
False
Let p(t) = 2*t**2 - t + 1. Let m be p(2). Is 219/m - (-4)/(-14) composite?
False
Suppose 17 = 5*u + c, -2*u + u - 2*c = -7. Let y(z) = 2*z**2 - 2. Let n be y(-3). Suppose u*h - 109 = -n. Is h a composite number?
False
Let s(q) = -93*q**2 - 1. Let l be s(1). Let j = l - -191. Let m = j - 51. Is m a prime number?
False
Suppose -l = 4*q - 726, -2*l + 6*q = 3*q - 1474. Is l a composite number?
True
Suppose -5*i - 10 = d + 9, -i = 5*d - 1. Let r(g) = 5*g**2 + 2*g + 2 + g**3 + g - 4*g. Is r(i) prime?
False
Let g(u) = -u**2 + 4. Let c be g(-4). Let x be (-20 - 1)/(c/160). Is x/6 + (-1)/(-3) a composite number?
False
Is ((-1956 + 0)/2)/(-2) a composite number?
True
Suppose -5*o + 50 = -0*l - 4*l, -5*l = 4*o - 40. Is (-416)/(-20) + 2/o composite?
True
Suppose -f + l = 2*f - 1231, -4*f - 2*l = -1628. Is f prime?
True
Let i be -1 + 0 + 4 + 1. Let u be 5 - 1*(-2 + i). Is 192/2 + 3/u a composite number?
False
Let o(h) = h**2 - 5. Let x be o(0). Let z = x - -11. Let l = z + 41. Is l a prime number?
True
Suppose 3*d + g = 16, 0 = -4*d - g - 0*g + 23. Suppose -2*f + 2*m = -8, 3*m - d*m = -5*f + 20. Suppose 6*p - 42 = f*p. Is p composite?
True
Is ((-218)/8)/((-7)/56) a prime number?
False
Suppose -4*k = 4*p - 320, 3*k - 3*p - 245 = -p. Is 18/k + 169/9 composite?
False
Suppose -495 = -2*a - 3*y, 0*a = -a - y + 248. Let g = -183 + 323. Let c = a - g. Is c prime?
True
Let m be (3/(-2))/(3/(-52)). Suppose 0 = -4*q + 102 - m. Is q a composite number?
False
Let i = -3 + 8. Suppose u - 16 = -3*u - i*n, 5*u + n = 20. Let r = 111 + u. Is r a composite number?
True
Suppose -y - 38 = -3*y. Is y prime?
True
Let l be 4*(-2)/(-5 + 3). Suppose -l*c + 72 + 244 = 0. Is c a prime number?
True
Let s(b) = 11 + b + b - b - 5. Is s(-3) a prime number?
True
Let n(t) be the second derivative of -7*t**5 + t**2/2 + 2*t. Is n(-1) prime?
False
Suppose 4*z - 2*l - 22 = 0, 4*z - 4 = -5*l + l. Let u(d) be the second derivative of d**5/10 + d**4/6 + d**3/6 - d**2/2 - d. Is u(z) composite?
False
Suppose -2*d = 9 - 1, 0 = -z + 3*d + 257. Let n = -130 + z. Is n composite?
True
Let w be (-2)/(-7) + (-116)/14. Let k = 5 + w. Is (k - (-10)/4)*-158 a composite number?
False
Let n be (-1 - -4) + 8 + -9. Is 40*4 - n - -3 composite?
True
Suppose 0 = -2*x + 5*d - 9, -2*x - 6 = -0*x - 4*d. Suppose 0 = 2*p + 4*o - 246, p - x*o = 117 - 4. Is p a composite number?
True
Let t = -2350 + 6213. Is t a composite number?
False
Suppose 4*v + 0*v - 24 = 0. Suppose 4*f + 27 = y, -y - 3*f - 152 = -v*y. Is y a composite number?
False
Suppose 3*b - 25 = -4. Let l = b - -30. Is l composite?
False
Let c be 3 - (-3)/(1 + 2). Suppose 0 = p - 3*h - 547, p - c*h = 492 + 53. Is p composite?
True
Let r(j) = -j**3 - 3*j**2 - 2*j - 4. Let s be r(-3). Suppose -4*w - 21 = -5*c, 3*w - 5*c = s*w - 24. Is (-4)/12*(-160 + w) a composite number?
False
Suppose 5*f = -3*x + 504, x - 285 = -3*f + 5*x. Let r = -44 + f. Is r a prime number?
False
Let v(b) = -b**2 + 3*b + 4. Let u be v(4). Suppose 245 = 5*c - u*c. Is c prime?
False
Let h(v) = 4 - 2*v + 4 + 0 - 1. Is h(-9) a prime number?
False
Suppose -4*w = 3*h - 4*h - 213, -4*h = 20. Suppose -2*l + 62 = -w. Is l a composite number?
True
Suppose 4*f + 4 = -0. Let l = -7 + f. Let d = l - -15. Is d composite?
False
Let a(f) = -f**3 - 7*f**2 - 9*f - 4. Let u be a(-6). Suppose 3*x - 12 = 6*x. Let n = u + x. Is n a prime number?
False
Let c(l) = l**3 - 4*l**2 + 5*l - 3. Let k be c(3). Let d(h) = h**2 - 4. Let q be d(-5). Suppose q = 4*b - k. Is b a prime number?
False
Suppose -186 = -4*s - 2*x, -s + x + 4*x = -30. Let m = s - -14. Suppose 3 = -4*n + m. Is n composite?
True
Suppose 2*h = 3*n + h - 4208, 4*n = -2*h + 5594. Is n prime?
False
Let x(g) = -58*g - 3. Is x(-5) prime?
False
Let z(p) = -10*p**3 - 4*p**2 + 15*p + 5. Is z(-6) prime?
True
Let k(c) = 25*c**2 - 8*c - 1. Let i(x) = -12*x**2 + 4*x + 1. Let d(t) = -13*i(t) - 6*k(t). Is d(-5) prime?
True
Suppose -5*m + 231 = -134. Suppose k = -3*p + m, -4*k + 160 = -2*k - p. Is k a composite number?
False
Let y = 9 - 15. Let i(p) = -p**3 - 5*p**2 - 8*p + 1. Let m be i(y). Suppose -100 - m = -5*f. Is f a composite number?
False
Let o be ((-4)/(-10))/(1/5). Let r be -2*(-7)/(-2) + o. Let h = r + 8. Is h a composite number?
False
Suppose 5*k + 6 = -2*r, 3*r - 5*k = -2*r + 20. Is r/(-9) - 346/(-18) a prime number?
True
Suppose g - 3*o = -59, 5*o - 10 = -0*o. Let c = 124 - g. Is c composite?
True
Suppose -5 = -l, 3*h = h - l - 5. Let p = -1 - h. Suppose w = -x + 35, 6*x - 119 = 3*x + p*w. Is x prime?
True
Let g(f) = f. Let i be g(5). Suppose i*z - 38 = 82. Is 1/(-4) + 510/z a prime number?
False
Let g = -1942 + 2874. Suppose -5*z + g = -z. Is z a prime number?
True
Let l(j) = j**3 - j**2 - 1. Let r be l(2). Suppose 3*k = -r*b + 342, 2*k + 2*k - 4*b - 448 = 0. Is k prime?
True
Is (-2)/((-4)/6)*211 composite?
True
Let m = 14 - 10. Suppose -5*y - 3*s + 25 = 0, -s - s = m*y - 18. Let l = y - -4. Is l composite?
True
Let h(l) = l**2 - 4*l - 2. Let b be h(-4). Let d = b + -17. Is d a prime number?
True
Let c = 871 - 227. Suppose -c = -6*z + 2*z. Is z prime?
False
Let j = 13 - 17. Let i(h) = -64*h + 3. Is i(j) a prime number?
False
Let o be 1652/7 - (0 + -2). Is -2*(o/(-4) + 0) composite?
True
Suppose -2*r + 2 = -2*a, 0*a + 6 = 2*r - a. Suppose 3*h - 50 = -r*k - 2*h, 3*k - 30 = -5*h. Suppose 52 = 3*n + k. Is n a prime number?
False
Let w(g) = -17*g + 4. Let d be w(-3). Let s be (-10)/d + 6780/22. Suppose 5*k - s = k. Is k a prime number?
False
Let w be 4 - 1*(-2)/(-1). Suppose 52 = w*x + 6. Is x a prime number?
True
Suppose 5*x + 17 = 4*q, -3*q + 2*x = -0*q - 