hird derivative of s**4/24 + s**3/3 - s**2. Let i be z(4). Suppose k - 2 = -3*r, 2*k - i*k - 3*r + 44 = 0. Is k a composite number?
True
Let t(w) be the third derivative of -1/20*w**6 + 1/6*w**3 - 1/30*w**5 - w**2 + 0 + 1/12*w**4 + 0*w. Is t(-2) a prime number?
True
Suppose 3*f - 2*t + 9 = 0, -4*f - 4*t = 12 - 0. Is (67 - f)*1 + -3 composite?
False
Is (-1 + -6)*-1*(2 + 1149) a composite number?
True
Suppose 4*p - 7 = -c, -10 = -2*p + 3*c - 3. Let r(m) = 32*m**2 + 4*m - 3. Is r(p) composite?
True
Is (-3431)/(-9) - 20/90 prime?
False
Suppose 656 = 4*y - 4*w, 3*w = -y - y + 318. Let o be 0 - 2 - 3*-35. Let f = y - o. Is f prime?
True
Let n = -992 - -2685. Suppose n = 5*x + 5528. Is x/(-4) + (-3)/4 composite?
False
Let w be (-28)/(-12) - (-4)/6. Suppose -5*z = -g - 14 - 66, -w*g = 15. Is z a composite number?
True
Let w be 0*3*1/6. Suppose w = -2*k - 2*k + 28. Is k composite?
False
Let b = 416 - 57. Is b composite?
False
Let x(u) = -u**2 + 17*u - 2. Let w(y) = 3 + 0*y**2 - 3*y**3 - 13*y**2 + 2*y**3 - 15 - 14*y. Let z be w(-12). Is x(z) prime?
False
Let x = 656 - 15. Is x prime?
True
Let h = -1191 - -1885. Is h a prime number?
False
Let o = 17 - -14. Is o prime?
True
Is (8/(-12))/(2/(-438)) composite?
True
Suppose 0 = -5*i + j + 1111, j = -3*i + i + 450. Is i prime?
True
Let l(g) = 133*g + 10. Is l(15) a prime number?
False
Suppose 0 = 3*j + 675 - 1692. Is j prime?
False
Let r = -78 + 12. Let l = 101 + r. Is l a prime number?
False
Let t(w) = 12*w + w**3 - 7 + 0*w - 5*w**2 - 4*w**2. Is t(8) composite?
True
Let p be 76/3 - (-2)/(-6). Let x(s) = -21*s. Let r be x(-2). Let w = p + r. Is w a composite number?
False
Let p be ((-3)/(-2))/((-3)/4). Let x be -72 - (p/(-1) + 0). Let y = x + 111. Is y composite?
False
Let k = 1 - -4. Suppose -7 - k = -3*p. Suppose w - 21 = -3*r, 6*r - 4*r = -p*w + 84. Is w a prime number?
False
Let o = 3666 - 1499. Is o a prime number?
False
Suppose -1516 = 8*a - 12*a. Is a prime?
True
Let k = -12 + 26. Suppose 5*p + k = 109. Is p a prime number?
True
Let i(b) = 2*b - 1. Let h be i(2). Suppose 4*q = -2*v + 4, 5*v = h*q - 4*q + 28. Suppose 3 + v = f. Is f a prime number?
False
Suppose 399 = 6*z - 471. Is z prime?
False
Let m(u) = -384*u**3 + 1. Let w be m(1). Is -2 + 1 - (1 + w) a prime number?
False
Let m(a) = 52*a - 5. Is m(4) composite?
True
Let w = 5061 - 2962. Is w composite?
False
Let j(v) = -62*v + 1. Let a(l) = -63*l + 2. Let y(r) = -4*a(r) + 5*j(r). Let t be y(-3). Let o = t + -94. Is o composite?
True
Let d(b) = 25*b. Let u(y) = 150*y. Let a(i) = 25*d(i) - 4*u(i). Is a(1) prime?
False
Suppose -3*s - 256 = -d - 2919, 0 = 2*s + d - 1772. Is s a prime number?
True
Let a be 180/(-25)*650/4. Is (-4)/22 - a/22 prime?
True
Let t(s) = 5*s**2 - 3*s - 9. Suppose 4*m + 48 = -2*m. Is t(m) a prime number?
False
Suppose 2*t = -8, -r - 2*t - 8 = 3*r. Suppose r = 9*m - 7*m - 6. Is m prime?
True
Let j be 2/8 - 58/8. Let b = -5 - j. Suppose -q - y + 22 = 0, y = b*y - 3. Is q a composite number?
False
Suppose 2*k + 23 = -t - 3*k, 4*k = -t - 18. Suppose 0*w = t*w - 86. Is w composite?
False
Let y(i) = -i**3 + 5*i**2 - 5*i + 3. Let u be y(3). Let x(f) be the first derivative of f**3 + f**2 + 7*f - 35. Is x(u) prime?
True
Let r = -19 + 10. Let k = r + 16. Is k a composite number?
False
Suppose 3*d + 1973 = 7*v - 6*v, 2*d = -8. Is v a prime number?
False
Let q(h) = -h**2 - h + 26. Let i be q(0). Let u = 45 - i. Suppose r - u = -8. Is r a composite number?
False
Let o = 19 + -9. Let g = 0 - o. Is (-2)/g + (-348)/(-10) prime?
False
Suppose -4*b - 3*t + 1099 = -6*t, -1397 = -5*b - 4*t. Is b a prime number?
True
Suppose -5*o = -0*o - 200. Suppose 2*h = -2*h + o. Is h a composite number?
True
Let z = 2638 - 1379. Is z a composite number?
False
Let a = -257 + 508. Is a prime?
True
Suppose -l = -2*t - 102, t = 2*l + 2*l - 387. Let q = l + -65. Is q a composite number?
False
Let c = 12 - -1. Let k(t) = t**3 - 10*t**2 - 17*t - 8. Is k(c) a prime number?
False
Suppose 0 = 3*b + j - 219, 0*j + 373 = 5*b - j. Let i(k) = -40*k**2 + 2*k - 1. Let c be i(1). Let l = c + b. Is l a composite number?
True
Let u(a) = 250*a**3 + a**2. Is u(1) a composite number?
False
Let y be 2 + 0 + 0 - 0. Suppose 3*t - y*b - 385 = 0, -625 = -5*t - 0*b - 5*b. Is t prime?
True
Let x(l) = l**3 + 6*l**2 - 7*l + 2. Let t be x(-7). Let j(q) = -q**2 - t*q + 7 - 2*q + 3*q. Is j(0) composite?
False
Let f = -762 - -1957. Is f a prime number?
False
Let q = -1 + 3. Suppose -p + a + 36 = 2*a, -q*p + 78 = 4*a. Is p a prime number?
False
Let r(w) = 13*w**2 + 2*w + 1. Let q be r(-1). Let d(u) = -27 + 38 + 14*u**2 - 3*u**3 - 9*u + 2*u**3. Is d(q) a composite number?
False
Suppose 0 = 5*i - 0*i + 2*o - 2, -5*o = 5*i - 5. Suppose i = -0*c + 5*c - 95. Is c a composite number?
False
Suppose p = 2*p - 253. Is p composite?
True
Let x = 9 - 6. Suppose -x*b + 8*b - 445 = 0. Is b a composite number?
False
Let l be 60/14 - (-4)/(-14). Let r = l - 2. Suppose -r*n + n + 7 = 0. Is n a prime number?
True
Suppose -5*v = -o - 156, 67 = 3*v - v - 5*o. Suppose -6 + v = 5*q. Suppose -4*a = 5*n - 261, 42 - 8 = a - q*n. Is a composite?
False
Let g = -4 - -134. Is g*4*2/16 prime?
False
Let x(h) = 83*h + 13. Is x(3) prime?
False
Suppose 4*r - 4*a + 5 = 17, 0 = r + 3*a + 1. Let l(q) = 27*q - 1. Is l(r) composite?
False
Let z = 26 - 26. Is 83*1*(z + 1) composite?
False
Suppose -2*c + 2*k = -1330, -k + 1326 = 2*c - 4*k. Is c prime?
False
Let i be 4*((-146)/4 + 3). Suppose 0*r + 1065 = -5*r. Let b = i - r. Is b prime?
True
Let k(g) = 3*g**3 - 11*g**2 - 5*g + 8. Is k(9) a prime number?
True
Let o(n) = -11*n**3 - 3*n**2 - 2*n. Is o(-1) composite?
True
Suppose 5*u - 28 = 3*u. Suppose 0 = -d - d + u. Is d a composite number?
False
Let b(u) be the first derivative of 27*u**2/2 - 4*u + 4. Is b(7) a composite number?
True
Let v = 2 + 1. Suppose 29 = v*j - 2*b, 4*b = j + 3 + 4. Is j composite?
False
Suppose 2*k = 4*m + 1662 + 2976, -4*m = -5*k + 11619. Is k a prime number?
False
Let f = -5 - 6. Let x be (-18)/(-99) + 2/f. Is -2 - (-3 - x) - -56 a composite number?
True
Suppose 4*h - 5*w + 1 = 0, 0 = 5*h + 4*w - 6 - 3. Suppose -r + 1 = -h. Suppose 2*t - m - 137 = -r*t, 0 = -2*m - 2. Is t a composite number?
True
Let w(k) = 14*k**3 - 1. Let c be 1/(2/6) - 2. Is w(c) a composite number?
False
Let c = 1612 + 515. Is c prime?
False
Let p(l) = 18*l - 1. Let s(v) = 9*v - 1. Let r(t) = 3*p(t) - 7*s(t). Is r(-3) a composite number?
False
Let j = 253 - -223. Suppose -5*x + j = -x. Is x a composite number?
True
Suppose 309 = -4*p + 7*p. Is p a composite number?
False
Let o(v) = -2*v + 3. Let k be o(4). Let d(w) = 29*w**2 - 2*w + 1. Let x be d(1). Let n = k + x. Is n composite?
False
Suppose 0 = 4*l - 0*x + 4*x + 16, 16 = -4*l - 2*x. Is (-263)/l - (-12)/(-16) composite?
True
Let h = -11 + 4. Let v(s) = -16*s**2 + 3*s - 3. Let f be v(3). Let g = h - f. Is g composite?
False
Let s = -7 + 8. Is (s/(-3))/(3/(-279)) prime?
True
Suppose 5*p - 2084 = 4211. Is p composite?
False
Suppose -3*u + 7135 - 2380 = 0. Is u prime?
False
Let k be 50/2 - (2 + -1). Let r = k + -13. Is r prime?
True
Let k(f) = -f**3 - 5*f**2 - 8*f - 11. Is k(-7) a prime number?
False
Let i(w) = 5*w**3 - 2*w**2 + w - 8. Let g(n) = 14*n**3 - 7*n**2 + 3*n - 23. Let b(d) = 4*g(d) - 11*i(d). Let s be b(6). Is ((-47)/s)/((-5)/10) composite?
False
Let v be (-55)/(3/15*-1). Suppose 0 = -4*h - h + v. Is h composite?
True
Let k = -979 - -1416. Is k prime?
False
Suppose -5*b + b + 4*v + 3204 = 0, 4*v - 2389 = -3*b. Is b a prime number?
False
Let f = -13 - -50. Is f a composite number?
False
Let n = -59 + 3. Suppose s + 304 = -3*s + 4*c, s + 86 = -c. Let o = n - s. Is o prime?
False
Suppose 2*i = s - 665, s = -5*i + 350 + 322. Is s a composite number?
True
Suppose 8*d - 1239 = 865. Is d a prime number?
True
Let z(k) = 3*k + 0 + 2 - 1 - 16*k. Is z(-6) a prime number?
True
Is 1/(-4 + (-173)/(-43)) a prime number?
True
Let w = 5 + -8. Let n(g) = 5*g**2 + 1 + 0*g**2 - 4*g - 5. Is n(w) composite?
False
Let f(y) be the second derivative of 7*y**3/2 - y**2/2 - 3*y. Let v = 10 + -6. Is f(v) a prime number?
True
Let f be (1 + 1/(-1))*-1. Suppose -q - 3*d = -101 - 241, f = -d + 3. Suppose -m + 3*m - q = -3*t, -2*t = -2*m - 232. Is t a composite number?
False
Let o = 809 + 200. Is o prime?
