 s = -207050 - -395299. Is s a composite number?
False
Suppose -60543 = 19*a - 353656. Is a a prime number?
True
Let m = -4 - -6. Let i(y) = -3*y - 1. Let w be i(-2). Suppose 0 = -u - u + w*z + 33, -3*u - m*z = -59. Is u composite?
False
Let o(a) = 20087*a - 53. Is o(2) a prime number?
False
Let a = -350 + 3277. Is a a prime number?
True
Is 1/(-7) - (-146136)/28 composite?
True
Suppose -14 + 140 = -6*k. Let r be (-72)/k + (-4)/(-7). Is (-11673)/(-45) + r/(-10) a prime number?
False
Let d be (-14)/5 + 36/45. Let f be 0/(2 + d - -1). Suppose p + f = -5, -p - 49 = -2*a. Is a prime?
False
Suppose 0 = 4*j - 2*j + 2. Is 187/22*(21 - j) prime?
False
Let n(h) = -66*h - 815. Is n(-76) composite?
False
Let y(f) = 626*f**2 - 35*f + 4. Is y(3) prime?
False
Let z = -68 + 71. Suppose 3*v + y = -3*y + 7853, z*v + y - 7838 = 0. Is v composite?
True
Let v be (-62)/(-8) - 3/4. Let j(g) = g**3 - 3*g**2 - g - 2. Let u be j(v). Suppose -f + u + 120 = 0. Is f prime?
True
Suppose 87 = 43*b - 42. Suppose 0*z - 2094 = -z. Suppose -z = -2*p - b*h - 2*h, 5289 = 5*p - h. Is p composite?
True
Suppose s - 18 = 4*k, -3*k = 2*s + 7 + 1. Is (k - -1)/1 + 910 a prime number?
True
Suppose -2142 = -2*p + 1214. Is p composite?
True
Let t(l) be the first derivative of 33*l**2/2 - 13*l + 6. Is t(10) composite?
False
Let l = -5955 - -8526. Suppose 0*o = -o + 3*k + 865, -3*o + 3*k + l = 0. Is o composite?
False
Suppose -4270 = -2*b - 5*w + 9858, 0 = -4*b + w + 28278. Is b a composite number?
False
Let z(n) = n**3 - n. Let i be z(1). Suppose 3*m + 2*m - 15 = i. Suppose -m*f - 188 = p - 822, 3*p + 1052 = 5*f. Is f a composite number?
False
Let z(h) = 4942*h - 191. Is z(7) a composite number?
False
Let s be ((-32)/6)/((-18)/135). Suppose -n - 3*n - 4*b = -s, b = 3. Is 1/n + (-888)/(-7) a prime number?
True
Let t(d) = 828*d - 47. Let z be t(5). Let x = -2246 + z. Is x a prime number?
True
Let h = -6 + 5. Let y be 1 + (1 + -3 - h). Suppose 604 = 3*n + j, y = n + j - 2*j - 200. Is n a prime number?
False
Suppose 0 = -5*h - 0*h - 4*q + 10065, -2*h - 4*q = -4014. Is h a composite number?
False
Let v(l) = 2*l**3 - l**2 - 5*l + 2. Let t be v(3). Is t/12*18/8 prime?
False
Suppose 0*u - 4 = -u. Let s = u + 375. Is s a prime number?
True
Let p = -3948 - -6359. Is p composite?
False
Let a be (130/15 + -4)*18/(-7). Is (159/(-2) - 2)/(6/a) composite?
False
Suppose -t - 7 = 2*r - 3, -20 = 5*t + 4*r. Let o be -1*5*(3 + t). Suppose 2*w - 69 = o. Is w a prime number?
True
Suppose -3*z + 63084 = 3*g, 3*g + 2*z - 7*z = 63108. Is g prime?
True
Let m(c) = -3*c. Let a be m(-2). Is 2151/a + 2/(-4) a composite number?
True
Is (139046/4 - 5) + 4/8 composite?
False
Let r be ((-59)/(-4))/(2/248). Suppose s - 3*x = 788, -4*x - r = -2*s - 243. Let j = -570 + s. Is j composite?
False
Let o(i) = -i - 1. Let q be o(-4). Suppose -5*s + 1364 + 76 = 0. Suppose 4*y = -j + 229, q*y + 2*y - s = -3*j. Is y prime?
False
Let h(u) be the first derivative of -8*u**3 + 7*u**2/2 - 6*u - 3. Let q(v) be the first derivative of h(v). Is q(-10) composite?
False
Let l = 35 - 31. Is l/(-16) + 1738/8 a prime number?
False
Let l(g) = g**3 + 7*g**2 - 2*g - 3. Let k be l(-7). Suppose -k*y + 14*y = 2961. Suppose -5*o = -178 - y. Is o a prime number?
True
Let x = 1298 + -855. Is x a prime number?
True
Suppose 5*w = 4*i - 26877, 2*i - 21*w = -19*w + 13438. Is i composite?
True
Let a = -14991 - -65820. Is a prime?
False
Let l = 379 - 213. Let d = l - 31. Suppose -d - 22 = -k. Is k a composite number?
False
Let u = -8245 - -14198. Is u a composite number?
False
Let g = -8 - -13. Suppose -i + 1 = -b + 2, -5*i = g*b + 5. Suppose 0 = -6*z - b*z + 1854. Is z composite?
True
Suppose v - 30 = -3*v + c, -3*c - 34 = -4*v. Suppose -2*h = -m - 521, v*m - 3*m + 789 = 3*h. Is h composite?
True
Let t(x) = -4759*x**3 - 3*x**2 - 13*x - 3. Is t(-2) prime?
True
Is (-3 + 236)*4 + 9 + -4 a composite number?
False
Is 4 + (-728)/(-10) - (-4)/20 prime?
False
Let t(u) = 45*u**2 + 9*u - 29. Is t(18) composite?
False
Is (-154)/(-88)*5788*1 a composite number?
True
Let f(k) = -2*k**2 + 5*k + 4. Let t be f(4). Let v = -11 - t. Is v + 2 - (5 - 20) a prime number?
False
Let m = -89 + 134. Let o = m - -212. Is o a prime number?
True
Let f(t) = 2*t**3 + 9*t**2 - 17*t - 4. Let v(s) = 5*s**3 + 17*s**2 - 35*s - 7. Let g(o) = 7*f(o) - 3*v(o). Is g(10) composite?
False
Suppose 24687 = 7*g - 21660. Is g a composite number?
True
Let w be -1 - (2/1 - 5). Let l(d) = -d**2 + 40*d - 107. Let n be l(37). Suppose n*p - m = 37, 0*p - w = p - 4*m. Is p prime?
False
Let s be 0/(1 + 1 + -4). Let f = -71 + 213. Suppose -2*n - 5*b = -n - f, -3*n + 3*b + 372 = s. Is n composite?
False
Let s = -41874 - -88751. Is s composite?
False
Let t = -19 + 30. Suppose -6*r = -t*r - 20. Is (-1313)/(-5) - r/10 prime?
True
Let y be 4/6*126/12. Suppose 8 = 3*o - y. Suppose 5*r - 1021 = -2*b, o*r + 4*b - 1024 = b. Is r composite?
True
Let c be (-63552)/(-88) - 4/22. Suppose -v + 2*v = 5*k - 913, -4*k - 2*v = -c. Suppose -4*l + k + 22 = 0. Is l prime?
False
Let s(v) = 32*v + 3. Is s(4) a composite number?
False
Let t(k) = -14636*k**3 + 5*k**2 - 5*k - 1. Let u(v) = v**2 - v. Let c(b) = t(b) - 5*u(b). Is c(-1) prime?
False
Suppose -11 - 13 = -4*z. Suppose 0 = z*b - 4*b - 296. Suppose -3*h + b = h. Is h composite?
False
Suppose -i + 3*f + 2*f + 774 = 0, -5*i + 5*f = -3950. Is i prime?
False
Let j(l) = l**3 + 14*l**2 + 26*l + 34. Let w be j(-13). Let o be (-447)/9 - (-2)/(-6). Let r = o - w. Is r a prime number?
False
Let t be 0 + 1 + (3 - 5 - -182). Let d be -30*-2*(9 + -3). Let x = d - t. Is x prime?
True
Let n(c) = c**2 + c**3 + 4*c**2 - 3*c - 6*c**2 + c**3. Let m be n(3). Let x = m - -431. Is x prime?
True
Suppose 3*q = -15, 10*q = 2*a + 5*q - 4941. Suppose 3*p - a = u, 3*p - 8*p + 4080 = -5*u. Is p composite?
False
Suppose 15436 = 3*y - r, 12647 = 2*y + 3*r + 2338. Is y a prime number?
True
Suppose 3*y + 5*z - 47500 = 0, -6*y + 3*z = -8*y + 31667. Is y a composite number?
True
Let j(v) = v**2 - 2*v + 185. Let c be 6/(-12) + 1/2. Suppose -4*l = -4*d + 12, 9 = -d - c*d - 3*l. Is j(d) composite?
True
Suppose 2*s - d - 2 = -2*d, 5*s + 5*d - 10 = 0. Suppose s = -2*l + 4*l - 74. Is l prime?
True
Let o be (7896/15)/(2/10). Let k be 2*8/12*3. Suppose -3*w - o = -4*t, -w - 2600 = -k*t - 6*w. Is t a prime number?
False
Let k be ((-4)/(-12))/(4/24). Suppose k*f = 4*f - 474. Is f a prime number?
False
Suppose -2*k = -3*s + 21, 3*k - 5*s = -s - 30. Is (58/6)/((-267)/45 - k) prime?
False
Suppose 0 = 9*n - 8*n - 2721. Suppose 12*t + n = 15*t. Is t composite?
False
Is (-2)/13 + (-1490)/26*-85 a prime number?
True
Suppose 2*n - 5*h + 315 = 0, -464 = 4*n + h + 155. Let r = -62 - n. Is r prime?
False
Let s(y) = -y**2 - 2*y + 3. Let j be s(-5). Let q be j/((-50)/56 - -1). Let o = q - -321. Is o prime?
False
Let k = 12558 + -3637. Is k prime?
False
Let w be 4/6 - 60/(-45). Suppose w*s - 143 - 179 = 0. Is s composite?
True
Let f(p) be the second derivative of -p**5/10 + p**4/12 + 2*p**3 - 5*p**2/2 - 14*p. Is f(-6) composite?
True
Suppose -13 = -7*x + 15. Is (32/20)/x + (-1533)/(-5) composite?
False
Let l(h) = 752*h + 10. Let u = 3 - -1. Let b be l(u). Let p = b - 1541. Is p a composite number?
True
Let k(x) = x + 8. Let n be k(6). Is (-4)/(-3)*(5 - (-1967)/n) a composite number?
True
Let j = -2 - 19. Let o(s) = s**2 - 17*s - 29. Is o(j) a prime number?
True
Suppose 0 = -2*a - 2*l + 7380, -a + 4157 = -5*l + 461. Is a composite?
False
Is (-327258)/(-30)*(-45)/(-27) a composite number?
False
Suppose -11*h + 77874 + 33589 = 0. Is h a prime number?
True
Suppose 0 = 5*t + 2147 - 27232. Is t prime?
False
Suppose -2*x - 130 = 1562. Let s = x - -1519. Is s a prime number?
True
Let q(j) = -2*j - 2. Let t be q(-2). Suppose 5*m = -t*i + 683 - 15, -3*m + 5*i = -407. Is m prime?
False
Let z(f) = 27*f**3 - 3*f**2 - 8*f + 9. Let x be z(4). Let w = x + -570. Is w a prime number?
True
Let h(b) = 21*b + 5. Let w be h(4). Suppose -w = -2*g + 1889. Is g a composite number?
True
Let i(m) be the second derivative of -211*m**6/720 + m**4/12 + 3*m. Let w(c) be the third derivative of i(c). Is w(-1) composite?
False
Suppose -3*h = -c - h + 2536, c - 3*h = 2539. Suppose 4*k = 6*k - c. Let r = -778 + k. Is r composite?
False
Let z(k) = 53*k**2 + k + 3. Let 