e (-1226)/(-14) + w/(-28). Let s = f - -1183. Is s a composite number?
True
Let t(h) = -h**3 + 2*h + 2. Let w be t(0). Let k(m) = -2*m + 9 + 30*m**2 - w*m - m + 3*m. Is k(5) a prime number?
False
Suppose 169*l = -23*l + 186211392. Is l prime?
True
Let b = -203117 + 350314. Is b prime?
True
Let t(w) be the first derivative of w**3/3 - w**2/2 + 1721*w - 38. Is t(0) a composite number?
False
Let p be (0 - -12)/(57/38). Suppose 2*n - p = 4*a - 3*a, -3*a = -n + 24. Is (2489/3)/(0 + a/(-24)) a prime number?
False
Is -1*-490422*9/54 composite?
False
Let v(c) = 27*c**3 - c**2 - 95*c + 706. Is v(21) a prime number?
True
Suppose -4*h - 27 = 65. Let f = h - -25. Suppose -356 = -f*c + 3*z + 960, z + 2 = 0. Is c prime?
False
Suppose 3*g + 2*c - 103841 = 0, 0 = -52*g + 51*g - 4*c + 34637. Is g a prime number?
False
Suppose -3*d = f - 62180, -f + 2*d = 18715 - 80880. Is f a prime number?
True
Let x(a) = 1482*a**2 - 6*a + 3. Let h = 190 + -188. Is x(h) a prime number?
False
Suppose 2*g + 3*g = 40. Let k be 5/10*g*1*-1. Is (839/k)/((-1)/4) composite?
False
Let b = -7 - -8. Let j be (b - 1/3)/(2/3777). Suppose -7*d = -8*d + j. Is d composite?
False
Let z = -1684 - -5095. Suppose 3*k - z = q, 3*q + q = -3*k + 3426. Let g = -476 + k. Is g composite?
True
Is (((-6974736)/(-8))/(-2))/(-3) composite?
False
Is 33/(8 + -19)*((-334180)/12 - 4) a composite number?
False
Let a(x) = 65*x + 76. Let p be a(-2). Is (-16)/(-72) - 2021802/p a composite number?
False
Let v = -20575 + 39426. Is v composite?
True
Is ((-2)/14 - 81200764/(-644)) + 7*1 a prime number?
False
Let u(y) = 4*y + 3. Let v be u(0). Suppose -s + v*s + 12 = 0. Let q(o) = o**3 + 9*o**2 + 4*o - 5. Is q(s) a composite number?
False
Suppose 4*x = 5*b + 20, 0 = x - 3*b - 4 - 1. Suppose f + 47662 = x*t, -5*f + 15185 = 2*t - 3896. Is t a composite number?
False
Is (-6 - -7)*(31 - -161538) composite?
False
Suppose 63*t = 47*t + 80. Suppose -k + 4 = k, -t*k - 33545 = -3*g. Is g composite?
True
Let s(a) = -a**2 + 9*a + 24. Let c be s(11). Is (1 - c/(-6)) + (-14345)/(-57) a composite number?
True
Suppose -x + 226 = f, -x + 8*f = 6*f - 238. Suppose 0 = x*w - 227*w - 5442. Is w composite?
True
Let t(c) = 2430*c**2 - 33*c - 98. Is t(-3) composite?
False
Let l be (-4 + 7)*2 - 3. Suppose 3*r = 2*c + 13, -l*c = -7*c - 20. Is (-1641)/((-6)/2)*r prime?
True
Let s = 44089 + -21588. Is s composite?
False
Suppose 97*l - 123130 = 188655 + 161866. Is l composite?
True
Suppose 99*x + 22*x = 55226941. Is x a prime number?
False
Let b = 37 - 32. Suppose b*u = 10*u - 95. Let i = 65 - u. Is i a prime number?
False
Let n(c) = 1018*c**2 + c + 1. Let a be n(-1). Let b = a - 129. Let l = b - 332. Is l prime?
True
Suppose 0 = 5*l - 2*p - 31, 4*l - 16 = 3*p + 13. Suppose 8*y = -3*b + 9*y + 14258, l*b - y = 23760. Is b a prime number?
True
Let j be (17 - -20)*(-1 + -1). Let g = j - -120. Suppose g = -2*q + 908. Is q prime?
True
Let n be 32/4*(-3)/12 - -5. Suppose q = n*w - 14348, 3*w - 5*q + 4788 = 4*w. Is w a composite number?
False
Let q be (-15)/2*(84/(-36) + 3). Let u(o) = o**2 + 1. Let c(m) = 17*m**3 + 2*m**2 + 6*m + 8. Let x(d) = -c(d) + 2*u(d). Is x(q) a prime number?
False
Let c(f) = 2*f**3 - f**2 + 12*f - 17. Let s(g) = -21*g + 23. Let u be s(-5). Suppose 5*w = -11*w + u. Is c(w) composite?
False
Let d(k) = 15477*k + 7534. Is d(85) prime?
True
Suppose 3*l - r + 5 = 5*l, 3*l - 10 = r. Suppose -2*d + 63 = -471. Suppose -l*x - 30 = -d. Is x composite?
False
Let u = 68 - 68. Suppose y - 20342 = -p, u = -3*y + 3*p - 0*p + 60996. Is y composite?
True
Let a(b) = 27*b - 35. Let d = 6 - 14. Let y(x) = 41*x - 52. Let s(m) = d*a(m) + 5*y(m). Is s(-9) prime?
False
Let t(a) = -5483*a - 1994. Is t(-15) a prime number?
True
Suppose 0 = -2*c + 2, -o - 3*c = o - 63. Let l be 30/(-12) + 5/6*141. Let y = l - o. Is y composite?
True
Is 9*(-4)/(-24) + (-75932)/(-8) prime?
False
Let b be ((-110)/(-33))/((-6)/(-9)). Suppose -3325 = -b*h - z - 2*z, 0 = 2*h - 5*z - 1299. Is (24/12 + 1/2)*h composite?
True
Suppose 12*t - 7*t - 5*p = 3058390, -3*p = -t + 611692. Is t a composite number?
False
Suppose -3*l - 217 = -5*i, -4*l + 2*i - 106 = 160. Let t = l - -74. Is 20984/t - 21/(-35) composite?
False
Let u be (5 + -17)*9/(-12). Let i(m) be the first derivative of 8*m**2 - 17*m + 3. Is i(u) a composite number?
False
Let a(p) = 6254*p**3 - p**2 + 7*p - 9. Is a(2) a prime number?
True
Let r = -131 - -126. Is -4 + 129/r*(-65)/1 prime?
False
Let j(k) = -3*k + 2. Let y = 22 + -19. Let d be j(y). Is ((d - -4) + 202)/1 prime?
True
Suppose 4*o = -32, 0 = -29*j + 26*j - o + 739579. Is j prime?
False
Let r = -88 + 92. Suppose r = 3*z + 1. Is -1*z - (38*-33 - 2) prime?
False
Let g be (2/(-4))/(-3*2/12). Let l be (-1 - 0)*-415 + -1 - g. Let m = 1104 - l. Is m composite?
False
Let s be (2/3 - 2) + 5180/(-21). Let y = s - -567. Is y prime?
False
Let r(o) = 10 - 1 + 10 - 209*o + 5. Is r(-11) a composite number?
True
Let p be 8/(-4)*(-1)/1*60. Let d = p - 117. Is 158*(4 + ((-3)/2)/d) a prime number?
False
Let k(w) = -47*w - 5. Let n be k(-7). Suppose -4*b + 2*x = -3*x - 308, -2*x + 231 = 3*b. Let u = b + n. Is u prime?
True
Suppose k + 8 = 3*k. Suppose 4*v - 3*v + 5*g + 128 = 0, k*v + 512 = 4*g. Let b = v + 873. Is b composite?
True
Suppose 0 = p - 13318 - 2417. Suppose p + 2120 = a. Is a a composite number?
True
Suppose 12*t = 17*t - 2*f - 98399, -59034 = -3*t + 3*f. Is t composite?
False
Suppose -11*f + 2867169 = 40*f. Is f a prime number?
False
Suppose -11*x + 108570 + 1871045 = 335808. Is x composite?
True
Let x(j) = 746*j + 49. Let u = -237 - -239. Is x(u) composite?
True
Let w(h) = h**3 + 10*h**2 - 5. Let i be w(-10). Is (-1 - i/8) + (-1261939)/(-328) a prime number?
True
Let u(l) = -434*l - 105. Let g be u(-42). Suppose -3*z + 5*a + 50169 = g, 2*a + 32055 = 3*z. Is z a composite number?
False
Suppose 4927 = 3*a - 4787. Let h = a + -1457. Is h a prime number?
False
Suppose -4*i + 250219 = n, -190*n + 1001016 = -186*n - 4*i. Is n a composite number?
True
Let m(t) = 91*t - 7914. Is m(92) composite?
True
Let l(c) = -10726*c + 2235. Is l(-7) a prime number?
True
Let c = 360 - 360. Suppose 4*x + c*i - 153188 = -4*i, -x = -4*i - 38297. Is x prime?
False
Let t = -79 + 94. Let a(q) = -3*q + q - 14*q**2 + 3*q**3 + t*q - 23 + 0*q**3. Is a(10) prime?
False
Suppose 77*s - 75714 - 627013 = 24*s. Is s a composite number?
False
Let f(d) = -2210*d - 3697. Is f(-16) prime?
True
Let k(i) = -82*i - 23. Let b be 41 + (-1 + 0)/(-1). Suppose -b - 3 = 3*n. Is k(n) composite?
True
Suppose -239*h + 323978 = -1650879. Is h a prime number?
True
Let p(m) be the first derivative of -191*m**2/2 - 22. Let x(r) = 190*r - 1. Let a(t) = -4*p(t) - 3*x(t). Is a(2) a composite number?
True
Let h = -487397 - -853318. Is h a composite number?
True
Let z = 43 + -35. Suppose z = 5*o + 4*n, 5*n - 6 = -4*o - 5. Suppose 2122 = -2*d + o*d. Is d composite?
False
Let k be 20/(-60)*(-9 + (-1 - -1)). Suppose 4*t - g = 846, 3*t + k*g - 94 = 533. Is t composite?
False
Suppose -34*z - 821720 = -54*z. Is z a composite number?
True
Let p = -118 + 42. Let j = -72 - p. Suppose -64 + 1692 = j*s + 4*g, 0 = -5*s + 5*g + 2075. Is s a composite number?
True
Let s(u) = 17*u - 111*u**2 - 15 + 57*u**2 + 56*u**2 - u. Let y be s(20). Let d = y + -266. Is d composite?
False
Suppose 6 + 1 = -2*u - 5*b, u + 5*b = -11. Is (-1)/u - ((-226695)/(-20))/(-7) prime?
True
Let q = 149980 - 97623. Is q composite?
True
Suppose -4 - 11 = -3*s. Let y be 10*(-1 + (-1 - (-22)/s)). Suppose -30*o = -y*o - 15942. Is o a composite number?
False
Suppose s - 234 = 5*c, c - 8*s + 66 = -3*s. Let y = 10 + c. Let f = 79 + y. Is f prime?
True
Suppose -2*n + 20 = 3*n. Let s = 11 - n. Let a(u) = 2*u**3 + 5*u**2 - 5*u - 7. Is a(s) composite?
True
Let x be (5/3)/((-6)/90). Let m be 5*((-120)/x)/2. Suppose 8*y + 572 = m*y. Is y composite?
True
Suppose 10747 = -4*s + 2771. Let g = 2883 + s. Is (-3*4/12)/((-1)/g) prime?
False
Let q = -28 - -45. Let f = 22 - q. Is 3 - -856 - 0/f - -3 prime?
False
Let c(x) = -382096*x - 2359. Is c(-2) a composite number?
False
Let p = 19308 - -46591. Is p prime?
True
Let f be -1217*-4*6 + -8. Suppose f = 6*p - 22454. Is p composite?
False
Is (-2 + -3 + 237329 + (54 - 56))/2 a composite number?
False
Let y(f) = 15*f**2 - f + 3. Let o(b) = 