+ 60, -3*j + 2*x + 18 + 77 = 0. Let q = 158 - j. Is q prime?
True
Let t(y) = -y**3 - 16*y**2 + 27*y + 45. Let m be t(-25). Suppose 4*s = -d + 7*s + 980, -4*s = 5*d - m. Is d a composite number?
True
Suppose -4*l = -2*i + 7*i + 95, 0 = -3*i + l - 40. Let h(q) = 2*q**2 + 16*q - 19. Is h(i) a prime number?
True
Let m = -74 + 78. Let n be (-9)/(-15) - 2/(-5). Is -3 + m + n - -203 a composite number?
True
Let c be (-36)/27*198/(-4). Let w = -20 + c. Is w composite?
True
Suppose 2*m - 750 = -2*t, 3*m + 0*m = 3*t - 1101. Let c = -88 + t. Let p = -92 + c. Is p a prime number?
True
Let j(l) = -3*l**2 - 9*l - 1. Let x be -1*11/((-11)/(-6)). Let v be j(x). Let y = 2 - v. Is y a prime number?
False
Suppose 3*i - 2180 = -2*b - 697, 485 = i + 3*b. Suppose 461 = 2*c - i. Is c prime?
True
Let r = 67 + 4. Let q(f) = -12*f + 14*f + r*f**2 + 48*f**2 + 1. Is q(-1) a composite number?
True
Let l(c) = -13*c**3 + 2*c**2 + 2*c + 1. Let v be l(-1). Is 8066/7 + v/(-49) + -1 a prime number?
True
Let m(t) = t**2 + t + 3. Suppose -4*h - 15 = -87. Suppose -h = 5*i + 3*q, -5*i = -3*q - 2*q + 50. Is m(i) composite?
True
Let u(w) = 71*w - 17. Let r(i) = 7*i**2 - 1. Suppose 2 = 2*a + 4*z, 0 = -a + 3*z - 4 - 0. Let d be r(a). Is u(d) composite?
False
Let t(b) = b + 16. Let f be t(-13). Suppose -f*z + 68 = z. Suppose i = -3*s + z, 0*i + 4*s + 25 = 3*i. Is i composite?
False
Let s = 0 + 2. Let n = 0 + s. Suppose 130 = w + 3*f, -n*f - 3*f = -5. Is w composite?
False
Let c be ((-1)/(10/84))/((-16)/40). Let v = 70 - c. Is v a composite number?
True
Let u(b) = -3*b - 8. Let x be u(-8). Let q(y) = -y**2 + 16*y + 13. Let j be q(x). Suppose -406 = -15*f + j*f. Is f prime?
False
Let n = 29309 - 16986. Is n composite?
False
Let c(n) be the first derivative of 357*n**2/2 - 2*n + 1. Suppose 2 = -2*i, g = -0*g - 4*i - 1. Is c(g) prime?
True
Let z(k) = -2*k + 21. Let v be z(9). Is -1*(0 + (-846 - v)) composite?
True
Suppose -183*l + 165*l + 1998234 = 0. Is l composite?
True
Let a be (-5)/15 + (-44)/(-6). Suppose 0 = 13*q - a*q - 2934. Is q prime?
False
Let b = 45507 - 17044. Is b composite?
False
Let q(m) = -6*m + 16. Let w(c) = c + 13. Let l be w(11). Suppose l = -3*s - 3*h, 2*h + 52 = -5*s + h. Is q(s) a prime number?
False
Suppose t = z + 66, t - 4 = -2. Let f = 32 + z. Let c = 141 + f. Is c composite?
False
Let y(o) = -61*o + 7. Let f = -35 - -29. Is y(f) composite?
False
Is ((-77046)/2)/((-42)/14) composite?
False
Suppose 2*n - 3*n + 2*w = -6729, 5*w = 3*n - 20189. Is n a composite number?
False
Let p(w) = -w**3 - 4*w**2 - 7*w - 7. Let m be p(-9). Let l = m + 272. Is l a composite number?
False
Suppose -k + 23555 = -1136. Is k prime?
True
Suppose -3*t - 6*m + 418 = -m, 2*m + 284 = 2*t. Is t a prime number?
False
Let x(n) = 16495*n**2 - 6*n + 6. Is x(1) composite?
True
Let m(z) = -23*z**3 + 10*z**2 - 6*z + 12. Let v be m(-10). Suppose -v + 1839 = -3*p. Is p prime?
True
Suppose 57129 + 87728 = 17*v. Is v a prime number?
True
Let l(y) = 35*y - 11. Let z(d) = 34*d - 11. Let b(n) = -6*l(n) + 7*z(n). Let o be b(10). Let t = -110 + o. Is t a prime number?
False
Suppose -5*d + 4 = -26. Suppose 0 = 8*o - d*o + 422. Let t = -62 - o. Is t prime?
True
Suppose -47*l = -137*l + 2447730. Is l a composite number?
False
Let c(v) be the third derivative of v**6/120 + 7*v**5/60 + 2*v**3/3 - 5*v**2. Let z be c(-11). Let r = z + 737. Is r prime?
True
Suppose 3*i + 5*r = 7*r + 116291, -15 = -3*r. Is i composite?
False
Suppose 0 = -3*n + 6, -3*n = -4*v - 0*n - 6. Suppose v = 5*a + 16077 - 48682. Is a a composite number?
False
Suppose -43735 = 73*p - 78*p. Is p a composite number?
False
Suppose d + 6 = 8. Suppose -2*b + 3*w = 3*b - 22, b - 7 = -d*w. Suppose -2*c = f - 189, -94 = -c - 2*f + b. Is c prime?
False
Let v(y) = 78*y**2 + 36*y + 241. Is v(-7) a prime number?
False
Let m(x) = 2762*x - 151. Is m(3) composite?
True
Suppose 4 = -3*s + 4*s. Suppose -2 - 10 = -s*b. Suppose 4*p + 3*o = 697, b*p + 3*o = o + 524. Is p a composite number?
True
Is 1/((-1)/907*-2722 - 3) prime?
True
Let h(b) = b**2 + b + 1. Let n be h(-2). Is (-126 + -4 + n)*-1 prime?
True
Let j be 4 - (-3 + (-44 - -1)). Is (-2)/(-5) - (-12930)/j a composite number?
True
Let n = 5382 - 451. Is n prime?
True
Let m(l) = -l - 19. Let q be m(-23). Let c(b) = -3 + 1 + 20*b + 5. Is c(q) composite?
False
Let a(i) = 960*i**2 - 110*i + 225. Is a(2) a prime number?
False
Let r(c) = -9*c**3 - 3*c - 2. Suppose 2*p - 6*p = 12. Let a be r(p). Let t = a - 108. Is t prime?
False
Let h = 1083 - 496. Is h composite?
False
Suppose -10*k - 6601 = -17*k. Is k a prime number?
False
Suppose -3*f + i = -2, -3*i = -2*f - 7*i - 8. Suppose 5*l + 5*c = 5, 4*c - 4 = -f. Suppose -3*p + 957 = -l*p. Is p prime?
False
Let f = 1239 + -828. Is f a prime number?
False
Let d(g) = 59*g**3 - 2*g**2 - 8*g - 35. Is d(6) prime?
True
Suppose 0 = -2*y + 17 + 13. Suppose 0 = -5*f - 5*t - 11800, 1071 + 1274 = -f - 4*t. Is (-4)/6 - f/y a prime number?
True
Let m(w) = 3*w - 5*w - w + 33 + 2*w. Is m(10) a composite number?
False
Let t(q) = q**2 + 8*q + 13. Let k be t(-3). Is ((-444)/(-48))/(k/(-24)) composite?
True
Suppose -2*v = 4*a - 8482, 4*v + 12732 = 7*v + 3*a. Is v composite?
True
Suppose -4*l - 357042 = -46*l. Is l a prime number?
True
Is ((-63)/(-9))/(-3 + 1614/537) a prime number?
False
Let b = -5502 + 7846. Suppose 6*n = 13484 + b. Is n prime?
False
Let a(y) = y**3 + 7*y**2 + 2*y + 5. Let b be a(-7). Let c(h) be the third derivative of h**6/120 + h**5/6 - h**4/4 - h**3/6 + 14*h**2. Is c(b) composite?
True
Let d = 6786 - 3715. Is d prime?
False
Let f = 978 + 200. Let q = f - 699. Is q prime?
True
Suppose 5*k + 0*k - 585 = -5*q, q + 3*k - 127 = 0. Let m = q - -75. Is m composite?
True
Suppose -k = j + 9, k = -3*j + 1 - 18. Suppose h - 12 + 11 = 0. Is 4 + j + 65*h a composite number?
True
Let j(i) be the second derivative of -3/2*i**2 + 0 + 40/3*i**3 - 6*i. Is j(4) composite?
False
Suppose 5*k + 17710 = -5*q, -3*k - 2*k - 17712 = 3*q. Let p = -1958 - k. Is p composite?
True
Let m(n) = 5*n**3 - 15*n**2 + 17*n - 21. Is m(10) prime?
False
Let j = 10 - 7. Suppose -j*l = -5*l. Suppose l*g - 4*g = -132. Is g composite?
True
Let y = 12560 + 237. Is y a composite number?
True
Suppose -25*o = -15348 - 9602. Is o a composite number?
True
Suppose 2*h + 3*w = 5*h - 3, -h + 5*w = 3. Is ((-11)/(44/(-2008)))/(1*h) prime?
True
Suppose -2*v = -h - 8750, -18*h = 3*v - 22*h - 13135. Is v prime?
True
Suppose -5*v + 12 = -2*a - 10*v, 4*a = 5*v + 36. Suppose -3*x + a*m = 1345 - 5804, -x + 1489 = -2*m. Is x a prime number?
True
Suppose -5*w + 1342 = -w - 2*q, 3*w - 1017 = -2*q. Is w prime?
True
Let n = -4611 + 10130. Is n prime?
True
Is (12*(-261)/144)/((-3)/1268) prime?
False
Suppose 2*p - 8 = 6*p, 5*p = -m + 241. Is m a composite number?
False
Let m = 7226 - 4455. Is m a prime number?
False
Let p(z) = z**3 + 5*z**2 - 9*z + 5. Suppose -4*x - 4*t - 15 = x, -x = -4*t + 27. Let l be p(x). Is 15/l + (-490)/(-4) a prime number?
False
Let p = 3626 - 5695. Let a = p + 3384. Is a a prime number?
False
Let m(o) = -o**2 - 1. Let q be m(2). Let h(d) = d**2 + 7*d + 12. Let t be h(q). Is t*(-53)/(-2)*5 composite?
True
Let z(q) = 9*q + 10. Let s(j) = -27*j - 30. Let b(t) = 3*s(t) + 8*z(t). Is b(-7) a prime number?
True
Let j = 79 - 65. Let x(h) = 9*h**2 + 15*h - 32. Is x(j) prime?
False
Suppose 0 = -60*x + 26*x + 228174. Is x a prime number?
False
Let u(k) = -449*k - 19. Let i be u(-6). Suppose -3*m + 4168 = -i. Is m prime?
True
Suppose -3*p = -2*n - 23, 28 = 6*p - 2*p - 4*n. Suppose 0 = -4*j + 7*j + p, b + 4*j = 97. Is b prime?
True
Let t(k) = -4*k - 37. Let d be t(-10). Suppose 4*o + 3232 = -3*q + 17576, 17957 = 5*o - d*q. Is o a composite number?
True
Suppose -m = -0*m - y - 1758, 3*y + 3517 = 2*m. Is m prime?
False
Let y = 18 - 22. Is (7674/(-9))/(y/6) prime?
True
Let q(v) = v**3 - 13*v**2 - 15*v - 39. Is q(17) prime?
False
Let d(c) = 2*c - 2. Let t be d(-5). Let w = -7 - t. Is (76/(-2))/(3 - w) prime?
True
Let c be (-97 + -1)*((-2)/(-4) - 1). Is c/28*(505 + 3) a prime number?
False
Suppose -5*j + 0*u - 4*u - 8809 = 0, -3*j - 2*u - 5285 = 0. Is (-1)/((-3)/15) - j prime?
False
Suppose -1060 - 1161 = -5*q + 2*j, -880 = -2*q - 2*j. Let p = 1074 + q. Is p composite?
True
Let r(u) = u**2 - 18*u + 23. Let x be r(17). Is 