s b(3) a composite number?
False
Suppose 2*k - 19 - 49 = -4*v, -4*v + 4*k = -80. Suppose 11*w = v*w - 35917. Is w prime?
False
Let g = 3626 - -7661. Is g prime?
True
Let k = -21 - -23. Let p(l) = -2*l + 9 - 4 + 0*l**2 + 4*l**k. Is p(5) prime?
False
Suppose -85*r + 87*r + 86711 = 3*m, 2*m - 57794 = -2*r. Is m a prime number?
True
Let p(c) be the third derivative of c**4/24 - c**3/6 + c**2. Let h be p(1). Suppose h*i + 4*i = 3284. Is i a composite number?
False
Let a(h) = 271*h**2 - h. Is a(2) a composite number?
True
Let j = -52 - -51. Is j + 2 + 169 + 3/(-3) prime?
False
Let v(c) = -6*c**2 + 10 - 4 + 16*c**2 + 9*c - 2*c. Let l be v(7). Let k = 1306 - l. Is k composite?
False
Let n = 6 - 6. Suppose n = 2*r + 4*r - 18. Let f(y) = 7*y**3 + 6*y**2 - 7*y + 4. Is f(r) a composite number?
True
Suppose 0 = -0*f + 5*f - 3940. Suppose 0 = a - 2*a + 5. Suppose -a*j + f = 243. Is j a composite number?
False
Let x(j) = 197*j - 836. Is x(17) composite?
True
Suppose -5 = 4*d - 21. Let t be 1244/8 + (-2)/d. Let u = t + 104. Is u composite?
True
Let d = -137 + -2145. Let j = 5179 + d. Is j a composite number?
False
Suppose -b = -90*o + 87*o + 105156, -2*b + 35045 = o. Is o prime?
True
Let s be 3/1 + -5 + 6. Let h(x) = x**3 - 3*x**2 - x - 5. Let c be h(s). Let v(k) = 3*k**2 + 2*k + 2. Is v(c) prime?
True
Suppose -6*n = -17702 - 10804. Is n a composite number?
False
Let t(r) = 43*r + 98. Is t(12) a prime number?
False
Suppose 0 = -16*q + 269698 - 41778. Suppose -2*d = 3*f - q, 28440 = -2*d + 6*d - 4*f. Is d prime?
False
Is (3786/12)/((-2)/(-4)) a composite number?
False
Let z(k) = -k**2 - k. Let u(p) = -7*p**2 + 26*p + 14. Let g(f) = -u(f) - 4*z(f). Is g(-11) prime?
True
Let n(w) = -2*w - 13. Let b be n(-9). Suppose 3*v + 2*f = 6, -b*v - 3*f + 8*f + 35 = 0. Is v/18 + 3808/36 a composite number?
True
Let z(r) = -490*r + 247. Is z(-13) composite?
True
Is (-17000 - 2)*6/((-12)/1) composite?
False
Suppose -i - 43489 = -2*f, 8641 + 56599 = 3*f + 5*i. Is f composite?
True
Suppose 4*u + 18 = x + u, -2*x = u - 1. Let d be x + (-2 + -2)/(-4). Suppose -n - d*n + 415 = 5*b, 5*b - 4*n - 433 = 0. Is b a prime number?
False
Let d be (1/2)/(1/36). Let u = d + -3. Let b = -5 + u. Is b a prime number?
False
Let d = 28 - 10. Suppose -d + 61 = z. Let r = 102 - z. Is r a prime number?
True
Let v(q) = q**2 - 15*q + 37. Is v(14) a prime number?
True
Let v = 5014 + -1809. Is v prime?
False
Suppose -3*n = -3*d - 99, 3*n - 21 = d + 5*n. Let l = 95 + d. Suppose -3*h + l + 1257 = 3*b, 3*h = 2*b + 1343. Is h a prime number?
False
Let v(g) = -37*g + 6. Let y(t) = -37*t + 7. Let d(n) = 4*v(n) - 3*y(n). Let s be d(3). Let p = 205 + s. Is p prime?
True
Let x = -83 + 86. Suppose -5*q + 7621 = -2*h, 3*q + x*h - 4572 = 4*h. Is q prime?
True
Let u be 2400 - -6*(-8)/12. Suppose 0 = -5*t + u + 499. Is t prime?
False
Suppose -k - 3 = -9. Let w(g) = -g**3 + 5*g**2 + 6*g + 9. Let p be w(k). Let h = 12 + p. Is h composite?
True
Let h(n) = 3*n**3 - 21*n**2 + 4*n - 5. Is h(9) prime?
False
Let c = 76561 + -47322. Is c a prime number?
False
Let k be ((-30)/12)/(3/(-24)). Let y = 6 - 31. Is (y/10)/((-2)/k) prime?
False
Let k = 6136 - 8974. Is (4/6)/((-4)/k) prime?
False
Suppose -11*k + 29076 = -143107. Is k a composite number?
True
Let t(a) = -a**2 + 32*a + 5951. Is t(0) a prime number?
False
Let h(z) = 12*z**2 + 3*z - 1. Let w be h(9). Suppose 0 = 2*n - 4*m - w, 5*n - 2*m - 1485 = 2*n. Is n composite?
True
Let v = 744 + -338. Suppose 3*l - v = -13. Is l a prime number?
True
Let n(p) be the second derivative of -p**5/5 - p**4/2 - 13*p**3/3 - 13*p**2/2 - 29*p. Is n(-7) a composite number?
True
Let k be (32/(-40))/((-2)/(-5)). Is k*(-1)/12 - 11362/(-12) a prime number?
True
Let o(q) = 1222*q - 95. Is o(3) a prime number?
True
Suppose 0 = n - 5*p + 27, 5*n = 2*p - 0*p - 112. Is n/(-33) + (-667)/(-3) composite?
False
Let k(l) = -81*l + 32537. Is k(0) composite?
False
Let k(i) be the second derivative of 159*i**5/10 + i**4/6 + i**3/6 + i**2 - 26*i. Is k(3) prime?
True
Suppose -3*g - 15 = 0, 2*c - 4*g - 5 = 5*c. Suppose 0 = 3*m - k - 104 - 182, 356 = 4*m + c*k. Is m a composite number?
True
Let a = 592 - 203. Suppose 3*j + 495 + 684 = 3*o, o - a = -j. Is o a composite number?
True
Let h(x) = x**3 + 6*x**2 - 8*x - 16. Let m be h(7). Suppose 0 = -4*j + m + 327. Is j a composite number?
False
Let r(l) = -7*l**3 - l**2 - 7*l - 4. Let p(w) = 8*w**3 + w**2 + 8*w + 5. Let c(n) = -5*p(n) - 6*r(n). Let b = -217 + 219. Is c(b) prime?
True
Let f(o) = -1419*o**3 + 9*o + 11. Let r(i) = -1420*i**3 + i**2 + 9*i + 10. Let t(v) = -5*f(v) + 6*r(v). Is t(-2) a prime number?
True
Let z(b) = -21*b - 9. Let t = -1 - 7. Let k be z(t). Suppose 0 = 4*c - k - 69. Is c prime?
False
Is (2 - 84/35) + (-10094)/(-10) composite?
False
Let z(u) = 1319*u + 31. Is z(14) a composite number?
True
Let q(i) = i**3 - 8*i**2 - 17*i + 12. Let l be q(9). Is (-29595)/l*(1 - 3)*-2 a composite number?
False
Let k(f) = 437*f + 104. Let m(a) = 109*a + 26. Let t(n) = 2*k(n) - 9*m(n). Is t(-11) a prime number?
True
Suppose -202 + 37 = 5*h. Let b be h - (-4)/2 - -3. Is (-1744)/b + (-2)/7 composite?
True
Let j = 21351 - 15004. Is j a prime number?
False
Suppose x + 11 = -4*l + 8*l, -4*l = 3*x - 31. Suppose n + 8408 = l*b, b + 2*n - 2113 = 5*n. Is b a prime number?
False
Let l(a) be the second derivative of a**4/3 + 13*a**3/6 + 13*a**2 + 10*a. Let j be l(15). Let h = j + -658. Is h a prime number?
True
Let b(h) = -885*h + 124. Is b(-7) prime?
False
Suppose -3*s + 33301 = 4*y, 10*y + 6*s = 9*y + 8299. Is y a composite number?
False
Let g be (-1)/(-3) + 2 + 33932/3. Suppose g + 6429 = 6*i. Is i a prime number?
True
Is (-126)/294 + (-9484)/(-14) prime?
True
Suppose -w = -4*w. Suppose w = 2*x - x - 648. Suppose -5*o - 53 = -x. Is o prime?
False
Suppose 0 = 4*n - 8 - 0. Suppose -3*u + 21 = 3*f, -n*f + 3*u = -6*f + 23. Suppose 5*s = 4*l + 437, f*s + l = 2*l + 176. Is s a prime number?
True
Let v(j) = j**3 - 2*j**2 + 4*j + 2. Let u be v(-4). Suppose -5*g + 290 + 745 = 0. Let x = g + u. Is x a composite number?
False
Let m = -7 + 12. Suppose 4*u = 4*f + u - 24, -3*f - m*u - 11 = 0. Suppose 4*n - 371 = f*j, -2*j + 193 = 2*n - 5*j. Is n a composite number?
False
Let l(q) = -6 - 5*q + 10*q**2 - 8 + 15. Is l(6) a composite number?
False
Suppose -4*n + 3108 = 304. Is n a prime number?
True
Let b = 3 - -6. Suppose b*j - 8*j = 381. Is j a prime number?
False
Let p(g) = g**2 - 3*g - 6. Let f be p(7). Let w = f - 16. Let m(n) = 41*n + 11. Is m(w) composite?
False
Let f(p) be the second derivative of 2*p**3/3 + 185*p**2/2 - 17*p. Is f(0) composite?
True
Suppose -c + 221 = -2*f, 4*f - 61 = -c + 130. Is c prime?
True
Is ((-9)/((-126)/(-49)))/(1/(-10826)) composite?
True
Suppose -11*h = -12*h + 16. Suppose b = -b + h. Is (-15)/20 - (-182)/b prime?
False
Let n = -64 - -98. Suppose 84 = -n*g + 36*g. Suppose r - g - 181 = 0. Is r prime?
True
Let q = -7535 - -11536. Is q composite?
False
Let s = 3672 + -5161. Let z = s + 2192. Is z composite?
True
Suppose 55*x = -7*x + 693470. Is x composite?
True
Let f(y) = 5*y**2 - 5*y - 1. Let a be f(-2). Suppose 31 = 4*w - a. Suppose w*m - 13*m - 802 = 0. Is m a prime number?
True
Suppose 10 = -3*r + 5*w, 3*w - 25 = -4*r + 2*w. Suppose r*j = -4*u + 2*j + 1751, 2*j - 2 = 0. Is u composite?
True
Let r(v) be the second derivative of v**3/6 + 6*v**2 - 7*v. Let x be r(16). Let u = x + -7. Is u a prime number?
False
Let k(c) = -84*c - 125. Is k(-31) a prime number?
False
Let p be 2/2 - (1 - 5). Is (p - (-53110)/25) + (-4)/10 a prime number?
True
Is (2/2)/((-15)/75) + 640 prime?
False
Let i(d) = 4*d + 9. Let g be i(4). Let r(y) = -2*y + y - g - 3*y. Is r(-11) a composite number?
False
Let b be (26/(-4))/(3/(-18)). Suppose 2*n - n = -b. Is -1*n/(-12)*-4 a prime number?
True
Let x(u) = 83*u**2 - 39*u - 31. Is x(16) composite?
False
Suppose 0*b + c - 231 = -5*b, -2*c + 86 = 2*b. Suppose -b - 10 = 3*q. Let w = 32 - q. Is w a prime number?
False
Let q(n) = 621*n - 6. Let k be q(2). Let a = k + -263. Is a prime?
False
Let t = 5189 - 1170. Is t prime?
True
Let m be (0 - 1)/(3/(-6)) + 540. Suppose 0 = -5*r + 12787 - m. Is r a prime number?
False
Let d(u) = -2*u**3 + 4*u**2 - 16*u - 3. Let z be d(-7). Suppose 0 = -2*l + 5*l - m - z, 3*m = -3*l + 999. Is l composit