(-7098)/8 composite?
False
Let w = 632 - 408. Suppose 0 = -4*a + w + 516. Is a a prime number?
False
Suppose 2*u + 3*s - 310 = 0, -108 = -u - 4*s + 57. Is u a composite number?
False
Let a(y) = y**2 + 5*y + 8. Let z be a(6). Let h = -11 + z. Is 1/(-2) + h/2 a prime number?
True
Let s(l) = 23*l + 3. Let a(z) = -z**3 - 8*z**2 - z - 2. Let r be a(-8). Let q be s(r). Let k = q - 90. Is k prime?
False
Let r = -2 - -2. Let j be r + ((-567)/3)/(-3). Let d = j - 17. Is d a composite number?
True
Let y(x) = x + 7. Let t be y(-5). Let b be 0/(t + 1 + -5). Suppose 5*w - 4*j - 169 - 774 = b, -373 = -2*w + 3*j. Is w composite?
False
Suppose -3*c = 5*b + 106, 4*c + 59 = 2*c - b. Is (-8)/(-36) + (-1857)/c composite?
True
Suppose -2*l - 6*h = -h - 34, 18 = 2*l - 3*h. Let s(z) = -12 - 5*z + l. Is s(-2) a composite number?
True
Is ((-1538)/4*-20)/2 composite?
True
Let x(p) = -1. Let w(h) = 20*h - 2. Let c(s) = -w(s) + 3*x(s). Is c(-2) a composite number?
True
Let s(v) = v**2 + 6*v + 1. Let p be s(-7). Let t(f) = 5*f**2 + 22*f - 19. Let y(b) = 3*b**2 + 15*b - 13. Let g(r) = -5*t(r) + 8*y(r). Is g(p) composite?
False
Let x be (-2)/(-13) - (-16)/(-104). Is -1 + x + 3 - -29 composite?
False
Let a(j) = -j**3 + 12*j**2 - 3*j + 3. Let i be a(10). Suppose 5*u + i + 188 = 4*q, -86 = -q - 3*u. Is q a prime number?
True
Let n(g) = 41*g**2 - g - 3. Suppose 10 = -2*j - 3*j. Is n(j) a composite number?
False
Let i = 634 + -225. Is i a prime number?
True
Let v(i) = -i**3 - 8*i**2 + 4. Let c be v(-8). Suppose 4*t + u = 6*u + 52, 0 = -t - c*u + 13. Is t a prime number?
True
Suppose 2*u - 7 = 1. Let r be 14/3 - 4/(-12). Suppose 16 = b + r*f, -u*b - 4*f + 29 + 19 = 0. Is b a composite number?
False
Let h be ((-31)/3)/(3/(-9)). Suppose k = 3*p + h, -2*k = -0*k - 3*p - 68. Is k prime?
True
Let n be (-7)/((-14)/48)*1. Suppose -3*w = -n + 6. Is (-768)/(-9) - 2/w composite?
True
Let q(r) be the second derivative of r**5/20 + r**4/2 + r**3/6 - 2*r**2 - 2*r. Let h be q(-6). Let o = -7 - h. Is o a composite number?
False
Let x be (1/(-2))/(1/(-8)). Suppose 720 + 248 = 2*z. Suppose x*v - s - z = -v, s + 193 = 2*v. Is v a composite number?
False
Let m = -18 - -13. Let u = 80 - m. Is u a composite number?
True
Let m = -5 + 6. Let s be (m - 0)/1 - -21. Let h = 89 - s. Is h a composite number?
False
Let v be 1 + -4 - (5 - 2). Let i(b) = -12*b**3 - 3*b**2 + 6*b - 3. Let g be i(v). Is (4/6)/(10/g) a composite number?
False
Let c(z) = z**2 - 2*z. Let r be c(2). Suppose r = -y - 0*y + 67. Is y composite?
False
Let j(k) = k**3 - 3*k**2 + 3*k - 4. Let g be j(4). Let n(h) = -5 + 10 - 6 + h + g. Is n(0) composite?
False
Let g(t) = t**3 - 2*t**2 + 2. Let r be (-1 - -6)*(-2)/(-5). Let z be g(r). Is (5 + -4)/(z/86) a prime number?
True
Let t(a) = a**3 + 4*a**2 - a - 4. Let d be t(-3). Is (-41)/(1*(-4)/d) composite?
True
Suppose -5*z = l + 22, -6 = 3*l - z - 20. Suppose 0 = -v - 4*b + 237, -l*v + b - 2*b + 667 = 0. Let i = -106 + v. Is i composite?
True
Let r be (-1048)/20 + (-2)/(-5). Let k = r + 26. Let u = k - -37. Is u a prime number?
True
Let q(x) = -x - 7. Let c be q(-10). Let f(w) be the first derivative of 39*w**2 + w + 2. Is f(c) prime?
False
Let f be 38/6 - (-5)/(-15). Suppose -f = -2*p, -3*q + 15 = -3*p - 0*p. Is ((-26)/q)/((-2)/24) a prime number?
False
Suppose -5*v - 887 = -4*n, -5*n - 2*v + 1120 = 3*v. Is n prime?
True
Let x(g) = -g**3 - 3*g**2 - g - 1. Let q be x(-3). Let t be 1 + -87 - (1 - q). Let r = t - -212. Is r composite?
False
Let f be (2/(-5))/(2/(-10)). Suppose f*s = -0*s + 326. Is s a prime number?
True
Let o = 47 + -114. Let y = 222 + o. Is y a composite number?
True
Suppose 5*v = 15, 0 = -2*b + 7*b - 4*v - 8. Let a = 288 - 193. Suppose b*j = a - 19. Is j composite?
False
Let t(r) = 66*r**2 + 2*r + 1. Let q be t(-1). Let f = -13 - -21. Suppose -g - f = -q. Is g a composite number?
True
Let k be 2 - (-318 - (-2)/2). Suppose 4*l - k = -51. Is l a prime number?
True
Let v(c) = -6*c - 4. Suppose 2*p = 1 + 9. Let t be v(p). Let j = t + 65. Is j a composite number?
False
Let k(z) = z**2 - 3*z - 6. Let s be k(-6). Suppose -s = -4*j + j. Suppose -j = -4*q + f + 36, 62 = 3*q + 5*f. Is q a composite number?
True
Is (-1 + -4 + 4)*-2633 - 2 a composite number?
True
Let l(b) = b**3 - 3*b**2 + b. Let a(g) = -g**2 - 5*g - 1. Let o be a(-4). Let p be l(o). Suppose 0*i + 267 = p*i. Is i composite?
False
Let n(o) = -75*o - 76. Is n(-7) a composite number?
False
Let q be ((-6)/9)/(22/33). Let t(u) = -u - 1. Let j(c) = 126*c + 3. Let n(l) = -j(l) - 4*t(l). Is n(q) prime?
False
Let z(j) = -j**3 - 3*j**2 + 7*j + 1. Let o be z(-6). Is 2/(-6) - o/(-3) composite?
True
Let q = 1738 - -21. Is q a prime number?
True
Suppose 2*w - 8 = -2*w, 3*k - 10 = -2*w. Suppose k*y = 5*y - 4*s - 995, -5*y + 2*s = -1649. Is y prime?
False
Let s = 402 + -269. Is s a composite number?
True
Suppose 10 = 4*w - g, w = -w - 5*g - 6. Let q = 0 + w. Is q a prime number?
True
Suppose -r = r - 4. Let m be (6/(-10))/(r/(-10)). Suppose 40 + 53 = m*t. Is t composite?
False
Let i(q) = -q**3 - 4*q**2 + 15*q - 16. Is i(-7) composite?
True
Let s be 46/8 - (-9)/(-12). Suppose -10 = -s*n + 15. Suppose -3*m - 4 = a - 20, 0 = -n*a + 2*m + 97. Is a composite?
False
Suppose 4*r = r + c + 108, -5*r - c + 172 = 0. Is r a prime number?
False
Let z(i) = -i - 1. Let x be z(-4). Let q(m) = -2*m**3 + 3*m**2 + 2*m**3 - 2*m + 3 - m**x. Is q(2) prime?
True
Let s = -117 - -513. Let p = s - -92. Suppose p = 4*h - 524. Is h a composite number?
True
Let p(t) = t**2 - 123. Let i be p(0). Let l = 192 + i. Is l prime?
False
Let k be (-4)/(-30) - (-20272)/60. Let j = k - 189. Is j a composite number?
False
Let v be 0/2 + 6 + -3. Suppose 91 = -v*g + 4*g. Is g a composite number?
True
Let w(m) = m**2 - 7*m + 8. Let i be w(6). Suppose -4*t - 4*l = 4, -4*t + 5*l - i = -2*t. Is (2 - 3)/(t/95) a prime number?
False
Let c = 4826 + 1523. Is c composite?
True
Suppose 8*b - 3*b + 30 = x, 0 = -x - b. Suppose 3 + 1 = z + q, 2*z = 5*q + 15. Suppose x*k - 243 = o + o, 0 = 3*k - z*o - 142. Is k a prime number?
False
Let a(c) = c**3 + c**2 + c + 2. Let s be a(0). Suppose s*x = -2, 3*r - 5*x - 206 = -0*x. Is r a composite number?
False
Let u = 581 - 6. Let v be (-2)/(-5) - 65/(-25)*1. Suppose v*x = -2*x + u. Is x a prime number?
False
Let j(m) = -10*m**3 + m - 1 + 3*m**2 - 2*m - 4*m**3 + 4*m**3. Is j(-3) a prime number?
False
Suppose -3*i + 5*i - 6 = 0. Suppose 0 = 5*t + i*v - 170, 0 = -3*t - 6*v + 2*v + 113. Is t composite?
False
Suppose 4*k - 282 = -2*g, 0 = 4*g - k + 2*k - 536. Is g composite?
True
Let r = 109 + -52. Is r prime?
False
Let y(k) = -k**2 + 5*k + 3. Suppose -3*b - 1 = -19. Let j be y(b). Is j*69/(-18)*2 prime?
True
Let k = 159 - -125. Let s = k + -163. Is s a composite number?
True
Suppose 5*v = -4*n + 2467, 3*n - v - 1879 = v. Is n a prime number?
False
Suppose 0 = 3*w + 2*o - 11, 2*w - 8 = -w + o. Suppose -w*l + 594 + 849 = 0. Is l prime?
False
Is 12/(5 - 2) - -27 prime?
True
Suppose -4*z - 2*c + 11048 = 2*c, -13840 = -5*z + c. Is z a prime number?
True
Let g(t) = t**3 - 8*t**2 + 9*t - 9. Let o be g(7). Suppose 0 = 3*a + 3, -o*v - 2*a + 64 = -259. Is v prime?
False
Let v = 8092 - 4643. Is v composite?
False
Let r = 9 + -8. Is r + (43 - (-1)/(-1)) prime?
True
Let h(v) = 11*v + 2 - 2 + 0. Is h(3) a composite number?
True
Let t(c) be the second derivative of 2*c**2 + 1/6*c**3 + 0 - 3*c. Is t(3) a prime number?
True
Suppose 0 = 4*x - 12, j + 3*x = -2*j + 126. Is j a prime number?
False
Suppose -4*o = -x - 134 + 30, -78 = -3*o + 5*x. Suppose -y + o = y. Is y a prime number?
True
Let h(b) = -17*b - 1. Let d(v) = -17*v + 1 - 1 - 2. Let s(o) = -3*d(o) + 4*h(o). Is s(-3) composite?
False
Suppose -3*k - 41 = 4*i, 2*i + 48 = 2*k + 2*k. Let q be ((-4)/(-6))/(1/21). Is 4/q - 486/i a composite number?
True
Suppose 0*i - 1 = -i. Is (i - 0)/(1/19) composite?
False
Let o(b) be the first derivative of -19*b**5/20 - b**4/24 + b**3/3 - 2. Let n(t) be the third derivative of o(t). Is n(-1) a prime number?
True
Let t(o) = o**2 + 3*o - 17. Is t(12) a composite number?
False
Suppose 2*h = -4*d + 36, -h - 2 + 21 = d. Suppose 4*s = -20, h = 4*q - 3*q - 3*s. Suppose 4*z + 3*c - 314 = 0, q*c = 4 + 6. Is z prime?
False
Let s(h) = 2*h**2 - 3*h. Let l be s(4). Let r = l + 3. Is r a pr