lve h = 2*g - 5*u, -g - 3*g + 5*u + 16 = 0 for g.
-1
Let k = -9 - -13. Solve 3*w = -k*o - 12, o + 6 = w - o for w.
0
Let u = -23 + 13. Let y = u + 13. Solve y*g = -2*j + 9, 2*j - g = -8 - 3 for j.
-3
Let o = 0 + 0. Let r be 3 + (2 - 1) - o. Let i be 9*(-1)/4*(-24)/18. Solve -r*g + 4*x - i*x = -11, 2*x = -2*g - 2 for g.
2
Let w = 42 - 42. Solve w*m + 1 = m, -3*a - 5*m = -5 for a.
0
Suppose -5*m + x + 3 = -3*m, 0 = 3*m - 2*x - 4. Solve -v - 3*w + 24 = m*v, -4*w = -12 for v.
5
Let z be (-55)/(2 + -3) + -1. Suppose 2*m + z = 4*m. Solve 5*j - 3*f = -m + 5, -f - 2 = 3*j for j.
-2
Suppose 0*k = -4*k - 56. Let b = k - -16. Solve b*g + 6 = -d + 1, 2*g + 4*d + 8 = 0 for g.
-2
Let h be 1 - (-8)/(-2) - -12. Let v = 9 - h. Solve -3*c = -2*d - 2*c + 12, d + 5*c + 16 = v for d.
4
Suppose -10*i + 5*i = -25. Solve -i*s - 26 = -3*k - 10, -s - 2*k + 2 = 0 for s.
-2
Suppose -23*p - 6 = -25*p. Let w be 1*(-10)/(-2) + -1. Solve p*r = w*m + 8, -4*m + r = 6 + 2 for m.
-2
Let q = -34 + 37. Solve 0 = 4*o - 20, -q*o + 18 = -4*z - o for z.
-2
Let p(x) = -3*x**3 - 1. Let g be p(-1). Suppose -3*c + 20 = g*c. Solve 4*k - 15 = v, 3*v - c + 1 = 0 for k.
4
Suppose v + 10 = 3*v. Suppose k = v*a - 17, 3 = 4*a - 5*k - 19. Solve 2*p - 2*b = a*b - 30, 2*p = -2*b - 2 for p.
-5
Let g be -5 - 6/(-3) - -2. Let d = g - -4. Let s = 3 + -1. Solve -3*b = 2*n + 4, -4*n = -s*b + 27 - d for b.
2
Let l(z) = 2*z**2 - 9*z. Suppose 18 = 2*k + 8. Let d be l(k). Solve -4*i - 2*x + d = x, 5*i - 13 = 3*x for i.
2
Let u = -22 - -13. Let y(r) = -r**3 - 9*r**2 + r + 12. Let a be y(u). Solve -n = -3*i + 1, 2*i - a*n = -0 + 3 for i.
0
Let c = 17 + -5. Let o(v) = v**2 - 12*v + 2. Let g be o(c). Solve 5*w - 1 + 22 = -g*r, -4*r - 4*w = 24 for r.
-3
Suppose 0 = -6*g + 2*g - 8. Let j be 6/(-15)*(g + -3). Suppose -4*s - 4 = 0, -2*s = -7*m + 3*m + 166. Solve -b = -4*i + 16, 3*i = -4*b - j*i + m for b.
4
Let z = 10 + -6. Let u = 0 + z. Suppose 4*m - 8 = u. Solve m*x = -15, -3*x + 5 = 3*v + v for v.
5
Suppose -3*r = -r - 40. Let a(q) = -q. Let x be a(-5). Solve 0 = x*w - 5*l - r, 25 = -2*w + 6*w + 5*l for w.
5
Suppose -8*t - t + 27 = 0. Solve -u + 5 = 4*u - t*z, 2*u - 2 = z for u.
1
Let b = 7 + -4. Solve -4*z - 4 = -i, -i - 3*i + 16 = b*z for i.
4
Let a(m) = m. Let j be a(4). Suppose -3*f = -8*f + 10. Let i = j - f. Solve -y = 2*n + 6, 2*n + 12 = y - i*n for y.
0
Let t = -1 - -1. Suppose -3*m = -t*m. Suppose 3*o = -m*o. Solve -2 = -3*w + 5*j, o = w - 3*j + j for w.
4
Let v = -1 - -4. Suppose v*z = 5*z - 4. Solve -z*n = -4*f - 4*n + 14, -5*n + 27 = 2*f for f.
1
Let g be (-1 + (0 - 2))*51/(-9). Solve 0*a + 9 = 2*a + p, -2*p = -3*a + g for a.
5
Suppose h + 2 = -4*f, 3*f + 1 = -2. Solve -5*m - 5*l - 7 = -h, 3 = l for m.
-4
Let p be 5/(-5)*(1 - 5). Suppose 6 = -p*u + 14. Solve 2*i = -u*k + 6, k + 2 = 2*i + 8 for k.
4
Suppose 0*t = f - 4*t - 58, f - 30 = -3*t. Suppose -5*g - f = -217. Suppose -5*q = -g + 10. Solve 0 = -o - 2*i + 7, -q*o - 7 = -0*o - 4*i for o.
1
Let h = -36 - -40. Solve -4*y + h - 1 = -r, 2*r = -2*y + 14 for y.
2
Let s = 7 + 1. Let k(u) = -u**3 - u**2. Let i be k(0). Solve 2*n = 4*a + 6, -s = -2*n - i*n + 2*a for n.
5
Let u(v) = -25*v**3 - 1. Let h be u(-1). Suppose -4*p + 4*q + h + 0 = 0, 0 = 3*p - q - 24. Solve b + 5*s = 24, -5*s + 11 + p = 5*b for b.
-1
Let s = 14 - 11. Solve -3*f - 5*v + 0 = 1, -s*v + 13 = -5*f for f.
-2
Let g be (-7)/7 - -1*1. Solve 4*b + 2 = -5*y, 4*b + b - 10 = g for y.
-2
Let r be (8 + -11)/(1 + -2). Solve 0 = 5*a - 5*y + 5, 2*a - r*y + 2*y = 3 for a.
4
Let q = 14 - 28. Let b = q + 16. Solve -f + 5 = b*v, -8 = -2*v + 5*f + 3 for v.
3
Let v(f) = -4*f**3 + 2*f**2 - f**2 - 1 + f + 5*f**3 - 3*f**2. Let s be v(2). Solve 0 = 4*q - 2*c + 4, 2*q = q + 3*c - s for q.
-1
Let y be 18/15*(-40)/(-12). Suppose -y*q + 4 + 8 = 0. Solve -5*b = -3*d + 8, -2*d + q = 2*b - 3*b for b.
-1
Let n = -101 + 111. Solve n = -2*w - q, 0 = 2*w - 3*q - 0*q + 2 for w.
-4
Let u(w) = -5*w**2 + 12*w - 1. Let z be u(2). Let p be (-1 - -1)/(-2 + 3). Let a = 2 + p. Solve 2*b - 3*r = -3, -z*b = 4*r - a - 2 for b.
0
Suppose 0 = -2*w + t - 2, -5*w + 1 = t - 1. Solve 3*c = 2*o - 6*o + 11, w = 3*c + o + 4 for c.
-3
Let y be (-6)/(-15) + 14/(-10). Let t(k) = k**2 - k**2 - 13*k + 12*k + 5*k**2 - 1. Let q be t(y). Solve -3*h - 2*p - 25 = 0, -4*p = q*h + 32 + 13 for h.
-5
Let b = 5 - 2. Suppose 0 = -b*m + 2*m + 5. Solve 4*j = 3*h - 8, h = m*h - 2*j - 4 for h.
0
Let i be -1 - 57/(-3) - 1. Let j = i + -9. Suppose -3*k + 13 = -2*l - 0*l, 4*l = -j. Solve -3*m + 3*h - 6 = 0, 4*m = m - k*h + 24 for m.
3
Let n be 15/(-6)*(-12)/5. Suppose -3*w - 135 = -n*w. Solve -5*q - w = 6*x - x, 2*q + 4*x = -28 for q.
-4
Suppose -2*a = -8*p + 3*p + 10, 4*a = 3*p + 8. Let w(r) = -1 - r + a*r - 6 - 2*r. Let b be w(5). Solve 5*c - 11 = b*l, -2*c - 2*l = l + 4 for c.
1
Suppose 0 = -0*x + 3*x, 4*h - x - 40 = 0. Solve -5*f = -n - 0*n + 9, -2*f - h = -2*n for n.
4
Let j be (8/6)/((-4)/(-12)). Suppose 1 = -2*g + 5. Solve j*u + 7 + 8 = 5*c, -c + 9 = -g*u for u.
-5
Suppose -x = -5*a - 8, a - 4 - 4 = -3*x. Let f = 9 + -1. Suppose -3*g + l + 8 = -3, 4*l = 3*g - f. Solve g*v - 16 = -u, -4*v + x*v + 4*u = 13 for v.
3
Suppose -4*f = -0*f - 4*m - 28, m - 9 = -3*f. Suppose 4*q + 0 + 4 = 0. Let r be -2 + f + q + 3. Solve -r = 2*g + 3*v + 2, v - 5 = -3*g for g.
3
Let u be 0/4*(-1)/(-2). Suppose u = 3*k + 1 - 10. Let d(s) = -s**3 + 3*s**2 + s + 2. Let w be d(k). Solve 5*y = 3*z + 5, -y = 3*z + 4*y - w for z.
0
Let d(l) = l**2 + l + 3. Let g be d(-2). Solve 4*f - 2*z - 12 = 0, g*f - 1 - 11 = 4*z for f.
4
Suppose 20 = -5*r, 3*d - r + 4 = -5*r. Solve 2*o + 7 = j, 0 = -7*j + 4*j + o - d for j.
-3
Let l = -19 - -31. Suppose 45*n - 14*n = 155. Solve 2*p + 5*a = 34 - 14, n*p - 3*a = -l for p.
0
Suppose 0 = 7*z - 13 - 1. Solve z*y - 14 = -2*i, -9*i = -4*i - 20 for y.
3
Suppose 0*n - 16 = 2*n + 5*h, n + 2*h = -6. Let q = 2 - n. Solve q*c = -5*r + 4*c + 16, 4*c - 24 = -5*r for r.
4
Let j be (16/(-4))/(12/(-6)). Solve t = -3*b + 4 - 2, t - j = -2*b for t.
2
Let j be (-4)/(-16) + (-27)/(-4). Suppose 0 = -5*s + j - 2. Solve x = -3*p - 11, 4*x + 4 = p - s for p.
-3
Let d(x) = -2*x - 6. Let w be d(-5). Solve -4*r + w = v + 2, -4*r + 10 = 5*v for r.
0
Let d = 6 + -4. Let f(j) = -j + 4. Let k be f(4). Let c be 2 + -1 + (-1)/(-1). Solve k = -2*n + d*w - 0*w - c, -5*w = 3*n - 21 for n.
2
Suppose -a + 3 = -0*a. Solve 2*l - v + 1 = l, -a*l = -v + 11 for l.
-5
Let j be (1 + (0 - 14))/(-1). Let f(k) = 6*k**2 - 1. Let q be f(-1). Suppose q*s + 8 - 23 = 0. Solve 3*w = -o + j, 2 = 3*w - s*o + 5 for w.
3
Let q = -43 - -48. Solve -g - q = -3*b + 1, -4*g + 4*b - 16 = 0 for g.
-3
Suppose -4*i + 22 = 3*n - 22, 0 = -5*n - 3*i + 55. Let u be (-21)/(-6) + (-4)/n. Solve -2*w - w - 9 = 3*k, 0 = -u*k + w + 3 for k.
0
Let r(x) = -x**2 - 8*x - 4. Let f be r(-7). Suppose 2*k = -f*k + 10. Let y be 1*(-36)/(-6 + 3). Solve u + 3*s - y = -u, -u + k*s = 1 for u.
3
Let y = -96 + 100. Solve -4*z + 5*b = b - 40, -30 = -2*z + y*b for z.
5
Let i = -55 + 55. Solve -m = -0*m - 2*c + 4, i = -5*c + 5 for m.
-2
Suppose 0 = 2*a - a + 5, -2*a = 2*d - 14. Suppose 4*k = -16 - d. Let z = -2 - k. Solve 0 = 2*x - x + n + 4, 0 = -z*x + 3*n - 20 for x.
-4
Suppose 4*l - 18 = 2. Let p be (-246)/(-8) - (-1)/4. Suppose 4*t - 5 = 5*d + 36, -3*d - p = -4*t. Solve t*x + 4*i - l*i = 13, i - 19 = -4*x for x.
4
Suppose -2*d = v + 7, -v + 9 = -2*d - 0*v. Let u be 4/(-8) - 78/d. Let z be -2 + (1 + -2 - -8). Solve 5*h + 5*f = h + u, h - 16 = -z*f for h.
1
Let a = 4 - 4. Suppose 2*n - v - 3*v - 10 = a, 4*n + 4*v - 8 = 0. Suppose 0 = -4*o + 10 + 14. Solve n*g = -2*u + o, g - 3*g + u = -4 for g.
2
Let c = 9 + -6. Let b = 5 + -3. Solve 5*h = b*m, -h - 4*h + c*m - 5 = 0 for h.
2
Let k(y) be the first derivative of -y**3/3 + 3*y**2 + 3*y - 2. Let q be k(6). Solve -4*r - t - q = 2*t, 5*r - 3*t = -24 for r.
-3
Suppose -3*l - 20 = -8*l. Solve 2*x - l*x - 2*i = -2, 0 = -x + 2*i - 11 for x.
-3
Let k(x) = -x**2 + 3*x + 20. Let w be k(6). Solve w*m = -4*i + i - 3, -9 = 2*m + 5*i for m.
3
Let p be (0/1)/(8 + -7). Let u be (6/4)/(-3)*p. Suppose -3*q + 9 + 6 = u. Solve -5*c = 5*r - 2*r + 8, 5*r - q*c = 0 for r.
-1
Let u = -94 + 108. Solve 0 = 2*l - 2*o, o + 44 = -5*l + u for l.
-5
Suppose 0 = -4*w - w. Solve -x - 2*x - 3*m = w, 0 = -m - 3 for x.
3
Let