?
False
Let f(x) = -x**2 - 7*x - 2. Let o be f(-8). Let g = o + 16. Suppose g*h - 460 = 2*h. Is h a prime number?
False
Let r(c) = -21*c + 28. Let m(u) = 1. Let n(l) = -35*m(l) + r(l). Is n(-6) composite?
True
Let d be (-3)/2*48/(-18). Suppose 3*p - d - 101 = 0. Is p prime?
False
Suppose -8 = -2*w - 2*w. Suppose 0 = 3*l - 32 + w. Is l prime?
False
Let g(f) = 62*f + 5. Is g(3) a composite number?
False
Let z(t) be the second derivative of t**3/6 - 4*t**2 - 2*t. Let f be z(-6). Let u = f - -24. Is u prime?
False
Let s = -4 + 6. Suppose 3*h - c + 2 = -5*c, -4*h - s = 5*c. Suppose -h*n - 14 + 52 = 0. Is n a composite number?
False
Let p(u) = -u**3 + 19*u**2 - 3*u - 10. Is p(17) a composite number?
True
Suppose 4*t - 69 = 447. Suppose 3*v + 18 = t. Is v composite?
False
Let b be 3*3/(-3)*-1. Suppose -4*d = -8, t - b*t + 8 = d. Suppose w + 38 = t*w. Is w a composite number?
False
Suppose -4*s = d + 7, 2*d = -s - s - 2. Let q be 3*d + (5 - 6). Suppose 3*r - 231 = -5*o + 2*o, -r - q*o = -75. Is r a composite number?
False
Suppose 0 = 3*w - 124 - 116. Let v = w - 27. Is v composite?
False
Suppose -5*l = -20, -2*h - 3*l = -8*l - 210. Is h a prime number?
False
Let t(m) = 2*m**2 + 6*m - 4. Let r be t(-5). Let n be 103 + 6/(-9)*-3. Let v = n - r. Is v prime?
True
Let y(i) = 12*i**2 - 2*i + 7. Let x be (10/(-6))/((-3)/(-9)). Is y(x) prime?
True
Suppose -3*d = -a - 2*a - 645, 0 = -d - 4*a + 215. Is d a prime number?
False
Let n(b) = -33*b - 17*b - 50*b + 3*b. Is n(-1) a composite number?
False
Suppose -1055 - 2961 = -4*h. Let s = 1491 - h. Is s composite?
False
Let o(v) = v**3 + 11*v**2 + 9*v - 9. Let r(c) = c**2 + 11*c + 8. Let j be r(-9). Let x be o(j). Is 19 + 2 - (-2)/x a composite number?
False
Is 2/4*-3 + (-1322)/(-4) composite?
True
Suppose 10 = 2*i - 2*k, 0 = 3*i - 5*k + 3 - 14. Let a = i - -4. Is a a composite number?
False
Let j(z) = -z**3 - 4*z**2 + 3*z - 3. Let d = 4 + -2. Let i = -3 - d. Is j(i) a prime number?
True
Suppose -a + 5*d - 10 = 0, 0 = d + d - 6. Suppose a*u - 97 = 4*u. Is u a prime number?
True
Suppose -l + 1260 = 5*z, l = -0*z - 2*z + 507. Is z a prime number?
True
Let p(y) = -11*y - 3 + 6 - 3. Suppose 9 - 3 = -3*i. Is p(i) a prime number?
False
Let u(j) = j**3 + j**2 + 6. Suppose n = s + 2*n + 2, -2*s = -5*n - 10. Let m be u(s). Let v = m + 61. Is v prime?
True
Suppose -4 = -h, -4*h + 0*h + 32 = 4*x. Suppose 4*s + 0*s - x = 0. Is 8/20*(36 - s) a composite number?
True
Let u = -2 - -2. Let g be (0/(u - -2))/(-2). Suppose g = 3*t + 5*q - 42, -t - 4*t + q = -42. Is t a composite number?
True
Suppose 0 = -2*c, 4 = -3*j - 4*c + 28. Let g(v) = 2*v - 12. Let b be g(-8). Is (-2)/j + (-63)/b composite?
False
Suppose -4*f + 1351 = -957. Let s = f + -310. Is s a composite number?
True
Suppose 3*c = -m + 4 - 0, 5*m - 20 = -3*c. Suppose v = q + 27, c = 2*v + 4*q - 7*q - 59. Is v composite?
True
Let s = 8 - 8. Suppose -2*q - 138 = -s*q. Let h = q - -118. Is h prime?
False
Let c(b) = -b**2 - 10*b - 18. Let t be c(-10). Is 6/27 - 50/t a prime number?
True
Is 2284/9 + 6/27 a prime number?
False
Suppose -2*m + 14 = -m. Suppose m = 5*s + 2*f, -f = 4*s - 0*s - 10. Suppose -156 = -s*i + 110. Is i a composite number?
True
Let w(s) = -3*s**2. Let x be w(1). Is 87*(-2)/x + -3 a prime number?
False
Let h = 12 - 3. Let o be (178/(-3))/((-1)/h). Is ((-1)/3)/((-2)/o) prime?
True
Is 2/(2 + (-61)/31) a composite number?
True
Suppose -524 = -3*h + 544. Suppose -2*b + h = 2*b. Is b a prime number?
True
Suppose -5*h + 2*t = 5*t - 9190, -4*t - 5485 = -3*h. Is h composite?
True
Suppose 21*x - 35921 = 16012. Is x prime?
True
Suppose 0 = c - 4*c. Suppose -4*a + r = -1885, c = 5*a + 3*r - 967 - 1385. Is (-2)/(-3) - a/(-9) a prime number?
True
Let b(d) = d**2 + 5*d + 9. Let l be -1*1/(1/6). Let t be b(l). Is (22/6)/(1/t) a prime number?
False
Let c(o) = -o**3 + 10*o**2 + 8*o - 3. Let u = -3 + 3. Let w be (u - -10)*(4 - 3). Is c(w) composite?
True
Let m be -1 + 36 - (-4 + 5). Is (0 - m)/(-5 - -4) a prime number?
False
Let j = 888 - 325. Is j a prime number?
True
Suppose -5*h + 2*t + 42 + 143 = 0, -5*h = 3*t - 160. Let a = -27 - -47. Let q = h + a. Is q prime?
False
Let l = -527 + 144. Let h = l - -762. Is h prime?
True
Let f(o) = o**2 - o - 2. Let x be (-1)/2*36/(-6). Let h be f(x). Suppose -5*b = -0*b - 2*d - 275, 0 = -h*d. Is b a prime number?
False
Let f = 21 + -18. Suppose 0 = -5*q + q. Suppose -f*p + q*p + 165 = 0. Is p a composite number?
True
Let n = -14 - -2. Is (-1071)/n + (-7)/28 a prime number?
True
Let m(p) = -p**3 - 2*p**2 + 3*p + 4. Let a be m(-3). Suppose 8*h - a*h + z = 213, -h = z - 51. Suppose 0 = 2*y + 2*l - 32, -l + h = 2*y + y. Is y prime?
True
Suppose 0 = -4*r + f - 16, r = -r - 4*f + 10. Let d = 2 + r. Is (70/(-4) + d)*-2 composite?
False
Let j(w) = -w + 5. Let z be j(8). Is 3/z + 2*78 composite?
True
Let a(q) = -9*q - 1. Let k be a(-1). Suppose 2*x + k = 4. Is -2*(x + 31/(-2)) a prime number?
False
Suppose c = -m - 0*c - 30, c + 3 = 0. Let a be (-426)/(-27) + (-6)/m. Is 1524/a + 2/(-8) composite?
True
Let i be (2 - (-3)/(-1)) + 32. Let o = i + -18. Is o a composite number?
False
Let t(z) = z**2 + 6*z + 2. Let f be t(-6). Is 2*(17/f - -1) prime?
True
Suppose 5*s - 10 = 0, -2*u + s + 604 = -4*s. Is u prime?
True
Let g be 6*(1 + 0) - 3. Suppose -2*a = g*w - 229, 3*w + 0*a - 227 = -4*a. Is w prime?
False
Let u = 423 + -127. Suppose -m + 5*m - u = 0. Suppose -3*g + 8*g + 29 = y, 4*y = -g + m. Is y composite?
False
Let q(r) = 3*r + 21. Is q(10) prime?
False
Is (-3417)/(-3) - 4 - -4 a composite number?
True
Suppose -4*o - 16 = 5*c - 0*o, -4 = -4*c + o. Suppose c = -3*x - 3*i + 32 + 31, 0 = x - 3*i - 13. Is x a prime number?
True
Suppose 3*r - 2*o = 1445, -r = r + 2*o - 980. Let f = r - 274. Is f composite?
False
Let z(j) = -j**3 - j**2 - j - 102. Let r be z(0). Let i = r + 176. Suppose -4*m - i = -6*m. Is m a composite number?
False
Is 419/(-2)*(-26)/13 a prime number?
True
Suppose 7 + 9 = 4*f. Let w be f/12 + (-142)/3. Let k = 124 + w. Is k composite?
True
Let g(z) = -z**3 + 7*z**2 - 1. Let m(y) = y**2. Let v(w) = g(w) - 2*m(w). Let b be v(5). Is (b - -1) + 8 + 2 composite?
True
Suppose -2*y = c - 154, 0*y - 4*y + 8 = 0. Let a = 277 - c. Is a composite?
False
Suppose -4*t + 4*s = -3*t - 341, 2*s - 1364 = -4*t. Is t a composite number?
True
Suppose 0*w = -2*w + 22. Let j = -9 + w. Suppose 947 = 5*y - j*v, -4*y - 5*v = -196 - 588. Is y composite?
False
Let k(a) = 4*a - 2 - 1 - a. Let h be k(10). Suppose 0 = 4*m - 3*f - 69, -5*m - 5*f + 103 + h = 0. Is m a composite number?
True
Let y(r) = r**3 + 12*r**2 - 12*r - 17. Suppose -3*v - 3*a + 13 = -4*a, 2 = v + 2*a. Suppose g = v*g + 36. Is y(g) a composite number?
False
Suppose 4*v - 3*u - 472 = 33, -385 = -3*v + u. Let i = v + 15. Is i a prime number?
False
Let t(g) = 9*g - 3. Let a be t(4). Suppose 6*w - 25 = w. Suppose -w = -2*c + a. Is c composite?
False
Let z be ((-9)/(-12))/(1/8). Suppose y = 4*p + 8, 0 = -4*y + z*y - 8. Is (p + 12)/(1/7) a prime number?
False
Suppose -5*q = -1224 - 671. Is q a composite number?
False
Let s = -438 + 840. Suppose -2*z - s = -96. Let g = -88 - z. Is g composite?
True
Let r be (18/12)/((-3)/(-88)). Suppose -r = -2*x - 2*x. Is x prime?
True
Let l(s) = s + 1081. Is l(0) composite?
True
Suppose -4*f - 3*p + 502 = 0, -64 + 193 = f - p. Is f a composite number?
False
Let o(r) = 3*r**2 + 4*r + 5. Is o(-6) prime?
True
Suppose 37 = 5*f - 2*b, 7 = 5*f - b - 34. Suppose 34 = 5*p - r, -4*r = -p - 6*r + f. Is p a prime number?
True
Suppose -3*y + 1674 = 3*n, 0 = -4*n + 5*y - y + 2224. Is n composite?
False
Let f = 36 - -43. Let w = f + -35. Let i = w + -25. Is i composite?
False
Let i be ((-3)/9)/(3/(-45)). Suppose i*a - 29 = 2*m, m + 3 = 1. Suppose -4*y = -4*g + 228, -3*g - a*y + 139 = -0*y. Is g a composite number?
False
Suppose 2*b = -3*b - s + 15, -3*s - 15 = 0. Is b prime?
False
Is -5 - (4 - 315 - 1) a prime number?
True
Let s(y) be the first derivative of -5*y**3/3 + 3*y**2/2 - 2*y + 2. Let d(p) be the first derivative of s(p). Is d(-8) composite?
False
Suppose 3*q = -q + 8. Let y(d) = 9*d**2 - q*d**2 + 0*d**2 - 2. Is y(-2) composite?
True
Let q = 9 - 25. Let l be -4 + -63 + (1 - -3). Let g = q - l. Is g composite?
False
Let j = 1225 + -158. Is j a prime number?
False
Suppo