 = -15 - -30. Suppose n - 3*y - 4 = f, -4*n - y + 11 = 0. Suppose -4*m + n*l - 65 = -5*m, 3*l = -3*m + 222. Is m composite?
True
Let a(p) = -1. Let g(j) = 491*j - 8. Let u(o) = -4*a(o) + g(o). Is u(1) prime?
True
Let u(m) = 50*m**3 - 5. Let l = -67 - -69. Is u(l) a prime number?
False
Is 11/((-44)/(-8)) - -3327 composite?
False
Suppose -28 = -0*y - y - 5*u, y - u + 2 = 0. Suppose v - 15 = 5*v - y*m, 0 = -2*v - 3*m + 15. Suppose v*q = q - 87. Is q a composite number?
True
Let q = 1657 + -1070. Is q a prime number?
True
Let a(k) = -521*k**3 - k**2 + 7*k + 14. Is a(-3) composite?
False
Let p(f) be the first derivative of 2*f**3 + f**2/2 + 9*f - 8. Let t be p(-5). Suppose t = w - 765. Is w a composite number?
False
Let y(c) = -c**3 - 3*c**2. Let i be y(-3). Suppose 3*r - 1732 - 4187 = i. Is r composite?
False
Suppose g - 9*g + 12016 = 0. Is g prime?
False
Let u(g) = -15*g - 4. Suppose -v = -3*v - 14. Let w(l) = 30*l + 7. Let c(d) = v*u(d) - 3*w(d). Is c(6) composite?
False
Let q be 5*1*6/15. Suppose q*d - 192 = d. Let b = d - 130. Is b composite?
True
Suppose 0 = 5*u - k - 30, 2*k + 24 = 4*u - 0*k. Let l(d) = 22*d - 19. Is l(u) prime?
True
Suppose -n + 254 = -3*q, -4*n + 2*q - 249 = -5*n. Is n a prime number?
True
Let r(q) = 2*q**2 - q - 2. Let o be r(2). Suppose -o*d + 160 + 2380 = 0. Is d a composite number?
True
Let x(m) = m**3 - 4*m**2 - 7*m + 8. Suppose -t + 14 = t + 2*o, -5*t + 28 = -2*o. Is x(t) prime?
False
Is (9/(-6))/((-30)/42580) a composite number?
False
Let x(b) = -21*b**2 + b - 1. Let o be x(1). Let g = o + 24. Suppose -4225 = -g*y - 5*k, 0 = 4*y - 0*y - 5*k - 5610. Is y prime?
False
Suppose -15*k = -19*k + 134876. Is k a prime number?
False
Suppose 4*s - r = -0*r + 2988, -5*s + 3732 = -2*r. Suppose -11 = 2*k + v + 8, 3*k + 26 = -4*v. Is (s/(-6))/(k/15) a prime number?
False
Let w = -37 + 56. Suppose -16 = -t + w. Is t a composite number?
True
Suppose 7*x - 8*x = -9289. Is x a prime number?
False
Suppose 5*f - 23501 = -4*w + 123372, 4*w = -2*f + 58742. Is f a composite number?
True
Let q be (-2 - -2) + -1 + (-3)/(-1). Suppose -5*n = r - 779, r - 791 = q*n - n. Is r composite?
True
Suppose -4*r - r - 20 = 0. Let m(v) = 2*v - 4. Let l be m(r). Let n(a) = -7*a + 5. Is n(l) prime?
True
Let i(z) = -z**3 + 6*z**2 - 4*z + 3. Let q(b) = -2*b + 6*b**3 - 5*b**2 + 5*b - 3*b**3 - 4 - 2*b**3. Let g(x) = 4*i(x) + 5*q(x). Is g(5) prime?
False
Suppose 0*h = -y + 3*h - 5, h - 1 = 0. Let w(v) = -v**2 - 2*v + 2. Let x be w(y). Is ((0 - -314)/x)/1 a prime number?
True
Suppose -3*v = 3*i - 12660 - 11115, -39665 = -5*v + 5*i. Suppose -v - 2839 = -8*q. Is q a composite number?
True
Let t(w) = 2*w**3 - w**2 - 3*w + 1. Let s be t(2). Let a(l) = 4*l**2 + l. Let m(k) = 2*k**2 + k - 2. Let v(b) = 4*a(b) - 7*m(b). Is v(s) composite?
True
Is -28513*(0 + 7/(-7)) a prime number?
True
Suppose -4*y - 1 - 15 = 0. Let k(a) = -16*a**3 + 5*a**2 - 1. Is k(y) prime?
True
Suppose -61*o = -60*o - v - 2673, 4*o - 10682 = -v. Is o prime?
True
Let s(m) = -m**3 + 4*m**2 - 4*m - 2. Let z be s(5). Let c be -81*1 + -2 - (-72 - -73). Let n = z - c. Is n a composite number?
False
Let q(t) = -53*t + 2. Let n be q(-6). Suppose -s - s + 163 = m, 4*s - n = -4*m. Is s prime?
True
Suppose -4*n - 7*n + 59180 = 0. Suppose -n = -9*m + 5*m. Is m prime?
False
Let a(n) = 7 - 121*n + 5 - 7. Is a(-4) prime?
False
Let g be 72/(-12)*62/(-6). Let x = 77 - g. Is x composite?
True
Let c = 26302 + -13697. Is c a prime number?
False
Let k = 1 + -1. Let s(d) = -d**3 + 3. Let b be s(k). Suppose 0*g + 4*g = -20, 5*g + 163 = b*x. Is x composite?
True
Is 11 - (-7226 + 5 + -5) prime?
True
Let y be 12/24 + (-590)/(-4). Is y/24 - (-2)/(-12) a composite number?
True
Suppose 221*d - 28007 = 220*d. Is d prime?
False
Suppose -5*i + 4*g = -49, -2*i + 14 = -g - 2*g. Suppose -9*y + i*y - 1172 = 0. Is y a composite number?
False
Is 31789 + 175 - (0 + (-1 - -8)) a prime number?
True
Let f = -4109 + 7071. Suppose 0*s - f = -2*s. Is s composite?
False
Let h(p) = -p**2 - 4*p + 1. Suppose 0 = 2*b + 6. Let g be h(b). Suppose -3*a = -g*a + 253. Is a composite?
True
Let w = -130 + 128. Let n(j) = -8*j**3 + 7*j**2 + 3*j + 3. Is n(w) prime?
True
Suppose -4 = 4*x - 0*x + 4*t, 31 = 5*x - 4*t. Let k = 2 + 1. Suppose -k*s + s = -4*c - 304, 0 = -x*s - 2*c + 432. Is s a composite number?
True
Let s(p) = -1350*p - 29. Is s(-4) prime?
False
Let v = -1908 - -3079. Is v a prime number?
True
Suppose -3*d + 8*d = 30. Suppose 4*g = -h - 19 + d, 2*g = -3*h + 1. Suppose -3*t = -o + 3*o - 643, 0 = 3*t + h*o - 648. Is t composite?
False
Suppose 2*t + 4*c = -2*t + 44, 0 = 4*c - 20. Let x = t - 2. Suppose -4*h - 118 = -2*a, x*a - 82 - 178 = 2*h. Is a a composite number?
False
Let u be 0/2 - (8 + -2). Is 1010/(-4)*u/9*3 a composite number?
True
Let b(k) = 489*k**2 - 2*k - 1. Let s(m) = -489*m**2 + 3*m + 1. Let y(r) = 4*b(r) + 3*s(r). Is y(1) composite?
True
Let c(u) = 1667*u - 199. Is c(6) a prime number?
True
Suppose -7*q + 1 = -20. Suppose -r = -4*m + 9336, -q*m - 3*r = -8*r - 7019. Is m composite?
False
Suppose 3*h = -4*m - 15, -20 = 2*m + 5*h - h. Suppose -5 = -m*b + 5*b. Let k(s) = -24*s + 1. Is k(b) a prime number?
False
Let d(b) = 25 - 6*b + 8*b**2 - 15 - 13. Is d(-4) prime?
True
Let z(a) = -a - 3. Let h = -38 + 33. Let l be z(h). Is (5/15)/(l/1218) composite?
True
Let n(b) = b**3 - 10*b**2 + 5*b + 3. Let s(i) = 2*i + 21. Let l be s(-7). Suppose -37 = -3*v - l. Is n(v) composite?
False
Let g = -422 - -8139. Is g a prime number?
True
Let x = 2104 - -949. Is x prime?
False
Is 14 - 18 - ((-2214)/2)/1 prime?
True
Let l(c) = -51*c + 35. Let x(d) = 102*d - 69. Let i(s) = -5*l(s) - 3*x(s). Is i(-7) prime?
True
Let s = -1329 - -11935. Is s composite?
True
Let j = 110468 - 42811. Is j a prime number?
False
Suppose -5*f - 6 = -26. Let w(c) be the first derivative of c**4 - 2*c**3/3 - 3*c**2/2 - 9*c - 17. Is w(f) prime?
False
Suppose -t - 48 = -201. Suppose -t - 1851 = -4*d. Is d a prime number?
False
Let u(s) = -s**3 - 5*s**2 + s + 9. Let x be u(-5). Suppose 0 = x*a - 19 - 33. Is a a composite number?
False
Let p be (-24)/(0 + -4) + -2. Suppose 484 = p*r - f, 0 = -2*r - 0*f - 4*f + 260. Is r a prime number?
False
Let u(c) = 16*c**2 - 9*c - 43. Let g(o) = 2*o - 22. Let p be g(8). Is u(p) prime?
True
Suppose 5*y = 5*s + 25825, 3*y - s = 8530 + 6969. Is y prime?
True
Let j(u) = 31*u - 6. Suppose -4*b + 10 = 7*h - 5*h, -23 = -4*h - 5*b. Is j(h) composite?
False
Let p(r) = 21*r**3 + 2*r + 9. Suppose 9*a = -2*a + 44. Is p(a) a composite number?
False
Suppose 5*c + 1285 = -5*a, 8*a - 3*a + 4*c = -1288. Let r = 128 - a. Suppose -l - 3*l + r = 0. Is l prime?
True
Suppose 5*l - 18071 = 1644. Is l prime?
True
Let c = 341 + -46. Is c a composite number?
True
Suppose 39 = 4*b + 5*s, -5*b + 6*s + 18 = 2*s. Let z(a) be the second derivative of a**4/6 - a**3/2 - 4*a**2 - 3*a. Is z(b) prime?
False
Let h = -362 - -910. Suppose 12*l - 2024 = -h. Is l composite?
True
Suppose 31 = c + 159. Let u = 209 + c. Let d = 244 - u. Is d a composite number?
False
Let n be ((-2 - -1661) + -4)*1/1. Let h = 2662 - n. Is h composite?
True
Let l(p) = 7 - 4 + 4*p + 12. Is l(16) a composite number?
False
Let a be (-6 - 0)/((-8)/696). Let s = -93 + a. Let i = 698 - s. Is i prime?
True
Suppose 8 = -4*o - 4*z, -o + 2*z + 2 + 2 = 0. Suppose 3*u + n - 1587 = 0, -2*u - 3*n + 982 + 69 = o. Suppose 2*x + 0*x - u = 0. Is x prime?
False
Let w(a) = 492*a**2 + 2*a - 1. Is w(1) composite?
True
Let s(p) = 89*p**2 - p - 1. Let l be (-2)/(-6)*(-84)/(-4). Let u = 6 - l. Is s(u) composite?
False
Let d = -32428 + 2656. Is -1*1/(-4) + d/(-16) a prime number?
True
Let b(n) be the second derivative of n**5/4 - n**4/24 - 11*n**3/6 - 4*n**2 + n. Let r(u) be the first derivative of b(u). Is r(-6) prime?
False
Let z(f) = 0*f + f - 5*f**2 - f**3 + 10*f**2 + 2. Is z(-4) composite?
True
Let a = -32 + 48. Suppose y - 24 = 5*m, 2*y - 2*m - 33 = 3*m. Suppose y = -t + a. Is t prime?
True
Suppose -4*i + 4*h = -9816, 0 = 2*i - 6*h + 5*h - 4907. Is i prime?
False
Let r = 4721 - 2561. Suppose -3*x + 2176 = 4*j, r = 3*j + j - x. Is j composite?
False
Suppose 2*x + 4*w = 40, x + 0*x - 5*w - 13 = 0. Suppose -11*t + x*t = 3269. Is t prime?
True
Let i(m) = m**3 - m - 5. Let z be i(0). Let a(d) = d**2 + 4*d. Let y be a(z). Sup