+ 2*v - 4 = h for v.
-1
Let a be (5/3)/((-25)/(-30)). Suppose 0 = 3*v + v, -5*r = -5*v - 10. Suppose -q - 4*q = 0. Solve -r*b + 8 + a = q for b.
5
Suppose 0 = -2*c + u + 2, 4*u + 0*u - 19 = -c. Solve 5*n = c*n + 10 for n.
5
Suppose 0 = 3*m + 3 - 9. Suppose -m*a + 32 = b, -43 = -5*a - 4*b + 40. Solve -a = -4*f + 5 for f.
5
Suppose 0 = j + 1, 4*i - 5*j + 3 = -0*j. Let u be ((-24)/8)/(1/i). Solve -y = y + u for y.
-3
Let g(p) = 15*p - 6. Let v(w) = -w + 1. Let i(l) = g(l) + 3*v(l). Let q be i(2). Let b = 36 - q. Solve 0 = -j - 4*j + b for j.
3
Let r be 7/5 - (-4)/(-10). Let q(d) = -3*d - 18. Let o be q(-12). Suppose 3*k = -12, -3*a + 10 = -4*k - o. Solve a*p - r = -5 for p.
-1
Let a(x) = 2*x**3 - 4*x**2 + 3*x + 1. Let t be a(1). Solve 8 + t = 5*o for o.
2
Let r = -72 + 82. Solve -26 = -4*s - r for s.
4
Suppose 3*m = -5*v + 10, 4*m - 7 = 3*v + 45. Let g(n) = 2*n - 6. Let f be g(4). Solve -3*z + m = f*z for z.
2
Let c be (20/12)/((-5)/(-18)). Solve c = -2*x - 0 for x.
-3
Suppose -2*l + 18 = -k, -3*l + 17 = -3*k - 7. Solve 0*g - 2*g = l for g.
-5
Let s(c) = c**2 + 6*c + 6. Let r be s(-7). Suppose 0 = 2*t - r + 3. Suppose -t*y = -2*y. Solve y*i - 2*i = 2 for i.
-1
Let y be -2*(-1)/2 + 2. Suppose -11*f = -9*f - 30. Suppose -4*d = 4*l - 9*l + f, d - 2*l + 6 = 0. Solve -y*z = -d*z - 3 for z.
1
Let s be (6/4)/((-10)/(-20)). Solve -s*i + 6 = -0*i for i.
2
Let y be (-4)/(-6) + 26/6. Let s = y - 3. Solve s + 4 = 2*k for k.
3
Let x(i) = 2*i**2 + 4*i + 4. Let z be x(-3). Suppose -3*j + 18 = -0*d - 2*d, 2*d = -j - 2. Let r be j/(-10) + 84/35. Solve -r*u = -0*u - z for u.
5
Suppose 0*o + 2*o = 0. Suppose -19 = 2*n - 3*a, 2*a + 0 = -3*n + 4. Let y(m) = 3*m**2 - 2*m - 1. Let u be y(n). Solve -3*z + o*z + u = 0 for z.
5
Let b = 31 - 23. Solve -3*p + 4 = -b for p.
4
Let b(z) = -z + 6. Let s be (-43)/(-9) + 6/27. Let a be b(s). Solve 5 - a = 4*q for q.
1
Let i be 2/(-6) + (-109)/(-3). Suppose -f + i = 2*f. Solve 3*y + f + 3 = 0 for y.
-5
Let l(f) = -f**3 - 5*f**2 - 2*f. Let p be l(-3). Let y be (-4)/p + 148/6. Suppose 3*o + o = -5*n + 36, 5*o - 8 = 3*n. Solve -y = -o*i - i for i.
5
Let c be ((-8)/(-6))/(24/36). Solve c*z + 5 = 1 for z.
-2
Suppose -4*q = -3*q. Suppose 0 = 10*i - 8*i - 4. Solve q = w - i*w for w.
0
Let f = 43 - 31. Let x(o) = -3*o. Let a be x(1). Let c be a/12 + 36/16. Solve 5*k = c*k + f for k.
4
Suppose -2*g + 12 = g. Solve 5 - g = d for d.
1
Let w be (2 - 0 - 0) + 14. Let v(z) = 0 - 6 + 1 + z - 5. Let s be v(12). Solve s*j = 6*j + w for j.
-4
Suppose -1 - 5 = -2*v. Suppose 27 = 4*z + 3. Solve 9 = -z*d + v*d for d.
-3
Let t = 12 - -8. Solve 4*h + t = -0*h for h.
-5
Let f = 4 + 0. Suppose -30 = -f*u + 5*k, -6*k = -2*k + 8. Suppose -u*p - 10 = -5*b, 3*b = -4*p + 2*p + 6. Solve y + b*y = 0 for y.
0
Let i(n) = 11*n**3 - 10*n**3 + 3 - 5*n**2 + n + 3*n. Let t be i(4). Solve -5*a - t = 2 for a.
-1
Let r = -79 - -82. Solve -r*a + 2 = -4*a for a.
-2
Let o be 3 + 0 - 1 - 0. Solve 2*u + o = -6 for u.
-4
Let n be ((-3)/2)/(2/(-4)). Suppose m + 0*m - n*q + 13 = 0, -4*m + 33 = 5*q. Let z(y) = y**2 + y. Let u be z(-2). Solve m*t - u = -6 for t.
-2
Let i(b) be the third derivative of -b**5/60 + b**4/8 - 3*b**2. Let o be i(2). Solve -o + 4 = -2*m for m.
-1
Suppose 4*p = 5*b - 7 - 5, -b + 4*p - 4 = 0. Solve 4*c = b - 16 for c.
-3
Suppose 18 = j + 5*j. Solve 0 = j*u - 0*u + 9 for u.
-3
Let v(c) = -c**2 + 12*c + 14. Let m be v(13). Solve -i = -m + 4 for i.
-3
Let g(h) = 2*h**2 - 16*h - 13. Let s(i) = -i**2 + 15*i + 13. Let y(z) = -2*g(z) - 3*s(z). Let l be y(-11). Solve -1 = -2*x - l for x.
-4
Suppose 4*i = c + c + 8, -2*i = -5*c + 4. Solve z = c*z for z.
0
Suppose -3*a + 40 = 5*l, 4*a - 30 = -0*a + 5*l. Suppose -5*t + 22 = 4*f, -4*f - 2*t + 8 = -8. Solve -f*p = -p - a for p.
5
Let j be (4 - 1)/((-18)/(-24)). Let t be -2*(-1 + (-6)/(-4)). Let f = t - -3. Solve j*q = 5*q + f for q.
-2
Suppose 4*j + 35 = -j. Let z = -5 - j. Suppose o = -z*o. Solve o - 1 = -c for c.
1
Suppose -l - 3 = 2*l. Let s = 0 + 1. Let r = s + l. Solve r*i - 16 = -4*i for i.
4
Let u(t) = -t**2 - 3*t - 4. Let h be u(-3). Let y = h + 6. Suppose -y*c + 9 = 3*n, 0 = 4*n - 3*n - 3. Solve c*l + 3*l - 12 = 0 for l.
4
Suppose -40 = -9*u + 4*u. Let f = u + -6. Solve 0*g = -2*g - f for g.
-1
Suppose -2 = k - 0*k - 4*r, 0 = -2*r + 2. Solve 4*y = k*y for y.
0
Let k(u) be the third derivative of u**5/60 - u**4/4 - u**3/2 - u**2. Let i be k(8). Solve -7 - i = 5*t for t.
-4
Suppose -5*i - 4*s + 8*s - 24 = 0, 0 = 5*i + 3*s + 17. Let q be (2 - -1)/(4/i). Let r(w) = w**3 + 4*w**2 + 2*w - 2. Let m be r(q). Solve f + 0 = -m for f.
-1
Let i(h) = h**2 + 3*h. Let g be i(-3). Suppose g = -o - o. Solve -d - 2*d - 12 = o for d.
-4
Suppose -3*f - 4*r + 27 = 0, 2*f - r = -2*r + 13. Let b(q) = q**2 - q + 5. Let s be b(5). Let c = 41 - s. Solve 0 = m - f*m - c for m.
-4
Suppose 1 - 5 = -2*b. Suppose -o + b = -0*o. Suppose 0 = y + o*y. Solve y + 1 = -z for z.
-1
Let d(c) be the first derivative of -c**4/4 + 4*c**3/3 + 3*c**2/2 - 6*c + 2. Let y be d(4). Solve -y = 2*l - 0*l for l.
-3
Let m be 4/8*4*2. Solve -3*z = z - m for z.
1
Let c = 6 + -5. Solve -c = -d - 6 for d.
-5
Let g(k) = k**2 - 5*k + 4. Let z be g(6). Suppose 5*y = -0*y + z. Suppose -y*w = -3*w + 5. Solve 0*r - w = r for r.
-5
Suppose 5*y - 8 = 12. Solve 0 = -y*f - 8 for f.
-2
Suppose 0 = -m - 10 + 14. Solve r - m*r = 12 for r.
-4
Let h be 42/(8 - 5) - 2. Solve 4*j = j + h for j.
4
Let c be (-5)/((0 + -1)/1). Suppose -89 = -c*m - 3*z, 5*m + 0*m - 5*z - 65 = 0. Solve -2*o - 2*o = m for o.
-4
Let s = -1 + 3. Let q be s/(-4) - 18/(-4). Suppose 0*i + 5*f - 17 = 2*i, -i - 16 = -q*f. Solve -i = o - 0*o for o.
-4
Let j = 18 - 16. Solve -5*x = -j*x for x.
0
Let v(l) = l**3 - l**2 + l + 4. Let z be v(0). Let o = z - 3. Suppose 0 = -9*x + 6*x + 21. Solve o = 3*b + x for b.
-2
Let b(q) = q - 3. Suppose -16 = -4*o + 2*o. Let x be b(o). Suppose u + 0*u - x*g - 12 = 0, 3*u + 4*g + 2 = 0. Solve 7*l + 5 = u*l for l.
-1
Let k(w) = w + 11. Let u be k(-5). Suppose -s + u = 2*s. Let t be (1 + -9)/(s + -4). Solve t*p + 24 = 4 for p.
-5
Let v = -40 - -44. Solve 0 = -0*x + v*x for x.
0
Suppose -2*a = 4*a - 36. Solve c = a*c + 20 for c.
-4
Let s(y) = y**2 + 7*y - 25. Let g be s(3). Solve 0*t + g = -t for t.
-5
Suppose -u + 1 + 0 = 0, 9 = 2*z - u. Suppose z = -3*x + 11. Solve -x*r + 5 = -r for r.
5
Let p be 148/(-28) + (-4)/(-14). Let z be (-4 - -2)/(-2) - p. Solve 3*g = -0*g + z for g.
2
Let r(z) = 7*z**2 + 2*z + 1. Let x be r(-1). Suppose x*j - j = 0. Solve -4*f + j*f = -20 for f.
5
Suppose -2*r + 2*m + 20 = 0, 5*r - 20 = 2*m - 3*m. Solve -2*h = -r*h - 9 for h.
-3
Let z = -27 + 35. Solve -g - g = z for g.
-4
Let a(l) = -2*l - 10. Let b be a(-10). Let d be 16/b*5/2. Let g be 2/d - (-15)/2. Solve 0 = 4*n + g + 12 for n.
-5
Let m(d) = -d**3 + 7*d**2 + 9*d - 2. Let g(z) = z**3 + 4*z**2 + z + 2. Let k be g(-3). Let v be m(k). Solve 3*n = v*n + 9 for n.
-3
Let m(q) = 4*q**2 + q + 1. Let d = -4 + 3. Let v be m(d). Solve -v = -3*h + 5*h for h.
-2
Suppose -s - 10 = -3*s. Suppose 2*l = 2*r - s*r + 17, -3*r - 11 = -5*l. Solve -k = -r*k + 10 for k.
5
Let j be 0 - (0/4)/2. Solve j = d + 3*d - 20 for d.
5
Let q(n) = n**3 + 3*n**2 - n - 3. Let r be q(-3). Let y = 20 + -14. Solve 0 = -r*h + 2*h + y for h.
-3
Suppose 0 = -3*u + 4*l + 20, 5*u + 0*l - 26 = 3*l. Suppose -3*s + u*s = 5. Suppose 5*a + s - 30 = 0. Solve 5*o = -a - 0 for o.
-1
Let w(g) = 4*g + 1. Let x(c) = 5*c + 2. Let i(v) = 6*w(v) - 5*x(v). Let t be i(-4). Solve t = -3*f - 2*f + 15 for f.
3
Suppose 0 = 5*c + 78 + 42. Let r be ((-18)/c)/((-1)/(-4)). Solve -r*w - 2 = -w for w.
-1
Suppose -2*c + 2*s + s + 48 = 0, -48 = -2*c + 5*s. Suppose -5*j + 4*x - c = 14, -j + 2*x - 10 = 0. Let o be (-7 - -4)*4/j. Solve o*r = -2 - 4 for r.
-3
Suppose l - 2 = -0*l. Suppose 7*a - 4*a - 3*b = -6, -3*b + 6 = l*a. Solve a = -f + 5*f for f.
0
Suppose 4*r + 30 = 5*h, -2*r + 0 - 2 = 4*h. Suppose 8 + 0 = h*u. Solve -10 = u*j + 6 for j.
-4
Suppose -5*b = -3*s + 16, 6 = 2*s - 2*b + b. Solve -2*n = -4*n - s for n.
-1
Let k be 1/(1/(-7)) - 2. Let h = -8 - k. Solve 4 = z - h for z.
5
Let i be (-66)/(-14) - (-8)/28. Suppose -z + 2*z + 4 = 0, 3*s - i*z - 26 = 0. Solve -s*l = -3*l for l.
0
Suppose 2*o - 12 = -o. Solve p - o = -p for p.
2
Suppose -4*x = -x + 24. Let q = -5 