b = -3*k + 2*s, 5*s = -5*k + 15. Let l(u) = 39*u - 4. Is l(k) a composite number?
False
Let f be (-2)/3 - 18466/(-42). Let h = f + -310. Is h composite?
True
Suppose 4*d = -i - 3 + 31, -3*d - 4*i + 34 = 0. Let t(u) = 93*u**2 - 24*u - 5. Is t(d) a prime number?
False
Let f(z) be the third derivative of z**8/6720 - z**7/630 - z**6/360 - z**5/30 - z**4/8 - 7*z**2. Let h(a) be the second derivative of f(a). Is h(7) composite?
True
Let l = 890 - 467. Let n = 2222 - l. Is n a prime number?
False
Let m(p) be the second derivative of 9*p**4/4 - p**3/6 - 27*p**2/2 + 13*p. Is m(-11) prime?
True
Let j(t) = -2 + 565*t - 2424*t + 0. Is j(-1) composite?
True
Let c be (-6)/(72/(-20))*-87. Let w = 604 - c. Is w a prime number?
False
Let t be (-11)/4 - (-24)/32. Let a be t/(-1)*(-11)/(-2). Suppose a = o - 134. Is o a composite number?
True
Suppose 5*h + 12 = -f, -f - 5*h = -3*f - 84. Let a = 429 + f. Is a a composite number?
False
Let f = -4 + 6. Suppose 2*s - 6*a = -a + f, 2*s - 4*a = 0. Is (465/6)/((-2)/s) a prime number?
False
Suppose 0 = -b + 4*u - 4, b - 5 = -0*u - 5*u. Suppose -3*i - 5*y + 7042 = 0, b = 2*y - 7*y + 10. Let q = i + -461. Is q a prime number?
False
Suppose -7*q = -12929 - 28000. Is q a composite number?
True
Let u(k) = 666*k**2 - 11*k - 74. Is u(-5) prime?
True
Let x = 98 + -61. Suppose -2*z + 2384 = 2*o, 2*z - 115 = o - 1295. Let n = o - x. Is n composite?
False
Let k = -44 + 43. Is 2775/20 - -2*k/(-8) prime?
True
Let g = 9189 - 4468. Is g prime?
True
Let c = -8 + 10. Suppose s - c = 2*s, s + 493 = p. Is p a prime number?
True
Suppose -7*a - a = -10*a. Suppose 64*z - 62*z - 170 = a. Is z prime?
False
Suppose -18*r + 2*q = -14*r - 88710, 0 = 3*r - q - 66532. Is r prime?
False
Suppose -2*r = 2*h - 340, 688 = 4*r - h - 3*h. Let d = 8 + r. Is d prime?
True
Let s(v) = -v**3 + 4*v**2 + 5*v - 7. Let c be s(5). Is 2/c + (-74944)/(-56) + -1 composite?
True
Let m = 39339 + -27142. Is m prime?
True
Let j(y) = 3*y**3 - y**2 + 3*y - 1. Suppose 2*b - 4*a = 8, -a + 5 = 5*b - 4. Suppose -3*f + 7*f + o = 3, b*o = 2*f - 14. Is j(f) prime?
False
Suppose -5*k - 1 - 9 = 0, 3*c - 2*k - 10 = 0. Let w be (-40)/(-5) - 6/c. Suppose -813 + 217 = -4*m + w*o, -4*o = 4*m - 596. Is m composite?
False
Let x(v) = -2*v + 551. Let y(t) = -t**2 + 17*t. Let h be y(17). Is x(h) a prime number?
False
Suppose -5*y + 14855 + 51572 = -3*p, -2*y + p = -26570. Is y composite?
True
Suppose 0 = -4*b + 3*b - o + 387, -3*b + 1167 = 5*o. Suppose 2*s - 516 = b. Let f = s + -227. Is f prime?
True
Suppose -2*u = 2*u. Suppose -4*n + u*n = 3*h - 2255, 0 = -n + 2*h + 561. Is n a prime number?
True
Let z(b) be the third derivative of -71*b**4/6 - b**3/2 - 3*b**2. Let y(u) = -u**2 - 6*u + 14. Let j be y(-8). Is z(j) prime?
False
Suppose -2*w - 5*f + 49 = 0, 2*w - f = 2*f + 9. Suppose 0 = 7*k - 9*k - w. Is (0 + k - -3) + 137 a prime number?
False
Let h be 6/15 + 10/(-25). Suppose h*t - 2*t = -998. Is t a prime number?
True
Suppose 4*v = 4*l - 2732, -3*l + 4*v - 658 = -4*l. Is -1 + l + (-32)/8 a prime number?
True
Let h(j) = j**2 - 7*j + 17. Let r be h(5). Let s be 2/2 + r + -4. Suppose -p + s*p = 381. Is p a prime number?
True
Suppose -2*w = 2*w. Suppose w*n = -n + 4*r + 1911, 2*r = -4*n + 7608. Is n prime?
False
Let c(b) = -1015*b + 21. Is c(-8) composite?
True
Let d(k) = -102*k - 7. Suppose -o - 4*o - 3*n = -1, -2*o - 5*n = -8. Is d(o) a prime number?
False
Let s(a) = 19*a**2 - 24*a - 7. Is s(24) a composite number?
True
Let q = 996 + 1654. Suppose d - 2*b - q + 547 = 0, -10 = 5*b. Is d composite?
False
Is (-2*(-304578)/54)/(2/3) a prime number?
True
Let g = -1184 + 700. Let r be (g/12)/(2/(-6)). Suppose -206 = -x + r. Is x prime?
False
Is -3 + -2 + (1524 - -4) a prime number?
True
Let o(s) = 21*s**2 - 4*s + 2. Suppose -v + 4 = 1. Let c be o(v). Suppose -c = 5*w - 514. Is w prime?
True
Let c(k) = 11*k**2 + 7*k - 1. Let q be c(-4). Suppose 2*v = 5*v - q. Is v a composite number?
True
Let g be 51/(-9) - 4/12. Is 6/18 + (-9328)/g a prime number?
False
Suppose -5*c + 2189 = 3*g, 8*c + g = 3*c + 2193. Suppose -1785 = -2*j - c. Is j a composite number?
False
Let w(v) = 29*v**2 - v + 1. Let m(f) = f. Let g(j) = 4*m(j) + w(j). Let d = 2 - 4. Is g(d) a composite number?
True
Let m(f) = 46*f**2 - 13*f - 1. Is m(4) a prime number?
True
Let r = 46706 - 24301. Is r composite?
True
Is (4 - -2560) + 1 + -2 a composite number?
True
Is -10765*((-66)/10 - -6) a prime number?
False
Suppose 7888 = z - 3*u, -3*z - 2*z + 4*u + 39495 = 0. Is z a prime number?
False
Let n(y) = -2*y + 6. Let d be n(4). Let c be (50/5)/d*-1. Suppose -275 = -2*j - 5*u - 41, c*u = 5*j - 655. Is j composite?
False
Suppose 10*b = 29*b - 20045. Is b prime?
False
Let z = -22989 - -51502. Is z composite?
False
Let l(j) = 2*j**3 - 6*j**3 + 1 + 2*j**3 + 5*j**2. Is l(-8) prime?
False
Let j(m) be the third derivative of 11*m**5/4 - m**4/4 + 5*m**3/3 + 23*m**2. Is j(3) composite?
True
Suppose 28333 = 20*d + 9*d. Is d a composite number?
False
Suppose 5*b + 399915 = 14*b. Is b composite?
True
Is 3 + -2 + 236*162/9 a prime number?
False
Let c = -59 + 20. Let z = 46 - c. Is z prime?
False
Suppose -30 = -5*l + c, -3*l + 3*c - 4*c = -26. Let u be (-6699)/49 + (-2)/l. Is (-5 - u) + 4/4 a composite number?
True
Suppose 0 = 3*a + 171 - 5889. Suppose -a - 1029 = -5*f. Is f composite?
False
Suppose -5*x + 3*n = -57224, 5*x + n - 16097 - 41115 = 0. Is x prime?
True
Suppose 105*t = 112*t - 27713. Is t prime?
False
Suppose -7*q + 2647 - 470 = 0. Suppose -5*r + 0*r + 1650 = f, -r = 4*f - q. Is r prime?
True
Let f(u) = 295*u + 11. Is f(30) a composite number?
False
Let a(v) = -42*v**2 - 5*v + 11. Let x be a(5). Is (1 + 405/4)/((-38)/x) prime?
False
Suppose -15 = -5*g - 60. Is ((-5861)/g - 2) + (-6)/27 prime?
False
Let j = 3125 + -968. Is j composite?
True
Let r(o) = -o + 9. Let i be r(7). Let u(p) = 4 + 2*p + p**2 + 0*p**2 + 0*p**i - 6. Is u(-8) a composite number?
True
Let x be 11/2 - (-3)/6. Let h(a) = 84*a - 21. Let i be h(x). Suppose -5*r + i = 148. Is r a composite number?
False
Let x = -1092 + 5450. Is x a prime number?
False
Suppose 579*y - 63569 = 568*y. Is y composite?
False
Let i = -13 + 18. Suppose -3*y = -i*y + 1950. Is (-6)/12 - y/(-2) composite?
False
Let x = 5774 + -2135. Suppose -11*f + 8*f = -x. Is f prime?
True
Let f = 29 - 26. Suppose -s = l + f*s - 161, 5*l - 739 = 2*s. Is l a composite number?
False
Let b(r) = r - 7. Let o be b(9). Let n be (o/(-4))/((-2)/284). Let h = n + 120. Is h prime?
True
Suppose 33*w - 42724 = -11*w. Is w composite?
False
Is 3950/1 + 8/((-64)/(-24)) a prime number?
False
Suppose -5*z - 2 = -t, z - 6*z - t = -2. Suppose 3*v - 3*s = -z*s + 2667, 3*v - 2667 = -s. Is v a composite number?
True
Let v = 23 - 22. Let c be 1*6*v/(-2). Is (-3)/(c/3) - -16 a composite number?
False
Let u(q) = 4*q**2 + 13*q - 19. Is u(22) a prime number?
True
Let v = 7943 - 5582. Is v a composite number?
True
Suppose -4*q + 6867 = m - 333, 3*q + m = 5399. Suppose -q = -5*a + 714. Suppose 0 = -4*p + a + 5. Is p a composite number?
False
Let r be (2 - 48/20) + (-7577)/(-5). Suppose -k + 8 + 7 = 3*i, -5*k - 15 = 0. Suppose m = i*m - r. Is m prime?
False
Let f be -9 + (-1 - (-2)/(-2)). Let o(v) = -2*v**2 - 3*v + 20. Let x be o(-6). Let c = f - x. Is c prime?
True
Let c(g) = 4*g**2 + 5*g - 14. Let k be c(-4). Is (30980/60)/(2/k) a prime number?
False
Let a(c) = 5*c**2 + 11*c + 6. Let x be a(-5). Suppose -263 + x = -g. Is g a prime number?
False
Suppose -341 + 4462 = 3*o - b, -4*b = -2*o + 2764. Suppose -o = -4*t + 4*n, 8*t - 3*t + 4*n = 1697. Is t a prime number?
False
Let n(b) be the first derivative of 9*b**3 + 6*b**2 + 5*b - 10. Is n(-8) a composite number?
False
Let u(g) = 36*g**3 + 2*g**2 - g. Suppose -3*l + 6*l - 12 = 0. Suppose l*d - 6*d + 2 = 0. Is u(d) a composite number?
False
Suppose -3*d + 4105 = 1336. Is d a composite number?
True
Suppose -y + 2*s = -1234, -y - y = -3*s - 2467. Suppose 2*t - 178 = -y. Let p = -316 - t. Is p prime?
True
Is (33486/8)/((-213)/(-284)) a composite number?
False
Let n = -3893 - -5640. Is n a composite number?
False
Let z(t) = 2564*t**2 - 10*t - 11. Is z(-1) composite?
True
Let w(o) be the third derivative of -3*o**4/8 + o**3/6 + o**2. Let k = -1469 - -1467. Is w(k) prime?
True
Suppose 0*c + 5*k - 79379 = 