*s - 15 = -g for g.
0
Let a = -6 - 8. Let g = a - -18. Solve -3*o + 8 = 3*h - 1, -2*h = -g*o + 6 for o.
2
Suppose 0 = -z - 2*z. Suppose 15 = -z*d + 3*d. Let v(w) = 2*w**2 - 4*w - 1. Let x be v(3). Solve x*y = -j + 25, -2*y - j + 10 = -d*j for y.
5
Let d be (-1 - 0) + (-36 - 0). Let s = d - -55. Let f = -31 + 31. Solve 4*t - t + 2*h - 16 = f, 4*h - s = t for t.
2
Suppose 0 = -0*z + 2*z - b - 81, -4*b = -z + 44. Solve 5*v = -5*x + z, -v - 3*v = -x - 7 for v.
3
Let c be 1 + -1 + 2*-3. Let n be ((-40)/12)/(4/c). Suppose 0 = -p + 3 + 4. Solve 5*g = -2*y + 6 - p, -2*g + n*y = -17 for g.
1
Let d = 3 + -3. Let s be 2/6 - 8/(-12). Let h(f) = 3*f. Let z be h(s). Solve -l - z*x + d = 11, 2*l - 2*x = -6 for l.
-5
Let c be (-3)/12 + (-3)/(-12). Let q = 2 + c. Solve -4*u + 12 = 3*z - 0*u, -6 = -q*u for z.
0
Let l = 22 + -19. Let v be -2 + l/(-3) + 13. Solve -2*t - 2*d + 2 = 0, 5*t + v = 4*d - 12 for t.
-2
Let z(x) = x + 7. Let v be z(-5). Let b(p) = -p**2 - 10*p - 3. Let i be b(-4). Let o be 2/(-1 - (-7)/5). Solve v + 3 = o*r - 5*c, -c = -5*r + i for r.
5
Let w(g) = -3*g - 1. Let a(l) = -l. Let k(m) = 5*a(m) - 2*w(m). Let c be k(2). Solve 4*f + 5 + 24 = 5*x, -2*f = c*x - 18 for f.
-1
Suppose 0 = -2*j + 16 + 30. Solve 0*f - 3*x - 14 = -f, 0 = 3*f + 4*x + j for f.
-1
Suppose -2*h = -5*h + 48. Let n = h - 14. Solve -5*w - 14 = -n*d, -4*w + 3*d - 12 - 2 = 0 for w.
-2
Let f(i) = -14*i**3 + i**2 - 1. Let z be f(-1). Let o(w) = w**2 + 3. Let k be o(0). Solve -4*d = 3*x + z, -4*d + k*x = 9 + 17 for d.
-5
Let a(c) = -c**2 + 3*c + 5. Let g be a(5). Let w be ((-6)/2)/(g - -4). Solve 2*v - 2*b + 1 + w = 0, 4*b + 8 = 0 for v.
-4
Let y(i) = 4*i + 53. Let o be y(-13). Solve -m = -2*h + o, 4*m - 3*h - h + 12 = 0 for m.
-5
Let f(y) = -y**2 - y**3 - 6 + 2*y + 0*y**3 - 3*y**2. Let z = 6 - 11. Let t be f(z). Solve -3*i = 5*w - t, -3*i - 3 = 4*w - 4*i for w.
0
Let r(o) = -o**3 + 3*o**2 + 4*o**2 - 6*o + 0*o**3 + 0 + 3. Let i be r(6). Solve -4*q + 2 = q + 2*v, -3*v + i = 0 for q.
0
Let n be -19 - -25 - (2 - 0). Solve 5*c + 2*i - 16 = 5*i, n*c - 2*i - 12 = 0 for c.
2
Suppose -69 = 3*q - 5*c, -5*c = -2*q + 17 - 68. Let a be 9/q - (-22)/(-4). Let g = a + 11. Solve g*p - s + 22 = 0, -p + 10 = -2*s - 3*s for p.
-5
Suppose -6*x = -x - 10. Solve 0 = x*m + z + 1 + 3, 13 = -3*m + 2*z for m.
-3
Let p = 10 - 6. Suppose 0 = 2*y - 4 - p. Let q be (-2)/5 + 22/5. Solve -2*k = 4, -3*j - q*k = y + 10 for j.
-2
Suppose m = 5*t + 20, 2*t - 5*t = 2*m - 27. Let l be 4/2 + 2 + 1. Solve l*d + 25 = 3*b, 4*b + 2*d = -d - m for b.
0
Let u(w) = -w - 1. Let j be u(-17). Solve 4*t + k - 5*k = -j, -4*k = 3*t - 16 for t.
0
Let r = 17 - 10. Solve 3*l + 5*z + 20 = 0, l + z = -z - r for l.
-5
Let x = 9 - 4. Suppose 4*f + f - 85 = -x*u, 3*f - 23 = 4*u. Solve 5*z = 4*k - f, k - z + 0*z = 2 for k.
-3
Suppose 3*v - 3 = -0*v. Suppose v + 7 = 2*o. Solve -3*s + 6 + 10 = -2*m, -2*s + o = 0 for m.
-5
Let t = -9 - -15. Suppose t*b = b. Let o be (-116)/(-30) - 2/(-15) - 2. Solve b = s + o*i + 2*i - 13, 4*i = -5*s + 1 for s.
-3
Suppose -5*x + 29 = 4*i - i, 3*i = -3*x + 15. Let k = 2 + x. Suppose k = l + 2*l. Solve -a + 5 = 3*v, 5*a - 4*v - 3 = l for a.
2
Suppose -13 = 4*t - 5*u - 33, 5*u + 20 = -3*t. Let m be (-3)/(3/(-2) + t). Solve m + 13 = 5*k, 2*x = k - 5 for x.
-1
Suppose -4*z = 4*a - 8, 0 = -4*a + 2 - 10. Solve 0 = 2*i + s - 2*s - 7, 3*i - 23 = z*s for i.
1
Suppose -4*k = -3*z + 1, -5 = -2*k - 4*z + 11. Solve -t - t = 3*a - k, -5*t = a + 8 for t.
-2
Let n be (-2)/(-1) + 0/(-2). Suppose 0 = 4*h + 2*p - 16, -h - 4*h + 23 = 4*p. Suppose -h*g = n*g. Solve 8 - 2 = 4*c - 2*u, -2*c + 2*u + 2 = g for c.
2
Let i(k) = -k**3 - 7*k**2 - 7*k - 4. Let p be i(-6). Let x be 34/p*(-2)/(-2). Suppose 0 = -5*t + 8 + x. Solve t*a + 17 = 3*m - 5*m, 0 = 4*a - 5*m + 40 for a.
-5
Suppose -2*g = 3*p - 13, 9 - 25 = -2*p - 5*g. Let b be 5/p - (-17)/51. Solve 1 + 1 = b*m + 2*w, 2*w - 4 = -m for m.
-2
Suppose 0 = -0*a + 3*a. Let y(d) = -d**3 + 9*d**2 - 9*d + 11. Let p be y(8). Suppose 0 = -s + p - a. Solve -2*l - 11 = 3*w, 8*w - s*w = l - 27 for l.
2
Let j be (9 - 11) + (0 - -2). Solve 0 = -2*f - 2*r - j*r, -3*f - 5 = 4*r for f.
5
Let y = 18 + -16. Let f be (y - -3)*-1*-1. Solve 4*g - 3*b + 18 = 0, -f*g - 3*b - 10 = -1 for g.
-3
Let q = -56 + 72. Solve 8 = -t - 0*o + 2*o, -5*t = 4*o - q for t.
0
Let j be (-1 - 0)*(-6)/(-3). Let d be j*(1/2 - 2). Let x(r) = r + 2. Let v be x(d). Solve -f = -h, -h - v*f = -0*f for h.
0
Suppose -5*q - 26 = 3*y - 7*y, 5*y - 30 = 5*q. Solve -l - 15 = 3*o + y*l, 5*o = -4*l - 12 for o.
0
Let g(d) = -10*d + 1. Let z be g(1). Let s be (-1)/(-5) - z/5. Solve 0 = -c + s*c - 4, 0 = 3*v - c + 16 for v.
-4
Let s = -52 + 54. Solve s*c - 5*a + 10 = 0, 3*c = -5*a + 7 + 3 for c.
0
Let z be (3/3)/((-1)/11). Let w = z - -6. Let h = w - -8. Solve -8 = -h*i - 5*y + 1, -4*y = 0 for i.
3
Let d be 0/(1 + -2) - -24. Suppose 3*h + 6 = 5*a, 2*a + a = -5*h + d. Solve -2*w - 5*p - 2 = -1, 3*w + 12 = h*p for w.
-3
Let k(i) = i**3 - 4*i**2 + 6*i - 6. Let z be k(3). Solve -5*y + 10 = -5*q, -5*q - 2*y = 20 - z for q.
-3
Suppose -10 = 5*l, 0 = c - 2*c - 5*l - 5. Solve 5*n = -c, -d + 6*n + 3 = 3*n for d.
0
Let v be 14 + 2/(-4)*-4. Suppose 0 = b - 5*b + v. Solve 5*t + 2*j - 5*j + 3 = 0, -j = -b*t - 1 for t.
0
Suppose 5*j - 35 = -10. Suppose -4*x - 2*y + 48 = -3*y, 0 = j*x - 4*y - 60. Suppose 0 = -0*d - 4*d + x. Solve d + 5 = 4*r - 4*m, -5*r = m - 28 for r.
5
Let f(v) be the third derivative of -2*v**2 + 1/20*v**5 + 0*v + 1/12*v**4 + 0 + 0*v**3. Let q be f(2). Solve k + 3*k - q = n, 5*n = 2*k - 8 for n.
0
Let r(u) = u**2 - 2*u + 2. Suppose 0 = c + 4, 5*t + 17 = 4*t - 5*c. Let j be r(t). Solve 0 = 2*g + j*x + 1, 5*g = 2*g - 2*x - 7 for g.
-3
Suppose 0 = 5*o - 6*o + 3. Suppose -o*a - 4*v + 97 = 0, 0*a + a - 2*v - 39 = 0. Solve -3*y - 4*j = a, 20 = -y - 2*y - j for y.
-5
Suppose -3*g - 16 = -7*g. Let j be -1 - 5/((-5)/g). Suppose 2*k - j*k = 0. Solve 0 = -f + 5*i - 28, k = -5*f - 0*f + i - 20 for f.
-3
Let v be 10/4*(5 + -3). Let s be 25/v + -2*1. Solve -4*x + 12 = 5*n, -s*x - 3*n - 2 = -2*n for x.
-2
Suppose -2*a - 6 = a. Let m be 2/4 + a/4. Solve n = 2*k - m*k - 8, -k + 4 = -3*n for n.
0
Let b be 8/(-12)*(-2 - 1). Solve -3*k + 10 = -2*h, 0 = b*h - 0*k - 2*k + 6 for h.
1
Let p = 1 - -1. Suppose -z - p*z = -9. Solve 3*n - 4*w = 0, 3*w - z = 3*n - 0*n for n.
-4
Suppose -3*a - a = -96. Suppose x = -x + a. Solve 0 = d - 2*u + x, -4*d = d + 2*u for d.
-2
Suppose 5*k - 20 = -5*r, -2*k - 8 = -3*k + 3*r. Let l(m) = m**3 - 2*m - 1. Let w be l(2). Solve -z - 1 = -x, -4*x - w*z = -k*z - 2 for x.
0
Let g be (-2)/(2 - (-536)/(-270)). Let f be (-2)/5 - g/25. Suppose 44 = -3*k + f*k. Solve 0 = -4*x + 3*x - 4*d, 5*x - k = 2*d for x.
4
Let h = -8 + 8. Suppose -3*d + h + 12 = 0. Suppose -5*i = -4*t - 4, 4*i + 2*t = -3*t - 5. Solve 0 = -i*p - p + 5, 0 = d*k - 5*p + 25 for k.
0
Let q(k) = 2*k**3 - 4*k**2 + k + 2. Let d be q(2). Solve c + 3*z - d = 0, 3*c - 3*z = z - 14 for c.
-2
Let s = -4 + 1. Let d be (-1 - -1)*s/(-6). Suppose d = -2*v + 9 + 1. Solve -2*c = x - 0*x + 2, -5*c - v = 4*x for c.
-1
Suppose 22*r = 26*r - 36. Solve 4*l - 29 = -4*t - t, 4*l = -t + r for l.
1
Suppose 0 = -4*r - 0*r + 76. Solve q - 3*z = r - 8, 2*q = z - 3 for q.
-4
Let r = 9 + -10. Let g(j) = j - 2. Let w(p) = -1. Let t(f) = g(f) - 3*w(f). Let q be t(r). Solve -n - 3 = q, h + h - n + 5 = 0 for h.
-4
Let y be 3*3*3/9. Solve -c + 4*c - 3*p = 21, 14 = 4*c + y*p for c.
5
Let j(a) = a + 10. Let q be j(-4). Solve -4*z + q = 2*m, 6*m = 2*m - 5*z for m.
-5
Suppose 0 = 6*c - c + 900. Let o be c/(-7) + (-8)/(-28). Suppose -i - 5*j = -o - 1, -5*i + j = -31. Solve -i = -2*f + 5*k, 3*f + 23 = -k + 8 for f.
-4
Let y = -1 + 2. Let k be (-24)/(-4) + y*-2. Suppose 10 = -r - 2*t, k*t = -5*r + t - 15. Solve -3*o = -5*h - 7 - 3, r = 2*h - 2*o for h.
-5
Let u be 4 + (2 + -3 - 1). Solve 0 = -3*s, u*b - s + 5*s = 0 for b.
0
Let h be (2/1)/(2/2). Suppose 16 = -h*a + 6*a. Let g be 1 - 0 - -11*1. Solve 4*l - 4*r + 12 = 2*l, a*r = l + g for l.
0
Suppose 5*j = -4*t, 6*j = 2*j - 3*t. Suppose j = -0*f - 5*f + 15. Solve s - 1 = 2, 5*w = f*s - 29 for w.
-4
Let y = 12 - 6. Let h be (-66)/(-2)*4/y. Let u = 7 - 4. Solve 5*q + h = 2*q - 2*w, -u*q = -4*w - 8 for q.
-4
Let p = 85 - 78. Solve q - p = -3*s, -2*s + 1 = q - 4*q for 