e second derivative of 8*z**4/3 + z**3/3 + z**2/2 + z. Is s(p) a prime number?
True
Let y(b) be the second derivative of -b**4/12 + b**3 + 5*b**2 - b. Let r be y(7). Suppose 0*v + 13 = v + r*p, -4*v + 104 = -p. Is v a prime number?
False
Suppose 0 = 2*l - 4*l + 4*d + 1630, d = 4*l - 3281. Is l composite?
False
Let r(x) = -x**2 - 6*x + 1. Let k be r(-3). Is 6954/14 + k/35 prime?
False
Suppose 3*n = 135 + 138. Suppose 3*r = -1 - 5, -5*c - 2*r + n = 0. Is c a prime number?
True
Let q be (3 - 6)*(-4)/3. Suppose 5*k + 0*k - 5 = -5*f, -f - 9 = -q*k. Let u(r) = 127*r**2. Is u(f) prime?
True
Let n(a) = 10*a**2 + 5*a + 3. Let w be n(6). Suppose 0 = -5*m + w - 128. Is m composite?
False
Let z(x) = -4*x**3 + 3*x**2 - 12*x - 2. Let p(d) = d**3 + d. Let k(u) = -3*p(u) - z(u). Is k(5) a prime number?
True
Let z = -44 - -64. Let p = z - 14. Is p composite?
True
Let v = -86 - -177. Is v prime?
False
Let u(z) = 4*z**2 - 7*z + 3. Let w(b) = -5*b**2 + 8*b - 2. Let k(r) = 6*u(r) + 5*w(r). Let t be k(7). Let f = -30 - t. Is f a prime number?
False
Suppose -s + 13 = 4*j, -s - 7 = -2*j + j. Is (22/j)/((-1)/(-2)) composite?
False
Let l = 1226 - -215. Is l prime?
False
Suppose -5*d - 4*t + 3 = -17, 0 = d + 3*t - 15. Suppose d = 2*k - 4*k + 406. Is k composite?
True
Let b(c) = -5 - c**3 + 6*c - 10*c + 3*c**2 + 6*c + 4*c. Let z be b(4). Suppose -3*x = -z*g - x + 201, -4*g = x - 279. Is g prime?
False
Suppose 158 - 466 = -3*f + 2*i, -2*f + 4*i + 216 = 0. Let p(k) = -k**3 - 5*k**2 + 3*k - 3. Let t be p(3). Let h = f + t. Is h a composite number?
True
Suppose -2*l - 372 = -2*f, 0 = 3*l + 1 - 4. Is f a prime number?
False
Let t be -2 - (-4 + 1 + -2). Suppose -t*w - 13 + 34 = 0. Is w a prime number?
True
Suppose -j = -4*j + 468. Let h = j - -5. Is h composite?
True
Suppose -3*c + 4*h = -775 - 1450, c - 741 = 2*h. Is c composite?
False
Let a(k) = -4*k**3 - 5*k**2 + 6*k + 9. Is a(-4) a prime number?
False
Let t(l) be the first derivative of 161*l**2/2 + 2*l + 6. Is t(1) composite?
False
Let r(z) be the second derivative of -2*z + 3/2*z**2 + z**3 + 0. Is r(3) a composite number?
True
Let v = 14 - 9. Suppose -2*m + m = 4, -5*m + v = 5*t. Is (t - (-1 - 1))*1 composite?
False
Is (2 - 5/((-40)/(-12)))*4474 a prime number?
True
Let f = 95 + -18. Is f composite?
True
Let r be -320 + 2/(-4)*2. Let y = r + 460. Is y prime?
True
Let a = 510 + -851. Let w = a - -768. Is w a prime number?
False
Let w = 672 + 207. Is w a prime number?
False
Suppose -25*n + 177 = -22*n. Is n a prime number?
True
Let v = 1293 - 680. Is v composite?
False
Let s(k) = -6*k - 3*k - 7 + k. Is s(-7) a prime number?
False
Let d(q) = q - 1. Is d(12) a prime number?
True
Let n be (-2)/6*0/(-3). Suppose n = 4*x, 3*x + 545 = 2*k + 3*k. Is k a composite number?
False
Let h(y) = y**3 - 15*y**2 - 4*y - 13. Is h(18) a prime number?
True
Let d = -3 - -3. Let n(p) = -3 + d - 6*p + 5*p. Is n(-7) prime?
False
Let x(d) = -14*d + 46*d - 4 + 5. Is x(8) a composite number?
False
Let u(h) = -h**2 - 3*h + 10. Let o be u(-7). Is (-187)/(-9) + (-4)/o composite?
True
Let f(j) = -3*j - j + 2*j - 5 + 3. Is f(-3) a prime number?
False
Let r(c) = 2*c**2 + 4 - 3*c**2 - c + c + c. Let y be r(0). Suppose 4*u = y*w + 56, 4*w - 47 = -5*u + 23. Is u a prime number?
False
Suppose -16*s + 1695 = -s. Is s a prime number?
True
Let m = 51 - 118. Let y = m - -104. Is y a prime number?
True
Suppose -2*m = -t + 207, -974 + 96 = -4*t - 2*m. Is t composite?
True
Suppose 2*z = 4*z. Suppose -5*v + 186 + 178 = -3*u, z = v + 5*u - 56. Is v a prime number?
True
Suppose p + 3*s - 13 = 0, -26 = -5*p - 4*s + 50. Suppose p = -2*d + 268. Suppose 4*a - 136 = -4*b, b + 2*b - d = 3*a. Is b composite?
True
Let t(c) = 34*c - 20. Let r be t(8). Suppose -2*s + r = -130. Is s composite?
False
Let l(u) be the second derivative of -u**7/420 - u**5/120 + u**4/24 - u**3/6 - 2*u. Let y(o) be the second derivative of l(o). Is y(-2) a prime number?
True
Let c(w) = 14*w**2 + 1. Let m(g) = 15*g**2 + 1. Let h(s) = 3*c(s) - 2*m(s). Let n(q) = -q**2 + q - 1. Let v be n(1). Is h(v) prime?
True
Let i = 195 - 68. Is i prime?
True
Let g(t) = 3*t**3 + t. Let c be g(-1). Let k = c + 45. Let j = -26 + k. Is j a composite number?
True
Let o(w) = -3*w**2 + 4*w**2 - 2*w**2 + 9 - 9*w. Suppose 3*a = -4*b - 29, -4*b - 31 = 3*a + b. Is o(a) a composite number?
False
Is 3/((-30)/(-8)) + 102837/35 a composite number?
False
Suppose -2*a + 5*a + 15 = 0. Is 2/(a/(870/(-4))) a composite number?
True
Let z = -17 + 3. Is 4/z + (-360)/(-35) a composite number?
True
Suppose 0 = -3*u - 3*s + 804, -u + 2*s = s - 266. Suppose -u = 4*f - q, 4*f + 2*q - q + 261 = 0. Is (f - 1)/(2/(-2)) composite?
False
Let s = -45 + 67. Suppose 21*u = s*u - 9. Is u prime?
False
Suppose -2*v - 3*q = -759, q + 3 = 2. Is v prime?
False
Suppose z - 9 = -0*z + 4*k, z + 3*k + 12 = 0. Let m = -156 - -82. Is (m/6)/(1/z) prime?
True
Suppose -2*p - 26 = -3*v, -5*v = -4*v - 3*p + 3. Is (188/v)/((-1)/(-15)) a composite number?
True
Let c be ((-12)/4)/3 + 1728. Is (c/44)/((-1)/(-12)) composite?
True
Let f(g) = g - 2 + 5*g**3 + 0*g**2 - 4*g**3 - 2*g**2 + 0*g**3. Let o be f(8). Let q = o - 187. Is q prime?
False
Let l(o) be the second derivative of 5*o**4/6 - 5*o**3/6 + 3*o**2 + 2*o. Let f be l(4). Suppose -3*d + f = -103. Is d a composite number?
False
Let k = -3691 - -6684. Is k a prime number?
False
Suppose 0 = -5*y - 2*x + 34, 3*y - 28 = -4*x - x. Let j(c) = -2 + 2*c**2 + c**2 - y*c**2 + c**3. Is j(4) a composite number?
True
Suppose -2*q - 3*n + 90 = -23, 0 = 4*q + 3*n - 217. Suppose 4*b - 70 = -5*j + q, -2*b = -3*j + 82. Let x = j - 11. Is x a composite number?
True
Let s be 1/(-2) - 21/(-6). Is s/(-15) + (-2088)/(-15) a composite number?
False
Let i(b) = 1141*b - 38. Is i(5) a composite number?
True
Let t = -5 + 5. Is (65 - t/(-2)) + 2 a prime number?
True
Suppose -4*j = -3*j - 51. Let b = 28 - j. Is -1 + (-1 - b) - -2 a prime number?
True
Let l(a) = 55*a**3. Let c(i) = -i + 5. Let s be c(6). Let v = 0 - s. Is l(v) composite?
True
Let h = -103 + 304. Is h composite?
True
Suppose -2*m - 3*m = -140. Suppose 3*g - 4*g - 2*p + m = 0, -g + 4*p = -22. Suppose 3*r = r + g. Is r composite?
False
Let n(c) = 10*c**3 + 4*c**2 - 5*c + 2. Is n(3) a prime number?
True
Is 1*(312 - 1 - 4) prime?
True
Suppose -82 = -5*q + 53. Let f = 50 + q. Is f a composite number?
True
Let n(d) be the second derivative of -d**3/6 + d**2/2 + 2*d. Let t(g) = 2*g**2 + 11*g - 8. Let s(i) = 6*n(i) + t(i). Is s(-4) prime?
False
Let s(r) = -r**3 - 1. Let h be s(-1). Suppose h = 3*k + 5*u - 811, -12 - 516 = -2*k + 3*u. Is k prime?
False
Let g = -1 + 4. Let y = 0 + g. Suppose -y*s = -5*d - 29 - 56, 4*s = -4*d + 156. Is s a prime number?
False
Let x be (2/2)/(1/(-19)). Suppose a + 113 = 2*a. Let j = a + x. Is j composite?
True
Let u = 734 - 321. Is u a prime number?
False
Suppose -c = 3*x - 636, -x - 3*x + 5*c = -829. Is x prime?
True
Let m = 1 - -2. Is 115/m + (-1)/3 a composite number?
True
Suppose 2*m + p - 4 = 4*p, 0 = 4*m - p - 8. Suppose j = -0 + 2. Suppose 2*q + 10 = 0, 255 = -m*b + 7*b + j*q. Is b composite?
False
Suppose 0 = 3*m - 12, 2*s - 27 = -2*m + 17. Suppose -3*d + 218 = -115. Let l = d - s. Is l prime?
False
Let w be 3 - (2 - (2 - 1)). Suppose 155 = w*x - 15. Is x a composite number?
True
Let x(z) = 13*z**3 + z - 1. Let p be x(2). Let w = -74 + p. Is w prime?
True
Is 6/9 + (9254/(-6))/(-1) a prime number?
True
Let u = 36 - -143. Is u a prime number?
True
Suppose -11 = -3*x + 4. Suppose -381 = -x*t + 1214. Is t prime?
False
Let c = -542 - -835. Is c prime?
True
Suppose 0*s = b + 3*s - 124, -3*b + s = -362. Let t = -17 - -92. Suppose 0 = -4*i + t + b. Is i composite?
True
Let k(d) = -d + 5 - 28*d - 17*d - 4. Is k(-1) a composite number?
False
Let a(g) be the first derivative of g**4/4 - 7*g**3/3 + 7*g**2/2 - 8*g - 1. Let i be a(6). Is ((-25)/i)/(-5)*-4 composite?
True
Suppose -4 = -5*m + 6. Suppose 0 = -d + 4*n + 1, 3*d = -5*n + m + 52. Is d a composite number?
False
Let y(r) = 2*r**2 - r + 2. Let o(q) = -q - 3. Let g(b) = 2*b + 5. Let j(h) = 3*g(h) + 5*o(h). Let s be j(-3). Is y(s) prime?
True
Suppose -3*h = -c + 53, 0 = 5*c - 0*h + h - 185. Let d = 1 + c. Is d a composite number?
True
Suppose -351 = -l + 2*p, 0*l - 2*p = l - 363. Let o = l - 158. Is o compos