-s - 2*c for s.
2
Let i(s) = s**2 + 2*s - 14. Let u be i(6). Suppose -32 = -u*r + 32*r. Solve c - r = 4*j, -12 = -j + 4*j + c for j.
-4
Let f(h) = -h**3 - 15*h**2 - 14*h + 7. Let a be f(-14). Solve w = 4*y, y - a = w + w for y.
-1
Let u(v) = -5*v + 32. Let s be u(5). Solve -5*o + 2*t = s*t + 20, -o - 2*t - 5 = 0 for o.
-3
Suppose 0 = -v - 4*u + 51, 5*u + 29 = 5*v - 101. Let t = 34 - v. Solve -k + 0 = -t, 4*r + 7 = k for r.
-1
Suppose -27 = -m - 25. Solve 4*b = 2*y + 22, 3*b + m*y = -0*b + 6 for b.
4
Let l be 1*-72*95/(-76). Let k = l - 85. Solve -4*n = n - k*z + 10, 2*n - 5*z - 2 = 0 for n.
-4
Let s = 979 - 982. Suppose 5*i = -17 - 23. Let n = s - i. Solve 5*c + n*m - 20 = -55, 5*c = 2*m - 14 for c.
-4
Let q = 15 - 14. Let n = 0 - 0. Let v be (-5 - 1)*(-2)/4. Solve -v*k - 2*o = -q, 3*o + n*o = -4*k for k.
3
Suppose -4*r + 8 = -0*r + 2*l, l = -4. Suppose 4*q - 24 = -v - 4, -3*q = -3*v. Let u = v + -2. Solve -r*c - u*x + 4*x + 14 = 0, 4*c = 3*x + 19 for c.
1
Let l be -1*(-1 - 17 - (-21 - -17)). Solve -4*o = 3*u + 23, u = 4*o - o + l for o.
-5
Let r = 1311 - 1308. Solve k + 3*k = -2*a - 8, -r*a = 5*k + 8 for a.
4
Let y = 53 - 32. Suppose -y = -4*q - 5*x, 4*x = 3*x + 5. Let l be q*15/10*-2. Solve -10 = -2*f - 2*f + l*h, -f = 4*h - 12 for f.
4
Suppose -3*k = -o + 2, 6*o - 18 = 2*o + 2*k. Suppose 10 + 10 = 5*n + 5*p, -4*n = 2*p - 18. Solve j + 3*l = -o, -2*l - l = -j - n for j.
-5
Let r = -68 + 82. Suppose -20 = -2*n - r. Solve -n*y + y - 5*i - 9 = 0, -2*y + 9 = -i for y.
3
Let u = -4 + -3. Let n = u + 10. Solve -n*h + j + 11 = 6*j, -4*h - 8 = j for h.
-3
Suppose 73 = 31*m - 82. Solve 0 = 5*h - 4*y - 5, 3*h - 4 = -m*y - 1 for h.
1
Let y(u) = -u**3 + 11*u**2 + 3*u - 9. Let s be y(11). Suppose 8*w - 12*w = -s. Solve 0 = 5*d - q + 17, -2*q - w = -0 for d.
-4
Let x(z) = 4*z + 93. Let u(i) = -2*i - 47. Let v(t) = -5*u(t) - 2*x(t). Let p be v(-18). Solve 2*o - s + 8 = 0, -o + 4*s - 5 = p for o.
-2
Let j(w) = -49*w - 93. Let v be j(-2). Solve 5*n - v = -5*a, a + 1 + 1 = 2*n for a.
0
Suppose m = 3*f, 5 = 3*f - 3*m - 1. Let j be 52/(-12)*(f - 2). Solve -3*x = 2*s - j, -3*x - 2*x = 4*s - 23 for x.
3
Let g(v) = -v. Let q be g(-6). Solve 0 = 5*h + 2*z + 7, 2*z - 5*z + q = 2*h for h.
-3
Let q be (362/4 + -2)*14/(-21). Let z = 62 + q. Solve -z*y - 17 = -4*a, a - 2*a = 5*y + 13 for y.
-3
Suppose 4*i = 5*f - 23, -5*f + 3*i = -2*f - 15. Solve -3*a - 4*c = -0*c, -3 = f*a + 3*c for a.
-4
Let c = 4 + -2. Let y be 16/168*-3 - 60/(-14). Solve 0 = -y*u - 4*j + 4, c*j - 3 = -3*u - 5 for u.
-4
Let d(n) = -n - 1. Let r be d(-4). Suppose -y = p, 8*p - 3*y - 16 = r*p. Let g be (5/p)/((-1)/(-2)). Solve 3*m = -2*q, 0*q = 4*m + g*q for m.
0
Let w be (4*2/(-4))/(8/(-84)). Let q = w + -16. Solve -2*t = -5*k - 8, q*t - 2 - 18 = 0 for k.
0
Suppose -2*h + 180 = 8*h. Let u be (h/(-12))/(3 + (-38)/12). Solve -3*q = -5*y + 13, -2*q + 3*y - u = -2 for q.
4
Let o = 141 + -305. Let h = o - -167. Solve 4*x + h*y = 15, 3*x - y - 2*y = 6 for x.
3
Let z be 14/5*2 - 6/10. Suppose -4*i = -z*j + 68, 5*j + 2*i - 51 = 5. Solve 0 = -3*m - 3*f - j, 0 = -4*m - m + 4*f + 16 for m.
0
Let l(u) = 5*u + 4. Let f be l(0). Suppose -2*g - 18 = -f*g + 2*w, -w + 1 = g. Solve g*s + 3 = 4*q + 1, 10 = -4*q - s for q.
-2
Suppose -36*o = -450 - 810. Solve -41 = 5*s - s - 5*t, -3*t + o = -5*s for s.
-4
Let p(q) = 8*q + 12. Let l(a) = -7*a - 11. Let m(s) = 7*l(s) + 6*p(s). Let g be m(-8). Solve -2*o = -2*r + 12, 5*r = 3*o + 17 + g for o.
-5
Let x(u) = 17*u**2 - u + 3. Let n be x(0). Solve -3*h + 4*h + n*q + 9 = 0, 9 = -3*q for h.
0
Let t be 5/((-175)/(-2115)) + (-3)/7. Suppose t*z + 15 = 65*z. Solve -4*h + 24 = 3*k, 0 = -3*k + 8*h - 3*h - z for k.
4
Let l be 2752/92 + (-6)/(-69). Solve 5*v = -4*r - l, -2*r + 0*r = -5*v for r.
-5
Let f be (27 - -4) + (-1 - -3). Let l = f - 28. Suppose r - 14 = -2*u, -l*r = -4*u + u + 47. Solve -2*a - p + u = -6*p, a = p for a.
-3
Let a(q) = q**2 - 2*q + 8. Let g be a(4). Let j(p) = -30*p + 5. Let w be j(0). Solve -2*k - 5*i + 5 + 3 = 0, 0 = 4*k + w*i - g for k.
4
Suppose 0*d = -2*d + 4. Let f = 928 + -923. Solve 5*j + 20 = 5*a, -a + d*j + 14 = -f*a for a.
-1
Let q be 42/9 + (-15)/9. Solve -t = -2*t + h - q, 3*h = t + 3 for t.
-3
Let i(y) = y**2 - 8*y + 1. Let s be i(8). Suppose -8*m = -258 + 10. Suppose 0 = -25*h + m*h - 12. Solve -h*l - 7 = -5*x, -2 + s = 3*l + 2*x for l.
-1
Suppose 0*h = -3*h + 9. Let u(w) = -4*w - 18. Let i be u(-5). Solve 5*o + h*m + 0 = 6, -10 = -i*o - 5*m for o.
0
Let u = 201 - 144. Let z = -55 + u. Solve 0 = -2*i + 2*k, z*k = -4*i + 5*k for i.
0
Suppose 4*n - 13 = 39. Suppose -n*a = -18*a. Solve -k = 3*y - 7, 4*k - y + 13 - 2 = a for k.
-2
Suppose 8 = -j - 6*y, -2*j = 3*j + 4*y - 12. Solve -4*z = z + j*l - 41, -4*z = -5*l for z.
5
Let i = 297 + -277. Solve -4*p + i = 2*g, g - 2*p + 14 = 4*g for g.
2
Let m(c) = c**3 + 7*c**2 + 10*c + 5. Let z be m(-5). Solve -29 - 11 = z*k + 4*f, 0 = 3*k - 5*f - 13 for k.
-4
Let l be 4*(4/(-2) - -1*1). Let x be 12/l + 10 - 3. Solve -i = 5*w + 27, x*i = -w - i - 15 for w.
-5
Let j = -7 - 27. Let w(o) = 2*o - 49. Let v be w(13). Let y = v - j. Solve 4*f = -p - 0*p + y, -3 = -2*f - 3*p for f.
3
Let n be ((-3)/(-5))/((133/(-70))/(-19)). Solve o = 5*i - n, 5*o - i - 2*i + 8 = 0 for o.
-1
Let s be 2/(-14) - (-40560)/1092. Solve 5*c + w - 4 = 2*c, -5*w = -4*c + s for c.
3
Suppose 10*p - 1510 = -1490. Solve -20 = 4*s + 5*x, -p*x - 8 = 2*s - 6*s for s.
0
Suppose -4*t - 10 = -3*r + 4*r, -r - 5*t - 9 = 0. Let q be r/(4/(-12)*3). Solve 2*u = 4*v + 12, -3*u + q + 2 = -4*v for v.
-1
Let a(c) = 23*c + 11. Let f be a(-4). Let m be 2 + 14*-4 - -3. Let j = m - f. Solve r = b - 10, r - 5*b + 0 = -j for r.
-5
Let r be (-240)/110 - (-2)/11. Let n = r - -2. Suppose 4 = a - n. Solve 0 = a*j - g + 2, 0 = -2*j - j + 4*g - 8 for j.
0
Suppose 2*t + 14 = -58. Let j = t - -39. Solve 3 = -j*m - 5*k - 7, 4*k - 9 = m for m.
-5
Let z be (216/30 + -7)*0. Solve -5*o - 20 = 3*c, z = 4*o - c - 2*c + 16 for o.
-4
Let g(x) = -x**3 - 4*x**2 - 7*x - 10. Let k be g(-4). Suppose -3*d - 3 = -k. Solve t - 2*i + 14 = -t, -d*t - 25 = -3*i for t.
-2
Let r = 25 - 12. Let l(n) = -8 + 2*n - n + 2*n - 2*n. Let m be l(r). Solve 5 = m*u + 5*b, -3*u = -u - b - 8 for u.
3
Suppose -3*f + 22 = -4*r, f - 3*r - 7 = -8. Solve 3*b = -6*d + 5*d + 5, -4*b - 5*d = -f for b.
1
Suppose -5*l - 5*i = -8 - 2, 5*l + 4*i = 11. Suppose -s - 2*s = 0. Solve 0 = 3*g + g + 3*w - 11, s = 3*g + l*w - 9 for g.
2
Let a = -387 + 393. Solve 4*k - 2*q = a, -3*q + 13 = -3*k + 2*q for k.
4
Suppose 9*d + 174 = 3*d. Let n = -26 - d. Suppose 0 = 5*w - 3*j + 15, 2*w - 3*w - n*j + 15 = 0. Solve -5*a - 11 = -2*x, w = -4*x - 0*a + 3*a + 1 for x.
-2
Suppose -2*n + 6*a + 51 = 11*a, -2*n + 11 = -3*a. Let y(r) = r**2 - 5*r + 2. Let f be y(5). Solve -18 = 3*z + f*v, -z - 3*z + v = n for z.
-4
Let f(w) = -w + 10. Let d be f(5). Suppose -3*b = -2*t + 36, -9 = d*t - 3*b - 117. Solve -l - 12 = 5*x, 3*l - t = 5*x - 0*x for x.
-3
Let z be 6/(-21) - 69/(-21). Solve -4*v + 12 = 4*f, -3*v - 11 = -8*v - z*f for v.
1
Let t = -55 + 57. Suppose -z - u = 0, 2*z - 2*u = -t*z + 12. Solve -2*x = -5*n + 3*n + 4, -z = -5*n + x for n.
0
Let c be -3 - 6*(1 + -2). Suppose c*v + 145 - 166 = 0. Solve t - 8 = -3*y, -3*t - 5 - v = -3*y for y.
3
Let i = -7 - -2. Let a = -8 - i. Let b be ((-2)/6)/(a/18). Solve 1 = -5*d - 3*j, -4*j - b = -3*j for d.
1
Let v(q) = -86*q**2 + 4*q - 3. Let u be v(1). Let g be ((-49)/4)/((-2)/(-8)). Let x = g - u. Solve 3*f - o + 4*o = 3, 0 = -4*f + 4*o + x for f.
5
Let b be 6/10 - 10/(-25)*-4. Let a be 2*(-10)/(-4) + b. Solve 0 = -m + 4, 19 = 5*n + a*m - 17 for n.
4
Let f = 158 - 152. Solve 0 = -4*u + 4*o + 16, 3*u + o = 6*u - f for u.
1
Suppose m = 5*b - 1, 0 = 5*m - b - 85 - 6. Suppose -6598 + 6522 = -19*z. Solve 5*h = -z*w + 25, h = 2*h - 4*w + m for h.
1
Suppose -24 = 5*h - 84. Suppose -15 = -2*l + l. Suppose -l = 3*d - 6*d. Solve -d*q + 2 - 13 = -3*b, 5*b - h = 2*q for b.
2
Suppose 2*n = 5*v - 20, -2*n + 16 = -12*v + 13*v. Solve 5*h - 5*s + 3*s = 15, -2*h = -5*s - v for h.
3
Let b(j) = 2*j + j**3 - 91*j**2 + j + 95*j**2 + 2. Let w be (-1)/4 + (-22)/8. Let o be b(w). Solve -3*m + 14 = u, -m = -2*m - o*u + 3 for m.
5
Suppose 5*k - 20 = 5*w, -3*k = -5*k - 3*w + 8. Solve -o + k*i - 12 = 0, 9 = 5*o - i + 4*i for o.
0
Let