ve i = -5*v - 2*h + 5 - 15, -5 = -4*v + h for v.
0
Let i(x) = -x**3 + 5*x**2 + 2*x - 6. Let z be 4/8*(12 - 2). Let b be i(z). Suppose -b*o + 6 = -o. Solve n = -o*l + 12, 2*n - 20 = -l - 2*n for l.
4
Suppose k + 2*k - 30 = 0. Suppose -k = u + 4*x - 30, 4*x = -3*u + 28. Solve 0 = r - 2*r + u*w, 4*r + 2*w = 0 for r.
0
Suppose 0 = -3*i + 5 + 1. Let f(l) = -3*l**i - l**2 + 5*l + 5*l**2 - 1. Let v be f(-6). Solve 0 = 3*n - n + v*b - 11, 2*b = -5*n + 17 for n.
3
Let a(t) = 2*t - 5. Let s be a(4). Let z be -2 + (4 - 1) + 2. Solve -4*k = -16, s*k - 2*k = z*r + 10 for r.
-2
Let h be (-1 - 0)/(1/2). Let c be 30/(-4)*(11/(-3) - -3). Let f = h + c. Solve -2*y + 4 = 4*v - f*y, -5*v + 14 = y for v.
2
Let y(n) be the first derivative of 7*n**2/2 - 2*n - 1. Let i be y(2). Suppose 2*j - i = -j. Solve 3*v = -4*c + 27 - j, 2*v + c = 12 for v.
5
Let b(s) = -3*s + 12. Let c be b(3). Solve c - 2 = -a - t, -17 = 5*a + 2*t for a.
-5
Let r(k) = -2*k + 1. Let y be r(-7). Solve b + m - 1 = -2*b, 0 = 3*m + y for b.
2
Let b(d) = d + 4. Let l be b(3). Let v = 6 - 7. Let j = v - -1. Solve j*c + 3*k = c - l, 4*k = -3*c + 8 for c.
4
Let n = 5 + 3. Solve 5*k - 3*h + 4 = -7, 2*k = -5*h + n for k.
-1
Let m = -5 + 4. Let u = m - -3. Let w = -9 - -13. Solve w*y - 9*y + l = 4, -3*y - 1 = -u*l for y.
-1
Let a(s) = 3*s - 4. Let n be a(3). Suppose 3*t + 19 = -n*i + 4*t, 0 = -5*t - 5. Let b be (3 - 5)/(2/i). Solve -2*f - 2*f = 0, -h - b = 2*f for h.
-4
Suppose 0*z - 50 = -2*z. Suppose 5*a - z = -c - 0, 0 = -2*c. Suppose a*q = 6*q. Solve d - 2*o = -q*o - 9, -3*o + 12 = -d for d.
-3
Suppose m + m - 4 = 0. Suppose 5 = -m*x - 3*x. Let v be 11 + (-2 - -1) + x. Solve -4*w - v = 5*o - w, 1 = -3*o - 4*w for o.
-3
Let f = 21 - -9. Suppose 4*i = 2*s - f, -5*s + 4*i - 6 + 81 = 0. Solve 0 = -5*a + 2*v - 6*v - 12, -5*v = s for a.
0
Let g(w) = -4*w + w**2 + 2*w + 4 - 2*w. Let n = -33 + 29. Let t be g(n). Solve -4*h = k + 12 - t, 3*h - 23 = -2*k for h.
5
Suppose -3*v - 16 = -i + 2*i, 5*v = 4*i - 55. Let a = -3 - v. Suppose -z = a*z - 75. Solve -5*j - h + 25 = 0, -7*h + 2*h = 3*j - z for j.
5
Let h = 3 + -11. Let k = -3 - h. Solve 2*o = -0*o - x - 3, -3*o - 37 = -k*x for o.
-4
Suppose -4*r - 3*z = -7*z + 4, 3*r - 22 = -2*z. Let y(p) = 2*p**2 + 3*p + 1. Let w be y(-3). Solve 3*m - 5 - 13 = 3*v, 0 = -3*v - r*m + w for v.
-2
Let l be (0 + 3/(-9))*3. Let w = l + 4. Solve 0*g + 3 = -g, w*q - 2*g + 3 = 0 for q.
-3
Suppose -4*o = 10*o - 56. Solve -5*n + 5 = 4*w, 5*n - n - 4 = -o*w for n.
1
Suppose 2*w - 4 - 2 = 0. Suppose 4*i = w*b + 24, 4*i - 4*b - 16 = -3*b. Solve -z + 3*d + 2 = 5*d, i*d = 4*z + 3 for z.
0
Suppose 0 = 4*g + 7 - 51. Suppose 0 = -3*y - 5*z + 68, -2*y + z + 43 = -g. Solve -4*t - 4*b - 36 = 0, 6*t + y = 2*t - 2*b for t.
-4
Suppose 7 = 6*l - 2*l + q, 2*l + 2*q + 4 = 0. Let m be -2*1/2 + 9. Solve -8 = -l*f + g + 4*g, -m = -5*f + 3*g for f.
1
Let l = 12 + -7. Suppose -l*f + 4 = -3*f. Suppose 3*a = 5*a, -f*t = -a - 8. Solve 0*g = z + 5*g + 24, 0 = t*z - 4*g for z.
-4
Suppose 3 = 2*z + 5*j, -3*z - 4*j + 3 = 2. Let b be 0 + (1 - 0) + z. Suppose 4*u + n = 2*u + 8, 0 = -2*u - 4*n + 2. Solve b = -u*p - 5*l, 4*l = p + p + 6 for p.
-1
Suppose 3*f + f - 12 = 0. Let j = 8 + -4. Let u be j/6 - 25/(-3). Solve 3*h = -2*o - 2*o - u, 0 = -h + f*o + 10 for h.
1
Let j(c) = -c + 3. Let t be j(2). Suppose -3 + t = -v. Let o be (-2 + 0 + v)/1. Solve 3*l - 3 = -o*l, -2*r + 2*l = 4 for r.
-1
Let h be (-4)/(((-9)/3)/6). Solve -3*v = j - 1 + h, 0 = 4*v + 8 for j.
-1
Suppose 2 = -c + 2*c. Solve -15 = 3*w - 3*z, -c*w - 2*z + z = 1 for w.
-2
Let x be 18 + 1 + (5 - 3). Suppose 3*a + 3*y = x, a - 2*y = 3*y - 5. Suppose a*t = 3*t + 10. Solve l - 2*q - 2 = -1, -l - 2*q = -t for l.
3
Let i be (-1)/(2/(0 - 4)). Suppose i*v + 3*v - 3*w - 29 = 0, w + 11 = 2*v. Solve 14 = -3*r + 5*g, -v*r - g = 3 + 8 for r.
-3
Let v = -6 - -9. Suppose 7*y = 3*y + 8. Suppose -d + y*d = v. Solve -j = 5*u + d, j + u = -u for j.
2
Suppose 19 = 4*y - 3*y + 3*f, -f + 53 = 5*y. Solve -4*o - 2*r + 19 = -7*r, -2*r = -4*o + y for o.
1
Let f be 2/(16/10)*4. Let q(y) = y**2 + 8*y + 1. Let w(b) = b - 9. Let v be w(0). Let u be q(v). Solve -z + u*s = f*s + 20, -2*z - 16 = -2*s for z.
-5
Let v(h) = h**2 - 6*h + 6. Let g be v(5). Let w be 32/g - (1 + 2). Solve 2*a + 5*s = -w, -3*s = s + 20 for a.
-2
Let k(r) = r**2 - 5*r - 2. Let t be k(6). Suppose t*n + 4*x - 3*x - 24 = 0, 2*n - 18 = -2*x. Solve -3*a - j + 2*j = n, 1 = -2*a + 3*j for a.
-2
Suppose 0 = -3*m - 3*q + 9 - 0, -5*q = 5. Solve -4*l - 5 - 7 = -m*u, -3*u - 4*l = -23 for u.
5
Suppose r = -0*r + 5*z - 3, 3*r - 5*z - 1 = 0. Suppose 2*m = 4*m + q - 16, r*q = -5*m + 38. Solve 12 + 13 = -5*l - 5*o, -m = 3*o for l.
-3
Suppose -6*o + 3*o + 12 = 0. Solve -h - 2*x = -x + 3, 0 = -2*x + o for h.
-5
Let k(s) = -s**3 + 12*s**2 + s - 9. Let a be k(12). Solve -c + 7 = -5*q, a*q - 3 = 4*c + 3 for c.
-3
Let m(x) be the third derivative of x**4/24 - 2*x**3/3 - 7*x**2. Let b be m(7). Solve l = -3*o + 10 - 0, -b*l + 12 = 0 for o.
2
Suppose 4*j - 8 = 0, 9*j = 4*c + 4*j - 2. Suppose -6 + 16 = -2*l, -2*h + c*l + 23 = 0. Solve 4*o - 8 = -h*n, -3*o = 4 - 10 for n.
0
Suppose k - 7 = -2*y + 2, -5*y + 4*k + 3 = 0. Suppose x = -y*a + 27, 4*a + 2 + 25 = x. Solve 0*h + 3*h = 2*z - 19, 4*h + x = 3*z for h.
-3
Let o = -5 - -11. Let i be o + (3/(-1))/3. Solve 5*t - l = -19, -12 = i*t + 3*l + 11 for t.
-4
Let t be (-5 - -3 - -1)/1 + 5. Solve 5*z - a = 2*a, t*a = -4*z for z.
0
Let k = -94 - -109. Solve -j - 3*m - k = -7, 0 = -j + 3*m - 2 for j.
-5
Let w(o) = -o + 5. Let n be w(-7). Suppose -16*v + n*v + 60 = 0. Solve v = -3*y, -5*m + 2*y + 19 = -6 for m.
3
Let q(l) = l. Let t be q(2). Let a(g) = 0 + 0 + g**t - 2*g. Let o be a(3). Solve -o*x = -4*w + 12, 4*x + 4*w = -8 + 20 for x.
0
Let a(y) be the first derivative of 2*y**3 + 2*y**2 + 3*y - 8. Let q be a(-2). Solve -h = -5*u - 2*h - q, 2*u + 3*h + 5 = 0 for u.
-4
Let c be 6*(92/6 - 3). Suppose 3*l + 5*n = 4*n + c, 0 = -4*l - 5*n + 117. Suppose -3*q = -0*q - 15. Solve j - 5*k = q, -5*k + 2 = 5*j - l for j.
5
Let l(u) be the second derivative of -u**3/6 - 3*u**2 - 6*u. Let b be l(-6). Solve 2*q + 2*d = -b + 8, -4*q + 11 = -d for q.
3
Let z(p) = 2*p**3 - 7*p**2 + 5*p - 5. Let w be z(5). Let u = -62 + w. Let s = u - 8. Solve r + 14 = -r + y, -5*y = -r - s for r.
-5
Suppose i - 2 = -4*n + 6, -4*i - 19 = -n. Suppose 10 = n*h - h. Solve h*w + 2*v = v + 17, v + 10 = 4*w for w.
3
Suppose 2*a = -a + 9. Suppose -k = -a*k + 6. Suppose -5*f = 2*y - f, -2*y - f + k = 0. Solve 3*i = y*q - 11, 0*i - 5*i - 3*q - 12 = 0 for i.
-3
Let v(s) = s**3 - 7*s**2 + 9*s - 15. Let w be v(6). Solve 0 = y - 2*h + 5, -w*y - h = -5*h + 13 for y.
-3
Suppose -3*w - 26 = -5*o, -2*o + w + 8 + 2 = 0. Let d be 1/3 + (-4)/12. Solve -o*x + 2*c = -10, -3*c = -d*x - 3*x + 12 for x.
1
Let p be 448/196 - ((-2)/(-7) + 0). Solve t = -4*m - 12 - 2, 0 = m + p*t for m.
-4
Suppose 0 = -2*u + u. Let i be (0/1)/(-3) + u. Let k be (-1 - (-6)/4)*0. Solve -t + i*t = -2*b + 7, k = -b - 3*t - 7 for b.
2
Let m(u) = u + 14. Let q be m(-10). Suppose q*d = -d. Let g(c) = c + 13. Let h be g(d). Solve n + 2*i = -h, 0 = 2*n + 5*i - 0 + 30 for n.
-5
Suppose 0*m + 12 = 4*m. Suppose -m*h + 5*h - 4 = 0. Solve 4*r - 29 = -5*f, -4*f + h*f + 8 = -2*r for r.
1
Let o(u) = 2*u**2 + 2*u - 1. Let n be o(1). Suppose -n*v + 6 = -2*v. Let r be (-1)/(-3) - 2/v. Solve 4*p - 5*i + 6 - 3 = r, p + 6 = -4*i for p.
-2
Let d(i) be the first derivative of -i**4/4 - 11*i**3/3 + 11*i + 5. Let z be d(-11). Solve n - 4 = -5*p + z, -5*p = 5*n - 35 for n.
5
Let d be (-6)/(3/1 - 1). Let u be (45/d + 3)/(-1). Solve -4*v - v - 11 = -j, 4*j = 4*v + u for j.
1
Let l(g) = 2*g - 11. Let p be l(13). Suppose 2*r = 4 + 2. Suppose 5*h + 5*q - 31 = r*q, -2*q = -3*h + 9. Solve h*m + 12 = 6*a - 2*a, -p = -m - 5*a for m.
0
Suppose -5*l - 2*l + 14 = 0. Solve -2*o = r + 2, l*r + 13 = 7*o - 2*o for r.
-4
Let r(b) be the second derivative of -b**5/20 + 3*b**4/2 + 2*b**2 + b. Let g be r(18). Solve -5*s = 25, 5*d + g*s = s + 10 for d.
5
Suppose 2*n = 0, -3*c = -5*n + 5 + 40. Let w be (12/10)/((-1)/c). Solve 2*z - 15 = -3*p, -5*z - 3 + w = 3*p for p.
5
Suppose 4 + 8 = -2*x. Let y be 60/50*(-20)/x. Solve 10 + 2 = -3*h, h = -q - y for q.
0
Suppose 4*f + 0*i = -3*i + 85, -5*f - 4*i + 105 = 0. Suppose -3*n