4*b = -4*g - i, -2*b + 2*g - 82 = -2*g. Let c = 24 - b. Is c composite?
False
Suppose 0 = -9*g + 3*g + 3354. Is g a composite number?
True
Suppose -5*m + 551 + 464 = 0. Is m a composite number?
True
Suppose t - 4 = 0, 3*t - 3241 = -5*s + 8436. Is s prime?
True
Let j(z) = z**3 + 2*z + 1. Let g be j(4). Let x = -3 + g. Suppose -x = -3*k - 2*k. Is k a composite number?
True
Let i(c) = 12*c**2 - c + 2. Let q be i(3). Let m = q + -76. Let t = -21 + m. Is t a composite number?
True
Let p be 1/(2 - 15/9). Suppose 3*w + 27 = -p. Is 7/(8/w + 1) composite?
True
Suppose 7 = 3*n - 2. Suppose 170 = n*s + 2*s. Is s a prime number?
False
Suppose 0 = -u + 4*u - 84. Suppose -2*r - 16 + 6 = -5*d, 0 = -2*d - 4*r + u. Is 42*2/d + -2 composite?
False
Suppose 0 = 2*c + c - 12. Suppose -c*o + o = -21. Is o composite?
False
Let a(m) = -m**2 + m + 31. Suppose -2*k = k. Is a(k) a composite number?
False
Let j(a) = a**3 + 2*a**2 + 2*a + 1. Let i be j(-1). Suppose 2*n + 2*m - 52 = i, -5*m - 6 - 8 = -n. Is ((-6)/4)/(n/(-848)) a composite number?
False
Is (1 - -88)*5 + 2 + 2 a prime number?
True
Let y(d) = -2*d + 5. Suppose f - 3*f + 14 = 0. Let l(x) = 5*x - 9. Let z(j) = f*y(j) + 3*l(j). Is z(7) a composite number?
True
Suppose -3*g + 2*z - 4*z + 2 = 0, 3*z + 10 = 2*g. Suppose w - 59 = -g*r - 1, 180 = 3*w + 4*r. Suppose -4*m + w + 148 = 0. Is m a composite number?
False
Let n(k) = 2*k**3 - 10*k**2 + 9*k + 6. Is n(7) prime?
False
Suppose 0 = 2*y - 6*y + 12. Is 398/y - 6/(-18) a composite number?
True
Let u(p) = -545*p - 4. Let w be u(-3). Suppose 0 = 2*i + 10, -6*n + 2*n - i + w = 0. Is n a prime number?
True
Let n(l) = -8*l - 2*l**2 + 4*l**2 + 11 - 3*l**2 + 2*l**2. Is n(10) a composite number?
False
Let s = -32 + 618. Is s a composite number?
True
Let j(t) = -3*t**2 - 10*t**3 + 2*t**2 - 3 + t + 0*t**2 - 3*t. Suppose -2*n + 16 = -3*i, i + 0*i + n = 3. Is j(i) prime?
False
Let k = 32 - 90. Let d = k + 81. Is d prime?
True
Let h = 5128 + -3545. Is h composite?
False
Let v = -335 - -649. Let c = 612 - v. Is c a prime number?
False
Let j = -14 - -24. Is 74/10 + (-4)/j a composite number?
False
Let n(l) = -l**2 - 11*l - 9. Let t be n(-10). Suppose -t = h - 23. Is h prime?
False
Suppose h - 205 = y, 0 = -h + 2*h - 2*y - 205. Is h a composite number?
True
Let o(d) = -88*d - 31. Is o(-4) a composite number?
True
Let a be -2 - -1 - (0 + -3). Suppose a*c = -c + 603. Is c a composite number?
True
Suppose -2*x + 0*x = 4. Let m(i) be the second derivative of 5*i**4/12 - i**3/6 - 2*i. Is m(x) a prime number?
False
Let r = -26 + 13. Let g = 48 + r. Is g a composite number?
True
Suppose 0 = b - 3*b + 2, 5*p = 2*b + 24543. Is p a prime number?
True
Let z(y) = -2*y**3 + 8*y**2 - 20*y + 5. Is z(-9) composite?
True
Let w(o) = -54*o**3 - 3*o**2 - 3*o - 3. Is w(-3) composite?
True
Let w = -12 - -11. Is w + 200 + -1 - -1 a composite number?
False
Let i(c) be the second derivative of c**4/12 + c**3 + 2*c. Let z be i(-6). Suppose 4*l = 2*p + 128, -2*l + 0*p - 3*p + 80 = z. Is l prime?
False
Is 1 - (0 - -1) - -7 prime?
True
Let b(t) = -35*t - 1. Is b(-6) prime?
False
Let j be (5/(-1) - -2)/(-1). Suppose 0 = j*o + 333 - 1128. Is o prime?
False
Let c(a) = -54*a**3 - 2*a - 1. Let r(i) = 107*i**3 + 5*i + 2. Let k(w) = 5*c(w) + 2*r(w). Suppose 4*x + 4 = -4*l, x + 3*x = 3*l + 3. Is k(l) composite?
True
Suppose 0 = -s + 5*d + 104, 0 = s + 5*d - 3*d - 83. Suppose 0 = -3*u + y - 231 + s, 0 = 5*u - y + 236. Is u/(1*(-2)/2) a composite number?
False
Suppose 5*j = l - 4*l + 1714, -5*l - j = -2864. Is l a prime number?
False
Let y(l) be the third derivative of l**5/15 + l**3/2 - 4*l**2. Is y(4) a prime number?
True
Suppose 7*r + 3*r = 23950. Is r a composite number?
True
Suppose o - 4*o = -f + 17, 4*f - 33 = 5*o. Is f/7 - (-40)/7 composite?
True
Suppose -18 = -2*t + 3*t - 5*g, 2*g - 14 = -3*t. Let j be (1 - t) + (66 - 2). Let o = j - -46. Is o composite?
False
Suppose -7 = r - 2*f, -3*r = r + 4*f - 32. Suppose -6*v + 2*v + 1264 = 0. Suppose -r*t - t + v = 0. Is t a prime number?
True
Let s(t) = -2*t**3 + 2*t**2 + 4*t + 2. Let n be s(5). Let u = n + 299. Is u composite?
True
Let c = 461 - 177. Suppose -5*o + 1749 = c. Is o prime?
True
Is 684 + (-16)/(-4) - -1 a prime number?
False
Suppose 3*g + 315 = 3*o, 0*g = -5*o + 3*g + 525. Let l = o - 149. Let n = -25 - l. Is n a prime number?
True
Let h(m) be the third derivative of 5/3*m**3 - 1/60*m**5 + 1/120*m**6 + 0*m - 1/24*m**4 - 2*m**2 + 0. Is h(0) a composite number?
True
Let k = -32 - -117. Is k prime?
False
Let q(n) = n**2 - 7*n + 2. Let j be q(7). Suppose -195 = -j*l + l + 5*h, 5*l = -5*h + 1095. Is l a prime number?
False
Let y(o) = -9*o - 14. Let h(i) = -10 - 24 - 17*i + 7. Let c(r) = 6*h(r) - 11*y(r). Is c(-7) prime?
True
Let n(p) = -13*p + 2. Let v(u) = u - 13. Let d be v(6). Is n(d) composite?
True
Suppose 0 = -5*f - 10, -3*w - 857 + 2138 = 3*f. Suppose 5*r - 441 = w. Suppose 3*p - p - 4*d = r, 81 = p + 4*d. Is p prime?
False
Suppose 5*s + 3*t - 11 = 0, 0*s = s + 5*t + 11. Suppose -72 = -4*m + 5*d, -6 - s = -2*m - 4*d. Is m a composite number?
False
Suppose 0*c = -4*c + 868. Is c prime?
False
Let h(x) = -24*x - 9. Is h(-5) prime?
False
Let q be 2*-1*(8 - 10). Suppose -q*l - 60 = -568. Is l a prime number?
True
Suppose 2*f - 332 = v - 49, 4*f + 2*v - 578 = 0. Is f prime?
False
Let x = 3159 + -2239. Suppose -5*q = -4*v - 1153, -4*v = -q - 3*q + x. Is q prime?
True
Suppose -5*j - 2749 = -4*b, -j = -2*b + 7*b - 3400. Is b a prime number?
False
Let b(v) be the second derivative of -v**5/20 + v**4/2 - v**3/3 - v**2 - v. Is b(3) a composite number?
False
Suppose 4*y - 5*y = -4. Suppose -y*f - 16 = 0, 5*g - f + 3*f - 142 = 0. Suppose 4*b - 3*q - 70 = 0, 5*q + g = 2*b + q. Is b a composite number?
False
Let y be 2/10 + 38/10. Suppose 0 = -0*i + y*i - 596. Is i a composite number?
False
Suppose 908 = 4*h - 2960. Is h a composite number?
False
Let j(t) = -36*t - 3. Let v be j(-5). Suppose 0 = 6*q - 3*q - v. Let l = 20 + q. Is l a prime number?
True
Let x = -14 + 10. Let b(a) = 3*a**2 - a - 5. Let c be b(x). Let g = c - 28. Is g prime?
True
Let k(t) = 34*t + 7. Is k(5) composite?
True
Let b = 476 + -267. Is b prime?
False
Let p = 12 - 21. Let a = p - -22. Is a composite?
False
Let l(g) = 86*g**2 + g. Let n = 6 + -7. Is l(n) prime?
False
Let j(r) = r**2 - 7*r - 1. Let q be j(7). Let b = 5 + q. Suppose b*n - 55 = -n. Is n composite?
False
Let m(o) = 480*o**2 + 2*o + 3. Let p(z) = 480*z**2 + z + 2. Let q(f) = -2*m(f) + 3*p(f). Is q(1) composite?
False
Suppose 0*p + 4*p = -5*u - 2205, 0 = -5*u + 3*p - 2240. Let v = 708 + u. Is v a prime number?
True
Suppose -5*y - 5*b - 265 = 0, -b - 20 = 2*y + 82. Let u = 682 + y. Suppose u = 3*l + 2*v, 3*l = -0*v + 5*v + 633. Is l prime?
True
Suppose 8 = -4*d - 4*k, 4*d - k - 14 = -d. Is (1 - d)*(-1 - 66) composite?
False
Let c(g) = 56*g - 2. Let f be c(2). Let a be (-89)/(-2) - 1/2. Suppose -f = -2*j - a. Is j composite?
True
Is -4 + 2885 - -5 - -1 composite?
False
Suppose -3*c + 2*a = 9, 6 = -4*c + a - 6. Let f(r) = -19*r + 4 + 0 - 6. Is f(c) a prime number?
False
Suppose -3*p + 1331 = 266. Is p prime?
False
Let y(z) = -z**3 - 12*z**2 + 9. Let p be y(-12). Is (-14 - p)/(1/(-5)) prime?
False
Let v be 5/((-15)/4)*-153. Suppose -v = 4*m - 824. Is m prime?
False
Suppose d = -d - 234. Is (4/(-6))/(6/d) a composite number?
False
Suppose -7*f = -3*f + 12. Is 3 + 18/f - -54 a prime number?
False
Let p = -16 + 26. Suppose 14*l - p*l - 868 = 0. Is l a prime number?
False
Is -5*(1 + 888/(-10)) a composite number?
False
Suppose 18 = 5*r - 2*r. Suppose 3*a + j - 4*j = -r, -4*j + 8 = 4*a. Is (2 + -16)/(-2 + a) composite?
False
Let j(u) = -u**3 - 4*u**2 - 6*u - 2. Suppose 0 = 4*w + w + 25. Is j(w) a composite number?
False
Suppose -21 = -x - 5*h - 6, h = 3*x + 3. Let v = 4 - x. Suppose 2*i - v*s - 78 = 0, -3*i + 0*s + 3*s = -105. Is i a composite number?
False
Suppose -3*k + x = -1433, -4*k + 2043 - 123 = x. Is k a composite number?
False
Suppose -2*v - 3*r + 9770 = 0, 5*r - 4885 = -0*v - v. Is v prime?
False
Let h = 93 + 57. Suppose -4*o = -2*x - 594, o - h = -0*x - x. Is o composite?
False
Suppose -6*m + 398 = -2080. Is m a composite number?
True
Let w(y) be the second derivative of y**5/20 - 13*y**4/12 - y**3/2 + 13*y**2/2 + y. Is w(14) a co