9 + f. Is t composite?
False
Let f(i) = -3*i**2 + 18*i - 2. Let v be f(6). Is (v/(-3))/((-38)/(-12027)) a composite number?
False
Let i(q) = 413*q**3 + 4*q**2 + 3*q - 1. Let o(j) = -413*j**3 - 3*j**2 - 2*j + 1. Let g(l) = 5*i(l) + 6*o(l). Is g(-1) a prime number?
False
Let b(d) = -d**2 + 5*d + 7. Let i be b(5). Suppose -i*p + 635 = -2*p. Is p a prime number?
True
Suppose -2*m + 12 - 2 = 0. Suppose 5*s - 1027 = -2*t - t, 4*t + 999 = m*s. Suppose 2*r = 3*r - s. Is r a composite number?
True
Suppose 0 = 2*m - 4 - 4. Suppose -5*k = 19 - m. Is k - (117 - -1)*-1 prime?
False
Let g(o) = 18*o**3 - 3*o**2 + 8*o - 4. Let x(k) = -17*k**3 + 2*k**2 - 7*k + 3. Let j(l) = -4*g(l) - 5*x(l). Is j(4) composite?
False
Suppose -9*p = -72*p + 8573859. Is p a composite number?
False
Let n be -1*((-2)/10 - 102/(-10)). Let l(b) = -b**3 - 6*b**2 + 9*b - 3. Is l(n) composite?
False
Suppose q = -5*g + 13452, -2*g - 2*g - 2*q = -10758. Suppose -5159 = -5*j + g. Suppose -5*r + 4995 = j. Is r composite?
True
Suppose 3*u = 5*w + 3240, w - 422 = -5*u - 1098. Let t = -1797 + 608. Let p = w - t. Is p a composite number?
True
Let x = 256 - -278. Is 2/(2/x*6) prime?
True
Let y = -23586 + 36023. Is y composite?
False
Let r be (0 - (-1)/(-1)) + 25*108. Let p = r - 1822. Is p prime?
True
Suppose 0 = -27*t + 156988 + 594395. Is t composite?
True
Let x(z) = 5*z + 58. Let f be x(-12). Let j(a) = 3*a + 3. Let v be j(-2). Is f*-449*v/(-6) composite?
False
Let m(s) = s - 1. Let b(j) = 2*j**2 + 5*j + 6. Let v = -4 - -3. Let i(y) = v*m(y) + b(y). Is i(5) a prime number?
False
Let h(t) = -2*t**3 + 8*t - t - t - 8*t**2 + 3*t**3 - 11. Is h(8) composite?
False
Suppose 5*b + 3*r - 4*r = 0, 2*b - 4*r = 0. Suppose -9*q - l = -11*q + 4713, b = -4*q - 5*l + 9433. Is q a prime number?
True
Let g be (-1030 + 0)*27/18. Is (-3)/6 + g/(-6) a prime number?
True
Suppose -4*g = -h - 14, 0 = g - 5*g + 12. Let j = h + -154. Is (3 - 2) + j/(-2) composite?
False
Suppose 2*h + h + 15 = 0, -135 = -5*x + 3*h. Let t = 12 - x. Is ((-680)/12)/(8/t) a prime number?
False
Suppose -8*v + v = -35. Suppose v*a = -5*k + 1490, -3*a - a = -3*k + 859. Is k a composite number?
False
Suppose -5*s - 38 = -8. Is (-670)/4*s/5 a composite number?
True
Suppose 8 + 4 = 6*w. Let g = -12 + w. Is (1456/40)/((-4)/g) prime?
False
Let n(y) = -y + 16. Let c be n(15). Is -2*c/(-7) - 50289/(-21) a composite number?
True
Suppose -4*g - 26 = 3*x, -3*g = -5*x - 2 + 7. Is (x/4)/(13/(-1846)) composite?
False
Is (-18 - -17)*(-3 - -58168)/(-1) a composite number?
True
Suppose 12*b - 16*b - 2*c = -28128, 3*c = 2*b - 14056. Is b prime?
False
Suppose -3*x + 4*n + 75882 - 9573 = 0, 5*x = 4*n + 110523. Is x prime?
False
Let d(b) = 656*b + 3. Let v(l) = -1. Let f(k) = -d(k) - 4*v(k). Let z be f(-4). Suppose -5*c = -z + 950. Is c a prime number?
False
Let d = 3226 + -1343. Is d a composite number?
True
Let a be 2/(3/((-130266)/12)). Let q = -2240 - a. Is q prime?
False
Let p = 26106 + -18623. Is p prime?
False
Suppose 5*k = -3*s + 15, 0*k = -5*k - s + 5. Suppose 3201 = -k*i + 3*i. Is i a prime number?
False
Suppose 33*k - 468000 = 602553. Is k prime?
True
Let b(k) be the second derivative of 23*k**5/30 + k**4/8 - k**3/3 + 10*k. Let m(w) be the second derivative of b(w). Is m(2) a prime number?
False
Suppose 50*a - 178176 = 576874. Is a composite?
False
Suppose 4*d + l + 3*l + 8 = 0, d = -4*l - 8. Suppose d = -w + 2*j + 933, j - 1861 = -2*w + 5. Is w prime?
False
Is (-1)/3 + 221092/12 + 9 prime?
True
Let k(s) = 31*s + 1. Let z be k(1). Let q be ((-1016)/z)/((-2)/32). Suppose v - 5*v = -q. Is v a composite number?
False
Suppose 2*f - 5 + 1 = -o, f = 4*o + 2. Suppose 6*b = 2*b + 13340. Suppose -4*z - z + b = o. Is z prime?
False
Suppose 0 = 5*s - 2*b - 39891, -4*s + 0*b + 31920 = 2*b. Is s a composite number?
True
Let s = 115 + -118. Let u(q) = -5*q. Let v be u(-6). Let r = v - s. Is r composite?
True
Suppose -7*d + 10*d - 17247 = 0. Is d composite?
False
Let x(k) = 51*k**2 + 3*k + 2. Let o be x(-5). Let t = o - 813. Is t a prime number?
True
Let c be -4*((-12)/3)/(-8). Is (-3 + (-3219)/(-6))/((-1)/c) prime?
False
Let n(t) = -77*t**2 - 7*t - 8. Let j(k) = -k**2 + k - 1. Let g(v) = -5*j(v) - n(v). Is g(-5) a composite number?
False
Is 1/3*(4085 - 2) composite?
False
Is 2*(-278)/4*(-1 + 0) composite?
False
Let z(l) = -109*l**2 + 40*l + 179. Let k be z(-4). Let s = -47 - 285. Let v = s - k. Is v a composite number?
True
Suppose -4*v - v + 33 = 3*w, v + 21 = 4*w. Suppose w*q - q = 3665. Suppose 0 = -5*l + 4*a - 0*a + q, -435 = -3*l + 4*a. Is l a prime number?
True
Suppose -4*h = 2*x - 2254, 5*h + 4*x - 2890 + 71 = 0. Is h a prime number?
True
Let y(s) = 5*s**3 - 3*s**2 - 20*s - 23. Is y(9) composite?
True
Suppose u - 4 = 1, 0 = 2*j - 2*u - 1852. Let o = -522 + j. Is o a composite number?
False
Let j = 58 + -106. Is 70488/j*(1/3 - 1) composite?
True
Let a = -2853 + 8210. Is a composite?
True
Let t(s) = s**3 + 8*s**2 + 6*s - 4. Let d be t(-7). Let x = 5 + d. Suppose 11*m - x*m = 435. Is m composite?
True
Suppose -f - 453 = -2*f. Suppose -321 = -3*v + f. Let n = v + 161. Is n composite?
False
Let g = -29 - -33. Suppose 4*t = 5*n + 616, 3*n - 219 = -g*t + 365. Is t a composite number?
False
Suppose -3*t = -v + 4499, t + 2*t + 22543 = 5*v. Is v prime?
False
Let j be (14/(-21))/(2/(-27)). Let t = j - 6. Is -3 + (t - (-155 - 0)) a prime number?
False
Let t(s) = 27*s**2 - 5*s + 2. Let w(i) = 41*i**2 - 7*i + 3. Let o(f) = 8*t(f) - 5*w(f). Suppose 4*c + 3 - 19 = 0. Is o(c) composite?
False
Suppose -2*m + 2 = 0, -3*d + 4794 = -5*d + 4*m. Let i = -1428 - d. Is i a composite number?
False
Suppose 5*p = 4*p + 7. Suppose 0 = b - 4 + p, 3*b = 4*u - 17. Suppose a - 3*o + 6 = -0*a, -u*o - 17 = -3*a. Is a a prime number?
False
Let j = -24200 + 43489. Is j prime?
True
Suppose -42*a + 35*a = -16247. Is a composite?
True
Let d(g) = -203*g - 690. Is d(-11) a composite number?
False
Suppose 5*i + 4*c - 38 = -8, 3*i = c + 1. Is 92/(-6)*(-9)/i a composite number?
True
Let k = 59 + -51. Is (2896/k)/(3/(-3) + 3) prime?
True
Let p be 2/(-3)*6/(-4). Let h(q) = 2*q**2 + 1. Let o(i) = 4215*i**2 + 1405. Let z(n) = -1405*h(n) + o(n). Is z(p) a composite number?
True
Suppose 8450 = -2*n + 27804. Is n a composite number?
False
Let r(t) = -38*t**3 - 4*t - 3. Let x be r(-4). Let q = -1676 + x. Is q prime?
True
Is (15771/(-4))/21*-4 composite?
False
Let i(d) = 9*d - 8. Suppose 6*p - p - 30 = 0. Let t(n) = 8*n - 8. Let f(m) = p*t(m) - 7*i(m). Is f(-7) a composite number?
False
Let h(q) = -q**2 + 12*q + 6. Let z be h(12). Let o(m) = -m**3 + 2*m**2 - 7*m + 6. Let r be o(-10). Suppose r = -2*d + z*d. Is d prime?
False
Let j = 8249 + -1356. Is j composite?
True
Let c(s) = 23*s**3 + 3*s**2 - 8*s + 7. Suppose -5*b - 24 = -3*r, -r - r + 18 = -4*b. Is c(r) prime?
True
Suppose 3*j = j + 818. Let d = -50 + j. Is d composite?
False
Suppose -2*f - 2*c - 1 + 5 = 0, 4*f = -5*c + 4. Suppose -v = f*v - 2933. Is v prime?
True
Let p = 12 - 7. Suppose 2*l = -3*l. Suppose l = q - 3, p*j + 0*q + 5*q = 720. Is j a composite number?
True
Suppose 195681 = 15*f - 30744. Is f composite?
True
Let a(k) = -k - 14. Let s be a(-15). Let m(b) = 412*b**2 + 2*b - 1. Is m(s) a composite number?
True
Let h = -559 + 2056. Suppose w = -2*w + h. Is w composite?
False
Suppose 19*s + 8636 - 46047 = 0. Is s prime?
False
Let d = 5644 + 1477. Is d a composite number?
False
Let a = -120410 - -209061. Is a a prime number?
True
Let k be 2*(-2)/(-8)*8. Let z = -37 + 37. Suppose 1492 = k*w - z*w. Is w composite?
False
Let i(u) = 37*u**2 + 5*u - 45. Is i(6) a prime number?
False
Suppose 6*q - 4*q = 918. Suppose -3*f + q = -3*t, -6*t + t = f - 129. Is f a composite number?
False
Let a(r) = -2*r - 7. Let z be a(-3). Is z*-46*4/8 a prime number?
True
Suppose -2*t - 5*i = t - 1051, 5*t + 4*i - 1743 = 0. Let b = t + 32. Is b a composite number?
False
Let y = 2 - -16. Let s = 33 - y. Is (-10 + -3)/((-3)/s) a prime number?
False
Suppose -5*y = -10*y - 2*l + 2724, 0 = y - l - 549. Let g = -139 + y. Is g a composite number?
True
Let o(u) = 5*u**3 - 6*u**2 + 7*u - 4. Let s(r) = -4*r**3 + 5*r**2 - 6*r + 4. Let a(z) = 5*o(z) + 6*s(z). Is a(2) a composite number?
True
Suppose 14 = 2*i - 74. Let q = 79 - i. Is q a prime number?
False
Suppose 3*q = -4*v + 23, 