v - 25, -g = -3*v - x for g.
5
Let a(k) = 7*k + 18. Let m be a(-2). Solve 3*x + 3*o = -30, 2*x + m*o + 15 = 3*x for x.
-5
Suppose 0 = -0*j + 4*j - 3*l - 19, l + 5 = j. Suppose b - 15 = -j*b. Solve -2*p - 5 = 5*d, p + d + d + b = 0 for p.
-5
Suppose -v = -0*v - 5. Let u = -5 + 11. Let m be (-1 - -2)/(2/u). Solve 0 = h - i - 5, -2*h + m*h - v = 4*i for h.
5
Suppose -4*i - 4*m = -7*m - 47, 4*i - 22 = -2*m. Solve 0 = 4*w - i, 0*f + 15 = 5*f + 5*w for f.
1
Suppose 0 = 2*s + 4*d - 34, 5*s = -0*s + 4*d + 141. Suppose 25 = w + w - 3*c, -5*c = s. Solve 4*n - 21 = -w*o + 2*n, -5*o + 12 = -n for o.
3
Let i be (1 - 5)*(-2)/4. Suppose 0*r + 14 = 3*b - 2*r, 6 = b - i*r. Solve 3 = 3*l, -12 - 4 = -b*u - 4*l for u.
3
Let w be 0 - 0 - (3 - 13). Let u = w + 0. Let b be u + 3/(-3) - -2. Solve 4*k - b = -v + 6*v, -5*k + 5*v + 15 = 0 for k.
4
Let g be 2*(-55)/(-20)*2. Solve 2*k = 4*i - 16, 5*i = -5*k + 9 + g for k.
0
Suppose 0*u - 5*u - 3*a = -3, 4*u = -5*a + 5. Solve 5*w + p - 20 = 4*p, 4*w - 4*p - 16 = u for w.
4
Suppose -3*p + 0 = -4*x + 5, 0 = -x - 3*p - 10. Let s = 3 - 1. Let d be x*2*(-2 - s). Solve 2*v - d = 0, 2*f - 2*v = -f + 4 for f.
4
Let s be -15*2/(-1 + -1). Solve s = -4*j - 5, v + 16 = -4*j for v.
4
Suppose 3*b = 6*b - 15. Solve 5*g = -b*d, -4*g = 3 - 7 for d.
-1
Suppose u = -5*q - 21, 3*q = 4*q - 4*u. Let n = -1 - q. Solve -5*p = 0, -n*s - 2*p + 7*p = 0 for s.
0
Suppose -f + 7 = 2*i, -18 = -4*i - 0*i + 2*f. Suppose 0 = -3*h - 1 + 7. Solve 4*q + 5*k + 20 = -q, 6 = -i*q - h*k for q.
1
Suppose 9*d = 8*d + 4. Solve 2*u - 2*z = 3*z + 33, -36 = -4*u + d*z for u.
4
Suppose 91*s - 87*s = 8. Solve s*p = 4*m + 8, -2*p + 16 = -5*m + 4 for p.
-4
Let t(d) = -6*d + 64. Let y be t(10). Solve -q + 5*q - 3*p - 24 = 0, y*q + 5*p = -8 for q.
3
Suppose -3*s - 64 = 122. Let t be (-4)/(-22) - s/22. Solve 0*m - 5*u = t*m - 7, 3*u - 10 = 4*m for m.
-1
Suppose -17 = -3*r - 5*k, -4*k + 1 = -4*r + 13. Solve 2*i = h - 5, 0 = -r*i - 2*h - 7 + 1 for i.
-2
Let v = 37 - 20. Suppose 0*j = 4*j. Let h be j + 3 - (1 - 3). Solve u + v = -h*f, -2*u - u = -2*f - 17 for f.
-4
Let o = 13 + -7. Suppose -5*b - 2*x + 17 = 0, -2*b + 0*b - x = -o. Solve -4*h - 1 = -b*m - 2, 2*m - 2*h + 2 = 0 for m.
3
Let a = 24 + -22. Solve 5*j + 10 = -a*q - 3*q, 5*j + 37 = 4*q for q.
3
Let d = 14 - -10. Let x be d/15*(-10)/(-4). Solve -5 = c - x*k + 2*k, 0 = -3*k + 15 for c.
5
Suppose 5*x + 26 = y, -5*x = 4*y - 8*y + 14. Let v be (54/(-24))/(1/4). Let w = x - v. Solve -5*s - w*b = -5, 4*s - 5*s = -2*b - 14 for s.
4
Suppose -4*p + 11 = -5. Solve -3*m = 4*s + 3 + 3, s = -p*m + 5 for s.
-3
Let q be 1*(4/(-2))/(-2). Suppose n - 1 = -2. Let v = n + q. Solve 7 = -3*o + 3*k - 5*k, v = -5*k + 5 for o.
-3
Let q(d) = d**2 + 7*d + 5. Let i be q(-5). Let t(a) = -18*a**3 - 5*a**2 + 0*a + 17*a**3 - 2 - a. Let m be t(i). Solve -5*k = 3*o + 22, m*o - 9 - 9 = 3*k for k.
-5
Let t = 5 - 1. Let k = 11 - 7. Solve 4*o + 2*n - 14 = k, t*o - 4*n = 24 for o.
5
Let r be (-4)/(-2 - 21/(-12)). Let s be (r/(-10))/(7/(-175)). Solve -3*g = q - 16, 8*g - s = 3*g - 5*q for g.
4
Suppose 0 = -7*l + 2*l. Suppose -5*c + v + l*v + 33 = 0, 4*c - 22 = 3*v. Solve -5*t - 25 = -5*g, c = 4*t + g + 4*g for t.
-2
Let k(d) = -d**2 - 9*d + 26. Let y be k(-11). Solve x = -3*p, -y = 2*p + 2*x - 0 for p.
1
Let u = 12 - 5. Let n = u + -4. Solve w = 2*q + n, 0 = -q - 4*q + 4*w for q.
-4
Let j = 21 - 17. Solve 2*d + 20 = 3*r, -d = j*r - 19 + 7 for d.
-4
Suppose 3*c + 0*y - 37 = 5*y, -65 = -5*c + 5*y. Solve -4*o + c = m, 3*m + 5*o - 8 = 6 for m.
-2
Suppose -75 + 43 = -4*n. Suppose -j + 5 - 2 = 0. Suppose j*q = -q + 8. Solve -2*l + 3*g - q*g = 6, -g = -4*l - n for l.
-1
Let i(o) = o**2 - 7*o + 4. Let k be i(6). Let y be (-16)/(-6) - k/6. Solve 5*a + y*d - 5 = 0, 0*d + 11 = 2*a + 3*d for a.
-2
Suppose -4*f + 6 = 2*h, -f - 3*f = 0. Suppose 0 = -j + 3*q + 2, -2*j - 2*q = 1 - 13. Let l = j + -3. Solve 0 = h*a + c + 3, a + 2 + 4 = -l*c for a.
0
Suppose -5*j + 18 = v, 3*j + v - 6 = -2*v. Solve 0 = -y + 2*r + r + 15, j*y + 2*r = -10 for y.
0
Suppose -w + 1 = -2*s, 5*s - 29 = -3*w - 4. Let c(g) = g**2 - 6*g + 9. Let y be c(6). Let j = -5 + y. Solve -3*i + 2*k - j*k = 9, 2*i + k = -w for i.
-1
Let x(j) = -j. Let o = -4 - -1. Let b be x(o). Let d(i) = 2*i - 6. Let p be d(5). Solve b*m = 0, -m + p*m - 20 = 4*q for q.
-5
Let m = 8 + 13. Suppose -m - 6 = -3*y. Suppose 2*g + 3 - y = 0. Solve -g*k = -2*c + 1, -3*c = -5*k - 7*c - 31 for k.
-3
Suppose 2*g = -2*b + 14, b - 29 = -2*b - 5*g. Let a be (0*(-1)/b)/(-2). Solve 3*x + 5*p - 17 = a, 4*x + 4*p = 13 + 7 for x.
4
Suppose 15 - 45 = -5*m. Let j = 6 - m. Solve r + j*d - 10 = -3*d, 0 = -2*r + d - 15 for r.
-5
Suppose 3*t = -2 + 23. Let v = 35 - t. Suppose -4*s + 6 = -2*s. Solve -d = -r + s, 3*d + 4*r - v = -d for d.
2
Let f(w) = 0*w + 2*w**2 + 0 - 4 + 3*w. Suppose 6 = 3*i - 5*i. Let k be f(i). Solve -4*d + 7 = -5*v, 5*v - v + k = 3*d for v.
1
Let v(r) = r**3 - r**2 + r - 1. Let f be v(0). Let g be 0/(f*(2 - 1)). Solve 11 = -4*x - 3*y, g = -5*x + 5*y + 9 - 49 for x.
-5
Let n = 1 - -19. Let s = 22 + -11. Solve -4*h = y - s, -h - 4*h = -5*y - n for h.
3
Let f = -1 - -3. Suppose 3*j + 3 = n, -13 - f = -5*n - 4*j. Solve -2*u + 22 = -4*q, 2*q - 1 = -n*u - 0 for q.
-4
Let l(j) = -j**3 + 10*j**2 - 8*j - 7. Let f be l(9). Solve -4*h + 4 = r, h = -f*r + 6*h - 5 for r.
0
Let w be (6 - 1)*(5 + -2). Solve 5*c - 23 = 3*v, c + 5*v - w = -4*c for c.
4
Let q be 4*2/4*2. Suppose -c + 3*c = q. Let g = c - -3. Solve -5*z - 35 = -g*t, -6*z + z = 4*t + 8 for t.
3
Let s = -1 - -3. Suppose 5 + 5 = s*d. Solve c - 4*c = f - 5, -d*c + 11 = f for c.
3
Let x = 135 - 95. Solve 7*l - 5*u = 2*l + x, 5 = -2*l - 5*u for l.
5
Let s(c) = -c**2 + 8*c - 7. Let o(l) = l + 1. Let d be o(4). Let v be s(d). Let m be 4/16 + 14/v. Solve 8 = -0*h + m*h + g, -5*g = -2*h - 4 for h.
3
Let o be -4*(11/(-2) - -3). Suppose -m + o = 4*m. Suppose -2*y - 1 = -q - 3*y, 5*q + 4*y = 8. Solve q*n + 16 = m*c, 6*n + 20 = 4*c + 2*n for c.
2
Let c be (-2)/6*6/(-1). Solve -3*x + 8 = -r, r - 2 = -x + c for r.
1
Suppose 3*a + 2*o - 21 = 0, -2 + 12 = 5*a - 5*o. Suppose 0*d + a*d = -5. Let b be ((-2)/4)/(d/80). Solve -6*f = -f - 5*v + b, -5*f - 16 = 3*v for f.
-5
Let w(f) = f**2 + 5*f. Let h be w(-5). Suppose g = -2*i, h = i - 4*i - 5*g. Solve -5*l + 5*c - 16 + 1 = i, -8 = -4*c for l.
-1
Let z(u) = -u + 17. Let j be z(12). Suppose 4*h - 3*a - 73 = -2*a, -j*h + 86 = -3*a. Solve 2*i - h = -5*b, 2*i + 6*b - 3*b = 13 for i.
2
Let m be (-2)/(-14) + (-65)/(-35). Suppose 0 = -4*h - 4, -h + 3 = m*c + 4*h. Solve 3*b - 3*o = -2*b - 10, 0 = -4*b + c*o - 8 for b.
-2
Let j be 6/4*6 - 1. Let a be (-1)/(-3) + (-2)/6. Suppose 4*p + p - 10 = a. Solve -p*g + j = 2*s, -3*g = s - 3*s - 17 for s.
-1
Let q(i) = i**2 - 4*i + 5. Let u be q(3). Solve d + 4*c = 8 + 12, -2*d + u*c - 10 = 0 for d.
0
Suppose 0 - 15 = -5*z. Suppose 0 = c - 5*s - 25, s = -2 - 2. Solve -c*r = 0, -z*m - r - r = 0 for m.
0
Suppose 4 = 4*b, -3*b = -h - 0*b - 16. Let f = h - -19. Suppose u - 4*z + 14 = 0, 2*u - 3*u = 4*z - 18. Solve 2 = 2*w + 3*j, u*w = -f*j + 4*j for w.
-2
Let s = 1 - -4. Suppose -2*p = -5*r + 2*p + 34, p - 29 = -s*r. Suppose -12 = 3*w - r*w. Solve -3*k - 3*v - 27 = -6*k, w*k + 4 = -4*v for k.
4
Suppose 10*b - 9*b - 2 = 0. Solve -5*t - 1 = -3*f, 0*t - 5 = -b*f - t for f.
2
Suppose 4*f = -0*n - 2*n + 4, 0 = -5*n - f + 10. Solve -2*b + 7*m - 15 = n*m, 0 = -3*m + 3 for b.
-5
Suppose -2*c + c + 3 = 0. Let z be 4/(-6) - 194/6. Let x be z/(-15) + 2/(-10). Solve -x*m = -4*b + 8, -8 = -0*b - c*b + 2*m for b.
0
Suppose 3*t + 12 = 4*t. Suppose t = -5*v - 33. Let c be ((-6)/v)/(2/6). Solve -m - 3*w = 3 - 4, 0 = -2*w + c for m.
-2
Let q(b) = 2*b. Let y be q(1). Let f be (-34)/(-4) - 2/4. Suppose d = s + 4, 4*d - 2*s = -0*s + f. Solve -4*i + y = -3*n, i + 3*n + 4 + 3 = d for i.
-1
Let c(k) = -8*k - 6. Let o be c(-3). Solve 3*a - 2*v - 11 - 8 = 0, -a = -3*v - o for a.
3
Suppose -3*r + 7*r - 12 = 0. Suppose b + 4*b = 3*j + 18, -r*b + 14 = -5*j. Solve b*k = 5*m + 16, -3*k - 2*m = m + 24 for k.
-3
Let c(y) = y**2 - 3. Let k be c(-3). Let o = -4 + k. Solve -4*w + o*a + 12 = -0*a, -5*w - 5*a = -45 for w.
5
Let y = 2 - 3. Let b be (y + (-15)/(-9))*-3. Let k be 11/2 - (-1)/b. Solve 5*v - k*q + 10 = 0, -v - v - q - 4 = 0 for v.
-2
Let g = 15 + -12. 