 for x.
-3
Let i = 10 + -11. Let z(n) = 3*n**2 - n - 1. Let f be z(i). Solve 0 = 2*h - h - f*y + 10, -2*y = 2*h - 4 for h.
-1
Suppose 3 = 5*d - 4*d. Suppose -4*f + 2*h - d*h = -19, 1 = -h. Solve 0 = -3*u - 5*z + 24, -u - 27 = -f*u - 5*z for u.
3
Let v = 19 + -15. Solve 4*k + v*o + 8 = 0, -k + 0*o + o = -2 for k.
0
Suppose -r - 4*r + 33 = 4*b, b = 3*r - 13. Solve b*c - 4*s = -18, 3*c - 3*s + 3 = -12 for c.
-1
Let r be 2*(0/2 + 2). Let v = r + 19. Let w = -6 + v. Solve 24 = 3*t + 5*b, -t + w = 3*b + 5 for t.
3
Suppose -4*w - 1 = 7. Let y be 39/(-12) - w/8. Let n be (y + 4)/((-1)/(-5)). Solve -n*h + 3*j = -13, 0 = -0*j + 3*j - 12 for h.
5
Let x = -11 + 15. Solve -6*t - 12 = 4*c - x*t, 0 = -4*t - 8 for c.
-2
Suppose -13 - 4 = -d. Let w(y) = -2*y**3 - y**2 + y + 1. Let q be w(-2). Let f = 11 + q. Solve -3*v + 3*o = -v + f, -d = v - 3*o for v.
-5
Suppose 0 = 4*s - 14 - 6. Suppose -13 = s*c - 93. Let k = 32 - c. Solve -2*n = 5*y, 5*y - 2*n = 2*y - k for y.
-2
Suppose -5*m = -5*n - 0*n + 20, -n = -4. Solve -f + 6 = -m*f + 5*a, 12 = -2*f + 2*a for f.
-4
Suppose 4 = 4*h + 2*k, 0 = -5*h - k - 0*k + 8. Suppose -4*o + h*o + 7 = -3*w, -2*w - 12 = -5*o. Solve 2*j - 3*a = 4, -o*j + a - 3*a = 16 for j.
-4
Let g = -18 + 22. Suppose 5*a - 9 = 11. Suppose 2*t = g*t - a. Solve 10 = b + 3*m, -3*b = -0*m - t*m + 3 for b.
1
Suppose -k - k = -24. Suppose -k = -2*h - 2*h. Solve -2*d = -h*j, 2*j = 7*d - 2*d + 11 for j.
-2
Let k(v) = -2*v**2 - 5*v. Let t be k(-4). Let x be 2/t + 114/36. Solve x*d + d - 8 = -5*a, 4*a - 1 = -5*d for d.
-3
Let m(j) = j**3 + 10*j**2 + 9*j + 6. Let n be m(-9). Let g be 6/(-9)*n/(-4). Solve 5*v = -20, 0 = 5*h - v - g - 3 for h.
0
Let i(r) = r**3 + 14*r**2 + 14*r + 16. Suppose s + 17 - 4 = 0. Let j be i(s). Suppose -3*a + 9 = -24. Solve 5*k + a = 3*y, 4*k + 0*y = -j*y + 2 for k.
-1
Let r(t) = -12*t. Let s(h) = -3*h. Let l(o) = -5*r(o) + 21*s(o). Let q be l(-1). Solve -3*z - q*c + 12 = -5*z, -4*z + c = 4 for z.
0
Suppose 5*y = -4*t - 21, -3*y - 11 = -0*t + 4*t. Let c(i) = 6*i + 5*i - 5*i + 0 + 6 + i**2. Let d be c(y). Solve 9 = 5*u - d, 0 = -5*b - 5*u + 25 for b.
3
Let i be 3/(-18)*-4*-3. Let z = i - -7. Solve 5*r - 5*d = 10, z = 5*r + 3*d - 5 for r.
2
Let k = -23 - -26. Solve -3*t = c - 16, -c = 2*t - k - 8 for c.
1
Let x = 8 - 6. Let w be -2*(-1 - -4 - 10). Suppose w = s - 4*l - 2, 5*l = 4*s - 31. Solve -5*u + s*d = -2*u + 3, -2*u = -x*d for u.
3
Let j = -54 - -54. Solve -2*c - 5*m + 17 = j, -c - 3*m = 2*c - 3 for c.
-4
Suppose -i + 0 = 2*y - 35, 3*i = -4*y + 67. Solve -3*r = -j + y, 0*j + 7 = -2*j - 3*r for j.
4
Let d = -12 - -15. Suppose z = 4*c - 7, -3*z = d*c - 6 - 3. Solve 3*r + i + 1 = 4*r, c*i = 3*r + 2 for r.
-4
Let a be (-40)/12 + 4/(-6). Let t be (-10)/a + 4/(-8). Suppose i = t*i - 2. Solve 2*p = -2*l - 14, -3*l = i*p - 3*p + 13 for p.
-2
Suppose -3*r - 13 = -5*j, -2*j = -4*j - 4*r. Let o = j + 1. Solve -2*g + o*s = 2*g, 5*g = 3*s for g.
0
Let n = 128 - 123. Suppose -6 = 2*z + 4*t, -18 = -5*z + 2*z + 3*t. Solve -z*k + 25 = 2*k, -4*k = -3*f - n for f.
5
Suppose a - 3*t - 31 = -3*a, -37 = -3*a + 5*t. Solve 2*f - 9 + 0 = z, -3*z + a*f - 17 = 0 for z.
1
Suppose 5*b - 27 = 6*k - 2*k, 0 = -2*b - 3*k - 3. Suppose 25 = 3*w - 2*s, -s - 29 = -b*w - 3*s. Solve 8 = -5*n + 3*x, -19 - w = 3*n + 4*x for n.
-4
Let q = 2 - -4. Let a = q + -3. Solve -5*n = -a*i - 2*n + 12, -5*i = 3*n - 12 for i.
3
Let u be 6*(-2 - (-10)/4). Suppose 0 = 4*a - h - 1, 3*a + 0*a = u*h + 3. Solve 2*n + n + 11 = 5*c, a = -4*c + 4 for n.
-2
Let m = 18 + -26. Let n(j) = j - 1. Let r(b) = 5. Let d(h) = -n(h) - r(h). Let x be d(m). Solve -4*a - 1 = l, 2*a + x = a - 4*l for a.
0
Suppose 1 + 1 = y, -4*f - 4*y + 16 = 0. Let d be (11 - 13) + f*1. Solve -17 = -z + 5*a, -5*z + 4*a + d*a + 22 = 0 for z.
2
Suppose -d = d - 8. Suppose -d*n = -n. Suppose n = t - 0*t. Solve -2*b = -3*s - t*s + 15, 5 = 2*b + s for b.
0
Let n(s) = s**3 - 6*s**2 - 7*s + 2. Let l be n(7). Solve -1 = -l*t - 5*y - 0, 9 = -4*t + y for t.
-2
Let o(h) = h**3 - 8*h**2 + h + 4. Let x be o(8). Solve 3*r - 10 = -2*g + x, 0 = -g - 4*r + 21 for g.
5
Let c = -65 + 72. Solve m = -4*v + 6, -3*m + 6*m + v - c = 0 for m.
2
Suppose -2 + 17 = 3*b. Solve 0 = -b*z - r - 3*r - 45, -5*r = -2*z + 15 for z.
-5
Suppose -3*j = -l - 8, l + 2*j - 6 - 6 = 0. Solve -l*v + 5*z = -37, -v - z + 1 = 3 for v.
3
Let d(q) = -5*q - 5. Let n(c) = c + 1. Let w(z) = 2*d(z) + 9*n(z). Let l be w(-4). Solve 4*i + 12 = -5*y + 3*i, -12 = y - l*i for y.
-3
Suppose -12 = -5*h + h. Solve 20 = -4*b + h*v + v, -2*v + 3 = 5*b for b.
-1
Let p be 51/12 + 3/(-12). Solve 7*b = 2*b - n - 6, p*b = 5*n - 28 for b.
-2
Suppose q = -o - q + 7, -5*q + 25 = 4*o. Solve 0 = -5*v + s + s + 9, -o*v = -3*s - 6 for v.
3
Suppose -w + 14 = -3*s, 3*s - 6*s + 16 = 5*w. Suppose -w*c + 7 = -3*a, 0 = 5*a - 2*c + c + 19. Let h = 4 + a. Solve h = -0*k - k + p - 3, -4*k - 3 = 5*p for k.
-2
Let k be (-160)/(-28) + 4/14. Suppose q - k = -0*q. Solve 2*v = -m - 12, 3*m + 3*v = -18 - q for m.
-4
Suppose -2*n + 5*w = -34, -3*w + 25 = 4*n + 9. Suppose -n = -3*g + 2. Solve -32 = -r - g*r + 4*f, -2*f - 4 = 2*r for r.
3
Suppose -y = 5*u - 0 - 12, -2*u - 2*y = -8. Solve -u*z = s + 15, -5*s - z - 15 = -3*z for s.
-5
Let b = -5 + 8. Suppose 15 = -0*m + b*m. Suppose 4*f = 5*a + m, 4*f = -4*a - 5 + 37. Solve -4*c = -3*l + l + 26, f*l - 25 = 0 for c.
-4
Suppose -2*t = 5*u - 13, 4*u - 2*u = 2. Let k(p) = -p**3 + 3*p**2 + 4*p + 2. Let j be k(t). Solve -3*m + 8*f = 4*f + 15, j = 4*m + 2*f for m.
-1
Suppose -2*v - 3*v + 20 = 0, 4*z - 4 = v. Solve z*r - 4*d - 2 = 0, 4*d + 1 = -r - 10 for r.
-3
Let v = 1 - -1. Let g be 1/(v*(-1)/(-8)). Suppose -g*n + 20 = -0*n. Solve -3*a + 6*b + 15 = 3*b, 0 = -a + n*b + 13 for a.
3
Let a(r) = 2*r**2 + 56*r + 16. Let n be a(-28). Solve 0 = 5*w + 4*v + 19, -v - 2 = -5*w - n for w.
-3
Suppose -2*g - 45 = -5*g - 5*b, -4*g = -3*b - 31. Let y = -8 + g. Solve -5*l + 9 = -h, y*h + 7 = -l - 0 for h.
-4
Let g(m) = -3*m - 6 + 4*m + 4 - 2*m. Let i be g(-3). Solve -x + 2*h + 7 = 4*x, x + 2*h = -i for x.
1
Let l be (-1 + 2)*(-70)/(-5). Suppose -3*d - 37 = -4*k + l, -2*k + 4*d = -28. Let j = -4 + k. Solve -5*p = -5*b + j - 33, -2*p - 5*b - 11 = 0 for p.
2
Suppose -4*g - g + 100 = 0. Let q be ((-2)/7)/(7/(-49)). Suppose -5*w + 15 = -q*w. Solve w*d - s = -30, 5*d + 3*s - 2*s = -g for d.
-5
Let n(f) = -4*f**2 + 2*f - 1. Let h be n(1). Let i be (3/h)/(1/9). Let p be (-2)/i + (-68)/(-18). Solve 5 = 4*y + 5*x + 10, 2*x + p = -2*y for y.
-5
Let u = -4 - -1. Let j(p) = -p**3 - 3*p**2 - p + 2. Let m be j(u). Solve -m*z + 3*g = 0, -4*g + 3*g = 2*z for z.
0
Let c = 11 - 6. Let u(k) = -c*k - 3 - 4*k**2 + k**3 - 5*k**2 + 1 + 4*k**2. Let a be u(6). Solve -2*q = -0*q - 8, 0 = 2*l + q - a for l.
0
Suppose 0 = d + d - 3*y - 34, -y - 58 = -3*d. Solve n + 10 = -2*r - 0, 4*r = -3*n - d for r.
-5
Let p be (-6)/(-9) - 4/(-3). Suppose -3*l = 4*n - 29, p*l - 4*n + 14 = -0*l. Solve -1 = 5*o + 4, l*m = -3*o - 3 for m.
0
Suppose -7 = 5*v + 3. Let z be v/(-7) + (-72)/(-42). Suppose -2 = 3*a - 8. Solve -a*c + z*s = s - 7, 5*s - 30 = -3*c for c.
5
Suppose 2*s - 12 = 4*c, 2*s + 7*c - 2*c = 39. Suppose 3*h = -3*f + s, h = 3*f - 8 - 4. Solve 0 = 4*j + t - 23, -f*t - 6 = 4*j - 38 for j.
5
Let n(i) = -i + 4. Let u be n(4). Suppose u*g + 5*g = 5*a + 70, -30 = -3*g - 3*a. Let m be (32/g)/(2/3). Solve m*j = 5*r + 9, 3*j + 4*r + 2 = -30 for j.
-4
Let w(j) be the first derivative of -j**3/3 - j**2/2 + 2*j - 4. Let h be w(0). Solve -3*v = 4*u - 0*v - 4, 0 = 2*u + 4*v - h for u.
1
Suppose -r + 0*r = 0. Let f = -7 + 7. Suppose -5*g = -f*g - 110. Solve -4*d - 17 = d + 4*v, r = 4*d - v + g for d.
-5
Let q = 10 - 3. Let z = -6 + q. Solve -m = -3*m + h - 5, 5*m + 2*h - z = 0 for m.
-1
Suppose -4 = -d - 0. Suppose -4*r - 4 = 0, 0*p - p - 5*r = 4. Solve -p = 3*v - d, -3*h = -4*v + 7 for h.
-1
Let l = 22 - 15. Suppose 0 = 2*q - l - 17. Solve i - 5*m - 5 = q, -5*i + 13 = -m for i.
2
Suppose h + 4*y + 32 = 0, -3*h - 42 = -3*y + 9. Let z be 9*(h/(-6))/5. Let u = z - 6. Solve 0*r + 2*r + 11 = 5*t, u = -5*r - 3*t + 19 for r.
2
Suppose 3*p = 8 + 1. Let s be 2/(-8) + (-52)/(-16). Solve -s*a + 13 - 1 = -p*b, 2*a = 3*b + 12 for b.
-4
Let i = 1 + -5. Let x(y) be the third derivative of -y**4/24 - y**3/3 - 11*y**2. Let z be x(i). Solve -2*b - z