 = -70 + 74. Suppose 5*y + 2*d - 595 = 6*d, -q*y - 3*d = -476. Is y composite?
True
Let h(z) = 99*z**2 + 71*z - 1. Is h(-6) a composite number?
False
Let n be -1 + 0 + 0 + 43 + -46. Is 3/(-1) - (n/2 - 164) a prime number?
True
Let u(q) = 70*q**2 - 2*q - 1. Suppose 31*z - 35*z + 16 = 0. Is u(z) composite?
True
Let y be 3 - -75*8/(-6). Let i = 170 + y. Suppose 3*s - i = 20. Is s a prime number?
True
Suppose -35*j + 33*j + 4 = 0. Suppose 6*k - j*k = 1052. Is k a prime number?
True
Let d(v) = 18*v**2 + 6*v + 2. Let g be d(-6). Suppose 5*u + b - g - 241 = 0, 152 = u + 4*b. Suppose 5*r = r + u. Is r composite?
False
Let v(l) = l**2 + 29*l + 16. Let n be v(16). Let g be -394 + (-3 - -1)/2. Let p = n + g. Is p prime?
False
Suppose d - 808 - 3133 = -2*u, -u - 3*d = -1958. Is u composite?
False
Let z(f) = 159*f**2 - f + 11. Let y be z(-4). Suppose 0 = -0*q + 3*q - y. Is q prime?
True
Let f = -3 + -2. Let d(n) = n**3 + 2*n**2 + 3*n + 4. Let q be d(f). Let i = 59 - q. Is i a composite number?
True
Let z(b) = -2 + 8 - 8 + 0 - 2110*b. Let w be z(-1). Is (-6)/4*w/(-6) a composite number?
True
Let v = -12 + 12. Suppose v = 8*z - 4*z + 12460. Is z/(-28) + (-1)/4 prime?
False
Suppose 3*b + 889 = q, -2*q + b = 6*b - 1811. Is q a composite number?
True
Let b = 21 - 18. Is (1 - 9)/(12/(-966)) - b composite?
False
Suppose 37127 = 2*r - 17363. Is r a prime number?
False
Let l be (6/(-39) - 24/13)*-1801. Let x = -1909 + l. Is x prime?
True
Is (-34556 - 1)*(-98)/294 prime?
True
Let o = 7288 - 1121. Is o prime?
False
Let a(f) be the third derivative of -31*f**4/6 - 29*f**3/6 + 14*f**2. Is a(-10) a composite number?
True
Let s(g) = 69*g - 119. Is s(12) a composite number?
False
Let f be -19*(-1 + -18)*1. Let s(h) = -h**3 + 2*h**2 + h + 1. Let a be s(2). Suppose 4*o + f = a*z, 5*o - 152 = -0*z - z. Is z composite?
False
Let l = 20 - 5. Let h = l + -10. Suppose -h*i + 2263 = 2*o, -2*i + 0*o + 914 = 3*o. Is i prime?
False
Let g(k) be the second derivative of -k**3/6 - 5*k**2/2 + 5*k. Let r be g(-10). Suppose -r*d = -0*d - 805. Is d a prime number?
False
Let t = 260 - 173. Suppose 4*o - o - t = 0. Let p = o - -194. Is p prime?
True
Let p = 79 + -69. Is 2*(-9)/(-12) + 77135/p a composite number?
True
Let s(w) = -1806*w - 383. Is s(-9) prime?
False
Let g(f) = -f**3 + 15*f**2 + f + 1. Let i be 6*(-2)/4 + -167. Let a be i/(-12) + 12/(-72). Is g(a) a prime number?
True
Let y(s) = s + 2. Let h be y(11). Let c = 16 - h. Suppose 2*r = c*r - 83. Is r prime?
True
Suppose 4*n = -3*j + 37, -31 = -3*n - 0*n + j. Suppose -4*q = 20, -6 = -3*k + 2*q + n. Is 4/k - -586 - 1 composite?
False
Suppose -26*o - 128105 = -31*o. Is o prime?
True
Let b(x) = 198*x + 4. Let m(f) = 397*f + 9. Let o(u) = -5*b(u) + 2*m(u). Let a be 0 + (-1 - 0/1). Is o(a) composite?
True
Let d(w) = 25*w**2 + 17*w - 23. Is d(-15) a composite number?
False
Let g = 539 + -286. Is g composite?
True
Suppose 616 = 2*k - 650. Is k a composite number?
True
Let r(w) = 20*w**2 - 3*w - 29. Is r(-9) a prime number?
False
Let s = -3 - -3. Let q(g) = 16*g**2 + s*g - g + 14*g**2. Is q(-1) prime?
True
Let b(r) = r**3 - 8*r**2 - 9*r + 2. Let s be b(9). Let k be (s - 1) + 4/4. Is k - -211 - (-8)/(-4) composite?
False
Suppose -5*w - 5*k - 17375 = 0, 2*w + 2*k + 13906 = -2*w. Let h = w - -6677. Is h a composite number?
True
Let a = 0 - -18. Let v be ((-3)/(-2))/(a/24). Suppose 370 = 3*h + v*h. Is h a composite number?
True
Suppose 106949 = -32*z + 548581. Is z a composite number?
True
Let t(d) = d**3 - 8*d**2 - 2*d - 17. Let c(a) = -a**3 + 13*a**2 - 10*a - 4. Let l be c(12). Suppose l = 3*w - 10. Is t(w) a composite number?
False
Let a(h) = 76*h + 10. Let o(v) = -v + 1. Let c(s) = a(s) + 5*o(s). Is c(8) a prime number?
False
Suppose -5*m + 2*n + 57505 = 5*n, 46021 = 4*m - n. Is m/8 + (0/(-2) - -3) prime?
False
Let s = 35 + -37. Let n(j) = -1072*j - 21. Is n(s) a prime number?
False
Suppose 2*m = -s + 34399, 5*s + 34417 = -6*m + 8*m. Is m prime?
False
Let b(t) = 506*t**2 - 70*t + 13. Is b(7) composite?
False
Let r(c) = 170*c + 1. Let j be r(1). Let b = -101 + j. Let i = 155 - b. Is i a composite number?
True
Is 83*(-1 + 4 + -4 + 128) composite?
True
Suppose -5*j - 2*k + 20 = -7*k, j + 2*k = -2. Suppose -j*p + 0 = -4. Suppose 3*r - r - 26 = s, 4*r + p*s - 68 = 0. Is r composite?
True
Let x(j) = 4*j + j - j**3 + j**2 + 104 - 5*j. Let v be x(0). Suppose 0*g + 3*a = 4*g - v, -3*g + 3*a = -78. Is g a prime number?
False
Let i(z) = -13*z**3 - 22*z**2 - 7*z + 5. Is i(-6) a composite number?
False
Let y(p) = 5*p**2 - 8*p - 3. Let z(a) = -4*a**2 + 8*a + 4. Let r(c) = -3*y(c) - 4*z(c). Let o be r(-10). Is 1 + o + 2 + 1 a composite number?
True
Let q be (6/(-9) + (-8)/(-3))*2. Let h(f) = f**3 + 6*f**2 + 5*f + 5. Let j be h(-5). Suppose -j*b + 9 = -q*b. Is b a prime number?
False
Let t = 1329 - -5842. Is t prime?
False
Suppose -3*a + 108935 = 4*w - 28259, -w + 3*a + 34291 = 0. Is w a composite number?
False
Let v(f) = -f**2 - 12*f + 4. Let o be v(-6). Let d be 2/(-13) - (-3712)/(-208). Let k = o + d. Is k a composite number?
True
Let m = -24019 + 48336. Is m a prime number?
True
Let c(j) = j**2 - 3*j + 15. Let a(f) = -f**2 - 10*f - 11. Let w = 14 - 24. Let v be a(w). Is c(v) prime?
False
Let a be 2 - (-5 + (-6)/(-3)). Suppose -a*w = -20, -3*w + 588 = 3*v + v. Suppose 0 = 5*k + 2*f - 259, -v = -6*k + 3*k - 5*f. Is k prime?
True
Let x(n) be the first derivative of 143*n**2/2 - 24*n - 21. Is x(7) a prime number?
True
Let g = -48837 + 91314. Is g a composite number?
True
Let f(w) = 4*w**3 - 2*w**2 + 3*w - 1. Let c be f(1). Suppose -5*b - 2*t + 20735 = 0, -2*t = c*b - 5*t - 16565. Is b composite?
True
Let v(b) = 270*b - 2. Let o be v(1). Let p = 519 - o. Is p a prime number?
True
Suppose -2*n = 5 + 3, -5*n = -4*j - 408. Let u = j - -428. Is u a composite number?
True
Let p = -11 + 9. Is (6/p)/((-30)/16930) prime?
True
Suppose -3*x + 20 = 5. Let u = -202 + 202. Suppose -3*i = -2*c - c - 1227, x*c + 10 = u. Is i composite?
True
Suppose 4*u = -0*u + 8, 332757 = 5*l - 4*u. Is l a composite number?
False
Suppose 2*b + 3*v - 2*v = 11110, -5*b - 3*v = -27774. Is b/60 - (-4)/10 a prime number?
False
Suppose 6*c = 13537 - 2119. Is c prime?
False
Suppose -4*v + 19222 = -15918. Is (v/15)/((-3)/(-9)) a composite number?
True
Let j(y) = y**2. Let q(x) = x**2 - 5*x + 9. Let s(m) = m**2 - 3*m + 1. Let k be s(2). Let t(r) = k*q(r) + 2*j(r). Is t(-11) a prime number?
False
Let x = -141 - -233. Suppose 782 = 5*q + x. Suppose -3*y - 5*k = -74 - q, -380 = -5*y - 3*k. Is y a composite number?
False
Let t be (-21074)/(-14) + 10/(-35). Suppose 5*j - 7*j + t = 5*i, -4*j + 5*i + 2965 = 0. Is j a prime number?
False
Let z(p) = 12*p**3 - 3*p**2 + p - 1. Let w(o) = o**3 - 1. Let r be w(-4). Let i be (-120)/r - (-2)/13. Is z(i) composite?
True
Let w(n) = 24*n - 3. Let j be w(3). Let a = 216 + -210. Suppose a*x - j = 45. Is x a composite number?
False
Suppose -5*d = -6*d - 1. Is 4 + 1108/2 + d a prime number?
True
Suppose -3*n = -w - 0*w - 28, 0 = -4*w + 3*n - 67. Let a = w - -13. Suppose 0 = -3*p - 12 + 3, 4*m - p - 271 = a. Is m composite?
False
Suppose 5*u - 5*y = 60200, 0*y = -4*u - 3*y + 48139. Is u composite?
False
Let s(z) be the second derivative of -33*z**3 - z**2/2 - 3*z. Suppose 0 = 5*h - 3*h + 4. Is s(h) composite?
True
Suppose -12*u + 47 = -61. Let r(y) = y**3 + 2*y**2 - 2*y. Let g be r(2). Is u/g - 353/(-4) prime?
True
Suppose -8368 = 48*r - 73984. Is r a composite number?
False
Let r = -34 + 40. Suppose 2*n - 5*f = r, 3*f + 1 = -3*n + 10. Suppose 2*t - t - 394 = 5*o, -n*o = -3*t + 1146. Is t a prime number?
True
Let w(h) be the second derivative of -h**4/6 - h**3/6 - h**2 + h. Let r be w(2). Is (-6)/r - 65/(-2) a prime number?
False
Suppose -4*x - x + 13 = 4*i, 3*i - 2*x - 4 = 0. Suppose -4*o + o - 4*d - 471 = 0, 0 = -i*o - 2*d - 312. Let u = o + 974. Is u prime?
True
Let h(n) = 2*n**2 - 5*n - 2. Let a be h(-4). Let v be (-3)/(-2)*a/15. Suppose -4*f - 3*x = -1349, f - 71 = -v*x + 279. Is f prime?
False
Suppose 2*q = -13 + 1. Let s(o) = 15*o**2 + 7*o + 8. Let n be s(q). Suppose -p = a + 4*a - 152, -n = -3*p - 5*a. Is p a composite number?
True
Let r(w) = 5*w**3 + 4*w**2 - w + 7. Let x be r(3). Let a be -9*(2/(-3))/1. Suppose p + x = a*p. Is p a composite number?
True
S