rd derivative of z**4/24 + 257*z**3/6 + 6*z**2. Is u(0) a prime number?
True
Suppose 6 - 11 = 5*t. Is ((-1)/(-2))/(t/(-134)) a prime number?
True
Let y(w) = -w**3 - 5*w**2 + 5*w + 9. Let i be y(-6). Suppose -q + 10 = -i. Let t = -6 + q. Is t composite?
False
Let t = 0 + 6. Suppose -y - y = t. Is (-2)/6*333/y composite?
False
Is -2*(-3)/(-9)*933/(-2) composite?
False
Suppose -1614 = -3*i - 0*i. Suppose 3*u = -64 + i. Is u a composite number?
True
Let d(n) be the first derivative of n**4/4 - 2*n**3/3 + n**2 - 5*n + 1. Is d(4) a composite number?
True
Let s = 3 - 12. Let u = -18 - s. Is (-74)/3*u/6 a prime number?
True
Suppose 0 = 2*x - 203 - 231. Is x prime?
False
Let z(w) = 3*w**3 - 3*w**2 + 5*w + 1. Let o be z(4). Suppose -12*c - o = -17*c. Is c prime?
False
Let z = 119 + 296. Is z composite?
True
Let p = 779 + -1269. Let n = -931 - p. Is (-4)/(-6)*n/(-6) a prime number?
False
Let h = 789 + -416. Is h a composite number?
False
Let b be (-2415)/9 - (-4)/12. Is b/6*9/(-6) a prime number?
True
Let q(m) = 41*m + 6. Suppose 2*y + 10 = 24. Is q(y) prime?
True
Suppose 3 = b + 6, -3*b + 39 = -3*o. Let t be (-81)/(-4) - 12/o. Suppose -y - t = -4*y. Is y a composite number?
False
Suppose 7*a = 3*a - 20. Let j(n) = 7*n**2 + 4*n + 4. Is j(a) a prime number?
False
Let a(z) = 19 + 1 + 11*z - 12*z. Is a(9) prime?
True
Let v(b) = -b**3 - 5*b**2 + 5*b - 2. Let k be v(-6). Suppose -z = -k*u + 440, z - 110 = u - 2*u. Is ((-6)/3)/((-4)/u) a prime number?
False
Suppose 3*b = -y + 3, 0 = 4*b + b - 5*y - 25. Let x = b - -3. Suppose 0 = -3*n - 7 - 2, 523 = 4*i - x*n. Is i a composite number?
False
Suppose -4*y + 7*y = 0. Suppose -5*c + 16 = -4*l, y*c - l = 3*c + 4. Is -3 + 188/(c - -2) prime?
False
Let j be 1 + 0 - 5 - 0. Let p be (-1 - 0)/(j/20). Suppose -45 = 2*k - p*k. Is k composite?
True
Let q(u) = 5*u - 1. Let a be q(5). Suppose 4*m - a = -0. Is m a composite number?
True
Suppose -5*z + 4*c - 11 = 0, -4*z - 4*c = z - 21. Is z/(-3 - (-70)/23) a prime number?
True
Let b = -209 - -501. Suppose -2*v - b = 2*v. Let r = v + 147. Is r a prime number?
False
Let o be -4 - -4 - (-3 + -1). Suppose -x = -o*b - 79, 2*x - 158 = -6*b + 2*b. Is x a composite number?
False
Suppose 15*f - 13*f = 4666. Is f composite?
False
Let u(o) = -o**2 + 10*o + 13. Let s be u(11). Suppose 0 = t + 1, t - 3*t - 100 = s*y. Is 6 - 7 - (-1 + y) prime?
False
Let d(s) = -s**3 + s + 55. Let l(p) = -p**2 - 6*p - 5. Let o be l(-5). Is d(o) a prime number?
False
Let j(n) = -2*n**2 + n + 2. Let o be j(2). Suppose 2*y = -y - 189. Let t = o - y. Is t a prime number?
True
Let f be 366/(-9)*(-6)/4. Suppose 2 = -o, -i - 5*o + f = -o. Is i a composite number?
True
Suppose 3*n + 2*n - 150 = 0. Let a = 15 - 8. Let k = n + a. Is k a prime number?
True
Suppose 5*f = 2*u + 423 - 99, 5*u - 147 = -2*f. Suppose 5*d - f = 2*d. Is d a composite number?
True
Let t = 100 - 985. Let m = -328 - t. Is m a composite number?
False
Let d be (6/(-4))/(3/(-24)). Let g = d + -8. Suppose -g*y + 9*y = 230. Is y composite?
True
Suppose -258 - 1880 = -2*n. Is n a composite number?
False
Suppose 457 = 7*y - 2210. Is y a prime number?
False
Suppose 37 = -u + 149. Let s = u + -57. Is s prime?
False
Let y(l) = -l**2 - 6*l + 6. Let c(s) = s**3 - s**2 - 1. Let m be c(0). Let i(o) = -o - 1. Let x(k) = m*i(k) - y(k). Is x(-8) a prime number?
True
Let d be (2 + 1)*65/39. Suppose -2*k + 36 = d*u - 229, 2*u - 125 = 3*k. Is u a composite number?
True
Let p(v) = -3*v**2 - 36*v + 49. Let o(x) = -x**2 - 12*x + 16. Let r(t) = -7*o(t) + 2*p(t). Is r(11) a composite number?
False
Let o(a) = a**3 - a**2 + 3*a + 1. Let l be o(7). Suppose 3*h + l = 7*h. Is h prime?
True
Suppose -i = 2*x, 4*x - x + 14 = -5*i. Suppose -y = 2*o - 101, -5*o - 4*y + 255 = -x*y. Is o a prime number?
True
Suppose -2*j + 25 = 3*j. Suppose -j*b + 0*b + 25 = u, -5*b - 3*u = -35. Suppose x + 530 = 6*x + 3*r, -3*r - 451 = -b*x. Is x a prime number?
True
Let m(z) = -53*z**3 - z**2 + 1. Let u(x) = -x**3 + 4*x**2 + 4*x + 4. Let w be u(5). Is m(w) prime?
True
Let v(c) = 4*c**3 - 2*c**2 + 2*c. Let b(p) = -2*p**3 + p**2 - p. Let r(u) = -7*b(u) - 4*v(u). Let d(a) be the second derivative of r(a). Is d(-2) composite?
True
Let i(t) = -t**3 - 4*t**2 - 5*t + 8. Is i(-13) a prime number?
False
Suppose 166 = 2*u - 160. Is u composite?
False
Let m(c) = -7*c**3 + 2*c**2 + 5*c - 1. Let h(f) = -14*f**3 + 4*f**2 + 11*f - 3. Let s(i) = 3*h(i) - 7*m(i). Is s(3) a prime number?
True
Let d be -2 - 9/((-27)/636). Let o = d - -199. Is o a prime number?
True
Let x(a) = a**2 - 4*a. Let j be x(5). Let y = -2 + j. Suppose 0*r - 45 = -y*r. Is r prime?
False
Suppose 0 = -3*k - 2*b - 325, -3*b = -5*k + 105 - 653. Let o = 184 + k. Let w = o + 44. Is w composite?
True
Let u(h) = -57*h - 48*h - 22*h. Is u(-1) a prime number?
True
Let v = 2 + -5. Let h = 0 + v. Is (-139)/h - 2/(-3) prime?
True
Suppose -5*o + 0*j = -j - 19, 14 = 2*o - 2*j. Let q = 0 + o. Suppose -2*l - q*r = 3*l - 485, 4*r = 0. Is l composite?
False
Let a(s) = 1 + s**2 - s - 2*s**2 + 1. Let w be a(-7). Let t = -7 - w. Is t a composite number?
True
Suppose -5*i = -i - 380. Suppose 4*h + 4*g - i = -h, 0 = -4*h - 4*g + 76. Is h a prime number?
True
Suppose -3*w + 7*w - 75 = -3*l, -2*w - 3*l + 33 = 0. Let h be (-1 + 4)*(-560)/w. Let d = 207 + h. Is d composite?
False
Is (-3574)/(-12) - (-6)/36 a prime number?
False
Suppose 1036 = 2*j + 2*j. Is j prime?
False
Let u = 3 - -2. Suppose 94 = a + 4*r, -2*r = -u*a - 3*r + 489. Suppose -n = -3*n + a. Is n a prime number?
False
Let m = -47 - -142. Let i = m + 126. Is i prime?
False
Suppose 2*p = p + 3037. Is p prime?
True
Let v(c) = c**3 - 6*c**2 + 7*c - 6. Let o be v(5). Let l(z) = -z**3 + z + 4. Let w be l(o). Let q = 114 + w. Is q prime?
False
Is (1 + 1 - 13)*(-7 + -76) a composite number?
True
Let z(x) be the second derivative of -x**3/6 + 9*x**2/2 - 2*x. Let j be z(5). Is (-3 + j)*(-26)/(-2) a prime number?
True
Let t = -79 + 36. Let c = 12 - t. Is c a prime number?
False
Let g(c) = -31*c - 5. Is g(-4) a composite number?
True
Let c be 144/1 - (-3 + 4). Let r(y) = -y**2 + 5*y + 3. Let n be r(5). Suppose -n*a - 50 = -c. Is a a prime number?
True
Suppose 7 = o + 3*m - 2*m, -2*m = -2*o + 2. Suppose o*q + 6 = 2. Is (0 - (q - 1)) + 20 prime?
False
Suppose -5*s + 4*r + 435 = 0, 3*r = 4*s - 113 - 234. Is s a prime number?
True
Is 32/(-304) - 667/(-19) composite?
True
Is (-12)/4 - (-3 - 191) composite?
False
Let n(q) = -q**3 - 4*q**2 - q - 3. Suppose -4 - 8 = 4*t. Let m be n(t). Let w(r) = -r - 6. Is w(m) a prime number?
True
Suppose 4*i + 5 - 17 = 4*m, -2*m = 5*i - 1. Suppose -7 = -2*g - i. Is 35*(-2 + g) + 2 prime?
True
Let r(g) = 31*g**2 - 10. Is r(3) composite?
False
Suppose 63 = 4*o - 677. Is o prime?
False
Let h = -1724 + 2973. Is h prime?
True
Let i(d) = d - 1. Let p = 1 + 2. Let c be i(p). Suppose 2*x - 228 = -c*x. Is x a prime number?
False
Let q = -4 + 7. Suppose 3*k - q = -0*k. Is (-2 - -23) + (k - 3) prime?
True
Let m be (-6 - 0)*(-1)/(-3). Is 1/m*-2 + 258 a composite number?
True
Let a = -9 + 14. Suppose 0 = 5*k - 3*w - 30, 2*k + 4*w = a*w + 11. Is k a prime number?
True
Let d(q) be the third derivative of -q**6/180 - q**5/120 + q**4/12 + 3*q**2. Let i(p) be the second derivative of d(p). Is i(-4) prime?
False
Let b(i) = 85*i + 2. Suppose 2*d = -5*v + 5*d + 30, 4*v + 3*d = -3. Is b(v) composite?
False
Suppose -d + p - 13 = -3*p, 4*d + 10 = 2*p. Let t be (0/3)/(d - -2). Suppose t = -3*a + a - 3*b + 38, 5*a + 4*b = 95. Is a a prime number?
True
Let d(r) = 6*r - 2. Let v be d(3). Suppose 0 = w - 4, 2*l - 5*w = 4*l + v. Is 2 - (0 + l + -2) composite?
True
Let a = 246 + -55. Is a a composite number?
False
Let w = 13 + -10. Is (w/(-9))/((-2)/2118) a prime number?
True
Suppose 0*h - 16 = 2*h + 4*w, 4*h - 4*w - 28 = 0. Let q = 9 + -5. Suppose -r - q*r - 5*m = -455, h = m. Is r composite?
False
Let w(r) = -17*r**3 + r - 4. Let t be w(-3). Suppose -2*m + t = 2*m. Is m a prime number?
True
Suppose 0 = -3*b - g - 4 - 4, 3*b + 16 = -5*g. Let u be 1/(3/6) - b. Suppose 85 = -3*y + u*y. Is y a composite number?
True
Suppose -4*g + 923 + 461 = -4*t, 5*g - 1737 = -2*t. Suppose -573 - g = -p. Suppose -5*c + p = 115. Is c prime?
False
Suppose -3050 = 2*a - 7*a. Let b = a + -395. Is b a prime number?
False
Let o(q) = -2