 + w = 2*r for r.
-2
Let m(c) = -c**3 - 3*c**2 - 3*c - 4. Let r be m(-3). Solve 0 = r*f - 7 - 8 for f.
3
Let m = 4 - 2. Let k(g) be the second derivative of g**3/6 + g**2/2 - 6*g. Let t be k(m). Solve -t*r = -r + 8 for r.
-4
Let n = 10 - 7. Suppose n*z - 40 = -2*t, 3*t - z - 80 = -t. Suppose -6 = -2*u - u. Solve -2*s = u*s + t for s.
-5
Let r = -3 - -7. Solve -4 = r*k - 24 for k.
5
Let a be (4/5)/(2/5). Solve -3*h + 2 = -a*h for h.
2
Let z = 6 - 9. Let a = -3 - z. Solve 0 = -2*x - a*x for x.
0
Suppose -4*x - 2*s + 8 = 0, 5*x - 16 = -2*s - 7. Let c = x - -2. Suppose 4*q - c = 3*q. Solve -q*n = n for n.
0
Let t(s) = s**3 - 4*s**2 - 10*s - 3. Let q(m) = -m**2 + m - 1. Let r(l) = 3*q(l) + t(l). Let a be r(8). Solve -2*j - 6 = a for j.
-4
Let f(j) = -j**2 + 3*j - 2. Let r(v) = -2*v**3 + 2*v**2 - 1. Let c be r(-1). Let n be f(c). Let d be 0/(n - -2 - -2). Solve d*p + 15 = -3*p for p.
-5
Let l(w) = w**3 - w**2 + 2. Let v be l(0). Solve -v*m - 1 = -3 for m.
1
Let r be 66/14 - (30/(-21))/5. Solve -r*m + 3*m + 4 = 0 for m.
2
Let y(z) = z + 1. Let r be y(-3). Let f be r*(-6)/(-4) - -4. Solve f = -0*v - v for v.
-1
Let r(y) = -y - 4. Let m be ((-6)/(-18))/((-1)/21). Let q be r(m). Solve 0 + 3 = q*a for a.
1
Let i(c) = c - 2. Let s be i(2). Suppose -4*o + 0*o + 8 = s. Solve o = -2*h - 0 for h.
-1
Let b(x) = x**2 - x + 3. Suppose 0 = -d + 4, 5*u - 6 = 4*d - 22. Let s be b(u). Solve -2*z - 4 = -s*z for z.
4
Suppose 0*z - 18 = -3*z. Solve -4*f + f = -z for f.
2
Let b(x) = -x**3 + 4*x**2 + 5*x. Let l be b(5). Solve l*g - g = 0 for g.
0
Let a be 1*5/4*8. Suppose -4*l = -9*l + a. Solve -3*d - l = -11 for d.
3
Let m(b) = -16*b**2 + 1. Let h be m(1). Let c be (8/(-2))/(10/h). Solve 2*q = c*q + 12 for q.
-3
Let w be 2/(-4) + ((-20)/(-8) - 0). Solve 6 = -w*j - 2 for j.
-4
Suppose -29 = -5*s - 4. Suppose -s*t + 20 = -0*t. Suppose 0 = 5*v + 2*r - 17 + 1, -3*r + 17 = t*v. Solve 8 + 0 = -v*z for z.
-4
Let g be 8*(-2 + 3/2). Let o be g/(-18) - 2/9. Solve o = -k + 1 for k.
1
Let w(l) = l - 1. Let o be w(3). Solve o*t - 6 = 5*t for t.
-2
Let k(t) = -t**3 - 12*t**2 - 13*t - 11. Let g be k(-11). Let j = -7 + g. Solve 2*p + j = -2 for p.
-3
Let s(h) = -3*h + 3. Let w be s(1). Solve 10 = 5*m - w for m.
2
Let q(g) = g**2 + 14*g + 2. Let w be q(-14). Solve w*x - 5*x - 3 = 0 for x.
-1
Let d = -1 + 5. Let n be 99/77 + d/(-14). Solve 0 + n = -r for r.
-1
Let m(h) = h**2 - h. Let p be m(-1). Suppose -p*l + 16 = 2*l. Suppose -4*i + 87 = i - 3*z, 2*i - 26 = -z. Solve l*d - i - 1 = 0 for d.
4
Let z = -18 - -20. Solve 0 = 2*r - z - 0 for r.
1
Let j be 1 + 7 + 0/1. Suppose j = o + 4. Solve -4*v = 12 + o for v.
-4
Let u be 4 - (-3 + 0 - -2). Suppose 5*g - 6 = -2*z, 0 + 15 = u*z - 3*g. Let x be (-18)/(-8) - 2/8. Solve -z*t = -13 - x for t.
5
Let g be 1 - 11/(22/(-12)). Solve -3*z - g + 1 = 0 for z.
-2
Let v be 24/(-42)*(-7)/2 + 2. Let t = 14 - 8. Let d = 22 - 16. Solve 0 = -v*z + d*z + t for z.
-3
Suppose 3*n - 3 = -15. Let b = 0 - 4. Let f be (b/(-6))/(n/(-30)). Solve -f*v = -v - 8 for v.
2
Suppose 5*x = -s + 8, -2*s + 2*x + 4 = -12. Solve -12 = -s*z + 4*z for z.
3
Let n be 336/20 - (-2)/10. Suppose -u = -3*q + 11, -5*q + 3*u + 0 = -n. Solve q*x + 10 = -6 for x.
-4
Suppose 0 = 3*i, -2*x + 10 = 3*x + 4*i. Let h be 8/10 - x/(-10). Solve -5*g + 11 = h for g.
2
Suppose -2*v - v + 15 = 0, -2*v + 4 = -2*p. Solve -o + p = -0*o for o.
3
Let p be 2/(-6)*-1*(-3 - -3). Solve 4*o + 8 = -p*o for o.
-2
Let b be (-3 + 0)/((-9)/15). Solve -2*j + 7*j = b for j.
1
Let z(w) = w - 1. Let b be z(7). Let d be (-8)/b*3/(-2). Solve d*f = f - 1 for f.
-1
Suppose 3*o - 9 - 51 = 0. Let u = o + -11. Solve 5*a + u = -6 for a.
-3
Let q(z) = 2*z**2 - 4*z + 3. Let y be q(2). Suppose -89 = -3*g + 2*p + 2*p, y*g + 5*p = 71. Solve -g + 7 = -5*t for t.
4
Let o = -24 - 3. Let a be (-38)/(-9) - (-6)/o. Solve a*s = -6 - 6 for s.
-3
Let j = -7 - -7. Let p be (-2)/(-4)*j/(-8). Suppose p = 2*u - 10 - 10. Solve n = -4*n - u for n.
-2
Suppose 2*f + 2*l = -0*l + 14, -2*f + 3*l = 1. Solve -19 - 1 = f*h for h.
-5
Suppose 0 = -3*u + 5*u + 3*h - 10, -2*u + 10 = 4*h. Let n(p) = -p**3 + 9*p**2 + 11*p - 2. Let y be n(10). Let m = y + -5. Solve -u*z = -2 - m for z.
1
Suppose -2*y + 16 = -4*x, -42 = -4*y - 2*x - 0*x. Let i = y - 10. Solve a - 5*a = i for a.
0
Let o be 5 + (-1 + -1)*-1. Suppose 0 = 7*m - 2*m. Let a = o + m. Solve 3*p + 8 + a = 0 for p.
-5
Suppose 2*o - 10 = -3*o. Let w(m) = o - 5 + 7*m - m**2 + 3 + 2. Let a be w(7). Solve -3*z + 20 = a*z for z.
4
Suppose 6*l = 2*l, 0 = -2*t - 2*l + 2. Let c be 1/(-2) + t/2. Solve -5*i + i = c for i.
0
Suppose 4*n - 18 = p + 10, -3*n + 2 = 4*p. Suppose 0 = 4*j - n*j + 6. Suppose -j*u = -1 - 14. Solve -u = -2*k - 11 for k.
-3
Let k(n) = -n - 2. Let x = 0 + 2. Let m be k(x). Let l(a) = a + 7. Let h be l(m). Solve h*p = p for p.
0
Suppose -4*y + 0*v = -v - 13, 0 = y - v - 7. Let m = 22 + -15. Solve -u = y - m for u.
5
Let m(o) = o**2 + 7*o + 7. Let n be m(-5). Let k = n - -3. Suppose k*d = -3*d. Solve d = -5*y + 5 + 20 for y.
5
Suppose -5*w + 6 = 2*y + 21, -w = -5*y + 3. Let j = 8 - 0. Let g be -9*(w + j/3). Solve -2*f - g*f - 15 = 0 for f.
-3
Suppose -5*y = -2*r - 61, 11 = -3*r + 2. Suppose 2*l - 2*t = 12, 2*t - 1 = -4*l + y. Solve 2*b + l = -6 for b.
-5
Suppose -8 = -3*n - n. Let r be (-2*(-2 - -1))/n. Suppose -r = o - 6. Solve -m - 16 = -o*m for m.
4
Let h be (-13)/(-5)*15/3. Suppose h = 4*m + 5*y - 24, 2*m - 2*y = -4. Solve -16 = o + m*o for o.
-4
Suppose 0 = j - 12 + 6. Solve j*x + 20 = x for x.
-4
Let t = -53 + 58. Solve 0*q + q - t = 0 for q.
5
Let y = 18 + -17. Solve 3*b - 13 = -y for b.
4
Suppose 0 = -9*a - 7 + 43. Solve 5 + a = 3*g for g.
3
Let z be 2*4/8 + -3. Let x(i) = 2*i**2 + 1. Let u be x(z). Solve -3*j - u = 6 for j.
-5
Suppose 5*u + 3*y = -37, -4*y = -4*u + 10 - 46. Let h = -8 - u. Solve 2*c + c - 12 = h for c.
4
Let n = 27 + -21. Solve n + 3 = -3*k for k.
-3
Let q = 27 + -27. Solve 2*u + 3 + 1 = q for u.
-2
Let l = 3 + 2. Solve -1 - 14 = -l*t for t.
3
Let h be (-7)/(-14) - 2/(-4). Solve 5 = -2*c - h for c.
-3
Let x(w) = w**3 + 5*w**2 + 2*w - 4. Suppose 5*f - f - 20 = -2*k, 5*k + 3*f = 15. Suppose -4 = m - k. Let h be x(m). Solve h = 6*j - 2*j for j.
1
Let z = -1 - -3. Suppose -6*y + z*y + 8 = 0. Suppose 0 = 3*m - m - y. Solve -2*n - m = 3 for n.
-2
Let a = 23 + -13. Let r be ((-3)/2)/((-3)/a). Solve -r = 2*v - v for v.
-5
Let k be (-3)/(-1) + 1 - -1. Solve w - 8 = k*w for w.
-2
Suppose 0 = -2*t + 9 - 3, 2*v + 5*t = 55. Solve v = -2*l + 6*l for l.
5
Let u(r) = 7*r - 2. Let k(n) = 11*n - 3. Let v(h) = 5*k(h) - 8*u(h). Let w be v(-2). Solve -3*q = -0*q + w for q.
-1
Let n be -6*5/(15/4). Let k = n - -11. Suppose 0 = d - k*d + 2. Solve 2 = i + d for i.
1
Let s(w) be the first derivative of w**4/4 + 7*w**3/3 - 4*w**2 + w + 1. Let k be s(-8). Suppose -t + 3 = -o + k, -4*t + 6 = -3*o. Solve t = 2*g + g - 15 for g.
5
Let o(a) = a**3 - 4*a**2 + 3*a + 2. Let u be o(3). Solve -l = 1 - u for l.
1
Let k(u) = -u**2 - 6*u - 8. Let m be k(-7). Let y = -11 - m. Let o be (y - 6) + 0 + 5. Solve -z - 2 = -o for z.
1
Let l = -38 - -46. Solve -p - l = p for p.
-4
Let l = -4 + 6. Suppose 3*i + v - 6*v = 0, -2*i = v. Solve l = w - i for w.
2
Suppose -g + 6*g = 20. Solve q = -g*q for q.
0
Let j = 3 + 1. Suppose 4*p - j*i + 5*i = 15, -4*p + 40 = -4*i. Solve -2 = -p*y + 4*y for y.
2
Suppose u - 15 = -3*h, 0 = -h + 2 + 3. Suppose -v - 2*v + 18 = u. Solve 4*l + 14 = -v for l.
-5
Let f(v) = 12*v**2 - 1. Let n be f(1). Suppose -5*i - 2*j - 18 = 0, -i + 4*j = -n - 3. Let l be (i/(-4))/((-4)/(-8)). Solve -t + 3 = l for t.
2
Suppose -13*c + 10*c + 15 = 0. Suppose 2*f - 3*s + 12 = 0, 3 = -2*f + 2*s - c. Solve f = -0*j - 2*j + 10 for j.
5
Suppose -2*g + p + 12 = -2*p, -4*p = 16. Suppose -5*l + 4*b + 0*b + 22 = g, 3*l + 3*b = 24. Suppose 4 = -x + l. Solve -15 = x*a + 3*a for a.
-3
Let s(g) = g**2 + 4*g - 4. Suppose 5*k + 2*h = -2*h - 46, -5*k = -h + 26. Let i be s(k). Solve 0*v - 4*v + i = 0 for v.
2
Let x = -19 - -13. Let h(w) = w**3 + 7*w**2 + 5*w - 3. Let a be h(x). Let j = a - 1. Solve 0 = j*b + 14 - 4 for b.
-5
Let h = -36 - -12. Let n be (h/(-16))/(2/4). Solve -c = -2*c + n for c.
3
Suppose -3*a - l - l = -8, 0 = a + 4*l - 16. Suppose a = u - 2*g - 2, 5*g + 0 = 2*u - 3. Let m be (3/(-5))/((-3)/30). Solv