, -h = 2*p - 2*h - 110. Is p composite?
False
Suppose 0 = -2*w - 4*n + 230, -2*w - 23 + 281 = -3*n. Is w a composite number?
True
Let f(h) = -3*h**2 + 4*h**2 - 14*h**3 + 35*h**3 + 27*h**3. Is f(1) composite?
True
Let n = -1352 - -1905. Is n a composite number?
True
Suppose -13*o = -14*o + 1561. Is o prime?
False
Let f(l) = -l**2 - 8*l + 6. Let i be f(-7). Suppose -10 - i = h. Let n = h + 48. Is n prime?
False
Let t = 60 + 157. Is t composite?
True
Let x be (-2 - -2)/((-3)/3). Suppose x = 5*t + 5*y, 3*t - 4*y = -t + 24. Suppose 244 = 2*g + 2*s, 4*g - 267 = t*s + 200. Is g prime?
False
Suppose -21*r = -26*r + 745. Is r composite?
False
Let q(h) = -h**3 - 6*h**2 + h + 8. Let l be q(-6). Suppose -3*u = -l*g + 39 - 260, 2*u = -2*g + 164. Is u composite?
True
Suppose 2*v + 4*t + 4 + 4 = 0, -3*v + 4*t = -28. Let p(z) = -z**3 + 8*z**2 + 3*z + 7. Is p(v) prime?
True
Let j = 18 - 6. Let n = 17 - j. Suppose -n*s - 3*g = -217 - 144, 5*g - 365 = -5*s. Is s a composite number?
False
Suppose 0*t = -t + 2. Let o(i) = 2*i. Is o(t) prime?
False
Suppose 3*x - 347 = 6*x - f, 3*x - 2*f = -349. Let w = x - -347. Is (27/36)/(2/w) prime?
False
Let n be ((-7)/21)/((-2)/48). Let l(f) = 20*f**2 - 2*f - 11. Is l(n) prime?
False
Suppose t = -4*q + 15, -3*q = -0*q + 5*t - 24. Is q*1 - (-14 + 6) composite?
False
Let g(a) be the third derivative of a**6/60 - a**5/20 + a**4/12 + a**3/6 - 2*a**2. Let x be 1 + 2 - (-5 - -4). Is g(x) composite?
False
Suppose -5*g - 10 = -4*m - m, -5*m = -20. Suppose -g*x + 5*z + 187 = x, x = 4*z + 67. Is x a composite number?
False
Suppose 2*m - 1282 = -0*m. Is m composite?
False
Let j(l) = 3 + 2 + l**2 - 3. Let u be j(0). Suppose 5*q + 4*a = 143, -3*a - a + 50 = u*q. Is q prime?
True
Is (1 - -1) + 2115 + (-6 - -11) a prime number?
False
Is 3/((-399)/134 + 3) a composite number?
True
Suppose 0 = -3*f - a - 8 + 1, a + 1 = -f. Let o(z) = -12*z**3 - 4*z**2 + z + 2. Is o(f) composite?
True
Suppose 4*o + 3*n - 57589 = 0, -3*o = n + 3*n - 43183. Is o composite?
False
Let t(s) = -s - 4. Let p be t(-6). Suppose 4*j + 160 + 621 = 3*i, -j = p*i - 528. Is i a prime number?
True
Let v be (-4445)/(-49) - 2/(-7). Suppose 2*g = 3*g - v. Is g a composite number?
True
Suppose -345 = -l + 56. Suppose 4*c - l = 443. Is c a prime number?
True
Let l(c) = c**2 - c. Let r be l(-2). Let d be r/4 - 1/(-2). Suppose -2*u - 5*i = -u - 142, 4*u - 502 = d*i. Is u a composite number?
False
Let d be (39/(-12))/((-3)/36). Let i = d - 2. Is i prime?
True
Let t(y) = -112*y + 62*y - 92*y + 2. Let b be t(2). Is -1 - 0 - b/6 a composite number?
True
Let l(t) = -16*t + 12. Let m(b) = 11*b - 8. Let r(z) = -5*l(z) - 7*m(z). Let g be r(3). Suppose 0 = -g*f + 3*f + 52. Is f prime?
False
Suppose -4 = j - 9. Suppose -4*z + 2*i + 118 = -2*z, 4*i = -j*z + 295. Is z prime?
True
Let o(j) be the second derivative of j**4/6 + 2*j**3/3 + 3*j**2/2 + j. Let d be o(-2). Is (-114)/(-18)*d*1 prime?
True
Let o = -755 - -1926. Is o a prime number?
True
Suppose -2*k - 666 = -4*j, 4*k - 23 - 315 = -2*j. Let d = j - 90. Is d a composite number?
True
Let k = 0 - -2. Let d = k + 1. Is (-19)/(0 - d - -2) a composite number?
False
Suppose 102 = -3*o - 66. Let c = -32 - o. Suppose 2*q - 14 = c. Is q prime?
True
Suppose 5*i - 3*d = 3271, 4*i + 3*d + 2618 = 8*i. Is i a prime number?
True
Let o(r) = -r + 6. Let g be o(5). Is 424/5 + g/5 prime?
False
Suppose 0 = -2*g + 6, 3*m - 2*g + 3*g - 450 = 0. Is m composite?
False
Let w(i) = 2*i**3 - i**2 + 4*i + 1. Let p(f) = -f**3 - 12*f**2 - 11*f + 3. Let z be p(-11). Is w(z) prime?
False
Suppose -5*w + w - 24 = 0. Let i(n) = n**2 + 5*n + 4. Is i(w) a prime number?
False
Let x(f) = -3*f**3 - 11*f**2 + 5*f + 8. Let j(c) = -4*c**3 - 12*c**2 + 5*c + 9. Let g(p) = 2*j(p) - 3*x(p). Is g(-7) composite?
False
Let x = 17 - 12. Suppose 0 = -0*b + 4*b + c - 71, b = -x*c - 6. Is b a composite number?
False
Let i(d) = -30*d. Let m(g) = -31*g + 1. Let w(x) = 6*i(x) - 5*m(x). Is w(-6) a composite number?
True
Suppose 3*t - 5*z + 229 = 2*t, -2*z = -6. Let l = t - -303. Is l a composite number?
False
Let p(u) = -u**3 - 8*u**2 - u - 3. Let v be p(-8). Suppose -v*d - n = -400, 113 = 3*d - n - 119. Suppose o = 4*o - 2*y - d, 0 = -y - 5. Is o composite?
False
Let u be (-9)/15 + (-27)/5. Is (-3)/(u/4) + 49 prime?
False
Let f(z) = 7*z**2 - 3*z**2 - 5 - 4*z + 0*z. Is f(-5) prime?
False
Suppose s + 0*x - 2*x = 143, -2*s = 2*x - 304. Suppose -s - 486 = -5*c. Is c a prime number?
True
Let j = -99 - -266. Is j composite?
False
Let z(o) = -o**2 + 9*o + 13. Let k be z(9). Let u = k - 9. Suppose -u*g + 121 = 3*b, 0*g + 2*g - b = 73. Is g a composite number?
True
Suppose 5*x + o = 4*o + 50, 5*o = -x - 18. Suppose -m - 28 = x. Let c = 57 + m. Is c composite?
True
Is 1 + 2 - (2 - 18) composite?
False
Let z = -108 + 555. Is z a prime number?
False
Let n = -2 + -13. Let u = n + 173. Is u composite?
True
Suppose -3*k - 17 = -r + 30, -2*k = -3*r + 155. Is r composite?
False
Suppose 2*q = 3*x - 21 + 6, q - 38 = -5*x. Let z(r) = -r - 4. Let y be z(-6). Is x/((-3)/((-30)/y)) composite?
True
Suppose 0 = -t - 3, 32 = -2*z + 6*z - 4*t. Suppose a - 60 = -3*a. Let l = a - z. Is l composite?
True
Let x = -82 - -131. Is x a prime number?
False
Let q(g) = 2*g**2 - 5*g - 4. Is q(-5) composite?
False
Let f(s) be the second derivative of -s**4/12 + 11*s**3/6 + 5*s**2 + 11*s. Is f(7) a prime number?
False
Let n = -2029 + 3866. Is n a composite number?
True
Let h(j) be the third derivative of j**6/15 - j**5/60 + j**4/8 - j**3/6 + 3*j**2. Is h(2) a prime number?
False
Suppose 0*o - 2110 = -2*o. Is o composite?
True
Let l = -90 - -201. Is l a composite number?
True
Let g(q) = 3*q**2 - 8*q + 9. Let f be (2/4)/(2/72). Suppose 0*m - 6 = -l - m, 3*m = 3*l - f. Is g(l) prime?
False
Let d(r) = -6*r**3 - 3*r**2 + 3*r + 1. Suppose 0*q + 2 = -2*i - 4*q, -i + 2*q = 5. Is d(i) a composite number?
False
Let v(b) = b**2 - 4*b - 6. Suppose 0 = -2*k + 4*k + 20. Is v(k) a prime number?
False
Is (-17*1)/(280/(-55) - -5) a composite number?
True
Let n be 6/21 + (-444)/(-14). Let t = n - -5. Is t composite?
False
Let u(g) = 2*g - g**3 + 8*g + 4*g**2 + 4*g**2. Is u(7) composite?
True
Let w be (1 + (-10)/6)*3. Let t = w + 0. Is 54 + -2*(-1)/t prime?
True
Suppose 0 = -2*h + 2*x + 586, -5*x + 466 = 4*h - 715. Suppose p + 3*u = h, 2*p + 0*p - 3*u = 579. Is p composite?
True
Let h = -7 + 7. Let r(f) = 16 - 5 + f + 8. Is r(h) composite?
False
Let r = 5 - 3. Suppose 0 = 2*q + r - 10. Let f = q - -15. Is f a prime number?
True
Let v(h) = -h**3 + 8*h**2 + 2. Let d be v(8). Suppose 0*y + d*y - 30 = 0. Is y a composite number?
True
Let s(v) = v + 9. Let o be s(-6). Suppose 3*k - o = 126. Is k prime?
True
Is (-1146)/9*(-6)/4 prime?
True
Suppose -5*a + 9325 = 5*t, -3*a - 2*a = 2*t - 3727. Let j = t - 1027. Is j a composite number?
False
Suppose 0 = -3*i + 4*o + 16, o = i - 5 - 0. Suppose -i*z = 5*t - 189, z = 3*t - t + 44. Is z/4*10/5 prime?
True
Suppose 0*u = 4*o - 4*u - 3468, -5*u + 2625 = 3*o. Suppose -3*f + 4*i + 1173 = 0, -4*f - 3*i = -719 - o. Suppose -2*t - 3*t + f = 0. Is t composite?
False
Suppose 4*q - 271 = 3*h, 2*q - 137 = 5*h - 2*h. Is q a composite number?
False
Suppose -4*l - 37 = 5*w + 35, 5*w - 72 = 4*l. Let c = l - -53. Is c composite?
True
Suppose -5 = -3*b + 2602. Is b a prime number?
False
Let b be (-4 + 0)/(-1) + 0. Let d = -6 + b. Let k(i) = 37*i**2 + 3*i + 3. Is k(d) composite?
True
Suppose i - 18 = 3*t, -2*i - 2*t = 3*t + 19. Let g(w) = 2*w**3 + w**2 + 3*w - 1. Is g(i) a prime number?
True
Suppose 0 = -3*y + 3*c - 90, 0 = c + 4 - 1. Is (y/(-5))/(4/20) a composite number?
True
Is 292 - 20/((-12)/(-3)) prime?
False
Is (-2646)/(-10) - (-6)/15 a composite number?
True
Let l(v) = 6*v - 5. Let x be l(5). Suppose -x - 28 = -b. Is b a prime number?
True
Suppose p + 2*p = -12. Let l be (p/(-6))/(5/1410). Let a = -61 + l. Is a a prime number?
True
Let b(n) be the third derivative of n**5/30 - n**4/6 + n**3/2 + 4*n**2. Is b(6) composite?
True
Let l be 4/(-8) + 10/(-4). Let y(g) = -7*g. Is y(l) composite?
True
Suppose n - u - 176 = -13, -2*n = -u - 330. Is n a prime number?
True
Let h(z) = z**2 + 55. Is h(0) a composite number?
True
Suppose 1256 = -7*j + 3*j. Is j/(-2) + 4 + -4 prime?
True
Suppose -2*h = -3*h + 127. Is h composite?
False
Sup