 = -v**2 + v + 32. Let f be t(0). Let r(y) = 2*y**2 - 7*y - 5. Let q be r(8). Let k = q - f. Is k composite?
True
Let w(r) be the second derivative of r**4/12 + r**3/6 + 13*r**2/2 + r. Is w(0) composite?
False
Suppose -3*z + 10 = -5. Suppose 0 = z*q - 34 + 9. Suppose -5*k + x - q*x + 126 = 0, -5*x = -20. Is k prime?
False
Suppose 0 = -c + 3*c + 106. Let t = 28 + c. Let j = t - -56. Is j composite?
False
Suppose -u = -4*s - 25, 27 + 14 = 5*u + s. Is u/(-6) - (-29)/2 a prime number?
True
Let t = 338 + -153. Is t a prime number?
False
Let y(a) = a**3 + 2*a**2 + 2*a - 1. Let b be y(-4). Let n = b - -94. Suppose -n = -q + o, 0 = o + 4*o. Is q a composite number?
False
Suppose -983 = 3*u - 4*u. Is u a prime number?
True
Let d(k) = k**2 - 4*k - 6. Let u be d(6). Suppose 3*l - 3*z - u = 6*l, 28 = -4*l + z. Let x = l + 16. Is x a prime number?
False
Let y = 93 - 344. Is y/(-2) - (-6)/4 composite?
False
Let f(y) = 7*y**2 + y. Let p = -5 - -9. Suppose p*j + 2 = -2. Is f(j) composite?
True
Let z be (-24)/(-9) - 4/6. Suppose 0 = -2*v + 4*d + 94, 4*d + d + 92 = z*v. Suppose 2*f + v = 3*f. Is f a prime number?
False
Suppose -3*n - 3*k = 96, 3*k + 27 = -n + 5. Let f = n - -224. Is f prime?
False
Suppose w + 8 = 2*w. Let l(d) = d - 6. Let u be l(w). Suppose 0*b + b + 170 = u*o, 5*b = o - 85. Is o prime?
False
Suppose 410 = 5*t - 15. Let l = 122 - t. Is l a composite number?
False
Suppose z + 3*z + 68 = 0. Let q = -126 - -222. Let c = q + z. Is c prime?
True
Suppose 0 = 2*o - 7*o + h + 1892, 5*o - 4*h - 1883 = 0. Is o composite?
False
Let r be (-3 - (3 + 0))/(-1). Let t = r - 3. Suppose 0 = -3*q + t*d + 201, -4*d - d - 268 = -4*q. Is q a composite number?
False
Let m(p) be the first derivative of -p**3/3 - 4*p**2 - 9*p + 1. Let d be m(-6). Suppose -4*w + 725 = 5*u - 20, 0 = 5*w - d*u - 922. Is w prime?
False
Let g be 1/4 - (-174)/8. Let q = 61 - g. Is q prime?
False
Let i = -916 + 654. Is 0 + (i/2)/(-1) a composite number?
False
Is (-3 + (-1028)/8)/((-1)/2) a composite number?
False
Let l = 1240 + -869. Is l a prime number?
False
Suppose 3*f - 9252 = -f. Suppose -4*r + r = -f. Is r a prime number?
False
Let l(w) = -1 + 1 - 5 - 14*w. Suppose i = x + 7, -2*x - 8 - 8 = -3*i. Is l(x) composite?
True
Let s(w) = 2*w. Let y be s(1). Suppose -y*j - 22 = -180. Is j a composite number?
False
Is (-22472)/(-20) + (-6)/10 prime?
True
Let o be ((-6)/(-2))/((-2)/4). Let g(z) be the third derivative of z**5/60 - 7*z**4/24 + z**3/6 - 28*z**2. Is g(o) composite?
False
Let b = -11 + -110. Let j = b - -203. Is j prime?
False
Let w(t) = -3*t**2 + 6*t + 8. Suppose 3*z + 3*i = i + 28, 2*i = -z + 16. Let m be w(z). Let v = 90 + m. Is v a prime number?
False
Suppose -3*j - c - 219 + 49 = 0, 0 = 5*c + 10. Let g(a) = 12*a - 5. Let k be g(7). Let h = k + j. Is h a composite number?
False
Let q(t) = -t**2 + 263. Let w = -12 - -12. Is q(w) a composite number?
False
Let y = 2342 + -1465. Is y composite?
False
Suppose 18 = -3*w + 4*s, 2*w - 6 = 3*w + 3*s. Is (-5 - w)/(2/106) a prime number?
True
Let x(r) = -r**3 - r**2 + 59. Is x(0) a prime number?
True
Let t = 382 + -225. Is t prime?
True
Suppose 2*h - 7*h = -2*p - 103, -2*p - 40 = -2*h. Is h a prime number?
False
Suppose 4*n - 4043 = 3*k, -3*n - 2*k + 3033 = -4*k. Suppose -n = 4*r + 3*l - 2570, -3*r = -5*l - 1204. Is r a prime number?
False
Suppose -7*w + 2*w - 4*c = 10, -5*w = -3*c + 10. Let z(m) = -11*m - 3. Is z(w) a prime number?
True
Let p(w) = w**2 - 9*w - 7. Let k be p(9). Let s(y) be the third derivative of y**6/120 + 3*y**5/20 + 7*y**4/24 + y**3 + y**2. Is s(k) composite?
True
Suppose -3*x + 694 = -4*u + 1957, -5*x - 649 = -2*u. Let p be (1/2)/((-6)/u). Let d = 48 + p. Is d composite?
True
Let b(j) = 7*j**2 + 7. Is b(10) a prime number?
False
Let u be (-6)/(1 - 5/3). Let b = 29 - 25. Is 6/b*402/u a composite number?
False
Suppose -5*w + 0*m - m = -1170, 936 = 4*w - 4*m. Suppose -4*p = 4*h - 180, 3*h - p + 83 = w. Is h prime?
False
Let n(f) = 35*f + 4. Let r(j) = 71*j + 7. Let c(g) = 5*n(g) - 3*r(g). Let b = 2 - 3. Is c(b) a prime number?
True
Let k(y) = 21*y**2 - 4*y - 4. Is k(-5) a composite number?
False
Let i = 3481 - -378. Is i composite?
True
Let t(p) = 2*p**2 + 7*p + 7. Is t(6) prime?
False
Let n(w) = 36*w + 35. Is n(17) a composite number?
False
Let i = -67 - -1104. Suppose -5*o + i = -288. Is o composite?
True
Let w = -35 + 22. Let i = -6 - w. Suppose -33 + i = -b. Is b a composite number?
True
Let g = 143 - 86. Suppose 0 = 3*w + 4*v - g, -2*v + 29 = 4*w - 47. Is w composite?
False
Let k be 3*1 - (-56)/(-7). Is -1*k*39/3 a composite number?
True
Let r = 5 + -3. Let n(c) = -3*c + 0*c - c**3 - 5*c**r + 3 + 2*c**3. Is n(6) a composite number?
True
Suppose -3*q = -8 - 4. Let y be q*(7/(-4) - -2). Is 200/3 - y/(-3) prime?
True
Suppose 0 = -2*u + 5*u - 1221. Is u a composite number?
True
Let w = 19 - 31. Let b(a) = -7*a + 11*a**2 - 13 - 2*a + a**3 - 9*a. Is b(w) prime?
True
Suppose -5*g + 5 = 10, -g = -c + 3. Is (-2)/(c + (-68)/33) a prime number?
False
Suppose -j + 411 = 2*a, 3*j - 3*a = -0*j + 1278. Suppose -4*t - 3*v = -18, -3*v - 2*v = 3*t - 19. Suppose -j = -2*q - t. Is q prime?
False
Suppose -2*b + 453 = -433. Is b a composite number?
False
Let k(u) = 746*u - 1. Let m be k(1). Suppose -v + m = 4*v. Is v a prime number?
True
Let c be (1 + -45)*(-1)/2. Let d(i) = i**3 + 4*i**2 + 6*i + 9. Let n be d(-4). Let b = c + n. Is b prime?
True
Suppose -7*b = -10*b + 3414. Is b prime?
False
Suppose 3*d - 2*x - 671 = -0*d, 4*x = 3*d - 673. Is d a prime number?
True
Is (-35967)/(-95) - (-1 - (-6)/10) a composite number?
False
Let p(g) = g - 3. Let m be p(3). Suppose -b + 4 = -m*b. Suppose b = -3*r + 67. Is r composite?
True
Suppose -4*b = -78 - 446. Is b a prime number?
True
Suppose -211 = 5*k - 36. Is (-4)/14 - 2355/k a prime number?
True
Let x = -189 + 291. Let c(r) = -2*r**3 + r - 2. Let j be c(3). Let a = j + x. Is a composite?
True
Suppose g + 9 = 4*g. Suppose 86 = -3*c + 5*c - 2*k, 68 = 2*c + 4*k. Let u = c + g. Is u a prime number?
True
Let c = -5 + 16. Is c a prime number?
True
Let f(z) = -10*z - 87. Is f(-29) a composite number?
True
Let h(s) = 1699*s**2 + 7*s - 7. Is h(2) a composite number?
False
Suppose 0 = 3*q - 4*a + 54, q - a = -23 + 4. Let m be (-67)/(-5) + (-2)/5. Let n = m - q. Is n a composite number?
True
Let y(i) = 4*i**3 - 3*i**2 - 4*i - 1. Is y(4) prime?
True
Suppose -z - 5 = -2*z. Suppose -37 = -z*f - 12. Suppose 3*h = -h - f*r + 71, -4*h + 2*r = -78. Is h a composite number?
False
Let g be (-8 - -2)*1/(-3). Suppose 0 = 2*z + 2*z + a - 249, -2*a - 132 = -g*z. Let i = z - 14. Is i a composite number?
True
Let k be (-1 - 1)/((-2)/(-1)). Let o be (-3 + 3)/(1/k). Is (-115 - o)/(4 - 5) a composite number?
True
Let a = 72 + 139. Is a a prime number?
True
Let q be (-1)/1*2*-2. Suppose 2*m - q = -0. Suppose 2*t = g - 2*t - 5, -5*t = -m*g + 22. Is g composite?
True
Suppose 0 = 2*m + 5*g + 19, 30 = 4*m + m - 3*g. Let r = m + 2. Let q(a) = a**3 - 5*a**2 + 8*a - 3. Is q(r) prime?
True
Let b be ((-24)/(-2))/1 - -2. Let w = -3 - -10. Let q = w + b. Is q a prime number?
False
Let q(y) = 37*y - 16. Is q(9) a prime number?
True
Let z(k) = k**2 + 7*k + 5. Let r be z(-6). Let l be ((-1)/(-1))/r - 0. Is (1 + 12/(-1))*l a composite number?
False
Let y(i) = -i**3 + 2*i - 3. Let d be y(6). Suppose 7*w = 9*w + 236. Let n = w - d. Is n a prime number?
True
Let w be ((-2)/(-4))/(1/(-8)). Let i be 5/((-10)/w) + 0. Is 6*i - (0 - 1) prime?
True
Let d = 2 - 5. Let t = 3 + d. Suppose t = -3*i + 5*i - 30. Is i a composite number?
True
Let s = 1142 - -2847. Is s composite?
False
Suppose 0 = -5*q - l + 1954, -2*q + 632 + 148 = 2*l. Is q prime?
False
Is (-2)/(-8) + (-8368)/(-64) a prime number?
True
Let f = 1351 - 948. Is f composite?
True
Suppose 2*v = q - 127, -4*q + 4*v + v = -517. Is q a prime number?
False
Suppose -3*w = -58 - 41. Is w a prime number?
False
Let i = 5317 - 1814. Is i composite?
True
Let u = -124 - -177. Let p = u - -5. Is p a prime number?
False
Let v(s) = 11*s**2 - 2*s - 5. Is v(-4) composite?
False
Let n(c) = 2*c**2 + 7*c - 1. Is n(-8) prime?
True
Let f be (-66)/(-10) - 2/(-5). Let g(d) = 8*d**2 + 4*d - 1. Is g(f) a composite number?
False
Let k = 2091 - 818. Is k composite?
True
Suppose 3*k - 16 = -7. Suppose k*r - 1399