erivative of 7*t**5/20 + t**4/12 - t**3/6 - t**2/2 + 8*t. Let c be m(-1). Let d(z) = z**3 + 5*z**2 - 8*z - 1. Is d(c) a prime number?
True
Let r be (-5 - -2)/((-5)/2530*2). Let z be (-4*1 + -1)*-1. Suppose -2*a - r = -z*a. Is a a composite number?
True
Let t = 2 - -7. Let i = -7 + t. Is (-2 - -4)*415/i prime?
False
Suppose 8 = -6*c + 10*c. Suppose 2*y = -z + 257, 9 = -y - c*y. Is z composite?
False
Let k = -22 - -27. Suppose -k*i + 0*i = -785. Is i prime?
True
Let c be ((-11)/(-3) - 1)/((-10)/(-30)). Is 3 - (-20406)/8 - c/(-32) a prime number?
False
Suppose 3*y - 67 = -2*y + 3*h, -20 = 5*h. Let d = 12 - y. Let n(z) = 821*z**2 - z + 1. Is n(d) prime?
True
Suppose 185 = -5*g - 0*x + 5*x, 5*g = -3*x - 153. Let l = -31 + 9. Let h = l - g. Is h prime?
True
Let t = 8 - 4. Suppose 0 = -5*s + 2*u + 1, 0 = t*s + 4*u + 16. Is -109*(s - (3 - 3)) a composite number?
False
Let p = 168 - 95. Suppose -p = -u - 16. Is u prime?
False
Let y(f) = -f**2 - f + 9. Let w be y(-3). Suppose -4*h = 5*v - w*h - 1010, 4*v - 5*h = 837. Is v a composite number?
True
Let s(h) = h**3 - 12*h**2 + 4*h - 8. Let n = -12 - -24. Let f be s(n). Let t = f - -31. Is t a prime number?
True
Suppose -4*o + 8 = -12. Let h(g) be the first derivative of g**2/2 - 2*g - 1. Is h(o) a prime number?
True
Suppose 3*n = -3*d - 83 - 346, -3*d + 2*n = 454. Let t = d - 30. Let h = t - -431. Is h composite?
True
Let p(f) = 15*f - 2. Suppose -z - q - 3 = -3*z, 4*q + 3 = 5*z. Is p(z) a composite number?
False
Suppose 3*f + 0*f + 3*k - 1821 = 0, 0 = -f - 4*k + 598. Suppose -4*z - 26 + 974 = 0. Let w = f - z. Is w prime?
True
Let y = 15473 + 1256. Is y a prime number?
True
Let x(u) = 55*u + 44. Let v be x(14). Suppose 0 = r + r - v. Is r prime?
False
Let x be (-569984)/(-44) - (-6)/(-33). Suppose -25*v - x = -31*v. Is v prime?
False
Let a(s) = -s**3 - 4*s**2 + 4*s - 4. Let b be a(-5). Let t be b/6 + (-174)/(-36). Suppose 3 + 44 = t*d + 3*m, -2*d + 5*m - 6 = 0. Is d a composite number?
False
Let k = -2 - -1. Suppose 0 = 3*j + 11*w - 6*w - 23135, j - 2*w = 7719. Is k*j/(-5) - 0 composite?
False
Let i = 83 + -78. Is 5562/i + 2 - 21/(-35) a prime number?
False
Let a(q) = 26*q + 3557. Is a(0) prime?
True
Let a = 98 - 421. Let h = -118 - a. Is h prime?
False
Let j(n) be the second derivative of -15*n**3/2 - 10*n**2 + 28*n. Is j(-3) a composite number?
True
Let k be 2/((-16)/10 + 2). Suppose -91 = k*f + 304. Let l = f - -146. Is l a prime number?
True
Let a(b) = b - 6. Let w be a(12). Suppose k + w*p = 2*p - 304, 0 = 5*p. Let n = k + 465. Is n prime?
False
Let u = 24860 + -129. Is u composite?
True
Suppose -13*c = -4*r - 9*c + 33408, -c + 16707 = 2*r. Is r composite?
False
Let x be 1 + 1 - (10 - 13). Let m = -18 - -9. Is (m/12)/(x/(-20)) a prime number?
True
Suppose 5575 - 26927 = -8*z. Is z a composite number?
True
Let t(f) = 24*f**2 - 2. Let x be t(4). Suppose -3*r + 641 = -x. Is r composite?
True
Let p(k) = 538*k - 395. Is p(6) composite?
False
Let m(u) = 3*u**2 - 2*u - 1. Let q be m(-2). Let v(n) be the second derivative of -n**4/12 + 8*n**3/3 + 10*n**2 + n + 7. Is v(q) a composite number?
True
Let c(a) be the third derivative of a**6/120 - 3*a**5/20 + 13*a**4/24 + 2*a**3 - 6*a**2. Is c(11) composite?
False
Let q(u) = u**3 - 7*u**2 - u + 5. Let o be q(7). Let a = o + 2. Suppose a = -v - 0*v + 161. Is v composite?
True
Is (-4229)/((-7)/21*1) a composite number?
True
Let k(t) = -46*t**3 - 61*t**2 - 12*t - 2. Is k(-5) a composite number?
False
Suppose 7 = 4*l - f, 2*l - f = 6*l - 9. Let g(h) = -6*h + 2*h**2 + 6*h + 7 + 0*h**2 + h**3 - l*h. Is g(4) prime?
False
Suppose -11*o + 725986 = -81579. Is o composite?
True
Suppose -4506 = -42*a + 36*a. Is a a composite number?
False
Suppose 0 = 5*k - 5549 - 10686. Is k a composite number?
True
Suppose 1 = x - 4. Suppose g - 3*f = 16, 32 = 5*g + 3*f - 6*f. Suppose 0 = 3*s - 0*i + 4*i - 213, -g*s - x*i + 283 = 0. Is s a composite number?
False
Suppose -3*n + 3*k = -33, 3*n + 4*k = 2*n + 1. Let o(v) = 18*v**2 - v - 6. Let j(h) = 20*h**2 - 2*h - 5. Let y(p) = -5*j(p) + 6*o(p). Is y(n) composite?
False
Let q(c) = 28*c**2 - 6 + 0*c - 29*c**2 + 5*c. Let y be q(4). Let f(s) = 53*s**2 + 2*s + 3. Is f(y) a prime number?
True
Let b(s) = 28*s**2 - 11*s + 18. Is b(7) prime?
False
Suppose -2 + 0 = -2*h, -u + 9222 = -5*h. Is u composite?
False
Suppose d - 3*i + 5*i = -160, -3*d = -i + 445. Let k = 80 + d. Is 3 - (-6)/(-3) - k a composite number?
False
Suppose -2*x - 2*n = -x - 197, -5*x + 1041 = -4*n. Let o be 2 - 2*21/(-2). Suppose o - x = -2*t. Is t a prime number?
False
Let h(r) = 53*r**2 - 2*r. Let t(m) = -52*m**2 + 3*m - 1. Let l(u) = 5*h(u) + 4*t(u). Is l(-3) prime?
True
Suppose 3*v - 4*v = 5*j - 179, 2*v + j = 358. Suppose 14 = 5*s + 2*a, 4*a - 1 - 9 = -s. Suppose -s*f + k = -536 + v, 5*k - 184 = -f. Is f prime?
True
Let x = 961 + -579. Is x prime?
False
Suppose 4*g = 136 - 12. Is g - (3 - (-28)/(-4)) a prime number?
False
Let f(k) = 14*k**3 - 2*k**2 + 1. Let i be f(-1). Let n(u) = u**3 + 16*u**2 + 15*u - 1. Let y be n(i). Is (-81 - (3 - 5))/y a composite number?
False
Let n(x) = -8*x**3 + 11*x**2 - 3*x - 13. Let d(w) = 4*w**3 - 5*w**2 + 2*w + 6. Let m(b) = 9*d(b) + 4*n(b). Is m(7) a prime number?
True
Let y be (-9)/(-2) - (-4)/(-8). Suppose -y*u = -7 + 59. Let z(o) = o**2 + 11*o - 11. Is z(u) composite?
True
Suppose 2*d - 5*d + 3*v = 39, -d = -4*v + 13. Let y(u) = -u**3 - 14*u**2 - 15*u + 5. Is y(d) prime?
True
Suppose 3*i - 18 = -3*l, -l + 19 = 4*i + 1. Let d(b) = -b**2 - 8*b - 17. Let v be d(-7). Is l/v + (-352)/(-10) a composite number?
True
Let k be 14*(1 - 1/2). Suppose -11 = -2*v - k. Is v/(5*4/330) a composite number?
True
Let j be (-456 - -3)/(1/(-13)). Suppose 3*c + p - 5265 - j = 0, 5*c + 4*p = 18583. Is c composite?
False
Suppose 0*g + 20 = 5*g. Suppose -g*o = -414 - 214. Is o composite?
False
Let y be (-1 - 1 - -1)/(1/(-4)). Suppose 5*d - 2*f = 593, 21 - 136 = -d + y*f. Is d a composite number?
True
Is 9/(-45)*257525/(-5) a prime number?
True
Let d = 4895 - 1932. Is d a composite number?
False
Suppose -1341 = -8*u + 9523. Let c(t) = 3*t**2 + t. Let m be c(1). Suppose 344 = o + i, -4*o + m*i + u = 2*i. Is o a composite number?
True
Let l = 1970 - 1047. Is l a prime number?
False
Let c(q) = 6657*q + 20. Is c(3) a composite number?
False
Suppose 20*w - 17*w = 27. Suppose -w*c + 1506 = -7*c. Is c a composite number?
True
Suppose -3*g = 36*g - 324987. Is g composite?
True
Let u = 55 - -1651. Is u a composite number?
True
Suppose 0 = -4*t + 3*y + 16 - 5, t = y + 3. Suppose 2*v = -t*v. Let f(c) = c**2 + c + 163. Is f(v) a prime number?
True
Let u = 1583 - -312. Suppose -2*z + u + 183 = 0. Is z prime?
True
Is (-10741)/(-7) - 8/(-14) - -3 prime?
False
Let v be ((18/(-6))/(-3))/(2/(-2)). Let c = -2740 - -745. Is (v/(-3))/((-7)/c) a composite number?
True
Suppose -o - 15810 = 9*o. Let b = o + 2650. Is b prime?
True
Suppose 15166 + 5522 = 12*g. Let v be (158/(-6))/((-1)/(-39)). Let h = g + v. Is h prime?
False
Let b(k) = -k**3 + 2*k**2. Let i be b(4). Let g be (-34)/(-8) - 24/i. Suppose -2*u - n + 794 = 3*n, 0 = u + g*n - 406. Is u a composite number?
True
Let k(b) = -b**3 - 7*b**2 + 4. Let y be k(-7). Suppose 0 + y = -n. Is 4/(-16) - 1149/n a composite number?
True
Let s(j) = -7*j**3 - 2*j**2 - j - 1. Let p be s(-1). Suppose 5*r = 5*g + 510, p*r - 326 = 2*r - 2*g. Is r prime?
False
Let a(h) = 325*h**2 - 8*h + 4. Let u be a(4). Suppose -u = 6*p - 8*p. Suppose 5*l - p = 2379. Is l prime?
False
Let b(y) = -11*y**2 + 28*y + 7. Let c(j) = -11*j**2 + 29*j + 6. Let u(t) = 3*b(t) - 4*c(t). Is u(8) prime?
False
Is 0 + 1839 - (-11 + 15) composite?
True
Suppose -6 = 3*u, l - 53*u + 51*u = 33665. Is l prime?
False
Let x = 6 - 4. Suppose -4*v - 2*t - 7 = -19, 0 = v - 4*t - 21. Suppose x*f - 3805 = v*s, 0 = 3*f - 4*f - 4*s + 1935. Is f prime?
False
Let b(d) = 4*d**3 - d**2 + 2 + 5*d - 9 - 2*d**3. Suppose i = 2*i - 6. Is b(i) a prime number?
True
Let o(y) = 4817*y - 19. Is o(4) prime?
True
Let t(i) = 733*i + 6. Is t(1) a composite number?
False
Suppose 5*y - 25 = 0, 4*b + 31 = -0*b + 3*y. Is b/34 + 32474/34 prime?
False
Suppose -3 = -g + 2. Suppose -f - 99 = -d + f, -d = g*f - 64. Is d a composite number?
False
Suppose -2 - 5 = -b. Let i be (b + -6)/((-2)/(-10)). Is 10/i*851/2 composit