 = -167 - 168. Is z a composite number?
False
Let n(h) = h**3 - 8*h**2 + 2. Let z be n(8). Suppose -t = -3*k + 526, -875 = -5*k + z*t - 0*t. Is k a composite number?
True
Let q(o) = o**3 + 8*o**2 + 2*o + 12. Let s be q(-8). Let h be 3/((s/(-14))/2). Suppose -2*m = -d + h, -2*m + 43 = 2*d - 5*m. Is d composite?
False
Suppose -3*z - 5*k - 34 = 7, -4*z - 5*k - 58 = 0. Let x = z + 43. Suppose -3*o + x = -1. Is o prime?
False
Let y(a) = 6*a**2 - 3*a - 4. Let g be y(-3). Let o = -53 - g. Is 8/(-20) - o/5 a composite number?
True
Is (7 - -3)*13/2 prime?
False
Suppose 1 = -3*u - 5. Is (-1870)/(-5) - (3 + u) composite?
False
Let s = -503 + 880. Is s a prime number?
False
Let x = -55 - -88. Is x composite?
True
Suppose -u = u - 540. Suppose -3*i + 100 + u = -c, i = 2*c + 130. Let y = -79 + i. Is y prime?
True
Let f(m) = -55*m - 2. Is f(-13) a composite number?
True
Let q(t) = -92*t**3 + t**2 + 7*t + 5. Is q(-2) a prime number?
False
Let h(t) = 1 + 3*t**2 - t + t**2 - 3*t**2. Let g = 4 - 7. Is h(g) composite?
False
Let k = -3 - -6. Let o(n) = -n**3 + 7*n**2 - 3*n - 19. Let g(j) = j**3 - 5*j**2 + 2*j + 13. Let c(p) = 7*g(p) + 5*o(p). Is c(k) a prime number?
True
Suppose 6*g = g + 100. Suppose g = b + 4*b. Suppose 0 = -2*i + b*i - 62. Is i prime?
True
Let m(w) = 2 + 3 - 8*w + w**2 + 0*w**2. Let y be m(8). Let f = 18 - y. Is f prime?
True
Suppose -2*r + 587 = -r. Is r a composite number?
False
Is (-1)/(-3 + ((-72512)/6044)/(-4)) a composite number?
False
Let x = 6 + -2. Is x a composite number?
True
Let g be 5/(-10) - (-2)/4. Suppose g = 5*y - 0*y. Suppose y = d + 3*d - 88. Is d a composite number?
True
Suppose 0 = l + 5*j - 309, -2*j - 289 = -l + 3*j. Is l composite?
True
Let s(n) = 18*n**2 + 2*n - 3. Is s(4) composite?
False
Suppose q - 5*f - 177 = 0, -5*f = -2*q + 158 + 176. Is q prime?
True
Let j(l) = l**2 + 4*l. Let a = 0 - 4. Let n be j(a). Suppose -w + p + 21 = 5*p, n = -5*w + 4*p + 105. Is w composite?
True
Let h be 10/3 - 4/12. Let z = -25 - h. Let t = -19 - z. Is t a prime number?
False
Let n(g) = -g**3 - 3*g**2 - 2*g - 3. Let l be n(-3). Let a(y) = y**2 - 3*y - 2. Let c be a(l). Is c + 0 + 45/3 a composite number?
False
Is ((-18005)/2)/(-5) - 3/(-6) a prime number?
True
Let v(c) = -c**3 - 3*c**2 + 2*c - 2. Let t be v(-4). Let p(i) = 28*i + 11. Is p(t) a prime number?
True
Let q(y) = 15*y + 4. Let u = -2 + 5. Is q(u) a prime number?
False
Suppose 4*b = -b + 2*f + 2, 0 = b + 3*f - 14. Suppose -3*t = b*t. Is (19 - t) + 2 + -2 a composite number?
False
Suppose -5*l + 140 = -4*r + 7, -4*r + 92 = 4*l. Let j = -43 + 25. Let q = j + l. Is q composite?
False
Let a(d) = -185*d - 8. Let z(k) = 46*k + 2. Let u(h) = 2*a(h) + 9*z(h). Is u(1) a composite number?
True
Suppose u - 4*u = -573. Let p = 374 - u. Is p prime?
False
Let v(w) = -w**3 - 6*w**2 - 4*w + 6. Let m be v(-5). Let s = m + 18. Is s prime?
True
Let j(c) = 8*c**2 + c + 1. Let l be j(-1). Let y = 13 - l. Suppose 180 = 3*d + 4*z - 45, 94 = d - y*z. Is d prime?
True
Let n = 0 + 3. Suppose -n*x = 2*q + 3*q - 296, -4*x = -2*q + 108. Is q composite?
True
Suppose -8*u + 5*u = -450. Suppose -3*p = -o + 2*o + 150, o + u = -p. Let c = -101 - o. Is c a composite number?
True
Let v(o) = -o**2 - 3*o. Let b be v(-3). Suppose b = -4*h + h. Is h - 1*(-51 - 2) a composite number?
False
Suppose 3*b - 2*b = 3. Suppose 5*t + 10 = 25, 0 = -2*k + 3*t + 109. Suppose 3*h + 0*h - 2*y - k = 0, -b*y - 22 = -h. Is h prime?
True
Let p = 5 + 5. Is p composite?
True
Suppose -20 = -4*u - 0. Suppose u*z + f - 3*f - 15 = 0, -3*f = -z - 10. Suppose o - 2*g - 39 = -6*g, z*o - 245 = 5*g. Is o a composite number?
False
Suppose 0 = x - 5 + 4. Let n(i) be the third derivative of 47*i**5/60 + i**2. Is n(x) composite?
False
Let i(y) = -y**2 - 10*y - 11. Let k be i(-9). Is (k - -1) + 66 + 0 composite?
True
Let k = 22 - 23. Let b(j) = 4*j + 3. Let l be b(-2). Is 161 - k*(-3 - l) composite?
False
Let g be 2*-1 - (9 + -429). Suppose -2053 = -5*m - 3*d, -3*d - g - 7 = -m. Is m prime?
False
Let p(c) = 5*c + 1. Let h be p(2). Let y = 39 - h. Suppose -5*n = -y - 2. Is n a prime number?
False
Let z(v) = 3*v**2 + 6*v - 4. Let f be z(6). Let r = f + -85. Is r a composite number?
True
Let y = 5889 - 3958. Is y a prime number?
True
Suppose -3*u - 108 = u + z, 4*z = 16. Let h = u + 95. Is h a prime number?
True
Let u(s) = s**2 + 3*s. Let i be u(-3). Suppose -3*m - 5*f + i*f = 68, -m + 3*f = 18. Let a = 16 - m. Is a a composite number?
False
Let i(n) = 9*n**2 + 10*n + 16. Is i(-5) a composite number?
False
Let r be 1/3*(-2 + 1535). Let j = -320 + r. Is j a composite number?
False
Let z(d) = 0*d**2 - 5 - 14*d + d**2 + 13*d. Suppose 2*r + 3 = -9. Is z(r) prime?
True
Suppose v - 1254 = -i, -2*v + 2665 = -3*i + 162. Is v prime?
False
Let w be (-2 + 5)*(-28)/(-6). Suppose 13 = -4*y + 4*l + 1, 0 = -5*y - 5*l + 35. Is 2/4*y*w prime?
False
Suppose 0 = 2*r - r + i - 33, 0 = -4*r + 3*i + 160. Is r composite?
False
Let r(d) = 51*d - 29. Is r(16) composite?
False
Is (-1)/(-3*1/20517) prime?
False
Let o(l) = 77*l - 4. Is o(9) prime?
False
Let s(c) = -c**2 + 0 + 2 - c**3 - 3 - c. Let o(h) = -4*h**3 - 5*h**2 - 9*h - 4. Let f(v) = -o(v) + 5*s(v). Is f(-4) a prime number?
True
Suppose 12*m = 8*m + 8. Suppose 0 = -k + m*c + 53, -k - 2*c = k - 124. Is k a composite number?
False
Let j(d) = d**2 - 6*d + 5. Suppose 0*t + 3*k - 1 = -2*t, 4*k = -t - 12. Is j(t) a composite number?
True
Let r be ((-3)/(-2))/(10/20). Suppose 2*o - r*o + 2 = 0, 5*l + 2*o = 2499. Is l prime?
True
Let g = 951 - 56. Is g prime?
False
Suppose z = -2*h + 139 - 52, -4*z + h = -339. Is z a composite number?
True
Let l(x) = 7*x**2 + 13*x - 11. Is l(-10) a prime number?
False
Let r be 2/4 - 686/4. Let x = -44 - r. Is x a composite number?
False
Let m(h) = 2*h**2 + 9*h + 11. Is m(-8) a composite number?
False
Let v(o) be the third derivative of -13*o**4/24 - o**3/2 + o**2. Is v(-2) composite?
False
Let p(l) = 8*l + 2 - 4*l + 7*l**2 + 2*l - 3*l**3 + 4*l**3. Is p(-5) a prime number?
False
Let r(k) = 3*k**3 + 2*k**2 - 5*k - 5. Is r(6) a composite number?
True
Let c = -181 + 107. Let w = -19 - c. Suppose -w = -3*l + 2*l. Is l a prime number?
False
Let m(a) = 20*a**2 + 2*a + 1. Let k be (-1)/4 - 9/(-4). Let d be (1 + 2 + 1)/k. Is m(d) prime?
False
Let w = -331 - -471. Suppose -4*g + w + 8 = 0. Is g a composite number?
False
Suppose 2*l + 2*i - 1075 = 495, -6 = 3*i. Is l a prime number?
True
Suppose -4 = -0*g - g. Suppose 2*r + 5*m - 1018 = 0, 4*r + g*m - 2016 = -m. Is r a composite number?
False
Let n(z) = z**3 + 8*z**2 - 6*z + 1. Let x be n(-9). Let d = x - -68. Suppose -j + d = 2*j. Is j composite?
True
Suppose 253 = 5*b + 3*w, -4*b + 3*w + 277 = b. Is b prime?
True
Let n = -7 - -9. Let b = n + 1. Suppose b*x + 3*j - 140 = 2*x, -3*x + 402 = 3*j. Is x a prime number?
True
Let s(l) = -l**2 - 7*l - 2. Let f be s(-6). Suppose -x = -5*r + x + 312, -f*x = 5*r - 306. Is r a prime number?
False
Suppose 5*r - 3507 = -2*f, 0 = 5*f - f - 4. Is r a composite number?
False
Suppose -665 + 6337 = 8*r. Is r a prime number?
True
Let x = -689 + 487. Let b = 509 + x. Is b a prime number?
True
Suppose 684 = 4*a - 4*d, 4*a = d + 4*d + 680. Let w = a - 69. Is w a composite number?
True
Let u(x) = x + 371. Is u(0) a composite number?
True
Is 6/(2 + 464/(-236)) a composite number?
True
Let w(k) = -77*k + 19. Is w(-8) composite?
True
Let i(m) = 3*m**3 - m**2 + 3*m - 6. Let h be i(4). Let r = -199 - h. Let w = -226 - r. Is w prime?
False
Let r(a) = a + 15. Suppose 0*k - 3*k = 0. Is r(k) a composite number?
True
Let r = -12 + 14. Suppose -377 = -h + 2*j, -3*h + j + 1131 = r*j. Is h prime?
False
Suppose -168 - 741 = -3*q. Let w = q - 172. Is w prime?
True
Let h(i) = -i**3 + 6*i**2 + 9*i - 3. Is h(7) prime?
True
Suppose 4 = 2*l - v - 135, 0 = -4*l + 5*v + 293. Is l a composite number?
False
Let h = 335 - -3312. Is h prime?
False
Suppose y = 3*w - 2940 + 151, 0 = 4*w - 5*y - 3726. Is w a composite number?
False
Let y(h) = -h**3 + h**2 + 43. Let p(w) = w**3 - 2*w**2 - 2*w - 1. Let s be p(3). Suppose s*r = 5*r. Is y(r) a prime number?
True
Let i = 2 - -2. Suppose i*y - 89 = 59. Is y a prime number?
True
Suppose -17*s + 12*s + 370 = 0. Is s a composite number?
True
Let n(l) = 5*l**3 - 18*l**2 - 6*l - 7. Is n(6) composite?
False
Let i(o