 -y - 4*w = -k for y.
1
Let y be (-2 - -1 - -2) + 11. Suppose -4*k - y = o, 2*o - 17 = 4*k + 19. Solve -3*m - 4*d - 6 = 0, 4*m = -d - d - o for m.
-2
Let n(x) = -x**2 - 6*x + 30. Let q be n(-9). Let u be 1 + 0 - (2 - 2). Solve 0*b + q*b + g = 0, -2*g - u = 5*b for b.
1
Suppose 3*d - 4*l - 24 = 0, 0 = 2*d - l - 13 + 2. Solve -5*j + 21 = b, -j + 7 = d*b - 1 for b.
1
Suppose -r - 3*r = -20. Solve -3*t + r*n + 33 = -t, t - 3*n - 19 = 0 for t.
4
Let m = -25 + 25. Suppose -l + 6*l = m. Solve 0 = -x - l*j - 3*j + 5, 2*x - 10 = 2*j for x.
5
Let z = 4 - -21. Suppose 4*m - z = -m. Suppose 3*k - 3*r - 6 = -0*r, 5*r = -2*k + 25. Solve -k*i = -0*a - 5*a - m, 0 = a - 5*i + 5 for a.
0
Let x = -17 - -23. Solve m = 4, c - m - x = -c for c.
5
Let h(z) = -2*z + 2. Let s be h(-4). Suppose -s = -5*l + 10. Suppose -2*o + 22 = l. Solve 0*w = 5*k + w + o, 3*w = -4*k - 5 for k.
-2
Let y = -10 - -14. Solve -10 = f - 3*f, 10 = -2*q + y*f for q.
5
Let f = 11 - 6. Solve 0 = -2*t - 3*o - 0*o + 16, 0 = -5*t + f*o - 10 for t.
2
Let p(g) = 5*g - 7*g - 5*g. Let i be p(-1). Solve -18 = 2*a - 2*m, -4*m + 21 + i = -2*a for a.
-4
Suppose d = 0, 2*v = d - 14 + 50. Solve -2 - 1 = -3*b - 2*m, -3*b + v = -3*m for b.
3
Let f(w) = 2*w - 6. Let t be f(5). Suppose -7*g + 15 = -2*g - 4*j, -12 = -4*g + 2*j. Suppose b + 4 = g*b. Solve 2*v + 16 = -t*c, -5*c + v = -b*c + 7 for c.
-3
Let h(b) = 3*b + 1. Let u be h(1). Suppose u*p = 3*f - 0*f - 27, -f = 4*p + 7. Let z be (2 - 2)/3 - p. Solve 0 = z*s - 2*t + 2 + 12, 4*t - 4 = 0 for s.
-4
Suppose -17 = -3*s + 2*h - 3*h, -3*s + h + 7 = 0. Solve -t - 12 = -3*t + 4*b, 0 = -s*t - 5*b - 2 for t.
2
Let j be -2*5/(20/18). Let d = -5 - j. Solve 2*p - 5*t = p + 20, 0 = 5*p - d*t - 37 for p.
5
Let p = 0 - -2. Suppose -6 = -c - p*c. Let i = 7 - 2. Solve 0*g - 2*l + 4 = c*g, -i*l + 5 = 4*g for g.
5
Suppose -28 + 16 = -4*i. Solve -i*c = c - 5*l - 5, -22 = -5*c + l for c.
5
Let j be (1 - 2)/((-2)/(-6)). Let n be 6 + j/(12/(-8)). Solve -3*g - 2*g + 35 = -5*i, g = -2*i - n for g.
2
Let d = 1 + -1. Suppose -2*y + 4*y = -2*y. Solve -4*r - 4*g + 24 + 8 = y, g - 5 = d for r.
3
Let k(h) = -3. Let l(v) = v - 3. Let n(t) = -3*k(t) + 3*l(t). Let u be n(1). Solve 5*f - m + 12 = -0*f, -2*f + u*m = -3 for f.
-3
Suppose p - 4 = 10. Suppose 5 = 3*h - 10. Suppose -f + 3 = -t, -15 = h*f - f + 5*t. Solve f*y + 4*o - p = 5*y, -4*o - 6 = 5*y for y.
-2
Let s be (16/6)/(18/(-27)). Let p(b) = -b**3 - 4*b**2 - 2*b - 6. Let f be p(s). Solve -a - f*a - 7 = -5*u, -15 = -u + 4*a for u.
-1
Suppose -5*u + 4 = -3*u. Solve 3*c + 2 = 5*n, -11 = -5*c - 4*n - u for c.
1
Suppose -35*o = -31*o - 12. Solve -3*c + c + 33 = -5*u, -5*c + o*u = -35 for c.
4
Let n = 1 + -4. Let o = n - -5. Suppose 4*g - 3*g = o. Solve -2*u - 6 = -2*z, -g*z + 3*u + 10 = -0*z for z.
-1
Let x(t) = -t**2 + 4*t + 4. Let s be x(4). Let o = s + -1. Suppose -p = o - 6. Solve 2*q = p*j + 12, -4 = -q + j - 0*j for q.
0
Let t = -62 - -65. Solve -8 = -3*k - 2*z, -t = 2*k - z + 1 for k.
0
Let x = 8 - 4. Suppose 0 = i + 9 + x. Let s = 23 + i. Solve 2*a - 4*a = 5*u - 20, -5*u + 4*a = s for u.
2
Let u = -7 + 19. Suppose 5*t = 0, 3*r - t = 6*r - u. Solve 2*z - 8 = 4*y + 12, -3*z + 22 = -r*y for z.
2
Suppose 2*f + z + z - 10 = 0, -11 = -3*f - 2*z. Let b be (-3)/(-6) - 14/(-4). Solve 3*y - v + f = 0, 5*y - y + 4*v - b = 0 for y.
0
Let i = -23 + 38. Suppose -10 = -5*p + 5*u + i, -p + 5*u = -21. Solve y + p - 3 = 2*s, 4*y + 2*s + 2 = 0 for y.
0
Suppose 0 = -15*y + 10*y + 105. Let p = 23 - y. Solve 2 + 2 = p*s - 4*j, 4*s = -3*j + 8 for s.
2
Let a(k) = -k**2 + 5*k + 3. Let u be a(5). Solve u*i = 7*i - 8, -5 = 3*n + 5*i for n.
-5
Suppose n = 4*m - 18, -n - 2*n = 3*m - 21. Solve -3*z - k = n*k - 3, -z - 3*k = 3 for z.
3
Suppose -3*v - 50 = -4*g, -v + 0 - 2 = 0. Solve -g = d - 3*x, -3*d - 2*x + 5*x = 15 for d.
-2
Let s be (3 - 4) + -29 + 0. Let d be s/4*(-4)/3. Solve -2*p = -3*v + v - d, -21 = 5*v - p for v.
-4
Let m(s) = -s**2 - 9*s + 9. Suppose -5*c + 42 = -3*u, 0 = -4*u - c - 8 - 25. Let l be m(u). Let p = l - 4. Solve 0 = 3*q - 5*w - 17, 5*q = p*w + 24 - 9 for q.
-1
Suppose -5*m + 14 = 4*w - 0*m, 3*m + 24 = 3*w. Let v be (-35)/(-15) - (-4)/6. Suppose t + w = v*t. Solve 5*x + 15 = -l, -3 = 4*x - t*l + 9 for x.
-3
Let a(d) = 0 + 13 + d + 6. Let q be a(-9). Solve -4*w + 5*w = m - 6, -w - q = -5*m for w.
-5
Let y be 40/18 + 5 + (-376)/72. Solve 3*p + 7*b + 3 = 2*b, 0 = 3*p + y*b + 3 for p.
-1
Let d be (-85)/51*(0 + -3). Solve 0 = -2*t - 4*b - b + 4, 21 = -d*t + 3*b for t.
-3
Suppose 4*m + q = -2*q + 5, 2*m = -2*q. Solve -5*s - 1 - 4 = -m*r, -2*r + 16 = 5*s for r.
3
Let h be (2/6)/((-5)/(-135)). Let q be ((-1)/(-1))/((-1)/(-7)). Let x = h - q. Solve -4*c = -5*m - 17, 4*m = 2*c + x*c - 12 for c.
-2
Let s(a) = a**2 + 4*a - 5. Let t be s(-5). Let k = t + 3. Solve 0 = 3*f + 3*h + 3, -4 - k = f + 3*h for f.
2
Let m(b) be the second derivative of -b**4/12 + 5*b**3/6 + b**2 + 3*b. Let w be m(5). Solve -w*r - r - 3 = 3*z, 2*z = -5*r - 8 for r.
-2
Let p be 1*-3 + -9 + 17. Let v = 14 - 9. Solve -2*o + p*y = 6, v*o - 4*y = -0*o + 2 for o.
2
Let r be (2 - (3 - -1))*-1. Solve 5*o = -r*x - 8, 6 = -5*o - x - 3 for o.
-2
Let r be (5/2)/((-4)/(-8)). Solve -5*g + r = m + 28, -3*m + 11 = -g for m.
2
Let f(v) = 2*v**2 + v - 1. Let r be f(-2). Solve r*y + 25 = 0, -2*d + 2*y = -y - 19 for d.
2
Let c be (-4)/(-6)*(3 - 0). Let q = -7 + 10. Let i = 0 + q. Solve -2*o - i*v = 3*o - 40, 0 = 2*o - c*v for o.
5
Suppose 2*s + 2*w = 14, -27 = 3*s - 4*s - 5*w. Solve -k - s = -4*q + k, k - 2 = q for q.
3
Let l = -2 - -1. Let u be 6/3 - 3/l. Solve 3*r = -5*d + 1, -3*r - 2*r + u*d - 25 = 0 for r.
-3
Let b(t) = 3*t - 3. Let c be b(2). Solve o = m + 5 - 2, -3*m = c*o + 21 for o.
-2
Let m be 3 - (-12 + -4 + 3). Let r = -11 + m. Let o(g) = g**3 - 5*g**2. Let s be o(5). Solve s = 2*t + 2*t - 16, 3*t - 17 = -r*l for l.
1
Let k be 0/1 - 16/(-8). Suppose k*n = 9 - 1. Solve -2*q = 5*r - 15, -6 = n*r - 6*r - 2*q for r.
3
Suppose -v - 4*r - 5 = -33, r = 2. Suppose 3*b = -b + v. Solve 5*u = -5*s + 25, b*s = 4*u + 10 - 30 for u.
5
Let w(o) = 5*o**2 + 20*o - 8. Let h(t) = 2*t**2 + 7*t - 3. Let a(k) = 8*h(k) - 3*w(k). Let y be a(7). Solve 5*l - 10 = 10, -l - y = -5*c for c.
5
Suppose 12 = 4*f, 3*f + 2 = 3*a - 10. Let b be ((-4)/(-7))/(2/a). Solve -5*s + 5*r = -s - 10, b*r + 4 = -2*s for s.
0
Let h(u) = 14*u**2 - u - 1. Let c be h(-1). Let x = 2 - -2. Suppose 0 = 5*j + 25, 3*j = -x*i + 5*j + 18. Solve 4*t + 2*a + c = 0, t - i*t = 3*a + 16 for t.
-1
Let n be 20/(-6)*(5 - (-124)/(-20)). Solve -11 = 5*w + 2*k + 8, -n*w = -k + 10 for w.
-3
Suppose -l - 3*l = -12. Solve -4 = z - 2*t + 3, t - l = 0 for z.
-1
Let l(s) = -3*s - 9. Let b be l(-4). Solve b*r + 2*z - 3*z = 8, 3*r - 3*z = 0 for r.
4
Let u be ((-4)/12)/((-4)/36). Let c be 1 - 2*(-2 - -1). Solve 2*k - 23 = -u*b, -4*b + 5 = -c*b for k.
4
Let l(j) = j**2 - 3*j - 1. Let r be (24/(-30))/((-4)/10). Let t = r - -2. Let w be l(t). Solve 0 = -w*y + 5*y - v - 5, -y + 5*v + 7 = 0 for y.
2
Let j = 42 - 42. Solve -2*r - 2*p + 6 = j, -19 = r - 4*r + 2*p for r.
5
Let f be 13 + (0 + -4 - -6). Solve -3*a + q = -q - 6, f = -5*a - 5*q for a.
0
Let t be (-4)/(-3) - 2/6. Let c(o) = o**3 + 5*o**2 - 8*o - 8. Let z be c(-6). Suppose 3*x - 1 - 1 = b, 4 = 2*x - 2*b. Solve -a - p + z = -x, 2*p = a - t for a.
3
Let m(a) = a**2 - 6*a + 7. Let h be m(5). Suppose 4*r = h*r + 10. Solve -5*c = -y, 0 = 4*y - 2*y + r*c for y.
0
Let z(o) be the third derivative of o**4/24 - 5*o**3/6 + o**2. Suppose 4*k - 32 = -0*k. Let n be z(k). Solve -4*d + 5*x - 32 = 0, -8*d + 4*x - 31 = -n*d for d.
-3
Let h = -5 + -5. Let v be (-4)/(-10) + (-26)/h. Solve 0 = -5*j + 20, -5*y = -4*y - v*j + 16 for y.
-4
Let c(b) = b. Let y be c(3). Suppose 12 = -i + y*i. Let h = -23 + 40. Solve -h = m + r + 4*r, -2*m - i = 3*r for m.
3
Suppose -2*d + d = 3. Let z(p) = p**3 - 3*p**2 - 4*p - 3. Let h be z(4). Let a be 8*d/(-2) - h. Solve 4*l - 4*r = 6*l + 10, 4*l + r = a for l.
5
Suppose 0 = 5*b - 36 + 11. Solve -4*a - 8 = -2*j, 2*j + a - 2*a = b for j.
2
Let d = 38 + -34. Solve 5*j + 0*z + 11 = -2*z, 0 = j + z + d for j.
-1
Suppose 29*q - 35*q + 108 = 0. Solve -s = 5*i + 3 + 3, -i + q = 5*s for s.
4
Suppose -7 - 5 = -3*g. Solve 3*x + g*z + 12 = 4*x, 3*x = -2*z - 20 for x.
-4
Let x(h) = 2*h - 6. Let a be x(