 + 22 = -2*u, -z + 5*z - 5*u = 13. Let g be 3/(-1) + z + 1721. Suppose g = 2*s - 403. Is s prime?
False
Let m be 9450 + 1 - (-3 - -6). Let u = 9 + 119. Suppose u*v - m = 124*v. Is v a composite number?
True
Let d be (-4)/((-32)/(-44))*(-3 + 1). Suppose -5*a + 5151 = -d*w + 14*w, 3*a - 5151 = -3*w. Is w composite?
True
Suppose -64*y + 187*y = 19717761. Is y composite?
True
Let r = 29718 + -18605. Is r prime?
True
Let u(o) = 182*o**2 - 6*o + 9. Let n be u(3). Let m be 2232/(5 - 9) - (-1 - 1). Let a = m + n. Is a composite?
True
Let s(j) be the first derivative of j**4/4 + 20*j**3/3 - 19*j**2/2 + 17*j + 144. Is s(-18) composite?
True
Suppose 5*o + 46*t - 395923 = 43*t, 4*o - 316730 = -t. Is o a prime number?
True
Let j = 1767 - -71024. Is j a prime number?
False
Suppose -34385 = 10*f - 597015. Is f composite?
False
Let x = -135 + 269. Is (x*-1)/((-11)/(2585/10)) a composite number?
True
Let k(g) be the third derivative of -g**7/2520 + 439*g**5/120 + 25*g**4/24 + 3*g**2. Let i(x) be the second derivative of k(x). Is i(0) prime?
True
Suppose 7*w + 2751914 = 34*w - 1068748. Is w a composite number?
True
Let k = 20 + -12. Suppose 0 = k*x + 2790 - 21478. Suppose -2*a + 2606 = -x. Is a a prime number?
False
Let j(y) be the first derivative of y**5/30 - y**4/3 - 5*y**3/2 + 5*y**2/2 - 7. Let d(c) be the second derivative of j(c). Is d(12) a prime number?
False
Let q(r) = -17*r**3 - 32*r**2 - r - 179. Is q(-11) prime?
True
Let a(z) = 800*z - 9. Let b(p) = p**2 - 1. Let w be b(0). Let t be -1*(1 + -3) + (-1)/w. Is a(t) a prime number?
False
Let g = -141 + 143. Suppose -3*u - 4856 = -q, -g*q + u = -0*q - 9707. Is q a prime number?
False
Suppose 0 = -v + 3*n - 3, -2*v = n - 12 + 4. Suppose -4*r - 5590 + 25646 = -4*g, 4*g = v*r - 15039. Is r a composite number?
True
Let a(z) = 48*z**2 + 64*z - 16. Let f be a(20). Suppose 0 = -5*v + 3*q - 0*q + f, v - 4088 = -q. Is v a prime number?
True
Let o(z) = -4*z - 103. Let k be o(-27). Suppose -5*f = -5, -5*l - f = -k*f - 5131. Is l composite?
True
Let s(a) be the first derivative of -101/2*a**2 + 21 - 27*a. Is s(-8) composite?
True
Suppose -j - 25332 = -2*m, -m + 3*j - 12659 = -2*m. Suppose -m = 8*s - 36881. Is s a prime number?
False
Let u(v) = v**2 + 5*v**3 + 9*v**3 - 6146 + 6237 + 0*v**2 - 4*v - 3*v**2. Is u(6) a composite number?
False
Let s(g) be the first derivative of -g**4/4 - 11*g**3/3 - 4*g**2 + 20*g - 35. Let q be s(-10). Is -3 - q - (0 - 1906) composite?
True
Suppose 0 = s + 3*v + 6, 211*s - 4*v - 8 = 213*s. Suppose -5038 = -3*t + 5738. Suppose s = 6*q - t - 14018. Is q prime?
False
Let b be 3*(-3 + 2) - -4. Let w be (-15 + b)/((-18)/1665). Let j = w + -654. Is j a prime number?
True
Suppose 0 = 4*k - 2*h - 16108, 3*h - 2282 + 22416 = 5*k. Suppose 4*f - 5424 = 4*z - 0*z, 3*z + k = -5*f. Let s = z - -2204. Is s a prime number?
True
Suppose -5*u + 53701 = 3*k, -5788 = 3*u - 5*k - 37995. Suppose 8*t = -31 + 55. Suppose t*h = 5*s + 7316, 4*s + u = 5*h - 1450. Is h composite?
False
Let j = 486 - 171. Let f = j + -158. Is f a composite number?
False
Suppose -4*t = -21 - 3. Let f = 44 + -42. Suppose f*i - l = 448, 2*l + t = -l. Is i a prime number?
True
Let y(s) = 6*s - 3. Let b be y(4). Suppose b = f + 6*f. Suppose 1082 = -a + f*a. Is a a composite number?
False
Let c(a) = -121*a + 7. Let m be (1 - 0/2)*3 - 5. Let w be (1/3*m)/((-6)/(-90)). Is c(w) a prime number?
True
Let s = -286 - 700. Let c = 7847 + s. Is c a prime number?
False
Suppose v - 4*v + 150339 = -0*v. Is v prime?
False
Let k = -248 - -251. Suppose k*f = 2*q - 3703, 9*q - 4*f - 5553 = 6*q. Is q a composite number?
False
Let r(v) = -1166*v - 43. Let g(u) = 1. Let j(d) = -6*g(d) - r(d). Is j(9) composite?
False
Suppose 6625 = 4*y - 1999. Let v = 3910 - y. Is v a composite number?
True
Let c be 0 - 3/((-6)/4). Let t(l) = -2*l**2 - 2*l - 1. Let k(m) = -98*m**2 + 13*m - 1. Let a(j) = -k(j) - 4*t(j). Is a(c) a prime number?
True
Let j = -30265 - -73214. Is j a prime number?
False
Is (1*-2)/((-88636)/(-29548) - 3) prime?
False
Let i(v) = 653*v**2 - 61*v + 597. Is i(10) a composite number?
False
Suppose 5*y - 898573 = -4*r, y - 62739 - 116982 = -4*r. Is y composite?
True
Let p be 30/(-12)*((-1 - -2) + -3). Is (-10771 + 6)/p*-1 a prime number?
True
Let g = -16098 + 6569. Let s = -5664 - g. Is s prime?
False
Suppose 54675 = 2*r - c, 4*r - 69*c + 73*c - 109356 = 0. Is r a prime number?
False
Suppose -2*p + 19 - 1 = 0. Let r(z) be the first derivative of 8*z**3/3 - 17*z**2/2 + 4*z + 786. Is r(p) a prime number?
True
Let s(o) = 128*o**2 + 8*o + 43. Let a be (162/45)/((-2)/(-15)*3). Is s(a) composite?
True
Let h(f) = -279*f + 49. Let x be (-6 + 4)/(7/(147/(-6))). Let w be h(x). Let k = w - -2935. Is k prime?
True
Let y be (49 + -57)*((-5)/4 + 1). Suppose -2*a - 4*b + 46 = -a, 0 = 2*a + y*b - 122. Is 2/(-11) + -3 + 4038/a composite?
True
Suppose 8*t - 1171188 = -11*t + 1035605. Is t a composite number?
True
Suppose 0 = -162*r + 158*r + 199652. Suppose -66924 = -7*y + r. Is y a composite number?
False
Suppose 937*u = 905*u + 973216. Is u a prime number?
False
Is ((-658871)/5)/((-48)/(-80))*(-6 + 3) composite?
False
Suppose -8799 = -2*l + 1755. Suppose -c + l = 2*c. Is c composite?
False
Let x = 150060 + -39002. Is x composite?
True
Let y = 12 + -7. Suppose -y*s + 25 = 0, -4*l + 0*s - 2*s + 10 = 0. Suppose -5*n = -5*m - 0*m + 3150, 3*n - 9 = l. Is m composite?
True
Let b = 5858 - -47373. Is b a prime number?
True
Let a = 44 - 37. Let f(d) = 0 + 229*d - a + 8 + 5. Is f(5) a composite number?
False
Suppose 5*g - 2*t - 55244 = 2*t, -g + 5*t + 11032 = 0. Suppose -6*n + 0*n + g = 0. Suppose -8*c - n = -10*c - 2*o, -4*c + 5*o + 3666 = 0. Is c prime?
True
Let t(c) = -281*c - 6. Let i(a) = a**2 - 6*a - 14. Let f be i(7). Is t(f) prime?
False
Let z = -24116 + 120945. Is z prime?
False
Suppose -10*r + 302091 = -479119. Is r a composite number?
False
Let d = -2635 + 5245. Is d + -6*(-2)/12 composite?
True
Suppose 19*u + 32538 = 74*u - 1562077. Is u composite?
True
Let b = 113898 - -19871. Is b composite?
False
Suppose 2*l - 26 = -r, r + 2*r = l - 6. Suppose -4*g + 20 = l. Is (1052 + 9)*2/4*g prime?
True
Let p(k) = 24*k**3 + 3*k**2 + 16*k + 24. Let r(m) = 48*m**3 + 6*m**2 + 33*m + 49. Let v(b) = -13*p(b) + 6*r(b). Is v(-5) a prime number?
True
Let z be (3/9)/((8/(-30))/(-4)). Let b be (-22 - -19) + z*252. Suppose b = 9*u - 2082. Is u a composite number?
True
Let j(d) be the first derivative of 13*d**3/3 - d**2 - d + 16. Let p be j(-1). Suppose -9*t + p*t = 8275. Is t prime?
False
Suppose -70707 = -v - 4*n, -1761*v + 1758*v = -3*n - 212151. Is v composite?
True
Let h be (((-12)/8)/(-3))/((-3)/2820). Suppose -3*a - 495 = 3*v, 10*a - 5*a = -10. Let i = v - h. Is i a prime number?
True
Suppose -5*o + 5*r + 49115 = 10*r, 0 = -4*o - 5*r + 39293. Let c = -4121 + o. Is c a composite number?
False
Let d = -386701 - -703692. Is d composite?
False
Suppose 0 = 3*s - 15, 2*b + 5*s + 0 = 3. Let k(h) = 2*h**3 + h**2 + 13*h + 14. Let r be k(b). Is r/(-21) - (-4)/(-28) a prime number?
True
Let v = 666 - 592. Suppose 59*r - v*r + 140685 = 0. Is r prime?
False
Is (-137518)/(-6)*5*2*51/170 composite?
True
Let q(b) = 6334*b - 2191. Is q(5) prime?
False
Let n(w) = 121027*w**2 - 6*w - 6. Is n(-1) a prime number?
False
Let m(p) = 15333*p + 7265. Is m(38) composite?
True
Suppose -142*k = -143*k - 3. Is (13 - 12)/(k/12) + 2049 prime?
False
Suppose -6*d + 19 = 13*d. Is 1091 + (-2)/6*(13 - d) prime?
True
Let r be (2 - -3 - -3) + -5. Is -4 + 5942 + r + -2 composite?
False
Suppose -a + 27 = -3*q, 4*a - 6*a + 38 = 2*q. Is (4642/6)/(7/a) prime?
False
Let t = 67 + -63. Suppose -q = 2*g - 707, 0 = 5*q + t*g - 2*g - 3503. Is q a composite number?
True
Suppose -3*y - 43930 - 278734 = -q, -3*y = q - 322634. Is q composite?
False
Suppose 0 = -20*i - 5*i. Suppose p - 945 - 316 = i. Is p a prime number?
False
Let o(x) = -2. Let i(d) = -1535*d - 15. Let p(c) = i(c) + 20*o(c). Is p(-6) a composite number?
True
Suppose 5*v - 138 = -18*v. Suppose v*w - 57995 = -7877. Is w a composite number?
False
Suppose -5*c + 562799 = -5*t + 211564, 4*c + 5*t = 280934. Is c composite?
False
Let p(r) = 1478 - 749 - 9*r - 740. Suppose -2*z - 36 = z. Is p(z) a prime number?
True
Let f(r) = -3*r**2 - 27*r + 28321. Is f(0) composite?
