**4/12 - s**3/6 - 35*s**2/2 + 6*s. Is d(9) a prime number?
True
Suppose u = 4*y + 152, 4*y + 6*u - 5*u + 160 = 0. Let k = y - -67. Let o = k - -7. Is o prime?
False
Let k(t) = -4*t + 11. Suppose o - 2*o - 12 = 0. Is k(o) a prime number?
True
Let z(x) = x**2 + 4*x - 2. Let w(u) = u**3 - 4*u**2 - 4*u. Let y be w(5). Is z(y) a prime number?
True
Let j be (-6 + 0)/(6/(-4)). Suppose 0*f = -a + 3*f + 263, 4*a + j*f - 1052 = 0. Is a a composite number?
False
Suppose k + 5*o = -2*k + 57, k - o - 11 = 0. Let u be (-8)/(-7) + (-2)/k. Let x(i) = 12*i + 1. Is x(u) prime?
True
Suppose 3*g - 71745 = -2*r, -g - 4*g + 119575 = 4*r. Is g composite?
True
Let w(h) = -h - 6. Let c be w(-9). Let u = c - 4. Is (-2)/((2/23)/u) a prime number?
True
Is 8/(-6)*(-38832)/32 composite?
True
Is (32 + -28)*2242/8 a composite number?
True
Let w = -359 + 580. Suppose -11*f = -10*f - w. Is f a prime number?
False
Let z = 23181 + -10148. Is z a prime number?
True
Suppose -5*f + u + 297399 = -101390, 4*f - u - 319032 = 0. Is f a prime number?
True
Suppose 0 = 3*g - 6 - 0. Suppose -2*f = -f + g*x + 6, f - 3*x - 19 = 0. Suppose -3*k - 3*d + 3165 = 0, f*d = k - 1004 - 61. Is k composite?
True
Suppose p - 5*p - 35 = -5*u, 19 = -2*u - 5*p. Suppose 5*z = 2*c + 16, -u*z - 4 = -4*c - 22. Suppose -895 - 219 = -z*y. Is y composite?
False
Let y = -10 - -15. Is (-574)/4*2*(-6 + y) a prime number?
False
Let k = 18152 - 11665. Is k prime?
False
Let p(d) = -2*d**3 - 5*d**2 + 12*d + 9. Let h be p(-8). Suppose -k - 5*s + 191 = 0, 3*k - h = -0*k - 4*s. Is k a prime number?
True
Suppose -2*g + 3*c = 2*c - 11, 4*c + 17 = -g. Suppose -5*t - 2*q - 3*q = -10, 0 = q - g. Is 2 + 157*(t + 2) a composite number?
True
Let r(i) = -i**2 + 19*i - 2. Let l = -20 + 31. Is r(l) a prime number?
False
Let m(p) = -139*p + 101. Is m(-12) composite?
True
Let b(j) = -j**3 + 2*j**2 + 6*j - 10. Let s be b(4). Is (1 - 4)*5154/s a composite number?
False
Is (46014/5)/(15/(600/16)) composite?
True
Let z(g) = -4*g - 1. Let i be z(-2). Let w(k) = 7*k**2 - k - 9. Let l be w(i). Suppose 0 = -2*h + l + 287. Is h composite?
False
Let a = 92 - 206. Let r be 8/(-10)*86 + 128/160. Let l = r - a. Is l composite?
True
Suppose 5*h - y - 573 = 0, -2*h - 4*y + 90 + 148 = 0. Let z = h - 48. Is z prime?
True
Suppose -24 = 3*z - 9*z. Suppose 2*w - z*w = -1642. Is w composite?
False
Suppose 0 = 2*o + 2*v - 342, 3*v - 418 = -2*o - 71. Suppose -3*i + 2*i - 11 = 0. Let t = o - i. Is t composite?
True
Let r(j) = 32*j**2 - 19*j + 20. Let h(l) = -l**3 + 16*l**2 + 2*l - 21. Let s be h(16). Is r(s) a composite number?
True
Let s(p) = 1714*p + 181. Is s(15) a composite number?
True
Suppose 32*v - 36*v = -5036. Is v a composite number?
False
Suppose 5*b - 35 = 10. Suppose 5*v + 3*l - 310 = 0, -4*v + b*v - 5*l = 310. Is v prime?
False
Let j be 0*2/(-4) - -23. Suppose -l + j = -0*l. Suppose -b + 5*o = -0*b - l, 4*b - 5*o = 152. Is b composite?
False
Let r(p) = 7835*p + 256. Is r(11) composite?
False
Suppose 11*k = 7*k + j + 6627, -k + j = -1656. Is k prime?
True
Let j = -618 - -1175. Is j prime?
True
Let d(i) = 98*i**2 + 26*i + 163. Is d(-8) a composite number?
True
Suppose -2*v = -4*v - 56. Let w = 7 + v. Is ((-23)/(-3))/((-1)/w) composite?
True
Let h(n) = 0*n - n**3 + 2*n**3 + 3*n**2 - 4*n**2 - 3 - n. Let q be h(3). Suppose q*m - 3272 = 4*m. Is m a composite number?
False
Suppose 2*f = 4*j + 4746, 4*f = -5*j + 9*f - 5945. Let u = 468 + j. Let r = -397 - u. Is r a prime number?
False
Suppose -51*w + 5*s - 18235 = -56*w, -w - 2*s + 3651 = 0. Is w prime?
True
Let k = 14 + -15. Is k/(8/(-1788)) + 1/(-2) composite?
False
Suppose f + u = 344, -f = f - u - 676. Let p = f + -117. Is p a prime number?
True
Let w(o) = 2*o**2 - 10*o - 4. Let q be w(6). Suppose 4*h + q = 0, 3*k - 6*k + 1328 = 5*h. Is k a prime number?
False
Let h(o) = 6787*o + 355. Is h(6) composite?
False
Let b = 4 + 19. Suppose -4*i + 537 = -3*c - b, 4*i - 580 = -2*c. Is i prime?
False
Let j = 66 - -40. Is j a prime number?
False
Let m(n) = 253*n**2 + 8*n + 233. Is m(22) prime?
True
Suppose -4 = -5*x + 11. Suppose 2*b + r = 100, x*b = -r + 14 + 135. Is b prime?
False
Let p(x) = 12*x**3 - 8*x**2 + 7*x - 16. Is p(5) composite?
False
Let o(d) = d**2 - 11*d - 15. Let n be 4/5*(-15)/2. Let l(y) = -2*y + 4. Let b be l(n). Is o(b) prime?
False
Is 9*1 - (-40 - 13998) a composite number?
True
Suppose f + r = 4026, 2*r + 0*r = -10. Suppose 0 = -12*v + f + 1597. Is v prime?
False
Let o = -54 + 78. Suppose 0 = 3*d + 4*y + o, -4*d = 5*y + 11 + 20. Let n(t) = -4*t**3 + 2*t**2 + 7*t + 7. Is n(d) a prime number?
False
Let y(z) be the second derivative of -z**4/12 + z**3/6 + 373*z**2/2 + 11*z. Suppose 4*a - 5*f = 5 + 10, -4*a - f = 3. Is y(a) prime?
True
Suppose 3*n + 46314 = 4*t - t, -t - 4*n = -15428. Is (-21)/35 + t/10 a composite number?
False
Suppose -3*a - 6 = -21. Suppose -2*v = -a*v + 2874. Is v a composite number?
True
Let r = 3659 - 1836. Is r a composite number?
False
Suppose 124 = -0*x + 4*x. Let s = x - -96. Is s composite?
False
Suppose -c = -2*l + 12, -5*l + 4*c + 11 = -19. Suppose -l*t = -279 - 135. Is t composite?
True
Is ((-1970)/4)/(5/(-10) + 0) composite?
True
Let k(x) = -597*x**3 + 6*x**2 + 26*x + 102. Is k(-5) prime?
True
Let t be (-80)/(-8)*(-1)/(-2). Suppose -2*j + 525 = t*h, -118 - 1232 = -5*j - 5*h. Let z = 476 - j. Is z prime?
False
Suppose 0 = 77*n - 126*n + 714959. Is n prime?
True
Suppose -3*t + 2*t = 1. Let f = t - 27. Let d = 63 + f. Is d composite?
True
Suppose 5 = 3*d - 4. Suppose d*o + v = 1, -9 = v - 4. Let j(g) = 6*g**2 - 1. Is j(o) composite?
False
Let o(r) = 154*r**2 + 136*r - 49. Is o(9) composite?
False
Let i = 13066 + -5825. Is i prime?
False
Suppose a + 287 = 372. Is a a prime number?
False
Suppose 2666 = n - 2063. Is n a prime number?
True
Let w = 6811 - 4024. Suppose -b + 556 = c, 0 = -3*c - 2*c + 2*b + w. Is c a composite number?
False
Let m(t) be the third derivative of 0 + 0*t + 1/15*t**5 + 1/12*t**4 - 7/6*t**3 + 10*t**2. Is m(6) a composite number?
False
Let n = -9 - -9. Suppose -5*p + 20 = n, 5*k - 674 = 2*p - 3*p. Suppose s = 3*s - k. Is s a composite number?
False
Let q be 2/(-6) - 596/(-6). Let r = q + -48. Suppose -3*t + 144 = -r. Is t composite?
True
Suppose -5*k + 5*o = -6010, 2*o = -10 + 6. Suppose 4*t + 20 = -0, -d + 2*t = -707. Let h = k - d. Is h composite?
False
Suppose 0 = -22*x - 637851 + 2097749. Is x prime?
True
Suppose 2*m = -2*m + 8. Let k be (0 - m)*2/(-2). Suppose k*x = -x + 759. Is x a composite number?
True
Let r(p) be the first derivative of 5*p**3/3 - 7*p**2 - 8*p - 5. Is r(11) a composite number?
False
Let u(f) = -f**3 - 18*f**2 + f + 19. Let q be u(-18). Is 336/4 + 0 + q prime?
False
Let q(a) be the first derivative of a**4/4 + 3*a**3 + 7*a**2/2 - 6*a + 2. Let u be q(-8). Suppose u = 3*w - 10. Is w a composite number?
True
Let x = 26 - 32. Let o(i) = -i**2 - 8*i - 13. Let l be o(x). Let h(k) = -984*k - 1. Is h(l) prime?
True
Let y = 498 + -271. Suppose 599 = m - y. Suppose -p + m = p. Is p prime?
False
Suppose -5*o + 4005 = -4*c + 25211, 2*o + 15901 = 3*c. Is c a prime number?
False
Let h = 2 - 5. Let d = h + 6. Let o(u) = 4*u + 2. Is o(d) a composite number?
True
Suppose -2*c = 5*z - 7*c + 19735, -4*c = 2*z + 7900. Is ((-2)/(-6))/((-4)/z) prime?
False
Suppose -7*m + 5*m + 10 = 0. Suppose -m*a + 400 = -a. Let l = 315 - a. Is l a prime number?
False
Let z = 16064 - 8457. Is z a composite number?
False
Suppose 8 = 3*z - 2*z. Suppose -9*c + z = -5*c. Is (1 - c)/(4/(-76)) prime?
True
Suppose -48*m + 5*u = -49*m + 8161, u = 2*m - 16322. Is m composite?
False
Suppose x - 16 = -h, 3*h - 33 - 8 = 4*x. Suppose -h*c + 4*c = -3509. Is c a composite number?
True
Let t = 9333 + -1688. Suppose 10*d - 9*d + t = 5*z, -d = 0. Is z a composite number?
True
Suppose 0 = -3*w - 5*w - 80. Is (0 - -1361)*(-9 - w) a composite number?
False
Let j = -7701 - -25792. Is j a composite number?
True
Let r = -30 + -45. Let i be 8/(-12) - 464/(-3). Let o = i + r. Is o a composite number?
False
Suppose 3*m = t + 173, 2*m - 3*t - 118 = -t. Suppose 5*w - m = 2*w. Is w a prime number?
True
Let r(z) = z - 16. Suppose 2*q - 24 = -q. Let m be r(q). Let k = m + 217. Is k a composite number?
True
Suppose 22 - 5 = m. Suppose -m*b + 18*b = -5. Let i(s) = -2*s + 1. Is i(b) a 