or y.
3
Suppose -4*b = -6*b - 4. Let q be b/4*(-6)/1. Solve 3*x = 9, q*x + 3 = -4*c + c for c.
-4
Let c be -1*(-7 + 0 - -2). Suppose 5*q - 4*v - 60 + c = 0, 2*q = -5*v + 55. Solve 0 = 3*p + q, -9 - 2 = -2*m + p for m.
3
Suppose -6*g + 7 = -5*g - 5*n, -28 = -4*g - 5*n. Solve 6*s + 14 = g*s - 3*b, 0 = -4*s + 3*b + 11 for s.
-1
Suppose 0 = -3*k - 0*d + 4*d + 12, -k = -5*d - 15. Suppose 2*r = -3*b - 36, 0 = -k*r + 4*r. Let t = -7 - b. Solve -5*p + 11 = -u, -4*p + t*u = -14 + 1 for p.
2
Let z be 1 + -4 - -5*2. Suppose -g + 2*d = -26, -z*g = -3*g - 2*d - 86. Solve -4*t + 15 = 3*i, 5*i + 2*t = i + g for i.
5
Let d = 0 - 0. Let j be (-3 - d/2) + 13. Solve -b = 2*b - u - 5, -4*u + j = 3*b for b.
2
Suppose 2*s - 6 = -2*r + r, -3*s + 16 = -2*r. Solve 2*w = 3*h - 5, -19 - 26 = -5*w - s*h for w.
5
Let w(g) = 7*g**2 - 6. Let z be w(-2). Solve -4*h = -2*m + z, 4*m + 0*m + 1 = -h for h.
-5
Let i be 1/(8/6 - 1). Let v be (-36)/(-45) - 2/(-10). Solve -5*r - 2*s + v = 0, 2*r = -r + i*s + 9 for r.
1
Let q = -183 + 183. Solve 0 = -l + 5*l - 4*t - 16, q = -t for l.
4
Let i = -10 + 14. Let q = -38 - -43. Solve 5*z = i*k + 33, 0*z = -q*k + z - 15 for k.
-2
Let r(x) = x**2 - 4*x + 4. Let u be r(4). Suppose u*o = -o - 10. Let h = 1 - o. Solve -3*a = w - 2, 5*w - 22 = -h*a - 0*a for a.
-1
Let b be (10 + 0)/(-2)*-1. Suppose b*d - 5*s - 10 = 0, d - 6 = -0*d - s. Solve 2*u - 6 = 2, d*u = -3*w + 31 for w.
5
Let i(d) = -2*d + 13. Let b be i(5). Suppose -6 - 14 = -5*t. Let f be (t + b)/(1/2). Solve 2*w = 4*o + 12, -f = -w - 0*o + 4*o for w.
-2
Let z be 2*(-3)/(6/(-2)). Suppose z*k = 5*k. Suppose 2*t = -4*v + 80, 0 = -5*v - k*t + 5*t + 115. Solve 0*d + s = -2*d - 9, 0 = -2*d + 5*s + v for d.
-2
Suppose y + y - 6 = 0. Suppose 3*g - 3*q = -6, 4*g - 5*q + 4*q = 1. Let o be (-2 + g)*(-31 - -2). Solve x - 6*x = 2*w - o, -2*x = y*w - 16 for w.
2
Let x = 4 + -1. Suppose 23 = -19*b + 20*b. Solve 4*k + 3 = -x*f - b, -5*k + 2*f = 21 for k.
-5
Let q be (-5)/1*(-12)/30. Solve -3*o = -4*b - 8, -5*o - 5 = q*b + 25 for o.
-4
Suppose t - 13 = -4*t + r, -1 = 3*t - 5*r. Solve -m - t*o + 0*o - 13 = 0, 3*m = -o - 15 for m.
-4
Suppose -2*w + 114 = w. Suppose -5*d = -2*j - 47, -5*j - 89 = -5*d - 9. Let q = w + j. Solve 4*h = 2*h + 2*t + 16, -4*t = -3*h + q for h.
5
Let z = -22 - -22. Solve l - 4*u - 10 = 0, 2*l = -2*u - z*u for l.
2
Let k(h) be the first derivative of h**3/3 + h**2 - 2*h - 2. Let i be k(-2). Let l = 4 - i. Solve l*x + 4*t - 1 = 3*x, -5*t = x + 7 for x.
3
Let w be 1*-1 + (-3)/(-1). Solve 4*h = 3*x - 1, 0*x - w*x + 3*h = 0 for x.
3
Let m = 6 - 3. Suppose 0 = 5*w, 3*w - 4 - 2 = -3*q. Suppose -2*n + 46 = q*n + 5*p, 3*p - 36 = -3*n. Solve 2*s + v - n = -m*v, 0 = -3*s - 3*v + 12 for s.
1
Suppose 0 = 2*c - 2 - 2. Suppose 5*d - 9 = 1. Solve g = 2*v - 8, -c*v = 5*g + d + 14 for v.
2
Let l = 4 + -4. Suppose l = -5*k + k. Suppose -3*t - 3*c = -4*c - 11, 4*c = -8. Solve 0 = t*b - 4*n + 2, -3 = -k*n + 3*n for b.
-2
Let v = -3 - -5. Suppose 0 = -4*k + 23 + 1. Suppose -k*s = -4*s + 5*a + 15, 5*s - a = 30. Solve -s = g + h, v*g = -2*g - 3*h - 18 for g.
-3
Let x be 7/14 - 54/(-4). Solve 4*w = 3*l - x, -2*w - w = 2*l + 19 for l.
-2
Let d be (1 + 9)*12/30. Solve d = o + 2*a - 2, -2*o + 4 = -4*a for o.
4
Suppose -2*m - 5*p = -6*m + 32, -4*p = 3*m + 7. Solve 3*b + 2 = -l + 1, -m*b = 6 for l.
5
Suppose 10*q + 2*q = 48. Solve 5*j = 2*f - 15, -f + 6*f + 12 = -q*j for f.
0
Suppose 2*u = 34 + 6. Solve -r + u = -5*d, 5 = -5*d - 0*r - 2*r for d.
-3
Suppose -77 = -2*w - 69. Suppose 6*d - 60 = 3*d. Solve 4*o - w*a - 15 = -a, -4*a = d for o.
0
Suppose 5*y - 36 = 4*m, 2*m = -8 - 0. Solve -2*j = -z - 14, 4*j + z = -3*z + y for j.
5
Let k(z) = -z**3 + 2*z**2 + z - 1. Let c be k(3). Suppose -37 - 83 = 4*q. Let b be q/(-7) + 2/c. Solve 5*g + a - 10 = 0, -7*g + 2*a + 6 = -b*g for g.
2
Let a = 4 - -1. Suppose -a = k - 21. Suppose -52 + k = -3*r. Solve 5*t + 20 = 4*p, -7*p - 3*t = -2*p + r for p.
0
Let b(p) = 2 + 2 - 5*p - p**2 + 5*p + 7*p. Let u be b(7). Solve -n + 2 = n + 3*j, -3*j - 22 = -u*n for n.
4
Suppose 2*t = t. Suppose -3*g + 5*n + 19 = 0, 0*g + 2*n = 4*g - 16. Let p be g/(((-3)/14)/(-1)). Solve -4*l - w + p = 0, -4*w + 12 = 5*l - t*w for l.
4
Suppose -6 = 5*x - 26. Suppose n = 3*n - x. Solve -4*j - q + 5 = 0, q + 1 = -n*j + 4*q for j.
1
Suppose -3*r = -7 + 7. Solve 5*g = -2*u + 8, r = 3*g - 7*u + 3*u - 10 for g.
2
Suppose c + 8 = 3*c. Let d = c + 1. Solve -d*x + 1 = p - 3, -3*x - 4*p - 1 = 0 for x.
1
Suppose -5*v + 22 = -13. Suppose 2*z + 2*s + 5 = v*s, 2*z - 1 = 3*s. Solve 0*j + 21 = 4*i - z*j, 3*i = -2*j - 13 for i.
-1
Let b(z) = z + 1. Let u be b(3). Let r(i) = -5 - i**3 - 3*i**2 - 3*i - u*i - 3*i**2. Let p be r(-5). Solve 5*y - 2*a - 7 = 0, 7 - 1 = p*y - a for y.
1
Let a(n) = n**2 - 4. Let q be (-6)/(-10)*1*5. Let m be a(q). Suppose m*g - 15 = 2*v + 3*v, 10 = -5*v. Solve 0 = 4*z - 4*s - 12, -s + 4 = 5*z + g for z.
1
Let d(b) = b**2 + 0*b**2 - 5*b - 2*b**2 + 5. Let p be 2/7 - 74/14. Let a be d(p). Solve -4 = 3*t - 5*o, 2*o - a + 11 = 5*t for t.
2
Suppose -n + 43 = c - 5*n, 0 = c + 5*n + 2. Solve -t = a - 3 + 1, -c = -4*a + t for a.
5
Suppose -31 = -4*n + 4*p - p, 2*n - 28 = 4*p. Solve -5*t + 6 = -3*o, n*o - t + 7 = -1 for o.
-2
Suppose -5*b + 19 - 4 = 0. Let n = b + -3. Solve 0 = 5*o - n*x - x + 17, -1 = 3*o + 4*x for o.
-3
Let y be 4 + 0*2/6. Let r = y + 0. Suppose -19 + 7 = -r*f. Solve f*z + 2*z - b = -14, -20 = 5*z + 5*b for z.
-3
Let r = -6 + 8. Let m be ((-6)/3 - -2) + r. Suppose 0 = -p - 0 + 5. Solve 4*k = m*t + t + 14, 8 = -p*t - k for t.
-2
Suppose -3*u + 10 = -20. Solve 0*f - k + u = 3*f, k - 5 = -2*f for f.
5
Suppose 6*q - 6 = 3*q. Suppose 3 = z + 4*l, 6*l = -q*z + 3*l + 6. Let p = 8 - z. Solve -5*k = 5*w + 6 - 1, -p*k - 29 = -3*w for w.
3
Let a = 74 + -72. Solve 6 = -a*n, -b + 2*n + 0 = -3 for b.
-3
Let k be ((-2)/6)/((-1)/9). Solve 19 = k*x + 2*x - 3*m, 4*m = -12 for x.
2
Suppose -5*v + 18 = -2*n + n, -2*v + 4*n = 0. Suppose 0 = r - v*r. Solve r = -k + 5*k, k + 15 = 5*h for h.
3
Let i be (-3)/(-2) - 20/8. Let o(d) = -2*d**3 + d + 1. Let c be o(i). Suppose 5*k - 5*h - 20 = 0, 0 = -c*h + 5 + 5. Solve -u = 1, -5*v - 6*u = -2*u + k for v.
-1
Suppose -4*y + 9 = -3*y - k, 0 = y - 3*k - 17. Let g = 23 + -15. Let j be 1/(-4) - (-18)/g. Solve 2*z - 6 = -m - 3*z, -y*m + 3 = -j*z for m.
1
Suppose 3*j = 4*w + 11, 2*w = 3*w - 3*j - 4. Let h = w + 8. Solve -h*g + 8 = -5*t, g + 24 = -2*t - 3*t for t.
-4
Suppose 4*w - 8 = -0*w, -4*d = -w - 18. Suppose 5*z + a - 4*a - 11 = 0, d = 2*z - a. Solve k + 7 = 2*x - x, z*k - x + 13 = 0 for k.
-2
Suppose -2*f - 52 = -0*f. Suppose 0 = 3*r + 5*l + 2 + 38, -29 = 2*r + l. Let w = r - f. Solve 0 = 3*h - h + 3*g + 12, h + w = -4*g for h.
-3
Suppose 0 = 2*i + f - 5, 4*f - 5 = -5*i + 15. Suppose i*w + 10 = 5*w. Solve -4 = -w*v - 3*n + 2*n, 3*v - 12 = -3*n for v.
0
Let r(n) = -2*n - 2. Let l be r(-4). Suppose -i = 4*i. Let k be i - ((0 - -1) + -1). Solve -5*w - 3*f + k + l = 0, 4*f = 8 for w.
0
Suppose -3*o = -2*l - 25, 2*l + 0*l + 15 = o. Let j(s) = -s. Let y be j(l). Solve -4*v - 2 = a, -y = -3*v + 2*a - 1 for v.
0
Suppose 6 = 2*b - 0. Suppose -5*p - 2*x + 10 = -6*x, -21 = 3*p + b*x. Let c = 9 - p. Solve -i + 3 = 4*j, -c = -j + 2*i + 1 for j.
2
Let h = 52 + -50. Solve -3*s = -n + 5, -4*s + h*n - 6 = -0*n for s.
-2
Let b(z) = -7*z + 1. Let a(p) = -p + 10. Let m be a(9). Let y be b(m). Let d be -1 - y - (0 - -3). Solve 0 = -3*t - 2*t, -5*c - d*t = 25 for c.
-5
Suppose 2*c - c = -4*j + 20, 20 = 5*j. Suppose 7 + 1 = c*o. Solve 6*w - 4*w - p - 7 = 0, -4*p + 2 = o*w for w.
3
Let w(l) = l**3 - 6*l**2 + 4. Let k be w(6). Solve 22 = -g + 5*t, 3*g - 1 + 12 = k*t for g.
3
Suppose h - t = -0*t, 4*h = 2*t + 2. Let c be 4 + (h - (1 + -1)). Let x = c - 5. Solve -5*n - 5 = x, 0 = 5*w - 2*n - n - 13 for w.
2
Suppose -2*y + 13 = -5. Solve -5*q + 2 = -4*r - 10, -3*r - y = q for q.
0
Let a(d) = -1 + 2 - 2 + d. Suppose -7*l - 18 = -10*l. Let n be a(l). Solve -5*f - 35 = n*s, 4*f + 15 = -3*s - 10 for f.
-4
Let n(f) = f**2 + 13*f + 3. Let v be n(-13). Suppose 6 = -v*w, 0*u + 3*w = u - 11. Solve -5*p = -15, -2 - 21 = -2*h - u*p for h.
4
Suppose -6 = 13*v - 12*v. Let c be (-48)/(-26) - v/39. Let f(o) = 2*o**2 + 2*o - 2. Let g be f(-2). Solve -4*w = g - 14, 2*r - c*w = -6 for r.
0
Let y(a) = -4*a.