
Let u be (40 - 40)/((-4)/(-2)). Let t(x) = -6*x + 3155. Is t(u) prime?
False
Let k = 28 - 21. Let x(u) = 1267*u + 54. Is x(k) composite?
False
Suppose 19*q - 11*q = -56. Let p(y) = -11*y**2 + 14*y - 21. Let b(o) = -17*o**2 + 21*o - 31. Let s(k) = -5*b(k) + 7*p(k). Is s(q) prime?
True
Let k(p) = -2 - 1 - 3 - 3 + 4 + 6804*p**2 + 4*p. Is k(1) prime?
True
Let r(d) = 2 + 31 + 70*d**2 - 69*d**2 + 8*d + 0. Is r(-6) a composite number?
True
Let g(d) = -2*d**2 + 20*d + 11. Let n be g(10). Suppose -n*w = -6*w - 15780. Suppose -2*s = -6*s + w. Is s a composite number?
True
Let i = 304 + -176. Let z be 12/(-42) + i/7. Is (873/z)/((-1)/(-6)) a prime number?
False
Let t = -2 + 12. Suppose 2*o + t*o = 96. Suppose o*w - 37930 = -2*w. Is w composite?
False
Suppose -2*w - 4*t + 23 = -w, -5*w + 187 = -4*t. Let c = w + -20. Let q(g) = 2*g**2 - 16*g + 1. Is q(c) a prime number?
True
Let v(f) = 67*f + 7. Let h be v(-5). Let a(g) = -g**3 - 5*g**2 - 20*g + 21. Let c be a(7). Let z = h - c. Is z prime?
True
Let v = 3686 + 283533. Is v a composite number?
False
Let y(n) = -n - 2. Suppose 4*v + 2*s = -v - 10, 3*v - 2*s = -6. Let d be y(v). Suppose d = -5*z + 8*z - 3957. Is z a prime number?
True
Suppose 13 = 4*o - 5*k, 3*o - 9 = 3*k + 3. Suppose -a - b = -17, 5*a - o*a + 30 = b. Suppose a*c - 122 = 5247. Is c a composite number?
True
Let w(u) = 42*u**2 - 11*u + 15. Let n(o) = 21*o**2 - 5*o + 7. Let x be (-4 - 0 - -2) + 2/(-1). Let j(a) = x*w(a) + 9*n(a). Is j(2) a composite number?
True
Suppose m - 82694 = -g + 124505, 2*m + 414414 = 2*g. Is g prime?
False
Suppose 0 = -q - 5*w - 173, 8 = -4*w - 12. Is (-4)/20*-5 - q a prime number?
True
Let m(p) be the first derivative of 21*p**2 + 7*p - 124. Let d(c) = c**2 + c. Let v be d(-3). Is m(v) a prime number?
False
Let b = 1001060 + -708906. Is b a composite number?
True
Let k(r) = -4*r - 20. Let a be k(-5). Let o(x) = 6*x - 10 - 1 + a. Is o(13) a prime number?
True
Suppose 38*t - 13*t = 375. Suppose -11*y = -t*y + 11380. Is y a composite number?
True
Let g(j) = -2*j**3 - 17*j**2 - 8*j - 2. Let v(h) = 7*h**3 + 18*h**2 + 9*h + 1. Let w(o) = 3*g(o) + 2*v(o). Suppose 0 = 2*l - 10 - 0. Is w(l) composite?
True
Suppose -71715 = -27*b + 231414. Suppose 3*s - 31870 = -b. Is s prime?
False
Suppose -3*b + 3 = 2*o + 2*o, 15 = 3*o - 2*b. Let t(p) = 8*p - 3*p + 2 + 14*p. Is t(o) composite?
False
Suppose -2*c + 4*c - 20 = -5*j, -3*c + 16 = 4*j. Suppose c = 2*u - 12754 - 5920. Is u a composite number?
False
Let q(r) = -r**3 + r**2 + 14*r - 6. Let y be q(4). Suppose 3*b + y*d - 7629 = 0, -d + 6*d = 0. Is b a prime number?
True
Let r(x) be the second derivative of -9*x**5/4 - x**4/4 + 3*x**3/2 + 23*x**2/2 - 113*x. Is r(-4) a prime number?
True
Let v = -148861 + 267920. Is v a composite number?
True
Let d = 398393 + 22548. Is d composite?
False
Suppose 28*i + 911226 = 34*i. Is i a composite number?
False
Suppose 36196 = 23*m - 13921. Let d = 17174 - m. Is d a composite number?
True
Suppose 30*i - 8603130 = 15165546 + 19501374. Is i a composite number?
True
Let m = -22 - 39. Let v = -58 - m. Suppose -541 = -v*f - 4. Is f a composite number?
False
Is 449519/6*(-2 - -8) composite?
True
Suppose 1254015 = 9*x - 2530998 + 252810. Is x a prime number?
True
Let r(f) = f**3 + 4*f**2 - 4*f - 14. Let n be r(-4). Suppose -5*a - 2*m = -2809, -2*m + 1475 = n*a + 355. Is a composite?
False
Let h(l) = 5*l**2 - 2*l - 4. Let o(v) = 4*v**2 - v - 4. Let a(d) = 5*h(d) - 6*o(d). Let u be a(3). Is -1 - 2 - (u - (2 - -87)) a composite number?
True
Let y(n) = -n**3 - 12*n**2 - 18. Let x be y(-13). Suppose -260 - x = -3*l. Suppose -53 = -2*a + l. Is a prime?
False
Let g(p) = -p**3 - 6*p**2 - 4*p + 24749. Is g(0) a composite number?
False
Let a(q) = q**3 - 19*q**2 - 22*q + 43. Let s be a(20). Let w(n) = 2353*n + 4. Is w(s) composite?
True
Suppose 12*j = 292 - 220. Suppose j*b - 30242 - 298072 = 0. Is b a prime number?
False
Let t(y) = -245*y - 108. Let j(b) = 4*b - 103. Let v be j(17). Is t(v) composite?
False
Let r(t) = 1694*t**2 + 5*t + 4. Let g be r(-2). Suppose 0 = -5*y + 195495 + g. Is y composite?
True
Let p = -85 + 306. Let a = 568 - p. Is a composite?
False
Let w be 21 + (4/(-20) - 72/15). Is 84/w*391 + (-4)/(-16) composite?
False
Let b(o) = -337*o + 12. Let x(s) = 336*s - 13. Let d(a) = 6*b(a) + 5*x(a). Let w be d(2). Let q = -454 - w. Is q composite?
False
Let w(s) = -5016*s + 193. Is w(-5) a prime number?
False
Suppose 30*x = 24*x + 120. Let k(d) = 35*d - 57*d - x*d**2 + 93*d**2 + 22 + 30*d. Is k(9) composite?
False
Let f(j) = 71*j**2 - 2*j + 32. Let w be f(-15). Suppose -3*p + w = 4*p. Is p a composite number?
True
Suppose 10*w - 37650 = 61730. Let i = w - 5865. Is i composite?
False
Let s = 307906 - 194259. Is s a prime number?
True
Let c(k) = -99*k**3 + 20*k**2 - 42*k + 15. Is c(-10) a prime number?
False
Let u(a) = -9*a + 28. Let z be u(0). Suppose -41*i + z = -48*i. Is 4 + i + -4 - -911 prime?
True
Is (12847574/(-2921))/(4/(-22)) - 6/(-69) a composite number?
True
Let v(f) = -91*f**3 - 8*f**2 - 40*f - 307. Is v(-6) prime?
True
Suppose -v + 3*y + 80879 = 0, -v = 13*y - 9*y - 80921. Is v composite?
False
Suppose -3*o + 11272 = 3850. Let u = -609 + o. Suppose u = -6*g + 7*g. Is g a prime number?
False
Let q = 103707 - -22862. Is q a composite number?
True
Is 4487288/91 - (-15)/7 prime?
False
Is -22 - ((14 - 24) + -113509) a prime number?
True
Suppose 0 = -18*t + 496 + 98. Suppose -36*u + 33267 = -t*u. Is u a prime number?
False
Let z(r) = -15*r**3 + 4*r**2 + 24*r + 73. Let b be z(-12). Suppose -5*x = 2*s - b, -x + 3*s + 21034 = 3*x. Is x a prime number?
False
Let s(v) = -15*v - 2*v**2 + 16*v**2 + 3*v + v**2 - v**3 - 26. Let n be s(14). Suppose -5*w - 4*h = -7355, n*w - 3*h - 1506 - 1436 = 0. Is w a composite number?
False
Is 6/(-4)*((-113104758)/117 - 48) a composite number?
True
Suppose 117*c - 13 = 118*c. Let q(g) = -4*g**3 - g**2 + 3*g - 17. Is q(c) composite?
False
Let t(a) = a**3 - 21*a**2 - 22*a + 21. Let w be t(22). Suppose w*m - 63287 = 14*m. Is m a prime number?
True
Suppose q = -2*k + 4118, -7*q + 10*q = 3*k + 12381. Let l(b) = b**3 - 7*b**2 + 2*b - 4. Let y be l(7). Suppose 6*c = y*c - q. Is c prime?
True
Suppose 131*d + 3922992 = 84*d + 18925439. Is d a prime number?
True
Let l(r) = -4122*r**3 - 4*r**2 + r - 6. Let p(c) = -4122*c**3 - 3*c**2 + c - 5. Let s(y) = 4*l(y) - 5*p(y). Is s(1) prime?
False
Is 4/26 - (480973061/(-442) - (-42)/12) composite?
True
Let m(a) = -2*a**2 + 97. Let q be m(-9). Let p(d) = 9*d - 21. Let h be p(21). Let c = h - q. Is c a prime number?
True
Suppose -s + 228 = j, -s - 3*s + 921 = j. Let y = s - 120. Let f = y - -20. Is f prime?
True
Let q = -417 + 461. Let o be (-143)/(-3) + 12/(-18). Suppose -q*j + o*j = 561. Is j prime?
False
Let g = -56479 - -132812. Is g prime?
True
Let v(u) = -2 + 8 + 3*u**2 + 1 - 25*u. Suppose -34*z - 120 = -698. Is v(z) composite?
False
Suppose 0 = -3*c + 2*q + 53809, q - 2913 + 20851 = c. Is c a prime number?
False
Let a(c) = 733*c + 172. Let u be a(16). Let y = -3121 + u. Is y a composite number?
False
Suppose -16*k = -11*k - 15. Suppose 0*i = -k*i + 2*q + 20871, 3*i = -2*q + 20883. Is i composite?
False
Let n(h) = -45*h + 10. Suppose -9 = 3*a, 3*a + 1 = 4*q - 4. Let m be (-1)/(q/(-6)*-4 + 1). Is n(m) prime?
False
Let j = -43 + 45. Let m(b) = -101*b**3 + 2*b**2 - 7*b + 5. Let a be m(j). Let u = -444 - a. Is u a composite number?
True
Suppose 3*v + 4 = -5, -144215 = -z + 4*v. Is z a composite number?
False
Let l be 21*(-4)/12 + 28. Is 4/(-6)*l/14*-307 prime?
True
Suppose 35*w - 41*w - 268260 = 0. Let g = 77699 + w. Is g prime?
False
Let y be -447 - ((2 - -2) + -4). Let n be y/((-33)/12 + 2). Suppose n = h + 3*h. Is h prime?
True
Let v(f) = 8*f**2 - 18*f + 19. Let a(i) = 15*i**2 - 35*i + 39. Let t(y) = -3*a(y) + 7*v(y). Is t(9) prime?
False
Suppose -6*v - 8*v = -28. Suppose -k + 3*r - 17783 = 0, 4*k + 0*r = -v*r - 71188. Is (-2 + (-27)/(-15))*k a prime number?
True
Suppose -249*b = 240*b - 459*b - 6413430. Is b a composite number?
True
Let j(u) = 239*u**3 - 4*u**2 - 3*u + 19. Is j(7) a prime number?
False
Let t(g) = 2381*g + 304. Is t(33) a prime number?
True
Suppose -3*j + 4*x + 189024 + 11185 = 0, 3*j - 200225 = -4*x. Is j composite?
False
Let t = 111 + -111. Suppose 0 = -4*i + n + 20, 