-2, 2*h + 3*g - 6 = -h for h.
-2
Let v be (3/2)/(-1)*(3 + -5). Solve -m + 3 = o - 3, 20 = v*o + 4*m for o.
4
Let z(t) be the first derivative of t**2/2 - t - 3. Let m be z(1). Suppose 5*p + 5*y - 40 = m, -p + y + 28 = -3*y. Solve -4*b + p = 2*c + 2, c + 10 = b for c.
-5
Let f = -10 + 7. Let y = 2 - f. Suppose -21 = w - 0*v + 5*v, 10 = y*w + 2*v. Solve 3*n = -w*q + 9, 5*n + 1 = -q + 16 for n.
3
Let q(b) = -b**3 - 9*b**2 - 9*b + 1. Let n be q(-8). Suppose c - 6*c + 65 = 0. Let k = c - 8. Solve -3 = -2*d - 5*a, -n = k*d - 3*a - a for d.
-1
Let t be (6/3 - 16)/(-2). Solve -k + 2*h = 0, t = -3*k + h - 3 for k.
-4
Let m be (80/(-50))/(1/(-20)). Solve -t + 13 = -2*z - 2*z, m = -5*z - 4*t for z.
-4
Suppose -4*m + 1 + 7 = 0. Suppose 3*g - 21 = -f, 4*g + m*f - 3*f - 21 = 0. Solve 2*z = 8, 7*z - g = 2*w + 3*z for w.
5
Let a(h) be the first derivative of h**2/2 + 4*h + 4. Let b be a(-2). Solve -b*x - 3*x - 22 = -2*w, 2*x - 3*w = -11 for x.
-4
Let d = -4 - -9. Let j = -12 + 17. Suppose -2*a + 24 = 4*w + a, a - 19 = -j*w. Solve -4*n + 20 = w*b, d*n - b + 4*b = 25 for n.
5
Suppose w + 0 - 1 = 0. Let a be (-1 - -4*2)/w. Let d(m) = m**2 + 3*m - 2. Let s be d(-4). Solve 3*p + s = -b, -2*p + 2 = -b - a*p for b.
-2
Let w = -8 - -11. Let m be ((-6)/(-9))/(1/w). Suppose 4*a - 4 = -2*z, -z + m*z - 2 = -a. Solve -3*y + 6 = -3*l, -z*l + 4 + 2 = 3*y for l.
0
Suppose 29 = 5*y + 9. Solve 0*h - o = 3*h - 17, 0 = y*o - 20 for h.
4
Let c = 17 - 17. Solve c = -q - j + 2 + 3, -5*q - 2*j = -19 for q.
3
Let w(l) = l + 4. Let o be w(-2). Suppose 2*c = -o*s + 14, 8 = 3*s + c - 7. Solve -3*h + 7 = s*k, -k = 4*k + 4*h - 8 for k.
4
Suppose -m - 15 = 4*m. Let t = 2 - m. Suppose -2*n + 4*p + t = -7, -n - 3*p - 4 = 0. Solve 6*c + 12 = 4*o + 3*c, -5*c = n*o + 20 for o.
0
Let q be 22/(-77) - (-4)/14. Solve -2*o + 15 = -5*c - 0, q = 5*o + 3*c + 40 for o.
-5
Let a = 19 - 15. Suppose 0*d = -a*d + 36. Solve 0 = -4*y - 5*s - d, -8 - 14 = -3*y + 2*s for y.
4
Let s be 3 + (-5 - -4) - -3. Solve 15 = s*n - u - 0, 29 = n + 5*u for n.
4
Let z be (-1)/(-3) - (-4)/(-3). Let c be ((-12)/8)/(z/2). Let o(n) = n**3 + 9*n**2 + n + 12. Let u be o(-9). Solve c*w - w = f + 4, -u*f = -3*w + 6 for w.
2
Let q be 1*-3*3/((-81)/18). Solve 5*a - 2*n = -3, 0 = 4*a - n - n + q for a.
-1
Suppose 3*j = 5*j. Solve j = -5*m + m, -2*f - 2 = 5*m for f.
-1
Let q be (-4)/(-6) - (-14)/6. Let j be 34 + 2/1 + -1. Solve 2*n - 4*n - 5*f = 35, -4*n - q*f = j for n.
-5
Suppose -5*m + h + 44 = 14, 0 = 4*m + h - 15. Solve 0*i - 2*i + 14 = 2*f, m*f + 3*i - 25 = 0 for f.
2
Suppose 5*o - 38 + 13 = 0. Let p be (2/3)/(2/15). Solve 3*r + 2*x + 1 = p, 0 = 2*r + o*x + 12 for r.
4
Let d be 1/(-2) + 14/28. Solve -31 = 5*w - 2*h, d = -3*h + 9 - 0 for w.
-5
Let t(o) = 3*o - 23. Let h(w) = -5*w + 34. Let j(l) = -5*h(l) - 8*t(l). Let s be j(-12). Solve 0 = -5*z + 20, 3*z = 3*b - s*z + 8 for b.
4
Let c(z) = 3*z - 6. Let x be c(2). Solve -2*g + x*j = -j - 3, 0 = -5*g - 5*j - 15 for g.
0
Let l = 130 - 128. Solve -l*f + 21 = -5*n, -5*n - 53 = 3*f - 22 for f.
-2
Suppose 3*f + 6*u = u + 23, 29 = 4*f + 5*u. Let o be f/(-15) - (-22)/5. Solve -3*h + o*b = -17, -5*h + 3*b = -11 + 1 for h.
-1
Let q(r) = -5*r - 39. Let b(c) = -4*c - 38. Let y(k) = 6*b(k) - 5*q(k). Let z be y(0). Let w be (11/z)/(1/(-12)). Solve -3*l + 4 = -5*d, l - 3*l = w for d.
-2
Let l be 4/(-18) - (-220)/99. Solve -l*t = q + 3*q + 4, -q + 1 = 0 for t.
-4
Suppose -5*u + 2*a = -49 + 13, -3*u + 4*a + 30 = 0. Solve -2*f = 5*t + u + 12, -f = 3*t + 11 for t.
-4
Let u(q) = -q**3 + q**2 + q - 1. Let z be u(-2). Let b = -5 + z. Solve 5*m + 5*p = -20, -m = b*p + 2 + 5 for m.
-3
Suppose -5*h - 3*i + 100 = 0, 16 - 42 = -3*h + 5*i. Solve 5*n - v = -2*v - 20, v + h = -4*n for n.
-3
Suppose 0 = -4*s - s + 5. Let m(t) = 4*t**3 - t**2 + t - 1. Let h be m(s). Solve -3*r = -4*c + h*c - 16, -3*c = 4*r - 17 for c.
-1
Let z be (2 + -1)/(-2*4/(-16)). Solve 3*k - k - 27 = -5*j, z*k - 5*j = -23 for k.
1
Suppose -3*m + 4*n + 31 = 0, 0 = -5*m - 4*n + 5 + 4. Solve 24 = 3*b - 4*u, 0*u - 35 = -5*b + m*u for b.
4
Suppose -3*t + 4 = -2*z, 0*z + 2 = -z. Solve -m = -t - 2, 2*d + 6 = m for d.
-2
Suppose l = -3*k + 17, -4*k - 2*l - 20 = -7*k. Suppose -3*n = -k*n + 24. Solve 5*t = 4*d - n, 0*d + 3*t + 27 = -5*d for d.
-3
Let t = -67 - -67. Solve t = -5*y + w + 20, 3*w - 16 = -2*y + 5*w for y.
3
Let v be (4/(-6))/(8/(-36)). Let b be 6 - (v - 2 - -2). Let d = 6 - 1. Solve 4*z = b*w + 31, 8 = z + d*w + 29 for z.
4
Suppose -13 - 1 = -2*s. Let w = 7 + -5. Let m be (1/(-3))/(w/(-30)). Solve j - 4 = -4*q, -m = 4*q + 5*j + s for q.
2
Suppose 3*f = 2*f. Let w = 20 - 12. Suppose -w*l + 20 = -3*l. Solve -1 = -2*x + 3*x + 4*o, -l*x - o - 19 = f for x.
-5
Suppose 15 = 3*d + 4*m, 3*m - 57 = -5*d + 7*m. Let z be (d/6)/(3/56). Solve 4*w - 3*g + 6 = z, 3*g - 14 = -5*w for w.
4
Suppose -5 = d - 2*d. Suppose -4*y = -3*m + 25, d*m + y - 12 = -1. Let q(j) = 45*j - 627. Let w be q(14). Solve -4*h + w*z = -0*z + 14, m*z = 2*h + 4 for h.
-5
Let x(g) = g**2 + 9*g - 18. Let y be x(-11). Suppose -y*o = -2 - 18. Solve l + 5*w - 30 = 0, -o*l - 4*w = -23 - 22 for l.
5
Let y(h) = h**2 - h. Let u be y(-1). Suppose 2*x - 5*x = -135. Suppose -3*z = -3*b + x, -3*b + 4*b + 3*z = 11. Solve u*s + b + 6 = 4*r, -10 = 2*s - 2*r for s.
0
Let h(n) = 4*n + n + 2*n - n - n**2. Let x be 2/(-8) + (-50)/(-8). Let q be h(x). Solve 4*m = -q*m + r + 4, -5*r - 20 = -2*m for m.
0
Suppose -2*f = -4*j - 1 - 3, f = -j + 5. Let u be (-8)/f + 60/2. Solve -p + m = -6*p - u, -3 = 3*p - 4*m for p.
-5
Suppose 5*b - 22 = -4*c, -5*c = b - 5 - 12. Suppose 10 = 5*g - c*g. Solve -t = -3, -g*k - 4*t = -0*k - 2 for k.
-2
Let j be 1*-4*(-3)/6. Suppose -j*v = -3*v + 16. Solve 3 = 3*h - 3*y, 5*h - v = -2*y + 3 for h.
3
Suppose -63 = -0*t + 3*t. Let b = 36 + -7. Let s = t + b. Solve 4*v = -4*j - s, -4*v = -j - 1 - 1 for v.
0
Suppose 0 = w - 3*w + 4. Suppose -j + g = -w*g + 4, 2*g = 4. Suppose 0 = -3*u + j*u. Solve 5*v + 3 = -u*v + 3*c, 2*v = 4*c - 4 for v.
0
Suppose 2*y - 10 = 10. Suppose 0 = -2*p + y, 3*v = 5*p - 10. Solve 0 = 3*z + v*f - 37, 0*z = -z - 3*f + 19 for z.
4
Let u(c) = 5*c - 23. Let z be u(5). Solve -j + 4*j + 11 = -k, -z*j + 6 = 4*k for k.
4
Let b(z) = 8*z - 30. Let k be b(4). Solve q + 3*q + 3*n = -4, 2*q = -k*n - 2 for q.
-1
Suppose 2*a + 9 - 23 = 0. Let b(f) = -f**2 + 8*f - 3. Let y be b(a). Suppose 0*l + y = -l, l + 24 = 4*v. Solve 2*t - 7 = -v*p, -6*p = -3*p - 4*t + 1 for p.
1
Let t = 39 + -36. Solve t*i = 2*g + 6 - 18, -3*i = 4*g - 6 for i.
-2
Let n be (5/2)/(3/6). Solve c + 18 = 4*q, -5*q - n*c = -c - 33 for q.
5
Let c = -3 + 14. Suppose 0 = 4*v + 3*p - c, 5*v = 2*p - 0*p + 31. Let o be (-28)/154 - (-4)/22. Solve -4*x + 0*x = o, 5*x + v = 5*m for m.
1
Let b be -7 + 7 + 1*-2. Let d be -4*(9/(-4) - b). Solve -l - 18 = -5*u, d = -2*l - 3*u + 17 for l.
2
Let k be (-6)/(-4)*(-30)/(-9). Solve 3*a - 5 + 0 = k*x, 5*x = 4*a for x.
-4
Let n = 11 + -11. Solve -8 = -3*c - c, n = -2*s + 3*c + 4 for s.
5
Suppose 3*q - 2 = 2*q, -4*n + q + 10 = 0. Let l be (-2)/(2/(-3)) - 0. Suppose 31 = l*u - b, 0 = -2*b - 0 + 10. Solve 3 = -n*r - u, -a - 8 = 2*r for a.
2
Let p be 10*1*(8 + -3). Let w be (-3)/(-2)*p/15. Solve 12 = 2*u + y, 5*y = 4*u - 5 - w for u.
5
Suppose 4*o + 5*d - 7 = 0, -d + 5*d + 10 = 2*o. Suppose -2*c = -c - o. Suppose -w + 12 = -2*q - q, -c*w = -4*q - 16. Solve 2*k = n, 3*k + 5*n - 3*n = w for k.
0
Suppose 7 = u - 9. Suppose z = 4*z - 63. Solve -3*x + 2*n + z = 2*x, u = 2*x + 3*n for x.
5
Let p(i) = -4*i - 5. Suppose -2*l - 7 = -3. Let u be p(l). Solve 5*t - 2*o + 9 = -3, 0 = t + u*o - 1 for t.
-2
Let r = 57 + -34. Let n(z) = -z - 2. Let f be n(-4). Suppose -4*j + 43 = -5*w, j - 24 = -f*j + w. Solve 0*y = -4*y - 3*s + r, -y = s - j for y.
2
Suppose -5*k - 10 + 70 = 0. Let r = k - 8. Solve 0 = 4*v - 5*y + 22, 2 - r = -y for v.
-3
Suppose 0*g + 51 = -5*w - g, 0 = -2*g + 8. Suppose -2*l = 2*l. Let t = l - w. Solve -4*s - 2 = 5*p - t, -3*s = -p + 17 for p.
5
Suppose -9*r + 11*r = 40. Solve 0 = 3*a + 4*x + r, -20 = 4*a + 4*x - 2*x for a.
-4
Suppose -4*k - 2*h = -78, 2*k - 5*h = -3*k + 60. Let q = -3 + -6. Let t = q + k. Solve -2*y + t = 4*l - 6*l, 4*l = -2*y + 14 for l.
1
Suppose -2*g - j = -4*j - 10, 2*j = g - 5. Let y = 9 + -4. Suppose 4*l = 4*q + 76, -l + 6 + 25 = -y*q. Solve 