j - h*j + 5*c. Solve 2*n = s - n - 1, -2*n = j*s - 5 for s.
1
Let l be (-3)/((-105)/1173 - 2/23). Solve 3*a + 16 = -2*t, -2*a + l*t - 19*t - 14 = 0 for a.
-2
Let v(n) = 206*n - 192. Let d be v(1). Solve -14 = 2*f + p, -3*p = d + 4 for f.
-4
Let v = -3038 - -3060. Solve -5*a + 9 = -2*i + 17, -v = -2*a + 5*i for a.
-4
Let r = 6 + 50. Let x = r + -54. Let k be (-138)/(-42) - x/7. Solve -2 = -2*u + c, -2*c = 2*u + k*c + 10 for u.
0
Let r(y) = -2*y**2 - 49*y + 484. Let b be r(-32). Solve -b*m - f + 10 = m, 2*m + 3*f + 9 = 0 for m.
3
Suppose 2*f = 2*b + 18, 3*b - 4*f + 26 = -0*f. Let k(h) = -16*h + 15*h - 23 + 5 + 4 + 8. Let g be k(b). Solve -4*c - g*r + 12 = 0, -2*c + 4 = -r + 4*r for c.
5
Let l = 559 + -551. Let v be (-6)/l*(-392)/147. Solve -v*r + 6 = r, 2*k + 3*r = 8 for k.
1
Suppose 2*o - 4*o = -28. Suppose 3*j + 1 = 4, 4*m - o = -2*j. Solve -5*i + 4*v + 16 = 0, -4*v = -i + m*i + 16 for i.
0
Suppose -2*v = 0, 2*a + 3*v - 5*v = 8. Suppose 0 = a*y - 3*t - 73, -y = -3*t + 2*t - 17. Solve h + 5*o = y, h + 2*o = 4*o - 13 for h.
-3
Let j(m) = -m**2 - 33*m - 137. Let i be j(-6). Solve 0 = -3*x + 2*t - i, 0 = -4*x - 4*t - 0*t for x.
-5
Let f be 3 - 332/4*1. Let x be (f/55)/8 - (-92)/22. Solve -5*z - x*b = -18, 0 = 3*b - 4 - 2 for z.
2
Suppose 5*p - 4365 = s, -4*p + 3382 = 5*s - 139. Let o = p - 864. Solve 2*c - 4 = 2*r + 3*c, 5*r + 2*c + o = 0 for r.
-2
Let c = 13268 - 13268. Suppose 3*r - 2*j = 23, 5*j + 10 = -r - 5. Solve t + r*x - x + 3 = 0, 2*t - x - 12 = c for t.
5
Suppose -7*z = -14*z. Let h(q) = 2*q**2 + 2*q + 5. Let l be h(z). Suppose 0 = -l*j - 0 + 25. Solve 15 = -j*d + 3*u, d - 2*u - 2 = -12 for d.
0
Let n(a) = 5*a**2 + 6*a + 5. Let y be n(-1). Let p be ((-84)/(-18))/(4/6) + -3. Solve y*z = p*l - 4, 0*l + 3*l = 0 for z.
-1
Let h(g) = -g**3 - 3*g**2 - g - 3. Let a be h(-3). Let k = 27501 + -27496. Solve 3*c - k*s + 21 = a, c + 3*s + 2 = 9 for c.
-2
Suppose -15 = -386*y + 381*y. Let i(x) = -x + 11. Let l be i(11). Let g = 3 - l. Solve -5*w - 2*z - 3 = -y*z, -3*z = g*w - 9 for w.
0
Let c(d) = -d**3 - 5*d**2 - 7*d. Let g = 42 + -45. Let j be c(g). Solve 3*n = 5*a + 7, 2*n - j*n + 5*a - 1 = 0 for n.
4
Suppose 2*o - 4*f - 40 = 0, 46*f = -4*o + 49*f + 55. Solve -y - 2 = 64*t - 69*t, -3*t = -5*y - o for y.
-2
Let u = -2107 - -2109. Solve 4*m - 2 = 3*h - u*h, 0 = 3*h - 6 for m.
1
Suppose 4*z + 2*w = 10, 0 = w + 5 - 0. Suppose 0 = -4*g + 3*g + z. Solve -12 = 4*j + c, g*c - 13 - 7 = 0 for j.
-4
Let v = 5 + -3. Suppose 0 = -18*l + 19 + 233. Suppose 0 = 18*s - l*s - 5*n - 17, 3*s + 5*n = 4. Solve -4*f = 2*h - 6, v*h - s = 2*f - 3*f for f.
1
Suppose 24120 + 17103 = 25*b + 10523. Solve 11 = -2*l - 5*g, b*l - 1233*l + 4*g = 11 for l.
-3
Let o = 57142 + -57132. Let r = 17 + -11. Let n = r + -4. Solve g = -0*b + 2*b + o, -n*b - 4*g = 0 for b.
-4
Suppose -9*s + 226 = -11*s. Let t = s - -135. Solve -4*f - 13 = -2*n + 7*n, -4*f + 2*n = -t for f.
3
Let u(h) = -14*h - 1712. Let q be u(-123). Solve -2*l - q = 4*a, -3*a = -8*l + 10*l + 5 for l.
5
Suppose 2*c = -0*b + 2*b - 14, -3*c = -4*b + 23. Suppose 0 = -r + 4*x + 54, 4*r + 12*x + 36 = 7*x. Solve -s + 6*o - 4*o = 2, b*o = -s + r for s.
2
Let p = -3440 + 3434. Let w(h) = 6 + 3*h - 6 + 20. Let l be w(p). Solve 0 + 2 = l*g + 4*c, g = c - 8 for g.
-5
Suppose 590*g - 603*g + 65 = 0. Solve -5*r - x + 19 = 0, -g*x = r + 13 - 36 for r.
3
Let d = 442 + -439. Suppose g + d*z - 6 = 5, 5*g = z + 7. Solve 4*t = -5*b - 16, g*t = 1 + 1 for b.
-4
Let v(j) = -154*j - 616. Let c be v(-4). Solve 5*m = -14*f + 10*f + 16, 5*f + 5*m - 15 = c for f.
-1
Suppose -2844*x + 2830*x = -28. Solve -8 = -i - 2*n, x*n - 4 = 4 for i.
0
Suppose 2 = -k, 2*l - 3*k = 12 - 70. Let c = 33 + l. Suppose c + 14 = 5*s. Solve 5*x - 3*a + a = 19, s = -x - 3*a for x.
3
Let x be -1 - -17 - 18 - (-4)/(-2). Let q be (-3 + 1)/(2/5). Let i be -2 - x - 4 - q. Solve i*z + u + u = -13, 3*z = -3*u - 18 for z.
-1
Suppose -8*y - 1 = -9. Let i be ((-4)/(-4) - y)/(0 + 1). Solve -s - 2*l + 3 = -0*l, i = -3*s - 5*l + 10 for s.
5
Suppose 4*g - 12 = z, g + 11 - 14 = 3*z. Solve 11 = x - g*b, -7*b = 4*x - 4*b + 16 for x.
-1
Suppose -2*s - b = 0, 2*b + 7 + 1 = 0. Suppose a - 3 - 2 = 0. Solve s*p + 2 = o + 11, -25 = -4*p - a*o for p.
5
Let p(g) = -2*g**2 - 476*g - 4118. Let a be p(-229). Let w = -5 - -7. Solve -2*k + w = a*u, 5*u - 2*k + 3*k = -2 for u.
-1
Suppose o - 5*n - 27 = -4, -5*o - 2*n = -61. Suppose -o*v = -44 - 60. Suppose 5*b - v*b = -15. Solve -5*t + b*z + 2 = -3, 0 = 2*t + 2*z - 6 for t.
2
Suppose 0 = t + 73*t - 417 - 397. Solve -3*k - 13*w - t = -11*w, -2*w - 8 = 2*k for k.
-3
Let p(m) be the third derivative of -m**6/120 + 7*m**5/30 + 9*m**4/8 - 2*m**3/3 + 5*m**2 + 3*m. Let t be p(-2). Solve 2*s = -3*i + t*i + 14, -i + 6 = 2*s for s.
4
Suppose 0 = j + 7 - 3. Suppose 43*h - 2*x - 112 = 39*h, 4*x - 46 = -h. Let o be h/j*54/(-81). Solve -2*c - 3*i = 25, 2*i = -o*c + c - 30 for c.
-5
Let b(q) = -q**3 + 30*q**2 - 222*q + 22. Let j be b(17). Solve j*v - 25 = g, -22*v - 4*g = -27*v + 40 for v.
4
Let h(m) = 3*m - 22. Let p be (9/(-4))/(5/(-20)). Let w be h(p). Suppose 19 = 4*r + 3*g, -2*g + 15 = 2*r + 5. Solve -3 = d, 0 = -r*t + w*d + 33 - 10 for t.
2
Suppose 3 = -30*p + 27*p. Let w be p/(5 - 16/3). Suppose -3*v + 5*t + 7 = -4, v + 2*t = 0. Solve -17 + w = 2*f + v*k, 3*k = f - 5 for f.
-4
Suppose -4*y + 2*x + 8 = -3*y, 2*y + 2*x = -2. Solve -h = 5, -10*t + 20 = -8*t - y*h for t.
5
Suppose 0*t + 8*t = 32. Suppose -t*s - 111 = -119. Suppose -12 = s*w - 20. Solve -c - 4*c = 0, 2*q - w*c = -10 for q.
-5
Let l(o) = 12*o - 165. Suppose -4*y + 5*w - 4*w = -58, 0 = 5*y - w - 72. Let k be l(y). Solve -4*s - k*f = -29, -2*f + 14 = 4*s - 4*f for s.
5
Let k(l) = 2*l - 2. Suppose 7*c - 10 = 2*c. Let s be k(c). Let h(z) = 975*z + 4882. Let t be h(-5). Solve -4*v = -5*g - 6, v - 5*g = -s*v + t for v.
-1
Suppose -18 = 5*y - 11*y. Let k(h) = 8*h + 15*h**3 - 9*h**3 + 25 - 25*h - 5*h**y + 17*h**2. Let x be k(-18). Solve 4*j = -4*i - i + 16, 3*j = i - x for j.
-1
Let s(f) = f**2 + 11*f - 77. Let i be 4 - ((2 - -1) + -6)/3. Let p be s(i). Solve -p*r + 2*r = -3*t + 8, -2 = -3*t - 2*r for t.
2
Suppose -5*r + 49 = -4*p, 9 = 4*r - p - 39. Solve -5*b - 20 = y, -4*y - 5*b + r = 48 for y.
-5
Let o = -302 + 307. Let c(v) = v**2 + 3*v - 31. Let h be c(o). Solve 3*q = 2*s - h, -s + 4*s = q - 4 for s.
-3
Let b = 14159 - 14158. Suppose 5*j = z + 3, 0 = 2*z - z + 5*j - 7. Solve -r = -b + 2, -2*r = -3*g + z for g.
0
Let a(q) = -q**3 + 11*q**2 - 26*q - 6. Let g be a(6). Solve -g = d - 5*f, 11*f - 15*f = 3*d - 22 for d.
2
Let j(h) = 3*h**2 - 55*h + 19. Let s be j(18). Suppose -b + s = -q, -3*q = -2*q - 4*b + 4. Solve 3*f = -4*u + 10, q = -f + u + 4*u - 22 for f.
-2
Let g(l) = -4*l + 4. Let u be g(-3). Suppose -2*s - 2*s = -u. Let m(k) = 7*k - 54. Let q be m(8). Solve -t - s*x - 1 = 0, 2*x + 3 - q = -t for t.
-1
Suppose 5*m - 18 + 8 = 0, 2*t - 2*m = -614. Let d = 310 + t. Solve -1 = -v, -2*k - d + 0 = -5*v for k.
0
Suppose -4 = -5*d + 14*b - 13*b, 3*b = d + 2. Solve 10*p - 5*p + 3*o - 3 = 0, o + d = -p for p.
3
Let i be (-2)/(-6) + 40/6. Let y be (30/35)/((-5)/((-315)/27)). Solve b + f - 4 = 0, -y*b = -b + 2*f - i for b.
1
Suppose 486 = -p + 509. Suppose 0 = 37*o - p - 88. Solve i - 5*m = 12, -2*m = i - o*m for i.
-3
Let d(z) = -595*z - 7133. Let v be d(-12). Solve -v*y + 4*g + 9 = -24, 0 = -4*g + 16 for y.
7
Let w(s) = s**3 + 13*s**2 - 20*s - 14. Let n be w(-14). Suppose x + 4*x - n = 0. Suppose -x = -j - 6. Solve 2*i - 4*b + 16 = -b, -j = 2*i + b for i.
-5
Let h(f) = f**3 - 4*f + 11. Let w(d) = 2*d**3 + 2*d**2 - 7*d + 23. Let q(m) = 5*h(m) - 2*w(m). Let g be q(5). Solve k + 3*k + g*t + 4 = 0, 4 = -t for k.
3
Let c be (18/15)/(14/35). Suppose 2*a + 2*k + 2 = 18, -4*k + 23 = a. Solve -5*o - 7 = d - c*d, -5*d - 29 = a*o for o.
-3
Suppose -42 + 21 = -3*f - 3*k, -5 = f - 2*k. Solve -3*v = 3*u - 18, f*v - 10 = 7*u - 2*u for u.
1
Suppose -4*y - 2272 = 3*g - 2474, -y = -3*g + 182. Solve 4*n + 4*s = 0, -65 + g = n - 2*s for n.
-1
Let i = 1401 - 1397. Solve v + 5*z + 25 = 5*v, -i*z - 20 = -v for v.
0
Suppose 1397*n - 1338*n = 118. Solve 0 = 5*x - 4*j - 142 + 106, x - n*j - 12 = 0 for x.
4
Suppose -2*z + 3*z - 13 = 0. Suppose 3*j - i - 1 = 0, 3*i = 4*j + z - 6. Suppose 33*h = 64*h - 62. Solve f + h*f - 7 = x, -4*x 