u - 5*h for u.
-4
Suppose 4*d + 12 = 4*j + 2*d, 0 = 5*j + 3*d - 37. Let c = -16 + 27. Solve 5*t + 20 = j*k, 3*t - 4*k + c = -2*k for t.
-3
Let k = 8 + -3. Suppose -17 = -4*b - k*r, -4*b + 8*b - 11 = r. Suppose 0 = -o - b + 5. Solve 0 = -o*y + 8, 0*v + 13 = -v + 3*y for v.
-1
Suppose -2*c - c - 15 = -g, 0 = 3*g + 2*c - 1. Solve 5*j = v + 27, -g*v + 3*j - 16 = j for v.
-2
Let y be 4*((-4)/(-40) + 6/15). Let u be 4/(-2 - (-26)/12). Solve -u = -4*b + y*o, 28 = -0*b + 4*b - 3*o for b.
4
Let y be 6/15 - 4/10. Suppose 2*z = -y*z. Solve 2*r = -2*j - 0*j, 5*r + 2*j + 12 = z for r.
-4
Suppose 8*n = 5*n. Suppose n = 9*x - 7*x - 4. Solve -15 = -i - 3*a, -x*i + 2*a + 7 = 3*i for i.
3
Suppose 2*n = -0 + 10. Suppose 0*i = -n*i + 10. Solve 0 = -2*v + 3*q - 4, -4*q + 18 = i*v - 6 for v.
4
Suppose 2*t - 14 + 2 = 0. Solve -y = t*w - w + 20, -3*y = 0 for w.
-4
Let q(x) = x**3 - 6*x**2 + 3*x + 15. Let h be q(5). Let m = -6 + 8. Solve 3*i = 4*w - 9*w + 24, m*i + 9 = h*w for i.
3
Let m be 22/18 + (-2)/9. Suppose -2 - 8 = -5*f. Suppose 3*v + 4*x = 2*v - 3, v + f*x - m = 0. Solve 2*l = h - 3, -h - 3 = v*l - l for l.
-1
Let y(d) = -2*d + 13. Let x be y(5). Solve 3*o + 2*f - 4 = 4*o, x*f - 13 = 5*o for o.
-2
Let n(q) = -q**3 - 5*q**2 + 7*q + 5. Let c be n(-6). Let y = c - -2. Solve 0 = 3*h - 5*f + y, f + f - 4 = 0 for h.
3
Let r be (-9)/6*4/(-3). Solve 2*h - 4*y = -24, -5*h - r*y - 8 = -h for h.
-4
Suppose 5*f + 12 = f. Let d = f - -7. Solve 1 - 9 = 2*z, -d*z - 14 = n for n.
2
Suppose 0*m - 3*m = -3. Let r = -1 + m. Suppose r = -3*z + 8*z - 50. Solve 5*q + 5*x - 40 = 0, 5*q + z = -0*x + 5*x for q.
3
Let r(q) = q + 13. Let h be r(-9). Solve 3*b = 5*a + 9 - 22, -3*b = h*a - 5 for b.
-1
Suppose 3*f + 2*t = -0*f + 16, 5*f + 5*t - 35 = 0. Solve -f*h = -2*c - 8, 4*h - c = 10 - 3 for h.
1
Let t = 59 - 42. Solve -z = -5*y + 13, -z + y = 6*y - t for z.
2
Let z(j) = j**3 - 8*j**2 + 7*j - 2. Let f be z(7). Let d = f + 8. Solve 5*b = -0*b + 3*x - 31, 2*b + d = -2*x for b.
-5
Let a = 10 - 7. Let n be 2/(2 - 1) + a. Solve -4*m = -n*t - 21 - 2, 5*m - 3*t = 19 for m.
2
Suppose 3*u - 10 = 2*i + 15, 40 = 5*u - 3*i. Solve 2*o = 4, -u*s + 4*o = 26 - 8 for s.
-2
Let i be (40/(-25))/((-2)/5). Solve -3*s - 8 = 5*y + 19, -i*y = s + 16 for y.
-3
Let m = -4 + 8. Suppose -2*t + 24 = -t - 5*p, 0 = -t - p. Suppose t*o = 5*o - 2. Solve o*x = m*y, -3*x + x = -3*y + 1 for y.
-1
Let o(i) be the third derivative of -5*i**4/8 - 2*i**2. Let d be o(-2). Solve 2*v = -4*r - 0*v - d, v + 20 = -3*r for r.
-5
Let o be ((-21)/(-9))/(1/6). Solve -2*b - 5*h - o = 0, -5*b - 8 = 2*h + 6 for b.
-2
Suppose -3*r + 4*f = -26, -3*f + f - 12 = -r. Solve 14 = -k + 4*s, -3*s - r*s = -k - 18 for k.
2
Suppose 2*d = 3*d - 20. Suppose -3*y = -5*l - 0*l - d, -4*l - 16 = 4*y. Solve y*s + s + 2*c = 8, s - 4*c = -22 for s.
-2
Suppose 3*j + 0*j + 5*q = 9, -2*q + 3 = j. Suppose -12 = -2*k - 2*r, -8 = -3*k + 4*r + 3. Solve t - 4 = j*x + k, 4*t = 5*x + 22 for t.
3
Let u be 36/14 - 24/(-56). Solve 4*z + 4*l + 16 = 0, l - 7 = u*z - l for z.
-3
Suppose -5*c + 45 = 5*h, c - 4*h = 6*c - 46. Solve -c = -2*i + 4*i - 4*w, -3*i - 5*w = -29 for i.
3
Let m(k) = -k - 1 - 2*k + 8 + 2*k. Let r be (-1 + -1)*(-4 + 1). Let w be m(r). Solve -14 + w = 5*i - 3*c, -3*c + 9 = -3*i for i.
-2
Let y(d) = d**2 - 3*d - 4. Let o be y(4). Suppose o = -r - 1 + 3. Solve 4*a = 12, -3*w - 27 = r*w - 4*a for w.
-3
Let q(t) = -t**2 - t + 1. Let b be q(2). Let d be 0/((-3)/(-3)) - b. Solve -a + 5*c + 40 = 4*a, -3*a - d*c = 0 for a.
5
Suppose 23 = 3*s + 8, -2*s - 18 = -4*c. Solve -2*z + d = c, -5*d = -2*z - 2 - 1 for z.
-4
Let f(v) = v**2 + 2*v + 6. Let d be 52/(-14) + 10/(-35). Let y be f(d). Let x be (24/7)/4*y. Solve -8 = 2*b - 5*r, -x = -0*b + 3*b - 4*r for b.
-4
Let d = -40 - -45. Solve -14 = -a - d*p, 4 - 2 = 3*a - 5*p for a.
4
Suppose 0 = 5*o + 3*z - 37, -o + 0*o = 2*z - 13. Solve -2 = 2*d - y - 4, -4 = o*d + 2*y for d.
0
Let y = -8 + 33. Solve 2*r + y = 4*o + 1, 2*o + 2*r = 6 for o.
5
Suppose -2*l = -l. Let f be (3 - 1) + l - 2. Suppose 0 = -2*n - 3*i - f*i + 7, -5*n + 7 = -3*i. Solve -b - 6 = -d, -2*b + d - n*d = 9 for b.
-5
Let z(m) = -m**2 - 5*m - 1. Let r be z(-4). Let v = r + 0. Suppose c - 39 = -c + v*x, 2*c + 5*x - 15 = 0. Solve 7 = 4*u + o + 2, 5*u + c = 3*o for u.
0
Suppose 8 = -m - m, -5*m = 5*p. Solve 2*k - q = -13, -4*k - 1 = -p*q + 31 for k.
-5
Let d(p) = 2 + 9 + p**2 - 14*p - 9 + 12. Let u be d(13). Solve -o = u, 0*b = -3*b - 3*o - 15 for b.
-4
Let l = -44 - -48. Solve i + l = a + 2*i, -13 = 2*a - 5*i for a.
1
Let n be 75/7 - 4/(-14). Let o be (2 - 1)*(5 + 0). Solve 2*z - 4*z - 6 = -2*c, o*c = z + n for z.
-1
Let v(y) = y**2 - 1. Let z = -4 + 5. Let n be v(z). Solve 5*r + 1 = 5*f - 9, n = -4*r - 5*f + 10 for r.
0
Suppose -48 = -7*w + 4*w. Suppose 0 = -3*l + 4*r - w, -4*l + 6*l + 18 = -r. Let p be (-6)/4*(-10 - l). Solve 2*n - n - p*o - 12 = 0, -o = 4*n + 4 for n.
0
Let b(g) = -g**2 + 3*g + 5. Let v be b(4). Let u be 5/(10/(-4))*-1. Let l be v/2*16/u. Solve l*r = -4*a + 20, -3*r - 1 = -7 for a.
3
Suppose -5*f - 3 = -3*j - 2*f, 0 = -f + 2. Let c = j + 2. Suppose 3*u = -c*d + 27, 5*u - d + 3 = 20. Solve -5*o + 5*i = -5, -2*o + u*i = i - 2 for o.
1
Let k be 6/(-9) - 64/(-6). Let v = k + -7. Solve -2*q + 11 = -q + v*o, 9 = 4*q + 5*o for q.
-4
Let d be 5/((-10)/(-8)) - 2. Suppose -8 = -d*h - 0. Let y = h - -3. Solve 2*f = -5*g + y, 0*g + 6 = f + 5*g for f.
1
Let s(z) = z**3 - 4*z**2 - 3*z - 8. Let c be s(5). Solve -3 = -r - c*n, -n - 7 = -2*r - 1 for r.
3
Let s be (-15)/(-10)*32/12. Solve s*b = 2*y + y + 2, -y - 3*b - 5 = 0 for y.
-2
Suppose 2*u - 5 = k + 45, -208 = 5*k + 4*u. Let w = -25 - k. Solve -2*s + 8*c - 3*c + w = 0, -5*s = -c + 10 for s.
-3
Suppose -14 = -3*u + 16. Solve 5*x = 3*v - 25, 5*v - 23 = 4*x + u for x.
-2
Let b = -16 - -35. Solve 5*m + 37 = 4*k, 3*m = m + 3*k - b for m.
-5
Let b be (-1)/1 + 3 - -2. Suppose 5*t - b*u = 28, 3*t = -t + 5*u + 26. Solve -t*k + 5*s + 1 = 0, -2*s = 2*k - 4*s - 2 for k.
4
Let y(p) = -15*p + 20 - 19*p - 6. Let x(t) = 7*t - 3. Let l(d) = 28*x(d) + 6*y(d). Let z be l(-3). Solve 4*r = 3*c - 23, -4*r + 3*c + c = z for r.
-5
Let p be (-8)/(-1) - 1 - 2. Suppose -y = -l + 6, p*y + 1 + 19 = 3*l. Let t be (8/5)/(1/l). Solve 0 = 4*n - 4*q + 12, 0 = -4*n - 0*q - q + t for n.
1
Let x(q) = q**3 + q - 1. Let r(p) = -4*p**3 - 13*p**2 - 20*p + 12. Let z(n) = -r(n) - 5*x(n). Let m be z(14). Solve -3*s + m*s = -4*f - 8, s - 2*f = -2 for s.
-2
Let u(a) be the third derivative of a**4/12 - 7*a**3/6 + a**2. Let k be u(7). Suppose 2*b = 6*b - 8. Solve 4*d - 2*g + 3*g - 1 = 0, k = -b*d + g for d.
-1
Let d = -2 - -5. Suppose -8 = 66*t - 8. Solve -o + 3*o + 4*m + 4 = 0, d*o - m + 13 = t for o.
-4
Let w be (9 - 4)*3/5. Solve 0 = -w*n + 4*u + 26 - 6, 0 = -5*n + 4*u + 28 for n.
4
Suppose -17 = 5*t + 8, -w - 5*t - 22 = 0. Solve 2*k + n + 1 = 0, -w*k - n = 3*n - 11 for k.
-3
Suppose -5*g + 20 = 5*b, 5 + 4 = 4*b - 3*g. Solve 0 = -2*p + h + 10, 0 = -b*p + h + 14 for p.
4
Let t(q) = 2*q**2 - 5*q + 2*q**2 - 7 - 3*q**2. Let z be t(6). Let f be (-6)/(-2) - 0/z. Solve 3*b - f*s = s + 4, 0 = 4*b + 4*s + 4 for b.
0
Suppose 2*u + 5 = 13. Suppose -y - y - 4*v = -2, 0 = -3*y + v - 11. Let s = y + u. Solve -4*g + 0*l - 3*l = 10, -3*g + l = s for g.
-1
Let d(b) = b - 2. Let y(s) = -s**3 + 5*s**2 - 4*s + 3. Let n be y(4). Suppose n*h - 7 = 5. Let p be d(h). Solve 0 = -p*x - 10, 3*x - 3 + 17 = -m for m.
1
Let g = 17 + -12. Solve -2*d + 0*w = g*w - 1, 4*w + 4 = 0 for d.
3
Let w be (7 + -11)*1/2. Let f = w - -5. Let t be -1 + f/(-1) + 13. Solve 19 = s - 4*m, t*m = -s + 4*m - 17 for s.
3
Let r(f) = -f**2 + 11. Let n be r(0). Solve 4*m + 20 = 0, m = y - 2*m - n for y.
-4
Let a be 5/(-2)*6/3. Let i be (-17)/a + 4/(-10). Solve 3*t - 3 = i*g, 5*g + 7 - 2 = -t for g.
-1
Let i = -3 - -6. Solve -4*z - 5*p = -27, -i*z = 3*p + 2*p - 24 for z.
3
Let q = 5 - 8. Let g be ((-6)/8)/(q/(-24)). Let m(j) = -j**2 - 8*j - 7. Let s be m(g). Solve 0 = 4*w + w - 4*o + s, 15 = w - 4*o for w.
-5
Let s(l) = l + 4. Let q be s(7). Solve j + 4*y = -y + 3, q = -4*j + 3*y for j.
-2
Suppose 7 = 3*t - 5. Let a = t - 1. Solve -v - 8 = -4*s, 5*s + v = a*s + 4 for s.
2
Let n = 11 - 11. Suppose -3*t - j + 4 = -2*t, j = 4. Suppose -2*f + 19 + 3 = t. Solve -2*h + z + f - 2 = n, 0 = h + 4*z for