erivative of -s**5/10 + 587*s**2/2 - s. Let o(j) = -18*j + 162. Let x be o(9). Is k(x) a prime number?
True
Suppose 1305*f = 1257*f + 5455536. Is f prime?
True
Let c = 40 - 33. Suppose -c*w = -6*w - 163. Suppose 2*f = w + 219. Is f a composite number?
False
Let b(x) = 85*x + 11. Let q be ((-44)/(-8) + -4)/(1/2). Suppose 0 = -3*y - 0*z - 2*z + 14, -12 = -y + q*z. Is b(y) composite?
False
Let p(b) = -3*b**2 + 17*b - 8. Let n be p(5). Let q(r) = 21*r + 69*r - 5 - 13*r. Is q(n) prime?
True
Let z(r) be the first derivative of r**3/3 + 19*r**2/2 + 38*r - 21. Let c be z(-17). Suppose 3*h + 858 = 6*h + 3*p, c*p = -5*h + 1431. Is h a composite number?
True
Suppose 3*f - 5*m - 6053921 = 0, -86375 + 2104250 = f - 14*m. Is f prime?
True
Let u = -111 + 101. Let q(h) = -134*h + 57. Is q(u) a prime number?
False
Let c(m) = -m**2 + 9*m - 15. Suppose 10*f - 2*f = 48. Let p be c(f). Is ((-3)/p)/((-2)/2554) composite?
False
Suppose 12*p = -13*p + 36*p - 3431461. Is p a composite number?
False
Suppose -f = -8*f - 21. Let o be (167 - (f + 6))/(6/135). Suppose 1138 = -q - 3*w + 2982, 4*w - o = -2*q. Is q prime?
True
Let g = 1706 - 907. Let b = g + -58. Suppose -3*k - b = x - 13539, 2*x = 5*k - 21319. Is k a composite number?
True
Let x(v) = 2551*v - 15. Let h be x(1). Let n = h - -13283. Is n a prime number?
False
Suppose -6*z = -2*z + 16. Let x be (-2)/z*(-2 + 2)/2. Suppose x = 3*f - 1440 - 2337. Is f composite?
False
Let k(b) = -3668*b + 75917. Is k(0) a prime number?
False
Let z = 483 - 483. Suppose 0 = -w - v + 2579, 2*w + 5*v - 5158 = -z*v. Is w prime?
True
Let j = -28 + 14. Let x(u) = -4*u**3 - u**2 - 8*u - 17. Let d be x(j). Suppose 5*m - 4*s - d = 0, -2*s + 10915 = 5*m + 2*s. Is m a composite number?
False
Let y = 1 - 3. Let j = 2 - y. Suppose -j*d + 41 = -767. Is d a prime number?
False
Let r(h) = -h**3 - 8*h**2 + 200*h + 26. Is r(-29) prime?
True
Suppose -5*v = 5*l - 25, -19 = -4*l + 5*v - 8. Is (-1 + 10/l)*(-3602)/(-3) a prime number?
True
Suppose 0*q - 7 = -n + 2*q, 2*n + 3*q = 7. Suppose -5*t + 8*t = n*m + 9, -5*m + 4*t = 12. Suppose -9*j + 20*j - 1243 = m. Is j a prime number?
True
Is (-11347170)/(-8) + 4 + (-70)/56 composite?
False
Let f be (-148047)/6 - 12/(-24). Let p = -12355 - f. Is p a composite number?
True
Let g be (12/(-10))/(-1)*(-2 + 7). Let t(z) = 42*z**3 - 4*z**2 - 5*z + 1. Let l be t(4). Suppose g*x - 15785 = l. Is x prime?
False
Let p(u) = -3*u + 1018. Let h be p(0). Let o be (-8)/(-4) + h + 0. Let i = o - 689. Is i a composite number?
False
Let w = -1893 + 13004. Is w a prime number?
False
Let x(j) = -14 + 6 + 104*j - 22 - 15. Is x(8) composite?
False
Suppose -43*f + 641206 = -9*f. Is f a composite number?
False
Let s be 0 + (520557/27 - 9/(-81)). Let a = s + -13199. Is a prime?
False
Suppose -29*q = -13*q - 2224112. Is q a composite number?
True
Let n(f) = 175559*f - 4688. Is n(15) a composite number?
False
Let k = 2 - 0. Suppose -5*g + 9 = -k*j + 5*j, -9 = -3*g - 3*j. Suppose g*w + 7960 = 4*z - 4*w, 3*w - 9926 = -5*z. Is z a prime number?
True
Suppose -3*y - 4498 = -6*v + 4*v, 2*y + 2987 = -v. Let s = 4149 + y. Is s composite?
True
Let y(w) = 1022*w**3 + 2*w**2 - 4*w + 2. Let f be y(1). Let d = f - 469. Is d a composite number?
True
Is 10 + 30/(-2) - -6358 a composite number?
False
Let a be (187/85)/((-1)/(-35)). Suppose 82*s - 25 = a*s. Suppose -s*h + 3443 + 2572 = 0. Is h a composite number?
True
Suppose 2*z - 4 = 2*c, z + z = 4*c - 2. Suppose z*b - 2*b - 20332 = k, 5*b + k = 33900. Is b prime?
True
Let m(a) = a**2 - 22*a + 5. Let q be m(7). Let z = 48 + q. Let k = 350 + z. Is k composite?
True
Suppose 3*j + 0*s - 4*s = 698, 4*s = 2*j - 472. Let g = 462 - j. Let i = 437 - g. Is i a prime number?
False
Let d(l) = 3*l**2 + 189*l + 776. Let i be d(-4). Suppose -2*b = -2*j + 10, -2*b - 30 = -4*j - 0*b. Is 1772/j*170/i composite?
False
Let v = -26 + 30. Suppose 2*i = -j + 5, -1 + v = 2*j - 3*i. Suppose 0 = -3*w - j*m + 2904, 5*w - 1321 = 3*m + 3543. Is w a composite number?
False
Let b = -71 - -72. Let z = 29 - -9. Is (4398/10 - b)/(z/95) composite?
False
Suppose 0*s = 17*s - 1904. Suppose 14*y + 0*y = -s. Let o(m) = -244*m - 55. Is o(y) prime?
False
Let l(z) = z**2 + 13*z + 18. Let y be l(-11). Let o(f) = -f + 7. Let h be o(y). Suppose 0 = h*v - 2*v - 1899. Is v composite?
False
Let y be -27*((-19041)/9)/11. Suppose 5*q = -l + 7*q + y, q = 4*l - 20793. Is l prime?
False
Let m = -289 + 1106. Suppose -4*r + 7*r = -2*f + m, -4*r - 5*f = -1101. Is r a prime number?
True
Is 21557*(11 + -23 - -13) a composite number?
False
Let a be (2 - 1)/(30 - 31). Let u(s) = s**2 + s + 1. Let f(b) = -7*b**2 + 10*b + 39. Let v(n) = a*f(n) + u(n). Is v(9) composite?
True
Suppose -396*j + 4237914 = -274*j. Is j composite?
True
Suppose 1051577 = 63*x - 26*x. Is x a prime number?
False
Let k(i) = -168*i - 5. Let b be (-2368)/28 - (-12)/21. Let r be 2/7 + 276/b. Is k(r) a prime number?
True
Suppose -6654 = 13*b + 1640. Is -10 - b - (-9 + 2) a prime number?
False
Let r(a) = 195*a - 13. Let z be r(10). Let p = -115 + z. Suppose -10*w = -8232 + p. Is w composite?
False
Let n(j) = -1113*j + 5686. Is n(-125) a prime number?
False
Let j(f) = -f**2 + 6*f - 39. Let h(u) = -u**2 + 13*u - 77. Let g(a) = -4*h(a) + 7*j(a). Let w be g(-18). Let n = -278 - w. Is n prime?
True
Suppose 3*x + 6*q + 3 = 3*q, 4*x - 1 = q. Let d be x*(((-100)/(-12))/(-5) + 2). Suppose -2*a - 8*a + 5540 = d. Is a a composite number?
True
Let k be (-1 - -3) + -4 - -51. Let u(y) = -190*y + k*y - 134*y + 19. Is u(-8) composite?
True
Suppose 0 = -2*j + 6 - 2, 4*w = 3*j - 14. Suppose u = -3*u + 20, 55 = 2*k + u. Is (k - 2)/(w/(-86)) prime?
False
Let b(w) = 53*w**2 - 10*w - 6. Suppose 0 = 12*p - 17*p - 40. Is b(p) composite?
True
Is (7074687/9 - -5) + 5 - (-4)/(-3) composite?
True
Suppose -59*m + 298*m = 31821177. Is m composite?
True
Let g(o) = o. Let r be g(-2). Let h be r/(4/86)*1 + -1. Let k = h + 475. Is k composite?
False
Suppose 0 = 41*d - 40*d + g - 38026, -g = 0. Is d prime?
False
Suppose -28*x = -32*x - 7*t + 984231, 3*x + t = 738152. Is x prime?
True
Suppose 60 = 12*b - 2*b. Suppose -b*a = -23605 + 4471. Is a a prime number?
False
Let u = 77 - 73. Suppose 2*b - 4*x - 62 - 18 = 0, 3*b + 4*x - 160 = 0. Suppose u*l = 212 + b. Is l prime?
False
Suppose 4*u = -0*u + 12. Suppose 2*v - 81 = -3*n, 0*n + 3*n + 84 = u*v. Let y = v - -154. Is y a prime number?
False
Suppose 57144 = 14*q - 8*q. Let z = q + -16947. Let m = z - -10480. Is m composite?
True
Is ((-174628776)/120 + -26)*10/(-6) a prime number?
False
Suppose -37211 = 5*d - 7*d - p, 3*d - 3*p - 55794 = 0. Let s = 40708 - d. Is s composite?
True
Suppose v + 2 = -5*f - 3, -5*f - 2*v = 0. Let b be f/4 + 14/4 - -5. Suppose -344 + 2128 = b*t. Is t prime?
True
Suppose 111885 = 13*r + 32299. Is r composite?
True
Let h(l) = l**2 + 1. Let c(g) = 5*g**2 - 8*g + 18. Let f(u) = c(u) + 4*h(u). Let t be f(3). Suppose 75*n - t*n = -12404. Is n a composite number?
True
Let w(i) be the first derivative of -145*i**4/4 - 4*i**3/3 + 2*i**2 - 7*i - 99. Is w(-6) prime?
False
Let c = 17 - -1. Suppose -2*n - c = -24. Suppose 0 = z + n*b - 950, -z = -5*b - 852 - 106. Is z a prime number?
True
Let f(t) = 388*t**2 - 11*t + 33. Is f(4) composite?
False
Let p be 22/(-1 + 10/14). Let n = 980 + -979. Is -2*(p + 0) + n a composite number?
True
Let d be 28/(-21)*15/(-5). Is (-254832)/(-88) + 3 - d/(-22) a composite number?
True
Let z(x) = -1740*x**3 - 6*x**2 + 7*x + 9. Is z(-2) prime?
False
Let n = 72319 - -4722. Is n a prime number?
True
Suppose 7 = 4*v - 3*t - 8, 2*v + 2*t + 10 = 0. Suppose -3*o = -2*m + 4*m + 809, v = -o - 1. Let l = m - -696. Is l a prime number?
True
Let d(t) = -t**3 + 17*t**2 - 184*t - 17. Is d(-54) a prime number?
False
Let q(k) = 250*k**3 + 4*k**2 - 14*k + 11. Let y be q(4). Suppose 8*a - y + 5131 = 0. Is a composite?
False
Let x = 63822 + -4559. Is x composite?
False
Let h = -764 - -4335. Let z = -716 + h. Suppose 2*q = 2*o - 4266, 0 = -2*o + 3*q + z + 1415. Is o a composite number?
False
Let p(z) = 75*z**2 - 23*z + 871. Is p(28) a composite number?
True
Suppose 4*l - 3*c = 1001, 23*c - 503 = -2*l + 22*c. Is l prime?
True
Let q be (-2)/(-5) + -4 + 456504/15. Let y = q - 15809. Is y prime?
True
Let m be -70 + (-2)/4*4. Let x = -72 - m. Let r(y) = -