 2*v. Solve i + 5 = j for i.
-4
Let t = 3 + -1. Suppose -4*l - t + 6 = 0. Solve 3*f + 2 = -l for f.
-1
Let a(r) be the first derivative of r**4/4 - r**3 + r**2 - r + 2. Let z be a(3). Solve -3*p = -z*p - 10 for p.
-5
Let x = 4 - 2. Suppose k + 1 - 5 = 0. Solve x*o + 10 = k*o for o.
5
Let n = 39 - 35. Suppose 6 = 3*f + 5*h, -5*f = -4*h - 8 - 2. Let j be (-13)/(-3) - (-2)/(-6). Solve f*k - n*k = -j for k.
2
Let w = 16 - 1. Let d be 0/(-2 - w/(-3)). Solve -a - a - 2 = d for a.
-1
Suppose 4*z - 8 = 8. Let j = -2 + z. Solve 2*u - 4 = j for u.
3
Let x(z) = -z**3 - 11*z**2 + 5*z - 15. Let h be x(-12). Let i = h - 49. Solve -3*k + i = 2*k for k.
4
Let m(u) = u**2 - u. Let g be m(2). Solve -3 - 3 = -g*n for n.
3
Suppose -2*i = -34 - 38. Let r be (-2)/(-5)*(-1 + i). Solve 6 + r = 4*x for x.
5
Let x(a) = -a**3 + a. Let q be x(-2). Suppose -10 = r - q*r. Solve -d = r + 2 for d.
-4
Let h(t) = -t**2 + 5*t + 8. Let f = 8 + -2. Let z be h(f). Solve 0 = -0*j + z*j for j.
0
Suppose -5*i + 10*i - 25 = 0. Solve 5*w - i - 10 = 0 for w.
3
Suppose -3*d = 0, 0 = -0*k + 2*k + 2*d. Solve k = -3*a + 10 + 2 for a.
4
Let w(t) = t**3 + 8*t**2 + t + 8. Let l be w(-8). Suppose l = -2*v - 0*v + 10. Solve 0 = v*y - 0*y for y.
0
Let k(m) = 3 + 8*m**3 - 7*m**3 - 9*m**2 - 2*m**3. Let a be k(-9). Solve 7*i - a*i = 0 for i.
0
Let x(d) be the third derivative of d**4/24 - d**3/6 + 4*d**2. Let r be x(2). Solve 11 - r = -5*h for h.
-2
Let t be (-2 + 10/(-3))*90/(-24). Solve t = -2*l - 2*l for l.
-5
Let o(g) = -g**2 + 7*g + 2. Let v be o(7). Suppose v*d - 2 = 4. Solve -2*j = -d - 1 for j.
2
Let w(c) = -2*c**2 - 2. Let y be w(-4). Let v be y/(-30) + 4/(-30). Solve -3*j - v = -10 for j.
3
Suppose 55 = 5*u + 5*c, 2*u = -4*c + 4 + 10. Suppose 3*l - u = -2*l. Solve l*i + 2*i = 10 for i.
2
Suppose -f - 3 = 2. Let u = f + 5. Suppose -4*h = -i + 9, 3*h + 1 = -5*i - u*i. Solve -i = -n - 4 for n.
-3
Let q(s) = -s**2 + 2*s + 4. Let t be q(4). Let a = 8 + t. Suppose -4*i - b = -0*b - 10, i + 8 = 5*b. Solve -i*m = -0*m - a for m.
2
Suppose 2*g = 12 - 0. Let v(p) = -10 + p**3 + 6 - 2*p**3 - g*p + 8*p**2. Let t be v(7). Solve -t*q - 1 = -4*q for q.
1
Let s(b) = -b**3 + 3*b**2 + 1. Let u be s(3). Let q(r) = r**3 - 6*r**2 + 2*r - 8. Let g be q(6). Suppose -g = -5*h + 11. Solve d - h = -u for d.
2
Suppose -p - 26 = 5*t, -5*p - 5*t = 22 + 8. Let g be p + 4 - 3/3. Solve 0 = -k + g - 0 for k.
2
Let j = -2 + 1. Let g be 0/j + 42/2. Suppose -x = -2*x + g. Solve 0 = -5*u + 4 + x for u.
5
Let z = -4 + 6. Suppose -4*p = -4*f - 28, 3*p + 3 = z*p - f. Let s(m) = -m**2 + 6*m - 5. Let a be s(5). Solve -p*w + 8 + a = 0 for w.
4
Let t(l) = -l**2 - 18*l - 41. Let y be t(-15). Solve y = -2*s + 4*s for s.
2
Suppose -8 = -11*u + 3. Solve k = 2 - u for k.
1
Let t be 2/(-10) - (-21)/5. Suppose 5*v - 96 = t. Solve 4*w = -0*w + v for w.
5
Suppose 5*h = -3*i + 153 - 50, -5*i + 105 = 5*h. Solve 2*c = -3*c + h for c.
4
Suppose -5*l + 0*b + 41 = b, -4*l - 4*b = -20. Suppose -4 = 4*p + 4*j, -2 = -4*p - j - 3. Solve 3*m + l + 0 = p for m.
-3
Let a(w) = w**2 - 4*w + 3. Let k be a(4). Solve 0 = k*j - 0*j - 6 for j.
2
Suppose h + 42 = -5*k + 16, 4*h = k + 22. Let v = 9 + k. Solve -20 = v*x + 2*x for x.
-4
Let a(i) = -i**2 - 7*i + 18. Let b be a(-9). Let z(y) = -y**2 - 2*y + 1. Let t be z(-2). Solve -j + t = -b for j.
1
Let n be ((-2)/(-2) - 4) + (3 - -1). Solve -b = -0*b + n for b.
-1
Suppose -x - 1 + 13 = 5*w, 4*x + 5*w - 18 = 0. Solve x*z + 3 = z for z.
-3
Suppose -3*n - 4*l + 15 = -0*n, n + l - 4 = 0. Solve -v + 5 - n = 0 for v.
4
Suppose -3*d = -d - 18. Solve d + 11 = 4*u for u.
5
Let n(z) = -2*z**2 + 5*z - 6. Let c be n(3). Let h(d) = d**2 + 10*d + 11. Let b be h(c). Solve -10 = -7*v + b*v for v.
2
Let w(g) = g**3 - 7*g**2 + 6*g + 1. Let n be w(6). Let y be ((-4)/(-8))/(n/(-24)). Let v = y + 17. Solve v*j = -0 + 5 for j.
1
Let b(k) = k + 11. Let s be b(-11). Solve s*i = i for i.
0
Let u = -41 - -45. Solve 2*p = -2*p - u for p.
-1
Let g(n) = -n**3 - 12*n**2 + 6. Let y be g(-12). Solve f - 7*f + y = 0 for f.
1
Suppose -r + 25 = -4*s, 5*s = 2*s - 2*r - 27. Let b(l) = -4*l. Let n(u) = 3*u + 1. Let m(z) = -2*b(z) - 3*n(z). Let p be m(s). Solve -w = -1 + p for w.
-3
Let l be (-12)/54 - 38/(-9). Solve z = -l*z - 5 for z.
-1
Let l be 5 + -1 + (2 + -2)/2. Solve 0 = -q + l*q + 6 for q.
-2
Let v be (35/(-20))/(2/8). Let s = v - -10. Suppose -u = -s*u. Solve u = -2*i - 3*i + 20 for i.
4
Let n(t) = -t**3 - 4*t**2 - 3*t - 2. Let x be n(-4). Solve 0 = -2*p + x for p.
5
Let t(y) be the first derivative of -y**2/2 + 2*y + 1. Let r be t(-2). Suppose 0 = -r*g + 3 + 5. Solve -d - g*d = 6 for d.
-2
Suppose -7*a + 5*a + 8 = 0. Solve -a*m + 16 = -0 for m.
4
Let r(p) = 2*p - 4. Let b be r(5). Let l = b + -4. Let m(v) = 7*v**2 - 2*v + 1. Let a be m(1). Solve a*y = l*y - 20 for y.
-5
Let d be 8 + 1 + 7/(-7). Suppose d*i = 3*i + 10. Solve 0 = -2*c + 6 + i for c.
4
Let t = 2 - -13. Suppose -5*m = -f - 7, 5*f - m - 4*m = 5. Suppose f*z - 5 - 7 = 0. Solve z*n = n - t for n.
-5
Let u(c) = 5*c - 13. Let m(v) = -v + 3. Let f(g) = -9*m(g) - 2*u(g). Let h be f(-9). Solve -5*s - h - 7 = 0 for s.
-3
Suppose 5*y = r + 4*r + 5, 3*y - 9 = 0. Solve r*t + t = 0 for t.
0
Suppose 17*y - 21*y = 0. Let b = -3 - -7. Solve y = m - b*m for m.
0
Let k = 31 + -22. Solve 15 = 2*j + k for j.
3
Suppose -r + 0 + 3 = 0. Suppose r*m - 4 = 5. Suppose -7 = -m*b + 2*w, 0 = -b + w - 3 + 4. Solve 4*j - b*j = -5 for j.
5
Let n be (0 - -2) + (-3 - -2). Suppose 2 = -0*i - i - 5*j, 3*j = 0. Let d be n*(i + 23) - 1. Solve d = v + 3*v for v.
5
Suppose -3*m = -8*m. Suppose -40 = -m*f - 5*f. Let b = 1 - 1. Solve -4*y - 8 - f = b for y.
-4
Let q = 15 + -10. Let s(a) = 1 + a**2 + 1 + 3 - 5*a. Let m be s(q). Solve p - m = -0*p for p.
5
Let z = -15 + 8. Let d = z - -13. Suppose 0 = s - d*s. Solve 0 = -3*g - 3 - s for g.
-1
Let g be (-3)/(-2)*32/24. Solve -g - 4 = 2*w for w.
-3
Let l be (0 - 1) + (0 - -3). Suppose l*p - 5 = 7. Let c = 7 - p. Solve -q + 3 = c for q.
2
Let a = -6 + 14. Let d(g) = -g**2 - 6*g + 10. Let l(s) = -3*s + 2. Let q be l(3). Let b be d(q). Solve -b*z + a = -4 for z.
4
Let h = 24 - 26. Let d(l) be the third derivative of l**4/24 + l**3/3 + l**2. Let s be d(h). Solve 2*a + s*a = 4 for a.
2
Let l = 27 + -21. Suppose 3*a = l - 0, 0 = -t - 3*a + 10. Let q = 2 + -2. Solve t = -q*m - m for m.
-4
Suppose 4*x - 1 - 3 = 0. Suppose -q - 8 = -1. Let f = 7 + q. Solve i = -f + x for i.
1
Let w be -12*((-9)/(-3))/(-3). Let i be -1*2 + w - 0. Let q be (16/i - 2)*-35. Solve 2*f = 4 - q for f.
-5
Let n(o) = o. Let r(y) = -5*y - 5. Let h(m) = 6*n(m) + r(m). Let t be h(8). Solve -t*p = -4*p for p.
0
Suppose a + j = 9, -2*j = a - 15 + 3. Solve 16 = -2*t + a for t.
-5
Let r be (0/4)/(2 + -3). Solve n - 4 + 3 = r for n.
1
Let p = -6 - -6. Suppose -4*x + 8*x - 28 = p. Solve 0 = -x*h + 3*h for h.
0
Let n(z) = z**3 + 5*z**2 + 4*z. Let o be n(-4). Suppose o = -5*k + 4*t - 0 + 40, 15 = -3*t. Solve k*l + 4 + 4 = 0 for l.
-2
Let b be -4 - -8 - (-1 - -3). Suppose -15 = -7*m + b*m. Suppose 25 = 4*u - 2*o - 7, m*u + 2 = -5*o. Solve -j - j = u for j.
-3
Suppose 5*o = 3*t + 13, -2*o - 4*t + 35 - 9 = 0. Let g(x) = x**2 - 6*x + 7. Let m be g(o). Solve -5 = c - m*c for c.
5
Suppose -s = -x - 3, -4*s - 3*x + 0*x + 26 = 0. Solve 0 - s = v for v.
-5
Suppose 3 = -3*w + 6. Let o = w + -2. Let k be (o + -6)*(-4)/14. Solve 3*h + k*h = -25 for h.
-5
Let d = 0 + -1. Let l(c) = 6*c**2 + c - 5*c**2 - 2*c**2 + 4*c**2. Let u be l(d). Solve 0 = -u*q - 4 for q.
-2
Suppose -28 = 13*g - 158. Solve -5*c + 0 = -g for c.
2
Let o(w) = w**2 + 6*w + 2. Let d be o(-6). Suppose 3*i - 1 = d. Suppose i = 2*n - 5. Solve 5 = -p + n for p.
-2
Suppose 2*j = -3*j + 25. Suppose -5*a + 4*a = -j. Solve -5*p + 0*p = a for p.
-1
Suppose -4*p = -2*p + 8. Let m be (10 + -5)/((-1)/p). Solve -2*v - m = 2*v for v.
-5
Let x be (4/(-3))/((-1)/3). Let c(k) = -k**2 + 5*k. Let d be ((-5)/(-2))/((-2)/(-4)). Let y be c(d). Solve x*o - 12 = -y for o.
3
Let z(y) = y**2 + 6*y + 6. Let w be z(-5). Let t = -20 - -40. Suppose -2*f + 5*f = -2*q + t, 0 = -q + 3*f - 8. Solve 0 = q*v + w + 3 for v.
-1
Let j = 3 - -4. Solve -8 - j = 5*s for s.
-3
Let s = -4 + 7. Suppose -o = 2*w - 22, -2*o + 3*w + 79 = 28. Let c = -4 + o. Solve i + s*i = c for i.
5
Suppose 0*a = 5*a - 4*