ose -5385 = -5*v + 2*c, -2*c = -5*v - g*c + 5400. Is v composite?
True
Let n(k) = 4*k**2 - 15*k + 29*k - 21*k + 0*k**2 + 4. Is n(-9) composite?
True
Suppose -5*l - 3*c - 31 = 0, 2*l + 22 = c + c. Let b be (-47)/l - (-3)/24. Is 126/4 + (-3)/b prime?
True
Let t(n) be the second derivative of 7*n**4/12 - n**3/3 + 5*n**2 - n. Is t(-13) a composite number?
True
Suppose -3*z - 2 = 7. Let w = 58 + z. Let v = w - -130. Is v composite?
True
Let m(j) be the first derivative of -37*j**3/3 - 7*j**2/2 - 5*j - 10. Let q(u) = 38*u**2 + 8*u + 6. Let p(f) = -5*m(f) - 4*q(f). Is p(3) prime?
True
Is 387/86*1346/3 a prime number?
False
Let x(r) = 243*r - 3. Let m be x(3). Let c = m - 295. Is c a composite number?
False
Let t = -19 - 2. Let r(b) = -b**2 - 40*b + 44. Is r(t) a prime number?
True
Let h(w) = 137*w**2 - 6*w - 13. Is h(7) a composite number?
True
Let d(n) = 16*n**3 - 6*n**2 + n + 11. Let h(l) = -33*l**3 + 13*l**2 - 2*l - 23. Let b(t) = 7*d(t) + 3*h(t). Is b(3) composite?
True
Is 9 + -5 + 58543 - 6 a prime number?
False
Let f(j) = -3*j**3 + 7*j**2 + 3*j - 2. Let h(v) = 2*v**3 - 6*v**2 - 2*v + 1. Let c = 0 - -4. Let z(p) = c*h(p) + 3*f(p). Is z(-5) prime?
True
Let u = 1032 + -2491. Let p = u - -3098. Is p composite?
True
Let v = 60651 - 42220. Is v composite?
True
Let c(r) = -109*r - 307. Is c(-6) a composite number?
False
Is 1*((-3)/2 - (-80930)/20) prime?
False
Let c = 2696 - -1553. Is c composite?
True
Let a = -1125 + 1682. Is a prime?
True
Let n = -2960 - -6848. Suppose -9*h = -11*h + n. Suppose -4*o + 9*o = -3*y + h, -y + 3*o + 662 = 0. Is y prime?
True
Let c = -49 + 41. Is 2*(-1 - 1332/c) a composite number?
False
Suppose 2*v - 3218 = 2*d, -5*v - 5*d + 8039 = -4*d. Suppose -6*n + v = -1566. Is n composite?
True
Suppose -2*k - 5 = -9. Let o(h) = 288*h - 5. Is o(k) prime?
True
Let s(n) = 15*n**2 - 76*n - 184. Is s(-35) composite?
True
Is (-694018)/(-8) - (-13 - 588/(-48)) composite?
False
Suppose 26216 = 21*h - 13*h. Is h a composite number?
True
Let m = -6 - -7. Let z(f) = 435*f**2 - 19*f + 19. Let u(d) = 217*d**2 - 9*d + 9. Let g(h) = 13*u(h) - 6*z(h). Is g(m) composite?
False
Let d(r) = -r**3 + 23 - 14*r - 5 + 0 - 11*r**2 - 6. Is d(-11) composite?
True
Is 10110 - (6 - 3/(-2)*-6) prime?
False
Let i(s) = 15*s**2 - 3*s + 46*s**2 + 16*s + 35 + 0*s**2. Is i(-6) prime?
True
Let u = -35172 + 76841. Is u a prime number?
True
Let y = 549 - 50. Is y composite?
False
Let l be (2/4 + 0)*504. Suppose -n + l = 4*k, -k = 2*n - 4*n - 54. Is k prime?
False
Let i = -4 + 20. Suppose 3*d - i = 29. Suppose 0 = -u + 70 - d. Is u a prime number?
False
Suppose -7 = -3*g + 29. Let k be g/20*(2 + 3). Suppose 4*r + 251 = 5*t, 6*t - 4*t + k*r = 82. Is t composite?
False
Is (-694785)/(-169) + 2 + 28/(-13) a composite number?
False
Let v(r) = 294*r**2 - 102*r + 1. Is v(5) composite?
False
Let u be 14/(-21)*(-9)/(-3). Is (3 + -7)/u - 894/(-2) a prime number?
True
Suppose -3*o + 4*a - 1018 = -0*a, -4*a = -4*o - 1360. Let j = -547 - -314. Let y = j - o. Is y composite?
False
Let c(u) = -11 + 1 + 7 + 2 + 3*u**2. Let f be c(-6). Suppose -3*t - 523 = -4*a, 0*a - a - 4*t + f = 0. Is a a composite number?
False
Suppose 2*w - 26 = x, 6*w = 3*x + w + 76. Is 4/22 - 1514/x prime?
False
Suppose -3*f + 3388 = -2*o - 999, -7313 = -5*f + 3*o. Is f composite?
True
Suppose -56 = l - 947. Suppose w - l - 329 = -x, -2*w - 1217 = -x. Is x composite?
True
Let t be -4 + 0 + -4 + 491. Let i = t + -230. Is i a composite number?
True
Let r be ((-12)/10)/((-6)/15). Suppose r*l + l = 316. Suppose 0*j - j = -l. Is j a composite number?
False
Suppose -3*r + 11 = 3*f + 29, -2*r + 28 = -3*f. Let v = f + 8. Suppose -3*p - 2*u = -4*p + 381, p - u - 376 = v. Is p a composite number?
True
Let d be (-55)/(-10)*1*-118. Let b = d + 920. Is b a composite number?
False
Let m(n) = -26*n**2 + 32*n**2 - 3*n + 5 - n + n**3 + 0. Suppose 4*w - 32 = -5*y, 0*y = 4*y + 2*w - 22. Is m(y) a prime number?
True
Is (-35 + -11)*163/(-2) a composite number?
True
Let d(g) = -681*g - 2. Is d(-3) composite?
True
Suppose 2*d = -97 + 749. Suppose d = 2*n - 5*r, -8*r - 163 = -n - 3*r. Is n a composite number?
False
Suppose -979 - 10569 = -2*q. Is q composite?
True
Let a be (26/2)/(1 + 0). Let r(n) = -7*n - 48. Let b be r(-8). Suppose -b*l - 230 = -a*l. Is l composite?
True
Let q(m) = -94*m + 61. Let x(d) = 187*d - 121. Let c(p) = -7*q(p) - 3*x(p). Is c(25) a composite number?
True
Let o(q) be the second derivative of -3*q**3 - 15*q**2/2 + 2*q. Suppose 0 = 185*j - 189*j - 28. Is o(j) composite?
True
Let c(l) = -l**3 - l**2 - 2*l + 1023. Let m be c(0). Suppose 0 = -3*g + 2*o + 4255, -4*o = g - m - 386. Is g prime?
False
Let s(u) = 3*u**2 - 14*u - 9. Let w be s(21). Is (2 - w)*(-42)/12 a composite number?
True
Suppose -1660 = -2*z + 246. Is z prime?
True
Is (-1 + 0)*(47 - 6390) composite?
False
Let k(j) = 1112*j**2 - 75*j - 5. Is k(3) a composite number?
True
Let l(n) = -59*n**3 + 40*n**2 + 61*n - 3. Is l(-10) prime?
False
Let y(v) = -5 + 3 + 2*v**2 - v + 1. Let n be y(-1). Suppose -f + 333 = -s, s - 1649 = -5*f - n*s. Is f a prime number?
True
Suppose 5*d = -8*d + 8749. Is d a prime number?
True
Let l(n) = n**3 - 6*n**2 + 6*n - 1. Let p be l(5). Suppose -3*r - 15 = -5*x, 0*x + 12 = p*x - 3*r. Suppose 7*s = x*s + 452. Is s composite?
False
Suppose -4*b + 15 = x + 7, 2*x + 4*b - 8 = 0. Suppose -5*f = -f - 4, -5*y - f + 1296 = x. Is y a prime number?
False
Let d be (235 - -2)/((-1)/2). Let i = d - -847. Is i composite?
False
Is (-37096)/6*2/(48/(-36)) prime?
False
Is -1*(-15)/30*366006/3 a prime number?
True
Let i be (-41)/(-3) + 8/(-12). Let k(u) = u**2 - 4*u + 10. Is k(i) a prime number?
True
Let q be 4/10 - (-90)/25. Suppose 15*c - 11*c = 76. Suppose q*l = c + 9. Is l a composite number?
False
Let r(p) = 6*p**2 - 24*p - 11. Is r(-12) composite?
True
Let t(a) be the second derivative of -a**5/20 - 5*a**4/12 - a**3/6 - 5*a**2/2 + 2*a. Let i be t(-5). Suppose i*u - 3028 = -4*u. Is u prime?
True
Suppose -q = 5*j - 8343, -40*j - 16716 = -2*q - 35*j. Is q composite?
False
Let s = -10960 - -29129. Is s prime?
True
Suppose -2*p + 5 = -3*z, -3 = -z - 0*z - 4*p. Let k be 21*z/(0 + -1). Suppose g - k = 10. Is g prime?
True
Suppose s + 24 = -3*s. Let q(r) = 16*r**2 + 59*r - 25. Let o(w) = 3*w**2 + 12*w - 5. Let l(a) = -11*o(a) + 2*q(a). Is l(s) a prime number?
True
Suppose -3*b = -12 - 0. Let a be b/10*(8 + -3). Suppose -4*y + 74 = -a*y. Is y prime?
True
Suppose 4*m = -4*j, j = -m + 3*j + 6. Suppose s - 1 = -a + 3*s, -5*a = m*s - 17. Suppose -a*i + 994 = 73. Is i a prime number?
True
Suppose 2*b = 3*o - 14, 5*o - 5*b + 0 = 30. Suppose w - o = -6. Let c = w - -55. Is c a composite number?
True
Let v = -1076 + 624. Let n = v + 1239. Is n a composite number?
False
Is -7909*((-176)/144 + (-4)/(-18)) a composite number?
True
Let b be (-4 - -10)*(-154)/4. Let u = b - -756. Let d = -206 + u. Is d a composite number?
True
Is 2/(-9) + (-416968)/(-72) + -12 composite?
False
Suppose s - 4*s = -12. Let o(w) = w**3 - 3*w**2 - 5*w + 4. Let t be o(s). Suppose 3*z - 448 - 185 = t. Is z prime?
True
Let y(w) = 10 - 22*w - 8 + 3*w. Let d(z) = 18*z - 1. Let b(i) = 7*d(i) + 6*y(i). Is b(6) prime?
False
Let f be -3 + 1 - 0 - 506. Let r = f + 1609. Is r a prime number?
False
Let x = 16970 + -11931. Is x prime?
True
Suppose -4*r - 131 = 49. Suppose -4*s + 217 - 601 = 0. Let f = r - s. Is f composite?
True
Let c(d) = -2*d**3 - 3*d**2 - d + 3. Let w be c(-2). Suppose 15 = 5*v, 3*o + 2*v = 12 + w. Suppose 0 = o*u - 516 - 209. Is u a composite number?
True
Suppose -2*g - 2*x + 4502 = -7*x, 3*g - 6753 = -x. Is g a prime number?
True
Let r(o) = 32*o - 3. Let h be 3/(-21) + 4/28. Suppose h = -3*j - j + 12. Is r(j) prime?
False
Suppose 15*j + 40 = 11*j. Let d = j - -12. Suppose -4*q + 3*q = -2*m - 79, -d*q + 168 = m. Is q composite?
False
Let c be (33/12)/((-1)/(-4)). Let i = c - 7. Suppose 0 = -0*v + i*v - 24. Is v composite?
True
Is (-9)/48*4*-4436 prime?
False
Let n(j) = 4 + 20 - 12 - 3*j - 17*j**2 + 25. Let d(l) = -9*l**2 - l + 19. Let k(f) = 11*d(f) - 6*n(f). Is k(9) a prime number?
True
Let v be -2*(-3 - 3/(-6)). Suppose -v*y = -7*y + 1478. Is y composite?
False
Let r = -18 - -20. Suppose 0 = b + r + 7. Let a(z) = -z**3 - 6*z**2 + 3*z + 7. Is a(b) a prime number?
True
Let 