, -c = -1. Is m a composite number?
True
Suppose 0 = -3*t + 4*f + 36, -4 = t - 0*f + 4*f. Let l = t + -1. Suppose -8 = -4*c, c - l = -x + 1. Is x composite?
True
Suppose -2*a = -5*a. Suppose 0 = 5*p - 5*u - 15, 0 = -a*p + p + 5*u - 15. Suppose p*q - 316 = q. Is q a composite number?
False
Let m(c) = 79*c - 3. Let v(b) = -b**2 - 7*b + 2. Let f be v(-7). Is m(f) a composite number?
True
Let x = 7 + -5. Is 131/2 - (-3)/x a prime number?
True
Let u(g) = g + 12 - 2 + 3. Let y(c) = c**2 + 8*c - 9. Let n be y(-9). Is u(n) composite?
False
Suppose 3*p + i + 12 = 0, -2*p - 2*i = 2 + 6. Let w be p/(-4) + (-3)/1. Is 309/4 - w/(-8) a composite number?
True
Let p = 101 - 158. Let u = -85 - p. Is (-2)/7 - 988/u prime?
False
Let m(r) = r**3 - 5*r**2 + r - 5. Let f be m(5). Let t(g) = g + 23. Is t(f) prime?
True
Suppose -2*s = -5*g + 5280 + 2987, -1675 = -g - 5*s. Is g a composite number?
True
Suppose 0*m = 5*o + 4*m - 6909, -5*o + 5*m + 6900 = 0. Is o prime?
True
Let l(f) = f**3 - 6*f**2 + 5*f + 3. Is l(6) composite?
True
Let h = 147 + 233. Is h + (-3 - 1 - -5) prime?
False
Let d = -4 - -16. Suppose 3*y + 0 - d = 0, -4*l + 548 = 5*y. Suppose -3*p + l = p. Is p composite?
True
Let w(v) = v**3 - v**2 - 1. Let q be w(2). Suppose 0*d - 327 = -q*c + d, 545 = 5*c + 2*d. Is c a composite number?
False
Suppose -2*l + l = 2*n - 39, -2*l = -n - 88. Is l composite?
False
Let w(m) = 3*m**2 + 6*m + 2. Let d be w(-6). Suppose 0 = -k - l + d, k + 0*l = 2*l + 83. Is k a composite number?
True
Suppose -5*t - 288 = -2*t. Let j = 397 - 263. Let p = j + t. Is p a prime number?
False
Suppose 2 = -2*v - m, -2*v = -5*v - 2*m - 1. Is (-139)/v - 1/3 a composite number?
True
Let i(n) = -5*n**2 + 4. Let y be i(-9). Let v = -238 - y. Is v prime?
True
Suppose 0 = 5*t - 8*t + 5277. Is t prime?
True
Is 4 + 303 - 0*(-4)/(-16) a composite number?
False
Suppose 6*p - 24 = 3*p. Let l(w) = w**3 - 8*w**2 + 8*w + 3. Is l(p) composite?
False
Let n(w) = 17*w**2 + 2. Is n(-5) composite?
True
Let o(c) = 9*c**3 + 3*c**2 - c - 4 - 5*c**2 - c**3. Let m be (21/(-14))/((-2)/4). Is o(m) prime?
True
Let k(n) = -27*n - 1. Suppose -u = -2*u - 2. Is k(u) a composite number?
False
Let i be -1*(-1)/((-3)/3426). Let p = i - -1664. Is p/14 - (-4)/(-14) composite?
False
Let t be 11/(-3) + 4/(-12). Is -2*(26/t + 2) a composite number?
True
Let a be (-9 + (1 - 0))/(-2). Is 6/a*1870/33 a prime number?
False
Suppose -12*i + 3972 = -8*i. Is i a composite number?
True
Let h(u) = -u**3 - 5*u**2 - u + 6. Let n be h(6). Let o = 249 + n. Let m = o - -226. Is m a prime number?
True
Let x(v) = 7*v**2 + 7*v - 6. Let d be x(-6). Suppose w - 149 = d. Is w prime?
True
Let k(b) = -b**2 - b + 4. Let j(u) = u**3 - 2*u. Let y be j(2). Suppose 0 = -y*w + 2*w. Is k(w) a composite number?
True
Let q = -2 + 22. Suppose -2*v - 66 = 4*y, 0*y - 2*v = -4*y - 46. Let k = y + q. Is k a composite number?
True
Suppose -17 = -5*f - 2. Let i(h) = 6*h**2 + 3*h + 1. Let l be i(-2). Suppose -f*w - l = -4*w. Is w a prime number?
True
Let j be (-30)/10 + (-1 - 10). Is (j/(-4))/(1/34) a prime number?
False
Let a(d) = -d**2 + 2. Let k be a(0). Suppose -k*r = 5*q - 299, 5*r + q = -q + 779. Is r a prime number?
True
Suppose 5*q + 9 = t, q = 3*t - 0*q - 13. Suppose 0 = t*f - 11 + 3. Is f a prime number?
True
Let j be 14*(-2)/(-4) - -1. Let c be (-2)/j + 125/20. Let i(w) = -w**3 + 7*w**2 - 2*w - 2. Is i(c) composite?
True
Is 1413/12*(-24)/(-9) prime?
False
Let z = 146 - -332. Is z a composite number?
True
Let r(q) = -9*q**3 - 5*q**2 + 6*q + 5. Is r(-6) prime?
True
Let p be (-504)/((-4)/(24/9)). Suppose -k + 66 = j, 0*j - 5*j - 3*k + p = 0. Is j a prime number?
False
Let n = 545 - 28. Is n a prime number?
False
Let f = 110 + 1. Is f prime?
False
Let k = -138 + 228. Suppose -k = -3*b + 3*i + 126, 0 = 5*b + i - 330. Is b prime?
True
Let m(k) = 6*k. Let w be m(-1). Let i(q) = -q**3 - 6*q**2 - 2*q - 9. Let g be i(w). Is (1 - 6/g)*-14 composite?
True
Let d(w) be the third derivative of -w**6/120 + w**5/5 - 3*w**4/8 + w**3/2 + w**2. Is d(11) composite?
True
Suppose -4*i - 4*s = -720, 5*i + 0*s - 894 = -2*s. Is i a prime number?
False
Suppose -101 - 65 = -g. Is g/(-3)*(-9)/6 composite?
False
Let p be -3*(1 + 2/(-1)). Suppose 0 = -2*l + 5 + p, 5*l - 20 = -3*g. Suppose g = -2*d + 24 - 2. Is d composite?
False
Let i = 20 - 52. Let l = i - -58. Is l composite?
True
Let r(s) = 43*s - 2. Let p(b) = -44*b + 1. Let f(j) = -5*p(j) - 6*r(j). Let z be f(6). Let n = -126 - z. Is n composite?
True
Let b(x) = 36*x**3 + 2*x**2 + x. Let k be b(-1). Let n = 130 + k. Is n prime?
False
Let o = -69 - -196. Is o prime?
True
Let x(c) = -c**2 - 7*c - 1. Let l be x(-7). Is l/2 + 477/6 prime?
True
Let c(v) = -v**3 - 9*v**2 + 17*v + 7. Let w be c(-11). Let z = 228 - w. Let o = -63 + z. Is o composite?
False
Let b be 1*-39 - (-2 - -4). Let n = b + 172. Is n prime?
True
Let s(c) = 16*c**2 + 2*c - 1. Let n be s(-4). Suppose -2*v + n + 223 = 0. Let w = v + -138. Is w a prime number?
True
Suppose 2*y - y = -5. Let v(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3/3 - 3*q**2/2 + 7*q. Is v(y) a composite number?
False
Let o(d) = d + 10. Let n be o(-6). Let j(p) = p**3 - 2*p**2 - 3*p - 1. Is j(n) composite?
False
Suppose -5*u - 5*m = -570, -2*m - 2*m - 210 = -2*u. Is u composite?
True
Suppose -2*g - l = 2924 - 9250, -12652 = -4*g + 4*l. Is g a prime number?
True
Suppose 5*x - 6*x = 10. Let c = 25 - x. Is c a prime number?
False
Suppose 4 = -3*k + 13. Let g(t) = -95*t + 1. Let b be g(k). Is 2/(-6) - b/6 prime?
True
Let l(m) = -m**3 - 2*m**2 - 2*m - 2. Let a be l(-2). Suppose 0 = a*i + i - j - 432, 15 = 5*j. Is i composite?
True
Let z(v) = v - 1. Let m be (-6)/(-3)*(-3)/2. Let r be z(m). Is (7/r)/((-1)/12) composite?
True
Suppose -4*w = -6*w + 254. Is w composite?
False
Let y be (0 - 24)*870/(-20). Suppose 4*l + 6*n - 2*n - y = 0, -4 = 2*n. Is l a composite number?
False
Let p(a) = -530*a + 5. Let k(b) = -177*b + 2. Let z(c) = 10*k(c) - 3*p(c). Let u be z(-8). Suppose -553 + u = 4*g. Is g a prime number?
True
Suppose 0 = y - 3 - 1. Is ((-11)/y)/((-3)/444) a composite number?
True
Suppose r - 4*r + 9 = 0. Suppose -r*h - 254 = -5*h. Is h prime?
True
Let d(c) = 70*c + 23. Is d(6) a composite number?
False
Let b(m) = m**3 + 7*m**2 - 8*m - 12. Let t be b(-8). Let g be (t/10)/(3/15). Is (g/3)/((-2)/21) a prime number?
False
Let q(z) = -3*z. Let i be q(-3). Is (-1 + (-66)/i)*-3 composite?
True
Let o be 2/3 + (-1084)/(-12). Let k = o - 44. Is k prime?
True
Let w = 7 - 5. Suppose -5*j = -2*a + a + 52, 0 = -a - w*j + 31. Is a a composite number?
False
Suppose -2*x = -5*b - 31, -19 = -x + 5*b + 9. Let g(z) = 6*z - 2. Let d be g(x). Suppose -5*c + d = -c. Is c a prime number?
False
Let c = 1200 - 89. Is c prime?
False
Let t be (4/(-1))/(-2 + 1). Suppose 1 = -l - i + 5, -t*l - 2*i = -14. Suppose 2*h = v - 3*v - 2, 0 = 3*v - l*h - 15. Is v prime?
True
Let j(z) be the first derivative of 9*z**2 + 2*z - 3. Let u(o) = o**2 + 3*o - 2. Let g be u(-4). Is j(g) a prime number?
False
Let j(w) = -w**3 - 3*w**2 - 4*w - 2. Let u be j(-2). Suppose 4*n - 336 = 3*p + p, 5*n - u*p = 423. Is n a prime number?
False
Is 12550/30 - (-12)/(-9) a prime number?
False
Suppose 11*l = -l + 12132. Is l a prime number?
False
Suppose -4*w + 868 = -4*s, 5*w + 295 = s + 1364. Is w a composite number?
True
Suppose -5*i - 31 = -3*s - s, -8 = s + 4*i. Suppose s*o - 1716 = -88. Is o a prime number?
False
Let k = -624 - -943. Is k a prime number?
False
Suppose 2 = 3*b - 1. Let k = b - 5. Is (-12)/16 + (-11)/k composite?
False
Suppose 10*i - 609 = 17161. Is i a prime number?
True
Let i(o) = 45*o**2 + o - 1. Let u be i(-3). Let c = 137 + u. Let v = c + -305. Is v a composite number?
False
Suppose 0*z = 2*z - 496. Let t = z + -138. Suppose 7*v = 2*v + t. Is v a composite number?
True
Let d be (-7)/(-9) - (-2)/9. Suppose -2*w + d = -3. Is -1*1*(-9 + w) composite?
False
Let g be (-5)/(-7) - (-4)/14. Is (11 - g) + 0/(-1) a composite number?
True
Is 66/(-8)*(-20 - -16) a prime number?
False
Suppose 4*r - t + 4*t = 3512, 5*r - 5*t = 4390. Is r composite?
True
Suppose u - 451 = -2*l, -6*u - 1155 = -5*l - 3*u. Suppose p + j - l = 0, 0*p + p - 4*j = 203. Is p prime?
True
Let p(o) = 3*o - 1. Let u be p(-3). Let l = -4 - u. Is 303 + 1 + (9 - l) a 