 = 2*i - 3*h - 3017, -4*i = h - 3021. Is i a composite number?
True
Let s = -1567 + 952. Let a = s - -1172. Is a a prime number?
True
Suppose 78*s = 60*s. Suppose -31*z + 20573 = 4*x - 28*z, -3*x + 4*z + 15461 = s. Is x a composite number?
False
Let d be ((-13)/(-26))/((-1)/(-2)). Let f be (6/9 - d) + 10/3. Suppose -5*x - 212 - 78 = -w, f*w + x - 790 = 0. Is w a prime number?
False
Is -18 - 12*(-1921930)/40 composite?
True
Let m(l) = -l**2 - 10*l + 12. Let k be m(-8). Let o = k + -5. Suppose -19*b + o*b = 388. Is b composite?
False
Let u = 1699 + -240. Let s = u - 580. Suppose 0 = m + 2*m - s. Is m a composite number?
False
Let x(g) = 3*g**2 - 50. Let c be x(-12). Let i = c + 11985. Is i a prime number?
False
Suppose 2*r + l - 49 = 0, -r + 0*r + 3*l + 21 = 0. Let v(c) = 377*c + 53. Is v(r) a prime number?
False
Suppose k + 1421563 = -4*p, -2*k = 4*p + 1200582 + 220984. Is (p/(-50))/(2/10) composite?
True
Let p(n) = n**3 + 8*n**2 - 3*n - 20. Let o be p(4). Is ((-8)/(o/14610))/((-2)/4) composite?
True
Let g be (-2)/(-4)*1 - 21675/(-170). Is 674752/g - 3/(-2) composite?
False
Suppose 0 = -42*y - 3755 + 899. Is (-177718)/y*2*7 composite?
True
Let g be ((0 - 5) + 5)/(-1). Suppose g = -3*d + 4*d - 1361. Is d a composite number?
False
Suppose -180 = -4*w - 168. Suppose 28*o - 88198 = 24*o + w*t, 0 = -5*o + 5*t + 110245. Is o a prime number?
True
Let m(v) = v**3 - 23*v**2 - 13*v - 56. Let b be m(24). Let k(z) = -12*z + 3. Let h be k(-8). Let r = b + h. Is r prime?
True
Suppose -2*x - w + 94904 - 19004 = 0, 37949 = x + w. Is x a prime number?
True
Suppose -155*f = -161*f - 28890. Let v = 6860 + f. Is v a composite number?
True
Let t(b) = -11*b + 253. Let n be t(15). Is (1 + (979 - -2))/(176/n) composite?
False
Suppose -3*c = -842 - 7894. Suppose -k - 2*d = -0*k - c, 0 = d - 5. Is k a prime number?
False
Let f(d) = d**2 - 12*d + 5. Let w be f(12). Suppose -2*g + w*h - 43 = 8*h, 0 = g - 4*h - 6. Let l(v) = -2*v**3 - 15*v**2 - 4*v + 1. Is l(g) a prime number?
False
Let o = -51 + 59. Suppose 30237 = -5*l + o*l. Suppose 2*a + 0*a + 10089 = 5*h, 0 = 5*h + 3*a - l. Is h a composite number?
False
Suppose 0 = 66*q - 103*q + 4642871. Is q prime?
False
Is ((-34)/102)/((-3)/394677) a composite number?
False
Suppose -36 = 22*o - 16*o. Is o/(-81) - 2683295/(-621) composite?
True
Let z(p) = -p**3 - 2*p**2 + 5*p. Let u be z(-5). Let o = 51 - u. Is (o/2)/(0 + 2/212) a composite number?
False
Let z(h) = h**3 - 5*h**2 - h + 3. Let l be z(5). Let w be l + 4 - (2 + -1 - -4). Is (1/w - 26/39) + 315 a prime number?
False
Suppose -30859 - 472997 = -24*j + 910632. Is j a composite number?
False
Let c = 208136 - 132657. Is c a composite number?
False
Suppose -v + 5*s = -21, -4*v + 2*v - 5*s - 3 = 0. Is (-1796)/v*87/(-58) prime?
True
Let i(l) = -598*l - 19 - 578*l + 1348*l. Is i(21) composite?
False
Let z = -66734 + 106393. Is z composite?
False
Let i(c) = -180*c + 17. Let o = -364 - -345. Is i(o) a prime number?
False
Let l = -40 + 43. Suppose -12 = 5*q + l, -3*q - 5550 = -3*m. Is m a composite number?
False
Let g(q) = 6*q**2 - 5*q - 10. Let k(u) = -5*u**2 + 5*u + 11. Suppose -4*m - 6 = 2*x, -3*x + 3 = 3*m - 0. Let c(h) = m*g(h) - 5*k(h). Is c(-7) a prime number?
False
Is ((-99959)/(-19))/(1/5) a composite number?
True
Let j(z) = -8*z**3 - 7*z**2 + 17*z + 88. Let a be j(-7). Is a - 1 - (-136)/68 a prime number?
True
Let r = 57 - 52. Suppose -r*k = 4*o - 0*o - 56, o = k + 23. Suppose 0 = -16*z + o*z - 11361. Is z prime?
False
Suppose -5*y - 19*i = -14*i - 3321950, 3*y - i = 1993198. Is y a composite number?
True
Suppose 0 = 2*t + 38 - 124. Let u = t + -41. Suppose -2*b + 526 = 2*o, -3*b = -7*b - u*o + 1056. Is b a prime number?
False
Let v be (-4)/(-30)*-3 - 36/(-15). Suppose -2*x = -f + v*x + 12, 2*x = -f. Is -9*f/(-12) + 1940 prime?
False
Let i(g) = -1225*g + 3. Let h be i(-1). Suppose -9*u + 13*u - h = 0. Is u composite?
False
Suppose -9*m + 473905 - 109828 = 0. Suppose 0 = -2*p + 5*y + 40423, -5*y + m = 24*p - 22*p. Is p a composite number?
False
Suppose 2*f - 30 = -4*p, 26 = 4*p + 10*f - 12*f. Let z(j) = -7*j + 2*j**2 - 9 - 1 + 0. Is z(p) composite?
True
Let p(o) = -85*o**2 - o + 11. Let b(c) = -85*c**2 + 11. Let y(i) = 2*b(i) - 3*p(i). Suppose -11 - 17 = 3*a - 10. Is y(a) prime?
False
Suppose -18 = 21*u - 23*u + 3*k, -5*u - 2*k = -45. Suppose -h = u*h - 22030. Is h prime?
True
Let u(f) = 28493*f**2 + 162*f - 319. Is u(2) a composite number?
True
Let h(t) = t**3 + 21*t**2 + 10*t + 3. Suppose -2*f + 5 = -4*c + f, -5 = 3*c - 2*f. Let r(q) = -2*q**2 - 8*q - 6. Let v be r(c). Is h(v) prime?
True
Suppose -5*w + 95317 = -v, -8*w - v = -4*w - 76259. Is (-4 - (-25)/10)/((-6)/w) composite?
True
Let f(x) = x**3 + 3*x**2 - 27*x + 9. Let l be f(-7). Suppose 3*o - 3489 = -6*g + l*g, 4*o - 4652 = 3*g. Is o prime?
True
Let x(g) = -976*g + 130. Let y be x(-13). Let n = y - 8067. Is n a prime number?
True
Suppose 2*z - 30 = -3*z. Let g be ((-12)/z)/((-2)/4). Is (-46928)/(-48) + -1*g/6 prime?
True
Let d(g) be the first derivative of 16 + 607*g**2 - 8 - 4 - g + 13. Is d(1) a composite number?
False
Let u(m) = m**2 - 5*m + 8. Let z be u(3). Suppose z*q = -x + 4841, x = 7*q - 2*q + 4876. Suppose -682 = 11*o - x. Is o a prime number?
True
Suppose -20*n + 111053 = 23193. Is n prime?
False
Suppose -6*l + 99*l - 5878623 = 0. Is l a composite number?
False
Suppose -7*j - 1125429 + 4211218 = 10*j. Is j composite?
True
Suppose 3*g = -v + 7007, 0 = -v + 2*v + 4*g - 7004. Suppose -4*n = 2*l - 184, 2*n - l = 4*l + 116. Is (v/(-32))/(3/(n/(-2))) a prime number?
False
Suppose -129*x + 131*x = -168. Let n = x + 703. Is n a composite number?
False
Let m = 7 + -5. Let a be ((2 + 3)*(-10)/(-25))/m. Is (2/4 + -1)*a*-1786 composite?
True
Let s = 24375 + -10558. Is s prime?
False
Let i = 4 + -1. Let m(o) = -10*o**3 - 49*o**2 - 9*o - 6. Let y(n) = -2*n**3 - 10*n**2 - 2*n - 1. Let a(g) = -6*m(g) + 29*y(g). Is a(i) composite?
True
Let x be -254*2/60*18*-60. Let p = x + -6247. Is p prime?
True
Let l(u) = 14*u + 7*u**2 + 16*u + 24*u - 48*u - 5. Let h(m) = 21*m**2 + 19*m - 16. Let w(d) = 6*h(d) - 17*l(d). Is w(8) composite?
True
Is ((-19)/(-114))/((-9)/(-408942)) a prime number?
True
Let t(o) = 2236*o**3 + 2*o**2 + 3*o - 4. Suppose -1 = -10*v + 9. Is t(v) composite?
False
Is (-18509)/(0 + 3 + (-3 - 1)) a prime number?
False
Is ((-3782079)/(-81) - -7)*(3/2 + 0) composite?
True
Let d(h) = -3*h - 48. Let j(f) = 19*f**3 + 4*f**2 + 2*f. Let p be j(-1). Let k be d(p). Is ((-174)/18)/(2/(-12)) - k a prime number?
False
Suppose -2*w + 4*q + 20 = 0, -w + 48 = 3*w - 4*q. Let i be 90/1*(105/w + -5). Let a = i + 98. Is a composite?
True
Suppose i + 3*h - 92603 = -21027, 3*i = 5*h + 214686. Is i prime?
False
Let s(h) = h**2 - 5*h - 8. Let a be s(-4). Suppose 6*v + 80 + a = 0. Is (-3 - v/4)*(-524)/(-6) a composite number?
False
Suppose -7 = 2*y + 5*a, y + 2*y - 3 = -3*a. Suppose -5*v + 9*v = -y*v. Suppose v*n + 2*u = -5*n + 5613, -5*n - 5*u = -5610. Is n composite?
False
Let l(m) be the third derivative of 3*m**5/5 + m**4/3 + 5*m**3/6 - 22*m**2 - 1. Is l(-5) composite?
True
Let h be (192/80)/((-2)/5). Let d be (-11240)/16*h/5. Suppose 4*w - m - 3517 = -162, w - d = -4*m. Is w prime?
True
Let k = 43343 - -2034. Is k composite?
False
Suppose -27*p - 2980956 = -159*p. Is p composite?
True
Suppose 0 = 8*u + 55 + 41. Let r(q) = -63*q - 47. Is r(u) a prime number?
True
Let f(y) be the third derivative of y**5/60 + y**4/8 + 1439*y**3/6 + 63*y**2. Is f(0) a prime number?
True
Let i(y) = -3224*y - 96. Let j be i(-11). Is -1*j/((-56)/7) composite?
False
Let c = -37094 + 69067. Is c a prime number?
True
Let z = 6946 - 353. Is z a prime number?
False
Suppose -14805 = -12*s + 24555. Let b = 2835 - 4572. Let c = s + b. Is c prime?
True
Let u = -483148 - -679587. Is u composite?
False
Let h(n) = n**3 + n**2 + 4*n - 1776. Let t be h(0). Let s = 4019 + t. Is s a composite number?
False
Suppose -2*x = -3*x + 8. Suppose 0 = x*a - a - 14. Is (-2 + a - 1)*(-3 - 500) composite?
False
Suppose -o = -3*s - 400499 + 2088655, -2*o + 14 = 0. Is s a composite number?
False
Let r(s) = 298*s**2 - 18*s + 375. Is r(-28) a prime number?
True
Let r(u) = 6*u**3 - 4*u**2 - 21*u + 2. Let o be r(-11). Let s = o - -16522. Is s composite?
True
Suppose 8736 = 3*j + 219