(z) = -z**2 + 8*z + 4. Is m(x) prime?
True
Let m = 35 + 66. Suppose v - 6*v = -o + 51, 5*v = -o + m. Let l = o + -39. Is l composite?
False
Let z(p) = p + 3. Let f be z(-2). Is (175/(-10))/(f/(-2)) a prime number?
False
Is 3 - (-60 + 2) - 3 a composite number?
True
Let t(j) be the third derivative of 59*j**7/840 + j**6/360 - j**4/24 + j**3/6 - 2*j**2. Let v(n) be the first derivative of t(n). Is v(1) a prime number?
True
Suppose 103 + 5 = 3*k. Let a(m) = k*m**2 + 3*m - 2*m - 3*m - 1. Is a(-1) composite?
False
Suppose 228 + 201 = 3*a. Is a composite?
True
Let v be 1/(15/9 - 2). Let s be 2/v - 239/(-3). Suppose 316 = 4*d - 5*f, -s = -d + 3*f - f. Is d a composite number?
False
Let c(o) be the second derivative of o + 0*o**2 + 0 + 1/2*o**3. Is c(7) a prime number?
False
Let k = 3 - 1. Let u be 0 + 1*12 + 0. Suppose -2*r = -u - k. Is r prime?
True
Let j(r) = -r**3 + 9*r**2 + 2. Let q be j(9). Suppose -4*o = c - 2*o - 21, -33 = -q*c + 5*o. Is c composite?
False
Let s(d) = d**2 - 3*d + 5. Is s(6) composite?
False
Suppose 0 = q + 3*o - 296, 5*o - 583 = -4*q + 594. Is q composite?
False
Suppose 5*n = -2*v + 20, 4*n + 2*v - 16 = -v. Is 119*(4 - 0)/n a composite number?
True
Let u = 424 - -765. Is u prime?
False
Suppose 0 = 3*h - 0*h - 6465. Is h a prime number?
False
Let s(m) = -10*m + m**3 - 3*m + 3*m - 7*m**2 + 5*m + 11. Is s(8) prime?
False
Let y(o) = -3*o - 6. Let j be y(-4). Suppose 0 = -p + j*p + z - 85, -2*z = -5*p + 70. Is ((-60)/p)/(1/(-4)) prime?
False
Let p(q) = 2*q**2 + 7*q + 5. Let b be p(-4). Let u(y) = 10*y**2 - 2*y + 26. Let c(d) = -7*d**2 + d - 17. Let x(v) = 7*c(v) + 5*u(v). Is x(b) a composite number?
True
Suppose -4*u + 8 = -5*u. Let n = u - -39. Is n prime?
True
Let p(j) = 10*j - 3. Let u be 4 + (3 - (3 + 0)). Is p(u) prime?
True
Let l(q) = 4*q - 1. Let p(k) = k**3 + 4*k**2 + 1. Let o be p(-4). Let g be l(o). Is 63 + (-1)/(g/(-6)) a prime number?
False
Let q = 225 - 158. Is q a prime number?
True
Let i(y) = 60*y**2 - 5 - 43*y + 40*y - 14*y**2. Is i(-2) a prime number?
False
Let c be (-26)/(-3) + 2/6. Suppose x = w - 298, 2*w + 4*x = -c + 605. Let b = w - 41. Is b composite?
False
Let t be (-1914)/(-9) - 4/6. Let z = t + -145. Is z a prime number?
True
Let b be (2/3)/(4/(-18)). Let r be 8/(-3) - 2/b. Is (-1)/((-1)/((-86)/r)) a prime number?
True
Suppose 2*t + 12 = 5*t. Let q(r) be the third derivative of -r**6/120 + r**5/10 - r**4/8 - 5*r**3/6 - 3*r**2. Is q(t) a composite number?
True
Suppose 4 = -2*z + 3*z. Suppose 134 = -z*i + 22. Let t = i - -50. Is t a composite number?
True
Let t(u) be the third derivative of u**5/30 + 11*u**4/24 + 7*u**3/6 - 3*u**2. Is t(-8) a prime number?
True
Suppose 2*d - 4*m = -66, 4*d - 7*d - 108 = -3*m. Let a(t) = 3*t**2 - 11*t + 6. Let z be a(7). Let x = z + d. Is x a prime number?
True
Suppose 13*y - 34416 = 8471. Is y prime?
True
Is (-1)/(1 - (-848)/(-844)) prime?
True
Is (10 - 5 - 1950)/(-1) composite?
True
Let d = -245 - -154. Let w = 178 - d. Is w a prime number?
True
Suppose 13 = 3*h - u, -1 = -0*u + u. Suppose h*b - 590 = 758. Is b a prime number?
True
Let n be 222/(3 + 0) + -1. Let m = 130 - n. Is m prime?
False
Let m = 6 - 6. Suppose 46 = -m*l + l. Suppose 4*y - l = 30. Is y a prime number?
True
Let m(r) = -r**2 - r - 3. Let s be m(0). Let b be (7 + -2)/((-3)/s). Suppose 2*h - h = -2*k + 94, -3*h = -b*k + 224. Is k a composite number?
True
Suppose v + 5*p = -0*v - 3981, v + 4011 = 5*p. Is v/(-28) + (-4)/(-14) a composite number?
True
Suppose 0 + 3 = m. Let u be (1*-1)/((-7)/21). Suppose 0 = -4*o + 12, u*w = 4*w - m*o - 28. Is w prime?
True
Suppose p = -2*p + 1011. Is p prime?
True
Let l = -7616 + 12703. Is l a prime number?
True
Let j = -2 + 4. Let l be -1 + 3 - (-4 + j). Suppose 4*y + 0*w - 24 = 3*w, 0 = -3*y - l*w + 18. Is y a prime number?
False
Let z = -4 - -4. Suppose q = -z*q + 75. Let o = 16 + q. Is o prime?
False
Suppose -t + 5*t - 8 = 0. Suppose 4*w - 3 = -s, -33 = -t*s - w + 2*w. Is s prime?
False
Let c = 64 + -10. Suppose 2*i = c - 2. Is i prime?
False
Let c(x) = 224*x**2 + x. Let s(j) = -2*j - 13. Let a be s(-6). Is c(a) composite?
False
Let m = -41 + -4. Suppose -4*i = -20, 5*q = 3*i - 27 - 18. Is (q/10)/(3/m) prime?
False
Suppose 303 - 67 = 4*g. Is g a prime number?
True
Let z(u) be the first derivative of 1/3*u**3 - 4*u + 1 + 0*u**2. Is z(5) prime?
False
Let b(k) = 12*k**2 - 9*k - 2. Is b(-7) prime?
False
Suppose c = 2*c - 469. Is c a prime number?
False
Let y = -17 - -21. Suppose y*w - 6*j - 152 = -2*j, -166 = -5*w - 3*j. Is w a composite number?
True
Suppose 5*n - 15 = -5*f, 4*f = -n - 2 - 1. Let s = -1 + n. Suppose i - s*p - 102 = -i, i - 71 = -3*p. Is i composite?
False
Suppose 6 = 2*i - 0*i, -3*i = -4*a + 1911. Let g = a - 335. Suppose -o + g = 3*s + o, -2*o = -s + 51. Is s prime?
False
Suppose 0 = 3*c + 2*c - 10. Suppose -c*d = -3*d + 3. Suppose -d*j = 2*s - 116, 2*s = j - 2*s - 34. Is j composite?
True
Let i(h) = -h - 2. Let a be i(-4). Let q be (0/(-1))/(1 - a). Suppose q = 2*t - t - 13. Is t prime?
True
Is 2/6 - (-1576)/6 prime?
True
Suppose -5*j - d + 6 = 0, -j - d = -0*d + 2. Suppose 4*k - 2*n - 758 = 0, 2*k + j*n = -3*k + 961. Is k a composite number?
False
Suppose y + 2*d - 8 = 4, 4*y - 5*d = -17. Suppose -y = -v - 0*v. Is 0 + v/(-2) - -80 composite?
False
Let t = 2 - 2. Is 11*-19*(-1 + t) composite?
True
Let v(n) = -5 + 0*n**2 - 2 + 6*n + 16*n**2 - n**3. Is v(12) a prime number?
True
Suppose -5*k + 2*o - o = -1984, -4*o - 1584 = -4*k. Is k composite?
False
Suppose 2*g - 183 = 3*d - 0*g, d + 51 = 4*g. Suppose 6*y + 120 = 4*r + 2*y, -4*r = -y - 108. Let z = r - d. Is z composite?
False
Suppose -5*h - 3 = -503. Let q = 114 + -167. Let d = h + q. Is d prime?
True
Suppose 0 = 4*z + 3*l - 2452, -z + 613 = 3*l - 7*l. Let f = z - 434. Is f prime?
True
Suppose -3*i + 908 = d - 498, 5*d + 5 = 0. Is i prime?
False
Is 1/(((-4)/121)/(-4)) a prime number?
False
Let l(z) = 9*z**2 - 7. Is l(6) a prime number?
True
Let v = 66 + -29. Is v a prime number?
True
Suppose 3*s = 7*s - 1172. Is s a prime number?
True
Let n(m) = -109*m - 1. Is n(-2) composite?
True
Let d(i) = -i**2 - 4*i - 3. Let a = 2 - 4. Let r be d(a). Is 9/(3/3) + r a composite number?
True
Let h(q) = 34*q**2 - 2*q - 5. Is h(-3) a prime number?
True
Suppose 5*k + 3*d + 40 = 0, -3*d = 2*k + d + 16. Let c(z) = z**3 + 8*z**2 + z - 7. Let t be c(k). Let v = 21 + t. Is v a composite number?
True
Let u(w) = 5*w**2 + 4*w + 4. Is u(-3) composite?
False
Suppose 46 = 3*u - 629. Is (-2)/15 + 17355/u a composite number?
True
Is 3/(4/(-4168)*-2) prime?
False
Suppose -2*g = 2, 3*k + k - 21 = g. Suppose -3*y + 18 = 3*x, 2*y = k*y - 5*x - 2. Is (-96)/(-10) + y/10 a prime number?
False
Suppose 2*n - 2*d = -7*d, -23 = -5*n - d. Suppose 0 = 3*b - 4*z - 185, n*b + z + 213 - 506 = 0. Is b composite?
False
Let z = -50 - -87. Is z a prime number?
True
Suppose -6 = -z - 0. Suppose 5*u = 5*w + 5, z = -u + 2*u + 4*w. Suppose l + 0 = 5*b - 4, -4*b + 34 = u*l. Is l a prime number?
True
Let n(m) = -m**3 - 2*m**2 + 2*m - 2. Let i be n(-3). Is 13 - (i + 1/1) a composite number?
False
Let q = -10 - -12. Is (q/(-6))/(3/(-837)) composite?
True
Let q be 94 + -1 + 1/(-1). Let w = q - -17. Is w prime?
True
Suppose 0 = -3*v - 0*v + 12. Suppose 0 = -2*m - 0*q + 3*q + 148, -v*q = -m + 69. Is m prime?
False
Suppose -4*r + 508 = -0*r. Is r a prime number?
True
Suppose r - 56 = -r. Suppose o = w + 8, 3*w - r = -2*o + w. Is o prime?
True
Suppose 3 = -5*l + 3*f + 1, -2*l - f + 8 = 0. Let z be (2 + -2)/(l/1). Suppose -3*n + 4*y + z*y + 82 = 0, 5*n + 2*y = 128. Is n a prime number?
False
Let h = 1683 + 1538. Is h prime?
True
Let r be (-2)/(-2) - (-20)/4. Suppose -5*n - 4 = r. Is 1/(n + (-206)/(-102)) a composite number?
True
Let y = 543 - 206. Is y composite?
False
Suppose -5*b + 3*f = 7*f - 4461, -f = 2*b - 1782. Is b prime?
False
Suppose -5*g + v = -312, -2*g - 4*v + 123 = -5*v. Let x = -12 + g. Is x a composite number?
True
Let j(r) = -r. Let v(a) = -4*a - 6. Let y(c) = 9*c + 11. Let h(l) = 5*v(l) + 3*y(l). Let t(o) = -h(o) - 3*j(o). Is t(-9) a composite number?
True
Let f be (1 - 2)/((-6)/534). Suppose -4*c + 5*c - f = 0. Is c a composite number?
False
Suppose 2*r - 229 = -47. Suppose 115 + r = 2*z. Is z a composite number?
False
Let l(y) = 57*y**2 - 2*y +