- c = 0 for m.
-3
Suppose 0 = -2*y + 2 + 2. Solve -y*x - x - 3 = 0 for x.
-1
Suppose -2*x = -x + 4. Let d(b) = 2*b - 3. Let m(t) = 4*t - 5. Let r(o) = x*m(o) + 9*d(o). Let w be r(5). Solve 9 = -w*s - 0 for s.
-3
Let m(r) = 4*r + 1. Suppose -3*v + 2*v = -1. Let y be m(v). Suppose 0 = y*h - 4*h. Solve h = 4*i - 5*i - 4 for i.
-4
Suppose -2 = 4*p + t, 3*p = 3*t - 7*t - 8. Solve 3 = -g - p*g for g.
-3
Let d = 3 - 2. Let r = -13 - -18. Suppose 5*j + r = 20. Solve -j + d = -n for n.
2
Suppose 0 = -d - 2 + 3. Solve 4 = -3*q + d for q.
-1
Let p(u) = u**3 + 2*u**2 - u. Let h be p(-2). Suppose -4*r + 6 = 3*f + 1, -h*f - 3*r = -3. Solve -f = n + 2*n for n.
-1
Suppose -4*l - 4 = -5*b, -5*l - 5 = -b + 3*b. Suppose 3 + 3 = 3*y. Let d(n) = n**3 - 2*n**2 + 2*n. Let f be d(y). Solve f*j + b + 4 = 0 for j.
-1
Suppose 5*x - 22 = -2*h, -2*x = -3*h - 6*x + 26. Let i be (-5)/(-6)*2*3. Suppose -i*l = -5*t - 5, 4*l + 0*l = t + 10. Solve t*d - 8 = h*d for d.
-2
Suppose 5*s = 2*l - 55, l = 2*s - 7*s - 10. Let p be -2*(-4)/6*l. Solve -2*b - 2*b - p = 0 for b.
-5
Suppose -4*t = 3*y, 5*y - 5*t + 2*t = 0. Solve -h - h = y for h.
0
Let w(f) = f + 10. Let t be w(-6). Solve 3*h = t*h - 4 for h.
4
Let g = 64 - 29. Let y be (4/(-7))/((-10)/g). Let p = 2 - y. Solve -z + 8 - 3 = p for z.
5
Let v be (10/4)/((-6)/(-12)). Suppose 0 = -v*c - 5*t + t, 0 = -c - t. Solve 5 = -p - c*p for p.
-5
Suppose 3*m - 9 = 0, q - 36 - 20 = 2*m. Let w = q - 38. Suppose 0*g - 4*g = -w. Solve -3*p + g = 15 for p.
-3
Let q = 0 - 0. Let o = 7 + -6. Let z = o - -4. Solve -z*c - 10 = -q*c for c.
-2
Suppose 0 = -4*r + r - 9. Let u(s) = -11*s - 4. Let h be u(r). Suppose 3 - 2 = -k, -5*b + h = k. Solve -b = 3*a - 5*a for a.
3
Let r = 51 - 47. Solve r*s - 3*s - 5 = 0 for s.
5
Let j be (10 + -4 + 4)*2. Solve 0 = -p - 4*p + j for p.
4
Let z be 2/6 + (-4)/(-6). Solve z + 3 = -i for i.
-4
Let q(v) be the third derivative of -v**4/24 - 2*v**3/3 + v**2. Suppose -4*f - 21 = -f. Let a be q(f). Solve w - a = -0 for w.
3
Suppose 5*a + 0*a - 15 = 0. Suppose -g + 3*g + 10 = 0, -a*x = 5*g + 124. Let h = -23 - x. Solve 0 = i + i + h for i.
-5
Let y(b) = -b - 3. Let a(u) = 1. Let m(t) = -5*a(t) - 2*y(t). Let s be m(-6). Let p be (-1)/(-4) + s/(-4). Solve l = -p*l for l.
0
Let h = 47 + -23. Suppose -4*l + r = -16, -3*l + 0*r = r - 12. Solve 5*b - l = -h for b.
-4
Let w(z) = 2*z. Let t be w(1). Let f be (-5)/(-6) + 3/18. Solve k = t + f for k.
3
Suppose -30*n + 20*n + 80 = 0. Let s(b) = b**2 + 7*b + 8. Let z be s(-6). Solve n = z*i + 2*i for i.
2
Let b = 13 - 8. Suppose 2*y + 3*y - 82 = -3*m, -b*y - m = -74. Let l = y + -10. Solve l*r = r - 3 for r.
-1
Let l(v) = -2*v - 1 + 8*v + v + 7*v + v**2. Let q(r) = -r**2 - 13*r. Let x(a) = 6*l(a) + 7*q(a). Let s be x(-5). Solve 5*c + 21 = -s for c.
-5
Suppose 3*h - 11 + 2 = 0. Suppose a + 2*y = 8, -3*a = -2*y + h*y - 9. Solve 0 = -a*q - 3*q - 15 for q.
-3
Suppose -2*l = -2*b + 4, -l = -0*l - 3. Let w = 10 + -13. Let a = b + w. Solve a*f + 2 = -0 for f.
-1
Let z = 8 - 15. Let w = 13 + z. Solve -5*f - 19 = w for f.
-5
Let u(p) = 4*p - 1. Let c be u(1). Solve -5*f + 2 = -c for f.
1
Suppose 5*g = -5*h + 25, g - 3*h = 3*g - 10. Solve 4 = -g*k - 1 for k.
-1
Suppose 5*z - z = 0. Suppose z = -2*o - 0*o. Suppose -g = -o*g - 3. Solve 0 = -g*f + 2 - 8 for f.
-2
Let s(d) = d + 2. Suppose -z + 5*j + 21 = 9, 0 = -4*z - 4*j. Let v be s(z). Solve 0 = o + v*o + 15 for o.
-3
Suppose -4 - 2 = 3*m. Let g = 3 - m. Let b(x) = x**2 + 3*x - 1. Let o be b(-6). Solve -8 = g*k + o for k.
-5
Let b = -15 + 16. Solve b = -3*a - 2 for a.
-1
Let o(z) = -3*z**2 + z + 5*z**2 + z**2. Let b be o(1). Solve -b*m - 1 = 3 for m.
-1
Suppose 55 = 5*o + 2*j - 3*j, 4*o - 28 = 4*j. Solve -v - 2*v + o = 0 for v.
4
Let a be (-5)/2*(864/30)/(-9). Solve 0 = 3*b + 2 - a for b.
2
Let r be ((-12)/(-24))/(1/10). Solve 6 = -r*z + 1 for z.
-1
Let x = -32 + 36. Solve -o + x = -0*o for o.
4
Suppose -4*m + 3*k = m + 2, -2*m + 2*k - 4 = 0. Let z(t) = 2 - t**m + 9*t + 10*t - 12*t. Let p be z(7). Solve 1 = -p*u + 5 for u.
2
Let z(y) = 12*y + 1. Let c be z(1). Suppose 4*b + c = a + 2*b, 0 = 2*a - 5*b - 30. Suppose 6*r = a*r + 10. Solve 3*j + 5 = -r for j.
-5
Let t = 2 - 0. Let l be (-2 - -2) + -1 + t. Let h be 0 + -2 + 5 - -12. Solve 4*w - l = h for w.
4
Suppose -n = -28 - 1. Suppose 3*x + 42 = 5*v, 3*v + x + x - n = 0. Solve 5*q - v - 11 = 0 for q.
4
Suppose -f = -x, -6 + 2 = -4*f + 2*x. Suppose 7*w - 2*c - f = 6*w, w = 4*c. Suppose 3*s = 4*s. Solve -2*y + s*y + w = 0 for y.
2
Let b be ((-78)/(-18) + -3)*(-6)/(-4). Solve b*i = 7*i - 10 for i.
2
Let t(q) = -q**2 - 8*q - 5. Let p be t(-4). Let w = p + -9. Suppose -45 = -5*m + w*b + 3*b, -4*b = -m + 12. Solve -n - m = -5*n for n.
2
Let m(s) = 4*s**3 - 6*s**3 - 8*s**2 + 3*s**3 + 8*s - 3 + 2. Let u be m(7). Solve 0 = 4*x - u*x + 6 for x.
3
Let g = 108 - 106. Solve g*k + 5 = 3 for k.
-1
Suppose 3*t - 6*t + 3*b + 9 = 0, 0 = -2*t - 2*b + 14. Solve 0*d - t*d - 10 = 0 for d.
-2
Suppose -2*t - 10 = -3*x - 6*t, 0 = 5*x - 3*t - 36. Let a(m) be the second derivative of m**3/3 - 9*m**2/2 - 7*m. Let q be a(x). Solve q*s - 1 = -7 for s.
-2
Let t be (2/(-18)*-21 + -2)*0. Solve t = -4*d + 20 for d.
5
Let s be (0 + (1 - 1))/(-3). Let b be (17 + -2)/(-3)*-3. Solve 5*v = -b - s for v.
-3
Let g be 12/20 - (-14)/10. Suppose g = 2*a - 2. Suppose -2*n + a = -n. Solve -2*s = n*s for s.
0
Let h(j) = -j**3 - 5*j**2 + 6*j + 9. Let o be h(-6). Suppose -2*r = -11 - o. Solve -3*c + r - 25 = 0 for c.
-5
Let v(x) = -x**2 + 3*x + 4. Let i be v(0). Solve i*y + 15 = -y for y.
-3
Let y(h) = 3*h**3 + 2*h**2 - 3*h - 2. Let l be y(-2). Let m be (l/(-4) + 2)*1. Solve 7 + m = 3*u for u.
4
Suppose 0 = -m - 9 + 24. Solve -m = -4*z - 3 for z.
3
Suppose 3*q - 9 = 3*f, 2*f + 9 = 4*q - q. Solve -2*d + 3*d = f for d.
0
Suppose -4*d + 50 = -s, -s + 11 + 30 = 3*d. Let o = d - 11. Solve -g - 2 = o for g.
-4
Suppose 0 = -z - 5*g + 7 + 10, 5*z - 19 = -3*g. Solve z + 0 = -2*n for n.
-1
Let x be 1/6 + (-159)/(-18). Solve -x = 2*s + 1 for s.
-5
Let r = 21 + 34. Suppose -3*g - 2*g + r = 0. Suppose 5*t = -1 + g. Solve -t*j = 3*j + 25 for j.
-5
Suppose 3*g = 11 + 10. Suppose 2*n + g = 11. Solve n - 5 = h for h.
-3
Let i be 2/5 + 316/10. Suppose 3*a = -a + i. Let n be (-2)/a + 15/12. Solve 0 = 2*v - n - 5 for v.
3
Suppose 0*i = -3*i + 27. Suppose -6*g = -g - 4*q - 12, -2*g + 3*q = -i. Solve g = 2*n + 1 - 5 for n.
2
Suppose 0 = -4*v + 7 + 1. Suppose v*s + s = 0. Suppose -3*c + g + 17 = s, 2*c - 3*g = -0*g + 23. Solve -3*l = -l - c for l.
2
Let y(p) = p - 2. Let k(z) = 2*z + 1. Let t be k(2). Let a be y(t). Let x = a + 1. Solve 0*l + l = x for l.
4
Suppose -3*s = -8*s - 3*c + 22, 0 = 3*s - 5*c + 14. Let w be 1/(s*3/48). Solve 3*m + w = -4 for m.
-4
Suppose 0 = 4*p - 5*p + 5. Solve p*y - 8 - 7 = 0 for y.
3
Let v = -8 + 16. Suppose 4 = 3*o - v. Suppose -o*g = 4*k - 8, -2*g + 2*k + 18 = 2. Solve -3 = g*r - 8 for r.
1
Let o be (2 - -4) + (-1 + 2 - -2). Solve -3*f = o - 21 for f.
4
Suppose 0*o + o + 19 = 5*l, -5*l + 3 = 3*o. Suppose l*n = 6*n. Solve 1 = -t - n for t.
-1
Suppose 5*x - 18 = 4*m, -4*x - x = 2*m - 6. Let i be (-4)/(4/4 + m). Solve -i*g + 3 = -1 for g.
1
Let m(a) = -a**3 - 3*a**2 + 1. Let b be m(-3). Solve 4*v + 7 = -b for v.
-2
Suppose 0*h = -4*h + 12. Solve -2*b = h*b + 20 for b.
-4
Suppose m - 13 = -3*w, -2*m + 20 = 3*w + 3. Suppose -m*y = y. Solve 3*k - 3 = -y for k.
1
Suppose 3*k = -2*h + 24, 24 = -h + 3*h - 5*k. Let c = 5 + h. Solve -3*x + 2 = c for x.
-5
Let r be (2 + -6)*(-6)/2. Solve -5*f + 37 = r for f.
5
Let n = 26 + -6. Suppose -3*c = -c - 6. Solve 2*u = -c*u - n for u.
-4
Let v be 38/3 + (-2)/(-6) + 0. Solve 5*h + 12 = -v for h.
-5
Let u(y) = -y + 2. Suppose 2*l = -w - 8, -5*l - 14 - 1 = 0. Let o be u(w). Solve 3*g = o*g for g.
0
Let s = -54 + 54. Solve -y = -s*y for y.
0
Let p = 45 + -25. Solve 3*s + 2*s = p for s.
4
Let b(u) = 5*u + 5. Let m be b(0). Solve -p + m = -0 for p.
5
Let c be (-278)/(-8) - (-1)/4. Suppose -4*s + a = -2*a - 29, 4*s - 5*a = c. Solve -u - 4*u = s for u.
-1
Let w(v) = v**3 + 8*v**2 + 6*v - 3. Let y be w(-7). Suppose 2*z - 3*t + 3 = 0, -2*z = -y*t - 0*t + 4. Solve -2*i + 10 + z = 0 for i.
5
Let c = -24 + 24. Solve c = -5*u - 0 - 15 for u.
-3
Suppose -15*n + 2 = -13. Solve n + 19 = 4*g for g.
5
Suppose 0*b - 18