 5*v - 5*x + c = 2*v, 2*v = x - 1 for v.
2
Let i = 44 + -44. Solve 5*k + 5*z - 10 = i, -3*k - 4*z = -2*k + 1 for k.
3
Let s be 36/4 - (-4)/2. Let y = s - 9. Solve -y*z - 16 = -2*f, 5*z - 7 = -3*f - 23 for f.
3
Let j(c) = -3*c - c**3 + 3*c - 2*c**2 + 1 + 0*c. Let i be j(-1). Solve f - 5 = -5*u, -f + u - 1 = -i*u for f.
0
Let q = -1 + 1. Suppose q = b + 1, -4*d + 29 + 7 = -4*b. Solve d = -4*l - z + 2*z, -2*l + 14 = -5*z for l.
-3
Suppose 2*p - 10 = -0*p. Solve -y + 4*f - 11 = 0, y + 0*y - f + p = 0 for y.
-3
Let y be 36/(-12) + (1 - -2). Suppose y = -3*i - 2*i + 20. Solve 4*k + 2*x = -4, -3*k = i*x - 7*x + 12 for k.
-2
Suppose 2 = -a, -4*i + a - 7 = -25. Solve -i*r = -2*j + 20, -2*j + 7*j = -2*r - 10 for r.
-5
Let z(c) = 2*c - 13. Let d be z(14). Solve -2*s - 3*s - f + 25 = 0, -4*f = -3*s + d for s.
5
Suppose 0 = -3*h + h + 14. Let z be h + ((-6)/1)/(-2). Solve -l - 10 = -2*g + l, -2*g = -5*l - z for g.
5
Suppose -3*a + 30 = 4*d, 2*d - d = 4*a - 40. Solve 5*x + a = -5*v, -4*x + v + 0*v - 13 = 0 for x.
-3
Let k(l) = 16*l - 11. Let i be k(1). Solve 2*j = j - i, -5*j - 29 = -4*s for s.
1
Let w(o) = -o**3 - 11*o**2 - 10*o + 3. Let g be w(-10). Let f be (6/15)/((-1)/(-5)). Suppose f*z - z - 3 = 0. Solve -z*p - 9 = -g*b, b = 3*b + 4*p for b.
2
Suppose 5*c = 4*u + 4, 4*c - 6*u - 5 = -u. Solve -3*d = 4*r + 9, d + 3*r = -c*d - 3 for d.
-3
Suppose c - 29 = -0*c - 2*v, -c = 5*v - 41. Suppose -3*x + f = x - c, 2*f = 4*x - 22. Solve -2*k - 12 = 4*o, 4*k + o - x*o = 0 for k.
-2
Suppose -b = 5*y - 1, -2*b + 19 = b - y. Solve -r + b = -2*r + q, -4 = -2*r - 2*q for r.
-2
Let a(f) = -4 + 0*f + f - f - f. Let s be a(-6). Solve -s*g = g + 5*j + 4, 0 = 3*g + j - 4 for g.
2
Let p = 5 - 1. Suppose l + p = 3*l. Solve 4*w + 2*r + 22 = 0, 10 = -w - 4*r + l*r for w.
-4
Let i = -15 + 35. Solve 2*s + 3*f = -f + 30, -5*s + i = -f for s.
5
Suppose 0 = -3*m - 4*o + 61, 2*o - 3*o = m - 21. Let f(n) = -n**2 + 3*n + 2. Let k be f(2). Solve b = 4*p - m, -p - 2 = k*b + p for b.
-3
Let t(g) = -g**2 - 9*g - 6. Let m be t(-7). Suppose 2*d - m + 2 = 0. Suppose 29*v + 322 = 52*v. Solve -a - 3*i - v = -0*a, a - 10 = d*i for a.
-2
Let o(l) = -11*l - 18. Let d be o(-3). Solve i = s, -d = s - 0*s + 4*i for s.
-3
Let y(m) = -m - 4. Let z be y(-7). Suppose 176 = 17*h + 5*h. Solve s + z*q = -h, -q = s - 3*q + 3 for s.
-5
Suppose 3*n - 3*k - 18 = 0, -4*k - 15 = -4*n - 3*k. Solve -n*f = 2*f + 5, 2*f = 2*m - 4 for m.
1
Suppose -3*s - 5 = 13. Let c = -4 - s. Suppose -c*x + 3*o = -7, 0 = 2*x + 5*o - 8 - 7. Solve -x*h + 17 = 4*z - 15, 5*z = -h + 19 for z.
3
Let h(x) = 6*x**2 + x. Let g be h(-1). Let i = g - 8. Let r be 6 + 9/(0 + i). Solve -r*c - 15 = 0, -3*v + 2 + 3 = -c for v.
0
Suppose -2*r + 12 + 8 = 0. Suppose -v + r = v. Suppose 0 = -w - 0*w + v. Solve 3*f + q = w*q + 8, 2*f + 3*q - 11 = 0 for f.
4
Let q be ((-2)/(-4))/((-6)/(-72)). Solve -4*b = l - q, -l + b + 9 = 4*l for l.
2
Suppose 3*p = -5*x + 2, -2*x + 3*p + 4 = p. Suppose -4*a = -3*b + x - 0, 5*a = 2*b + 4. Solve 3*z + 25 = 8*z, -b*y + 5 = 4*z for y.
-5
Suppose 6*i - 3*i + 5*g = 39, -i + g = -13. Solve 2*y - y = -3*d + 19, 2*y - i = -d for y.
4
Let n = 92 - 88. Solve n*q = -4*m, m - q - 4 = -0 for m.
2
Suppose 0 = 2*p + 3*p + 235. Let l = -24 - p. Solve 11 = 2*w + o, -4*w + 2 + l = 5*o for w.
5
Suppose -2*c + 51 + 49 = 5*s, 5 = c. Solve -5*r = 2*u - 0 + 10, -2*r = -2*u + s for u.
5
Suppose 0 = -8*g + 3*g + 15. Suppose -12 = -5*c + 3*f, -c + g*f = -2*c + 6. Solve -y - c*y - 4 = -4*t, 4 = t for y.
3
Suppose -3*y + y + 8 = 0. Let i be (y/8*0)/2. Solve -4 = -f - 3*x, -2 + i = 4*f + 3*x for f.
-2
Let w be 22 - (0 - -1)*2. Suppose -2*l + 0*l + w = 0. Suppose -5*v = -l*v + 25. Solve -v*j + 5*t = 0, 0 = -4*j + 5*t - 2*t - 3 for j.
-3
Let s be 2*2/2 - 0. Let m be 80/14 - s/(-7). Solve k - 5*f - 3 = -0*k, 2*k - m = -2*f for k.
3
Suppose 0*s + 4 = 2*s. Suppose 3*y = -s*y - 5, 0 = -4*w + 3*y + 15. Solve 0 = -2*m + u + 2, u - w*u = 5*m + 13 for m.
-1
Suppose -2*n + 5 = 3*n - 3*q, 4*n - 3*q = 1. Solve -2*w - 3*y + 18 = 0, -w - 2*y + 23 = n*w for w.
3
Let i = 1 - -2. Let y(l) = -l**2 + 9*l - 15. Let p be y(7). Let n = i + p. Solve n*u - 2*o - 10 = 0, -2*o + 6 = -0*u + 2*u for u.
4
Suppose 6*r - 5*r - 4 = 0. Suppose -r*w = w. Solve -3*u + b - 10 = w, -4*u = -5*u + 2*b for u.
-4
Let p(f) = -f**3 + 2*f**2 + 0*f**3 + 2 - f**2 + 1. Let m be p(0). Suppose 3*d = -0*d + 9. Solve 5*w - 26 = d*u, -5*u + m*w = w + 18 for u.
-2
Let h = 7 + 1. Solve 0 = 5*x + 5*b + 5, h*b + 31 = 5*x + 4*b for x.
3
Let n be 26/6 - 2/6. Suppose 0 = -2*b - 5*g + 4 - 3, 0 = n*b + g - 29. Let k = -5 - -8. Solve j + 0*q - b = -4*q, 4*q - 24 = k*j for j.
-4
Suppose a = 3*a - 4*r + 8, 3*a - r = 3. Solve -1 = z - a*v + 2, 0 = 2*z + 4*v - 2 for z.
-1
Let m be (-51)/(-12) - (-1)/(-4). Solve 2*q = 4*r - 24, 0 = -m*r - 2*q + 5 + 3 for r.
4
Suppose v = 3*v. Let c = v + 3. Suppose 0 = 3*i + x - 15, x - 3 = -0. Solve -i*w - g - g = 0, -5*w + c*g = 0 for w.
0
Let i(p) = -3*p + p + p**2 - 3 + 0*p**2. Let x be i(-2). Solve -4 + 1 = 3*l, -x*l - 15 = -2*y for y.
5
Let s = 17 - 17. Suppose s = 2*j - 8 - 0. Solve -5*b + 2*p + 2*p = -31, p = -j*b + 8 for b.
3
Let k = -5 - -7. Suppose -k*p = -0*p - 10. Solve -2*r - 5*t = -7, -2*r + p*t - 23 = -0*t for r.
-4
Suppose 3*t + 5 = -4*i - 6, 3*i = -5*t. Let l = 3 - -2. Suppose -6*x - l*a = -x + 5, -2*x = 5*a + 14. Solve -2*f + 2*h - 8 = 0, 4*f - t*h = -x - 10 for f.
-1
Let b = 8 + -6. Solve b*o - k = 0, 3*o + k + 10 = 5*k for o.
2
Let w = 39 - 27. Let t(a) = -a - 8. Let j be t(-14). Let k = j - -2. Solve -y + w = 5*b, 2*y = 4*y + 2*b - k for y.
2
Let b(j) = 2*j**3 - 30*j**2 + 2*j - 21. Let y be b(15). Solve 3*n = 2*z - 23, -5*z = 2*n - 1 - y for z.
4
Suppose -6*q + 4*q - 2 = 0. Let s be q*3/(2 - 1). Let f = s + 6. Solve -4*a + f*g = 16, -g + 5*g - 12 = 3*a for a.
-4
Let i(m) be the third derivative of -m**5/60 - m**4/8 + m**3/6 + m**2. Let v be i(-2). Solve o - 16 = 4*l, v*o - 3*l - 8 = l for o.
-4
Suppose 3*o + 56 + 7 = 0. Let i be (30/o)/((-2)/14). Suppose t = -y + 2, 5*t - i = -4*y + 2*y. Solve -5*c + 25 = 5*q, 3*q - 15 = -4*c - y*q for c.
0
Let z = 3 + 1. Solve -2*i - z*s = -24, -4*i - 7 + 30 = 3*s for i.
2
Suppose -2*g + 0*n + 2*n = -12, -3*n = 9. Let j = 9 - 5. Let q(f) = -f**2 + 5*f - 2. Let c be q(j). Solve -c*z + 13 = -5*r - 9, 5*r - g*z + 23 = 0 for r.
-4
Suppose 4*q + 4*n - 11 = 1, -3*q - 5*n = -7. Let z(k) = -k - 5*k**2 - 3 - k**3 + 12*k**2 - 4*k. Let d be z(6). Solve 2*i - b = d, -4*b - q = i - 1 for i.
1
Suppose 0 = c + 3*c + 12. Let w(g) = -7*g + 3. Let i be w(c). Solve -d = 2*d - 9, 0 = 3*y - 5*d + i for y.
-3
Suppose 0 = 4*d - 3*d - 4. Let i = 13 + -23. Let b be (-2 + i/(-4))*8. Solve -4*r - 20 = 0, b*r + 13 = 3*z - d for z.
-1
Let h = 2 + 13. Solve -4*j = -4*w, -w = -2*w - 2*j - h for w.
-5
Let j = -28 - -28. Suppose 0 = -v + 25 - j. Solve 0 = 5*h, -4*t = 5*h - 5 + v for t.
-5
Let w(f) = 11*f + 8 + f**3 - 15*f**2 + 11 + 9*f - 7*f. Let v be w(14). Solve -v + 0 = -h - 4*u, -2*h + 10 = 3*u for h.
5
Suppose 5*a - 2*f = 25, -4*a - 8 = -0*a + 4*f. Solve -2*n + a*r = -3*n - 13, -4*n - 2 = 2*r for n.
2
Suppose 0*b + 8 = 4*b. Suppose 2*m - 5 = m. Solve 0*t - 1 = -o + 5*t, m*t = -b*o - 13 for o.
-4
Let s be ((-2)/6)/((-3)/135). Let b be s/(-6) - 1/(-2). Let j(r) = -6*r - 1. Let u be j(b). Solve -w = -0*h - 2*h - u, -2*h = 5*w - 19 for w.
5
Suppose 0*c + 15 = 5*c - 5*h, 2*c + 3*h = 31. Let v = c - 5. Solve -3*z - 4*x - 16 = 0, -3*z + 12 = -z - v*x for z.
0
Let k(w) = 3*w**2 - 27*w + 3. Let y be k(9). Solve 3*i - y*r = 5*i - 15, -5*r = -3*i - 6 for i.
3
Suppose -4*p + 4 = -6*w + 2*w, 1 = p. Suppose w = -d + 4*n - 2, 0*d + 4*n = -d + 6. Solve c - 3*u = -3*c - 11, u = -d*c + 7 for c.
1
Suppose -7*x = -3*x - 20. Suppose 4*b + 1 = -y - x, 0 = -2*y - 2*b - 6. Let j be 0*(0 - -1) - y. Solve 4*k - 5*a + 1 = 0, a + 5 = k - j*a for k.
-4
Suppose -t - 7 = -12. Solve -o - 2*o + 1 = t*i, -11 = o - 4*i for o.
-3
Let j be 6/(1/((-1)/(-2))). Suppose -5*f + 12 = w, j*f = -2*w + 4*w + 15. Solve -f*s + 10 = -s - 2*n, 2*n + 1 = -s for s.
3
Let s = -19 + 27. Suppose -2*q = -p - 14, -9 = -4*q - 3*p + 9. Let d = s - q. Solve -4 = h + 2*h + 4*r, 5*h + 2 = -d*r for h.
0
Suppose 0 = 2*f - 4*a + 34, -f + 2*a = -a + 14. Let p = 33 + f. Solve -3*g + p = -4*y - g, 3*y + 9 = g for