 c = -613 - -890. Suppose c = -6*w + 2791. Is w a composite number?
False
Let g(t) = 2 + 87*t**2 + 228*t**2 - t + t. Is g(1) a prime number?
True
Let g(h) = h**3 + 6*h**2 + h - 1. Let q be g(-6). Is (q - -486)*(0 + 1) composite?
False
Let d = -1182 - -16429. Is d prime?
False
Let m be ((-69)/54 - 6/27)*-526. Suppose 2*n = 5*n - m. Is n prime?
True
Let j(m) = -m**3 + 2*m**2 + m + 2. Let c be j(2). Is (-121)/c*20/(-5) a composite number?
True
Let b(h) = -66*h**3 + 3*h**2 + 2*h - 4. Let d(u) = u**3 + 1. Let k(j) = b(j) + 2*d(j). Let o be k(-2). Suppose 5*r + o = 2343. Is r composite?
True
Let f = 21 - 25. Let k be (f - -1) + 4 + -2. Is -3 + 7 + (89 - k) a composite number?
True
Suppose 0 = w + 5*s + 13, s + 12 = 3*w - s. Suppose 705 = w*a + a. Is a a composite number?
True
Let z be (0/(-4))/(10/5). Is -1 - z - (-1122)/3 composite?
False
Suppose 9*t = -5 - 31. Is (-2)/t + (-2538)/(-4) a composite number?
True
Suppose d - 3*v = 64 + 222, -3*d + 793 = 4*v. Let x = d - -283. Is x composite?
True
Let v = 7 + -13. Let o = -18 - v. Is 0*(-4)/o - -751 a prime number?
True
Let k = -1510 + 3873. Is k composite?
True
Let c be ((-116)/(-2))/((-4)/10). Let i be (-204)/9*(-6 - -9). Let u = i - c. Is u composite?
True
Suppose 2*s + 29 = 5*s - 5*p, 5*s = 4*p + 31. Suppose -5*y + s*y = 124. Let a = 121 + y. Is a a prime number?
True
Let s(d) = d**3 + 2*d**2 + d + 2. Let l be s(-2). Let g(u) = 4*u**2 - 1 - u**3 + 2 + l*u**2. Is g(-6) prime?
False
Let c(l) = l**3 + 4*l**2 - 4*l + 4. Let r be c(-5). Let s be (-1156)/3 - r/3. Let u = s - -716. Is u prime?
True
Is ((-122735)/(-25) + 4/(-10))/1 prime?
True
Let s be (-6*1)/((-9)/666). Suppose -5*b + s = b. Is b prime?
False
Is (-11 - 244910/(-20)) + (-6)/4 composite?
True
Let u be 1*3*(-75)/(-9). Let v = -24 + u. Let h(f) = 35*f**3 - 2*f + 1. Is h(v) prime?
False
Let x(s) = 106*s**3 + 13*s**2 + 12*s - 82. Is x(7) composite?
False
Let f = 25 + -20. Suppose 2*b + w = 3127, 0 = 2*w - f - 5. Let q = -708 + b. Is q prime?
True
Suppose -2 = -v + 1. Let k be v + 71 - 3/(-1). Let b = k - 22. Is b prime?
False
Let c(s) = 0*s - s + 2*s - 7 - 3*s. Let x be c(-5). Is 2/(-6)*(-2259)/x prime?
True
Let a = -21 - -24. Is (-25300)/(-70) - a/7 a composite number?
True
Suppose -27220 = -6*y + 2*y. Suppose 5*v + 3*n - y = 0, -5*v - 1684 + 8489 = 4*n. Is v a prime number?
True
Let c(p) = -2214*p + 113. Is c(-5) composite?
True
Let q be (-12)/18*(-2 - 1). Suppose f = q*f. Suppose 135 = 2*p + n, p + f*n = n + 60. Is p a composite number?
True
Let d be ((-104)/6)/(-2)*735/(-70). Let w = 714 + d. Is w composite?
True
Let p = -1161 - -12310. Is p a composite number?
False
Let x = 1586 - 1131. Suppose -3*v - 88 = 2*g - x, 5 = g. Is v a composite number?
True
Suppose -8*c = -19*c + 11429. Is c a prime number?
True
Suppose 12*a - 9 = -w + 10*a, 3*a = 3*w. Let h(t) be the second derivative of 64*t**3/3 + 7*t**2/2 + t. Is h(w) composite?
True
Let f(q) = -1736*q - 3. Is f(-1) composite?
False
Let p be (14 - 5) + -3 + 2. Suppose 0 = 9*l - p - 37. Suppose -k + 1938 = 2*d, d - l*d + 3872 = 3*k. Is d prime?
True
Let y(x) = 106*x + 91. Is y(10) a prime number?
True
Is ((-4)/(-12) + 0)/((-11)/(-145893)) a prime number?
True
Is (27/(-63))/(1/(-7)) + 63484 prime?
True
Suppose 75771 = 11*p - 4342. Is p a prime number?
True
Suppose 0 = -4*p - 5*w - 1403, 4*p - 2*w + 1448 = 2*w. Let k = 1198 + p. Is k a composite number?
True
Let s(p) = -p**3 + 26*p**2 + 16*p - 28. Is s(23) a prime number?
False
Let o = 37 + -33. Suppose 0 = o*z + 3 - 479. Is z a composite number?
True
Suppose -19*z + 74845 = -14*z. Is z a composite number?
False
Let b be 20/(-2)*(-14)/35. Suppose -g + 3571 + 472 = 3*x, -b*g = 2*x - 2712. Is x composite?
True
Suppose 0 = -4*n + 8*n - 444. Suppose -5*b - 2*k = -1245, -4*b + 3*k + n = -908. Is b prime?
True
Suppose -6*l - 15*l = -45213. Is l composite?
False
Is 4/((-56)/(-1662)) - (-6)/21 composite?
True
Let m(b) = -936*b**3 - 5*b**2 - 3*b + 3. Is m(-2) prime?
True
Let p = -17 + 19. Suppose p*n = -h + 200 - 47, 2*n + 499 = 3*h. Is h a composite number?
False
Suppose -193 = -3*k - 184. Is 7615*k*(-4)/(-30) a composite number?
True
Suppose 0 = 3*r - 4*j - 10787, -4*j = -4*r + 7*r - 10747. Is r a composite number?
True
Let p(m) be the second derivative of 19*m**6/360 + m**5/120 + m**4/24 + m**3/3 + 2*m. Let n(g) be the second derivative of p(g). Is n(-1) prime?
True
Let a(x) = -44*x + 1 - 22 - 52*x. Is a(-9) a composite number?
True
Let a = 31 + 143. Suppose j = -5*b - a + 1130, 0 = -4*b + 3*j + 761. Is b a composite number?
False
Suppose -2*f - c - 2 = -4, 3*f = -4*c + 13. Let n = -64 + 73. Is n/((-27)/(-1920)) - f prime?
True
Let h be (-16)/(-72) - 29598/27. Let p = h - -1983. Is p prime?
True
Let a(u) = 3*u**3 + 8*u**2 - 36*u + 39. Is a(16) composite?
False
Let p = 6 + -4. Suppose -2*d = p*d. Is 127/(d + (-2 - -3)) a composite number?
False
Let p(i) = -86*i - 17. Let b(j) = -173*j - 34. Let h(n) = 6*b(n) - 13*p(n). Is h(4) a composite number?
False
Suppose 24*h - 279984 = 227208. Is h prime?
False
Let y be (-1367)/(-9) + 10/90. Let c = y + -108. Let q = c + 7. Is q a composite number?
True
Let p be 0/(-6) + (6 - 2). Let a = p + -4. Suppose -5*o = i - 1532, -6*o + 3*o - 5*i + 906 = a. Is o a prime number?
True
Is (-1)/(1/(-3049)*1) prime?
True
Let d = -598 + 1641. Is d a composite number?
True
Let d(l) = -641*l - 554. Is d(-11) a prime number?
False
Let y(v) = -206*v - 25. Is y(-22) a composite number?
False
Let m(d) = -27 - d**2 + 12 + 22 + 29*d. Is m(12) a prime number?
True
Is 1/6 - 12/((-576)/32968) a composite number?
True
Let i(p) = -2*p**3 + 58*p**2 - 36*p + 7. Is i(15) a composite number?
True
Let x = -13259 + 4631. Is (-3)/(-2)*x/(-18) a composite number?
False
Suppose 5*t - 20 = -3*x, -4*x - x + t = -24. Let c be (x + -2)*(-148)/3. Is -1 - (c - (3 + -1)) composite?
False
Let m = -15 + 20. Let g be 42/(6/15*m). Is 9/g - (-5896)/28 a prime number?
True
Suppose 0 = -9*t + 18376 + 76970. Is t composite?
True
Let u be ((-4)/((-8)/10))/1. Let b = u - 7. Is 16 + b - 3 - 1 a prime number?
False
Is 4*(-9)/(-12) - (-481 + 3) a prime number?
False
Let g be (4 - 6)*29/2. Let v = -4 - g. Suppose 3*z + 2*l - 108 = -v, -5*z + 135 = 4*l. Is z composite?
False
Is 6/8 + 97691/44 prime?
True
Let z be (-1 - -1)*(-4)/8. Suppose -4*l + z*l = -648. Let f = l + 107. Is f composite?
False
Suppose -w - 39 + 139 = 0. Let d be 1*w/(3 + -8). Is 5/(d/(-148)) + 0 composite?
False
Let f(n) be the third derivative of 191/60*n**5 - 1/24*n**4 + 7*n**2 + 0*n + 1/6*n**3 + 0. Is f(1) a composite number?
False
Let l = -29 - -21. Let y = l - -7. Is (0 - -2 - 295)/y a composite number?
False
Let d = 13612 - -11911. Is d prime?
True
Let q be 831/3*-2 - 2. Is q/(16/(-4)) + 4 prime?
False
Let i = -1719 + 13816. Is i a composite number?
False
Let v = -189 + 287. Let u = -47 + v. Suppose -u = z - 170. Is z prime?
False
Let i(v) = -13*v**2 + 21*v**3 - 12*v**3 + 6*v - 5 - 4*v**3 - 6*v**3. Is i(-15) prime?
False
Suppose -2*u + v - 1181 = 3*u, -3*u - 706 = 2*v. Let k = 75 - u. Is k prime?
True
Suppose -5*q + 18978 = q. Is q a prime number?
True
Suppose 0 = -435*v + 459*v - 547752. Is v prime?
False
Suppose -356*n = -342*n - 354494. Is n a prime number?
True
Let k be (-10)/(-2)*(-310)/(-25). Suppose -7*l - 87 = -4*l. Let b = l + k. Is b a prime number?
False
Suppose 3*q - 191 = -2*f + 98, -f + 98 = q. Suppose q - 671 = -2*c. Is c composite?
True
Let x(q) = q**3 + q**2. Let y be x(-1). Suppose y = -3*m + 6*m - 4755. Is m a prime number?
False
Let m(z) be the third derivative of z**4/24 + 31*z**3/6 - 4*z**2. Let s(c) = -c**2 + c + 2. Let a be s(2). Is m(a) composite?
False
Suppose 4*y + 31 = 59. Suppose y*k + 4*k = 9658. Is k prime?
False
Suppose 5084 = 14*y - 4394. Is y composite?
False
Let p(y) be the third derivative of -y**5/60 + y**4/8 - y**3/6 + 6*y**2. Let d be p(3). Is (-1 - -38) + (d - -1) prime?
True
Let t(o) = o**3 + 5*o**2 + 4*o. Let x be t(-4). Suppose x = 3*y - 0*y - 15. Suppose -w - y*r + 56 = 0, 0*r = r - 1. Is w prime?
False
Let k(r) = r**3 - 4*r**2 + 2*r - 6. Let i be k(4). Suppose w - 5*v - 783 = -w, -i*v - 1526 = -4*w. Is w composite?
False
Suppose 5*a + 3*m - 19 = 46, -2*m - 10 = -2*a. Suppose -15*d + 2545 = -a*d. Is d prime?
True
Let o = 321 - 759. Let n = -101 - 