144 - b**5/60 - b**4/12 + 2*b**2. Let a(h) be the second derivative of l(h). Is a(9) a prime number?
True
Let y(r) be the second derivative of -17*r**3/6 - 3*r. Is y(-2) a composite number?
True
Suppose -3*p + 0*p + 1794 = 0. Let w = 322 - p. Is 1/(-2) - w/8 a composite number?
True
Let x(i) = -i. Let f be x(-4). Suppose 0 = 4*r - f - 4. Suppose -4*a - 2*b = -218, r*b + 57 = a - 0*a. Is a prime?
False
Is 4/(24/(-3))*-838 prime?
True
Suppose 0*b - 2*b + 2078 = 0. Is b prime?
True
Suppose 31 = t - 5*i, 5*t - i - 76 - 127 = 0. Let o = 12 - 0. Suppose d = t + o. Is d a prime number?
True
Is 1/((-10)/40 - (-542)/2136) a prime number?
False
Let k(w) = 224*w**2 - w. Is k(1) composite?
False
Suppose 0*m - 48 = -8*m. Is m a prime number?
False
Suppose -4*m = -24 - 24. Is 514*1*6/m prime?
True
Suppose 27 = -0*c + 2*c - 3*s, -3*c = 3*s - 33. Suppose -c = -3*r + 6. Suppose -3*q - 125 = -o, r*o + 5*q - 206 = 4*o. Is o prime?
True
Suppose 0*b = -i + 4*b + 139, 5*b = 0. Is i prime?
True
Suppose 4*n - 167 = l, 4*n = 6*l - l + 163. Suppose -n = -r - 3*d + 26, -129 = -2*r + d. Is r a composite number?
True
Suppose 5*s - 2 = 38. Suppose 0 = 2*c - 6*c + s. Suppose 3*o - 19 = c*o. Is o a composite number?
False
Let u = -1 + 1. Suppose -4*h - 565 + 169 = u. Is ((-14)/(-3))/((-6)/h) a composite number?
True
Let f(u) = 6 + 47 + 30 - u**3. Is f(0) prime?
True
Suppose -6*q = -7*q + 1039. Is q a prime number?
True
Let w(d) = -d**3 + 7*d**2 + d - 4. Let t be w(7). Suppose -3*h - 69 = t*b, 0 = -h - 2*b - 18. Is (-7)/h + 211/4 composite?
False
Suppose 7*x - 17*x + 14230 = 0. Is x a composite number?
False
Let m(h) = 4*h + 11. Is m(5) prime?
True
Let i = 22 - 6. Let b be (-4)/6 + (-29)/(-3). Let u = i - b. Is u composite?
False
Let a(b) = -5*b**2 + 6*b - 1. Let f be a(-8). Suppose 5*p - 40 = -0*p. Is 2/p + f/(-12) a prime number?
True
Let s be ((-2)/6)/(3/(-18)). Is (-325)/(-45) + s/(-9) composite?
False
Let k(b) be the first derivative of -b**4/4 + 3*b**3 - 7*b**2/2 + 6*b + 39. Let m(h) = -h**3 + 3*h**2 + 3*h - 2. Let c be m(3). Is k(c) prime?
False
Suppose 3*f + l = 433, -348 = -3*f + 4*l + 110. Suppose 0 = 4*t - 50 - f. Is t a composite number?
True
Is 6/3 - -1*4 prime?
False
Let b = -23 - -12. Let x = b + 34. Is x composite?
False
Let y = 154 - -933. Suppose 5*t - y = -b, 5*t - 3*b - 955 = 124. Is t composite?
True
Suppose 0*b + 4*b = 5*v - 7, b = -v + 5. Suppose -b*l = -2*n + 3*l + 60, 4*l = 8. Is n composite?
True
Let w(b) = -b**3 + b**2 + 35. Let f = 0 + 0. Let h be f*(1 - (-4)/(-2)). Is w(h) a prime number?
False
Let g(b) = 28*b + 4. Let c be g(4). Is c - (-9)/(1 + 2) composite?
True
Suppose -14099 = -5*w + 1226. Is w a prime number?
False
Let i = -28 + 143. Is i composite?
True
Let j = -1 - -4. Suppose 3*m - 3*t - 28 = 320, 0 = -2*m + j*t + 229. Is m a composite number?
True
Let l(v) = 139*v**2 + v - 27. Is l(5) composite?
True
Let v be (1 - 1)/(-2) - 2. Is 0/((-4)/v) - -49 a prime number?
False
Suppose r + 9 = 4*r. Suppose r*l - 14 = -5. Suppose -l*t = -t - 182. Is t composite?
True
Suppose -c - 8 = -57. Is c composite?
True
Let f(b) = 2*b**3 - 4*b**2 - 3*b - 23. Is f(7) prime?
False
Let j(c) = c**2 + 3*c + 4. Let w be 0/4 - (0 - 2). Let z(o) = -2*o - 3. Let g(b) = w*j(b) + 3*z(b). Is g(-2) prime?
True
Suppose 0 = -9*i + 2*i + 4431. Is i a composite number?
True
Let j = -111 + 238. Is j a composite number?
False
Let w(u) = u**2 - 6*u + 2. Let c be w(7). Let b be 2/(-8) - (-46)/(-8). Let y = c + b. Is y a prime number?
True
Let p(z) = -z**3 + 2*z**2 + z - 2. Let l be p(2). Let u(w) = w + 49. Is u(l) a prime number?
False
Let h = -754 - -2009. Is h a composite number?
True
Suppose h + 2281 = 4*h + 2*x, -5*x + 2269 = 3*h. Is h prime?
False
Suppose c - 6*c - 5*v = -320, -4*c = 5*v - 253. Is c a composite number?
False
Let v(g) = -17*g. Let x = -10 + 5. Is v(x) composite?
True
Suppose -5*t - 10 = 5*v, -4*t - 10 = -3*t + 5*v. Suppose 295 = -t*u + 5*u. Is u composite?
False
Suppose 0*k - 3*k = -354. Is k a prime number?
False
Let k be (-1)/(1*(-2)/4). Is k/(-10) - (-36)/5 a composite number?
False
Let y = 22 - -71. Is y composite?
True
Suppose 10 = -b + 3*b. Let o be ((-1290)/(-4))/(20/40). Suppose 0*c + 4*n = -b*c + o, 128 = c + n. Is c composite?
True
Suppose 32 = 2*d - 4*j, -2*d = -4*j - j - 36. Let y = d - 4. Is y a prime number?
False
Suppose t - 63 = -2*r, 3*t + 0*t - r - 203 = 0. Is t a prime number?
True
Is 3/(-5) + 8080/50 prime?
False
Suppose q - 2*q = 6. Let p be (q/(-2))/((-3)/45). Is 2/(2*(-3)/p) a composite number?
True
Suppose 2*u - 22 = u + 2*z, -3*u - 2*z + 58 = 0. Let v = 11 + u. Is v a prime number?
True
Suppose 1603 = 4*p + 5*t, 0 = -3*p - 5*t + 862 + 344. Is p composite?
False
Suppose 6*x = 3*x - 90. Let g = x - -53. Is g a prime number?
True
Let w(t) = -2*t - 5. Let j = 6 - 11. Let y be w(j). Suppose -y*g + 14 = -4*g. Is g a prime number?
False
Let m(w) be the second derivative of w**5/20 + w**4/3 + 3*w**2/2 - 2*w. Is m(-4) composite?
False
Suppose -14 = -5*s + 11. Suppose -s*m + 1056 = 3*b + 214, -660 = -4*m + b. Suppose p + p = m. Is p composite?
False
Let s(b) = 28*b - 2. Let t be s(3). Let r = 38 + -29. Let i = r + t. Is i a composite number?
True
Let b be (-352)/(-28) - 4/7. Is -3*((-88)/b + 4) a prime number?
False
Let j(l) = 4*l**2 + 12*l - 17. Is j(-12) composite?
True
Let n(o) = 38*o**2 - o**2 + 1 + 0. Is n(-1) a composite number?
True
Suppose -x + 4 = 4*r + 1, -2*x + 3*r = -17. Let a(b) = -b**2 + 8*b - 9. Let l be a(x). Is 1 + l + (-192)/(-6) a prime number?
True
Let t(d) = 5*d**2 - 24*d - 39. Let r(p) = p**2 - 5*p - 8. Let g(z) = -11*r(z) + 2*t(z). Let j be g(8). Suppose j*m = -m + 483. Is m a composite number?
True
Suppose w = 45 + 658. Is w a composite number?
True
Let t = -39 - -59. Let s = t + -61. Is (-2)/3 + s/(-3) a prime number?
True
Suppose 38 = 4*z + 5*s + 9, -2*z + 2*s = 8. Suppose -2*k = 3*y - 759, 0*y = y + z. Is k a composite number?
True
Suppose -l = 3*l - 8. Let d = 0 + l. Let t(n) = 51*n**2 - 2*n - 1. Is t(d) composite?
False
Let l be 21/9 - (-2)/3. Suppose 0 = l*m - 5*r - 407 + 43, -5*m + 550 = 3*r. Is m composite?
False
Is 12/42 + 971/7 a composite number?
False
Let j = 10 + 6. Let z = -23 + j. Let x(f) = -f**3 - 5*f**2 + f. Is x(z) composite?
True
Let v(i) = 165*i - 1. Let h be v(2). Suppose 3*f = -2*f + 255. Suppose -3*t + 432 = -y, h = 2*t - 4*y + f. Is t composite?
True
Let j(g) = 5*g**2 - 5*g + 1. Let c(n) be the third derivative of -7*n**5/30 + 2*n**4/3 - n**3/3 + n**2. Let h(z) = -6*c(z) - 17*j(z). Is h(-8) composite?
False
Let b(p) = 26*p + 3. Let d = -4 + 9. Is b(d) prime?
False
Suppose -4*h - 103 = b, 2*b - 5*b - 5*h = 302. Let p = -38 - b. Suppose 0 = -2*o - 5*r + p, r + 8 = 4*o - 81. Is o a prime number?
True
Suppose -14*u + 5372 = -3770. Is u composite?
False
Let d = 1396 - 578. Suppose 2*b + d = 4*b. Is b prime?
True
Suppose -5*o + 0 + 555 = 0. Let s = o + -42. Suppose -2*d = d - s. Is d a prime number?
True
Let m(l) = -l**2 + l + 2939. Is m(0) a prime number?
True
Suppose -23 = -5*c - 3. Suppose -p = c*p - 10. Suppose x - 3*q = p*q + 46, 5*x - 2*q - 161 = 0. Is x a composite number?
False
Suppose 0*z + 5*m + 11 = -3*z, -4*z = -5*m + 3. Let l(j) be the second derivative of -10*j**3 + j**2/2 + 6*j. Is l(z) prime?
False
Let t = -1 - -2. Suppose -348 = -w + 284. Is (t - 3) + w/8 a prime number?
False
Let g(b) = b**2 + 9*b - 10. Let i be g(-10). Suppose r + 4 = i, 4*j = 2*j + 4*r + 46. Is j a composite number?
True
Suppose 5*a - 59 = -5*w + 16, -9 = -a - 3*w. Suppose -2*c + 3 = -3. Suppose i = -3*t + 44, 0*t + c*i + a = t. Is t a prime number?
False
Let f be 0 - (-1 - 0/(-1)). Let h(v) be the first derivative of 4*v**4 - v**2/2 - 1. Is h(f) a prime number?
False
Let f(d) = d - 5. Let y(k) = -k + 20. Let c be y(10). Let v be f(c). Suppose 0 = 5*l + v, -q + 2*l + 106 = 3*q. Is q composite?
True
Let x(c) = 35*c**3 - 3*c**2 + 3. Is x(3) composite?
True
Let n(u) = 19*u**2 + 6*u - 6. Is n(5) a composite number?
False
Suppose -3*b = b - 52. Let l = b + -6. Is l a prime number?
True
Suppose -1202 = -4*s + 2*f, s + 2*f - 313 = 5*f. Suppose -2*q + s = -0*q. Is q prime?
True
Suppose 3*f - f = -4. Let q(v) = -3*v**3 - v**2 - v - 1. Is q(f) composite?
True
Let d be (-3 - -4)*(94 - 1). Let m = d - 59. Is m prime?
False