 14 for x.
-4
Let w(f) be the second derivative of f**3/2 - 11*f**2/2 + 10*f. Let i be w(5). Solve c + 8 = 4*c - d, i*c - 3*d = 9 for c.
3
Let z = -123 + 134. Solve 3*c = -a - z, 5*c + 24 = 2*a + 2*a for c.
-4
Let x be ((-6)/(-8) + 12/48)*3. Solve -5*d + u + 1 + 19 = 0, x*d + 4*u - 12 = 0 for d.
4
Let n be (-9 - -7) + (0 - 1 - -5). Suppose 4*k = -3*p + 3, -4*p - k = -3*p - n. Solve m + 19 = p*i, -2*i + 8 = 5*m - 5 for i.
4
Let a = 3 - -1. Let n(z) = z**2 - 23*z - 28. Let g be n(23). Let q be 30/7 - (-8)/g. Solve -q*y + r + r + 16 = 0, -a*y - 5*r + 2 = 0 for y.
3
Let g(s) = 3*s + 26. Suppose -h = -4*u - 28, 5*u + 60 = -7*h + 2*h. Let x be g(u). Solve 3*b - 2 = -k, 0*k + 2*k - 4 = x*b for k.
2
Let h = -33 - -47. Let n be ((-6)/7)/(2/h). Let l be (n/8)/(2/(-8)). Solve -3*f - o = 10, 27 = -l*f - 4*o + 5 for f.
-2
Let p be ((-88)/(-132))/(6/45). Solve -2*h = -4*h - p*b - 18, -2*b - 13 = -5*h for h.
1
Let l(m) = m**3 + 9*m**2 - 8*m + 23. Let c be l(-10). Suppose 21*h - 56 = 19*h. Solve -3*u = -0*f + 4*f - h, -c*f + 2*u = -4 for f.
4
Let l = -30 + 28. Let d be (l - 2)/(-1)*(-24)/(-16). Solve -3*q + 6 = 3*t, -3*t + t + d = 4*q for q.
1
Let y = 548 + -543. Let h(d) = -d**3 - 2*d**2 + d. Let k be h(1). Let n be (k + 0)*10/(-4). Solve -2*t - 2*f = f - 7, y*f = -n*t + 5 for t.
-4
Let w be -48*5/(-10)*1. Suppose 0*y + w = 2*y. Suppose 0 = 7*x - x - y. Solve 3*f = 4*v + 2 - 29, f + x = -v for f.
-5
Let a(d) = -d**2 - 13*d + 5. Let u be a(-12). Solve -3*q + 5*v + 19 = 0, 5*q + 0 = v + u for q.
3
Let w be 16 + 0 + -3 + 2. Suppose 0 = -2*m - 6*m + 4*m. Solve w = 3*g + 3*z, 3*g + 2*z - 16 + 3 = m for g.
3
Let w = 1799 + -1796. Solve 0*j - 5*p = -w*j - 18, 4*j = -3*p + 5 for j.
-1
Suppose -14*n = -10*n - 96. Suppose -4*j = -4*m - n, -2*j + 5*j - 10 = -5*m. Solve 0 = -3*p - 2*p + j*x, -x = -3*p for p.
0
Let m = -70 - -38. Let t be (-26)/(-8) - 24/m. Suppose -t*k + 8 - 4 = 0. Solve 0*u - 5*u - 14 = 2*d, -4*u - 5*d = k for u.
-4
Let f = -294 + 297. Solve 0 = y - 3*s - 5 - 2, -f*y - s = -1 for y.
1
Let k = 22814 + -22806. Suppose -3*o = -2*h - 6, 15 = 2*o - 7*o - 5*h. Solve o = -4*t - 3*d, 3*t - 13 - k = 3*d for t.
3
Let c(t) = -2*t**3 + 18*t**2 + 12. Let i be c(9). Solve 3*a = -3*j + i, 5 = 2*j + 4*a - 7 for j.
2
Suppose -i + f + 4 = i, 2*i = -5*f + 28. Let d be 4/(-12) - ((-48)/(-18) - 5). Suppose -d*q + i = -6. Solve 0 = 3*t - q*x - 23, t - 4 = 3*x + 9 for t.
1
Let r = 12 - 9. Suppose -19 = -r*v + 4*v. Let a = 21 + v. Solve -3*h = h - a*p + 26, 5*h + 4*p = -13 for h.
-5
Suppose -3*w = -c + 5 - 21, 2*c + 26 = 5*w. Suppose 0*p + w = 4*j + 2*p, 3*p + 1 = 4*j. Solve j + 1 = 2*l - 4*i, -3*l - 4*i = 27 for l.
-5
Let i(c) = -c + 8. Let v be i(0). Suppose -12*y = -14*y + v. Solve 4*t - 8 = 2*m, -m - 3*t = -y*m for m.
4
Let w be -34*(2/(-4) + 1). Let n = 19 + w. Solve -5*r + r = 3*i - 28, -2*r = -n*i for r.
4
Let b be -3 - ((0 - -3) + -29). Let h = 29 - b. Solve -5*o - h = -v, -5*v = 4*o - 0*v + 28 for o.
-2
Suppose -3*s + 2 + 7 = 0. Suppose -4*a = b + s, -1 = -3*a + 3*b + 8. Suppose 2*x = 10, a = 5*u + 4*x - 10 - 25. Solve -u*c + 16 = 2*o + 2*c, 2*c = o + 10 for o.
-2
Let a(z) = -37*z + 9. Let s be a(0). Solve s = -2*v - 0*v + b, v = b - 6 for v.
-3
Suppose -5*n + 13 = -0*p + 2*p, -2*n - 29 = -p. Suppose -2*l = p - 23. Solve l = -x - 5*q - 5, 3*q - 3 = 3*x for x.
-2
Let f be (-10 - -8)*(-6)/4. Solve 4*r - f*k = 8, -2*r = -0*r - k - 4 for r.
2
Let r(b) = -b**2 - 11*b + 247. Let y be r(-22). Solve -5*x - 41 = -4*a, -4*a + 9*a = -3*x + y for a.
4
Let k = -430 - -438. Solve -4*d + 2*d = -k, 4*r - 2*d = -12 for r.
-1
Suppose -31 = -5*z - 26. Let j be ((-4)/6)/(((-2)/6)/z). Solve 4*p + j*y + 3*y - 7 = 0, -p + 3*y - 11 = 0 for p.
-2
Suppose 0 = -5*g + 74*y - 79*y + 115, -5*g + 4*y + 133 = 0. Solve -2*n - 5 = 4*b + g, 3*b = -2*n - 25 for b.
-5
Let w(l) = -18*l - 954. Let c be w(-53). Let k be (-5)/2 - (-2)/4. Let v be k/(-6) + 14/3. Solve b + 3*f - v = 0, 5*f - f = c for b.
5
Suppose -21*x - 41 + 83 = 0. Solve x*d + c = 8, -3*d - 3*c + 6*c + 12 = 0 for d.
4
Suppose -5*t - 2 = 3*s - 1, 2*s + 2*t - 2 = 0. Solve 2*u + 2 = -2*x + s*u, 9 = 5*x + u for x.
1
Let z = -255 - -257. Solve z*b - k - 7 = 0, 0 = -4*b + 4*k + k + 5 for b.
5
Suppose -269*y + 262*y + 35 = 0. Solve -2*h - 5*k + k + 18 = 0, y*h - k = -10 for h.
-1
Let d(s) = 3*s**2 - 4*s - 51. Let u be d(5). Let w(p) = p**2 + 8*p + 9. Let r be w(-8). Solve u*v - 1 = 4*z - r, 8 = -4*v - 3*z for v.
-2
Let v(w) = 2*w - 49 + 8*w - w + 3*w. Let f be v(6). Solve -7 = -2*l + 4*z - f, 2*l - 8 = -4*z for l.
-2
Let r(y) = -22*y + 47. Let v be r(2). Solve 4 + 0 = -v*c + p, 3*p + 16 = -5*c for c.
-2
Suppose 4*g - 4*v - 4 = 0, 0 = 9*g - 4*g - 2*v - 14. Solve -4*q - g*w - 11 = 1, 5*q - 4*w + 33 = 0 for q.
-5
Let l be (-84)/(-22) + (-1)/(-22)*4. Let b be (-425)/(-34) - (-6)/l. Solve -x - j = 5, 2*x + 5*j + b = j for x.
-3
Let x = -256 - -260. Solve -4*b - 3*m = -2*b + 17, 20 = -x*m for b.
-1
Let g = 17 - -8. Let t be (1 - 10)*(0 - 1). Solve 2*n - g = 4*p - t*p, 4*n - 2*p - 14 = 0 for n.
5
Let b = -101 - -48. Let t = b - -58. Solve -t*s + 6*x + 10 = x, -3*s = 3*x - 24 for s.
5
Let v be 7/(-49) + (-30)/(-14). Solve -5*l = -5*c + 15, -5*l + 9 = v*c + 24 for l.
-3
Let c = 35 - 15. Let u = c - 14. Let s(j) = j**2 - 4*j - 2. Let a be s(u). Solve -5*y + 9 = -1, 4*y = -r + a for r.
2
Let s(v) = -v. Let c be s(-2). Let x(r) = r**3 - r + 5. Let l be 1/2*-2 - -1. Let k be x(l). Solve -y + i = 0, c*i = -y + k*i + 8 for y.
-4
Let c(y) = y**2 - 9*y - 5. Let s be c(10). Suppose -s*m + 5 = 0, l = -2*m + 6 - 1. Solve 13 = l*j + 2*v, 4*v + v = 5*j - 5 for j.
3
Let t(v) = 2*v + 23. Suppose 3*y = -18 - 9. Let f be t(y). Solve 0 = -p - i - 3, -f*i - 19 = 5*p - 2*p for p.
2
Let d = 9 - 4. Suppose 70 = 17*g - 22*g. Let m be 8/14 - 328/g. Solve 0 = 5*p + 3*a - 32, p = -0*a - d*a + m for p.
4
Suppose -5*j = -19*j. Suppose j = -16*k + 22*k - 12. Solve 4*l = -k*f + 6*f + 24, 0 = -3*f - 5*l + 14 for f.
-2
Suppose -r - 20 = -21. Let i be ((-5 + 8)/3)/r. Solve 4*l + 3 = -g, -l - 8 - i = 3*g for g.
-3
Suppose -3*t - 20 = -k, -4*t = k - 12 + 20. Solve 0 = -3*z - 4*j - 5, -4*j - k = -3*z - 21 for z.
-3
Suppose -3*k + 8 + 1 = 0. Solve -2*c + 12 = -k*m, -2*m + 5*m + 18 = 4*c for m.
-2
Let m = -1492 + 1496. Solve l + 4*j = -24, -l + m*j + 8 = 2*l for l.
-4
Suppose -5*j + j + 32 = 0. Suppose -3*s = o - 15, o - 5*s - 10 + 3 = 0. Solve -2*v = -2*z + 8, z + o = 5*v - j*v for z.
0
Let n = -254 + 274. Solve 0 = -5*k + 3*u - n, 2*u = -u + 15 for k.
-1
Suppose 3*d = -2*c - 9, -4*c + 2*d - 42 = -0*d. Let u = c - -3. Let i(t) = t**2 + 5*t - 3. Let b be i(u). Solve 8*p - 4*p = 5*y - 16, -3*y = -b*p - 9 for y.
4
Let w(b) = 2*b**2 - 20*b - 19. Let z be w(-1). Solve 5*f + 1 - 6 = z*x, 2*f = -3*x + 23 for x.
5
Let o = -307 + 310. Solve m = -w + o, -4*m - 3*w = -9*m - 9 for m.
0
Suppose -7*c + 2*c + 65 = 0. Suppose 0 = -2*v - 3*t + c, -5*t = 2*v - t - 14. Solve v*l + 11 = 3*g, 2*g = 3*l + 2*l + 9 for l.
-1
Let j = 98 - 63. Suppose 5*p + j = 12*p. Solve 2*m + 3*m = -w - p, 0 = -5*m + 3*w + 15 for m.
0
Suppose -3*c + 0*b = 2*b, 0 = 4*b + 12. Suppose 3*i + 5*n = -10, n + c*n = 2*i - 6. Solve 5*r - 2*q - 7 = i, -3 = r + 2*q - 2 for r.
1
Suppose 2*p + 12*f - 20 = 7*f, -4*f = -4*p + 12. Solve -5*o = p*d + 30, -5*d = -2*o - 2*o + 3 for d.
-3
Suppose -s + 2 = 3*y, 3*y - 159*s + 158*s + 2 = 0. Solve y = -4*a - 8, -2*u + 4*a + 28 = 2*u for u.
5
Let o(r) = -9*r + 68. Let u be o(8). Let c be (1 - 1)*((-9)/(-2) + u). Solve -5*v + 4*s + 28 = c, -3*s = 2*v - 3*v + 10 for v.
4
Suppose 0 = 5*q + 5*g - 50, -49*q + 54*q - 4*g = 5. Solve -4*i + q*r + 47 = 19, -4*i - 3*r = 4 for i.
2
Let z(x) = x**3 - 4*x + 1. Let a be z(-2). Let s(q) = 3*q**2 + 1. Let n be s(a). Solve 0 = m + m - 2, m + n = -i for i.
-5
Let m be ((-120)/(-90))/(8/66). Suppose 3*c = 0, 0 = 3*w - 4*c + 2*c. Suppose w = 3*z + 2*z. Solve -2*v - i - m = z, 3*v + 5*i = -16 - 18 for v.
-3
Let w be (-1 + 6 - 4)*-2. Let l = 2 - w. Solve 2*m - 3*m - 8 = d, -d = l*m + 20 for m.
-4
Suppose 0 = -4*z - 9 + 13. Suppose -3*r + z = -8. Solve q - 5*f - 1 = -2*q, 0 = 3*q - r*f + 3 for q.
-3
Let n be (4 + -5 + 0)*-5 - 5. Solve -2*v + 3*w = -0*v + 12, n = -3*v - 2*w + 8 for v.
0
Let b(p) = p**3 + 5*p**2 + 4*p + 2. Let w be b(-4). Suppose -5*y + y + 20 = 0. Solve y*