ive of k**4/24 + 2*k**3/3 - 7*k**2. Let l be b(0). Suppose -2*d - 416 = -4*z, 4*d - 185 = -l*z + 255. Is z composite?
True
Let u = -14 + 16. Is (u/6)/((-5)/(-6135)) composite?
False
Let i = 2216 + -146. Let j = i - 919. Is j composite?
False
Suppose -53636 = -5*u + g, 3*g + 32184 = -6*u + 9*u. Is u prime?
False
Let r(t) = 25*t**2 + t - 7. Let a be r(3). Suppose -3*q - 5*v + 30 = 0, -q = v + 2*v - 14. Suppose -189 - a = -q*x. Is x composite?
True
Let p(k) = 3*k - 85. Let r be p(29). Is 1*(-2676)/(-24)*20/r a prime number?
False
Let x = -6726 - -15407. Is x composite?
False
Suppose 428 = 4*v - 4*k, 3*v = 4*v - 5*k - 99. Let o = v + -72. Is o composite?
False
Suppose 12 = -5*w + k - 15, 0 = -2*w + 2*k - 6. Is ((-1106)/w)/((-3)/(-9)) prime?
False
Let o = -19997 + 30246. Is o a composite number?
True
Let l(n) = -n**3 - 6*n**2 - 7*n - 2. Let a be l(-5). Suppose -24 = 2*t - 5*t. Is 442/a - 2/t a prime number?
False
Suppose -12*s = -7*s - 15. Suppose -4*b + 1847 = -s*b. Is b composite?
False
Let t = 41874 + -8072. Is t composite?
True
Let k be (-1)/(30/27 + -1). Let q(m) = m + 2. Let u be q(k). Let x = 4 - u. Is x composite?
False
Let v(z) = 32*z**3 - 4*z**2 - 4*z + 2. Is v(3) composite?
True
Let l = 390 + -775. Let s = 644 + l. Is s a prime number?
False
Suppose -13*o + 284453 + 109551 = 0. Suppose -4*u = 7968 - o. Is u a prime number?
False
Let h(k) = 1 + 1 - 7*k + 13*k - 9*k. Let i be h(-1). Suppose -2*q = -d - 69, i*d + 5 = q - 7. Is q a composite number?
False
Let b(h) = 6*h - 9. Let y be b(9). Let a = y - 17. Suppose o - a = 5*z, 4*o - z - 21 - 34 = 0. Is o a composite number?
False
Let p be 22/(-3) - 1/(-3). Let t = 0 - p. Is t/1*(-78)/(-21) a prime number?
False
Let d(x) be the third derivative of 31*x**5/60 - 7*x**4/24 - 11*x**3/6 - 5*x**2. Is d(-15) composite?
False
Let f(g) = 3*g + 5*g - 7*g. Let y be f(5). Suppose k + 576 = 4*p, -4*k + y*k + 431 = 3*p. Is p a prime number?
False
Let u be 2*12/(-8)*-1. Suppose u*p - 34 = 8. Is p a composite number?
True
Let q = -54 + 58. Is (-2)/(-8) + 7203/q prime?
True
Let z(g) be the second derivative of 0 + 3/2*g**2 + 5*g + 2/3*g**4 + 2/3*g**3 + 1/20*g**5. Is z(-6) prime?
False
Suppose 0 = 3*v + 95 - 308. Is v a composite number?
False
Suppose -4*l = 21 - 1. Let u(h) = -h**3 - 4*h**2 + 4*h - 2. Let a be u(l). Suppose -a*p + 361 = -641. Is p a composite number?
True
Suppose -2 = -3*g + 2*g. Suppose -g*b + b = -103. Is b composite?
False
Suppose -9*q + 5*q = 0. Suppose q = 4*o + 5*z + 29, 0*o - 13 = 2*o + z. Is (1 - 1251/o)*2 prime?
True
Let s = -315 + 1103. Let z be (-1 + 1)/2 + 329. Let k = z + s. Is k prime?
True
Suppose -3*x - 9 = -g, -5*g + 17 = -x - 0*x. Let j be (x + (2 - 0))/2. Suppose -2*w + w = 5*s - 77, j = 3*w - 6. Is s a composite number?
True
Let r be 6/(-8) + 27/4. Suppose 2*n = -4*d + 18, -4*d - 2*n + r = -2*d. Suppose -124 = -4*g + 4*a, d*a - 148 = -4*g + 2*a. Is g a prime number?
False
Suppose r + 2*r - 3*x = 2238, -2*r = x - 1483. Suppose 21 - 1 = 4*u. Suppose -2*d - r = -u*q, -d + 5 = 4. Is q composite?
False
Suppose 3*k + 12 = -3*p - 0*k, 4*k = 4*p + 8. Let i(x) = 127*x**2 - x + 5. Is i(p) composite?
False
Let w = 99 - 142. Suppose -5*c - 96 = -6*t + 2*t, 0 = 2*c + 5*t + 45. Let z = c - w. Is z prime?
True
Let d = -559 - -921. Suppose 0 = -3*g - 4*l + 177, 17*l - 15*l + 295 = 5*g. Suppose -2*q - r + g = -d, 636 = 3*q - 3*r. Is q a composite number?
False
Let k = 14361 - 7958. Is k composite?
True
Let a(s) be the third derivative of s**6/20 - 7*s**5/60 + s**4/24 - 7*s**3/6 - 4*s**2. Is a(5) a composite number?
True
Let y be ((-2)/(-6))/((-21)/(-693)). Let c(o) = 5*o. Is c(y) prime?
False
Let i(u) be the first derivative of u**2/2 + u + 9. Let h be i(4). Suppose -448 = -h*n - 18. Is n a composite number?
True
Let j be (-18 + 19)/((-1)/(-31)). Let c = 65 - j. Is c a composite number?
True
Let m = 27 + -17. Suppose 13*h - 93 = m*h. Is h a composite number?
False
Let u = 537 - -899. Let t = 45 - 37. Suppose -4*i = -t*i + u. Is i a prime number?
True
Suppose w - 17732 = -x, 5*w - 4*x + 0*x = 88633. Is w prime?
True
Let j = -26 - -29. Suppose -4*z - j*h + 6557 = 0, -4 = -2*h + 2. Is z a composite number?
False
Suppose 5*a = -2*b + 17, 4*a - 16 = -3*b - b. Is 489 - -1 - (b - 0) prime?
False
Suppose 4*p + q - 128 = -2*q, 4*q = 0. Let m = p - -35. Is m a composite number?
False
Let a(w) = -6*w**3 + 3*w + 4. Suppose -3 = -0*p + p, 0 = 3*g + 4*p + 21. Let b be a(g). Let r = -95 + b. Is r prime?
False
Suppose 26*c - 123113 = 224897. Is c a composite number?
True
Let n(k) = -k**2 - 7*k - 5. Let v be n(-7). Let g be (-8)/v*5/2. Suppose -g*f + 162 = -1322. Is f a prime number?
False
Let j = -22762 + 34833. Is j a composite number?
False
Let a = -775 - 1695. Let p = -1607 - a. Is p a composite number?
False
Suppose 97035 = 29*j - 14*j. Is j a composite number?
False
Let b = 20 - 30. Let v(z) be the first derivative of z**4/4 + 13*z**3/3 - z**2 - z + 1. Is v(b) a composite number?
True
Suppose -5*m - 21 = -41, u + 5*m + 1853 = 0. Let a be -1124 - 2/(-1) - 0. Let c = a - u. Is c prime?
True
Let t = -20814 - -29255. Is t a prime number?
False
Suppose k + y = 7 - 20, k - y + 17 = 0. Is 966/2 + (-11 - k) composite?
False
Let v(l) = -l**3 + 8*l**2 + 11*l + 13. Let x be v(9). Let s = 21 - x. Is s/4*516/(-10) a composite number?
True
Let b = 35 - 31. Suppose 5*h + 3*d = 441, 549 = 5*h + b*d + 106. Is h a composite number?
True
Is ((-228)/1)/(5/(-310)) - -7 a composite number?
False
Let o = 57 + -29. Suppose -j + 6*j + 23 = -n, 0 = 4*n + 4*j + o. Is 295/10*(-1 - n) composite?
False
Let u be 4/10 - (16/(-10) + 2). Let c(i) = i - 2. Let r be c(2). Suppose x + 3*d - 280 = r, 5*x + 2*d - 1910 + 575 = u. Is x a composite number?
True
Let x be ((-40)/(-16))/((-1)/(-2)). Suppose 3*i = -x*n + 779, -3*n = 2*n + i - 783. Is n prime?
True
Let n(o) be the second derivative of o**4/4 + o**3/6 + 9*o**2/2 + 8*o. Let y = 10 + -3. Is n(y) composite?
False
Let x(i) = -51*i**3 + 3*i**2 - 11*i - 5. Let m(n) = -34*n**3 + 2*n**2 - 7*n - 3. Let j(o) = -8*m(o) + 5*x(o). Suppose 0 = -0*b - 3*b + 6. Is j(b) prime?
False
Let l = -1152 - -3358. Is l a composite number?
True
Suppose 0 = 3*z + 3*l - 13887, -2*l - 18498 = -4*z + 3*l. Is z a composite number?
True
Let c = 2493 - 1152. Suppose -c = j - 10*j. Is j composite?
False
Is (-5 + 4)/(2/8) - -462 a prime number?
False
Let p = -11947 + 21984. Is p prime?
True
Suppose -a - a - 2*q + 116044 = 0, 0 = 5*a + q - 290126. Is (a/(-36) + 2/6)*-2 a prime number?
False
Suppose 19*w + 56 = 23*w. Let v = 103 - w. Is v prime?
True
Let g(a) = -a**2 - a + 2. Let h be g(-2). Suppose -748 = -h*t - 4*t. Is t composite?
True
Suppose 13609 = 4*j - g - 10988, 5*j + 2*g - 30743 = 0. Let n = j + -3186. Is n a composite number?
False
Let g(l) = -41*l**3 + l + 1. Let m be g(-1). Let i = m - 18. Is i a prime number?
True
Suppose 13442 = 6*k - 15172. Is k a prime number?
False
Let m(c) = -35*c**3 - c**2 + 26*c + 25. Let u(n) = -12*n**3 + 9*n + 8. Let a(l) = 2*m(l) - 7*u(l). Is a(5) a composite number?
True
Let o(n) be the first derivative of 209*n**4/4 + n**3 - n**2/2 - 36. Is o(1) composite?
False
Let o be (-14)/7 - 0/2. Let a be (3/3*o)/(-2). Let m(s) = 108*s**3 + s**2 - s + 1. Is m(a) prime?
True
Let c(a) = a**2 - 4*a + 2. Let w = 8 - 4. Let q be c(w). Is 33 + (-2)/(q + -1) a prime number?
True
Let r = 7428 - -1385. Is r a prime number?
False
Suppose 0 = v + 1, -3*v + 3789 = 3*i + 546. Suppose z + z = i. Is z a composite number?
False
Suppose 0 = -4*p + 29 - 5. Is 1/p + 3545/6 a composite number?
True
Suppose 830 + 849 = o. Is o a composite number?
True
Let g(h) = -h + 15. Let o be g(10). Let t(j) = 4*j**2 - 7*j + 2. Is t(o) composite?
False
Let m(s) = -2*s**3 - 47*s**2 + 128*s + 13. Let o be m(-26). Let z = 3 + 0. Suppose -4*p + 226 = -5*q, z*q = p - 2*p + o. Is p prime?
True
Let b = 458 + 1979. Is b prime?
True
Let x(w) be the second derivative of -w**5/4 - w**4/4 + w**3/6 - w**2 - 5*w. Is x(-7) a composite number?
False
Suppose -8*p = -13*p + 40. Suppose -p*n = n - 83115. Is n composite?
True
Let d(p) = -45*p**2 - 7*p - 13. Let t be d(-4). Let b = 1009 - t. Is b a composite number?
True
Suppose -4*f + 3*f = 0. Suppose f = 4*z - 23903 + 5523. Is z a composite number?
True
Suppose 0 = -103*i + 108*i - 19