et n be w(-1). Suppose -n = -a*c + 2. Is c composite?
False
Let v = -5097 - -20518. Is v a prime number?
False
Let f = 9021 + -3889. Suppose 23*o = 27*o - f. Is o a prime number?
True
Let w(d) = -d**2 - 11*d**3 + 120*d**3 - 194*d**3 - 437*d**3. Is w(-1) prime?
True
Suppose -4*y + 5*q + 46051 = 0, y = -2*q + 5254 + 6275. Is y composite?
False
Let r(b) = -14*b - 17. Let g(l) = l + 1. Let j(p) = -2*g(p) + r(p). Is j(-16) composite?
True
Let c = -15 + 33. Let l(a) = -a**2 - 7*a - 3. Let f be l(-6). Suppose -4*v + 48 = 4*t - v, -c = -2*t - f*v. Is t a prime number?
False
Suppose -4*d = -9*d. Suppose -4*b - 1009 = -3*f, -7*f + 2*f - 4*b + 1639 = d. Let w = f - 148. Is w a composite number?
True
Let d(q) = q**3 - 2*q**2 + 5*q + 4. Let l(k) = -6*k**3 + 10*k**2 - 26*k - 21. Let b(s) = 11*d(s) + 2*l(s). Is b(-5) a prime number?
False
Let i(v) = -762*v + 239. Is i(-30) a composite number?
False
Suppose d + 3 = 0, 5*i = -d + 9 - 77. Is i/2*53*86/(-43) a composite number?
True
Suppose -11 = -2*w - 0*h + h, 3*h = -3. Let c(b) = 3*b**3 + 6*b**2 - 6*b + 2. Is c(w) a composite number?
True
Let d = -12 - -15. Suppose 2*t + d*h - 167 = 0, -631 = -5*t + 5*h - 176. Suppose 0 = 4*b - 5*j - 802, -j = b - t - 117. Is b composite?
True
Let p be (5/3)/((-9)/(-27)). Suppose p*u = 2*s + 2077 - 462, 2*u - s - 646 = 0. Is u a composite number?
True
Suppose 0 = 3*c - 131 - 1351. Suppose -5*w - 1474 = -3*a - 6*w, -c = -a - 3*w. Is a composite?
False
Suppose 5*s = -1 + 26. Suppose -s*i = -16 - 9. Suppose -5*z + 4*a + 51 = -243, i*z + 3*a - 287 = 0. Is z a composite number?
True
Let v be (5/(-1))/(2 - 1). Let x be v/(-2)*(-60)/(-50). Suppose j = x*w - 440, -720 = -4*w - w - j. Is w a composite number?
True
Let j(t) be the second derivative of -t**6/72 - 11*t**5/120 - 5*t**4/12 - 3*t. Let q(r) be the third derivative of j(r). Is q(-7) a prime number?
True
Let v(y) = 28*y - 45. Let n(g) = 83*g - 134. Let t(p) = 6*n(p) - 17*v(p). Is t(19) prime?
True
Let o(v) = 8895*v + 104. Is o(1) a prime number?
True
Is (8411/(-2))/(2/(-4)) a prime number?
False
Let z = 3432 + -1862. Suppose -2*f + z = 4*r, 0*r - r - 5*f = -406. Is r prime?
False
Let n(s) = -2*s**3 + 5*s**2 - 5*s + 4. Let r be n(3). Let f be ((-6)/(-4))/((-15)/r). Is f + (2 - (-879 - 4)) a composite number?
False
Is (-1)/((-4)/24) + 701 prime?
False
Let p be (41/(-2))/((-4)/56) + -1. Suppose -4*a - 9*a + p = 0. Is a a composite number?
True
Suppose -11*n = -14*n + 77511. Is n composite?
True
Suppose 0 = 4*y + 9 - 17. Let n(h) = 2*h**y - 13*h + 37*h - 14*h + 15. Is n(-10) a prime number?
False
Let p = -8 + 11. Suppose -y = -m + 1 - p, 0 = -3*m. Suppose 3*z = y*z, 5*z = 5*k - 170. Is k composite?
True
Let r(z) = 111*z - 161. Let a be r(11). Suppose 6*l = 3*l + 1653. Let f = a - l. Is f a prime number?
True
Suppose 0 = -8*m - 8221 - 1763. Let t = 1786 + m. Is t a prime number?
False
Let s = -12 + 18. Suppose s*w = 2*w. Suppose w = 3*t + r - 112, r - 105 - 81 = -5*t. Is t composite?
False
Suppose -16*v + 966035 = 19*v. Is v a composite number?
True
Let a(x) = 16183*x**2 + 35*x - 35. Is a(1) prime?
True
Let b(i) = 19*i**2 + 44*i**2 - 5 + 2*i + 4. Is b(-2) a prime number?
False
Suppose -3*r = 2*r + 590. Is ((-51)/(-6))/((-1)/r) a composite number?
True
Suppose -o - 5*s + 4 = -3*s, 2*o - 4 = -2*s. Suppose o = 2*j - 251 - 273. Suppose 0 = -5*l - 3*p + j, 0 = 2*l + 4*p - 2*p - 104. Is l prime?
True
Suppose 2*w - 3411 = -3*q, 3451 = w + w - 5*q. Let u = w + -664. Is u a prime number?
True
Let x(g) = -7*g**3 - g**2 + 3*g + 5. Let y(m) = 22*m**3 + 2*m**2 - 9*m - 14. Let l(b) = 7*x(b) + 2*y(b). Is l(-4) a composite number?
True
Let i(j) = 1585*j**2 + 9*j - 19. Is i(3) a prime number?
False
Let j(q) = 74*q - 20. Let t be j(9). Suppose 307 = b - t. Is b prime?
True
Let y = -59661 + 115104. Is y a prime number?
False
Let x(l) = -14*l**3 - 11*l**2 - 7*l - 15. Let p(d) = -40*d**3 - 34*d**2 - 21*d - 45. Let t(g) = -6*p(g) + 17*x(g). Is t(8) a prime number?
False
Let r(h) = 18*h - 1. Let t be r(1). Suppose -4*s - o = -7*s + t, -23 = -4*s + o. Is 191/(-2)*(-12)/s prime?
True
Suppose -12242 = -2*o - 5*n, 6*o + 5*n = 5*o + 6111. Is o composite?
False
Suppose 0 = -0*u + u - 140. Suppose w + 3*o - 156 = 2, -w + 3*o + u = 0. Is w a composite number?
False
Suppose 4 = 3*s - 2*s. Let o = 5 - 2. Suppose -k - 13 + 213 = o*j, 5*k + 273 = s*j. Is j a prime number?
True
Let g = 230 - 7. Is g a prime number?
True
Let f be 0/4 - (-2 + -3). Suppose 4*k + f = -7, 4*p - 3*k = 1501. Is p composite?
False
Suppose -3*v - 2*v + 90 = 0. Let g = -538 - v. Is (1/2)/((-2)/g) a composite number?
False
Let g = -57598 + 225700. Let q be g/63 + 2/(-7). Suppose 3*l = -l + q. Is l a prime number?
False
Suppose -28*l + 32*l = 57756. Is l composite?
True
Suppose -r - 4*r + 10885 = 0. Suppose r = 11*b + 912. Is b a composite number?
True
Let d be (-2 - (-21)/9)/((-3)/(-9)). Is (-2*d/(-2) + -6)*-17 a prime number?
False
Let k(z) = -4*z**3 + z**2 - 2*z + 2. Let s be k(1). Let g(i) = -170*i + 7. Is g(s) composite?
True
Suppose 4*r - 3 = -7. Let u be 2/(r - -2) + -1. Suppose -11 + u = -5*b, b = 5*h - 28. Is h a prime number?
False
Let o be 12/(-3) - 3/(-3). Let c be (o/(-6))/(1/18). Is (-3*(-1011)/c)/1 prime?
True
Let z = -334 + -613. Let p = z + 1708. Is p a prime number?
True
Suppose -b + 703 = -z - 124, b = -2*z + 833. Is b a prime number?
True
Suppose y = 13*y - 48. Suppose -2*r + 3125 - 36 = u, r - 1555 = -y*u. Is r a prime number?
True
Let c = 477 + -241. Suppose -l + c = 3*l. Is l composite?
False
Let l(d) = -778*d**3 + 4*d**2 - 5*d - 7. Is l(-2) composite?
True
Let d be (72/(-27))/((-4)/6). Suppose 0 = 2*o - 7*o + 4*n + 3974, 0 = 4*n + d. Is o a prime number?
False
Let a(y) = -y + 15. Let j be a(10). Suppose 0 = g - w - 6, -g + j*w + 26 = 3*g. Let h = 19 - g. Is h composite?
True
Is (55852/8)/(1 + (-5)/10) prime?
True
Let c(m) = -2*m - 118*m**3 + 119*m**3 + 8*m**2 + 14 - 6*m. Let k be c(-9). Suppose -5*j = k*v - 1845, -5*v = 2*j - 29 - 697. Is j a composite number?
False
Let t be 9/(-8) + (-3)/(-24). Let a(m) = -82*m - 3. Is a(t) prime?
True
Suppose 4*a + 213 = 5*z + 12, -z + 2*a + 45 = 0. Suppose -4*o + z - 13 = 0. Is o composite?
True
Suppose 0*r = 5*r - 30335. Is r prime?
True
Suppose -57220 = -8*z - 12*z. Is z a prime number?
True
Suppose -2*r = -2*h - 1534, -2*r + 8*h + 1531 = 7*h. Is (r/(-4))/(5 + -6) a composite number?
False
Suppose -2*u - 2 = -3*u. Suppose -2*v + 18 = 3*y, -4*y + u*v = -y - 6. Suppose -p = -b + 554, -9*p = 2*b - y*p - 1143. Is b a composite number?
True
Suppose 7*x - 32254 = 5*x. Is x prime?
True
Let y = 8230 + 2673. Is y a prime number?
True
Is 0/1 + (-4)/(-2) + 3221 a prime number?
False
Let u(j) = -j**3 - 23*j**2 - 58*j + 57. Is u(-26) a composite number?
False
Suppose 13*l - 10 = 42. Suppose -l*n + 2*b + 2700 = 0, 5*n - 4930 = 5*b - 1565. Is n a prime number?
True
Suppose 5*d + 10 = 20. Suppose h = -3*h + 8, -d*h = -w + 1918. Let j = w - 1173. Is j prime?
False
Is 25642/3*(226 - 223) prime?
False
Let j be 491 + 2/(-1) - -2. Let v = 826 - j. Is v prime?
False
Let x = -8 + 13. Suppose -x*n = -0*n - 1855. Is n a composite number?
True
Let a be (-3 + 5)/2*5. Suppose a*t - 239 - 26 = 0. Is t a prime number?
True
Is (-126)/(-819) + (-624750)/(-26) a prime number?
True
Let j(y) = -y**3 + 9*y**2 + y - 6. Let u be j(9). Let f be 1/u - (-10661)/21. Suppose 0 = 5*a - a - f. Is a composite?
False
Suppose 1 = 4*o - 11. Suppose -o*z + 169 = 2*t, 3*z + z = 20. Is t a composite number?
True
Suppose 5*t - 5*f = 13737 + 50533, -2*f = 0. Is t prime?
False
Suppose -d + 4*o + 5607 = 0, 19 - 7 = 3*o. Is d a composite number?
False
Let b(t) = 4*t**3 - 8*t**2 + t + 24. Let l(c) = -c**3 - 8*c**2 - 2*c - 5. Let i be l(-8). Is b(i) composite?
False
Let m(g) = -125*g**3 - 3*g - 13. Is m(-3) a prime number?
True
Let d(m) = -2*m - 4. Let w be d(-8). Suppose -3*f = f - w. Suppose -411 + 48 = -f*h. Is h a composite number?
True
Suppose 3*l = 5*l + 22. Let q = l + 14. Suppose -q*g - 58 = -1081. Is g prime?
False
Let u(f) = -2459*f**3 - f**2 - 5*f - 4. Is u(-1) prime?
True
Let s(h) = 69*h + 5. Let r be (6/3 - 0)*3. Is s(r) a composite number?
False
Suppose -v + 4*s = 3, -v + 2*v - s = 0. Is v/(-6) - 3185/(-30) composite?
True
Suppose -25*u = -30*u + 20485. Is u composite?
Tru