 17. Let u be o(10). Suppose 4083 = 16*m - u*m. Is m composite?
False
Suppose -3*x + 0*x - 2*p + 27057 = 0, 9026 = x + 3*p. Is x a prime number?
False
Suppose -4*v - 3*r = 6207, 2*v - 1115 = -2*r - 4217. Let j = v + 2297. Is j prime?
True
Let p(w) = -w + 19. Suppose -2*n + 16 = -3*r + 63, 4*r + 2*n = 72. Let z be p(r). Suppose 79 = -z*l + 347. Is l a composite number?
True
Let i = 8 - 11. Let k be (-204)/(0/i + 1). Let g = -125 - k. Is g prime?
True
Suppose 0 = 16*j - 427686 - 340538. Is j a composite number?
True
Is (-37)/222 - (-56654)/12 composite?
False
Is (-656636)/(-84) - 4/42 a composite number?
False
Let p = -4 - -19. Let i(h) = 5*h**2 - 10. Is i(p) a composite number?
True
Is 10/4*(3 + 57046/10) a composite number?
True
Let o = 6 + -10. Let r be -34 - (o - (-1 + -2)). Is (r/(-5))/((-2)/(-10)) a prime number?
False
Let a(w) = 2*w**3 - 18*w**2 + 2*w - 11. Let k be a(9). Suppose -k*v + 11431 = -154. Is v prime?
False
Suppose 727 - 163 = 3*d. Suppose -2*g + 76 = -5*z + d, -4*z + 100 = g. Suppose -w = -5*w + z. Is w prime?
False
Let q(w) be the third derivative of 7*w**4/3 - w**3/6 - w**2. Suppose 4*k - 1 = 3. Is q(k) composite?
True
Suppose -49*s = -33*s - 6032. Is s prime?
False
Let h(g) = -1857*g + 49. Is h(-4) prime?
True
Suppose 0*b - 10 = 3*y + 2*b, 2*y - 2*b - 10 = 0. Suppose -r - 3*d = 24 - 5, y = 3*r - 5*d + 1. Let m(q) = -q**2 - 14*q - 10. Is m(r) a composite number?
True
Let p = 9 - 5. Let l be (233/(-2))/((-3)/6). Suppose -27 - l = -p*o. Is o prime?
False
Suppose 2771 = -11*w + 7710. Is w a prime number?
True
Let z(l) = -5485*l - 97. Is z(-3) prime?
False
Let k = -5793 + 8314. Is k a composite number?
False
Suppose x - h - 147 = 2*h, -5*h + 107 = x. Let b be -1 + 4 - (1 - x). Is (5/10)/(1/b) prime?
True
Suppose -3*l = -4*m + 3, 2*m - 4*m - 2*l + 12 = 0. Suppose -n + 2*p + 159 + 106 = 0, 3*n - m*p = 801. Is n composite?
False
Let z(n) = -12*n + 38. Let b be z(-11). Suppose -2*x = -76 - b. Is x prime?
False
Is (((-44)/8)/11)/((-2)/32836) composite?
False
Let y(n) be the second derivative of -n**5/20 + n**4/2 - 2*n**3/3 - 3*n**2/2 + 8*n. Let m be y(5). Suppose m*v = 2*k - 382, -3*v = 6 + 6. Is k prime?
False
Is 10854/1 + (49 - 41) a prime number?
False
Suppose -140 = -2*l + 140. Let z = l - -69. Is z prime?
False
Let x(a) = 37*a**2 - 3*a + 2. Let i be x(1). Is (i + 1)*(6 + -5) prime?
True
Suppose 0 = -5*q, -12979 = -5*n - 5*q + 4386. Is n prime?
False
Suppose 0 = -5*c + 13*u - 18*u + 8255, 4*u = -5*c + 8253. Is c a composite number?
True
Let r(v) = 337*v + 43. Let l(o) = -505*o - 64. Let n(b) = -5*l(b) - 7*r(b). Is n(7) a prime number?
True
Let u be 2 + 0 - -1*1. Suppose -7*x + 5*x + 10 = 0. Suppose -x*z - u*w = -4*w - 39, 4*w = -z - 9. Is z prime?
True
Let w(s) be the third derivative of s**4/24 + 5*s**3/6 + 7*s**2. Let l be w(-3). Suppose -413 = -3*h + 2*a + 2*a, -275 = -l*h + 3*a. Is h a composite number?
False
Let i(s) = s**2 - 13*s + 7. Let y be i(7). Is (-5)/(105/(-76959)) + (-10)/y prime?
False
Let v = 10217 - 1102. Is v prime?
False
Let k(t) = 2*t**2 + 13*t - 5. Suppose -5 = -3*x + 4*x, 2 = a - 4*x. Is k(a) prime?
True
Let t be (36/(-60))/(1/(-5)). Suppose 8*s - 1055 = t*s. Is s*(-2 + 3 + 0) composite?
False
Let q(g) = -13*g**2 + 8*g + 4. Let w(y) = 14*y**2 - 8*y - 3. Let b(a) = 2*q(a) + 3*w(a). Is b(-8) prime?
True
Let u = 32 - 39. Let n(a) be the third derivative of -77*a**4/24 - a**3 - 3*a**2. Is n(u) a prime number?
False
Is ((-7)/((-105)/(-76578)))/((-2)/5) prime?
True
Let f(b) = 548*b**2 - 4*b - 3. Let o be f(-2). Suppose -j = 3*j + 6264. Let k = j + o. Is k a composite number?
False
Let c = 26 - 25. Let o be (1 - (-2 + c))*-397. Is o*(-2)/(-3 - -7) prime?
True
Suppose -4*i + 4*r + 78880 = -191080, -2*r = -10. Is i a prime number?
False
Let j = -923 - -6912. Is j/4 + 3/(-12) - -2 a prime number?
True
Suppose x + 0*x - 300 = 0. Suppose -x = -2*o + 224. Suppose i - o = -2*j - 4*i, j - 117 = i. Is j composite?
True
Is 499 + 10/(-2) + -7 prime?
True
Suppose 3*k = 9*k - 47016. Suppose -b = 5*n - k, 2*b - b = -3*n + 4702. Is n composite?
False
Let p = 4760 + -3172. Is ((-1)/(-2) - 0)/(2/p) a composite number?
False
Let o = 14 + -5. Let g(l) = -l**2 + 13*l - 1. Is g(o) a prime number?
False
Let l = 39 - 31. Suppose -l*d + 6*d = -94. Is d a composite number?
False
Suppose -85711 - 19563 = -26*k. Is k a composite number?
False
Suppose -8*k + 38 = -2. Let t(d) = k - 2 + 12*d**2 + 7 - 4 + 5*d. Is t(-4) composite?
True
Suppose 55*k - 17960 = 50*k + 3*t, 5*t = -25. Is k prime?
False
Suppose 24*x = 36*x - 40884. Is x prime?
True
Let i(l) = l**3 - 18*l**2 - 76*l + 22. Is i(29) a composite number?
False
Let p(s) = -s**3 - 5*s**2 + 2*s + 7. Let q be p(-5). Let f be 5*(6 + q)*9. Suppose k = -20 + f. Is k composite?
True
Let l(k) = 9*k**2 - 12*k - 88. Is l(-19) composite?
False
Is 5 - 28/3*8697/(-26) a prime number?
False
Let z(u) = -u + 265. Let t(s) = -s - 2. Let m be t(-2). Let b be z(m). Suppose 4*x + x - b = 0. Is x prime?
True
Let b(x) = -3*x**2 - 17*x - 23. Let n(j) = -2*j**2 - 9*j - 12. Let i(c) = 3*b(c) - 5*n(c). Let s be i(8). Suppose s*g - 7795 = 2*g. Is g a prime number?
True
Suppose 65261 = 4*m - 5*z, -5*z = -19*m + 22*m - 48972. Is m prime?
True
Let l(a) = -2*a**2 + 2*a + 10. Let g be l(0). Is -1551*((-19)/39 - g/(-65)) a prime number?
False
Suppose 58557 - 388705 = -28*k. Is k composite?
True
Let o = 83 - 78. Suppose 0 = -0*s - s + o*t + 231, -3*s + 3*t = -645. Is s a composite number?
False
Let x(j) = j**2 - 3*j + 4. Let p be x(3). Suppose 5730 = v + p*v. Is 1/((-2)/v*-3) a prime number?
True
Let d = -71 - -68. Is (12/(-9) - -1)*(d + -378) a prime number?
True
Let m = -11790 - -17117. Is m prime?
False
Suppose 5*x - 17 = 1118. Let u be 6/8 + 555/(-4). Let f = x + u. Is f prime?
True
Suppose -10 = -0*c - 2*c + 3*r, 0 = -2*c - r - 6. Let m(o) = 42*o - 2. Let i be m(c). Is (164/(-16) - -3)*i a prime number?
False
Is 3 + 2 - 7 - (3 - 919) a composite number?
True
Suppose -3*i - 8 = 4*h, -i = -h - 6 + 4. Let g be (-34)/(-6) - h/(-3). Suppose -g*f + 860 = -f. Is f a composite number?
True
Let r(l) = -11*l**3 - 8*l**2 + 12*l**3 + 11 + l + 5*l. Is r(8) prime?
True
Suppose 6*k - 4*k + 16512 = 0. Is (-3)/(-15) + 0 + k/(-20) composite?
True
Suppose -g - 4 = y, 5*g = -4*y + y - 26. Let l(j) = 5*j**2 + 8*j + 2. Is l(g) a composite number?
False
Let n(q) = -q**2 - 6*q + 4. Let k be n(-6). Let c(s) = s**2 - 3*s - 7. Let m be c(k). Let l(o) = 53*o**2 - 2*o + 4. Is l(m) a composite number?
False
Let c = 12 - 39. Let o = 211 + -145. Let s = c + o. Is s composite?
True
Let g = 31 - 53. Is (-19 - -5)*g/4 a composite number?
True
Let q = -9 - -21. Suppose 112 = 2*w - q. Let v = 273 - w. Is v a prime number?
True
Suppose 1 = 3*o - 2. Let c be o - -4*3/6. Let i(r) = 14*r**2 - 2*r + 7. Is i(c) prime?
True
Suppose 4*v = 4*g + 8, -2*v = -g + 3*g + 8. Let x be (7/(-2) - g)*-1172. Suppose 4*o - x = 2*o. Is o composite?
False
Suppose 0 = -5*t + 7857 + 25443. Is (8/2 - t/2)/(-2) prime?
True
Let u(l) = -l**2 - 4*l + 6823. Is u(0) composite?
False
Let d = 13 + -16. Let z be (4/(-6)*d)/1. Let s(c) = 11*c**2 + 2*c - 2. Is s(z) prime?
False
Suppose 4*k = 2*d - 24374, -4*d = d - 2*k - 60935. Is d a prime number?
False
Suppose -5*i + 152 + 973 = 0. Is (-2138)/(-18) + 50/i a composite number?
True
Let m(w) = 365*w + 1080. Is m(29) composite?
True
Suppose 6*a - 213 = 20205. Is a a composite number?
True
Let k be 19332/45 - 6/10. Suppose 5*j - 1556 = k. Is j composite?
False
Suppose 0 = -d - 2*l + 17 - 1, 4*d + 5*l = 49. Suppose 0 = j + j - 4*c - d, -4*j + 12 = 4*c. Is j + 42*16/2 a prime number?
False
Let n(y) = 6*y**3 + y**2 + 9*y + 30. Let o be n(16). Suppose 5*g = o - 4241. Is g a prime number?
True
Suppose 5*y = 0, 3*a + y - 2802 = -y. Is a a prime number?
False
Let y = 2247 - 1538. Suppose 2*u + y = 2091. Is u a composite number?
False
Let k be 0*((-4)/6)/(-2). Let y(d) = 2 - 2*d**3 + 8*d - 5*d + k - 4*d**2 + 64*d**3. Is y(3) a prime number?
False
Let i(t) = 96*t**2. Let z be i(1). Suppose a + z = 4*a - 3*b, 4*a - 92 = -5*b. Suppose -a = -2*v + 14. Is v composite?
True
Let q = -133 - -118. Let i(f) = -123*f - 34. Is i(q) composite?
False
Let r(o) = 196*o**3 + o**2 - 2*o + 2. Is r(3) composite?
False
Is (20/((-25)/(-5)) - 5) + 18548 prime?
False
Let