et v(h) = h**2 + 10*h - 1. Let b be v(t). Suppose 3*r + 0*r - b = -2*x, -2*x = -3*r - 173. Is x a prime number?
True
Let q = 176 + 293. Suppose 3*p = 4*p - q. Is p a prime number?
False
Is 2 - (1 + -2) - -2096 a prime number?
True
Is ((-6978984)/48)/((-3)/6) a composite number?
False
Is ((-212032)/(-96))/((-2)/(-15)) prime?
False
Suppose -6*c = c - 14. Suppose -c*d + 244 = -d. Suppose -3*q - 13 = -d. Is q prime?
False
Let c(m) = -m**3 + 2*m**2 + 3*m - 3. Let w be c(2). Suppose 3*f = -w*f + 10446. Is f composite?
False
Let w(t) = -t**2 + 16*t - 9. Let h be w(15). Suppose -h*m - 212 - 994 = 0. Let n = 412 + m. Is n prime?
True
Let q = -5 - -16. Let r = -9 + q. Suppose 2*c + r*d - 153 = c, 4*c - 598 = -d. Is c prime?
True
Suppose 5*j - 36 = -4*j. Is (-1)/(3/j + 299/(-364)) prime?
False
Suppose 0 = -5*z + t - 2380 - 5010, -4421 = 3*z + 2*t. Let o = 381 - z. Is o a prime number?
False
Let f(x) = 18*x**3 + 17*x**2 + x - 17. Is f(4) composite?
True
Suppose 18214 - 6170 = 4*w. Is w composite?
False
Suppose 0 = -15*g + 23708 + 5257. Is g prime?
True
Let c = 15 - 12. Suppose 878 = 3*t - c*u - 2*u, 4*t - 1159 = -5*u. Is t prime?
False
Suppose -2*n - 5*j + 7*j = -27154, n - 3*j - 13577 = 0. Is n a composite number?
False
Suppose -20415 = -3*p + 7*k - 5*k, 3 = -k. Is p a composite number?
False
Let l = 1660 + -1017. Suppose -5*q + 1938 = l. Is q a composite number?
True
Let v = -3 - -9. Is (v/(-2) - -2)*(-478 - 1) composite?
False
Suppose 687 = 4*u + 47. Suppose 3*s + 5*d - 4151 = -u, 5*d = -2*s + 2654. Is s a prime number?
False
Let q(s) be the second derivative of -s**4/12 - 2*s**3/3 + 4*s**2 - 7*s. Let g be q(-5). Suppose z + g = 9. Is z a prime number?
False
Let r = -11378 - -16849. Is r composite?
False
Suppose 13*j = 7*j + 8394. Is j composite?
False
Let h be 2/(-4)*(14 - 2062). Let f = h - 510. Is f a composite number?
True
Suppose -5*o = 2*s - 1 - 0, 2*s = o + 19. Let t(a) = 94*a - 1. Is t(s) prime?
True
Let j(v) = 23 - 14*v - 64 + 30 - v**2. Let r be j(-13). Suppose 0 = -g + r*g - 89. Is g a prime number?
True
Is (85109/3)/((-16)/6 - -3) a prime number?
True
Let k be ((-4)/10)/(3/(-90)). Suppose 4*w + k = -0. Is w/(-9) + 752/3 composite?
False
Suppose -2*v = -8 + 4. Suppose 2541 + 927 = -3*z. Is z/(-8) + 1/v a composite number?
True
Let d(y) = -y**3 + 6*y**2 + y + 2. Let q be d(6). Let g(j) = -3*j - q - 9*j - 4*j - 1. Is g(-6) a composite number?
True
Suppose 0 = -727*d + 732*d - 20. Suppose -5*k + 30409 = 10499. Suppose -d*t + k - 1250 = 0. Is t prime?
True
Let c be 1/(8/(-140))*2. Let t be (-126)/c + 4/10. Is (693 - t)*(0 + 1) a prime number?
False
Let v(c) = 7*c**2 + 23*c + 17. Is v(26) a composite number?
False
Let y(v) be the third derivative of -2*v**3 + 7/24*v**4 + 0 + 0*v + 13/60*v**5 - 1/120*v**6 - 6*v**2. Is y(13) composite?
False
Let l(u) = 3*u**2 + 10*u + 10. Let f(s) = -6*s**2 - 19*s - 19. Let h(z) = -3*f(z) - 5*l(z). Is h(6) a composite number?
False
Let j(p) = -10529*p + 60. Is j(-1) a composite number?
False
Suppose 2*s = 4*f - 77148, 5*f - 5*s - 14018 = 82407. Is f prime?
True
Let s(d) = 20*d - 66 + 62 + 47*d. Is s(11) prime?
True
Let h(d) be the first derivative of 7*d**3/3 + 7*d**2 + 6*d + 7. Is h(-9) a composite number?
True
Let r be (-2)/6 + (-138)/(-9). Suppose -l = -4*v + 2*l + r, 5*v - 33 = -l. Suppose v*k - 2*k = -12, f = -2*k + 61. Is f composite?
False
Let k be 5/(5/4) - -291. Let n = -138 + k. Is n a composite number?
False
Suppose -10 = -5*r + 3*n, -3*r + 2*n - 5*n = 18. Is (r + 3 + -408)*(-1)/2 a composite number?
True
Let y(x) be the third derivative of 3*x**6/20 - x**4/24 + x**3/3 - 11*x**2. Is y(3) prime?
False
Suppose 0 = -5*j + j - 8728. Let c = 125 - j. Is c a composite number?
True
Suppose 0 = -5*g + z - 4, -25 + 5 = -5*z. Suppose -4*x + 18 = 2*i, 3*i - 4*x + g*x = 47. Is i a prime number?
True
Suppose -210*h + 200*h = -139570. Is h prime?
False
Suppose -5*z - f + 806 = -0*z, z = f + 166. Suppose 2*l - z = -0*l. Suppose 3*b - 2676 = l. Is b prime?
True
Let r = -4 + 6. Suppose -r*n = -126 - 48. Is n a prime number?
False
Let y = 16 + -38. Let l be (-33)/y*(-8)/(-3). Is 656/l + -1 - 2 a prime number?
False
Let n(w) be the second derivative of -w**5/20 - 11*w**4/12 + 10*w**3/3 - w**2/2 + 15*w. Is n(-14) composite?
False
Suppose -f = -25*f + 55992. Is f composite?
False
Let v(a) = 2*a**2 + 29*a + 18. Let g be v(-14). Suppose r + 2 = g, -3*c + 1151 = 4*r. Is c a composite number?
True
Let f(y) = 329*y**2 - 24*y - 1. Is f(4) prime?
True
Let z = 368 + -145. Is z composite?
False
Let r(i) = i**2 - 16*i + 7. Let g be r(14). Let v = -21 - g. Suppose v*b - b = -33. Is b composite?
True
Let z = -911 - -3370. Is z a composite number?
False
Let s(h) = 27*h**3 + 11*h**2 - 29*h + 20. Is s(7) a composite number?
True
Suppose -5*r + 6*r - 16 = 0. Let q(k) = 8*k**2 - r*k**2 - 7*k + 9*k**2 + 7. Is q(10) a prime number?
True
Suppose 8*i - 15 = 4*r + 3*i, r - 12 = -4*i. Suppose r = 2*s + 8, 4*s + 6 = 4*g + 2. Is (1 - g)*134/8 a composite number?
False
Suppose -16*w = -20*w + 11252. Is w prime?
False
Let q(o) = -o - 4. Let c be q(-5). Suppose 55*k = 44*k - 99. Is -1 - (2 + c)*k composite?
True
Let u = -68 + 69. Is -2 + (1 - u) + 2581 a composite number?
False
Is 98916/14 + (-24)/(-42) a prime number?
False
Let m(a) = 648*a + 4. Let d(z) = -1945*z - 11. Let i(g) = 3*d(g) + 8*m(g). Let y be i(1). Let l = y + 947. Is l composite?
True
Let b(j) = 3*j**2 + 8*j - 5. Let t be b(9). Let s = t - -63. Is s a prime number?
True
Is (-46)/253 + (-66158)/(-22) a prime number?
False
Suppose 3*y - 1 = 5. Suppose -y*x + 8 = -b + 1, b = x - 2. Is 2*789/18*b a prime number?
True
Suppose j - 19 = -3*n + 6*j, -37 = -4*n - 5*j. Suppose -5*l = -3*l - n. Suppose 2*c - 992 = -l*x - 0*c, 0 = -2*x + 5*c + 484. Is x a prime number?
False
Suppose -1077 = -8*l + 5*l. Suppose -l - 1687 = -6*f. Is f a composite number?
True
Suppose j - 1400 = -4*j. Let y = j - 146. Suppose 3*a - y + 32 = 0. Is a prime?
False
Let a(j) = -10*j + 133. Is a(10) a composite number?
True
Let a = -23532 + 55405. Is a composite?
False
Let z(g) = -282*g - 1. Let w be z(-6). Let j = w - 1178. Let b = j - 302. Is b a prime number?
True
Let v(t) = -6 + 2*t**3 + 31*t + 29*t**2 + 17 + 0*t**3 - 1. Let l(z) = -z**3 - 15*z**2 - 16*z - 5. Let y(n) = -11*l(n) - 6*v(n). Is y(-8) prime?
True
Suppose -2*g - 9 = -1. Is (-355)/(-25) - g/(-20) a composite number?
True
Let l(t) = -t - 7. Let u(c) = 2*c + 7. Let z(s) = -4*l(s) - 3*u(s). Let i(w) = -w**2 - 6*w + 3. Let q be i(-7). Is z(q) composite?
True
Let w = 4023 - -9626. Is w composite?
False
Let d(h) = -2*h - 5. Let p be d(-5). Suppose 0 = -p*o + 155 - 25. Is o a composite number?
True
Let z(y) = 852*y**3 + y. Is z(1) composite?
False
Let z(c) = -c**3 - 5*c**2 - 5*c - 4. Let k be z(-4). Let o(s) be the second derivative of s**5/20 + s**3/3 + 1195*s**2/2 - 18*s. Is o(k) a prime number?
False
Let r be (2/(-6))/((-27)/(-2106)). Is 0 + 10897/9 - r/117 a prime number?
False
Let g be (-290)/2 - 5/5. Let u = g + 413. Suppose 0 = -5*d + u + 68. Is d a composite number?
False
Let z(h) = h**2 - 8*h + 11. Let m be z(8). Let s(r) = -36*r - 17. Let c(g) = 35*g + 17. Let j(y) = 6*c(y) + 5*s(y). Is j(m) a prime number?
True
Suppose -5*o = -4*c + 153, c - 46 = 3*o + 1. Let b(t) = -4 + c*t + 4 + 4 - 6. Is b(8) a composite number?
True
Let t = 307 - 128. Is t composite?
False
Let s(r) = -2 + 36*r - r + 14*r + 1. Let u be 0/(-1 + -2) + 3. Is s(u) prime?
False
Suppose -54 = -5*u - 4*u. Let w = u - -40. Is w prime?
False
Let f(d) = 27*d**3 - 2*d**2 + 6*d - 3. Let a be f(5). Let o = a - 1999. Suppose -o = -5*l + 742. Is l composite?
False
Let n be 2615 - 0/(-2) - (32 - 32). Let q = -1218 + n. Is q a composite number?
True
Let z(d) = 18*d - 23. Suppose 6*m - 7*m - g = -11, 4*m - 2*g = 56. Is z(m) a composite number?
False
Is ((-152042)/(-176))/((-1)/(-8)) prime?
True
Let c = 40521 - 24584. Is c a composite number?
False
Let a = 64219 + -35657. Is a a prime number?
False
Let x(k) = -k**2 + 11*k + 3. Let r be x(8). Is 556/3 + r/(-81) prime?
False
Is ((-14852)/(-12) - -3)*18/4 a prime number?
False
Suppose -3*f + 1938 = -5*s, -842 = -2*f + 5*s + 455. Is f composite?
False
Suppose -2*x = 1 + 13. Let u(k) = -k**3 - 2*k**2 + k + 4. Let i be u(x). Let o = i - 27. Is o composite