 209833. Is o prime?
True
Let u(s) = s**2 - s + 1. Let g be u(2). Suppose -20 = -g*w - 5. Let d = 6 + w. Is d a prime number?
True
Let k(f) = -f**3 + 6*f**2 - f + 10. Let g be k(6). Suppose 8*u - 1508 = g*u. Is u a prime number?
False
Suppose 0 = -3*y + 5*c + 21439, 2*y + 19*c = 21*c + 14298. Is y a prime number?
False
Let o(r) = r**3 + 15*r**2 - 12*r - 155. Is o(-15) prime?
False
Let z(h) = -h**3 + 39*h**2 - 32*h - 101. Is z(38) composite?
False
Let m = 1442 + 1017. Is m a prime number?
True
Let s(z) = -z**2 + 10*z - 1. Let u be s(8). Suppose -5*f = -9*i + 4*i - 25, -3*f = -u. Suppose -5*a = 2*y - 915, i = 2*a - y - 29 - 346. Is a prime?
False
Let f(q) = q**3 + 6*q**2 + 6*q - 1. Let i be f(-5). Let k be -3 + (-2 - (i - -3)). Is 2 - (1 + -158) - k a composite number?
True
Let f(w) = 226*w - 81. Is f(10) prime?
True
Suppose -v + j - 908 = -4*v, -596 = -2*v - 3*j. Suppose -3*k + 5 + 4 = 0, 0 = -i - 2*k - 131. Let t = v + i. Is t a composite number?
False
Let l(j) be the first derivative of 5*j + 20/3*j**3 + 0*j**2 - 1. Is l(3) a composite number?
True
Let w(k) = k - 2. Let i be w(6). Suppose -10*z + 2676 = -i*z. Is z a composite number?
True
Let y = 14972 + 5495. Is y a composite number?
True
Is 18 + -18 + 2787/3 composite?
False
Is 4410092/100 - 22/(-275) prime?
True
Let r(m) = -35*m + 2. Let b be r(-3). Suppose -2*c + 0*c + 8 = 0. Suppose -3*o - 276 = -i - 2*i, 0 = i - c*o - b. Is i a prime number?
False
Suppose 0*g + 12 = -3*g. Is -1*4/g*419 prime?
True
Suppose -21320 - 350 = -10*a. Is a prime?
False
Let w(g) = 2*g**2 - 3*g. Let o be w(2). Let u(t) = 4*t + 2*t**2 + t + o*t + 10. Is u(11) composite?
True
Let a = 143 - 144. Is (3 - 2) + a - 5223/(-3) composite?
False
Suppose z = -z - m - 9, -3*z - m = 14. Is (z - -9) + 391*5 composite?
True
Is 2/13 - (266161/(-91) + -2) prime?
True
Suppose 0 = 104*n - 89*n - 97035. Is n composite?
False
Let d(z) = -12396*z - 83. Is d(-1) a prime number?
False
Suppose 7*f + 5602 = 8*f. Is f a composite number?
True
Let y = 1673 - -2594. Let k = y + -1704. Is k composite?
True
Suppose 0 = n - 4, 3*g = 6*g + n - 4597. Is g composite?
False
Suppose 3*v - 35 = -2*v - 5*g, 4*v - 40 = -g. Suppose -16 = -3*a - 5*w, -3*a - 4*w + 6 + v = 0. Is 267 + (4 - a) + -1 a composite number?
False
Let u = 150681 + -98938. Is u a composite number?
True
Suppose 0 = 5*m + 25, -4*b + 8673 = -5*m - 1188. Is b a composite number?
False
Let v(o) = -o + 16. Let m be v(12). Suppose -14 + m = 5*d. Is d - (-2 - (52 - -1)) composite?
False
Suppose 3*k - p = 4088, -k - 15*p = -17*p - 1371. Is k composite?
False
Suppose 7*z + 5*p = 2*z + 11650, z - 4*p = 2345. Is z a composite number?
False
Let y(g) = -g**3 - 30*g**2 + 90*g + 90. Is y(-43) a prime number?
False
Let f(x) = 251*x - 6. Let p be f(-2). Let z = -291 - p. Is z composite?
True
Let k(c) = -5 + 4*c - 7*c + 2*c. Let b be k(-3). Let v(i) = 22*i**2 + i + 1. Is v(b) prime?
False
Let f(h) = 0 - 2*h - 2*h + 9*h + h**2 + 5. Let t be f(-4). Is (16 - t)/1 - 0 a composite number?
True
Let h(m) = 913*m**3 + m**2 - m. Let f be h(1). Let x(c) = c**3 - 15*c**2 + 2*c - 14. Let d be x(10). Let y = f + d. Is y prime?
True
Let b(i) = -153*i + 1. Suppose -6 = n + 4*s, 11 = -3*n - 2*n - s. Is b(n) a prime number?
True
Let u be (9*8 - (0 - 4))/2. Suppose 2 = f, 4*f - u - 169 = -s. Is s composite?
False
Suppose -2*j + 2*y = -4*j + 8, 10 = 5*j - 5*y. Let q(m) = 0 - 6*m**2 + m**j - 3*m - 2*m + 1 + 0. Is q(7) prime?
False
Suppose -3*a = 4*u - 563, -4*u = 3*a + 2*a - 941. Let f = -76 + a. Is f a prime number?
True
Let r(q) = 121*q + 33. Let o be r(8). Let u = -550 + o. Is u a composite number?
True
Suppose -3*t = u - 0*u + 13, -2*u = 2*t + 10. Let w = t + 6. Suppose 0 = w*v - 1172 - 1162. Is v prime?
False
Suppose 5*c = 6*x - x + 10, 0 = 3*x - c + 16. Let m be (x - -13) + -3 + -1. Suppose 90 = 5*w + 3*p, -m*w + 3*w + 2*p = 11. Is w a composite number?
True
Let q = 299 + 2600. Is q a composite number?
True
Let u(n) = -26*n**3 - 2*n**2 + 16*n - 5. Let f be u(-7). Is f/6*(-6)/9*-1 a prime number?
True
Let o(c) = -3 + 16*c - c**3 + 4 + 3*c**2 + 7*c**2 - 4*c**2. Is o(-7) prime?
False
Suppose 5*q - 43 = 2*t - 4*t, q + 25 = 2*t. Let b(z) be the first derivative of -z**3/3 + 13*z**2/2 + 20*z - 679. Is b(t) prime?
False
Let f(b) = b**3 + 47*b**2 - 76*b + 203. Is f(-46) a composite number?
True
Let c(j) = 1725*j**2 + 2*j + 9. Is c(-4) a composite number?
True
Is ((-1)/(-3))/((-18)/(-1242378)) prime?
False
Let s(d) = 10*d**3 + 2*d - 2. Let u be s(2). Let q = 287 + -172. Let a = q - u. Is a a composite number?
True
Let o = -1390 + 3228. Suppose -10*m + 8*m = -o. Is m composite?
False
Let a = 8 - -18. Suppose -467 = a*c - 27*c. Let o = c - 322. Is o a composite number?
True
Suppose 5 = 3*u - 4. Suppose u*l + l = 216. Let m = 109 - l. Is m a prime number?
False
Let w(x) = -1278*x**3 - x**2 + 3*x + 3. Is w(-1) a composite number?
False
Suppose s - 73 = 93. Suppose -3*x + s = -326. Let n = -31 + x. Is n composite?
True
Is ((-49)/98)/(947319/(-473658) - -2) composite?
True
Is 12378*(-49)/588*-1*4 composite?
True
Let q(i) = -i**3 + 11*i**2 - 6*i + 9. Let t be q(8). Suppose -r - t = k, -r = 2*k + 3*r + 300. Let s = k - -535. Is s prime?
True
Let n(i) = -3743*i + 32. Is n(-21) a composite number?
True
Let c(b) = -b - 5. Let r be c(-3). Let t(q) = 537*q**2 - 5*q - 5. Is t(r) prime?
True
Let c = 814 + -67. Suppose -1108 - c = -5*b. Let x = b - 208. Is x composite?
False
Let k be 8 + -5 - (0 - -15). Let q = k - -16. Is ((-708)/30)/(q/(-10)) composite?
False
Suppose 11*u = 6*u + 5. Let f be 3 + -3 + u - -78. Is 2*(-4)/(-8)*f a composite number?
False
Let i = 2156 - 1042. Is i prime?
False
Suppose 52*d - 14*d = 18278. Is d prime?
False
Let m be 15*1/3*1. Suppose -m*o + 7*o = 52. Suppose 3*h = -4*g + 10 + 84, 0 = -h - 4*g + o. Is h a prime number?
False
Suppose -4*s + 2*i = 1926, s + 3*s + 2*i = -1938. Let f = s + 880. Is f prime?
True
Let z(b) = 5*b**2 - 3*b + 2. Let y be z(1). Suppose y*d = -836 + 7248. Is d composite?
True
Is 3117/(-6)*(8 - 10) composite?
False
Suppose 0 = 3*v + 2*v + n - 21533, 3*n = -2*v + 8621. Suppose 4*o = -4*s + 3804, -473 = -5*o + s + v. Is o a prime number?
False
Let f(j) = 102*j**2 - 41*j - 12. Is f(7) prime?
False
Let r be (-5)/(105/(-6)) + 48/28. Suppose r*g = -i - 0*i + 73, 5*i + 5*g = 375. Is i a composite number?
True
Let m(f) = 14*f**3 - 2*f**2 - f + 1. Let p be 9/2*8/(-6). Let v be (8/12)/((-2)/p). Is m(v) composite?
False
Let f = -18691 - -37500. Is f prime?
False
Suppose -2*p - 2*n + 1058 = 0, -2*p = 4*n - 392 - 664. Suppose 0 = -5*l + 7*l - p. Is l prime?
False
Suppose 4*s - 3*v - 52195 = 0, 4*s - 4*v + 559 - 52759 = 0. Is s prime?
False
Is (8/(-20))/((-351765)/(-351775) + -1) composite?
False
Let v = -589 + 856. Suppose 3*b + 267 = i, 2*b = -i - 0*b + v. Is i - (0 + -2 + 0) a composite number?
False
Let w(z) be the first derivative of -39*z**2/2 - z - 12. Is w(-2) a prime number?
False
Let u(h) = 68*h**2 - 7*h - 4. Let v(t) = 102*t**2 - 11*t - 6. Suppose 4*j = 5 + 27. Let p(o) = j*u(o) - 5*v(o). Is p(-3) composite?
False
Suppose 17*q - 4*q = 83759. Is q a prime number?
False
Let k(w) = w**2 - 9*w + 13. Suppose 23 = 5*g - 62. Is k(g) a prime number?
True
Suppose 3*n + 1120 = 2791. Is n a composite number?
False
Let s = 23 + -3. Is -17 + s + 751 + 1 a composite number?
True
Let r(x) = 1132*x**2 - 11*x - 10. Let t be r(-4). Suppose 5*y - 1559 - t = 0. Is y prime?
False
Suppose j = 4*k + 10, -5*k - 4*j - 27 + 4 = 0. Is (5/((-30)/892))/(2/k) a composite number?
False
Let z = -647 - -1463. Suppose 0 = -3*o + z + 747. Is o prime?
True
Let q = 17592 + -11563. Is q a prime number?
True
Let x(v) = v**2 + 6*v + 5. Suppose -3*i + 8 = -5*s, 0*i - 2*s + 4 = -3*i. Let y be x(i). Is 43/3 + (-2)/y prime?
False
Let b = -16398 - -29569. Is b composite?
False
Let n(b) be the third derivative of 7*b**5/15 - 5*b**4/12 - 43*b**3/6 - 34*b**2. Is n(10) a composite number?
False
Let g(n) = -9*n**2. Let m be g(1). Let d be ((-3)/m)/((-4)/84). Let z(v) = -2*v**3 - 9*v**2 - 3*v - 7. Is z(d) a composite number?
True
Let t(x) = 3*x - 3. Let g be t(3). Suppose -3134 = -3*l - 5*y, -2*l - 5*y = -g*l + 4167. Is l prime?
False
Suppose 0 = -4*j - j + 25. Suppose 2*a = 5*r + a - 2246, 0 = -j*r - 5*a + 2240. Is r a prime number?
Tr