 = 9 - 16. Let k = n + 86. Is k a prime number?
True
Suppose v = 3*k + 547, 3*k - 2218 = v - 5*v. Is v a composite number?
True
Let w(y) be the second derivative of 0 - 5/6*y**3 + 5/2*y**2 + 3*y. Is w(-6) a prime number?
False
Suppose 0 = 5*q - 64 - 331. Let l = -44 + q. Is l prime?
False
Suppose 2*n = 3*n - 187. Is n prime?
False
Let j be -1*(-25 - (0 - 2)). Let m = 41 - j. Is m/63 + (-1074)/(-14) a composite number?
True
Let j(l) = -59*l + 6. Let p be j(4). Let u = p + 771. Is u a composite number?
False
Suppose -4 = -4*u - 36. Suppose 0 = -o - 4*k, o + 2*k = -4*o - 18. Is ((-124)/u)/((-2)/o) a prime number?
True
Let r(h) = h**3 - 4*h**2 + 3*h + 4. Suppose 0 = -5*d + 4*d + 4. Let j be r(d). Let p = j - -7. Is p prime?
True
Suppose -3*z + 5*k = -769 - 252, 367 = z + 5*k. Is z a prime number?
True
Let s(u) = u**2 - 2*u - 4. Let v = -11 - -15. Let a be s(v). Suppose w + a*w = 45. Is w composite?
True
Let k(c) be the third derivative of 11*c**5/10 + c**4/12 - c**3/6 + 3*c**2. Is k(1) a composite number?
False
Let j be 1/3 - (-33)/9. Suppose -j*i + 89 = -3*i. Is i a composite number?
False
Suppose r + 2*r + 9 = 0. Let d = 0 - r. Is d prime?
True
Let n = 2 - -2. Suppose -v = -3*h - 0*v + 772, -n*h = 2*v - 1046. Is h composite?
True
Suppose 1174 = 4*n - 2*y, -n - y = -5*n + 1169. Is n composite?
True
Suppose 2*q = 92 + 90. Is q prime?
False
Let c(r) = -3*r**3 + r**2. Let a be c(-1). Is 2/a + (-680)/(-16) a composite number?
False
Let s(i) = -i + 5. Let k be s(0). Let g(q) = -5*q**2 - 17*q - 11. Let m(n) = n**2 + 4*n + 3. Let z(o) = -2*g(o) - 9*m(o). Is z(k) a prime number?
False
Suppose 2*r = -5*m + 26, -3*r + 6 + 19 = 4*m. Suppose 22 + 38 = r*h. Suppose -13 = -s + h. Is s a prime number?
False
Suppose 5*z - 18 + 3 = 3*d, 0 = -2*z + 5*d + 6. Is (-2 - -3)/(z/483) composite?
True
Suppose -a - 2*p = 3*p - 74, -365 = -4*a + 3*p. Is a a composite number?
False
Let n(j) = 4*j**3 + j**2 - 2*j + 1. Let o be n(1). Suppose u = h + 18, o*u = -4*h + h + 72. Suppose 0 = -2*b - u + 88. Is b a prime number?
False
Is ((-5698)/21)/(4/(-6)) a prime number?
False
Let k(q) = q**3 + 10*q**2 + 4*q + 11. Let r be k(-8). Let p = -68 + r. Is p composite?
True
Suppose -2*m - 10 = 0, 17 + 21 = -3*i + 5*m. Let p be (-18 + 0)/((-2)/(-4)). Let g = i - p. Is g a composite number?
True
Let y = -326 + 867. Is y prime?
True
Suppose 4*p - 759 = 5*u, 0*p + 3*u = -p + 194. Is p prime?
True
Suppose -212 = -3*f + 577. Is f a prime number?
True
Let c(w) = -2 - 1 - w + 52*w**2 - 2*w. Is c(-2) composite?
False
Let q be (3 - 2)*(6 + -2). Suppose 0 = -q*j - 4*u + 133 + 107, u + 230 = 4*j. Is j prime?
False
Let k(w) be the third derivative of -w**5/60 + w**4/24 + 11*w**3/2 - 4*w**2. Is k(0) prime?
False
Let i = -7 + 26. Let q = 70 + i. Is q a composite number?
False
Let p(a) = a**3 + 5*a**2 - 3*a. Let t be p(-5). Let u = -21 + 21. Let k = t + u. Is k a prime number?
False
Let o be 609 - 6 - (2 - 2). Let n = o + 32. Is n composite?
True
Let w = 15 + -15. Suppose -6*v = -4*v - 5*x - 385, w = -5*v + x + 1020. Is v a prime number?
False
Let g = 5 + -3. Suppose -h + 27 = h + r, g*h + 3*r - 25 = 0. Let c = -5 + h. Is c composite?
True
Suppose 2*q = -55 - 5. Let u be 2 - -1 - q/2. Let y = u + 104. Is y composite?
True
Suppose 10 = 2*i - 2*z, 2*i + z = -2*z - 15. Let n(o) be the first derivative of -o**4/4 + o**2/2 + 13*o - 4. Is n(i) prime?
True
Suppose -5*s - 350 = -4065. Is s composite?
False
Suppose -413 = -2*x - 3*j, 0 = -0*x - x - j + 208. Is x composite?
False
Let d(x) = -1 + 0*x**2 + x**2 + 0. Let s be (-1 - (1 + 0)) + -2. Is d(s) prime?
False
Let u be (-3)/(-2)*(-10)/(-3). Suppose 3*v + 37 = -u*x + 843, -5*v = 3*x - 474. Is x a composite number?
False
Let z(j) = -3*j - 26. Let y(m) = -4*m - 39. Let t(l) = 5*y(l) - 8*z(l). Is t(10) prime?
True
Suppose 1145 = 4*g - 895. Suppose -4*l + 9*l - g = 0. Let u = l - 11. Is u composite?
True
Suppose n - 24 = 21. Suppose 3*a - 2*u = 45, 0 = -a + 4*a - 5*u - n. Is a composite?
True
Let j(b) = -b**2 - 8*b - 1. Let i be j(-9). Let t = i + 1. Let q = 4 - t. Is q composite?
False
Let j = -7 - -13. Let l(f) = 3*f**2. Let q be l(-1). Suppose 432 = 3*a - q*o, j*a = a - 5*o + 770. Is a a composite number?
False
Is ((-1338)/9 - 0)/(4/(-6)) a composite number?
False
Let y(t) = 0*t - 13 + 7*t**2 + t**3 - 3*t + 5 - 6*t. Let l be y(-8). Suppose -2*m = -l*m - 74. Is m a composite number?
False
Suppose -5*s = 3*z - 12, -5*z = -4*s - 67 + 10. Let a = -15 - z. Is (-34)/(a/(-14) - 2) composite?
True
Suppose 6*c + 4*m - 1715 = c, -25 = -5*m. Is c prime?
False
Let r = 45 + 12. Is r + 2*(-3 - -2) a composite number?
True
Let j be 82/8 - (-1)/(-4). Let l be ((-56)/j)/((-4)/(-40)). Let o = 107 + l. Is o a composite number?
True
Let y = 41 - -136. Is y a composite number?
True
Suppose 0 = -5*n + 5, -y + 0*y + 2194 = 3*n. Is y prime?
False
Suppose -5*h + 3*b + 9 = 2, 4*h - 3*b - 5 = 0. Suppose 25 = 3*l + h*l. Suppose l*p - 201 - 124 = 0. Is p composite?
True
Let s be (28/35)/((-2)/(-1185)). Let v = -331 + s. Is v composite?
True
Suppose -4 = 2*n + 4. Let x be n/((1 - 2)*2). Is (-2616)/(-20) + x/10 a composite number?
False
Suppose 2*k - 7*k + 15 = 0. Suppose 0 = 2*u - k*u + 39. Is u a composite number?
True
Suppose -h + 417 = 2*h - 5*k, -119 = -h - 5*k. Is h prime?
False
Let q = 872 + 1281. Is q a prime number?
True
Let h = 552 + -223. Is h a prime number?
False
Let z(j) be the second derivative of -j**5/4 - j**4/12 + j**3/6 + j**2/2 + j. Let l be z(-1). Suppose 0 = l*b + 3*x - 40, b = -4*b - 2*x + 50. Is b composite?
True
Suppose k + 2*k - 78 = 0. Suppose -d + 23 = -k. Is d composite?
True
Let s be (1/2)/((-2)/(-20)). Suppose -s*i + 198 = 43. Let p = i - 8. Is p a prime number?
True
Suppose 0 = -7*k + 76 + 267. Is k composite?
True
Let c(w) = -w + 1. Let v be c(0). Is v/(-3) + 1792/12 a prime number?
True
Let o = -16 - -7. Let f(t) = -t**3 - 10*t**2 - 10*t + 9. Let k be f(o). Suppose -k = -2*r - 0*r. Is r a composite number?
True
Let a be -1*(-3 - 1 - -2). Is (4/(-2))/a*-293 prime?
True
Suppose -2*r - 15 = -5*r. Let g = 9 - r. Suppose 3*q - g*i = 783, 2*q - 218 - 284 = -4*i. Is q composite?
False
Suppose -2*n - 2*n + 4*f + 32 = 0, 0 = 2*f + 2. Suppose 4*z - 2*q - 136 = 0, 5*q - 108 = -3*z + n. Suppose 0*i = i - z. Is i prime?
False
Let o = -2 - -6. Let n = o - -3. Is n a composite number?
False
Suppose -3*t = 2*l - 5, t - 10 = -3*l + 1. Suppose -3*n + 121 = -l*y + 6*y, 3*n = y - 56. Is y a prime number?
True
Let r be 51 + (4 - 3) + -2. Suppose -5*y = 15, 4*y - 3*y + 15 = 4*c. Suppose 11 = -c*w + r. Is w a prime number?
True
Is -5 - -2215 - 3 - 4 a composite number?
False
Suppose 8*k - 958 = 6*k. Is k a prime number?
True
Suppose -h + 1 = -0, 3*h = -z + 103. Let x = z - 31. Is x prime?
False
Let h be 586/2 + 5 + -3. Suppose 4*l - h = -83. Is l composite?
False
Suppose 0 = 3*v + 2*q - 6, 2 = -3*v + 3*q + 8. Is (-5283)/(-81) + v/(-9) a prime number?
False
Suppose -16 = -6*l + 2*l. Suppose 5*p - 56 = -l*j + 126, 5*p - 5*j - 155 = 0. Is p prime?
False
Suppose -21189 = -8*n - 6605. Is n prime?
True
Suppose -2*a = 5*h - 5, 0*h + 4 = 5*a + 4*h. Is a - (-111 + 4 + -2) prime?
True
Is (-2 + 1)/((-5)/110) prime?
False
Let d = 8515 + -5688. Is d prime?
False
Suppose -1275 = -0*s + 3*s + c, -5*s - 2114 = -2*c. Is s/(-12) - (-1)/(-3) composite?
True
Let q(f) = -f**2 - 7*f - 6. Let r be q(-5). Suppose -5*c + 0*n = n - 36, 4*c - 32 = -r*n. Is c a prime number?
True
Let j(p) = -15*p - 1. Is j(-6) prime?
True
Let c = -836 - -2935. Is c a prime number?
True
Suppose -3*i + 15 = -0*i. Is 19/((i - 2)/15) composite?
True
Suppose -1 = 5*q - 4*y - 5, -2*q - 4*y - 4 = 0. Is (97/3 + q)*3 composite?
False
Is (26646/(-9))/((-20)/30) prime?
True
Let w(d) = d. Let v be w(3). Suppose -2*z + 5*g + 5 + 43 = 0, g + 72 = v*z. Suppose 4*i - z = -0. Is i a composite number?
True
Let m be (-459 - 1)*(-2)/4. Suppose 8*a = 3*a + m. Is a prime?
False
Let p(a) = -a**2 + 9*a. Let h be p(8). Suppose h*w - 3*w - 75 = 0. Is w a prime number?
False
Let q be 24/(-8) + -1 + 10. Is (-189)/(-6) - 3/q a composite number?
False
Suppose 5*r - 2*m - 200 = 2*m, -3*m = 2*r - 80. Suppose -b + r = 3*b. Let i = b + -4. Is i prime?
False
Suppose 0*q + 2*q - 586 = 0. Is q composite?
False
Suppose -5*t + 56 = -6*t. Let z = 102 + t. Is 