 h = 3*j - 17 for h.
-2
Let d(a) = 2*a + 6. Let v(b) = 1. Let c(g) = -d(g) + 4*v(g). Let w be c(-2). Solve -5*r = -w*s + 3, 0 = -2*s + 11 - 3 for r.
1
Let h(l) = -5*l + 10. Let v(q) = -q + 2. Let w(g) = 2*h(g) - 11*v(g). Let y be w(4). Solve -y*n = n + 6, -n - 2 = 3*i for i.
0
Suppose -3*d + 0*u = -u + 24, 0 = -3*u - 9. Let m = d + 14. Let o be (-102)/(-30) - (-3)/m. Solve 5*r + 3*w = -35, 0*r - w = -o*r - 11 for r.
-4
Let c(o) = 2*o**2 - 3*o + 3. Let x be c(1). Solve x*p + 5*n = 23, 4*p - n - 4*n - 1 = 0 for p.
4
Let h = -6 - -6. Solve -2*x - i + 6 = h, -5*i = -x + 2 + 1 for x.
3
Let d(f) = f - 3. Let x be d(-5). Let z = x - -17. Solve 2*m = 5*m - 3*l - z, 0 = -4*m + l for m.
-1
Let z(v) = v**3 + 17*v**2 + 14*v - 28. Let x be z(-16). Solve 0 = -4*w - 3*f - 21, -2*f = x*w - 6*f for w.
-3
Let h(g) = g + 1. Let v be h(-1). Suppose v = 2*j + 2*j - 12. Solve 26 = -5*n + 3*i, 5*n = -3*i - 17 + j for n.
-4
Suppose -20 = -5*j - 80. Let o be (-1*2)/(8/j). Solve -i + f - 6 = -0*f, -o*i = f - 2 for i.
-1
Let y = -2 + 16. Solve -5*m = -4*o - 30, -4*o + 2 = 4*m + y for o.
-5
Suppose 3*i = z + 2, -3*i - z + 10 = -6*z. Let h = 0 - i. Solve 3*m - 4 = -l, h = 3*m + 2*m for l.
4
Let o(g) = -g**3 - 14*g**2 - 12*g + 16. Let t be o(-13). Suppose 0 = 5*c - 12 - t. Solve 12 = -3*u - c*d + d, -4*u - 2*d = 14 for u.
-2
Suppose 0 = -g + 5*g + 4. Let f be (2 + -3)*(-1 - g). Solve -d - 5*q + f = 18, 2*d + q = 0 for d.
2
Let c(h) = -9*h**2 - 44*h + 7. Let d be c(-5). Solve -2*j + 12 = -2*t - 2*t, d*t = 5*j + 10 for j.
-4
Let x = -2 - -2. Suppose -j + 3*z + 8 = x, -2*j + 4*z = 3*z - 11. Suppose j*y - 84 = -24. Solve 2*k = t - 9, 3*t + 4*k + 1 + y = 0 for t.
1
Suppose -4*c - 5 = -3*c - 5*g, c - 3*g = -1. Solve c*b - 4 = 3*w - 7*w, -8 = -2*b for w.
-4
Let r(s) = -s**3 + 11*s**2 + 102*s + 4. Let c be r(17). Suppose 0 = -3*f + b, -3*f + 2*b = 2 + 1. Solve 2*o + 7 = f, -1 = c*k - o for k.
-1
Suppose -5*f + 4 = 14. Let s(k) = k**2 - k - 1. Let x be s(f). Solve a = 4*w - x, -3*a - 3 = -4*a for w.
2
Let c = -68 + 62. Suppose -3*k + 156 = 4*h - 222, 98 = h - k. Let n be (-9)/c*h/2. Solve -5*v + n = 5*l + 27, -2*l + 3 = -v for l.
4
Suppose 0 = -0*q + q. Solve q = -2*o + 3*h - 5, -o + 5 = -h + 8 for o.
-4
Let j(n) = n - 8. Let f be j(-7). Let w be 6/f - 88/(-20). Solve 14 = -3*z + w*y + 1, -13 = -5*z - 2*y for z.
1
Suppose -4*v + 7*v = 15. Let i = 7 + -5. Suppose i*r = -3 + 9. Solve -m - v*n = 14, r*n - 5 = -11 for m.
-4
Suppose 5*u - 4*z + 0*z = 122, 4*z - 86 = -3*u. Solve 5*w - 4*i + u = -i, -2*i - 8 = 3*w for w.
-4
Suppose 5*h + 4 = -1. Let s = h - 0. Let o be 0/((s/(-1))/1). Solve 4*x - 37 = 5*z, o*z + 5*x = -z + 10 for z.
-5
Let o be 18/14 - (-8)/(-28). Suppose 3*s = 8*h - 3*h - 5, h = 4*s + o. Solve 0 = -2*b - 6*y + 3*y + 1, s = 3*y - 9 for b.
-4
Suppose 5*j + k - 9 = 0, 0 = -j - 2*j - 5*k + 1. Solve j*w - 3*r = w, 3*r = 2*w - 3 for w.
3
Let i(p) = p**2 - 7*p + 9. Let f be i(7). Let d(w) = -w**2 + w. Let g be d(0). Suppose r + 3*r - 20 = g. Solve 0 = 2*k + 3*m - f, 5*m = r*k + 14 + 1 for k.
0
Suppose 6*l = 3*l + 3. Let j = l - -2. Suppose -j*f = f. Solve 3*c = f, 2*p = c - 1 + 9 for p.
4
Suppose -2*w = -8 + 2. Let q(z) = -z**2 + 6*z + 7. Let g(b) = b. Let k be g(7). Let f be q(k). Solve f = -w*u - 3*s, -3*u + s - 28 + 12 = 0 for u.
-4
Let b be -2 - -11 - (0 + 1). Suppose b = t + t. Let v be (-2 + 3)/(t/8). Solve -3*w - 4*d + 3 = -d, 0 = -2*d + v for w.
0
Let p = 35 - 20. Suppose -m + p = 3*a, 3*a - a = -4*m + 20. Solve 4*f - 5*f + 9 = -2*l, a*l - 3*f = -21 for l.
-3
Let f(k) = k**3 + 9*k**2 - k - 2. Let y be f(-9). Let r be y/2 + 36/(-24). Solve -s = -5*j + 6, r = -2*j + 7*j - 2*s for j.
2
Suppose 0*t - 2 = t, 2*m + 5*t - 36 = 0. Suppose 3*r - m = 37. Suppose 5*a = -0*a + r. Solve 2*u + 10 = 4*n, -2*n - a = 4*u + 6 for u.
-3
Let c be -3 - (3 + 0)/3. Let r be c/8 - 4/(-8). Solve -a = -2*d - 8, 21 = 2*a - r*a - 5*d for a.
-2
Suppose 2*c - 5*c = -15. Let p = 7 - c. Let v = p + 0. Solve 4 = v*b + 2*b, 0 = -5*h - 5*b + 5 for h.
0
Suppose 5*v = 3 + 7. Suppose -4 = v*w + 2*w. Let r = w + 3. Solve r*b = -0*b - 2*m - 2, b + 1 = -4*m for b.
-1
Let j(a) = -a**2 - 6*a + 28. Let d be j(-8). Solve 4*u - 4*l - d = 0, -l - l = 4*u + 6 for u.
0
Suppose -3*u = -9, -4*s = 4*u - 21 - 7. Solve s*w + 3*b + 23 = 0, 0*w + 11 = 2*w - 3*b for w.
-2
Let j be (7/(-14))/((-2)/24). Let h(a) = 2*a - 8. Let c be h(j). Let r(n) = n - 1. Let o be r(6). Solve -o*x - c = 2*w, x = -4*w - 9 + 1 for x.
0
Suppose -8*q = -9*q + 16. Solve -b = 2*n - 9, -2*b = -2*n + 5*n - q for n.
2
Let q(v) = -v + 2. Let o(c) = -c + 1. Let l(w) = 5*o(w) - 6*q(w). Let a be l(7). Solve a = 4*j + 5*u + 12 + 2, j - 4*u - 7 = 0 for j.
-1
Suppose -10 = -7*d + 4. Solve -5*t - 5*r - 20 = 0, 0 = -t + 4*r + 3 - d for t.
-3
Suppose 3*u = 1 + 5. Suppose -3*c = -4*g - 6 + 30, 0 = -5*g - 5*c - 5. Suppose f - 20 = -g*f. Solve 5*a - 26 = 2*q, 5*q - u*a + 28 - f = 0 for q.
-3
Suppose x + 15 = -3*w, x - 9 + 4 = w. Let y = -14 + 54. Suppose o - y = -x*o. Solve 4*u = 3*q - 5 + 2, 5*u + 5*q - o = 0 for u.
3
Suppose 22*k + 15 = 25*k. Solve -k = j, -6*t + 3*t - 4*j - 17 = 0 for t.
1
Suppose 0 = 4*v - j + 3, -v - 3 = -3*v - j. Solve 2*z = -t + 5, 4 = -v*z + z + t for z.
1
Let w(b) = -b**2 - 3*b + 40. Let z be w(5). Solve -3*o - 4*a + 8 = z, 5*o - 4*a - 10 = -50 for o.
-4
Let y be (15/2)/3*2. Suppose y*a + 9 = 74. Solve a = -m + 3*h, -4*m + 3*h - 6*h = -23 for m.
2
Suppose -2*d - 3*a + 1 = 0, -3*d + 11 = -0*a - 5*a. Solve -2*p - q = 5 + d, -4*p - 9 = -3*q for p.
-3
Let t be 1/(-2) + (-26)/(-4). Let b be (-4)/t - 8/6. Let y(i) = i**2 + 3*i + 3. Let f be y(b). Solve f = -z - 2, -3*n + 24 = -4*z for n.
4
Let n = -36 - -39. Solve -2*o = 0, 3*b + 2*o = o + n for b.
1
Let n(y) = -15*y**3. Suppose 4*h = s - 14, -2*h - 2*s = s. Let o = h - -2. Let r be n(o). Solve -2*m + r = -a, -2*m = a - 4 - 1 for a.
-5
Let n be (1 - 5)/((-88)/110). Solve -5*x + 5 = -5*c - 0*x, n = x for c.
4
Suppose -203 = -15*i + 8*i. Solve i = 3*c - 5*b, -5*c + b = -17 - 2 for c.
3
Let b be -1 - (-1 - -1 - 2). Solve -t + b = -5*j + 10, -t = -j + 1 for j.
2
Suppose 0 = -4*a, -4*a - 19 = 4*n + 5. Let v = n + 10. Suppose -4*b + b + 4*u + 2 = 0, 2*u = -4*b + 10. Solve k - v*k - 3*j + 3 = 0, -4 = b*k - j for k.
-1
Let s = -1 + 2. Suppose 5*p - 95 = -5*v, 2 = -v - s. Let h = -2 + 4. Solve -w = -q + h, -2*q + 5*w = -q - p for q.
-3
Let l(h) be the first derivative of h**3/3 + h**2 - 3*h - 7. Let c be l(-4). Solve -c = -5*i + 3*u + 6, 3*u = -2*i - 4 for i.
1
Suppose -3 = -10*c + 9*c. Solve -2*h = 3*t + 19, 0*t = c*t - 5*h - 16 for t.
-3
Let d(q) = q**2 - 1. Let z be 0 - (2 + -2*2). Let m(a) = a**2 - 1. Let y(c) = z*m(c) - d(c). Let i be y(2). Solve 11 = -5*u + i*k, 3*k + 0*k + 9 = 0 for u.
-4
Let r be -3 + 21/(-2)*-2. Suppose w + r = 2*k - w, -2*k + 4*w + 18 = 0. Solve 2 = -5*x + 2*q - 7, -4*q = -x + k for x.
-3
Let n be -3 + 20 + -1 + 0. Suppose 0*m + g - n = -m, -2*m + 30 = 3*g. Solve -6 = 2*c, -2*h - h + 2*c + m = 0 for h.
4
Let t be (-2 - -2)/(1/1). Solve -4*m - 5 = -5*c + 11, t = -c + 3*m + 12 for c.
0
Suppose g + m - 5 = 0, -4*m + 0 = 4. Let s(i) = -i**2 + 6*i + 2. Let j be s(6). Solve -2*z = g, -j*h - 30 = h + 5*z for h.
-5
Let m(u) = -2*u - 16. Let c be m(-11). Let k be (-3)/(3 - 0) + c. Solve 4*z - 3*t + 29 = 0, 2*z + k*t = 4*z + 25 for z.
-5
Let k be ((-2)/6)/((-7)/(-42)). Let z be 0/k + (-27)/(-9). Solve 2*b = b + 2*w + 6, -z*b + w = 2 for b.
-2
Let d(u) = u - 3. Let k be d(7). Let n = 6 - k. Suppose -h + n*h - 2*z = 6, 4*z = -h - 6. Solve -h*b = 0, -2*s + 2*b - 4 - 6 = 0 for s.
-5
Let h(k) = 2*k**2 - 12*k + 5. Let x be h(6). Solve 2*r = -b - 3 - 2, 3*r + x*b + 4 = 0 for r.
-3
Suppose 4 - 1 = u. Suppose -z - 2*d - d = -17, 5*z - u*d = 13. Solve 4 = -z*f - 1, 4*f = -i - 4 for i.
0
Let z = -3 + -6. Let o be (-2091)/187 + (-4)/(-22). Let k = z - o. Solve 3*h + 2 = l, h = -k*h + 3 for l.
5
Let g = 15 - 7. Suppose g*n = 3*n + 145. Solve -n = 4*h - 9*q + 4*q, -2*h - 4*q = -18 for h.
-1
Suppose -5*r = -2*j + 94, -2*r = -0*r - j + 37. Let u be 78/4 - (-30)/r. Suppose 0 = 2*x - 6 - 2. Solve -x*w = -w - 3*b, 5*b = -w - u for w.
-3
Let u be 0/3 + 12 + 2. Let q be ((-4)/u)/((-1)/7). Suppose -q*c - 46 = -3*x + 9, 4*c = -x + 23. Solve 4*j - x = -t + 2*t, -3*j + 2*t = -18 for j.
4
Let f be -4*2*(-2)/1