l = -b*v for v.
-2
Let h(o) = -3 + 0 + o + 2*o**2 + 5*o - 2. Let a be h(-5). Solve -c + 4*c = a for c.
5
Let c = -2 + -2. Let b = 4 + c. Solve b = -s - 2*s for s.
0
Suppose 3*j - 14 = 1. Solve 4*d + j = -d for d.
-1
Let z = 0 + 2. Let p = 11 - 17. Let m = -3 - p. Solve 0 = m*j - 4 - z for j.
2
Suppose -1 = 2*p + 1. Let c be (p + 0)/((-7)/14). Suppose -2*i = -4, 4*x + c*i = -1 + 41. Solve -5 = 4*n - x for n.
1
Suppose 3*c - 12 = c. Suppose -3*n + 13 = 4*l, 5*l + 6*n = 9*n + 23. Solve 0 = l*j + c - 2 for j.
-1
Let k = -14 - -24. Suppose o = -4*w - o - k, 0 = 3*w + 4*o + 20. Solve 0 = 2*j - w*j for j.
0
Let r be (-4)/(-10) - 16/(-10). Suppose -x = -5*i + 12, i = -r*x - x + 28. Let d be 0 + (4 - 6/3). Solve 5*m - x = d for m.
2
Suppose -3*f = -4*q - 27, -f - 2*f - 3*q + 6 = 0. Suppose f*c + 20 = 2*t, c + 3*c = 5*t - 33. Solve t*h = 4*h - 3 for h.
-3
Let j = -20 + 46. Solve 0 = 5*q + j - 11 for q.
-3
Suppose -3*a = -15 - 0. Suppose -a*k = -7*k. Solve 0 = -y - k*y + 4 for y.
4
Suppose 2*k = -2 + 14. Suppose -30 = -w + k*w. Let i be (w/4)/(12/(-16)). Solve l - i = -3 for l.
-1
Let t = 70 + -54. Solve 5*n - t = n for n.
4
Let p(t) = t**3 + 8*t**2 + 7*t + 8. Let x be p(-7). Let h = 10 - x. Solve -h*v + 0*v = 10 for v.
-5
Let t = -11 + 17. Suppose 5*y + t = 2*y. Let b(i) = -i**3 - 2*i**2 - i + 1. Let a be b(y). Solve -2 - a = 5*q for q.
-1
Let q = -10 + 12. Suppose 0 = q*c - c. Solve -w = -3 - c for w.
3
Suppose -5 = 3*x - 14. Suppose -5*r + 2*n - 3*n = 8, -2*n = -5*r + 1. Let v be -1 + 5 + r + -3. Solve v = 2*u - x*u for u.
0
Let l = 53 - 49. Solve -9 = l*h + 7 for h.
-4
Let o be 4/6*(-12)/(-4). Let z(u) = 5*u - 3. Let a be z(o). Solve -a = 5*r - 2 for r.
-1
Let a(j) = j + 31. Let y be a(-11). Solve -3*q - q = y for q.
-5
Suppose 8*z - 3*z = 0. Solve -k + 0*k = z for k.
0
Let l be (2 + 1 - 3) + -4. Let q = l - -9. Solve -9 = -q*w + 6 for w.
3
Let r be (-3 - 5/(-2))*-38. Let l = -10 + r. Solve -3*y = -0*y - l for y.
3
Suppose -o - 4*o = 15. Suppose 0*a = -3*a + 3*w + 9, 3*a = -3*w + 21. Let t = o + a. Solve 0*c + c = t for c.
2
Let c(i) be the second derivative of i**4/12 - i**3/6 - 3*i**2 + 3*i. Let s be c(3). Solve s*x + 10 = 5*x for x.
2
Suppose -2*n + 7*n + 3*x - 10 = 0, n - 2 = -3*x. Let m = -4 - -9. Let o = m - n. Solve -12 = -0*y + o*y for y.
-4
Suppose t - 7 + 1 = 0. Suppose -t = 4*l - 7*l. Solve l*y + 3*y + 20 = 0 for y.
-4
Let m = -8 - -9. Suppose o + 4*v - m = 0, o - 2*v - 1 = 2*v. Solve 3 = -4*s - o for s.
-1
Suppose -2*w - 31 = 5. Let g = w + 28. Solve b + g = -b for b.
-5
Let l = 7 - 26. Let h = l - -22. Solve 6*u - h*u - 3 = 0 for u.
1
Let b(g) = -g + 9. Let n be b(9). Let f = n + 2. Solve f*c = -2*c for c.
0
Let c(o) = -o**2 + 9*o - 12. Let s be c(7). Solve 0 = s*n - n for n.
0
Let l(m) = m**3 + 4*m**2 + 5*m + 3. Let v be l(-3). Suppose -5*h + 74 = 2*r - 6, h + 4*r = -2. Let i be 3*(-4)/h*v. Solve -2*u + i = -0*u for u.
1
Let k = 6 - -6. Let b be (k/7)/((-12)/(-42)). Let s = -7 - -9. Solve -b + 0 = s*c for c.
-3
Let c = 8 - -3. Let a = c + -10. Solve h = 2*h + a for h.
-1
Let x = -12 - -9. Let n be (-7)/x + 4/6. Solve 3*j + n = 4*j for j.
3
Suppose -5*y = 2*c, 0 = 3*y - 6*c + 3*c. Suppose y = -l + 4*t + 8, 0 = 3*l - 4*t + t - 24. Let u = 14 - 11. Solve -q - u*q + l = 0 for q.
2
Let n(w) = w**2 + 3*w - 2. Let k be n(-4). Solve -3*o + 4 = -k for o.
2
Suppose 0 = -h + 17 - 12. Solve h*k - 9*k = 20 for k.
-5
Let p be 2/(-6) - (-8)/6. Suppose 0*b = b. Suppose 0*i + 4*i = b. Solve p + i = k for k.
1
Suppose -g = l + 6, 0 = 3*l - 4*g - 6 - 11. Let t = 3 - l. Suppose -2*p = 2*p + v - 17, -5*p + 2*v = -31. Solve 11 + t = -p*b for b.
-3
Let b be -3*2/(-2) + 0. Suppose b*s = s. Let x(l) = l**3 + l**2 + 4. Let o be x(s). Solve 6*h - o = 2*h for h.
1
Suppose d = -2*t + 10, -3*t + 4*d = -t. Solve -t*q = -5 - 15 for q.
5
Let r(c) = c**3 + 7*c**2 + 7*c + 6. Let y be r(-4). Suppose -25 = -z - 5*m, -2*m = 4*z - y - 2. Solve z*q + 18 - 3 = 0 for q.
-3
Let n be (-12)/((-3)/(-6) + 1). Let v be (-12)/3*(-10)/n. Let b be (v - -2)*(-2 + 1). Solve 6*g = b*g for g.
0
Let m be 3 + -5 + -1 + 24/4. Solve m*d - 6*d = 12 for d.
-4
Let q = 45 - 45. Solve -2*i + 1 + 1 = q for i.
1
Suppose -2 - 6 = -4*y. Solve -k = y*k - 9 for k.
3
Let b(f) = -3*f - 2. Let i be b(-3). Let x(j) = j**3 - 7*j**2 + 2*j - 10. Let c be x(i). Solve -n + c = n for n.
2
Let l be 1 - ((-1)/(-1) + -1). Let z be (-23 - -23)*(-1)/(-2). Solve z*c = -c + l for c.
1
Let v(j) = 16*j - 6. Let l be v(1). Solve -h - l = 4*h for h.
-2
Let s be 28/6 + (-1)/(-3). Let r(m) = 2*m - 6. Let x be r(4). Solve -x*u + s + 1 = 0 for u.
3
Let s(d) = -4*d + 2. Let c be s(-1). Solve 0 = -2*w + c*w - 12 for w.
3
Suppose -3 + 0 = t. Let z(m) = -m**3 - 2*m**2 - 2*m. Let q be z(t). Solve -2*k - q = k for k.
-5
Let b(l) = l**2 - 2 - 2*l**2 - 3 - 1 - 6*l. Let q be b(-4). Solve 0 = -0*z + q*z for z.
0
Let g = 22 - 10. Let h be (-2 + 16/g)*-9. Let i = 6 + -4. Solve -4*u - h = -i*u for u.
-3
Suppose -4*n + 19 = -1, -5*z - 5 = -2*n. Solve -2*c + 5 = -z for c.
3
Suppose 3*d = 3*u - 6, 4*u - 6 - 2 = 2*d. Solve u*f - 3 = 3 for f.
3
Let j(f) = -f**2 - 8*f - 6. Let q be j(-5). Let u = -4 + q. Solve -u*v - 9 = 1 for v.
-2
Let x be ((-12)/16 - 0)*12. Let h be 4/(-6) + (-24)/x. Solve v - 1 = -h for v.
-1
Suppose 5*j + 2*v - 86 = 0, -2*j + 2*v - 3*v = -34. Suppose -2*r + 4*g + 24 = 2*r, -2*r + 4*g = -j. Solve -4*o + r = -1 for o.
1
Suppose 5*w + 5 = 15. Suppose 2*i + 8 = 3*n, -12 = n + i + w*i. Solve -2*f - 2 + n = 0 for f.
-1
Let l(x) = -11*x + 57. Let b be l(5). Solve b*w + 2 = -0*w for w.
-1
Let i(p) = p**3 + 4*p**2 - p - 4. Let u be i(-4). Solve -2*x - 10 = -u*x for x.
-5
Let a be (-10)/(-5) + 0 + 8. Suppose -3*s = -2*d + 7 + 7, 5*d = -5*s + a. Solve 3 - d = x for x.
-1
Let z(x) = x**2 - 2*x - 2. Let v be (-3)/(((-84)/16)/7). Let h be z(v). Solve d - h = -1 for d.
5
Let s(y) = y + 2. Let h be s(0). Solve h*m - 5 + 1 = 0 for m.
2
Let u = -158 - -160. Solve 0*c - 8 = u*c for c.
-4
Let z(m) = -m**3 + 4*m**2 + 5. Let j be z(5). Let h be ((-3)/(-2))/((-3)/j). Suppose -2*q + 4*l + 16 = 0, -3*q = 3*l - 2*l - 17. Solve c - h = q*c for c.
-2
Let g(q) = -q**2 - 4*q - 2. Let k be g(-2). Suppose -k*p + 0*y + y = -110, 0 = -p + y + 56. Let v be (-2)/9 - (-120)/p. Solve v*j - j = 0 for j.
0
Let m = 1 - -2. Suppose 0 = m*i - 2*i - 2. Solve -i*t = -0*t for t.
0
Let n(v) = -v**2 + 13*v - 11. Let h be n(9). Solve -4*b + h = b for b.
5
Let v = 40 + -36. Solve -v = a + 1 for a.
-5
Let d(y) = -3*y + 21. Let i be d(7). Solve i = 5*a - 3*a for a.
0
Suppose -4*p = 2*x - 9 + 3, -25 = -5*x - 5*p. Solve 9 + x = 4*a for a.
4
Let v(k) = k**2 + k + 2. Let d be v(0). Suppose -2*h = 5*t - 0*t - 115, 0 = -d*h - 10. Suppose -l = 3*y + 7 - t, -4*l = -12. Solve 0*u - y*u = -25 for u.
5
Suppose -2*g - v = 2, -6 = -4*g + 2*g + 3*v. Solve -5 = t - g*t for t.
-5
Suppose s = -3*s + 12. Suppose -s*c + 12 = 0, 5*m - 10 = -c + 6*c. Suppose 5*z - 6*z + 5 = 0. Solve -m = -7*v + z*v for v.
3
Suppose n = 11 - 5. Solve 3*h = n*h + 12 for h.
-4
Suppose 3*z - a = 8, -5*z + 6*a - 2*a = -25. Let h = 6 - 4. Suppose 0 = -2*w - i + z + 7, -3*w = -h*i + 2. Solve -w = b - 3 for b.
1
Suppose -39 = 4*o + 61. Let m = 17 + o. Let q = m - -20. Solve 0 = -k + 5*k + q for k.
-3
Let g = -4 + 6. Let u be (98/(-7))/(4/(-2)). Solve g*m = u*m for m.
0
Suppose -3*q = -2 - 4. Suppose 0 + 2 = q*u. Solve p - u = 2*p for p.
-1
Let d(g) = g**3 - 8*g**2 + g - 3. Let i be d(8). Solve -4*z - 3 = -i*z for z.
3
Let w(i) = -i**3 - 9*i**2 - 9*i - 8. Let h be w(-8). Let z = 1 - -1. Solve z*u = -h*u for u.
0
Let z be -2*((-1 - -5) + -5). Suppose -3*h = -z*h - 3. Solve -h + 12 = 3*f for f.
3
Suppose 6 = 5*h - q, -5*q + 12 = 3*h - 14. Suppose 0 = h*p + 3*d - 67, -p = 3*p + 2*d - 130. Suppose 4*n - y = 16, p = 5*n + 4*y - 9. Solve 4*m = -1 + n for m.
1
Let t = -7 + 7. Suppose t = -5*y + 2*f + 38, -y + 2*f = -f - 18. Solve -15 = z - y*z for z.
3
Let w(d) = 3*d - 1. Let y be w(2). Suppose 10 = 5*g - y. Solve -g*v = v + 8 for v.
-2
Let d be (0 - -1)/((-1)/(-3)). Let h(m) = -d*m - 2*m + 6*m + 11. Let b be h(-5). Solve 0 = -3*x + 6*x + b for x.
-2
Suppose -f = 2*c - 6*c - 1, 3*f + 3*c = 3. Let i be 6/((-3)/12 + f). Solve -4*n + i*n = -8 for n.
-2
Let l = 174 - 159. Solve l = 3*w - 6*w for w.
-5
Suppose 0 = t + t + 6. Let z