2*m - m = -v. Solve -1 = -4*h + m for h.
2
Let q be (2*-4)/2*5/(-10). Solve -q*v = -v + 3 for v.
-3
Suppose -5*d = -68 + 28. Solve -3*k = -d*k for k.
0
Suppose 7 = -3*d + 19. Suppose -2*h - 3*i - 7 = 0, -2*h = -4*h - 5*i - 17. Let j = 1 + 4. Solve -d*m + h = -j*m for m.
-4
Let q(h) = -5*h - 26. Let u be q(-6). Solve l = -u*l - 15 for l.
-3
Let v(r) = -r**2 + 9*r - 12. Let y be v(2). Solve -y*l + 3*l = -4 for l.
-4
Let j(p) = 10*p**3 - p**2 + p. Let m(x) = -x**3. Let o(r) = j(r) - 2*m(r). Suppose 0 = 4*l - 1 - 3. Let t be o(l). Solve 2*b + 2*b = -t for b.
-3
Suppose -6 = 3*k, d = -3*d + 3*k + 22. Solve d*u + 18 = -2 for u.
-5
Let t(y) be the third derivative of y**5/12 - y**4/24 + y**3/6 + 4*y**2. Let d be t(1). Solve -5*f + d = -10 for f.
3
Let i = -7 + 17. Suppose 2 - i = -4*u. Suppose -6 = -u*t + a, -5*a + 2*a = 0. Solve -t*b - 16 = b for b.
-4
Suppose -3*s + 9 + 15 = 5*a, -5*a + 21 = 2*s. Suppose -a*m = -4*m + 9. Suppose 3*f = -2*f + 3*d + m, 0 = 2*f - 5*d + 4. Solve -u - f*u = 16 for u.
-4
Suppose 0 = -2*h - 3*h + 20. Suppose 4*x = 8*x - 6*x. Solve x = -h*j + 9 - 29 for j.
-5
Let a = 5 - 5. Solve 3*r - 7*r = a for r.
0
Let o be (-4)/6 - 20/(-3). Solve -4*k - o = -7*k for k.
2
Suppose 47 - 13 = 17*t. Solve t*o + 9 = -o for o.
-3
Suppose 4*n - 2*n + 2*h - 8 = 0, -5*n = -h - 8. Solve -n*a = -a + 2 for a.
-2
Let n(q) = 4*q**2 - 3*q**2 + 3*q**2 + 85 - 86. Let v be n(1). Solve -1 = w + v for w.
-4
Suppose 4*s - 5 - 3 = 0. Let w = 3 + s. Solve 0 = -w*c + 3*c + 4 for c.
2
Suppose 5*b - 3*o = 5 + 18, 5*b = 2*o + 22. Solve b = -v - 3*v for v.
-1
Let y(n) = -n**3 + n**2. Suppose 0 = r - 2*r. Let j be y(r). Let p = -9 - -21. Solve -3*g + 0*g - p = j for g.
-4
Let w(t) = -t**3 - 9*t**2 + 5 + 9*t - t - 1 + 2*t**3. Let u be w(8). Solve 4*z = 2*z - u for z.
-2
Suppose t + 1 = 3. Solve 0 = t*c - 6 - 2 for c.
4
Suppose 5 = -2*d + l + 2*l, 2*d + 3*l = 25. Suppose -u = -d*u + 8. Let i = u - -1. Solve -i*v = -8*v + 10 for v.
2
Let j = 1 + 2. Suppose -i = j - 4. Solve -i = h - 3 for h.
2
Suppose -2*z = -0*z, 0 = 4*h - 2*z. Solve h*b + 4 = -b for b.
-4
Let o be -21*(6 + -11)/15. Suppose -10 = -6*z + z. Suppose -t = -z - 0. Solve -5 = t*m - o*m for m.
1
Let i = 14 - 11. Solve -i*m = -11 + 2 for m.
3
Let z(n) = 12*n - 3. Suppose 5*g - 3*g - x - 6 = 0, 0 = 5*x + 20. Let v be z(g). Solve -1 = -2*t + v for t.
5
Let t = 73 + -37. Let l be 2/(-4*(-2)/t). Let g = -3 - -7. Solve -z + g*z - l = 0 for z.
3
Let y be (2/3)/((-4)/(-18)). Let i(m) = 2*m. Let l be i(y). Let f = 9 - -1. Solve 0 = -l*c + c + f for c.
2
Let z be -17 + (-3)/9*-3. Let y be 1/(-5) - z/(-20). Let t = 2 + y. Solve 0 = 3*f + t - 16 for f.
5
Let v = -4 + 2. Suppose -3*z + 43 = 2*w, -z - 5*w + 31 = 2*z. Let l = z + v. Solve 2*h = -3*h - l for h.
-3
Suppose 0*i + 32 = 8*i. Solve -8 + i = p for p.
-4
Let b = -4 + 4. Suppose 0*j - j = b. Solve 4*k + k = j for k.
0
Suppose -3*i + 2*c + 1 = 0, -3*c + 6 + 2 = 5*i. Let j be ((-1 + i)/1)/1. Solve -9 = -j*w + 3*w for w.
-3
Suppose 5*f - 63 = 8*f. Let r = -6 - f. Solve -u = -4*u - r for u.
-5
Let y be 20/(-15)*(-45)/12. Solve 0 = -y*w - 9 - 6 for w.
-3
Suppose -3*s = -2*s - 5. Solve m + 4*m = -s for m.
-1
Let g = -10 + 10. Let f = 3 - 4. Let i be (-3)/((-3)/(-9)*f). Solve g + i = 3*s for s.
3
Let r(k) be the second derivative of -k**3/6 + 2*k**2 + 3*k. Let p be r(4). Solve p = -y + 5*y + 12 for y.
-3
Suppose 3*w = -3*d - d, -4*w = d. Let j be (4 - 3)*(d + 0). Solve j = 3*x + x + 16 for x.
-4
Let h be (0 - -3) + -9 + 10. Let w be 2/(-7) + 16/7. Suppose -w*d + 6 = u + 1, 5 = d - 2*u. Solve -d*n = n - h for n.
1
Let u = -1 - -3. Suppose 3*l + 45 = 3*k, -u*k - l + 34 = l. Solve -2*m + k = 2*m for m.
4
Suppose -y + 0*y + 9 = -r, 3*r + 15 = 0. Let k(d) = d**2 - 4*d - 3. Let b be k(7). Let o be 4/(-8) + b/y. Solve 2*c = -o + 2 for c.
-1
Let h(a) = a**2 + 3*a - 4*a - 3*a - 3. Let v be h(5). Let j(b) = -2*b**3 + 2*b**2 - b + 1. Let x be j(-2). Solve -5*p - v = -x for p.
5
Let t(z) be the first derivative of 2*z**3/3 + z - 4. Let p be t(-1). Solve -p*m - m = 0 for m.
0
Let z(j) = j - 21. Let h(c) = -7. Let w(n) = 7*h(n) - 2*z(n). Let a be w(-4). Solve -3 - a = -2*g for g.
2
Suppose 3*y - 5*y + 8 = 0. Solve i - y*i = 0 for i.
0
Let q be -1 + (-4)/(-6)*9. Suppose 2*b - 4*g = -g + 12, 3*g = -5*b + 9. Suppose 0*p = b*p - 9. Solve i - p = -q for i.
-2
Suppose 0 = b + 3*b - 16. Suppose 5*p = 5, -4*h + 2*h - b*p = -16. Solve 4 - h = -v for v.
2
Let d be 1 - (1 - 3) - 2. Solve v = 3 - d for v.
2
Let b(m) = -m**3 + m**2. Let g be b(-1). Suppose 0 = 4*s - 20, -3*l + g*s + 21 + 8 = 0. Suppose t + 4*x = l + 4, 0 = -t - 3*x + 13. Solve 2*n + t = -7 for n.
-4
Suppose -2*u + 0*u + 2*w - 4 = 0, 0 = -5*u + 3*w - 6. Solve y + u*y = 5 for y.
5
Let v be 7*((-78)/21 + 4). Solve v*y + 3 + 3 = 0 for y.
-3
Let p be 0*(-6 + 2)/8. Solve p = -3*x - 0 - 3 for x.
-1
Let w be 2/3*(-13)/(78/(-72)). Solve -5*j = -w + 33 for j.
-5
Let w(i) = 3*i**2 + 2*i + 1. Let b be w(-1). Let v be -1*((-4)/1 - -4). Solve v = -b*p - 0 - 6 for p.
-3
Let t be ((-2)/4)/(18/(-288)). Solve -3*l + 7 = -t for l.
5
Suppose g = -q + 10, 3*g - 9 = -0*g + 4*q. Solve b + 2 = g for b.
5
Let y(m) = m**2 + 5*m + 6. Let v be y(-7). Let a(q) = -q**2 + 5*q - 2. Let z be a(4). Let u be 3 - (z + -3 + 1). Solve -u*h - h = v for h.
-5
Let l = 15 - 11. Solve 0*b = -4*b - l for b.
-1
Let y(w) = 2*w - 10. Suppose -2*d + 55 = -d. Suppose 2*s - 1 + 0 = z, 5*z = -5*s + d. Let t be y(z). Solve 11 = t*l - 9 for l.
5
Suppose 0*v - 3*v + 6 = 0. Solve -2*x - v = -3*x for x.
2
Let l = -34 + 34. Solve -7*r + 3*r = l for r.
0
Let y be 0 - 0*1/2. Let q = 2 - y. Solve 2*j = -q*j - 12 for j.
-3
Let k(a) = -a**3 - 5*a**2 + 2*a - 5. Let s be k(-6). Suppose -i - 15 = 5*j, 2*i - 7 - s = 4*j. Solve 2*c + i + 3 = 0 for c.
-4
Let q = -3 - -5. Suppose -1 = v - 9. Suppose q*n - v = -0. Solve -2*d + 0*d + n = 0 for d.
2
Suppose 5*k + 4 = -3*v - 5, -v + 3*k + 11 = 0. Let t(n) = -3 - 4 - n**2 + 6*n + 4. Let f be t(4). Solve -f*m + v = -8 for m.
2
Suppose 2*d - 3*d = -4. Solve -5*l + 14 = d for l.
2
Let j(y) = -y. Let w(c) = 3*c + 2. Let s(r) = -j(r) - w(r). Let f be s(-2). Suppose 0*h = h - f. Solve -i + 1 = -h for i.
3
Let o(h) = -1 - 3*h + 2*h + 12. Let r be o(7). Let p(d) = d**2 - 4*d. Let c be p(r). Solve c*q = -2*q for q.
0
Let w be 37 - 1 - (5 + -3). Suppose 4*f + 3*o = w, 5*f + 0*o = -o + 37. Suppose -3*r = -f*r. Solve -2*q + r = 2 for q.
-1
Suppose 2*y = 8 - 0. Suppose 5*u - 16 = y. Solve 0*n = u*n for n.
0
Suppose 0 = 5*n - 3*n - 8, -5*n - 4 = -2*k. Suppose 3*r - 14 = 4*h, 3*r - 2*h - k + 2 = 0. Solve 0 = r*t + 3*t for t.
0
Let z = 61 - 33. Suppose z = g + 4*j, -g + 3*g - 3*j - 23 = 0. Solve -t - g = -5*t for t.
4
Let s(v) = -2*v + 1. Let q be s(1). Let i be 2 - 1 - q*4. Solve i*f + 9 = -6 for f.
-3
Let x be 5/(-10) + 42/4. Solve -5 - x = 5*t for t.
-3
Let x(a) = a**3 - 5*a**2 + 3*a - 7. Let l be x(5). Suppose -5*c + 2 = -23. Let g = l - c. Solve 2*w = -g*w + 20 for w.
4
Suppose 5*g - 2 = 4*g. Suppose 2*o - 83 = -8*u + 3*u, -g*o = -8. Suppose -5*z = 5*j + u, 4*j + 33 = 4*z - j. Solve z + 3 = 5*t for t.
1
Let v = 4 + -2. Solve 0 = v*x + 2*x for x.
0
Let a = -24 - -40. Solve -a = -5*b + 4 for b.
4
Suppose 0 = -2*q + 12 + 4. Solve -3*j = 7 + q for j.
-5
Let v be (-2)/5 + 24/10. Solve 0 = -v*w + 6*w - 8 for w.
2
Suppose -9*s + 12 = -7*s. Solve 0 = 2*i - 4 - s for i.
5
Let p = 17 - 6. Let d be -5 - -2 - (-1 - p). Solve 21 - d = 4*b for b.
3
Let h(i) = -i**3 - 8*i**2 - 18*i - 10. Let z be h(-5). Solve z*b = 4 + 1 for b.
1
Let t be 86/18 - 14/(-63). Solve 2*b = t*b - 12 for b.
4
Suppose -4*c + 5*d - 8*d + 26 = 0, 3*c + 3*d - 21 = 0. Let q(l) = 4*l**2 + 2*l**3 + 6*l + 2 - 3*l**3 - 7. Let k be q(5). Solve -c*r - 7 - 3 = k for r.
-2
Let u(v) = -v + 2*v - 1 + 3. Let s be u(3). Suppose -s*g - h + 16 = -0*h, -4*h + 16 = 4*g. Solve -4*f + 1 + g = 0 for f.
1
Suppose 0 = -4*x + 8, -4*y + 6*y - 4*x = -4. Suppose -y*r + 20 = 5*z, z - 6*z + 5*r = 15. Solve -5*l + z*l = -9 for l.
3
Suppose 5*w - 2 = 13. Suppose -2*r - w*r = 0. Solve r*i = -i for i.
0
Let m = 1 + -4. Let p be m/((-3)/9 + 0). Solve -f = -4 + p for f.
-5
Let p = -2 + 7. Solve 0*r + 5 = p*r for r.
1
Let h(v) = 6*v**3 + 8*v**2 - 6*v - 8. Let m(l) = -7*l**3 - 9*l**2 + 7*l + 9. Let s(x) = 6*h(x) + 5*m(x). Let q be s(-