r**2 - 1171*r - 23. Is x(102) composite?
True
Let p(h) = 24*h**2 - 8*h - 11. Let u be p(-4). Let a = u + -228. Suppose -a*n - 11073 = -180*n. Is n a composite number?
False
Suppose -5271 = 15*c - 1311. Is (-1241812)/c + (-10)/12 prime?
True
Suppose -19 = -3*l - 10. Suppose 0 = -3*i + 5*b + 6, l*i + 29 = 5*i + 5*b. Let k(n) = 35*n + 20. Is k(i) composite?
True
Let f(j) be the third derivative of 10*j**2 + 0*j + 0 - 11/24*j**4 + 1/30*j**5 + 5/2*j**3. Is f(6) a prime number?
False
Let z(x) be the second derivative of x**4/12 + x**3/2 + 47*x**2/2 + 24*x. Let u be z(0). Suppose -40*n + u*n - 23723 = 0. Is n a composite number?
False
Let r(b) = 402*b + 233. Let a(o) = -401*o - 230. Let l(t) = -2*a(t) - 3*r(t). Is l(-35) a prime number?
True
Suppose 3*y = 4*i + 5247, 3*i - 5*y + 2641 = i. Let c = i - -2839. Is c prime?
True
Suppose 3*i = 4*x - 124 + 1148, 5*i - 2*x = 1702. Let g = i - -733. Is g composite?
True
Let m(x) = 4*x**3 - 2*x**2 + 1. Let q be m(1). Suppose -q*g = 5*g. Suppose -2*l = -2*y + 934, 2*y - 942 = -g*y - 2*l. Is y composite?
True
Suppose 0 = 5*x - 12*x + 490. Let p = x + -70. Suppose 3*k = n - 602 + 169, 3*n - k - 1315 = p. Is n a composite number?
False
Suppose -8*x = 4*b + 2734163 - 11893711, -b - 5*x = -2289866. Is b prime?
True
Let m = -174 + 32486. Suppose -4*r + 4*p + 43080 = 0, -2*p = -3*r - p + m. Is r a prime number?
True
Suppose -290*q = -271*q - 818653. Is q a composite number?
True
Suppose -109*d = 229*d - 268792697 - 128478645. Is d composite?
True
Let q(w) = -76*w. Let b be q(-1). Let l(c) = -b*c - 78 + 71 + 8*c. Is l(-4) composite?
True
Suppose -125*d = -70070 - 263930. Let f(a) = a + 849. Let n be f(0). Let z = d - n. Is z prime?
True
Suppose -5*h + 343855 = -212*x + 211*x, -h + 68771 = -2*x. Is h composite?
False
Let j(z) = -199*z**3 - 2*z**2 - 19*z - 43. Is j(-6) a composite number?
True
Suppose 2*x = 5*m - 0*m - 23, m + 4*x = 9. Is 2126 + m/5 - 5 prime?
False
Let b(x) = 3641*x + 555. Is b(56) composite?
True
Let y be (3 - 100/12)*45/(-20). Let i(b) = 187*b - 31. Is i(y) prime?
True
Let o = -5260 + 9291. Let y = -2698 + o. Is y a composite number?
True
Suppose 4*n = -u + 83431, 26*n - 21*n - 333702 = -4*u. Suppose -11*h + u + 65220 = 0. Is h a prime number?
True
Suppose 0 = 2*p - 5*w - 55066, -93*w = -95*w. Is p prime?
False
Let f(j) = j**2 + 8*j - 18. Let r be f(-10). Suppose -a = a - 3*p - 3200, -r*p = 4. Is a prime?
True
Let u be (-78)/4*(14 + (-870)/9). Suppose 0 = -c - 5*m + 799, 0*m - 3*m = 2*c - u. Is c a composite number?
False
Let f(m) = 2*m**2 + 6*m + 6. Let g be f(-3). Suppose 4*n - g*n = 1106. Let p = 984 + n. Is p composite?
False
Let v(f) be the second derivative of 11*f**5/20 + f**4/8 + f**3/6 - 31*f**2/2 - 16*f. Let x(l) be the first derivative of v(l). Is x(4) prime?
True
Let o(v) = v. Let a(u) = -18*u**2 + 6*u + 9. Let k(j) = -2*a(j) + 10*o(j). Is k(-8) prime?
False
Is (-2 - 17/(153/(-27))) + 146160 prime?
True
Suppose 0 = 2*i - 5*t + 8, 7*t = 3*t. Let r(b) = -b**2 - 3*b + 9. Let c be r(i). Suppose -1279 = -c*z + 976. Is z prime?
False
Let h(a) = -2*a - 20. Let r be h(-11). Let p be (-118952)/(-16) + (1 - 1/r). Suppose 0 = 5*x + 3*y - 3025 - p, 4*y - 6265 = -3*x. Is x a composite number?
True
Let r(y) = 3*y**3 - 3*y - 4*y**3 - 8 - 10*y**2 + 14*y - y. Let h be r(-11). Suppose 0 = h*t + 5*i - 1529, -i + 4 = -0. Is t a composite number?
False
Let x be 7 - (8/(-36))/((-3)/27). Suppose -10510 = -x*v + 30195. Is v prime?
False
Suppose -2*t + 753678 = 2*h, -2*h - 136*t + 135*t + 753682 = 0. Is h a composite number?
True
Let n(c) = c + 19. Let g be n(23). Suppose -m - g = -338. Suppose -11*s + 7*s + m = 0. Is s prime?
False
Is 140754/((-55)/(-5) - 5) a prime number?
True
Suppose 3*r = 9, 0 = -y - 9*r - 4083 + 236047. Is y a prime number?
False
Is ((-897919 - -6) + 2)/(-1) a composite number?
True
Let i(q) = 2552*q**3 - 2*q**2 - 29*q + 58. Is i(5) a composite number?
False
Let c(i) be the second derivative of i**5/20 + 7*i**4/12 + 2*i**3/3 - i**2 + 28*i. Let d be c(-6). Suppose -1188 = -d*a + 722. Is a composite?
False
Let x(a) = 3 + a + 5*a - 8*a + 17. Let h be x(9). Is ((-8)/(-1) - h)*8 - 2 a composite number?
True
Suppose -3*s + 24*h = 25*h - 7, 0 = 3*s + 2*h - 8. Suppose -m + 4 = 0, -s*o - 16929 = -7*o + 4*m. Is o a prime number?
True
Suppose 3*a - 4*c = 8, -2*a - 3*c - 6 = -0*a. Suppose a = -8*z - 5*z + 121199. Is z a composite number?
False
Let l = -37686 + 130056. Is 3/(-7 - (-646608)/l) prime?
False
Suppose 8*j + 3 = 9*j. Suppose 3*p + m = 2*m + 5684, 0 = -3*p + j*m + 5694. Is p prime?
False
Let t(f) = 293188*f**2 + 5*f + 8. Is t(-1) a prime number?
False
Suppose 2*z = 3770 + 1168. Suppose -3*o + z = -2*o + 3*n, -3*n - 4965 = -2*o. Suppose i - o = 5*a, 3*i - 5*a = 7533 - 59. Is i a composite number?
True
Suppose 5*q = -2*x - 612 - 358, -q - x = 191. Let v = 2277 + q. Is v prime?
True
Suppose -31*f + 35*f = 46944. Is 1/(2028/f - 2/12) a prime number?
True
Suppose -111*s + 110*s = 384. Let p be 4/(-18) + (-12874)/(-18). Let j = p + s. Is j prime?
True
Suppose 2*b = -2*b - w + 1, -5*w + 5 = 0. Suppose b = g - 4*a - 7077, 3*g - 4375 - 16864 = 4*a. Is g a prime number?
False
Let d = -75278 + 136047. Is d composite?
True
Suppose -132*u + 62722579 + 3196616 = -13262457. Is u composite?
True
Let p(s) = -s**2 + 2*s + 2. Let x be p(2). Let f be (-20)/x + (0 - 1). Let a(h) = h**3 + 14*h**2 - 3*h - 15. Is a(f) a composite number?
True
Let n(i) = -7229*i - 4673. Is n(-30) a prime number?
False
Let k = 267911 - 157834. Is k a composite number?
True
Suppose -130 = -26*t + 39*t. Let z(o) be the first derivative of 4*o**3 - 7*o**2 + 5*o + 2. Is z(t) a prime number?
False
Suppose 0 = 3*t - 523 - 1280. Let n = t - -3820. Is n composite?
False
Let u = -115 + 115. Suppose u = 17*r + 2075 - 20554. Is r prime?
True
Let h(g) = -2443*g + 122. Is h(-3) composite?
False
Let c(y) be the second derivative of y**4/12 - 13*y**3/6 + 13*y**2 + 25*y. Let d be c(11). Suppose 2*l + d*f - 11637 = -3*l, 2*l - 4662 = 2*f. Is l prime?
False
Let j = 281 - 256. Suppose -j*k = -4*q - 20*k + 22117, 22135 = 4*q + k. Is q a composite number?
True
Let t(s) be the second derivative of -4*s**4/3 - 5*s**3/6 + 4*s**2 + 2*s. Let p be t(-9). Let u = p - -1778. Is u composite?
True
Let o(v) = v**3 - 11*v**2 - 27*v - 19. Let i be o(13). Is (2 + 2*-2)*80624/i prime?
True
Let b(l) = 2*l**2 + 116*l + 77. Is b(-76) a composite number?
True
Let z(x) = -11*x**2 - 28*x - 45. Let r(l) = 5*l**2 + 14*l + 22. Let o(s) = -7*r(s) - 3*z(s). Let i be o(-8). Let k = i + 126. Is k composite?
True
Suppose t = -u + 125128, 125125 = -60*t + 61*t + 2*u. Is t prime?
True
Is 18079 + 3 + -12*(-91)/156 composite?
False
Suppose 89*x - 79*x + 495210 = 0. Let r = x - -77539. Is r a prime number?
False
Let b(f) = 6761*f**2 - 15*f + 23. Is b(-7) a composite number?
True
Suppose -5053*c = -5073*c - 120. Suppose 20210 = -4*y + 2*k, 3*y + 9280 = 4*k - 5890. Is (-3)/18*y + 4/c composite?
True
Suppose -7664966 = 36*p + 215*p - 28260771. Is p composite?
True
Let r(n) = 2*n**2 - 7*n + 57. Let i(h) = -26*h**3 - h**2 + 2*h - 1. Let j be i(1). Let g be r(j). Let b = g + -470. Is b composite?
True
Let f be (-47034)/(-338) - 4/26. Suppose 5*h - l - 221 = 0, -5*h + 2*h - l + f = 0. Is 1905/h*(4 - (3 + -2)) a prime number?
True
Suppose 7*w - 48 = -13. Suppose -4*t - x + 4067 = -3110, t + w*x - 1818 = 0. Is t prime?
False
Let h be 14/(-21)*-3 + 33 + 0. Suppose 0 = h*g - 241397 - 204608. Is g a prime number?
True
Suppose -4*g - 57*v + 53*v = 12, -4*g + 3*v = -16. Let z(j) = 22222*j + 4. Is z(g) a composite number?
True
Suppose 68750 = 3*d - 6*d - 5*o, 4*o + 68755 = -3*d. Let h = d - -33898. Is h prime?
True
Let v = 52370 - -122151. Is v a composite number?
True
Is -35*(-4)/20 - (-4107 + 3) a prime number?
True
Let u(a) = a**3 + 7*a**2 - 8*a + 3. Let v be u(-8). Suppose v*h - 3*l = 9, -h - 2*l + 5*l - 1 = 0. Suppose -h*q + 151 = -144. Is q composite?
False
Is ((-16)/2)/8 + 226754 prime?
True
Let n(q) = 3*q**3 + 26*q**2 + 3*q - 23. Let k be n(-8). Let y(u) = 46*u**2 - 2*u - 2. Let i be y(3). Let x = i + k. Is x a composite number?
False
Suppose -59051 - 6601 = 12*f. Let m = -465 - f. Is m a composite number?
True
Let n be ((-90)/(-3))/(-2 - (-2712)/1354). Suppose -23*w = -18*w - n. Is w a prime