d(u) be the third derivative of 17*u**4/8 - 61*u**3/6 + 37*u**2. Is d(22) a prime number?
True
Let a(h) = 524*h**2 - 6*h - 1. Is a(5) a composite number?
True
Let m = -658 + 177. Suppose 36*i - 2043 = -603. Let r = i - m. Is r a composite number?
False
Let r(w) = -131*w**3 + 3*w**2 + 37*w - 2. Is r(-7) a composite number?
False
Let j = 173 - 123. Is ((-446)/(-4))/(5/j) prime?
False
Suppose -3*y + 7*y = 12. Suppose y*r - 72 = -r. Suppose 0 = i + 2*i - r. Is i prime?
False
Let h(w) = 60*w**2 + 3*w + 11. Let k be h(5). Suppose 11*z - 575 = k. Is z prime?
True
Let v be 6/(-15) + 44/10. Suppose 4*m - 8 = -4*s + 4, -4*m + 4*s = -v. Suppose 2*q = -2*q + m*c + 252, -q = 2*c - 58. Is q a composite number?
True
Let i(z) be the first derivative of 13/2*z**4 + 4*z + 2 + 0*z**2 - z**3. Is i(3) a composite number?
True
Let d(o) = -55*o + 2. Let c be 184/(-56) - 4/(-14). Is d(c) a composite number?
False
Let s = -600 + 903. Let h = s + -194. Suppose -487 = -2*v + h. Is v prime?
False
Let k(g) = -4*g**2 + 2*g + g + 5 + g**3 - 4*g + 3*g**2. Let m be k(0). Suppose -d = -c - 2*d + 486, d = m. Is c a composite number?
True
Suppose m + 5626 = 3*m. Is m prime?
False
Is 186/341 + (-41595)/(-33) + 0 composite?
True
Let c = -142 + 241. Let d = 50 + c. Is d a prime number?
True
Suppose n = -5*r - 135 - 53, 580 = -3*n + r. Let l = -256 + 146. Let k = l - n. Is k a prime number?
True
Suppose l + 22 = -l. Let t = -13 - l. Is (-67)/2*1*t a prime number?
True
Suppose z - 4 = 0, -3*h + 2*z + 148 = 3*z. Suppose -233 + h = -5*n. Is n composite?
False
Is -2 + 5 + 0 - (-2058 + 8) prime?
True
Suppose 0 = -9*o + 50992 + 29567. Is o prime?
True
Let h(r) = -533*r + 55. Is h(-26) prime?
True
Let s(y) = -y**2 - 3*y + 2. Let v be s(-4). Is (-72208)/64*(-2 + 0 + v) prime?
True
Let g(j) = -j**3 + 17*j**2 - 18*j + 23. Let b be g(16). Let m = 13 + b. Is 889 - (-1 + -1 + m) prime?
True
Suppose 0 = 5*g - 2*o, -3*o = -2*g + 13 - 2. Let y be 3/5*(12 + g). Suppose 5*z - y*z + 181 = 0. Is z composite?
False
Let m(l) = -4*l**2 + 21*l - 4. Let t be m(24). Let y = -1277 - t. Is y a prime number?
False
Suppose 0 = 18*a - 51598 - 8540. Is a prime?
False
Let s(z) = 2*z**3 + 2*z**2 - 29*z - 19. Is s(12) a composite number?
True
Let w = -29 - -31. Suppose -2276 = -4*r + 3*q - q, w*r - 5*q = 1122. Is r a composite number?
False
Let m = -56270 + 87985. Is m prime?
False
Suppose 33696 = -11*b + 108991. Suppose b = 3*r + 4*k, k - 2291 = -r + 2*k. Is r composite?
False
Suppose -3*h = k + 3*k - 293, 3*h + 299 = 4*k. Suppose 3*l + k = 4595. Is l a prime number?
False
Let x(f) = f**3 - 6*f**2 + 11*f + 18. Let r be x(9). Let c = r - 199. Is c a composite number?
True
Let x be (6/2)/3*-3298. Let v = -1403 - x. Let l = v + -534. Is l a composite number?
False
Let r(w) = 767*w**2 + 17. Is r(-6) a composite number?
True
Is (2 - (-3 - (-62)/8))*-1108 a composite number?
True
Suppose -41*m + 309359 + 40330 = 0. Is m prime?
False
Suppose -5*s = 4*d - 40, -2*s = -s + 3*d - 8. Is 66/88 + 14770/s composite?
False
Let d = -5 - -1. Let t(w) = -w - 3. Let y be t(d). Is (y - (-3)/(-6))*14 a composite number?
False
Let f be (77/(-14))/(1/(-358)). Suppose -k - f = -5*t + k, -5*t = -5*k - 1960. Is t a composite number?
True
Let y be 24/2 + (-5 - -2). Let v(c) = 6*c**2 - 16*c + 11. Is v(y) a prime number?
True
Let d(t) = 1 - 2 - 17*t - t. Is d(-8) a composite number?
True
Let z be (-744)/(-10)*(-2 + 7). Let o = 563 - z. Is o a composite number?
False
Suppose -9438 = -16*z + 10706. Is z a composite number?
False
Let f(l) = 297*l**2 - 11. Is f(4) composite?
True
Let l be 2/(-5) - (-54)/10. Suppose -l*k = -k - 516. Suppose n - k = 4. Is n a composite number?
True
Suppose -l + 3 = v, 2*l = 3*v - 1 + 7. Let s be 1 - 3 - (-9 + l). Is (s/(-1) - -373) + 4 composite?
False
Suppose 3*k - 4*p - 12608 = 0, -8402 = -k - k + p. Suppose 0 = -4*r + 4*t + 4204, -t + 6*t = 4*r - k. Is r prime?
False
Let o be (-5)/(-2) - (-6)/12. Let d(u) = -80*u - 4. Let w(k) = k. Let r(j) = -d(j) + 5*w(j). Is r(o) a composite number?
True
Suppose -3*k + 2*n = -33, 5*k - n + 6*n - 55 = 0. Let u(w) = w**3 - 8*w**2 - 16*w + 19. Is u(k) a composite number?
True
Let k = 7099 + -2565. Is 3/15 - k/(-5) a composite number?
False
Is (393104/(-32))/(-2 + 3/2) composite?
True
Let r be (30/12)/((-5)/(-4)). Suppose -3 = l - 1, -4*o - r*l = -304. Is o composite?
True
Let m(o) = -o**3 - 8*o**2 + 16*o + 15. Let l be m(-13). Let b = l + -413. Is b prime?
True
Suppose -4*c - 3*u + u + 2 = 0, 0 = 4*c - 4*u - 20. Suppose -2*l + l - 2*q + 107 = 0, c*l - 5*q - 169 = 0. Is l composite?
False
Let x = 5523 - 3354. Let l = 6136 - x. Is l composite?
False
Let b = 31898 - 7057. Is b a prime number?
True
Suppose 0 = 94*h - 99*h + 99445. Is h a prime number?
True
Let o = 2332 - 1259. Is o prime?
False
Let s be 209/(-114)*-6*1. Suppose -8*r - 3261 = -s*r. Is r prime?
True
Let x(n) = 4*n**2 + 5*n - 4. Suppose 25 = 3*v - 8*v. Is x(v) composite?
False
Suppose u + u + 320 = 3*p, -4*p + u + 420 = 0. Let f = -45 + p. Is f prime?
True
Suppose 0 = 4*m + 5 - 161. Suppose 2*f + m = 443. Let j = f - 109. Is j composite?
True
Let o(a) = -456*a - 1001. Is o(-30) composite?
True
Let w be (4 - -2)*(-1330)/(-4). Suppose -6024 = -3*y + 2*v, v = y - 4*v - w. Is y/(-9)*(-9)/6 a composite number?
True
Let t = -2729 - -4932. Is t a prime number?
True
Let n(l) be the third derivative of l**6/30 - 3*l**5/40 - 19*l**4/24 + 5*l**3/6 + 9*l**2. Let z(f) be the first derivative of n(f). Is z(-8) composite?
False
Let q be 6 - (4 + 0 + -1). Suppose -q*t - 415 = -5*d + d, 407 = 4*d + 5*t. Is d a prime number?
True
Let x(a) = -457*a**2 - 5 - 7*a + 486*a**2 - 8. Is x(-4) a prime number?
True
Suppose 7497 = -0*w + 9*w. Suppose -2*v - y = -7*v + 4249, -v + w = 4*y. Is v a prime number?
False
Let m(k) = -k**3 - 6*k**2 - 7*k - 5. Let c be m(-4). Let b(a) = -9*a**3 - a**2 + 3*a - 20. Is b(c) a composite number?
True
Suppose -7*k = -4*k - 48903. Is k a composite number?
False
Suppose 0*j - 12 = 4*j. Let y be -6*(j/(-1))/(-3). Suppose -4*c - 135 = -y*x + x, c = -x + 36. Is x a prime number?
True
Let g(b) = -8*b**3 + 2*b**2 + 2*b + 6. Let k = -1 - 3. Is g(k) a composite number?
True
Suppose 5*c - 67460 = 2*f - 257214, 5*f = -2*c + 474385. Is f composite?
True
Suppose -65*j = -71*j + 12. Suppose -716 = -j*v + 678. Is v a prime number?
False
Let u = 1678 + -1002. Suppose -8*n - 5*a = -4*n - 2711, 0 = n + 3*a - u. Is n a prime number?
False
Let m = 28428 + -20176. Is m/28 - 6/(-21) a prime number?
False
Let t(r) = 8*r + 2. Let z be t(5). Is 2/(-12) - (-2149)/z composite?
True
Let r(o) = 85*o - 13. Let d be r(-4). Suppose m + 680 = -3*w + 3*m, 454 = -2*w + 2*m. Let p = w - d. Is p a prime number?
True
Let n(r) = r**3 - r**2 + 1. Let b(v) = v + 1. Let x(m) = -4*m**3 + 3*m**2 - m - 4. Let u(f) = -2*b(f) + x(f). Let p(l) = -3*n(l) - u(l). Is p(4) prime?
True
Let z(g) = 5820*g - 173. Is z(5) a prime number?
True
Let b(n) = 5*n - 11 - 5*n**2 + 4*n**2 + 4*n**2. Let q be ((-9)/(-15))/(2/(-20)). Is b(q) a composite number?
False
Let d(p) = -4*p**3 + 2*p**2 - 17*p - 8. Let x be d(-8). Suppose 0 = -4*f + f - 5*o + x, 3*f = 3*o + 2280. Is f a composite number?
True
Suppose 4*f + 174 + 80 = 2*t, 2*t - 5*f = 254. Is t a prime number?
True
Let x = 24 + -24. Suppose -2*m + 5932 = 4*t, 0 = -2*t + m - x*m + 2958. Is t composite?
False
Suppose -k - 3*z = -416, -k + 78 + 318 = -2*z. Suppose -2*g - 2*y + 813 = -3*y, g = 3*y + k. Is g a prime number?
False
Suppose -5 = -c - 3*y + 13, -4 = -2*y. Let k = 4 - c. Is 10/(-40) + (-298)/k a composite number?
False
Suppose 6*q - 2*q - 84 = 0. Suppose 0 = -0*v - 3*v + q. Is v composite?
False
Suppose -q = -5*q - 5*p + 37, -4*q + 7 = -p. Suppose -2*t - 4*n + 322 = -q*n, 3*t = -4*n + 493. Is t composite?
True
Suppose 0 = 3*w - 4*u - 13923, -3*w - 5*u + 9259 = -w. Is w prime?
True
Suppose 0 = 83*l - 82*l - 13033. Is l prime?
True
Suppose -2*t + 4 = 8. Let h be 2 - (t - (175 + 1)). Let c = -25 + h. Is c a composite number?
True
Let v = 6853 + -2991. Is v a composite number?
True
Let f(b) = -7*b - 2. Let u be f(-3). Let d = 83 - u. Suppose d = 3*m - 83. Is m a composite number?
True
Let o = 281 + 170. Suppose x + o - 2323 = -4*f, 2*f - 4*x = 918. Is f a prime number?
True
Suppose -968 - 70 = 3*m. Let j = m - -653. Is