 -5*k - 4*c - 28 for k.
-3
Suppose -14*b + 24 = -8*b. Solve -3*n + 2 - 1 = 2*w, 0 = 4*w + 4*n - b for w.
2
Let n be (3 - 3)/(0 - -1). Suppose n = -4*d + 3 + 9. Solve -k - d = 2*y, -16 = 4*y - 5*y - 4*k for y.
-4
Let j(v) = 8*v**2 - 3*v + 1. Let y be j(2). Solve 2*n - 5*z = -19, 5*z - 4 - y = -2*n for n.
3
Let p = 69 + -69. Solve 0 = -3*t - 2*z - p + 1, -t + 12 = 3*z for t.
-3
Let g be -14 - 12/(4*-1). Let l = -7 - g. Solve 2*r + 16 = -4*t, t = -l*r + 2*t - 5 for r.
-2
Suppose -h = j - 7, -2*j + 6*h - 2*h + 2 = 0. Solve 18 = 3*q + 3*y, -3*q + j = y - 5 for q.
2
Let n(g) be the first derivative of -g**2/2 + 2*g + 3. Let v be n(0). Solve -5*l - 5*j = 25, -v*l + 0*j - 10 = -5*j for l.
-5
Let k = 20 - -1. Suppose 3*i + 5 = -2*n, 5*n = 5*i + 29 + k. Suppose -3*j - p - 3 = 0, 2*j + 6 = -6*p + 4*p. Solve b + a + a - 5 = j, -2*b - 17 = -n*a for b.
-1
Let s(w) = -w + 12. Let j be s(9). Suppose j*l = 10 + 2. Solve 0*z + 4*z + 22 = 5*r, l*r - 17 = 3*z for z.
-3
Suppose 0 = 2*s - 8 + 2. Solve -3*o = -3*a - 27, -5*a + s*o - 15 = 4*o for a.
-4
Suppose -3*z - 2*z + 5 = 0. Solve -6 - z = 3*q + 4*s, -4 = 4*s for q.
-1
Let v be -3 + -3*(-10)/3. Suppose -3*w = -w. Solve 1 = -u + 2*t - w*t, 3*u + v = 2*t for u.
-3
Let r(q) = -5*q - 13. Let p be r(-4). Solve -5*n = -5*t - p - 28, 1 = 2*t + n for t.
-2
Let k(t) = -3*t - 63. Let d be k(-22). Solve 4*z - 3*l + l + 26 = 0, -3*z = -d*l + 24 for z.
-5
Let r be 2 - (2 - (-1 - 5)). Let a = 6 + -9. Let g be 4/a*9/r. Solve -q + g = 3*y + 20, -2*q + 4*y = -14 for q.
-3
Let j(m) = 2*m**2 + 1. Let y be j(-2). Solve -y = -0*b + 2*b - p, 3*p = 3 for b.
-4
Let j = 19 + -15. Solve 5*f + 14 = -n + j, 0 = 3*f + 5*n + 28 for f.
-1
Suppose 5*m - 2 = -7. Suppose 0 = 5*w - 4*r - 2, -8 = -r - 3*r. Let s = w - m. Solve 0*g = -5*g - s*u + 6, 2*g - 3 = -u for g.
3
Let j = 9 + -15. Let s be (-4)/j + 4/3. Solve -s*v = -2*r - 2*r - 24, 3*v + 9 = -3*r for v.
2
Let o = -8 + 12. Let a = -2 + o. Solve -k + a = 2*p, -4*k - 4*p = -p + 2 for k.
-2
Suppose o + 3*w = -0*o + 3, 4*o + 2*w = 12. Solve -2*n - 5*i = o, -5*i = n - 3*n + 7 for n.
1
Suppose 0 = -3*j - 0*j + 39. Let r(c) = c**3 - 6*c**2 + 7*c - 5. Let l be r(5). Let k(y) = y - 4. Let h be k(8). Solve -z + j = -l*z + f, h*f = -2*z - 20 for z.
-4
Let o(w) = w**3 - w**2 - w. Let p be 3/6 - (-3)/6. Let g be 0*2/(-4)*p. Let c be o(g). Solve 2*n = 4*x + 16, -2*x + 3*n - 1 - 3 = c for x.
-5
Let q be 10/4*18/15. Let i = q - 1. Suppose -2*c - 3*c - i*v + 91 = 0, 2*c + 2*v = 40. Solve 0 = 2*g - 5*d - c, 2*g = 3*g + 3*d + 19 for g.
-4
Let q be (-6)/21 + 104/(-28). Let o be 7/4 - 1/q. Suppose -3*x = -5*x + 40. Solve 0 = -4*w + o*c + 24, -w - 3*c = -7*c - x for w.
4
Let z = -1 - 8. Suppose -3*b - 9 - 6 = 0. Let s = b - z. Solve 14 = -s*h + i, 4*h - i + 26 = -6*i for h.
-4
Let q be (1 - 0) + -5 + 0. Let c be q + 1 + (-1 - -6). Solve 0 = -2*k + 4*x - 2, c - 3 = 2*k - 3*x for k.
1
Suppose 45 = 10*x - x. Solve -5*b - 26 = -3*r + r, 0 = x*b + 4*r + 8 for b.
-4
Suppose 16*j - 18*j + 8 = 0. Solve 33 = -5*b - 0*y - j*y, y - 3 = b for b.
-5
Suppose 0 = -4*u - u + 5. Solve 0 = -3*z + 2*t + t, -3*z - u = -4*t for z.
1
Suppose 7*a = 5*a + 2. Suppose 0*k + 8 = 4*k. Suppose a = k*l - l. Solve 5*o = 0, m - l + 6 = -3*o for m.
-5
Suppose 0 = 2*g - 7 - 7. Let q be g - 2 - 1/1. Solve b = 5*z - q*b - 10, -3*b + 6 = z for z.
3
Suppose 4*l + 3*b - 3 = 8*b, 0 = 4*l + 2*b - 10. Solve -5 = -6*z + 3*z + c, l*c + 4 = 4*z for z.
3
Let w be (-16)/(-1)*11/22. Solve 3*i + w = 5*d - 4*d, 2*i - 3*d = -10 for i.
-2
Suppose -3*u = -2*u. Let f be 12/3 - u/(-1). Solve -22 = 2*v - f*h, 0 = -v + 2*v - 5*h + 23 for v.
-3
Let a be 16/12*(-3)/(-2). Solve -3*w - 5*h = -4, -4*w = -2*h - a*h + 16 for w.
-2
Let h(t) = t**2 + 7*t - 3. Let n be h(-8). Suppose n*k = 23 - 3. Solve -3*x = 2*g - 14, 5*g - g = 2*x - k for x.
4
Let s(q) = q**3 + 6*q**2 + 6*q + 1. Let j be s(-5). Let g be j/5 + (-228)/(-60). Solve 4*x = -2*c + x - 6, -4*c - g*x = 0 for c.
3
Suppose 4*u + 3*o = -0*o + 29, -5*o + 15 = 0. Let m be 28/6 + 4/(-6). Let a = 29 - 26. Solve m*w + 4 = -3*x, -a*w - 2*w = x + u for x.
0
Suppose 0*h = -5*h. Let o be (3 - (2 - -1))*-1. Let l(z) = -z**3 - z**2 + z. Let c be l(o). Solve 2*i + 0*i + 5*s + 22 = h, c = -i + 4*s + 15 for i.
-1
Suppose -5*n = n - 12. Solve -2 + 0 = -n*g + 2*y, 0 = -g - y + 5 for g.
3
Suppose w - o - 2 = 0, 4*w + 5*o - 17 - 9 = 0. Solve y + 25 = -w*z, -2*z + 3*y = 5*y + 20 for z.
-5
Let o be (-20)/180 - (-38)/18. Solve -5*l + 2*x = 22, o*l + 2 + 3 = -3*x for l.
-4
Let m be 136/40 - 6/(-10). Solve 2*l - m = 0, 4*g + 3*l = 5*l for g.
1
Let j = 142 + -139. Solve 3*x = -3*g, 0 = j*x - 2*g - 1 - 14 for x.
3
Suppose -4*g = 2*a + 2, a + 3 - 5 = g. Let l be 5/((a - 0)/1). Solve s - 20 = l*w, 3*w + 7 = -8 for s.
-5
Let g = 1 - 4. Let n be (4/6)/(g/(-9)). Suppose -5*z + 2*q + 4 = -2, -z = -2*q + n. Solve -m + u = 4 - 3, -5*m + 23 = z*u for m.
3
Suppose 4*r = -0*r - 6*r. Solve 5*y - s + 11 = r, -3*y - 4*s + 6 = -4*y for y.
-2
Let n = -5 - 13. Let u = 1 - n. Let i(c) = -c**2 + 3*c. Let g be i(3). Solve -3*q = 5*d - u, -q = -3*d - g*q + 17 for d.
5
Let u = -15 - -26. Let t be 2 + -2 - 0/(-1). Suppose t = 5*w - z - 43 + u, 5*w - 3*z - 36 = 0. Solve 0 = -2*l - q + w, 8 + 0 = l + 3*q for l.
2
Let v(u) = -2*u - 1. Let b be v(-2). Solve b*m - 1 = 4*n - 9, m = 0 for n.
2
Let m = 4 + -2. Suppose -2*g - m*g - 16 = 0. Let k be g/18 + 60/27. Solve -n - 5*h = -k*h + 8, -4*h - 24 = -2*n for n.
4
Let s(g) = -4*g - 16. Let x be s(-6). Solve -2*b - 5*a - 29 = 0, x = -5*b - a - 7 for b.
-2
Suppose 4*s = -4*l + 24, -s + 10 = 5*l - 8. Solve -2*o = -8, s*m = -3*o + 5*o - 23 for m.
-5
Suppose y = 4*y - 18. Solve -5*x - 7 = j - y*x, -5*j + 5 = 5*x for j.
-3
Let t = 0 - -1. Let o = 1 - t. Let f(w) = w**3 + 2*w**2 - 33*w + 17. Let r be f(-7). Solve o = -5*d + 5*h - 5, 5*d + 0*h = 4*h - r for d.
1
Suppose 3*i = -2*t + 36, -26 = -t - t + 2*i. Let v = 6 + -3. Solve 5*b - r = 3*r + 5, -t = -v*r for b.
5
Suppose 0 = 4*n - 2 - 18. Solve 0 = -2*f + 2*d - 10, 3*f + 0*f - d + n = 0 for f.
0
Let v be 12/(-24) + 21/2. Let p = -8 + v. Solve -10 = p*q - 2*i - 2, -i = -2*q - 5 for q.
-1
Suppose -4*t = 0, -5*t - 48 = 2*a - 6*a. Suppose -5*n - a = -7*n. Solve -m - 21 = 4*x - n, 9 = m - 4*x for m.
-3
Let z(n) = -2*n - 6. Suppose 3*v = v - 12. Let c be z(v). Solve 5*l - 9 - c = 0, -3*a = 4*l - 3 for a.
-3
Let d = -7 + 9. Solve -7 = d*t - 3*t - 2*y, 16 = 4*t + 5*y for t.
-1
Let f(y) = 2*y**2 - 13*y - 19. Let m be f(8). Solve 9 = -m*z + s, 0 = z + 2*z + 3*s - 9 for z.
-1
Let o = 7 + -4. Suppose -4*u + 0 + 17 = o*t, 3*u - t = 16. Solve 6 = -3*w + 4*q - u, 5*q - 37 = -4*w for w.
3
Let u = 17 - 10. Suppose 0 = -s + c + 1, 0*s - c + u = s. Let j(p) = p**2 - 3*p - 1. Let l be j(4). Solve l*h + 9 = 3*i - 0, s*h - 8 = -i for h.
1
Suppose -i - 2*i = -60. Suppose 4*c + 5 = 3*g + 4, 0 = 4*c + 4*g - i. Let k be (c + -2)/(2 - 3). Solve -5*u + 2*b = 0, -3*u = -k*u - 4*b for u.
0
Let g(n) = -n - 6. Let c be g(-13). Solve -2*u - c = k, 13 = -k - 0*k - 4*u for k.
-1
Let i be -2*(-2 + 4 - 4). Suppose 0 = 6*d - 3*d - 375. Suppose 0 = 5*g - b - d + 27, 3*g - 58 = b. Solve 0 = 4*k + 2*l + 2*l - g, -12 = -i*l for k.
2
Let l be 88/24 - 4/6. Let x = -7 + 5. Let d be 2 - (9/(-1) - x). Solve -3*v + 5*p = -2*v + d, -l*p + 3 = -3*v for v.
1
Let u = -14 + 14. Suppose 0*b - 18 = -2*c - 3*b, -b + 4 = 0. Let s = u + c. Solve -12 = -s*y + k, -2*y + 7 + 1 = -4*k for y.
4
Let j = -15 - -28. Let w(q) = -q**2 - q - 7. Let m be w(0). Let u(c) = c**2 + 7*c + 6. Let d be u(m). Solve -l + 2*v = 5 + d, -2*l + j = 3*v for l.
-1
Let j be (7 - 1)*((-33)/(-6) + -5). Solve c + 15 = 3*c + j*f, 3*c + 4*f - 20 = 0 for c.
0
Let x be ((-16)/(-14))/((-8)/(-28)). Suppose 5*r = x*w + 54, -3*w = -5*r - 6*w + 47. Solve 0 = -2*l + 2*d + r, 0 = -3*l - 3*d - 2*d - 9 for l.
2
Suppose 0 = 5*f + 5*v - 1 + 6, -4*f = 5*v + 8. Solve 0 = 4*t - 7*t + f*c - 6, -2*t - 2*c = 0 for t.
-1
Suppose 0 = 6*l - 7*l. Let f = l + 3. Solve -6 = -0*k - 2*k - 3*j, 5 = -f*k - j for k.
-3
Let w(o) = -o**2 - 2*o + 8. Let n be w(-4). Solve 0*b + 3*b + 2*m - 19 = n, 0 = -b + 2*m + 1 for b.
5
Let m(w) = -2*w**3 - 3*w**2 + 3*w - 2. Let r be m(-3). Suppose 0*j + 5*g = -2*j + 13, r = 5*j - 4*g. Solve 9 = f + j*l, -2*f - 3*l + 11 = 3*f for f.
1
Let v = 64 + -93. Let a = v 