 -4*l + u for l.
5
Let d be 2/9 - (-172)/36. Suppose -5*v = 5*g - 0*v - 15, -5*v = 0. Solve 4*b = -g*x - 10, 0*b + d*x - 18 = 2*b for b.
-4
Suppose -f + 0 = -2*a + 10, -f - 3*a + 5 = 0. Let y = f + 9. Suppose y*o - 13 = -3. Solve 0 = -5*c - d + 4, 10*c - 5*c = -o*d + 3 for c.
1
Let o be ((-1)/2)/((-5)/10). Let u(n) = 5*n - 1. Let x be u(o). Solve 2*w - g = x, -3*w + 5*g + 1 + 5 = 0 for w.
2
Suppose 1 + 7 = 2*t + r, 5*t - 5*r = 5. Solve 0 = -5*m - 2*w - 23, -t*m - 2*w - 3*w = 29 for m.
-3
Suppose 0 = i - 2*i + 10. Suppose -5*l + 28 = -3*p, 5*l + 0*p = -4*p + 56. Suppose 0 = l*k - 3*k - i. Solve 10*f - 5*f + 9 = 3*y, 5*y = k*f - 4 for y.
-2
Let w = 6 + -7. Let r be 1*(-1 - 0) - w. Solve b + 3*x + 2 = -b, r = 3*b - 2*x - 10 for b.
2
Let v be -3 + 2 + 4 + 3. Solve 3*s = -3*u - 2*s - 37, -2*s = -4*u - v for u.
-4
Suppose -2*o - 2*m = -28, -3*m + 70 - 16 = 4*o. Suppose 0*n + o = 3*n. Solve n*l + 2*s + 4 = -2, -5*l - 3*s - 10 = 0 for l.
1
Let g be ((-4)/(-8))/((-1)/2). Let m be g + 6 + 2 + -2. Solve 4*d + 4*c = 24, -1 = m*d - 4*c + 5 for d.
2
Suppose 3*a = 8 + 7. Suppose -a*k - v = -132, -k + 0*k - 2*v = -21. Solve u + 2*c = 5, 6*u + k = u + 3*c for u.
-3
Let y = -14 + 29. Let m = y - 10. Solve 16 = -m*n - 2*v + 6*v, -5*n + 5*v = 20 for n.
0
Let o(v) = -v**2 - 2*v - 1. Let i(y) = y**2 - y. Let h(l) = 2*i(l) - o(l). Let c be h(1). Solve -s - 4 = -c*m, 5*s + 0*m - 5*m = -20 for s.
-4
Suppose 11*u = 6*u. Solve o + 0*y + 3*y + 6 = u, -4*o + 2*y = -18 for o.
3
Let i(w) = -w**2 + 12*w - 6. Suppose -6 - 38 = -4*b. Let n be i(b). Solve 5*j = -2*r - 4 + 3, 4*j = n*r - 14 for j.
-1
Suppose 3*r - 4 = 8. Solve -z = 2*x - 6*z + 2, 0 = -r*x + 5*z + 6 for x.
4
Suppose 6*o - 12 = 2*o. Solve 0 = -m - 4*r + 15, -r = o*m + 4*r - 17 for m.
-1
Suppose 0 = f - x - 6, 3*x - 2 = -4*f + 1. Suppose -q + 1 = 0, -5*q + 4 = f*z + 2. Let c be z*(-3)/6*10. Solve 5*p = j - 6, -5*p + c*j - 2*j + 2 = 0 for p.
-2
Suppose -3*o - a + 34 = -19, o - a = 23. Solve 0 = 3*h + 4*j - 24, 0*h - 5*j = h - o for h.
4
Suppose 4*k + 10 = -k. Let f be 2 - (0 - (-1 - k)). Solve 0 = -2*t + f*c - 3 - 4, c = -3*t + 6 for t.
1
Suppose 5*j + 4 = -4*l, 0*j = 3*j + 12. Solve 5*h = -3*p - 5, 5*h - 4*h + l*p = -1 for h.
-1
Let q be (-1 + 1)/((-4)/4 + 2). Solve q = -d + 3*g - 20, -d + 10 = -4*d - g for d.
-5
Suppose 3*k - 5 - 1 = 0. Let a be (51/12 + -3)*4. Suppose 0 = a*l - 4*l. Solve -5*v - y - 3 = -l*y, k = y for v.
-1
Let j(t) = t**2 + 12*t + 22. Let o be j(-10). Solve 3*s - 2*l = -2, 5*s + o = 3*l - 1 for s.
0
Let r be ((-1)/2)/((-4)/16). Let g(t) = t**3 + 4*t**2 + 2. Let f be g(-2). Solve i - f = -r*c + 3*i, 16 = -4*c - 5*i for c.
1
Suppose -3*h + h - 16 = -4*k, -4*h - 3*k + 23 = 0. Let o be h/(9/(-6) + 2). Solve p - 1 = x, 0*x = -o*p - 3*x - 24 for p.
-3
Let a(m) = 5*m + 1. Let v be a(1). Suppose 4*d - d = v. Solve -4 = -4*p, -2*k - 5*p + d = 5 for k.
-4
Suppose -4*d = -m + 4, 0 + 10 = -3*d - m. Let r be ((-1 + 1)/d)/(-2). Solve 3*b = f + 14, r = -5*b + 2*f + 29 - 6 for b.
5
Let l(k) = k + 10. Let n be l(-4). Solve -5*d - 4 = n, -3*q + 9 = -3*d for q.
1
Suppose 0*o + 38 = 3*i - 2*o, -3*o + 63 = 3*i. Solve -6 = -3*u - 3*q, 2*u - 2*q - i = -0 for u.
5
Let o be ((-8)/10)/((-11)/440). Solve 3*r - 3*v = -25 - 2, 0 = 4*r - 3*v + o for r.
-5
Suppose -5*b - 15 = 0, 3*r - 5*b - 19 + 1 = 0. Let s be r - -2*22/4. Solve 3*a + 23 = -4*f, s = 3*a + f - 4*f for a.
-1
Let j = -12 + 14. Suppose 4*p - 3*p + j*n = -3, -3 = -2*p - n. Solve 10 = p*x + 4*h + 2, 5*h - 10 = 0 for x.
0
Let c be ((-32)/(-48))/((-2)/(-66)). Let t be 8/3 - (-4)/(-6). Let q be 0*(-1 + (-5)/(-10)). Solve q = 4*f - 3*z - c, 2*z = -3*f - t*z + 4 for f.
4
Suppose -a = 5*w - 15, w = -2*w + 5*a - 19. Let q be (w/(-3))/(4/(-12)). Let i be -2 + 42 - q/(-2). Solve 5*n + 17 - i = c, 4 = 4*n + 3*c for n.
4
Let o(r) = -r**2 - 3 - 9*r - 3 + 0. Suppose i = 4*x + 27, x - 5*i + 3 = 20. Let m be o(x). Solve -12 = 4*l, 12 = m*j + 3*l - 7*l for j.
0
Let w be 104/24 + (-6)/(-9). Solve 0 = 5*b - 4*b + 2*m + 3, 5*m = -w for b.
-1
Suppose 5*c + 67 - 12 = 0. Let a = -9 - c. Let p be 0 - (-4)/(3 + -1). Solve 0 = -4*x - 12, 0 = p*b + a*b - 3*x - 17 for b.
2
Let y(d) = 7*d + 279. Let a be y(-37). Let j(s) = -s**3 + 6*s**2 + 2*s - 8. Let v be j(6). Solve 2*p = c + 5, p = v*p + 4*c + a for p.
0
Let t(x) = 12*x**2 - 3 + 0*x + x + 17 + x**3. Let r be t(-12). Solve -5*w + 3*k - 5 = 0, w = -w + k - r for w.
-1
Let a = -2 + 2. Suppose h + h = a. Solve i = -3*k + 1, -4*i + i + 5*k + 3 = h for i.
1
Let a = -13 - -14. Suppose -k + 5*h = a, 5*h + 16 - 5 = 4*k. Solve -3*s + 6 = 0, d - k*d - 14 = -4*s for d.
-2
Suppose 5*f = -5*o + 15, 2*f + 3*o = 4*o - 3. Suppose f = 2*h - 3*h - 6. Let m = h - -10. Solve 0*p + 4*p + m*u = 8, -u = 4*p - 14 for p.
4
Suppose g - 26 = -g. Solve -o = 2*o + 4*n + g, 0 = 5*o + 2*n + 3 for o.
1
Let d = -14 + 25. Suppose -j - 4 = -d. Solve v + 2*q + j = -2, 0 = -q - 3 for v.
-3
Let f be (-8)/3*75/(-10). Solve -4 = -0*i - i, -4*t - f = -3*i for t.
-2
Suppose -2*q + 2*p - 4*p + 4 = 0, q + 4*p = 8. Solve 2*r - 3*c - 5 = -q*c, 0 = 2*r - 2*c - 6 for r.
4
Suppose n + q + 0*q = 5, -4*n + 2 = -5*q. Solve -5*r = 4*f + 31, -r + 5 = -n*f - 4 for f.
-4
Let f = 3 + 7. Suppose -2*s - 4*j = 2*s - 8, -2*s = 5*j - 7. Let g be s/(-3) - (-1)/3. Solve -5*t - 5*p + f = g, 0 = -3*t - 4*p - 0 + 8 for t.
0
Let w be ((-3)/6)/((-1)/(-6)). Suppose -2*a + 2*q = -6, -2*a - 3 = -5*q + 3. Let x = a + w. Solve 11 = -l - 3*v, 4*v - 1 = -x*l - 5 for l.
4
Suppose -4*n = 2*i - 42, 3*n - i + 0*i = 24. Solve 3*a + 5*q + 7 = 2, 3*q = -3*a - n for a.
-5
Suppose 0 = -3*m + u + 12 - 3, -u + 5 = 4*m. Let q = -2 + m. Solve -16 = -4*s - q, 2*a = 4*s - 8 for a.
4
Let v be (20/14)/((-4)/(-56)). Solve -3*g = 15, 0 = -0*p + 5*p + 5*g + v for p.
1
Let n be (1/1)/((-2)/10). Let r = 7 + n. Let q = r + -2. Solve q = -2*u - 6, u + 1 = 4*l + 6*u for l.
4
Suppose -108*o = -109*o. Solve o = f - 3*r + 20, -1 = -3*f - 2*r - 6 for f.
-5
Suppose 0 = -4*a + 3*d + 7, 4*a + 27*d - 31 = 22*d. Solve 2*r + a = -3*j, -4*j + 2*r - 6 = -2*j for j.
-2
Let q = 30 + -56. Let h = -21 - q. Solve -20 = a - 5*a, 5*x = -a + h for x.
0
Suppose 8 = 5*p - 7. Suppose p*r + r - 4 = 0. Solve 4*v - 3*v - 1 = -j, -r = -4*j - 3*v for j.
-2
Let d(x) = x - 11. Let i be d(14). Solve 0 = 2*j + i*w + 14, -3*j = 3*w + w + 20 for j.
-4
Let v be ((-15)/10)/((-3)/4). Solve 0 = -v*h - 3*l - 2, 2*h - 18 = l + l for h.
5
Let y = -6 - -13. Suppose -2*q = -x - y - 44, 2*q + 5*x - 33 = 0. Solve -4*c - 4*k - q = 0, 0 = 3*c - 0*c + 2*k + 16 for c.
-4
Let s be (-105)/14*(-8)/3. Solve 0 = 4*c + s, 0 = -4*w - 2*c - 0*c - 30 for w.
-5
Suppose v + 1 = -2*k - 8, -8 = 2*k + 2*v. Let l = k + 10. Solve -l*t - 25 = 0, -4*a + 7*t - 2*t = -17 for a.
-2
Let c(a) = 3*a. Suppose 0 = -4*x + 2*x. Let t = 1 - x. Let g be c(t). Solve 5*k = -2*r - r - 22, 6 = -g*k for r.
-4
Suppose -8*p - 12 = -52. Solve n - 2 = a, p*a = -3*n + 5 + 9 for n.
3
Suppose y = -4*y - 20. Let u = y + 9. Solve 3*v = -u*f + 2*v - 10, 0 = 2*f - v + 4 for f.
-2
Suppose -5*h + 13 = k + 36, 5*k - 5*h = 35. Suppose 4*d = 5*d. Suppose t = 3*m + 16, -t = -d*t - 5*m - 24. Solve -4*p - 4*v - 32 = 0, 2*v = -k*p + t*p for p.
-4
Let m(k) = -k**2 - 22*k + 27. Let i be m(-23). Solve -2*j + 3*x + 2 = -x, -i*x + 8 = 0 for j.
5
Let y be 372/20 - 4/(-10). Let z = -17 + y. Solve -m = -3*m + 3*x - 25, 0 = -z*m + 2*x - 20 for m.
-5
Let v = -3 - -6. Solve 2*a + 2*a + 2*q = 28, -a + 17 = v*q for a.
5
Let a be 270/69 - 16/(-184). Solve -2*l + 2*k - 6 = 0, 0*l = -2*l - 3*k + a for l.
-1
Suppose -14 = -f - 4*v, v - 1 = 4*f + 28. Let x = f - -7. Let i(r) = -16*r**3 + r + 1. Let c be i(-1). Solve -c = -3*j + 4*n, 3*j = -5*n - x + 8 for j.
4
Let i = 10 - -40. Suppose 3*b = -2*b + i. Let k be 8/20 + (-4)/b. Solve 2*x = -x + l + 12, k = -x - l for x.
3
Suppose -s - 4 = 4*k, -6*s - 12 = k - 3*s. Suppose k = -4*y - 2*y + 24. Solve -t + q = -3, 14 = t - y*q - 4 for t.
-2
Let i be -4 + 3 - 4*-1. Suppose 2*a - i*m = 8, -a - a - 3*m + 8 = 0. Solve -f + a + 0 = b, f = -5*b for b.
-1
Suppose 0 = y - 2*p - 1, y + p + 8 = -y. Let t = y + 7. Solve 4*v + z = 2*z + 16, 2*v - 8 = t*z for v.
4
Let b be (3 - -1) + (-1 - -2). Suppose -i - 5*s = -3*i + 26, i - 13 = b*s. Solve -5*r + i = 2*p + p, 3*r - 8 = -2*p for p.
1
Let y = 50 + -46. Solve 0 = 4*k +