3*v + 2. Let l be c(-1). Solve 0 = 4*n - 20, y - l*n + 6 = -3 for y.
1
Suppose -d - 3*d = -20. Let v(y) = -y**3 - 10*y**2 - 10*y - 8. Let b be v(-9). Suppose -5*u = b - 26. Solve -2*q - d = 5*c + 5, -4*c = u*q + 25 for c.
0
Suppose -21 = -4*a - 5. Solve j = a*g + 4*j - 2, -g + 2*j - 5 = 0 for g.
-1
Let f be (15/(-5))/(2/(-14)). Solve -3*r + f = 5*v - 7*r, -3*v + 18 = 3*r for v.
5
Suppose c + 3*r - 2 = 0, -5*c + 3 = r - 7. Suppose -c*d = d - 6. Suppose -d*h = -4*h + 34. Solve k + h = -3*j, -k + 4 = -2*j + 1 for k.
-5
Let b = 67 - 65. Solve 3*t - b*o + 12 = -7, -5*t - o = 10 for t.
-3
Suppose 0 = -6*o + 100 - 292. Let x = -21 - o. Solve -2*c = -5*s + 21, -2*s - x + 29 = -4*c for c.
-3
Let s be (33/7 - 5)/((-1)/7). Solve -4 = l + 5*b - 13, -3*l = s*b - 1 for l.
-1
Let s be (-3)/(-2)*(25 - 1). Suppose -k - s = -108. Suppose -2*o - o + k = 0. Solve a - 12 = -4*i, 4*a - a - 3*i = -o for a.
-4
Suppose -2*p + 30 = 4*p. Solve -5 = -x - 4*a - 18, -2*x - p*a = 14 for x.
3
Let l be 2 + (-3)/((-3)/10). Let m = -5 + 3. Let c be m - (-1 - 1) - -1. Solve g - 4*o - l = 0, 4*o + 3 = 3*g - c for g.
-4
Suppose 0 = -4*o + 11 + 13. Let h be (-1)/o + (-93)/(-18). Solve -4*t - 16 - 5 = g, -3*g - h*t - 35 = 0 for g.
-5
Let f(u) = u**3 - 2*u**2 + 3*u - 2. Let g be f(2). Suppose -6 + g = -w. Solve w*l - 2 = -2*s, 5*s = -2*l + 3*l - 7 for s.
-1
Let i be (12/9)/(4/6). Solve -5*n - 7 = -2*x, -2*x = 4*n + i*x for n.
-1
Let z(c) = c**2 + 3*c + 5. Let k be z(-4). Suppose 6*r - k = 3*r, p + 4*r = 12. Solve s + 13 = -2*s - d, 4*s - 3*d = p for s.
-3
Let g be (-12)/36 - (-98)/6. Solve -x - 2*w = -3*x, 0 = -4*x - 4*w + g for x.
2
Suppose 0 = -j - j + 16. Suppose 5*r - 2*q = -0*q + 15, 4*r - q = 12. Solve 1 = -4*l + 2*l - r*i, i = l + j for l.
-5
Let y be -2*3*(-1)/2. Solve -y*c - 2 = -3*z - 2*c, -21 = z + 4*c for z.
-1
Let p(r) = -r + 3. Let s be p(-6). Solve -4*k = 8, -3*g - 6 = 3*k + s for g.
-3
Let h be 4 - (0 - (-3 + 1)). Let z be ((-2)/(-3))/((-1)/(-3)). Let q be 2 - (-1 + 2/z). Solve -h*m + 10 = m + 5*b, q*b = -3*m + 13 for m.
5
Suppose 3*i + 5 = 35. Solve 0*v = 5*j - v - 27, 5*v - i = -4*j for j.
5
Let j(y) = -y + 1. Let m(t) = 15*t. Let p(d) = j(d) + m(d). Let k be 4/(-2) + 3 - 0. Let l be p(k). Solve x - 19 = 5*s, s + 2*s + l = -3*x for s.
-4
Let q(m) = 2*m**2. Let h be q(1). Suppose -5*y + 3*y + 2 = 3*a, 0 = -a - h. Solve -3*r + y*s = -3, -5*r + 0*s + s + 22 = 0 for r.
5
Let k = 44 + -39. Solve 7 = -2*b - 5*c, k*c + 3 + 0 = 2*b for b.
-1
Let s(x) = -x**3 + 4*x**2 - 3*x + 2. Let z be s(4). Let o = z + 34. Solve 2*c - 12 = l, 3*c = -0*l + 3*l + o for c.
4
Let v = -6 - -8. Let q be 0/((-4)/4*v). Solve -2*f + r - 3 = q, 3*f + 0*r - 2*r = -4 for f.
-2
Let t be -7 + 15/5 + 7. Solve -5*g + 5*h = 0, -g = -t*g + 3*h - 5 for g.
5
Let d(j) be the first derivative of -1/2*j**2 - 2 + 2*j. Let o be d(0). Solve -5*l - 5 = o*w, w + 3*l = -l - 4 for w.
0
Let w(c) = -c**3 - c**2 + 2*c + 3. Let j be 3 + 0 + -3 - 2. Let g be w(j). Solve 3*x - 2*n = -7, -x = 8*n - g*n - 9 for x.
-1
Suppose 4*v = 5*i - 57, 0 = 6*i - 3*i + 2*v - 43. Let q = 17 - i. Solve q*m + 14 = a, -m - 2*a - 24 = 4*m for m.
-4
Suppose -t = -21 + 20. Solve -20 = -5*l - 5*d, -l + 3 = -5*d - t for l.
4
Let j = 0 + -1. Let p be 1*-4*(j - -2). Let s be (20/(-3))/(p/30). Solve -3*m = -15, 5*r - s = -3*m - 2*m for r.
5
Let u = 30 + -25. Solve -z + 3*f = -2*z - 19, 3*f - u = 5*z for z.
-4
Let f be 39/6 - 6/(-4). Suppose f = -2*g + 16. Solve -2*j = 2*i + 16, -g*i + 0*i - 20 = 0 for j.
-3
Let t = -22 - -35. Solve -4*o + 16 = 4*p, 2*p - 2*o - t = -3*p for p.
3
Let k(g) = -g**2 + g + 4. Let d be k(0). Solve -v = -5*a + 5, 5*v + d*a - 14 - 19 = 0 for v.
5
Suppose -5*a = -23 - 17. Solve 2*v + a*q - 18 = 3*q, -5*v + 26 = 3*q for v.
4
Suppose -4 + 34 = 5*d. Let z(i) = i + 2. Let l be z(d). Solve 0 = -3*f - 5*u - l, -4 - 20 = -2*f + 4*u for f.
4
Suppose -4*t + 4 = -6*t. Let r(o) = -o**3 + 2*o + 1. Let c be r(t). Solve 20 = -3*i + c*n, 5*i - 3*n + 24 = -4 for i.
-5
Let x = 7 + -3. Suppose 0 = -x*u - 4 - 16. Let v(z) = -z**3 - 5*z**2 + z + 7. Let r be v(u). Solve r*y - 5 = 3*f + 1, -4*y + 12 = 3*f for f.
0
Suppose 5*d = -2*u - 3*u + 25, -2*u - 15 = -3*d. Solve -s + 2*h = 3*s + 20, 0 = -d*s + 2*h - 23 for s.
-3
Let y be (-8 - -9)*4/2. Suppose 2*d - 15 = -5*i, -18 = 4*i + y. Solve 3*b + 2*s + 4 = -4, 5*s + d = -5*b for b.
0
Let o(a) = -a + 26. Let j be o(22). Solve -h + 2*z - j = -4*h, 2*z = -2 for h.
2
Let n(s) = -15*s**2 - 1. Let r be n(-1). Let i = r - -26. Solve i*b + 27 = 5*b - 3*a, b - 3*a = 9 for b.
-3
Let a = -98 + 102. Solve 2*v = 6*b - b - 10, a*b + 2*v - 26 = 0 for b.
4
Suppose -11*g + 6 = -5*g. Solve 0 = 4*u - 5*m - g + 8, -17 = 5*u + 2*m for u.
-3
Let f = -62 - -64. Solve l - 4*a = -3, 6 = -2*l - a + f*a for l.
-3
Let i be (-48)/(0 - 3) - 1. Let v = -12 + i. Solve 4*m - 2*g = 2, -3*g = -4*m + m + v for m.
0
Let p be (18*1)/((-4)/(-6)) + 1. Solve -3*f = f - 3*h - p, 3*f = -3*h for f.
4
Let x be (-10)/(-75) - (-6)/(-45). Solve 22 - 1 = 2*y + 5*t, y + t - 6 = x for y.
3
Let k be -1*((-333)/63 + 2/7). Solve 2*v - y = -5, -4*y = -3*v + k - 0 for v.
-5
Let j(t) = -t**3 + 6*t**2 - t + 8. Let k be 12*3/(6/1). Let b be j(k). Suppose -b*n = -10 + 2. Solve -3*u + n*h - 21 = 0, -u - 2*u = 3*h for u.
-3
Let t(n) = -n**2 - 4*n. Let u be -2*(1 + -7)/(-3). Let y be t(u). Solve 3*o + l = -y*l + 12, -3*o - 2*l = -15 for o.
3
Suppose 4*z - t - 11 = 0, -t = 5*z - z - 5. Solve 3*u + 19 = -3*i - z*u, -2*u = -3*i + 16 for i.
2
Suppose 5*p + 8*p - 143 = 0. Solve 2*h + p = 3, -w - 3*h - 10 = 0 for w.
2
Let p = -12 + -7. Let w = 40 + p. Solve 3*n = 4*b - 5*b - 12, -2*n - 5*b - w = 0 for n.
-3
Let n = -20 + 24. Solve -2 = -4*h + 2*v + 6, -3*v = n*h - 8 for h.
2
Suppose 0 = -2*x - 0*x. Suppose -3*l = -x*l + 27. Let y be (-33)/l + 3/9. Solve -8 = -4*q + 2*q - 3*g, 0 = -y*q + g + 2 for q.
1
Let f = -7 - -14. Suppose 20 = -2*h + f*h. Solve h*s - 2*z - 6 = -z, 0 = -4*s + 2*z + 8 for s.
1
Let i = -39 - -53. Solve p - 8 = -4*s + 7, -2*p + 3*s - i = 0 for p.
-1
Let h be (10 + 0)*3/6. Suppose -h*w + 41 = 1. Let j be 5*3*w/6. Solve 0 = -t + 3*s + 17, 0 = -3*s - s - j for t.
2
Suppose 5 = 2*g + 2*f - 21, 5*f = 4*g - 7. Let q = -1 + g. Let h be (2 - q)*-2*3. Solve -24 = 2*y - 4*l, 0 = -5*y + 3*l - 2 - h for y.
-4
Suppose -c - 3*x = 0, -3*c + 5*c + 5*x = 0. Suppose c = -3*g + 6 + 6. Suppose g*n = -2 + 22. Solve -4*f - n = -f - 2*u, 17 = f + 4*u for f.
1
Suppose 5*v = -4*n - 11, 5*n = -3*v - 5 + 1. Let t = 5 - v. Solve 5*m + 3*r - 4*r = 27, -t = 4*r for m.
5
Let o(s) = s**2 + 8*s + 7. Let t be -2 + -6 - (-2 - -2). Let k be o(t). Solve -2*c - k = -i, 5*c + 3*i + 5 = 4 for c.
-2
Suppose 0 = -o - 0*o - 2*b - 5, o - 3*b - 15 = 0. Solve 5*k + 2*l + 11 = 36, 0 = 4*k - o*l - 20 for k.
5
Let w(k) = -k - 5. Let g be w(-7). Solve -4*o - 24 = -4*t, g*o + 3 = -3*t - 2*o for t.
3
Let v = 5 + -3. Let n(u) = 3*u**2 + 2*u - 2. Let m be n(1). Solve -3*t = -i - m, -v*i + 3 + 7 = 2*t for t.
2
Suppose h - 1 = -8. Let d = 113 + -102. Let z = h + d. Solve -z*m = 3*s + 2, 4*m = -m - 10 for s.
2
Let g(q) = -q + 28. Let h be g(0). Let k be (-23)/(-7) + (-8)/h. Solve 2*d - 4*z + 14 = 0, 0 = -z + 7 - k for d.
1
Let n(r) = -r**2 + 8*r - 7. Let x be n(7). Solve 3*j - b = -14, -15 = -3*b - x*b for j.
-3
Suppose 0 = -2*p - 12 + 16. Solve c + 1 = y - p, -19 = 2*y + 3*c for y.
-2
Let h be ((-9)/6*2)/((-3)/4). Solve -3*t + h = 2*l - 0*l, 4 = -t + 2*l for t.
0
Suppose 0 = -3*q + 1 + 5. Solve -4*n + p + 15 = 0, 0 = q*n + 3*p + 2*p + 9 for n.
3
Let x(f) = f**2 + 5*f - 9. Let j be x(-7). Solve j*t - 3*v - 19 - 1 = 0, 5*t - 5*v = 20 for t.
4
Suppose 4*x = 2*r + r + 13, -5*r - 3 = -2*x. Suppose -66 = -x*v + 2*v. Suppose 5*t + 3*d = 59, 3 = -2*t - d + 26. Solve -5*z + 7 = 2*s, 2*s = 5*z - v + t for s.
-4
Suppose -3 - 4 = -a. Suppose -2*k = 4*k - 18. Solve 3*s + s + k*n = 10, 3*s = 5*n - a for s.
1
Let q be -4 + 4 - (-4 + (-4)/(-2)). Solve 2*r - 13 = 3*w, 7*w + 15 = q*w for r.
2
Let m(a) be the third derivative of a**6/120 + a**5/30 - a**4/24 - 7*a**2. Let h be m(-2). Suppose 5*y = 1 + 19. Solve -y*k - h + 5 = q, -k = 2*q - 6 for q.
3
Let f = -3 + 6. Suppose 4*h + h = 25. Suppose 2*m - h*m + 15 = 0. Solve -8 = -4*q - 2*r, m*q - f*r - 6 = 15 for q.
3
Let l = 0 - -10. Suppose 0 = -0*q - 2*q + l. Let z = q - 