*m + 13 = i for v.
5
Let d = 2 - 1. Solve -5*z + 2*i = 26, -3*z + d = -4*z - i for z.
-4
Suppose -2*f + 8 + 2 = 0. Suppose 2*a = 6, 0 = 2*c - 4*a + 8 + 2. Solve 4*g - 2*v = c + 3, -f*v = -20 for g.
3
Let q = -1 - 0. Let o = q - -1. Solve -l + 2*a = o, 4*l - 3*a + 8 = -2 for l.
-4
Let q(p) = -p - 4. Let k be q(-7). Suppose 3*w + 48 = k*o, 1 = -4*w - 3. Solve -v - 25 = -7*c + 2*c, o = v + 5*c for v.
-5
Let j = -7 + 7. Solve -6*g + 2*g + 2*t + 18 = 0, j = 2*g - 2*t - 8 for g.
5
Let c(r) = -2*r**3 - 2*r**2 - 2*r. Let k be c(-2). Let m(a) = 3*a**2 - a + 3 + 0 - 4 + 0. Let x be m(-1). Solve -3*g + 2*w = k, 0*w = x*g + 2*w for g.
-2
Let q = 36 + -32. Solve -4*k - 22 = -2*o, k - 3*o = -q*k - 30 for k.
-3
Let v be -3 - -1 - 3 - 2. Let u(q) = -2*q - 10. Let w be u(v). Suppose -2*t + 4 = -w. Solve 5*o + 35 = t*x, 3*x - 18 = -o + 2*o for x.
5
Let j(d) = 3*d. Let u be j(-1). Let a be (-5)/(-15) - (-1)/u. Solve a = 4*o - 0*c - 4*c - 12, 2*o + 3*c - 11 = 0 for o.
4
Suppose 6 = -n + 5. Let l be -1 - n - (2 - 4). Solve -29 = -5*r + 2*r - 5*q, -l*r + 10 = q for r.
3
Let h = -2 - -4. Suppose -h*j = j. Solve j = -4*x - 4*y, 8 = -5*x + y - 2*y for x.
-2
Let x(n) = -n**2 + 8*n - 6. Let s be x(5). Solve 0 = b + q + 5 - 4, -3*b - 5*q = s for b.
2
Let s be (3 - 1) + (35 - 2). Suppose -3*i + s = -4. Solve 2*j = -3*y - 19, -5*j + 3*y - 3 - i = 0 for j.
-5
Suppose -4*s + 4*q = 6*q - 10, 4*q = s - 16. Let t be 5 + -1 + 2 - s. Solve -4*g - 5*x = -28, -g - t*x - 2*x = -18 for g.
2
Let a = -35 + 40. Solve -u - 27 = 4*u - t, -t = a*u + 23 for u.
-5
Let p(h) = -h**2 + h - 1. Let f(y) = -y**3 + 2*y**2 - 4*y + 28. Let a(g) = f(g) + 3*p(g). Let u be a(0). Solve -j - 13 = -3*d, -8*d + u = -5*j - 3*d for j.
-1
Suppose 4*j - 4*q = 252, 2*q = 2*j + q - 130. Suppose j = 3*a - 8. Let u = a - 18. Solve -m - 2*w - u = w, -4*w = 3*m + 11 for m.
-1
Suppose 6*c = 10*c - 20. Solve -4*i + 7 = -3*a, -c*i + 7 = -4*a + 2*a for a.
-1
Suppose 5*j - 3*b - 11 = 0, -4*j - 4*b + 32 = j. Suppose j*z = -n + 8, n + z + 2*z = 7. Solve 4*u = f - n - 13, -5*u - 3*f = 34 for u.
-5
Let g be -3*(-4)/((-12)/(-15)). Suppose 2*s = m - g, 0*m + 2*m - s = 15. Solve -12 = -2*w + 4*l, 0 = -2*w - m*l + 23 - 56 for w.
-4
Let t = 12 + -9. Solve -z = t*m + 7, 0 = 4*z - m + 6*m + 7 for z.
2
Suppose -4*t + 4*z = -36, z - 2 = -t + 1. Suppose 0 = -5*c - 4*v + 11, 4*c - 4 = -2*v + 6. Suppose 4*m - 3 = 5. Solve s - c*f - t = m*s, 3*f + 6 = -3*s for s.
0
Suppose 0 = -h - h. Suppose h = g + 2 - 4. Let m be -2*1/(-2)*2. Solve -g*t = -6*t - 2*b - m, -4*b + 20 = -4*t for t.
-2
Suppose 0 = -2*c - 4*r - 13 - 7, 0 = 2*r + 6. Let i = c - 0. Let h = 6 + i. Solve -x + h*y = 5, -15 = -x - 4*x + 2*y for x.
5
Suppose 0 = 3*x - 3 - 18. Solve -2*d + 3 = 2*g + x, -5*g - 8 = 4*d for g.
0
Suppose 5*g + 5*n + 1 - 6 = 0, -5*n - 13 = -4*g. Suppose 0 = i - g - 0. Solve -2*h + q - 11 = i, 3*h - 3*q = -27 for h.
-4
Let f be 4/6*(-5 - -23). Solve 5*x = 5*b + 45, -x - 2*x = -f for b.
-5
Suppose -8*o + 3*o = -15. Suppose 4*g + 2*r - 6 = 0, 3*g + r - 10 + o = 0. Solve -6*c = 5*t - 2*c + 14, 0 = g*t + 4*c + 12 for t.
-2
Let y(g) = g**3 + 2*g**2 - 3*g + 2. Let l be y(1). Solve 3*m = -3*t - 0 + 3, 0 = t + l*m - 6 for t.
-4
Let y be (5/3 - 3)*(2 + -5). Solve 2*d - 16 = 6*m - y*m, 0 = -4*d - 5*m - 4 for d.
4
Let o(l) = l**3 - l**2 + l + 2. Let c be o(0). Solve 0*y + 2*v = -3*y, c*y = v for y.
0
Suppose 4*k - 3*k + 3*i + 7 = 0, 0 = -5*i - 5. Let v = -3 - k. Let b = v + 4. Solve 4*g - 5*q - 13 - 6 = 0, q = -b*g + 2 for g.
1
Let h(u) = -6*u + 4*u**2 - 5*u**2 + 0*u**2 + 4. Let m be h(-6). Solve -6 + 2 = -m*g, 2 = 5*t + 2*g for t.
0
Suppose 5*u = u + 12. Solve -r - 2*r + 4*j - 1 = 0, 5*r + 9 = u*j for r.
-3
Let n be 140/(-98)*(0 - 7). Solve 0 = 5*x - 2*p + n, -3*x - p = -0*p - 5 for x.
0
Let l(z) = -z - z**2 + 2 + 3*z**2 + 2*z**2 - 3*z**2. Let w be l(2). Let q be 3/2 + (-2)/(-4). Solve 5*a - 5*v = -20, a + w*a + q*v = 15 for a.
1
Let n be (3 - 0 - 1)/1. Solve -8 = 2*r - u, 0 = -3*r - 4*u + n*u - 5 for r.
-3
Let r = -3 - -7. Suppose -h = r*h. Suppose -w - 4*w + 160 = h. Solve -4*g + 3*y = w - 0, -4*y = -3*g - 31 for g.
-5
Let g(d) = d + 11. Let v be g(-9). Solve 7*l - v*l + 5*n = -15, -l = -5*n + 15 for l.
-5
Suppose -6 = -n - n. Suppose -3*a - 15 = n*d - d, 0 = 2*d + 5*a + 21. Let m be (-4)/(-2)*d/(-2). Solve -4*u + m*v = -26, -3*u = -2*v - 13 - 6 for u.
5
Let m = -22 + 49. Let c be m/6*2/3. Solve -b = 4*f + 9, -b = c*f + b + 13 for f.
-1
Let u be (-2)/(-4)*(-4 - -4). Suppose -12 = -2*p - u*p. Solve r + 3*r - 3*m = p, -2*r = -4*m + 2 for r.
3
Let v(p) = p**3 - 6*p**2 - 4*p - 17. Let b be v(7). Solve -b*g + 11 = -2*k - 11, 5*k - 5*g + 30 = 0 for k.
-1
Suppose 5*d = -5*l + 20, 2*d - 15 = -2*d - 3*l. Suppose 0 = -3*c - x + 19, c + d*c + 2*x - 26 = 0. Solve c*k = 2*k - 3*z, -5*k + 3 = 3*z for k.
3
Let z = -52 + 52. Solve j = 2*i + 5, -3*i - j + 4*j - 3 = z for i.
-4
Let j(k) = 4*k - 5. Let u be j(2). Solve u*l + 5*i = l + 15, 2*i = 3*l + 25 for l.
-5
Let p(q) = 7*q + 4. Let j(k) = -4*k - 2. Let o(x) = -5*j(x) - 2*p(x). Let c be o(2). Solve 3*z + 3*t + 5 + 4 = 0, 2*z = -4*t - c for z.
1
Let t be (-1 - -6)*(7 - (-99)/(-15)). Solve 2*l - 10 = 5*w, -t - 2 = w for l.
-5
Let p be 25/(-10) - (-1)/2. Let u be (-2)/2 + (4 - p). Solve u*k = v - 5, 5*v - 5 = -3*k + 8*k for v.
0
Suppose -3*v + 7*v = 0. Suppose v = -4*b + 2*f + 26, 0*b = -2*b + 3*f + 7. Solve 7*w - 4*w = -4*s + b, 5*w = 0 for s.
2
Let z(n) = -n + 7. Let h be z(5). Suppose -h*d - 22 = 4*y, 0 = y + y + 5*d + 7. Let c be ((-2)/4)/(1/y). Solve c*i - s + 8 = 0, 4*s - 2 = -i + 2*s for i.
-2
Suppose 5*i + 34 - 144 = 0. Solve -2*k + 9*p - 4*p = 4, -4*k - 5*p + i = 0 for k.
3
Let v(w) = w**3 - 4*w**2 - 11*w - 4. Let b be v(6). Let h be 1/((-4)/(-16)) - b. Solve -2*u = o - 3, -4*u = -h*o - 2*u - 18 for o.
-5
Let r(d) be the third derivative of d**4/3 + d**3/6 + 3*d**2. Let h be r(-2). Let z be (9/h)/(3/(-15)). Solve 0*q = 2*q + 2*t + 2, -z = t for q.
2
Suppose -4 - 3 = -j - 2*p, p - 2 = 0. Let b be 2 - -2*j/6. Solve -b*d + 3*l + 2*l + 7 = 0, -3*d = -4*l - 5 for d.
-1
Let x = 8 + -14. Let c be (2/(-3))/(4/x). Solve a + 4*d - 3 = 0, -d - c = -0*a + 2*a for a.
-1
Let u = -5 - -8. Suppose -4*p + 2 + 1 = -m, 3*m = 5*p + 5. Solve 2*k - u*i = -p - 0, -k - 1 = -i for k.
-1
Suppose -11*q = -148 - 50. Solve 2*d - 5 = -5*s, -q = 3*d - 0*d - s for d.
-5
Suppose -5*d + 5 = -2*p, 0*d + 4*d = -4*p + 32. Suppose -p*k + 11 = 1. Suppose 0 = -3*o + 12, -o + 13 = k*n - 5. Solve -n = -q - 4*u, 3*q - 4*u - 2 = 3 for q.
3
Let x(t) = -t + 16. Let n be x(12). Suppose 12 = n*o - 4. Solve z - 5*z + 3*w + 16 = 0, -4*z - 2*w = o for z.
1
Let w(l) = -3*l**3 + l**2 - l - 1. Let k be w(-1). Let j(i) = -i - 8. Let x be j(-12). Solve -4*t + x*u = -3*t + 10, k*t + 3*u = -2 for t.
-2
Suppose 3*v - 18 = -6. Let q be (-2)/4 - (-14)/v. Suppose -5*a + 18 = q. Solve -5*x + 15 = -b + 6*b, x = -a*b + 13 for b.
5
Suppose 0 = 4*p - 33 - 51. Suppose -4*n + n = -p. Suppose 3*j - n*j = -44. Solve 3*c - j = -5*g + 20, -7 = -g - c for g.
5
Let p(i) = -i**2 + 3*i + 2. Let s be p(2). Solve -j + 5*j + v = -1, 3*j + s*v - 9 = 0 for j.
-1
Let w(f) = -2*f - 1. Let o be w(-1). Suppose -j - o = -3. Solve j*i = -4*r - 10, -6*r + 2*r + 3*i + 5 = 0 for r.
-1
Let v = 6 + -3. Suppose 3*m - v = -3*z, 12 = -m - 2*m. Suppose 3*q = -3, z*b + 6*q - 34 = 5*q. Solve 0 = 4*x + 4, -b = 4*w - 0*w - x for w.
-2
Let n = -21 - -27. Solve -u = 5*k - n, -3 = 2*u - 5 for k.
1
Let z be 10*(2 + 24/(-15)). Suppose s = -s + z. Solve a - 1 = -2*x, -5*a - 7*x + 5 = -s*x for a.
1
Suppose -25*v = -21*v - 12. Solve 0*b + 2*b = -2*a + 14, -2*a - v*b = -17 for a.
4
Let y(u) = -u**3 + 6*u**2 - 3*u - 5. Let c be y(5). Suppose 2*a = 2*s, 3 = c*s + 2*a - 4*a. Let z be 2/(s - 2/4). Solve 3*x + z = -g + 3*g, -10 = -5*g for x.
0
Suppose -u = -3 + 4. Let h be 2 - (-22 + u) - 0. Solve -5*p - h = -j, 3*j = -0*j - p + 11 for j.
5
Let c be (14/(-6)*-3)/(-1). Let a be (-10)/(-40) - c/4. Solve l + g = -2, 2*g - g - 10 = a*l for l.
-4
Let h(q) = -q**3 - 4*q**2 - 4*q - 3. Let a be h(-3). Suppose a = 2*y + 3*y - 10. Let o = 27 + -15. Solve -6*g + 5*g + 4*v = o, 16 = -5*g - y*v for g.
-4
Suppose 0 = -2*x - 2*l + 6, -4*x + 3*l + l - 12 = 0. Solve x*k - 5*k + 5 = 0, -3*k = 2*m + 3 for m.
-3
Let y = 2 - -2. Let b(s) = s**3 - 3*s