e -2 = 4*h + l for h.
-4
Let t = 4 + -4. Suppose -5*u = -o + 23, 0*o + 4*u = -3*o - 7. Suppose -y = -o - 0. Solve t = y*j - 0*j for j.
0
Let y = 9 + 0. Suppose 3*i + 0 - y = 0. Solve -i*d - 13 + 4 = 0 for d.
-3
Suppose 26 = j + 6. Let b = 16 - 23. Let t = b + j. Solve -4*q + t = -7 for q.
5
Let j be (-447)/(-21) + 10/(-35). Solve 5*l = 1 - j for l.
-4
Let l = 5 - 3. Suppose -m - 3 - l = 0. Let o be 12/2 + m + 3. Solve -o*h - 7 = -23 for h.
4
Let p be (-1)/((-6)/(-9) - 1). Let z(y) = y + 1. Let f be z(3). Suppose -f*i - 4 = -d - 13, -p*i = -3*d. Solve d*t + 0*t = 0 for t.
0
Suppose c - 5*x = -22, -4*c + x = -x - 2. Suppose -2*y + c*y - 5 = 0. Solve -4*w = y - 1 for w.
-1
Suppose 2*r + 1 = -5. Let a be 4*(r/2 + 2). Suppose -6 = -3*q + p, 3*q - a*q - 5*p + 12 = 0. Solve 0 = -q*u - 2*u - 10 for u.
-2
Let o = -4 - -7. Suppose -4*f + 3*h = -16, o*h + 0 = -3*f + 12. Let u be (-3 + 3)*2/f. Solve u = 4*k - 3 - 9 for k.
3
Suppose -5*r = 5*v + 20, 3*r + 12 = -r. Let l = v + -1. Let s = l - -5. Solve -j + s*j - 4 = 0 for j.
2
Suppose 6 = 2*x + 2. Let b = 2 - x. Solve -2 = 2*r - b for r.
-1
Let p be (-462)/(-48) - 6/(-16). Let f = 15 - p. Solve -f*u = -3*u - 2 for u.
1
Let i = 14 - 10. Let c(q) be the first derivative of q**3/3 + q**2/2 - q - 1. Let k be c(-3). Solve 0 = i*n - k*n for n.
0
Let o = 1 + -3. Let u be 1 + (-4)/2 + o. Let t(m) = -m**3 - 3*m**2 - 2*m - 4. Let n be t(u). Solve 0 = -r + n*r + 5 for r.
-5
Let g = 154 - 154. Solve g = 4*m + 4 - 0 for m.
-1
Suppose 3*f + 4*l - 34 = -l, -2*f + 12 = -2*l. Suppose -5*n = -f*n + 6. Solve -n*h - h = 15 for h.
-5
Suppose -8 = -2*s - 4*f, -2*s - 2 = -f - 0. Suppose 2*o = 3*o - 6. Suppose r - 20 = 5*i, 37 = 5*r - 3*i - 41. Solve s = -o*m + m + r for m.
3
Let r(m) = m**2 - 7*m - 12. Let h be r(9). Suppose z - 3 = h. Solve 2*d = -d - z for d.
-3
Let v(a) = -9*a - 9. Let w be v(-9). Suppose -3*p + m + 38 = -4, -4*p = 4*m - w. Solve -5*u + 0 - p = 0 for u.
-3
Suppose 0 = 5*k - 53 + 8. Suppose 0*x - k = -x. Suppose 3*t = -3*d + x, -5*d = 4*t - 4*d - 9. Solve -t*j + 0*j = 0 for j.
0
Suppose -2*v + 3*l + 28 = 7*l, 5 = v - l. Suppose -k = k - v. Solve k*b + 2 + 2 = 0 for b.
-1
Let b = 17 - 8. Let z = 0 + b. Solve u + z = 4*u for u.
3
Suppose 74*o = 76*o. Solve 4*h + 8 = -o*h for h.
-2
Suppose -2 = -f - 0. Solve -v + f = v for v.
1
Suppose 5*y = -1 + 16. Solve 4*t = -y - 5 for t.
-2
Let g = 2 - -3. Suppose 0 = -5*i - 5*j + 28 - 3, j - g = 2*i. Solve -2*l = -i*l - 10 for l.
5
Let b be -1 + 1 - 36/(-18). Solve -5*f - 12 = -b*f for f.
-4
Let o = 175 - 175. Solve -f - 5 = -o*f for f.
-5
Suppose 0 = -k - 2*t, 0 = 4*k - 5*t - 1 - 12. Suppose 0 = 5*j - 2*j. Solve j*h = k*h for h.
0
Let t = -5 + 11. Suppose -2*h + 0*h + t = 0. Suppose -2*r = 5*m + 1 - 5, 3*m + 4 = 2*r. Solve m*d - h*d = -12 for d.
4
Suppose 0 = 4*z, -5*z = -7*v + 4*v + 9. Let g(d) = -d**2 + 4*d - 1. Let w be g(v). Let y be (-25)/(-35) - w/(-7). Solve 0 = o + y for o.
-1
Suppose 4*u = -3 + 15. Solve 0 = -2*z + 3*z - u for z.
3
Suppose 2*m - 10 = 2*o, 2*m = -2*o + 6*m - 20. Solve p + o*p = 0 for p.
0
Let l be 0*(-3)/12*-1. Solve l = -4*s - 18 + 6 for s.
-3
Let h be 7 - 4/6*3. Let c(q) = 2*q. Let l be c(h). Suppose 5*r - d - 3*d = 20, -2*d - l = -5*r. Solve 3*g = -r*g - 9 for g.
-3
Let z = -1 + -1. Let f = z + 1. Let v be 42/15 + f/(-5). Solve -5*i - 8 = -v*i for i.
-4
Let m(o) = -3*o - 16. Let y be m(-7). Solve y*d + 1 + 4 = 0 for d.
-1
Let r(h) = -h**3 - 4*h**2 + 2*h + 6. Let m be r(-4). Let y be 45/6*m/3. Let s = -3 - y. Solve s*i + 3 = -5 for i.
-4
Suppose -2*t + 6 = 2. Solve -6*l + 4 = -t*l for l.
1
Let n(q) = q + 3. Let o be n(0). Solve -4*m + 5 = -o*m for m.
5
Suppose -3*j + 0*q = 3*q - 3, -j - 8 = 4*q. Let t = j - -1. Solve -t - 1 = -2*y for y.
3
Suppose 5 - 21 = -4*z + h, -5*z + h = -20. Solve z*m = 2*m for m.
0
Let k(o) = 3*o - 3. Suppose -5*v + 25 = -10*v, 3*v = 3*b - 24. Let l be k(b). Solve -3*n - 12 = -l*n for n.
4
Let c = 8 - -4. Suppose 0 = 5*w - 15, 4*w - c = 3*i - 0*i. Solve -l + 5*l - 16 = i for l.
4
Let k(z) = z + 20. Suppose 5*i + 20 = -5*m - 50, -5 = m - 2*i. Let c be k(m). Let p be 11/4*(-5 + c). Solve -31 = -5*q - p for q.
4
Suppose 0 = -3*w - 1 + 7, 0 = -4*f - 3*w + 106. Let d = -10 + f. Solve 0 = 4*u + u + d for u.
-3
Let w(k) = -6*k + 6. Let r be w(4). Let v = 2 + 1. Let g be r/(-8) + v/(-12). Solve 0*n = -g*n for n.
0
Suppose 5*i = 2*f, -2*f + 9 = i - 3. Suppose -2*v - v = -4*d + 4, 0 = i*v + 4*d + 16. Let c = 6 + v. Solve -11 = 3*h - c for h.
-3
Suppose c - 18 = 3*g, 4*g + 22 = c - 0*g. Solve c*k = 2*k + 16 for k.
4
Suppose -2*a = 3*t, 3*a - 2*t = -t + 22. Let k be -8*(-9)/a*1. Let i be 4/(-6) + 248/k. Solve -5*s = -s - i for s.
5
Suppose -l = -5 - 4. Suppose -l*i + 4*i = -5*b - 35, -3 = b. Solve -i*u = -29 + 9 for u.
5
Let q(u) = 2*u + 22. Let b be q(-10). Solve 3*v = -b*v for v.
0
Let q(f) = f**2 + 6*f + 7. Let d = -6 + 1. Let b be q(d). Solve 3*y - b*y = 4 for y.
4
Let b(f) = -f**2 - 2*f + 11. Let u be b(0). Solve -u = -3*y - 2 for y.
3
Let n be (-3)/5 - (-63)/5. Let s be -2*6*(-4)/3. Suppose w = -3*w + s. Solve -n = -m + w*m for m.
-4
Let n = -59 + 84. Let d be 30/4 + (-15)/10. Solve -d*h + n = -h for h.
5
Suppose h - 3 = -0. Let u(q) = -q**2 + 2*q + 4. Let m be u(h). Solve -m - 1 = -b for b.
2
Suppose -2*m + 21 = -21. Let j be (-92)/(-14) + 9/m. Solve 0 = -5*a + j + 3 for a.
2
Let a = -7 - -10. Suppose -3*b - 13 = -2*w, 6*w - a*b = 2*w + 11. Let y = w + 3. Solve 4 = -y*q - 6 for q.
-5
Let v = -14 + 21. Suppose -2 = q - 5, -5*b + q + v = 0. Solve b*x + 3*x = -10 for x.
-2
Suppose -k = 4*k - 20. Solve 0*a - k*a = 8 for a.
-2
Suppose 10*v = 5*v + 15. Let g be 2 + (-2 + v - 1). Solve w - g*w = 2 for w.
-2
Let w = -35 - -36. Solve w = -3*z + 10 for z.
3
Let z be 166/12 + (7/6 - 1). Solve 5*y + 6 = -z for y.
-4
Let u = -5 - -8. Let a = 7 - 3. Solve a + 2 = -u*r for r.
-2
Let d(b) = 3*b**2 - b - 2. Let r be d(1). Solve 4 = -2*c - r*c for c.
-2
Suppose 0 = 2*n - 6*n - 5*a + 11, 3 = n + a. Solve -v = v + n for v.
-2
Let s(o) = -o**2 - 2*o - 1. Let i be s(-1). Suppose 3*g + 13 - 1 = i. Let d be g/(-6)*6/2. Solve -d*x + 2 = 6 for x.
-2
Let x be 3 + (-10 + 13)/((-6)/(-4)). Solve x*f + 26 - 1 = 0 for f.
-5
Suppose -4*n + 2 = 3*g - 2*n, -3*n = -4*g + 31. Solve -c + 0*c + g = 0 for c.
4
Suppose 2 = -4*i - t, -3*i - i + 2 = -t. Solve -n - 1 + 0 = i for n.
-1
Let d = -65 + 69. Let i(m) = -m - 10. Let p be i(-10). Solve -d*f - f - 20 = p for f.
-4
Let s be (-1)/(1/(-1))*0. Let v(g) be the second derivative of -g**5/10 + g**4/12 + g**3/6 + g. Let t be v(-1). Solve s = q - t*q for q.
0
Let d(c) = -4*c**2 - c. Let y be d(-2). Let x be (-2 - y)*2/6. Solve -x*h - h = 0 for h.
0
Let d be (8 - 2)/3 - -4. Solve 3*l = d*l for l.
0
Let v = -45 + 45. Solve v = -u + 2*u for u.
0
Let r(m) be the first derivative of m**3/3 - m**2/2 - 2*m + 3. Let i be r(4). Suppose -k - 2*k + i = 5*o, -2*o = -5*k - 4. Solve 4*l = 20 - k for l.
5
Suppose 2*q + 0*q = 2, 4*n + q + 475 = 0. Let s be (-1)/4 - n/28. Solve 3*y - s = 8 for y.
4
Let t(q) = -6*q**2 + q**3 - 5 - 3*q - q + q**2 + 5*q. Let j be t(5). Solve 6*a - a = j for a.
0
Suppose p = 2, 0*p = -3*o - 3*p + 15. Solve 7*x - 12 = o*x for x.
3
Let c = 11 + -8. Solve -4*z - c + 19 = 0 for z.
4
Suppose -2*n - 14 = -4*u, 0 = -4*u + 6*u + 3*n - 19. Suppose -u*i + 20 = -5*y, 3*i - y = 4*i. Let g = -4 - -10. Solve i = 4*z + g for z.
-1
Let c = -47 - -50. Solve 9 = c*m - 0*m for m.
3
Suppose 6*s - 5*s = 0. Suppose s = -2*m + m + 8. Solve -a - a = m for a.
-4
Let o = 14 + -12. Solve s = -o*s for s.
0
Let z be 4/10 - (-56)/10. Let r be 4/6*78/(-2). Let o be (-4)/r - 4/26. Solve z = -o*d - 3*d for d.
-2
Suppose -3*f - 4 = -5*f. Let m(z) = z**3 - 2*z**2 - 2*z + 3. Let x be m(3). Let y be (x*1)/(-3 - -5). Solve y*r = f*r for r.
0
Let n(i) = i**2 + 12*i + 21. Let k be n(-10). Solve 0 = -2*l - k + 11 for l.
5
Let a be (-2)/6 - 57/(-9). Solve -a*z = -3*z for z.
0
Suppose 3*f - 21 - 15 = 0. Solve -3*i = i + f for i.
-3
Suppose 0*z - 2*z = -4. Suppose g - v + 13 = -4*v, -z*v - 18 = -4*g. Let y = -4 - -6. Solve g*o - o + y = 0 for o.
-2
Let w(j) be the third derivative of -j**6/120 + j**4/12 - j**3/6 + j**2. Let h be w(1). Solve o - 5*o - 16 = h for o.
-4
Let z be (3 - (-3)/(-6)) + 1/(-2). Solve -z*p = -0*p - 8 for p.
4
Suppose 5*k = 