Solve 15 = -2*w + 5*q, 4*w - 5*q + d = -w for w.
-5
Let i(v) = v**3 - 5*v**2 + 7*v - 3. Let w be i(3). Solve -4*j + 3*d + 29 = w, -8*j + d = -3*j - 28 for j.
5
Let l be -4*3*10/(-20). Solve d - j + 2 - 9 = 0, -l = 2*d + 3*j for d.
3
Suppose -5*s = 3*v - 28, 3 = -2*v - s + 2*s. Suppose 0 = -u - 3*o + 4, -2*o = -u - 0*u - v. Let x = -12 + 17. Solve -6 = -c - 5*i + u, i - 17 = x*c for c.
-3
Let k(v) = v - 3. Suppose -18 = 3*x - 6*x. Let l be k(x). Solve -4*c + l = -3*o + 2, 4*o = c - 10 for c.
-2
Let x(l) be the first derivative of l**2/2 - l - 2. Let q be x(3). Solve 0*a - 2*t - 6 = 2*a, q*a + 4*t + 6 = 0 for a.
-3
Suppose -26*z - 3 = -27*z. Solve 4*w + 3*p = -14, 2*w + 8 = z*p - 8 for w.
-5
Let q(w) be the first derivative of -w**3/3 - w**2/2 + 1. Let o be q(0). Solve -y - 2*c = o, 2*y - 3*c + 6 = -8 for y.
-4
Let y(w) = w**3 + 5*w**2 - w - 2. Let h be y(-5). Solve r + 2*k = -7, 0*k - 8 = r + h*k for r.
-5
Suppose 4*c = 3*g + 5, -5 + 1 = -4*g. Solve c*d = -4*t + 1 + 7, -3*t - d = -7 for t.
3
Suppose -5 + 1 = k - 4*j, -2*k = 3*j - 14. Let x = 9 - k. Solve 5*z + 0*z = -2*d + 8, 1 = 3*z + x*d for z.
2
Let t = 58 - 51. Solve h = -t*d + 2*d, -5*d - 10 = 3*h for d.
1
Let w = -9 - -12. Solve 0 = w*i - 3*j + 6, 3*i + 2*j + 24 = -j for i.
-5
Let x be (-16)/(-10)*(-10)/(-4). Let n(g) = g**2 - 3*g - 1. Let v be n(x). Let c be 8/(-20)*v*-5. Solve 4*q + u = -c, -u + 0*u - 2 = 2*q for q.
-2
Let f be (-1)/3 - 1/(-3). Let u be f/3*(0 - 1). Let o be (6/3 - 1)*u. Solve o = -x + 4, -4*v + 5*x = v + 5 for v.
3
Let f = 6 + -13. Let r(p) = p**2 + 7*p + 3. Let k be r(f). Solve o - 22 + k = 4*c, 2*c = 4*o - 20 for c.
-4
Suppose 5 = -5*l - 0. Let h be 3 + -1 - l - 1. Solve 3*g - 4*c = -h, g + c - 3 - 1 = 0 for g.
2
Let i be (28 + 0)*20/(-16). Let h be 10/i - 48/(-21). Solve -2*t + h = -5*n - 2, 3*n - t + 2 = 0 for n.
0
Suppose 0 = -5*d + 3*d + 12. Let s = d + -1. Solve s*j - 9 = -p + 4*p, 0 = 2*p + 4*j - 16 for p.
2
Let d(a) = -6*a + 1. Let i be d(2). Let v = i - -19. Solve 20 = 4*l - 5*s, v = -2*l - 3*s - 4 for l.
0
Suppose 8 = -0*z - 2*z. Let g(c) = -2*c**2. Let a be g(-1). Let o = a - z. Solve 0 = 2*h - 4*x + 2, 2*h - o*x - x + 3 = 0 for h.
-3
Let g(o) = -o**2 - 13*o - 17. Let f be g(-11). Solve 30 = 4*b + 2*i, 0 = f*b + 5*i - 6*i - 20 for b.
5
Let l(k) = 0 - 2 + 9 + k. Let r be l(-4). Let u = 18 - 14. Solve -5*x + 4*f = -9, 0*x + f - r = -u*x for x.
1
Suppose 1 = 7*r - 27. Solve 0 = 4*f - q + 20, q + 8 = f + r*q for f.
-4
Suppose -4*v + 106 = -3*g, -4*v = -5*v - 3*g + 19. Solve v = 3*s + 4*o, -4*s - 5 = -3*s - 2*o for s.
3
Suppose c + 4*f = 4, -2*f = c - 0 - 4. Solve -4*w - 14 = 2*n - 4, 3*n - c*w = 35 for n.
5
Let p be 6/4 - 5/(-10). Suppose -3*b = 3*y - 2 - 10, -p*b + 4 = 0. Solve -l = f + 2, f + l + y*l + 10 = 0 for f.
2
Let c = 66 + -41. Suppose -21 - 4 = -5*z. Solve 0 = -z*q - c, -i + q = -2*i - 1 for i.
4
Suppose 4*p + 1 = 9. Let g(c) = c**3 + c - 2. Let d be g(p). Suppose d = -2*l + 5*l + w, 0 = -3*l - 2*w + 4. Solve 2*v = -4*q + 6*q + 4, -5*q = l*v + 19 for v.
-1
Suppose 3 = -3*k + 4*k. Suppose z = k*z - 30. Solve z = -s - 2*i - i, -s - 11 = 2*i for s.
-3
Let u(x) = 4*x**2 + 0*x**3 + 5*x**2 + x**3 - 5 - x - 4*x**2. Let j be u(-4). Solve b + 2*y = 3, j = 2*b - y - 4*y for b.
5
Let u(s) = -4*s**3 - 11*s**2 + 4*s**3 - 3*s**3 + 10 + 9*s + 4*s**3. Let d be u(10). Solve -4*x - 8 = -3*z, -x + 0 + 1 = d for z.
4
Let d = 77 + -75. Solve d*h - 4*g - 5 = 13, 12 = -4*g for h.
3
Let x(h) = -h**2 + 4*h. Let y be x(5). Let j = -3 - y. Let k = -6 + 31. Solve g - 4*w - k = j*g, -4*g + 3*w = 5 for g.
-5
Suppose -2*i - 24 + 4 = -5*k, 5*i + 35 = 5*k. Let v be 6 - (6/2 - 3). Suppose 3*x = -3*j + 12, 2*x - v = -j + k. Solve 20 = x*c + w, -c + w - 10 = -3*c for c.
5
Let f(a) be the second derivative of -a**3 - 7*a**2/2 - 3*a. Let h be f(-5). Let l = h - 8. Solve l = -5*u + i - 3*i, -5*u = i + 20 for u.
-5
Suppose -o + 3*o - 8 = 0. Let g be 0 + (2 - 0) - 2. Suppose -6 = -g*b - 2*b. Solve -z - o*u + 14 = -b*z, -3*z + u = 1 for z.
1
Suppose 2 = t - 0*t. Let s be (1 - 1)*t/4. Suppose s = -f - 2*z - 8, -3*f + 8 = 5*z + 28. Solve 3*c - 5*a - 22 = f, -18 = -3*c - c + a for c.
4
Let f(x) = 6*x - 3. Let m be f(4). Let s = m + -2. Solve -11 = -3*c + d, -s = -5*c + 4*d + 4 for c.
3
Suppose 0 = -2*i + 4*i - 5*y - 17, 0 = -2*i + 2*y + 32. Let w = 22 - i. Solve -3*d = 3*m + 3, -5*m - d + w = -10 for m.
3
Let n(g) = 7*g - 3. Let c be n(2). Let m be (-2)/c + 192/88. Suppose 2 = 5*u + 3*a + 5, -2 = m*u + 2*a. Solve p - 4 = -u*p, -5*p + 15 = y for y.
-5
Suppose 16*f + 9 - 57 = 0. Solve 2*a - 4 = 2*w - f*a, 3*a = -w - 2 for w.
-2
Suppose 0 = 3*m - 3*x - 9, 2*x + 0 = -2*m + 2. Let w be (-1)/(m/(-2))*11. Solve 2*f - 5*f - w = 2*y, 5*f + 31 = 3*y for f.
-5
Suppose 2*u + 0 = 3*y - 8, -y - 12 = 3*u. Suppose -d + 19 - 16 = 0. Solve 4*s + d*j = -31, y*s - j = s + 9 for s.
-4
Let c be 194/(-8) + (-4)/(-16). Let t = -15 - c. Solve -2*q + 3*q + t = -3*h, 0 = -5*h - 3*q - 11 for h.
-4
Suppose -6*c + 9 = -3*c. Solve -35 = -3*h - h + c*r, 0 = -2*r - 10 for h.
5
Let b(n) = -n**2 - 12*n - 15. Let j be b(-10). Let u be 3 + (j - (1 - -2)). Let y(i) = i. Let k be y(u). Solve t - k*w + 4 = -2, -2 = 5*t + 3*w for t.
-1
Suppose -4*f + 1 + 11 = g, -4*g = 2*f - 20. Solve j - 3 + 12 = 3*m, f*j + 8 = m for j.
-3
Let v be -2 + (-4)/(-2) + 0. Solve -5*j + v*b + 26 = 3*b, -12 = -5*j + 4*b for j.
4
Let k(t) = t**2 - 5*t + 6. Let r be k(4). Suppose 5*p = -35 + 35. Solve -y - 11 = 3*v, 5*v + 19 = -p*v - r*y for v.
-3
Let j = -1 + 3. Suppose 3*q = -5*l + 4*l + 12, -4*q - 4*l + 16 = 0. Solve 0 = -3*b + q*p + j, 5*b - 1 = 4*p - 3 for b.
-2
Suppose -3*l + 23 = -0*b + 4*b, 3*b = 3*l + 12. Solve 4*n = -3*g - 12, b*n - 20 = g + 4*g for n.
0
Suppose -t - 4*s = 0, 4*t + t + 5*s - 15 = 0. Suppose 3*y + 10 = -w, -3*w + 10 = -6*w - t*y. Solve m + w = -4*o - 8, -2*m + 2*o = 0 for m.
-2
Let n(m) = -m + 3. Let t be 8 + 2/(0 - 2). Let y be n(t). Let s = 11 - y. Solve -2*a - 15 = 2*p + 3*p, 0 = -2*a + p + s for a.
5
Let p be (-3 - 2/(-1))*-3. Let r = p - 1. Suppose r*b + 9 = i, -2*i + 16 = -0*i - 3*b. Solve 2*l = -2*x + 6, -x + i = 4*l - 7 for l.
3
Suppose -5*y - l = 4*l - 90, 3*y = 5*l + 70. Let c be (-4)/y - (-52)/10. Solve -p + 1 = c*k, 0*p - k = 4*p + 15 for p.
-4
Let l = -61 + 66. Solve -4 = -3*c - 2*w, 3*w + l = -7 for c.
4
Let b(a) = a**3 + 10*a**2 - 40*a - 11. Let w be b(-13). Solve -r + 1 = w*t, -r - 3 = -5*t + 10 for t.
2
Let x(h) = h**3 - 10*h**2 + 2*h - 14. Let c be x(10). Let o = -3 + c. Solve -5*b = -5*u + 2*u, 4*b = o*u - 3 for u.
5
Let l(o) = o**3 + 4*o**2 - o. Let t be l(-4). Solve d = t*m + 11, 2*d = -0*d + 5*m + 13 for d.
-1
Let g = -9 + 0. Let d = 17 + g. Solve -3*a - 7*s = -3*s + 16, -d = 2*s for a.
0
Let g be 8/2 + ((-42)/(-7) - 8). Solve g*h - 2 = c, 3*c = 2*c - h + 7 for c.
4
Let o be 2/9 - 68/(-18). Suppose 3*h = 3*d - o*d - 11, 2 = -2*h + 2*d. Let p = -1 - h. Solve a - p*a + 12 = -4*m, -2 = -a - m for a.
4
Suppose 36 = 3*y - 24. Solve 4*x + 4*i - y = 0, -3 = -x + 4*i + 2 for x.
5
Let p be (-2)/12 + 505/(-30). Let m be (p/(1 - 0))/(-1). Solve -f = d - 5, 6*f = f - d + m for f.
3
Let b = -77 + 79. Solve q + b = -3*k + 4, 0 = q + 2*k - 1 for q.
-1
Let y be (-1 + -1)/2 + 3. Solve -y*q - m + 8 = 0, -q - 5*m + 22 = -0*m for q.
2
Let m(b) = b - 17 + 17. Let x be m(8). Solve -2*w - 4 = p, p - x - 12 = 4*w for p.
4
Let x be ((-3)/(-6))/(1/10). Suppose 0 = x*u + 3*d - 34, u - 5*u + 3*d = -11. Suppose 0*t - u*t = -15. Solve 0 = -2*v, -r + 2*r + t*v = 0 for r.
0
Let v(j) = -j - 1. Let s be v(-2). Let b = 3 + s. Solve -b*f = 4*n - 8, -3*n + 0*n - 2 = f for f.
4
Suppose 0 = 21*t - 11 - 52. Solve 5*g - 2*q - 2*q = -8, -24 = t*g + 4*q for g.
-4
Let b = -72 - -76. Solve -2*n - b = -t, -2*n + 0*t - t = 12 for n.
-4
Let n(a) = -4*a + 3. Let k be n(-8). Solve -5*h - 2*y = k, y - 6*y - 35 = 2*h for h.
-5
Let r(q) = q**2 - q - 12. Let a be r(5). Let s be (-2)/a - 26/(-8). Solve -l = 3*c + s, -3 = -l - 0*l for c.
-2
Suppose -6 = m - 3*i, -3 = m + m - 3*i. Suppose m*z - 10 = 5. Suppose -2*x - 3*k + 3 = -1, -2*k + 16 = 4*x. Solve -2*w = -x*w - 3*r - 27, 0 = -z*r - 20 for w.
-5
Let x(y) = 2*y + 20. Let g be x(-7). Solve 2*u + n - 12 = 0, 4 = 5*n - g for u.
5
Let g = 29 + -14. Suppose 2*m + g = 7*m. Suppose m*k + 56 = 7*k. Solve -5*h + 5*q +