 5. Let v be p(12). Let o = 5816 - v. Is o prime?
True
Let f(z) be the second derivative of -65*z**4/12 + z**3/2 - 5*z**2/2 - 3*z. Let q(p) be the first derivative of f(p). Is q(-2) a composite number?
False
Let l = 13961 + -148. Is l a prime number?
False
Let k(h) = 9*h - 2. Let g be k(-2). Let m be 8/g - 22/(-5). Suppose 1330 = 5*f + 5*l - 0*l, -m*f + 1073 = l. Is f a prime number?
True
Let n(z) = z + 6*z**3 + 11*z**3 + 3*z**2 + 1 - 5*z**3. Suppose q = -j - 2, 2*q = -4*j - 4 - 10. Is n(q) composite?
True
Suppose -6*k - k = -2982. Let j = k - -97. Is j prime?
True
Let t = -933 + 265. Let n be -1*(-2 + 1 - 58). Let p = n - t. Is p a composite number?
False
Suppose 0 = p + 2 - 6. Let a = 0 + p. Suppose 3*d + a*r - 343 = 130, d - 183 = 5*r. Is d composite?
False
Let i(m) = 3*m**2 + 2*m - 1. Let h be (-207)/(-63) + (-4)/14. Suppose -h*u + 2 = -1. Is i(u) a composite number?
True
Is ((-5466)/8)/(48/(-192)) prime?
False
Suppose 0*r - 3823 = -m + 3*r, -5*m = r - 19115. Is m prime?
True
Is (364/(-117))/(-14) - 9925/(-9) composite?
False
Let u(w) = 9*w**2 + 53*w - 11. Is u(36) prime?
False
Let h = 653 + -438. Suppose 0*n = -n + h. Is n composite?
True
Let z(r) = 912*r + 29. Is z(10) a prime number?
False
Let p be (-22)/(-99) + (-2)/9. Suppose p = -22*u + 20*u + 2402. Is u prime?
True
Let r(m) be the first derivative of 7*m**6/360 - 3*m**4/8 + 10*m**3/3 + 9. Let z(n) be the third derivative of r(n). Is z(8) prime?
True
Let o(m) = -87*m**2 - 3*m - 21. Let z be o(-18). Is z/(-33) + (-2)/11 prime?
True
Let b = 542 - -1851. Is b prime?
True
Let f(w) = 29*w**3 - 8*w**2 - 9*w - 9. Let n be f(-5). Let g = -2530 - n. Is g a composite number?
False
Suppose 3*x = 75 - 645. Suppose -5*v = -0*c + 3*c - 2560, -v = 4*c - 529. Let m = v + x. Is m composite?
True
Suppose 5*h - 7836 = -4*f, 0 = f - 0*h - 5*h - 1959. Is f prime?
False
Let d(h) be the third derivative of h**6/120 - h**4/24 + 2*h**2. Let a be d(-2). Is 928/12 + 2/a a composite number?
True
Let x = -10 + 12. Suppose 0 = x*f + 3*f. Suppose 5*n + 4*h - 651 = f, 3*n + 3*h - 393 = -0*n. Is n a prime number?
True
Suppose 4*w = a - 3175, 3*w - 5*w = a - 3157. Is a a prime number?
True
Suppose -5*w + 4*x = -5659 - 13246, -3*w + x + 11336 = 0. Is w prime?
False
Let b(v) = -v - 4. Let t be b(0). Let g be t/6 + (-24937)/(-33). Suppose 3*l - 323 = l + 5*w, 5*l - 2*w = g. Is l a prime number?
True
Let y(i) be the second derivative of 5*i**4/6 + i**3/2 + 9*i**2/2 - 7*i. Is y(-4) composite?
False
Suppose -4*x + o + 18 = -4*o, 3*x + 3*o = 0. Suppose 0 = 4*v - x*v - 2798. Is v prime?
True
Suppose 0 = -5*d + p + 22270, -5*p + 640 = -d + 5118. Is d a composite number?
True
Let s be (-3 - (-1 - 219)) + 2. Let c = 1222 + s. Is c a composite number?
True
Let t be (2/(-5))/(7/70). Is ((-2)/(-3))/(t/(-2838)) a prime number?
False
Let l = 3 + 2. Let q(m) = 173*m + 28. Let c(w) = -115*w - 19. Let a(t) = -8*c(t) - 5*q(t). Is a(l) prime?
False
Suppose 5*n = -4*z + 17, 4*z + 18 = -3*n + 5*n. Suppose 3*k + 386 = c + 2*k, -4*c = n*k - 1589. Is c prime?
False
Suppose 2*l - 2015 - 3424 = 5*z, -5*z = 4*l - 10893. Suppose -7*s + 5*s + l = 0. Is s a prime number?
True
Let s(u) = -u**3 + 3*u**2 + 15*u + 12. Let m be s(6). Let r(o) = -25*o - 28. Is r(m) a prime number?
False
Let s(o) = 4*o**2 + 3*o - 91. Is s(12) a prime number?
True
Let i(g) be the second derivative of -g**5/5 + g**4/12 - 2*g**3/3 - 7*g**2/2 - 13*g. Is i(-5) a composite number?
True
Suppose 3*j + 7375 = 4*g, -5*j + 507 + 1354 = g. Suppose 2816 + 270 = 5*x + 4*u, -3*x - u + g = 0. Is x prime?
False
Let l = 6325 + -1248. Is l composite?
False
Let f be 132/18 - 2/6. Let k(t) = 161*t + 24. Is k(f) composite?
False
Let u(x) = 50*x**2 + x + 3. Is u(4) prime?
False
Let n(g) = 2027*g - 440. Is n(11) a composite number?
True
Suppose -6*p = -9*p + 54. Let r = 15 + p. Is r composite?
True
Let x be (-24)/(-18)*741/(-2). Let n = x + 713. Let q = 368 - n. Is q a prime number?
True
Suppose 5*q = 3*x + 73, -2*x + 19 - 7 = q. Suppose -q*f + 12*f + 12278 = 0. Is f a prime number?
False
Let i = -12 + 15. Suppose 5*y + r = -6 + 17, -y + i*r = 1. Let u(q) = 11*q**3 + q**2 - 2*q + 1. Is u(y) prime?
True
Let r = 12259 + -854. Is r prime?
False
Let d(u) = 2*u. Let s(z) = z + 13. Let c be s(-11). Let w be d(c). Let h = w + -1. Is h prime?
True
Let m(u) = -9015*u + 14. Is m(-1) prime?
True
Let y be (36/(-20))/(3/(-10)). Let t = -1 + y. Suppose t*h = 8*h - 345. Is h a prime number?
False
Suppose 3*t + 6*s - 4*s - 32 = 0, 4*t - 16 = 4*s. Suppose -t*q + 3*q + 25 = 0. Suppose 2 = -0*c - c, 221 = q*p - 3*c. Is p composite?
False
Suppose d = -3*n - 0*d + 16290, -2*n - 5*d + 10847 = 0. Is n a composite number?
False
Let u be 68002/6 + 13/39. Suppose 8*q = 2*q + u. Is q composite?
False
Is -3*(-4)/(-24)*8 - -1643 prime?
False
Suppose 2107*d - 2121*d = -186074. Is d composite?
False
Suppose 33 = -3*z + 48, 2*v - 3*z - 59015 = 0. Is v a composite number?
True
Let x(n) = n - 9. Let y be x(5). Let l(p) = -7*p**3 - 6*p**2 + 2*p - 9. Is l(y) prime?
False
Let m = 16 + 678. Is m composite?
True
Let k be 2/4 + 29/2. Suppose k + 253 = 4*p. Let v = 168 + p. Is v a prime number?
False
Let k(o) = 4*o - 5. Let f be (-1)/(-3) - 120/(-72). Let m be k(f). Suppose 0 = 4*c - 8, -m*c = w - 226 - 37. Is w a prime number?
True
Let j = 14324 - -1710. Is j composite?
True
Let j = 626 - -525. Is j a composite number?
False
Suppose -10*n + 54643 + 46467 = 0. Is n prime?
True
Suppose -7 = -5*x + 8. Suppose -9 + 0 = -x*q. Is q/(-5) - (-5472)/45 composite?
True
Suppose -73357 = -10*i - 2947. Is i a composite number?
True
Let r = 9940 + -5441. Is r a composite number?
True
Suppose -r = 3*r + v, 0 = -3*r + 4*v. Let f(k) = -k + 229. Let d be f(r). Let x = d - -6. Is x prime?
False
Let c be ((-378)/(-9))/(3 - 2). Is -2*(-7)/(c/195) composite?
True
Suppose 5*a + 46 = -14. Let i be ((-4)/a)/(2/(-4938)). Is i/(-4) - 3/4 composite?
True
Let j(o) = 748*o**2 - o. Suppose 5*p = 2*x + 26, -4*p = -0*p - 16. Let w be j(x). Suppose -5*y + w = 3*c, 0*y - 2*c - 2694 = -2*y. Is y a composite number?
True
Is (-15)/(-10) + 815230/52 a composite number?
False
Let p(s) = 18*s**2 - 5*s - 33. Let x(f) = f**3 + f. Let y be x(-2). Is p(y) prime?
False
Let x(k) = k**2 + 9*k + 6. Let c be x(-9). Suppose 0 = -11*t + c*t + 18485. Is t a composite number?
False
Let i(w) = -178*w**3 + 3*w**2 + 2*w + 2. Let s(h) = -h**2 - h - 1. Let v(z) = -i(z) - 2*s(z). Is v(1) a composite number?
True
Suppose x + 12 = 4*x. Let o(f) = -82*f. Let v be o(x). Let b = -117 - v. Is b composite?
False
Let y(j) = 4*j - 18. Let h be y(6). Suppose h*c = 414 + 1344. Is c prime?
True
Suppose k - 3 = 0, -2794 = -2*m + 3*k + 1617. Let r = -549 + m. Is r a prime number?
False
Suppose 0 = -5*h - 22*b + 20*b + 7709, -5*b = -h + 1558. Is h prime?
True
Suppose -3*t - 24 = 5*z, 2*t - 14 = 3*z + 4*t. Let l(p) be the first derivative of 5*p**3/3 - p**2/2 + 5*p - 2. Is l(z) composite?
False
Suppose -10 + 1 = -3*v. Suppose 2*h = -8, v*q - 2*q - 2*h - 1107 = 0. Is q prime?
False
Let n(s) be the second derivative of 97*s**5/20 + 3*s**2/2 + 2*s. Let o(i) be the first derivative of n(i). Is o(1) a composite number?
True
Suppose 0*i - 3*i - 9671 = -4*y, -4*i = 4*y + 12848. Let f = -2295 - i. Suppose 2*d + 24 = f. Is d a composite number?
False
Is 6779/(-8 - (-9 + 0)) composite?
False
Is 2*49/28*7778 a composite number?
True
Suppose -v = -1, 4*v + 137605 = 4*g - 93987. Is g a prime number?
True
Suppose 5*k + 5*f = k + 30755, 0 = 3*k - 5*f - 23110. Suppose -a - 4*a + k = -5*w, -a = -3*w - 1547. Is a prime?
False
Let o(m) = 4*m**2 + 15*m - 47. Let c be o(11). Is c*(1 - 4)/(-6) prime?
False
Let v = 3965 + -1628. Suppose 16*g + v = 10321. Is g a composite number?
False
Let y(p) = -103*p - 6. Let h be y(8). Let k = -117 - h. Is k composite?
True
Let o(b) be the second derivative of b**4/12 + 13*b**3/6 + 4*b**2 + 6*b. Let j be o(-15). Let t = -7 + j. Is t a prime number?
True
Suppose -5*y = 15, 10*k - 8*k - 39856 = -2*y. Is k a composite number?
True
Let n = -185 + 294. Let p = n - 60. Let f = -23 + p. Is f a prime number?
False
Let z(i) = -i**2 + 11*i. Let m be z(11). Let d be (m - 3)/(9/(-201)). Suppose -165 - d = -2*p - g, 0 = -3*p + 5*g + 335. Is p prime?
False
Suppose -47 - 16 = -3*r. Suppose r*d = 26*d - 16