4*o + v for g.
-1
Let p = 4 + -4. Let c be p + 0 + 5 + -2. Solve 5*h + 4*g = 26, 0 = 7*h - c*h - g - 4 for h.
2
Suppose -w - 24 = -4*k, 3*k - 2*w + 3*w = 11. Suppose -2*j + 4 = -0*j. Let a be ((-30)/25)/(j/(-5)). Solve a*d + d - 45 = 5*l, -d = k*l + 20 for d.
5
Suppose 4*a - 6*a + 6 = 0. Suppose -h + 31 = 5*d, 4*h + a - 1 = d. Solve -4*q = -l + 3*l - d, -4*l + 2*q = 18 for l.
-3
Suppose i = 5*s - 36, -16 = s + 5*i - 44. Solve -5*t - 3*f + s*f = 15, f = 2*t + 8 for t.
-5
Let o = -9 + 5. Let h = -2 - o. Suppose -h*m = -4*m. Solve 3*c + 5*f + 20 = m, -2*c - 2*c + 2*f + 8 = 0 for c.
0
Suppose 5*g - 8 - 12 = 0. Suppose -1 = 4*w + 3. Let l(o) = 4*o**2 + o. Let t be l(w). Solve g*u - u + 12 = -3*c, t*u + 9 = -2*c for c.
-3
Suppose -5*v - r = -5*r + 15, -3*v = -3*r + 12. Suppose j - 2 - 2 = 0. Suppose o = -2*w + v, w + 1 = j*w + o. Solve w*p - 5*p = -2*c + 2, 3*p + 18 = -3*c for c.
-4
Let y = 5 - 3. Let t be (-1)/(-4) - 2/8. Let f be (-7)/14*(t - 2). Solve -4*q + 21 = f, -v + y*q = 5 for v.
5
Suppose 3*p - 2*s - 11 - 17 = 0, 16 = p - 2*s. Suppose -k = -p*k + 15. Solve -5*z = -4*u - 0 + 3, k*z + 12 = -u for z.
-3
Let b be ((-1)/3 - 2/3)*-4. Solve 0 = -5*q + 14 - b, 4 = 2*h - q for h.
3
Let g(l) = -l**2 + 12*l. Let t(b) = -b + 1. Let p(k) = -g(k) - 5*t(k). Let j be p(8). Solve -7*a - 5*z = -2*a - 20, -2*a + 7 = j*z for a.
5
Let j(p) = -10*p + 3 + 2 - 8*p + 19*p. Let n be j(-3). Solve 3*r - 3 = 3*x + 8*r, -r = n*x - 5 for x.
4
Suppose 5*j = 3*h - 13, -h + j = 3*j - 8. Suppose 0 + h = k. Suppose -3*p = -4*p + 2. Solve 4*v + 5*g = 18, -3*v - p*g + k = -4 for v.
2
Suppose x + v = 3*x - 1, 1 = -4*x + 3*v. Solve 0 = -x*c - 2*r - 10, 1 - 5 = -2*c + 5*r for c.
-3
Let j be (-4)/18 + (-170)/45. Let b = 0 - j. Solve 3*x = 4*z, -4*z - 5*x = -b*x for z.
0
Suppose 2*j + 0*j = -10. Let x = 0 - j. Solve u + x = 5*q - 3, 4*u = 4*q for u.
2
Suppose 0*x - 16 = -4*b + 2*x, -b = -3*x - 4. Let r(v) = -4 - v + b - 3 - 1. Let g be r(-7). Solve g*q - 9 = 5*h, -q - h - h = 8 for q.
-2
Let c be (-76)/6*(-3)/2. Suppose -7*g + 3*g = 24. Let m = g + 9. Solve -2*n = -r + 4*r - c, -m*r = -4*n - 7 for n.
2
Let n(r) = -2*r**3 + 29*r**2 + 15*r + 5. Let d be n(15). Solve -d*q - 2*s - 7 = 2, 2*q = 5*s + 8 for q.
-1
Suppose -4*q = -6*q - 3*h + 23, -2*h = 4*q - 34. Suppose 4 = -b - 2*w, 2*b - 5*b - w = 7. Let d = b + 7. Solve 2*c = q*c - d*k - 40, -5*c + 16 = 3*k for c.
5
Let l be (-2)/(-2) + -1 + 3. Suppose -l*v - 2*q + 8 = v, -4*q = 3*v + 4. Solve -2*w = -3*w - 2*b + 2, v = -5*w + 4*b for w.
0
Let l = -16 - -18. Suppose -5*f - 15 = -5*d, -f = 4*d - 24 + l. Solve 4*j + 5*y = 22, -d*j + 15 = -2*j + 3*y for j.
3
Suppose -b + 108 = -3*g, -4*b - 5*g - 163 = -629. Let u be b/24 - (-3)/(-4). Let x = 4 - u. Solve -3*n = y - 2, 5*n = -3*y + 6 - x for y.
2
Let z = -35 - -36. Solve -3*g = 4*k + z, -3*k = -g - 1 + 5 for k.
-1
Let a be 2/(1/2 + -1). Let o be (-3 + 1)*6/a. Solve 4 = -2*w - o*x, -5*x + 27 - 7 = -2*w for w.
-5
Let l = 17 + -1. Solve 5*h = 3*h + 8, 3*a = h - l for a.
-4
Suppose 19 = 3*w + 1. Solve 0 + w = 3*r + 3*y, -4*r - 3*y = -3 for r.
-3
Let y(r) = -13*r + 4. Let u be y(-2). Let n = u + -25. Solve 3*b + n*s = 5*b - 21, -b - s = 7 for b.
-2
Let s = -9 + 5. Let d = s - -6. Let v be (2 - (2 - 0))/d. Solve g = -v*g + 2*n, -4*g - 4*n = -12 for g.
2
Suppose 11*u - 165 = 6*u. Solve 23 = -4*l + c, -5*l - 1 - u = -3*c for l.
-5
Let w(t) = 2*t**2 + 2*t - 1. Let p be w(1). Solve 7 = o - 4*c + 2, -4*o + p*c = 6 for o.
-3
Suppose -r - 5*b + 20 = 0, 0 = 3*r + 4*b - 17 + 1. Let k(w) = -17*w - 31. Let g be k(-3). Solve 3*p + 4 = 1, 3*l + 5*p + g = r for l.
-5
Suppose -5*z = -0*z + 5*h - 60, -5*z = h - 48. Let t = z - 7. Solve g + 5*x + 2 = -g, t*g + 2 = 5*x for g.
-1
Let x(w) = -w - 5. Let z be x(-8). Suppose -z = 2*s - 2*t - 7, -2*s = t - 10. Suppose -s*n = -0*n - 44. Solve -3*y - 7 = 2*i, 4*y + 5*i + n = -3 for y.
-1
Let y = -15 - -18. Solve 0 = -2*o + 3*x - 10, 13 = -4*o + 5*o + y*x for o.
1
Suppose 5*c - c - 12 = 0. Solve 11 = 3*z - 5*w, 5*w = -c - 2 for z.
2
Let w(y) = y**2 + 6*y - 4. Let r be w(-7). Suppose -r*s = -0*s. Solve 5*l + d = -d, 4*l - 2*d - 18 = s for l.
2
Suppose 7*u = -5*q + 3*u + 13, -4*q = -u - 23. Suppose q*d - 15 - 30 = 0. Let j = -3 + 5. Solve -3*l + 0 = -4*n - d, j*n - 9 = -3*l for n.
0
Let f(h) = -h**2 + 7*h - 4. Let o = 4 + 2. Let s be f(o). Let g be (-14)/(-2) - (1 - -1). Solve 0 = -s*n + 4*q + 2, 2*q + 1 = -2*n + g*q for n.
-5
Suppose 3*f - 10 = -5*b, 3*b + 3*f + f = -5. Solve 5*v = 4*l - 16 - 1, -5*l - b*v + 10 = 0 for l.
3
Let i(n) = n**2 + 3*n + 2. Let y be i(-3). Let b = 0 + 4. Solve 10 = y*h + 4*x - 7*x, b*x = -4*h - 20 for h.
-1
Suppose 4*y - 8 = -0*y. Suppose -3*c = 3*d + y*d - 8, -2*d = -4*c - 24. Solve 0 = d*k - s + 9, -k = 3*s - 4*s + 6 for k.
-1
Suppose 2*j = -7 + 17. Solve 2*a + 4*c + 2 = -0, j*c = -4*a + 5 for a.
5
Let v = -64 - -68. Solve v*o - 24 = -4*c, -5*o - 14 = -6*o - 5*c for o.
4
Let r(x) = -8*x**2 + 0*x**2 + 9*x**2 - 6 - 10*x. Let u be r(11). Solve 2*b = i + 3, 0 = -u*b - 3 - 2 for i.
-5
Suppose 3 = -y, -4*w - 3*y + 15 = -0*w. Suppose -g - w = -2*g. Let z = 39 - g. Solve -2*f + 5*b = -z, 22 = 4*f - 2*b - 4 for f.
4
Let v = -4 + 7. Suppose 3*d = -0*d. Suppose -m + d = -v. Solve 2*z + m*u = u - 8, z + 5*u = -24 for z.
1
Suppose 2*x - 8 = -2*x. Solve -t - 2*t + x*u = 23, -u = -4 for t.
-5
Let x = 3 - 18. Let d be 3/x - 21/(-5). Solve 2*i + d*v - 4 = 0, 2*v + 1 - 3 = i for i.
0
Let h(u) = -u**3 - 7*u**2 - 7*u - 8. Let w be h(-6). Let t be ((-3)/w)/((-1)/(-2)). Solve 4*g = -0*i - 2*i - 18, -4*i - t*g - 11 = 0 for i.
1
Let m be 312/91 + 4/7. Solve -u + 20 = 5*n, 2*u - m = -u - n for u.
0
Let b(p) = p**2 - 4*p - 9. Let r be b(7). Suppose 0 = -z + 5*z + r. Let y be (-10)/z - 2/(-3). Solve 0*n + 4*n + y = 4*c, 25 = 4*c + 3*n for c.
4
Let l(p) be the third derivative of -p**6/120 + p**5/12 - 4*p**2. Let h be l(5). Solve -n + h*n - 7 = -4*u, -9 = -n - 4*u for n.
1
Suppose v + 5 = -3*k, -2*v + 45 = 2*v - k. Solve -3*o - 2*i + 19 = 0, -5*o + 0*i = -i - v for o.
3
Suppose 9 + 1 = 2*f + 2*r, 4*f - 5*r = 2. Solve -f*k + 4*w - 35 = 0, 4*k - 6*k - 4*w = -10 for k.
-5
Let c be (2 + -9)*(-4)/14. Solve 0*b = -3*r + c*b - 8, 0 = r - b + 3 for r.
-2
Let o = 7 + -7. Solve -3*a - 3*m = 0, -3*m + 15 = -2*a - o*m for a.
-3
Let v be (-54)/135 - 37/(-5). Solve 3*i - v = -a, 0*i - 3*a + 5 = 5*i for i.
4
Let g = -10 - -14. Solve -3*d = -2*v - 19, -3*d - g = 2*v - 3 for v.
-5
Let h be -159*(-4 + -2 + 5). Let t be h/12 - 3/12. Solve -2*l = j + 3*l - 14, 2*j - t = -5*l for j.
-1
Let x be 8/44 + (-31)/(-11). Let l(i) = i**2 + 6*i - 7. Let f(d) = d**2 - 6*d - 2. Let w be f(5). Let r be l(w). Solve -y - 6 = -r*y + j, 3*y = x*j for y.
-3
Suppose -29 = -5*a - 9. Let g be 1/1*a + -4. Solve 5*w - 20 = -2*x, 4 = -g*x + 3*x + w for x.
0
Let q(w) = w**3 + 4*w**2 - 6*w - 1. Let c be q(-5). Suppose 2*b = -0*b. Solve 14 = -2*p + c*y - 0, -5*p + y + 1 = b for p.
1
Let g be (-35)/10 + 3 - 17/(-2). Solve 0 = 3*u + o - g, -2*o - 10 = -3*u - 4*o for u.
2
Suppose 2 = 2*p - 4. Let o(c) = c**3 - 6*c**2 - 7*c + 4. Let w be o(7). Suppose 3*z + 0 = -v + 9, -w*z - 3*v = -12. Solve y - p + 2 = u, z*u - y + 11 = 0 for u.
-5
Let v(y) = y**3 + 11*y**2 + 10*y - 12. Let r be v(-10). Let x = -9 - r. Solve 6 = -x*n + z + 2, -z + 8 = -5*n for n.
-2
Let p(a) = 3*a**2 - 2*a - 2. Let v be (-2)/(-5) - 8/(-5). Let y be p(v). Suppose 1 - y = -r. Solve 0 = -4*d - r*u + 4, 2*u - 28 = 3*d + 2*d for d.
-4
Let b(y) = 12*y - 58. Let i be b(5). Solve 12 = -i*f - 3*a, -3*f - 12 = -0*f + 3*a for f.
0
Let u be -5 - (-4)/16*-4. Let j(k) = k. Let v(y) = 3*y + 8. Let l(f) = j(f) - v(f). Let p be l(u). Solve 0 = 3*t + x - 1, p*t - 1 = x - 2 for t.
0
Suppose 52*b = 49*b + 12. Solve b*i - p = -1 + 22, 2*p + 14 = i for i.
4
Let t be 74/26 - (-10)/65. Suppose t*z + o = -21 + 68, -5*z = 4*o - 83. Solve 0 = -5*k + 3*u - 10, 5*k + 2*u = -0 + z for k.
1
Suppose -2*y + 20 = -10. Let l be (-36)/(-15) - 6/y. Solve -2*t - z = -1 - 0, -2*t - l = 4*z for t.
1
Suppose -9 = -2*w + 3*g + 1, -3*w - 4 = 5*g. Solve -c - 29 = -5*v, 5*v - 16 = w*c + 17 for v.
5
Let i(s) = 2*s**3 - 2*s**2 - 2*s + 2. Let q be i(0). Let c = 6 - 2. Solve c*b = -b + q*x, 4*x = 4*b + 12 for b.
2
Let w be (-15)/(-3) - (6/(-2))/(-1). Solve 2 = 5*h - 2*a + 5*a, -5*a = w*h - 16 fo