?
False
Let o(x) = -x**3 - 14*x**2 - 24*x + 11. Is o(-16) a composite number?
False
Let w = 196 + -414. Let u = w + -2. Let f = u + 329. Is f a prime number?
True
Let x be 2 - -2*(-14)/(-4). Let n = x - 3. Suppose -3*w = 3*c - n*c + 48, -4*c + 3*w = -63. Is c a prime number?
False
Is ((2 - 3)/1)/(2/(-18206)) composite?
False
Let k = 239 - 148. Is k prime?
False
Let f be ((-1)/3)/((-1)/51). Suppose -5*u - 35 - 5 = 2*k, -5*u - 60 = 3*k. Let s = f - k. Is s prime?
True
Let t(d) = -177*d + 12. Let v(f) = 59*f - 4. Let h(j) = 6*t(j) + 17*v(j). Is h(-7) prime?
False
Let a = 11 + -20. Is ((-428)/6)/(a/27) a prime number?
False
Let v be 3*2*(-2)/2. Let u = -3 - v. Suppose 0*n = u*n - 39. Is n composite?
False
Suppose -141 = 2*k + 163. Let i = 39 - k. Is i composite?
False
Let q be 2/((-1668)/831 - -2). Is q/(-5) + 2/(-5) a composite number?
True
Is (2/3)/((-32)/(-95664)) prime?
True
Suppose 2*f + 3408 = 4*d + 3*f, -4*f + 4271 = 5*d. Is d a prime number?
False
Suppose 3*w - 3*i - 45 = 0, 70 = -w + 4*w + 2*i. Let m = 61 - w. Suppose b - m = 14. Is b composite?
True
Let p(s) = -40*s**2 + 6*s + 1. Let b(t) = -27*t**2 + 4*t + 1. Let o(h) = 7*b(h) - 5*p(h). Let v be o(2). Suppose v = a + 3. Is a a composite number?
True
Let c(t) = -2*t + 4. Let m be c(3). Let b be (m - -3 - -2) + 0. Suppose 5*n - b*n - 42 = 0. Is n a prime number?
False
Let m(y) = y**3 - 17*y**2 + 15*y - 40. Is m(18) a prime number?
False
Let l(b) be the first derivative of -b**4/4 + b**2/2 + 149*b + 2. Is l(0) composite?
False
Suppose -l - 4*t = -2*t - 945, 0 = l - 5*t - 924. Is l prime?
False
Let f(t) = t**3 + 1. Let h(c) = -7*c**3 - 3*c**2 + c - 4. Let o(m) = 3*f(m) + h(m). Is o(-3) a prime number?
False
Let z(d) = d + 41. Is z(17) prime?
False
Let w = 16 + 17. Suppose 28 + 1 = -5*r - m, 5*r + w = 3*m. Is (-2)/r - (-588)/18 prime?
False
Let s(x) be the first derivative of 1/3*x**3 - 2 + 7*x + 5/2*x**2. Is s(-6) a prime number?
True
Suppose -2*o = -h - 599, -2*o - 6*h + 3*h + 587 = 0. Is o composite?
True
Suppose -t + 7707 = 4*u, -3*t = -3*u - 5*t + 5779. Is u a composite number?
True
Suppose 0*y - l + 305 = 4*y, l + 311 = 4*y. Suppose -15 = -4*o + y. Is o prime?
True
Is (10/(-20))/((-1)/1438) a prime number?
True
Suppose 3*z - 5 = -b - 2*z, 3*b = 5*z + 35. Let s = b + -3. Is s prime?
True
Suppose b - 5 = 0, 4*m + 5*b = 4*b + 2569. Is m a composite number?
False
Let w(b) = -16*b + 1. Let q = 0 - 2. Is w(q) a composite number?
True
Suppose -z + 2 = 3*g - 5, 3*z = -g - 11. Let u(y) = 3*y**2 + 2*y + 3. Let x be u(g). Let h = x + -22. Is h prime?
True
Let k(c) = -2*c**3 - 7*c**2 + 5*c - 10. Let r be k(-7). Suppose -10 - r = -4*h. Is h composite?
True
Suppose 0*s - 2*s = -3*z - 428, -z + 631 = 3*s. Is s prime?
True
Let o(j) = -j**2 - 6*j + 2. Let i be o(-5). Let a = i + 6. Is a a prime number?
True
Let i(s) = s**2 + 5*s - 7. Let c be i(6). Suppose 4*g - 50 = -y, -4*g - 5*y - 17 + c = 0. Is g composite?
False
Let c(k) = -k + 1. Let f(h) = -142*h + 8. Let n(u) = -4*c(u) + f(u). Let l be n(-4). Suppose -5*a + 979 = -l. Is a composite?
False
Let f = -344 - -523. Is f a prime number?
True
Suppose -2*l - 6*l = -464. Is l a prime number?
False
Suppose -5*r + 7*r + 12 = 0. Is (4 - (-27)/r)*-1114 a prime number?
True
Suppose 0 = -2*s + 4*s - 8. Let h = 6 + s. Is (-4)/6*(-45)/h composite?
False
Let c = 1236 - 1776. Let m = c - -937. Is m a composite number?
False
Suppose -2*x - l = 7, 3*x - l = -4*l - 18. Let s(u) = -65*u - 1. Let t be s(x). Suppose 5*d = -4*z + 173, t - 12 = d - 5*z. Is d composite?
False
Suppose 3*c = 2*o - o - 24, 5*c = -5*o + 60. Suppose -o = 5*n - 0*n. Let a = 12 - n. Is a prime?
False
Suppose 2*x + 4*j = 238, 2*x = -0*x - 2*j + 234. Is x a prime number?
False
Suppose 0*l - 2*l = -4*p - 1868, -4*l + 5*p + 3745 = 0. Suppose 5*y - 225 = l. Is y prime?
True
Suppose -2*z + 2*s = 8, 0 = z - 2*s - s + 14. Let t = 5 - z. Let k = t - -9. Is k a prime number?
True
Let h(m) = m**3 + 17*m**2 + 19*m - 6. Let l be h(-16). Let p = l - -101. Is p a composite number?
False
Let n = 83 + -114. Suppose 2*a + 5*y - 153 = 0, -2*y = a - y - 81. Let h = n + a. Is h composite?
False
Suppose -5*n + 3*i = 766 - 4131, 0 = 5*n - 2*i - 3365. Is n prime?
True
Let s = 0 + 3. Let y(m) = 1 - 3*m**2 - 2 - 3*m - s*m**2 - 4*m**3 + 5*m**2. Is y(-2) composite?
True
Let q be (-1)/3*(-1 + -14). Suppose -22 = -5*j + l + 1, -q*j + 2*l = -21. Suppose j*y - 76 = y. Is y composite?
False
Let f(w) = -8*w + w**2 - 4*w**2 + 4 + 5*w**2. Is f(5) a composite number?
True
Let x = 116 + -63. Is x composite?
False
Suppose 3*q + 20 = 5*q - 4*j, 4*q + 4*j + 8 = 0. Suppose -3*l + 4 = t, 4*l - 16 = 3*t - q. Suppose -2*b + 132 = l*b. Is b prime?
False
Suppose -v + 2*s + 1 = 5, -v = -s. Suppose v*x = 3*x + 77. Is x a prime number?
False
Suppose -3*x - 2*x = -35. Is x a composite number?
False
Suppose -4*b + 556 = 180. Is b a composite number?
True
Let h(z) = z**3 + 15*z**2 + 14*z - 9. Let j be h(-14). Is j/12 - 2654/(-8) a prime number?
True
Suppose 2*f - 2*u = 278, 0 = 5*u - 10*u. Is f a prime number?
True
Suppose 3838 = 4*n + 2*k, -2*n + k + 1925 = -0*n. Is n prime?
False
Let b(a) = 9*a**2 + 4*a + 6. Is b(-5) a prime number?
True
Let f be 2/7 - (-52)/14. Suppose -2*a - 6 = -a + f*x, -a = -4*x + 38. Let t = -9 - a. Is t prime?
True
Let n be (-24)/(-9) + 4/(-6). Let q(z) = 3 + 3*z - 3*z + 2*z + n*z**3 + z**2 - 4*z**3. Is q(-2) prime?
True
Let j(c) = 2*c. Let t be j(-2). Let n = -5 - t. Is -4*n/2 + 12 a prime number?
False
Suppose -7*q = -43 - 6. Is q prime?
True
Let d(y) = -y**3 - 5*y**2 + 2*y - 2. Let t be d(-6). Suppose 0 = -3*f + 20 + t. Is f prime?
False
Suppose -10 = 5*o, -6*m = -7*m - 5*o + 277. Is m composite?
True
Let r = 341 + -578. Let m = r + 393. Let s = m + -79. Is s composite?
True
Suppose -d - 4*d = -5*g - 605, 4*g = 5*d - 603. Is d a composite number?
True
Let c(i) be the second derivative of -i**5/20 + i**4/2 - 7*i**3/6 + 3*i**2 - 2*i. Is c(4) a prime number?
False
Suppose -4*w + 2218 + 498 = 0. Is w a prime number?
False
Let g be (3 + 0)*9460/(-30). Let o = -653 - g. Is o a prime number?
True
Let h(v) = -v**2 - 3*v + 3. Let f be h(-3). Suppose -m + 2*s = -4, -f*s - 4 - 2 = -5*m. Let u = 31 + m. Is u composite?
False
Let y = 60 + -7. Is y prime?
True
Let s(a) = -a**3 + 5*a**2 - 2. Let j be s(5). Is j/9 + 3442/18 a prime number?
True
Suppose -3*h + 2*h - 3*g + 35 = 0, 2*h - 30 = 4*g. Let t = -8 + h. Is t a composite number?
True
Let w = 11 + -7. Suppose w*j + 80 + 43 = s, -3*s + 2*j + 359 = 0. Is s prime?
False
Let b = 5 + -1. Suppose -b*f + 31 = -313. Is f a prime number?
False
Suppose 7*v + 1577 - 15038 = 0. Is v a composite number?
True
Let a be (-1 - -1)*(-2)/(-4). Suppose a = 2*t + 3*g - 9, 2 = -t + 5*g. Suppose -5*s + 178 = -2*s - r, 0 = -t*r - 3. Is s composite?
False
Suppose -5*k - 3*p + 1134 = 0, -2*k - 3*p + 450 = -0*k. Suppose 3*w - k = -w. Is w prime?
False
Let l(z) = -9*z**3 + z**2 + 5*z + 2. Is l(-3) a composite number?
False
Let u(g) = 4*g**2 + 9*g + 12. Is u(5) composite?
False
Let t(r) = r**2 + 12*r + 8. Let f be t(-10). Is (-62)/(-5)*(17 + f) a composite number?
True
Is 76 + -2 + (2 - -3) prime?
True
Suppose 11 = 3*x + l, 4*x - 2*l - 2 = 2*x. Suppose -x*k + 1 + 14 = 0. Suppose -2*i = -k*i + 45. Is i composite?
True
Let o = -80 + 186. Is o composite?
True
Suppose 48 = -2*w - 18. Is (-4)/1*w/12 a prime number?
True
Let q = 909 - -44. Is q composite?
False
Let n = 894 - 247. Is n a prime number?
True
Let i(o) be the first derivative of -o**3/3 + o**2/2 + 2*o - 2. Let u be i(2). Suppose -3*t - 3*f + 165 = u, f = 3*t - 4*f - 149. Is t a prime number?
True
Suppose 3281 + 2879 = 2*q + 5*o, 5*o = -4*q + 12330. Is q a prime number?
False
Let n = -124 + 1095. Is n a composite number?
False
Suppose 0 = -2*z + 6*z + x - 11, 25 = 5*z + 5*x. Suppose -4*j - 2 - 71 = -l, z*l - 5*j = 131. Is l a prime number?
True
Let v(r) = -2*r**3 - 3*r**2 + 5*r - 13. Is v(-7) prime?
True
Is ((-2)/(-3))/((-4)/(-18)) a composite number?
False
Suppose 6*j = 3*j. Suppose j*t = t - 97. Is t composite?
False
Suppose -g = 2, g + 107 = s - 428. Is s composite?
True
Let b = 71 + 344. Is b a composite number?
True
Let r(l) = -111*l**2 - 15*l + 10. Let n(z) = -56*z**2 - 7*z + 5. Let m(f) = -5*n(f) + 2*r(f). Is m(2) a prime number?
False
Suppos