+ 5 = -3*d - v for d.
-4
Suppose -2*u + 20 = -3*p, 2*u - 3*u - p = -15. Solve 3*j = -4*r - 0*r + 24, 0 = -4*j + r + u for j.
4
Let w = -20 - -26. Solve -w*a = -5*j - 3*a - 28, j = -2*a - 3 for j.
-5
Let k = -20 - -20. Solve k = -4*l - 4*v + 12, 12 = -0*l - l + 2*v for l.
-2
Suppose 24 = 2*u - 20. Suppose 4*c - 5*l - u = 0, 9 + 0 = c - 3*l. Solve 0 = -z - c*z - 3*f - 4, z + 3*f + 1 = 0 for z.
-1
Suppose -4*d = -2*d - 3*z - 6, 0 = -2*d - 5*z + 38. Solve 2*y - 1 - d = 0, 0 = -b - 3*y + 16 for b.
1
Let h be -6*(7/(-3) + 2). Let q be 8/6*(-9)/(-6). Solve h*b = -3*z - 3, 5*b = -2*z - 0*b - q for z.
-1
Let v be (-155)/(-55) - (-8)/44. Solve -1 = -3*w - 2*c + v, -2*c = -4*w - 18 for w.
-2
Let k be 3/3 + (0 - -6)/2. Solve -3*t = -5*d + 8, k*d = t + 18 - 6 for t.
4
Suppose -125 = -5*f - 0*f. Suppose 0 = -3*l - 5*g + 14, f - 7 = 2*l - g. Suppose 4*p = -l, h + 3*p + 31 = 6*h. Solve 4*k - 3 = 3*t - 0*t, -h*k = -3*t for k.
-3
Suppose 0*a - 4 = -4*a. Let m be a/(1/1) - -1. Suppose -4*t - 2 = -3*s + m, -2*s + 12 = 2*t. Solve 2*x - 15 = -s*j - 1, -3*j + 4*x = 6 for j.
2
Let l(u) = u**3 + 8*u**2 + 8*u + 7. Let m be l(-7). Solve -5*j - c + 18 = -3, m = -j - 5*c + 9 for j.
4
Suppose 12*b + 5 = 13*b. Solve -5*d + 35 = -0*d + b*c, 2*d - 4*c = -10 for d.
3
Let v = 3 + 2. Solve -5*f + 2*q = -4*f - 14, -v*f + 25 = -q for f.
4
Let r = 2 + -3. Let i = 4 + r. Let c be (-3)/9*(-53 - -2). Solve -g - g - 3*t = c, i = -t for g.
-4
Let i be 4/6*(-36)/(-8). Let t = 5 - 8. Let n be 2*6*t/(-12). Solve -j = -n*h + 20, j - i*j + 4*h = 30 for j.
-5
Let c be (-1)/(-9)*3*0. Let v = 1 - -4. Solve -16 = o - 3*o + 4*b, -v*b - 15 = c for o.
2
Let n = -6 - -8. Suppose -8 = -n*h - 2*h. Suppose -h*s = 3*s. Solve 5*o = s, -z + 2*o = o + 3 for z.
-3
Suppose -25 = 4*q + 3. Let v(p) = p**3 + 7*p**2 + p + 10. Let i be v(q). Solve 0 = i*a - 4*f - 9, 2*a + f = -a + 9 for a.
3
Let y = -29 - -61. Solve 5*v + y = -3*j, 2*j = 3*v - 3*j - 8 for v.
-4
Let h be 2/2*4 + -3. Let v be 0/(-2) - (h - 1). Solve -4*a + f - 15 = v, a = -3*a + 3*f - 5 for a.
-5
Suppose 0 = -4*c - p - 3, 3*c + p + 3 = -0*c. Solve 0 = -5*y - 2*b - 0*b + 14, c = y + b - 4 for y.
2
Let u(v) = -v**3 + 10*v**2 + v - 8. Let z = 15 + -5. Let n be u(z). Suppose 5*f + 0*f = -3*r + 13, 0 = 5*r - 5. Solve 0 = f*c + b, -6 - 8 = 3*c - n*b for c.
-2
Suppose -2*b + 37 = -b. Let f be ((-24)/20)/((-3)/20). Let k(j) = j**2 - 5*j + 9. Let l be k(f). Solve 5*m - 4*x = -b, -1 - l = 5*m - 3*x for m.
-5
Let u be -9 + ((-4)/2)/2. Let m be 5/(u/6 + 2). Suppose -o = 2*o - m. Solve o*z = g, 4*z + 21 = 4*g + 5*z for g.
5
Let n(g) = -2*g + 4. Let p be n(2). Solve 2*f = -p*f - 3*j + 2, 4*j - 3 = -3*f for f.
1
Suppose -4*b = 4*m + 12, b + 3 = -2*m + 3*m. Solve -3*r + 2 - 14 = 0, m = j + 5*r + 15 for j.
5
Let y be (-64)/(-28) + 4/(-14). Let k = -5 + y. Let n be -2 + (6/(-1))/k. Solve a = 5*f, a + 4 + 1 = n for f.
-1
Let u be 172/36 + 4/18. Suppose 2*q - 5*q + x + 55 = 0, -u*q - 5*x + 105 = 0. Let s = q + -13. Solve -b + s = b, b - 13 = -5*g for g.
2
Suppose s = -5*h + 8, 3*h - 14 - 4 = -5*s. Solve 2*k + 5 = -5*n, 5*k + 4*n = -s - 1 for k.
0
Let m = 5 + -2. Let n(k) = 6*k**2 - 4*k + 3. Let x be n(1). Solve -x*v - 4 = 2*l, v + m*v = 3*l - 17 for l.
3
Let w = -39 - -39. Solve -3*j = 4*t - 2*t - 8, w = -2*t + j for t.
1
Let k(q) = 3*q**2 - 2*q + 2. Let z(v) = -v**3 - 9*v**2 + 3. Let l be z(-9). Let u be k(l). Solve -4*d - u = 3*b, -5*b - 4*d - 15 - 10 = 0 for b.
-1
Let o(i) = -2*i - 1. Let q(t) = t + 5. Let u be q(-7). Let p be o(u). Solve l + 4*l = 5*m + 20, -20 = -p*m - 5*l for m.
0
Suppose 0 = -v + 6*v + 15. Let j = 5 + v. Solve 27 = j*p + 5*m, -m - 4*m + 20 = -5*p for p.
1
Let i(o) = o + 7. Let r be i(-7). Solve m - 5*w + 3 = 5*m, -w + 3 = r for m.
-3
Suppose -j - 15 = -6*j. Suppose -b = j*b. Let k be 1 + -3 + 2 - -4. Solve -4*u = 0, -k*u + b*u = 3*a + 12 for a.
-4
Let t = 7 + -4. Suppose t*a - 4 = a. Suppose 2*j + 3*j - 22 = n, 3*n - j = 4. Solve -24 = a*c + 5*l, c + n*l + 18 = -l for c.
-2
Let v = -5 - -8. Suppose 4*p = v*p. Solve 4*o - 5*h = -36, p = 3*o - 5*h + 12 + 20 for o.
-4
Let a be (1 - -4)*2 + 0. Suppose 0 = -3*u + 4 - a, 2*w + u = 8. Suppose 0 = -q - 0*c - 2*c + 24, -w*c + 50 = 2*q. Solve -15 = -3*k, -2*n = 6*k - 2*k - q for n.
0
Let d(b) = -b**2 - 13*b + 14. Let o be d(-14). Let y be ((-2 - -6)/2)/1. Solve -y*u - 29 = -5*g, 0*u - 4*u - 8 = o for g.
5
Suppose -4*y + 12 = -0*y. Let g(f) = 0*f**2 + 3*f**2 + 2*f + 0 - 5 - 2*f**2. Let i be g(-4). Solve a - y*a + 9 = 5*w, 3*w + i = -4*a for w.
3
Let d = 0 + 1. Let v = d - -1. Suppose -n + 1 = -0*n. Solve -n = 2*w - 4*l - 5, 2*l = -w + v for w.
2
Let q = 1 + 2. Suppose -3*p - x = -3, 5*p + 2*x - q = 1. Solve -9 = y - 0*d + 3*d, 8 = -p*d for y.
3
Let j be ((-5)/(-2))/(-5)*-12. Let i be ((-2)/j)/((-6)/72). Solve i*t = -4*k + 8*k - 12, 3*k = 4*t + 12 for t.
-3
Let m be 2 + (3 - 1) - 1. Suppose 4*x = o - 12 - m, 3*o + 5*x + 6 = 0. Solve -5*n - 45 = 2*c + o*c, -n = 5*c + 25 for c.
-4
Let w(z) = z**2 - z. Let l be w(0). Let m(o) = o**2 - o + 3. Let q be m(l). Solve -d = -q*p - 13, -d + 2 = -p - 3 for p.
-4
Let z = 211 - 210. Solve i + 2*v = -z, -4*i + v + 18 = -2*v for i.
3
Let n be (32/10)/(2/15). Suppose -4*v + 0*v = -n. Solve -w - 4*h = w + 12, -v = 2*w + h for w.
-2
Suppose 18 = 5*m - 2*v, -2*m - 3 = -4*v - 7. Solve 0 = -3*n + 2*r + 1, -m*r - 14 = -2*n - 0 for n.
-3
Suppose -5*c - 5 + 15 = 0. Suppose -5*y = -5*q - 52 + c, 4*y - 5 = -3*q. Solve -y*o - 12 = -p, 3*o + 4*p - 5 + 26 = 0 for o.
-3
Suppose 9*w - 27 = 18. Solve -w*q - 25 = -2*h, -7*h + 2*h - 20 = 4*q for q.
-5
Suppose -2*s + 7 = -1. Let n(o) = -o**2 + 7*o - 8. Let q be n(s). Solve t + 0*j - 3*j = 2, -8 = -4*t - q*j for t.
2
Suppose -4*a = 3*w - 88, a = 3*w - 92 + 24. Solve 3*r + r - k - 19 = 0, 4*k = 3*r - w for r.
4
Suppose 0*l = -5*l - 345. Let r = l - -103. Suppose r = 3*n + 10. Solve 0 = -4*x + d - 11, -n = x + 3*d + 11 for x.
-4
Suppose -o = -4*y + 1 - 23, o + 18 = -4*y. Suppose -14 = -o*k + 4*n, 4*n + n + 1 = -3*k. Suppose 4 = k*h - 2. Solve -h*b = 5*q, 3*b - q = q for b.
0
Let x = -34 + 37. Solve -l - c - 8 = 0, 2*l = x*l - 5*c - 22 for l.
-3
Suppose -4*c = -5*f + 2, -6*f = c - f - 12. Let v = c + 1. Let z be (15/(-6) + v)*4. Solve k + 2*d - 1 = 3*d, z*k + 2*d = -18 for k.
-4
Let x = 46 + -77. Let l = x + 56. Solve y = -5*u + l, 4*y - 4*u + 25 = u for y.
0
Let c(j) = j**2 + 6*j - 2. Let d be c(-7). Let f = 5 - 0. Suppose -3*u = 5*y + 2*u - 30, f*y - 27 = -4*u. Solve 3*l = 3, y*o - d*l + 0 = 7 for o.
4
Let w(d) = 2*d. Let r be (-4)/18 - 87/(-27). Let h be w(r). Let z be (h/5)/(5/25). Solve -z = c - 4*s + 14, -c + 12 = 4*s for c.
-4
Suppose 2*s + 3*s = 30. Suppose 3*q = s*q - 15. Solve 0 = 5*t - 12 + 2, -q*j + 5*t = 10 for j.
0
Let k be (39/26)/((-6)/(-20)). Solve 0*t + 3*v = -3*t - 24, k*v = -20 for t.
-4
Let g be (-141)/(-6) + 6/4. Let x be (0 - 0 - -1)*16. Suppose x + 9 = 5*a. Solve 0 = -5*j + a*v + g, -4*j = 2*v - 1 - 1 for j.
2
Let s be ((-5)/10)/((-2)/80). Suppose -6*w = -w - s. Suppose -w*d - 35 = -9*d. Solve 3*t - d*t - 5*h + 13 = 0, 0 = t - 3*h + 1 for t.
2
Let o be (5/(-2) + 1)/((-12)/48). Solve 3*b + 18 = p, -4*p = -p + 3*b + o for p.
3
Suppose 18*y - 19*y = -4. Solve f = -3*l + y, 3*l = -f + 2*l for f.
-2
Let c(a) = -a + 3. Let p be c(5). Let o be -1*(0 - -2) - p. Solve -5*b + 18 = 4*t, o*t - 4*t = -b - 6 for t.
2
Suppose -11 - 17 = 4*l. Let j = l + 14. Let b = j - 4. Solve 4*z - 3*r = 9, 2*r + b = z - 3 for z.
0
Let h = -6 + 22. Solve -4*q + h = -l, 4*l + 2*q - 4*q - 6 = 0 for l.
4
Let o(s) = 63*s - 1. Let m be o(-1). Let l be (-4)/6 - m/6. Solve z - l = -4*z + 2*f, 2*z - 4 = -2*f for z.
2
Let p = -17 + -12. Let q = -26 - p. Solve -1 = -2*i - k + q, 4*k = i - 20 for i.
4
Suppose -3*f + 0*f = -15. Let o be (-1 - -21) + 1 - -4. Solve -4*t - 7*r + 2*r - f = 0, 4*r + o = t for t.
5
Let i(u) = -u**2 - 7*u - 1. Let z be i(-6). Suppose j - 6*j = -4*m - 104, 5*m = j - 4. Solve 0*h = -h + z*t - 14, 4*h - 4*t = -j for h.
-4
Let z(q) = -q + 2. Let y(r) = 3*r - 5. Let k(b) = -2*y(b) - 5*z(b). Let n be k(-3). Solve -n*t = 0, -4*t = -2*i - i + 6 for i.
2
Suppose 7*j = 4*j + 12. Solve d - 14 = j*d - 4*g, d - 8 = -5*g for d.
-2
Let g be (-3 + (-11)/(-2))*2. Let c be 0 + (1 - 3) + -3. Let f = c - -9. Solve f*m - 2*m = -4*a - 2, 4*a = -5*m - g 