(x) a composite number?
True
Let g(c) be the second derivative of c**5/20 + 2*c**4/3 - 2*c**3/3 + 7*c**2 - 13*c. Is g(-8) a prime number?
False
Suppose 5*j - 2*o - 10773 = 0, -15*j - 4307 = -17*j + 3*o. Is j prime?
False
Let b(d) be the second derivative of -10*d + 2/3*d**3 + 8*d**2 + 1/4*d**4 + 0. Is b(7) a prime number?
True
Let o(u) = 13*u**2 + 31*u - 31. Is o(-13) a prime number?
False
Suppose 3*m - 39714 = -p - 4355, 4*m - 47120 = 5*p. Is m a composite number?
True
Suppose 5*l - 31970 = 5*f, 0*l + 25568 = 4*l + 4*f. Is l a prime number?
False
Let p = 3202 - 970. Suppose g + 2*u - 69 = 682, 0 = 3*g - u - p. Is g a composite number?
True
Is 147/(-245) - (2 - 1014954/15) prime?
False
Suppose 0*l - 4*l + 11 = 5*q, -5*q = 5*l - 15. Let p be -1 - (-169 + 3 + q). Suppose -p = -s + 5*a, -2*s + 301 = 2*a - 31. Is s a prime number?
False
Suppose 3*n + 30 = 5*n - 5*y, -5*n = -5*y - 75. Suppose -n*f = -12*f - 6963. Is f a prime number?
False
Let n be 5*2 - (6 + -2). Suppose -y - 2045 = -n*y. Is y a composite number?
False
Suppose u - 10 = -p - 4*u, -2*p = -3*u - 7. Is (p + -2)*969/9 a composite number?
True
Let c(n) be the first derivative of 5*n**3/3 + n - 11. Let y be (1/(2/4))/1. Is c(y) a prime number?
False
Suppose 2*l + s = 0, -s = -5*l - 0*s. Is 386 + l + (-1 - -4) prime?
True
Is (-144)/(-1368) - 148521/(-19) prime?
True
Let l = 264 + -221. Is l prime?
True
Let d = -29717 + 46014. Is d composite?
True
Let p = 0 + 1. Is (-2818)/4*(p - 3) a composite number?
False
Suppose 4*m + r = 13 - 5, -5*m - 2*r + 7 = 0. Let h(n) = -2*n + 5. Let j be h(m). Is 1*(j - (-52 + 0)) composite?
True
Let m(x) = -3*x**3 + x**2 + x - 1. Let b be m(1). Let f(j) = 2*j**2 + 3*j + 1. Let w be f(b). Suppose s = w, -4*y - 2*s = 3*s - 251. Is y prime?
True
Let u be -2 - (-14)/6 - 1894/3. Let g = -418 - u. Is g a composite number?
True
Let t be 10/15 + 2 + (-7558)/6. Is ((-20)/(-12) - 2)*t a prime number?
True
Suppose 5 = 2*d - d. Suppose d*n = 5*p + 8*n - 2369, 0 = 3*p + 3*n - 1419. Let q = -224 + p. Is q prime?
True
Let m = -906 + 1364. Let t = 723 - m. Is t a composite number?
True
Let g be (-6344)/7 + 2/7. Is (0 - g) + 2 + -1 a prime number?
True
Suppose 0*q = q + 450. Let h = -234 - q. Suppose -h = -4*j + 5*f, -4*j - 4*f + 215 + 37 = 0. Is j composite?
False
Suppose 0*r - 25795 = -7*r. Let k = -908 + r. Is k a prime number?
True
Let a = 1 - -1. Suppose 13*n + 37 = 63. Suppose 80 = a*r + 4*m, -m + 111 = 3*r + n*m. Is r prime?
False
Suppose -6*v - 21976 = 2*v. Let i = -1480 - v. Is i prime?
False
Suppose 3*u + 5*j - 64321 = 0, 4*u - 107179 = -u + 3*j. Suppose -13*y + 0*y = -u. Is y a prime number?
False
Let d = 11 + -9. Suppose 5*g - 1087 = -d*w + 808, 5*w + 1137 = 3*g. Is g a prime number?
True
Let z(r) be the first derivative of -r**4/2 - 7*r**3/3 - 9*r**2/2 + r - 18. Is z(-8) a composite number?
True
Let o(b) = 2*b**3 + 16*b**2 + 12*b + 29. Let g be o(-12). Let p = 202 - g. Is p prime?
False
Suppose 0 = 3*y + 27 + 45. Let x = -91 + 94. Is (-2140)/y - x/18 composite?
False
Suppose 0 = 3*k - 0*g + 3*g - 6, 0 = 5*k - 5*g - 20. Is 876 + k*(-3)/(-9) a composite number?
False
Let t(g) = 19*g - 18. Suppose -2*q + 1 + 1 = 3*l, -q - 5*l = 6. Let f(a) = 20*a - 19. Let x(i) = q*f(i) - 3*t(i). Is x(9) a composite number?
True
Suppose 0 = -3*x + 663 + 1449. Suppose -4*a + 865 = 2669. Let c = x + a. Is c a prime number?
False
Let w = 33 + -19. Let g = -1474 - -3791. Suppose -7*o + w*o = g. Is o prime?
True
Let f = 37 - -2. Is 9/2*1066/f composite?
True
Let u(y) = -3*y**3 + 3*y**2 + 3*y + 3. Let i be (-6)/3*26/4. Let b = 11 + i. Is u(b) a composite number?
True
Let o = -50 - -48. Is (-2)/5 - ((-994)/10 - o) composite?
False
Suppose 20 = 8*k - 4. Suppose -7*y - k*y = -2510. Is y a composite number?
False
Let t(v) = -v**2 - 7*v + 5. Let b be t(-7). Suppose -b*m - 154 = 5*i - 6*i, -2*i = 4*m - 378. Is i a prime number?
True
Suppose -5*b = -10, -b + 5*b = -5*k + 10908. Suppose 4*q - k = 1424. Is 2/1*q/34 a composite number?
False
Suppose 119883 = 5*a - n, -4274 - 43686 = -2*a - 3*n. Is a composite?
False
Is (45/(-36))/((-2)/248) prime?
False
Let i(l) = -13*l + 4049. Is i(0) a composite number?
False
Suppose 5*j + 17 = 2*a - 53, 3*j - 38 = -2*a. Suppose 0 = 3*z - 16*z + 572. Let i = z + a. Is i a composite number?
True
Suppose -7*t + 2*t = 2*f - 13986, 3*f = t - 2787. Let o be (2/4)/(1/t). Suppose -5*j - o = -4*v, 2*v - 4*j + 686 = 4*v. Is v a prime number?
True
Suppose -j - 5*v - 3 + 5 = 0, 4*j + 3*v - 8 = 0. Suppose -3*a + j*a - 12 = -4*h, -2*h = -5*a + 12. Suppose a*y - 2996 = 264. Is y prime?
False
Suppose k + 3*k = 4, -5*k + 5056 = n. Is n composite?
False
Let h = -19205 - -26896. Is h composite?
False
Let t = 1316 + -768. Suppose -w - 3*a = -t, -2*w + 5*a + 342 + 787 = 0. Is w composite?
False
Let w(i) be the second derivative of 29*i**3/6 + 2*i**2 - 5*i. Let t = 1 - -2. Is w(t) composite?
True
Suppose -t + g + 21377 = 2427, -2*t + 37888 = 2*g. Is t composite?
False
Let g be (676/10)/(4/(-20)). Let l = g + 144. Let o = l + 313. Is o a composite number?
True
Let b(f) = -f - 9. Let m be b(-6). Let p(g) = -37*g**3 - 2*g**2 + 2*g + 2. Is p(m) composite?
False
Let t be 82/5 - (3 + 65/(-25)). Suppose 11*a = t*a - 1055. Is a a composite number?
False
Is (-5554)/1*1/(-2) composite?
False
Let q(y) = -77*y**3 - 5*y**2 + 10*y + 83. Is q(-12) prime?
True
Let p be 2 + 2 + (-2 - -3). Suppose p*x + 35 = 5*z, -z - x + 9 = -4*x. Suppose -2*l + 1165 = 3*m, 3*m - z*m - 4*l + 1163 = 0. Is m a composite number?
False
Let i = 67 - 64. Suppose -i*t = -529 - 242. Is t prime?
True
Let i be (-1)/8 + 350/112. Suppose -i*y - 1926 = -3*a - 2*y, 2*a - 1276 = -2*y. Is a a composite number?
False
Let d = -3228 + 6365. Is d prime?
True
Suppose u - 5556 = 25583. Is u a composite number?
False
Suppose 5*s - 5*w = 40, 3*s = 2*s - 3*w - 12. Suppose 0 = -s*j + j - 1964. Is j/((-3)/(-6)*-4) composite?
False
Let r = -111 - -3980. Is r a composite number?
True
Let a(x) be the second derivative of 15*x**4/4 - 2*x**3/3 - 8*x**2 + 15*x. Is a(7) a composite number?
False
Suppose 5*v - 3*q - 94725 - 68817 = 0, 0 = 2*v - q - 65417. Is v a prime number?
False
Suppose 2*g - 26355 = 98563. Is g composite?
False
Let v(f) = -f**2 - 10*f + 3. Let h be v(-9). Let g be 14067/h - (-2)/(-8). Suppose 5*n = n + g. Is n composite?
False
Let d = 752 - -671. Suppose 2*b - 1449 = 3*v + 1382, 4*v = b - d. Is b a prime number?
False
Let g(v) = 58*v**2 - 8*v + 71. Is g(11) composite?
False
Let g(k) = 198*k + 17. Is g(3) prime?
False
Let x(a) = -a**3 - 6*a**2 + 4*a - 8. Let d be x(-7). Suppose -4*u + 8 = -j, 5*u - 2 = d. Suppose -j*b - 465 = -7*b. Is b prime?
False
Suppose 94*l - 96*l + 1034 = 0. Is l a composite number?
True
Let w(s) = 3*s**2 - 6*s - 85. Let y(l) = 7*l**2 - 13*l - 169. Let o(f) = -9*w(f) + 4*y(f). Suppose -b - 4*b = 0. Is o(b) prime?
True
Let l(x) = 1. Let r(h) = h**2 + 19*h + 23. Let v(z) = 5*l(z) - r(z). Let b be v(-18). Is 118*(-2 + b)/(-4) a prime number?
True
Let v = -62 + 67. Suppose 4*i = 3*i + 1653. Suppose 3*u - i = -u + j, -2*u + v*j + 831 = 0. Is u a composite number?
True
Suppose -4*r + 4*q = 8 - 208, -q = -4*r + 188. Suppose -2*v + r = -0*v. Is v a prime number?
True
Suppose -227 = -m - 0*m + 2*r, 0 = -4*m + 5*r + 902. Is m a prime number?
True
Suppose -j + r + 31 = 0, 3*j - 4*r = 77 + 11. Suppose 2333 = 5*u - 2*n, -3*n - j = -5*u + 2296. Is u a composite number?
False
Let p = 4088 - 1651. Is p prime?
True
Let b(l) = -3*l + 17. Let h be b(4). Suppose -h*n - 643 = -3*q, -n + 2*n = -2. Is q prime?
True
Suppose -25*y + 60612 = -13*y. Is y a composite number?
False
Suppose -3*h - 5839 = -8*h + 4*m, 2*h - 2362 = -5*m. Is h a composite number?
False
Let b(i) = -i**2 - 6*i - 6. Let k be b(-5). Is (5/(15/(-6)) + -231)/k a composite number?
False
Let o = 2 + -3. Let t(d) = -5*d + 1. Let l be t(o). Suppose -l*p + 9*p - 9 = 0. Is p prime?
True
Suppose -5*l + 4612 + 3313 = 0. Is l a composite number?
True
Let v(l) = 32*l**2 + 2*l - 23. Is v(5) a composite number?
False
Suppose -2*a - 2*i = -8046 - 54690, -5*i = -5*a + 156830. Is a a prime number?
False
Let o(r) = -r**2 - 5*r + 7. Let f be o(-6). Is ((-831)/6)/((f/(-22))/1) composite?
True
Suppose 0 = 11*l - 575795 + 195382. Is l prime?
True
Suppose -9*n = -23*n + 26558. Is n