- 4*x. Let b = -29 + m. Let f = b + -17. Solve 0 = w + 3*v - 14, 3*v + 0*v = -f*w + 16 for w.
2
Let q(i) = -3*i + 73. Let y be q(17). Solve -5*l = 3*s - 2 + y, -3*s + 20 = -5*l for l.
-4
Let h(g) = -g**3 + 8*g**2 + 9*g + 2. Let m be h(9). Suppose -4*k = -2*k - m. Suppose 2*w + 0*w - 18 = 0. Solve 0*d + w = 3*d + 3*v, 0 = -d + 3*v - k for d.
2
Suppose -3*a = -6*a + 18. Let f be (2/a)/((-4)/(-48)). Suppose -4*s = 12, -r + 1 + 25 = -4*s. Solve -3*j - f*m + 17 = 0, -4*j + 0*m - m = -r for j.
3
Let f be (-15 - 11)*(-3)/(0 + 6). Solve 0 = -5*y - 3*d - 2*d - 5, y + f = 5*d for y.
-3
Let f be 2*(2 - (-78)/4). Suppose -b = 4*r - 1 - 2, b = 4*r + f. Solve -o - 2*o = j - 13, 3*j - b = -5*o for o.
4
Suppose 1 = 2*j - 15. Let b(h) = -h**3 + 10*h**2 + 28*h - 48. Let y be b(12). Solve -2*d = -2*m - j, y*m = d + 2*m - 1 for d.
3
Let g = 74 - 80. Let o be 2/10 - g*(-3)/(-10). Solve 5*x + 9 = -o*h, -5*x + 4*h = 33 - 6 for x.
-3
Let q = -26 + 54. Suppose -3*x = -q - 92. Solve -3*m - 19 = -r, -3*m + 2*r = -17 + x for m.
-5
Suppose -2*h - 7*h = -90. Let i = 15 - 16. Let b be i/(10/6 + -2). Solve 2*n - b*p - 13 = 0, -1 = -3*n - 4*p + h for n.
5
Suppose -2*p + 37 = 3*m, -2*p + 14 = -3*m - 17. Solve a + 2*a - 5*i = -p, -3*a - 1 = -i for a.
1
Suppose -3*t - 2*l + 18 = 0, -l - 9 = -4*l. Suppose t = 4*w, -6*h = -2*h - 3*w - 13. Solve 10*u - 2*n - 11 = 5*u, 2*n + h = -2*u for u.
1
Let w = -896 + 901. Solve 4*x = f - 17, 0*x - 4*f + 35 = -w*x for x.
-3
Let x = -25 + 33. Let t be 140/x - 3/(-6). Solve s - t = -4*m, -6 = -4*m + 14 for s.
-2
Let b = 4 - 1. Let p(u) = 6*u + 15. Let t be (12/(-8))/((-3)/(-4)). Let i be p(t). Solve 0 = 3*y + b*l - 0*l, -1 = -i*y - 4*l for y.
-1
Let r(j) = -6*j**3 + j. Let u be r(-1). Suppose f + 5*c = 0, 0*f + 10 = 3*f + 5*c. Solve -f = -2*h + 7*h - u*w, -4*w - 4 = 0 for h.
-2
Suppose 4*w + 32 = 4*z, w = 2*z + 11 - 29. Let j = -5 + 11. Let l = -3 + j. Solve -p = -5*x - 8, -2*x = 3*p - l*x - z for p.
3
Let n(b) = b**3 + 29*b**2 + 53*b - 25. Let v be n(-27). Solve 3*q + 3*s = 0, v*q - 2*s = s - 15 for q.
-3
Suppose 0 = 33*p - 49 - 17. Solve z = -p*c + 9, -2*z + 0*c + 6 = -2*c for z.
5
Suppose 21*l = 403 + 80. Solve b - 2*b + 4*m + 17 = 0, -5*m - l = -3*b for b.
1
Let z(p) = -2*p**3 + 9*p**2 + 20*p - 9. Let h be z(6). Suppose -3*b + 17 = -2*f + 5, 9 = -h*f. Solve -b*t + t - 13 = -3*a, 17 = -t + 4*a for t.
-1
Let h be (-69)/(-9) - (-1)/3. Suppose m + 3*m - h = 0. Let r = m - 0. Solve -k - 1 + 10 = -r*n, 4*n = k - 17 for k.
1
Suppose -4*c + 87 = -3*a, -2*a + 129 = 5*c + a. Let q be 126/c*(-2)/(-2)*4. Solve -p = -4*u, -5*u + 0 = 4*p + q for u.
-1
Let x(a) be the third derivative of -a**5/60 - 11*a**4/24 + 2*a**3/3 - 5*a**2. Let z be x(-12). Let k = -5 - z. Solve k = -u, 5*u = c + 3*c - 19 for c.
1
Suppose 4 = 3*a - 5*x, -5*x - 6 = 4. Let j be (-28)/((-3)/a - 2). Suppose 0*y + 22 = y - r, 0 = -3*y - 2*r + j. Solve 4*k + 5 = -d, -4*d + 4*k - y = -k for d.
-5
Let c(b) = 4*b - 6. Let g be c(3). Suppose 0 = 3*y - 4*i + g*i - 8, 2*i - 12 = -5*y. Let w = 2 - y. Solve w = -4*v + 5*z - 28, -2*v = -0*z - 4*z + 20 for v.
-2
Suppose 0*f + 189 = 7*f. Let p = f - 23. Suppose -5*b + 4*r + r + 10 = 0, -3*b - r = -6. Solve -4*i = -4*a + 2*a + 22, -p*i - 18 = b*a for a.
1
Suppose 2*h = -0 + 6. Let b(g) = -g**2 + 18*g - 43. Let z be b(15). Solve v - 17 = -a - h*a, 4*a - 2 = z*v for a.
3
Let n be (18/4)/(3/18). Let i = -23 + n. Suppose 0 = 5*u - i*u. Solve u = -0*w - 5*w - l - 18, -3*w = 3*l + 18 for w.
-3
Let w(c) = 2*c**2 + 16*c + 3. Suppose -5 = 2*b - n + 16, -4*n = -3*b - 39. Let g be w(b). Solve -4*r - 2*o = 3*o - 15, g = 5*r + 4*o for r.
5
Let u(f) = -17*f - 301. Let q be u(-18). Solve 40 = q*o - 0*h - 5*h, -h + 4 = 2*o for o.
4
Let t be 4 + (3 - (-8 + 5)). Solve -5*o - t = y, -y = -o - 0*o - 2 for y.
0
Let k(l) = l**2 - 27*l + 31. Let c be k(26). Solve -2*s + c*a - 5 = 0, 4*s = 2*a + 2 - 4 for s.
0
Let h(i) be the second derivative of i**5/20 + i**4/4 - 2*i**3/3 + i**2 - 4*i. Let w be h(-4). Solve -s + 8 = -4*p + p, -4 = w*p for s.
2
Suppose 0 = v + 17*v. Solve 5*p + 5*f = -20, v = 3*p - 2*p - f for p.
-2
Let b = -185 - -188. Solve -2*c + 10 = n - 0*n, b*c - 17 = -2*n for c.
3
Suppose -5*d + 25 - 255 = 0. Let c = d + 49. Solve -7 = -c*r - 2*r + 4*v, r - 4*v = -5 for r.
3
Let h be 242/12 + 4/48*-2. Let l = -6 + 10. Solve -2*z - 8 = s, 0*z - 5*z = -l*s + h for s.
0
Suppose 0 = 5*k + 14 - 4. Let g(b) = 5*b**2 + 2*b - 2. Let s be g(k). Suppose 2 = -4*f + s. Solve -37 = 5*m + f*l, -3*l = -4*m + 2*l for m.
-5
Let h(a) = -3*a**2 - 36*a - 24. Let t be h(-16). Let p be (t/(-16))/3 + 2/(-4). Solve -2*n - n - 5*y + 6 = 0, p*y = 0 for n.
2
Let c(x) = -x**3 - 13*x**2 - 13*x - 7. Let j be c(-12). Let w(h) = -2*h**2 - 4. Let f be w(-4). Let g = f - -53. Solve j*l + 5*y + 35 = -0*l, l - g = 5*y for l.
-3
Let s = 40 - -1. Let x = s - 33. Solve -5*f - 3*v + 2 = 10, x = -4*f - 2*v for f.
-4
Suppose 0 = 5*l - 5, 15 = q + 2*l + 8. Let d be (-48)/(-6) - q - -1. Solve -w = 2*s - d*w + 10, 0 = -5*s + 2*w - 14 for s.
-2
Suppose 0 = -u + 5*g - 2, u = -u - 2*g + 8. Let l = -138 + 142. Suppose -u*x = -10 + l. Solve q = -3*w + x*q - 2, -q + 3 = -4*w for w.
-1
Let p be 1*(13/4 - 123/(-164)). Solve 5*t - 3*y - 22 = -0*t, p*t - 12 = y for t.
2
Suppose y + 0*y = 3. Suppose -4*b + 14 = y*s - 15, -3*b + 30 = 5*s. Solve -2*t = -4*t - b*u - 21, -3*u - 15 = 0 for t.
2
Let t(u) = 3*u**2 - 2*u - 1. Let s be t(-1). Suppose -s*h + 6*h = 0. Suppose h*k + k = 0. Solve -2*i - 3*r + 19 = k, i - 3*r = -5*r + 11 for i.
5
Let p = -23 - -27. Suppose 0 = w - n - 2, -n - 3*n = p*w - 32. Solve -4*h - 4 = 4*q, 0 = -w*q - h + 5*h - 5 for q.
-1
Suppose 27 + 133 = 32*m. Solve -3*l = -x + 10, -m*l - 10 = -4*x + 16 for x.
4
Suppose -612*a = -620*a + 88. Solve 2*n - i = 3*i - 10, -2*n = 3*i - a for n.
1
Suppose 3*q = 8*q - 20. Let r be (-14)/28*(-9 - 1). Solve 2*u + 20 = -r*v, q*u + u - 3*v - 12 = 0 for u.
0
Suppose 43 + 15 = 29*w. Solve -s = -5*v - 19, -w*v - 19 = -4*s + 3 for s.
4
Let v(p) = 387*p**3 - 20*p + 13*p**2 - 12 - 388*p**3 + 2. Let l be v(11). Solve -m - l = 4*f, 3*f - 5*m + 17 = -15 for f.
-4
Let r be (-3300)/(-858) + (-2)/(-13). Solve i + i + 3*p = 14, 0 = -r*i - 3*p + 16 for i.
1
Let d be (-66)/(-4)*(-12)/(-9). Suppose -5*k + 7*k = b + 13, 4*k - 3*b = 29. Suppose 6*p - d = k*p. Solve -5*c = 5*l - 3*l + p, -17 = 5*c - 3*l for c.
-4
Let r be (20 + -12)/(2/2). Let f be 12/r*16/12. Solve p = f*p - l - 1, -2*p - 33 = 5*l for p.
-4
Let y(g) = -20*g**3 + 2*g**2 + g + 2. Let w be y(-2). Suppose -7*l = -3*l + w. Let f be 1/((-2)/l*3). Solve -4*h - 4*c = 0, 3*c - 10 = 2*h + f*c for h.
5
Suppose o = 3*y + 2, -2*y + 4 = o + o. Let k(w) = w**2 - 10*w - 8. Let u be k(11). Solve 7 + o = 5*i - u*v, 4*i = 2*v + 8 for i.
3
Let x(o) = 26*o - 568. Let a be x(22). Solve -a*l = 4*h + 24, -2*l - 4*h - 19 = l for l.
-5
Suppose 3*t - 12 = -0*t. Let z be 50/t - (-9)/18. Suppose 3*c - z = 2. Solve 13 - 40 = k + c*f, 3*f = -k - 17 for k.
-2
Let p(i) = -i - 1. Let m be p(-3). Suppose m*v + 16 = -0*v. Let k = -5 - v. Solve -2*a - 3 + 11 = 4*d, 4*a - k*d = -17 for a.
-2
Suppose 3*u = -u + 8. Suppose 0 = u*t + 2, -2*t - 3 = -3*r + t. Solve 0 = f - 5*k + 14, r*k + 2 = 2*f + 5*k for f.
-4
Suppose -l - 7 = -15. Let y be 6*(6 - 2)/l. Solve 5*j + 21 = 4*r, y*r - 3 = -6 for j.
-5
Suppose 0*v - 3*v - 5*l + 4 = 0, v + 3*l = 0. Solve -v*j - 5*w - 28 = -j, -5*j - 3*w - 32 = 0 for j.
-4
Suppose 8 = 1492*m - 1490*m. Solve 0 = y - 3*y - 8, -4*y = -m*c for c.
-4
Let k = -20 + 22. Suppose o + k*l = 12, -o = -5*o + 3*l + 48. Solve o = -3*g + b, -g - 2 = -b + 2 for g.
-4
Let z(d) = d**2 - 15*d + 7. Let f be z(7). Let b = f - -51. Solve 3 = -b*r - o, 0 = -4*r - 3*o - o - 4 for r.
-2
Let m = 343 + -333. Solve 2*h = 4*k - 7*k + m, 13 = 3*h + 4*k for h.
-1
Let d(y) = -y**2 + 5*y. Let o be d(5). Suppose o = 4*f + 3*a - 38, 3*f + 4 = a + 26. Suppose 8*r - 3 = 21. Solve 2*m = r*u - 3 + 11, u - f = -2*m for u.
0
Suppose -38 + 6 = -4*o. Let b(w) = 11 + w + 15 - 3*w - 10. Let f be b(o). Solve f = -6*t + 3*t - 6, v - 5*t = 6 for v.
-4
Let i be 80/44 - 6/(-33). Solve 5*u + f - i*f = 25, 0 = f for u.
5
Let z = -2215 + 2234. Solve -5*s = -20, z = 3*n + 9*s - 5*s for n.
1
Let d(m) = 2*m**3 - 6*m**2 - m - 16. Let t be d(4). Solve -t = 3*r - 3*i, 5*r + 2*i + 9 - 3 = 