 m = -2*k for k.
-3
Let p = -29 + 34. Solve 0*g = p*g + 5 for g.
-1
Let p be 3/(-6)*1*-2. Let g be (0 - (1 - 0)) + p. Suppose g*u + 2 = u. Solve u*k + 4 = 14 for k.
5
Let r be (-1)/(-6) - (13/6)/13. Solve -3*b + 12 = -r for b.
4
Let b be (-8)/(-20)*10 - 3. Let v = -10 + 7. Let z = -3 - v. Solve b = -z*h + h for h.
1
Let p(k) = k**2 + 8*k + 8. Let u be 21/(-6)*(0 - -2). Let v be p(u). Solve o + 0 = v for o.
1
Suppose -2*d + 16 = -4*k, -6*d - 2*k = -d + 8. Solve -3*w = -d + 6 for w.
-2
Let g(m) = -m + 14. Let j be g(11). Suppose 5*t - 2*x - 13 - 18 = 0, 4*x = j*t - 27. Solve -t*c - 9 = 6 for c.
-3
Let b(v) be the second derivative of -v**5/10 - v**4/6 + v**2/2 - 3*v. Let t be b(-1). Solve -3*p + 4*p - t = 0 for p.
1
Let h = 1 - -1. Let x be 2/1 - (2 + 0). Let i = x + h. Solve -m + 2 = -i for m.
4
Let i = -17 - -13. Let f be (((-72)/i)/2)/1. Solve -h + 4*h = -f for h.
-3
Suppose -5*o + 29 = u, 2*o + u - 24 = -2*o. Suppose 0 = -5*k + 2*s - 48, k + o*s + 6 = 18. Let v be 21/4 - (-2)/k. Solve 15 = -2*r + v*r for r.
5
Suppose 0 = 5*q - 10 - 0. Solve -3*r + 2*r = -q for r.
2
Suppose -3*v - 6 = -2*v - 2*k, -4*v - 15 = -5*k. Let z = -3 + 5. Suppose -3*t - z*o = o - 6, v = 3*o + 6. Solve t = -0*f + 2*f for f.
2
Let t(i) = 6 - 5*i + 0*i + 4*i. Let q be t(5). Solve -1 = 2*u + q for u.
-1
Let p(h) = 7*h - 5. Let i be p(5). Suppose 8*z - i = 3*z. Let b = -17 + 21. Solve b*n + z + 14 = 0 for n.
-5
Let o be (-6)/5*40/16. Let b = -2 - o. Solve -2*n = -3*n - b for n.
-1
Suppose 3*y - 16 = 2. Solve 5*b = 2*b - y for b.
-2
Let a(p) = -p**2 + 11*p - 7. Let d be a(10). Suppose 2 = d*u - 7. Suppose -3 = -u*o + 9. Solve o*i = 5*i for i.
0
Suppose 25 = -f + 6*f. Suppose s = -4 + f. Suppose 0 = -5*q - 5*x - 4 + 14, -3*x = 2*q + 1. Solve -2*o + q = s for o.
3
Let j be -5*1*((-330)/25)/11. Let z = 10 + -4. Let m = z + -1. Solve -16 + j = -m*q for q.
2
Let z(h) = h**3 - h**2 + 2*h - 5. Let b be z(2). Solve -x - b*x = 0 for x.
0
Let w be (-126)/(-24) - (-2)/(-8). Let d be (-12)/(-15)*w/2. Suppose 0 = 3*j - 5*n - 52, 0*j = j + d*n + 1. Solve 4*z + j = z for z.
-3
Let b(g) = -g**2 + 8*g - 9. Let t be b(6). Let m be (-1 + t - 1)*1. Suppose m - 5 = -a. Solve -2*w + a = -6 for w.
5
Let z(b) = -b**2 - 10*b - 10. Suppose -5*f + 7 = -23. Let g be 12/4*(-16)/f. Let i be z(g). Solve -i*n + 20 = -n for n.
4
Let s(d) = d**3 + 8*d**2 + 7*d - 7. Let w be s(-7). Let y = 13 + w. Let j(l) = 16*l - 1. Let u be j(1). Solve -y*h = -h - u for h.
3
Let c be (4/(-8))/((-1)/10). Suppose 0 = -c*t + a + 5, -2*t - 5*a = t - 3. Suppose -t = -4*l + 7. Solve 0*u = l*u for u.
0
Let b = -22 - -37. Solve 2*p + b = -p for p.
-5
Let v = 33 - 31. Solve -6*p = -v*p - 16 for p.
4
Let a(q) = -2*q - 5. Let k(n) = -6*n**2. Let c be k(1). Let l be a(c). Solve 1 = -2*w + l for w.
3
Let x(f) be the second derivative of 5*f**3/3 + 5*f. Let w be x(1). Solve -5*q - w = -35 for q.
5
Let a = 20 + -18. Solve 0 = i + a*i - 9 for i.
3
Let x be ((-3)/2)/((-4)/120). Suppose 7*o = 4*o + x. Solve -2*z = 3*z + o for z.
-3
Let a(k) = 2*k - 4. Let y(j) = -2*j**3 - 2*j - 1. Let w be y(-1). Let z be a(w). Solve z*l = -2*l + 12 for l.
3
Suppose -5*r + 20 = -0*q + 5*q, 0 = 3*r. Solve 0 = q*f - 3*f + 3 for f.
-3
Let m be (3 - (-1 + 1)) + -2. Let d be (-560)/(-252) - (1 - (-7)/(-9)). Solve -d*l = 5 - m for l.
-2
Suppose -4*f + 4 + 3 = 5*n, 5*n = 4*f + 23. Solve -2 = n*z + 1 for z.
-1
Let q = 48 + -47. Solve 4*a - q - 7 = 0 for a.
2
Let z(l) = -18*l - 8. Let h be z(-1). Solve 0*x = 5*x + h for x.
-2
Let l(p) be the third derivative of -p**4/12 - 2*p**3 - 3*p**2. Let o be l(-8). Let q(h) = h**3 + 2*h**2 + h. Let x be q(-1). Solve x*s + o*s + 4 = 0 for s.
-1
Let t(o) = -2*o**2 + o + 0*o**2 + 0*o**2. Let g be t(1). Let j = 3 - g. Solve v = -v - j for v.
-2
Let v be -5 - (-1 - 1) - -7. Suppose -t - 4 = 4*g, -3*g - 6 = -t + v. Solve -4*d + t = -2*d for d.
2
Let q = 10 + -7. Suppose 0 = -4*h - b + 10, -h = -4*b + 15 - 26. Solve 0 = -h*j - 6 - q for j.
-3
Let g = 2 - -2. Solve -10 = g*l + 10 for l.
-5
Suppose 3*t - 4*t = 4. Let j be (-3 - -5)*6/t. Let k = j + 8. Solve 0*g = k*g - 20 for g.
4
Let x(z) = -11*z**2 + z. Let c be x(1). Let t = c + 10. Solve t = -k - 5 + 2 for k.
-3
Suppose -4*g + 9*g = -2*i + 8, 0 = -2*g - 5*i - 1. Suppose 2*l - 5*y + 4 = -0, y = -5*l + 17. Solve -p = -l - g for p.
5
Let l be 5/4*(-11 + 15). Let w = 2 + -3. Let c = w - -1. Solve l*k - 13 - 7 = c for k.
4
Suppose 5*j - 5*o + 145 = 0, -3*j + o = -3*o + 86. Let r be (-10)/j + 14/3. Solve -22 = -r*l + 3 for l.
5
Let i(m) = m**3 + 10*m**2 + 9*m + 5. Let b = 1 - -2. Suppose b*r = -2*r - 45. Let x be i(r). Solve 2*q = x*q + 15 for q.
-5
Let t = 119 - 101. Solve 2 - t = -4*h for h.
4
Suppose -2*j - 5 = -1. Let c be (j + (-1)/(-2))*-2. Solve 2 = 5*o - c*o for o.
1
Let k(j) = -j**3 + 8*j**2 - 10*j - 10. Let x be k(6). Let w = 1 - -2. Solve -w = -x*i - 1 for i.
1
Suppose 0 = 2*t + t - 4*t. Solve t*k - 2*k = 10 for k.
-5
Suppose 4*z = -o, -o - 2*z = -4*z - 6. Solve -o*u - u = 0 for u.
0
Suppose 3*l + 66 = -6. Let g = -13 - l. Suppose 2*c - g = 19. Solve c = 5*h - 10 for h.
5
Suppose -5*h = -0 - 10. Suppose -a + 3 = -h. Solve 0*i - a*i + 20 = 0 for i.
4
Let s(j) = j**2 + 11*j + 12. Suppose 4*t + 5 = -4*h - 19, -5*t = -h - 30. Let f be s(h). Solve 3 + 5 = f*i for i.
4
Let w(v) = v + 3. Let o be w(-2). Solve -5*x - o = 9 for x.
-2
Let h be (-3 + 7)*(0 + 1). Let f be 4/(-6) + 8/3. Suppose y + f*q - 18 = 6*q, 16 = y - 2*q. Solve -h*a + 2 = y for a.
-3
Let i(c) = c**3 - 8*c**2 + 7*c + 4. Let t be i(7). Suppose 3*u = t*l - 2 + 9, 5*u - 4*l = 9. Let f = 3 + u. Solve 0 = -f*w + 2 - 14 for w.
-3
Suppose 0 = -4*w + w. Let a = 2 - w. Let i(z) = 3*z**2 - 2*z - 2. Let o be i(2). Solve k = -o + a for k.
-4
Suppose -2*k + 0*k + 14 = 0. Suppose k = b + 5. Solve -4*l = 14 + b for l.
-4
Let f = 3 - -12. Suppose -4*a - 3*s - f = 0, 4*a - 6*s + s - 25 = 0. Solve 3*o + 0*o + 15 = a for o.
-5
Let x be -1*((-10)/5 - -2). Solve -3 = 3*i - x for i.
-1
Let a(n) = n**2 + 4*n + 4. Let d(s) = 2*s + 7. Let o = -12 - -7. Let t be d(o). Let w be a(t). Solve -5*b + 11 = w for b.
2
Let u(k) = k - 8. Let a be u(11). Solve a*g = -g for g.
0
Let m(b) = b**2 + 1. Let o be m(-1). Let w be (0*o/(-4))/(-1). Suppose -n = -w*n. Solve -4*a = -n*a for a.
0
Suppose -30 = -5*o + 5*q, -7*o = -2*o + 5*q. Let l be ((-6)/(-4))/(o/4). Solve -6 = -4*b - l for b.
1
Let s(g) = 4*g - 11. Let r be s(9). Suppose 0*p + r = p. Solve d - p = -4*d for d.
5
Suppose -4*c + 45 = 3*l + 2*l, -2*c + 10 = 0. Solve 8 = l*j - 17 for j.
5
Let m = -10 + 12. Suppose 3*o = -5*l - 33, -2*o - 2*l - 18 = -0*o. Let q be (o/5)/(3/(-10)). Solve 6 = -q*h - m for h.
-2
Suppose -2*n = 5*b - 52, 13*n - 3*b - 20 = 11*n. Suppose -c + 3 = -2*h + 2*c, 21 = 3*h + 4*c. Solve h*m = -m - n for m.
-4
Suppose 5*q + 25 = -4*z - 27, 0 = 4*q - 4*z + 20. Let n(l) = -l**2 - 8*l + 4. Let i be n(q). Solve 2*t - i = t for t.
4
Suppose -i - 14 - 3 = -2*u, 0 = 4*i - 12. Solve u = 2*c - 0 for c.
5
Let p be (3 - 0) + (7 - 8). Solve 0 = -2*x + 2 + p for x.
2
Suppose -22 = -3*u + 5*q, 0*u + 22 = 4*u - 3*q. Let x = -2 + 6. Suppose 6*i - x = u*i. Solve 0 = i*w + 11 - 3 for w.
-4
Let w be 0 + -3 - (-1)/(-1). Let j be ((-2)/2)/(w/44). Let i = j - 6. Solve -r + i*r = -20 for r.
-5
Suppose 15 = -3*l, j + 4*l + 0 + 18 = 0. Suppose -2*n + 2 = 8. Let g be (4/n)/((-6)/9). Solve -g*t = j*t - 4 for t.
1
Suppose 12 = c + 9. Solve 6*a - 3 = c*a for a.
1
Suppose 0 = -35*y + 40*y - 20. Solve y*m = m - 3 for m.
-1
Let t(u) = -2 + 5*u - 12*u**2 + 20*u**2 - 8 + u**3 + 0*u. Let y = -5 - 2. Let p be t(y). Solve -p*w - w = 0 for w.
0
Let h(s) = s**3 - 6*s**2 + 2*s - 8. Suppose -3*i + 1 = -17. Let p be h(i). Solve -22 + 6 = p*v for v.
-4
Suppose -i + 6 + 14 = 0. Let z(g) = g**2 + 14*g + 17. Let x(t) = 3*t**2 + 41*t + 50. Let q(l) = 4*x(l) - 11*z(l). Let v be q(-9). Solve 9*d = v*d + i for d.
4
Suppose -3*g - 12 = 2*k, -4*k - 4*g = -8*k + 16. Solve -2*z + 4*z = k for z.
0
Suppose -5*j = -0*i + 5*i + 10, 5*i + 26 = 3*j. Suppose 3*h = -j*h. Let t be 4/2 + h/3. Solve -t*f = f for f.
0
Let b be -10*((-4)/(-8) - 1). Suppose 4*i = 3*i + 3. Suppose b*u - 14 = 2*u - z, i*z - 15 = 0. Solve 0 = 3*r - 0*r - u for r.
1
Suppose 0*x - 12 = -3*x. Let u = 4 - x. Let s be (u - 2)*1/(-2). Solve -s = -0*y + y for y.
-1
Let 