g - 0 - m for g.
1
Let v(a) = -2*a - 15. Let u(q) = q**3 + q**2 - 3*q - 1. Let t be u(-3). Let f be v(t). Solve -f = -5*h - 25 for h.
-4
Let j = -8 - -16. Suppose -4*w = -2*w - j. Solve 5*n + w = -6 for n.
-2
Let o = -2 + 5. Suppose -5*u + 10 = 2*q, 6*q - 3*q = -o*u + 6. Solve -u = 2*d - 0*d for d.
-1
Let z be (-1 - -3)*(-12)/(-8). Suppose 4*v + 2*l - z*l - 5 = 0, 0 = 2*v + 3*l + 15. Solve -3*c + v*c = 0 for c.
0
Suppose -9 = h + 5*n, 4*n + 12 = h + 2*n. Solve -2*x - h = x for x.
-2
Let o be 4/(-14) + (-37)/(-7). Let g be 16*(o/(-2))/5. Let x(z) = z**3 + 7*z**2 - 10*z - 11. Let t be x(g). Solve d = -0*d - t for d.
-5
Suppose 0 = -5*z + 3*c, z - c = 4*z - 14. Solve 0 = z*k - 7 - 5 for k.
4
Suppose v - 2*j + 1 = 0, -4*v + 12 = -j - 12. Let o(s) = -s**2 + 6*s + 10. Let m be o(v). Let n be (6/(-8))/((-1)/16). Solve -n + 0 = m*c for c.
-4
Suppose 96 = 3*n + 81. Solve -3*v = -n - 1 for v.
2
Let n = -33 - -48. Solve -4*h + n = -h for h.
5
Let w(b) = -b - 6. Let l be w(-3). Let r = 43 + -42. Let d = r - l. Solve 0*m = d*m + 20 for m.
-5
Let s(r) = -r**3 + 17*r**2 + 17*r + 19. Let z be s(18). Solve 0 = 3*c - 11 - z for c.
4
Let v(x) = x**2 - 12*x - 23. Let l be v(14). Solve l*n = 3*n - 8 for n.
-4
Suppose -2*f + 2 = -f. Let h(r) = -r**2 + 7*r + 4. Let k be h(6). Suppose f*s + s = 12, 0 = 3*u + s - k. Solve a - 2*a = u for a.
-2
Suppose 0 = -5*v + 2*a + 11, -v - 4*v - 4*a + 23 = 0. Solve y - 4 = -v*y for y.
1
Suppose -5*i + 4*o = -0*o - 52, 2*i = -o + 13. Solve k + 3*k = i for k.
2
Let c(r) = r + 11. Let q be c(5). Solve 0 = -7*d + 3*d - q for d.
-4
Suppose 2*t - 4*s - 24 = 0, 0*t = 4*t + 4*s. Suppose -t*i = -i. Suppose 0*n + n = i. Solve -4*d + d = n for d.
0
Let n = 41 + -41. Solve -2*t + 7*t - 10 = n for t.
2
Let x be (1 + -3)/((-1)/5). Let g = -11 + 21. Solve 0 = -g*w + 5*w + x for w.
2
Let b = -27 + 30. Solve b*w + 0*w = -6 for w.
-2
Suppose 0 = -0*d + 5*d - 35. Let g = -4 + d. Solve -3 = g*c - 0 for c.
-1
Let u(z) = 3*z - 5. Let r be u(4). Let o(p) = p**2 + 5*p - 11. Let y be o(-7). Solve 0 = 2*l + r + y for l.
-5
Let z be -1 + 1*4/1. Let h be (-4)/((-12)/15) - z. Solve -b = h*b + 12 for b.
-4
Suppose -2*x = 4*r + 12, 2*x - 4 = 4*r + 24. Let k = r - -9. Let s be 107/7 - 6/21. Solve k*b = b + s for b.
5
Let o(a) = -19*a**3 + 2*a**2 + a. Let d be o(-1). Suppose -6*t + 2*t = -d. Solve 3*v + t + 7 = 0 for v.
-4
Suppose -20 = 4*q - 6*q. Solve q = -5*r - 15 for r.
-5
Let v be (-32)/2 - 0/2. Let m be (-14)/(-8) - 4/v. Suppose -2*c + c + m = 0. Solve -3*s - 8 = -c for s.
-2
Let x(b) = -b**3 + 12*b**2 + 29*b - 10. Let w be x(14). Let m = -1 + 6. Let s = -21 - -40. Solve -s = m*u - w for u.
-3
Suppose -6 = -j + 4*j. Let d be 5 - 0/j - -1. Let z = -6 + d. Solve -3*y = -z*y for y.
0
Suppose 0 = h - 7 + 4. Let c be (-4)/(-4)*0/(-3). Suppose 3*l = 5*i - 2*l - 25, h*i + 4*l + 20 = c. Solve i = -b - 2 + 3 for b.
1
Suppose -2*j = j - 9. Let y(q) = q**3 + 3*q**2 - 5*q + 3. Let w be y(-4). Solve -w = j*t + 8 for t.
-5
Suppose -4*k - 103 = 29. Let b be 5/(10/(-4)) + k. Let o be b/(-11) + (-8)/44. Solve -o*l = l + 12 for l.
-3
Let y = 30 - 21. Let g(v) = -2*v + 2. Let r be g(-1). Solve -5*t + r = y for t.
-1
Let z be (12/(-5))/((-24)/80). Suppose m = -3*m + z. Solve -4*q + m*q + 10 = 0 for q.
5
Let k(n) = n**3 - 5*n**2 + 2*n - 5. Let a be k(5). Suppose 0 = -3*v - 0*v. Let m = 0 + v. Solve m = -2*u + a + 3 for u.
4
Suppose 5*a = 3*i - 4, -15 = -4*i - 0*i - 3*a. Let v = i - 3. Suppose 2*g - 6*g = v. Solve -5*q - 5 = -g*q for q.
-1
Suppose -o - 2*o + 3*l = -24, -4*o - 4*l = 0. Suppose 4*v + 5*p - 8 = 0, -o*p - 2 = -v - 6*p. Let r = 11 + -8. Solve -y - v = r for y.
-5
Let q = -3 + 5. Solve 2*r = 6 + q for r.
4
Let d = -4 + 7. Suppose 2*y = -3*z - 8, 0*y = -4*z - d*y - 9. Let l be (-1 + 10)/((-9)/z). Solve -q - 5 = -l*q for q.
1
Suppose -4*h + 17 = 3*x, 0 = -5*h - 5*x + 5 + 20. Solve h*b = -0*b for b.
0
Suppose -4*n + 6*n = 0. Solve n = 4*s - s - 12 for s.
4
Let i = 9 + -9. Suppose 2*q + 2*q = i. Solve q = g - 1 for g.
1
Let h = 27 - 25. Solve h*y = 5*y for y.
0
Suppose -4*x - 2 = -3*o, -o - 1 = 2*x - 5*x. Let c(t) = -2*t - 6. Let s be c(-5). Let a = s + x. Solve -3*y = -a*y for y.
0
Let f(h) = -h**2 + 4*h + 6. Let y be f(5). Let z be y/((-4)/6)*-2. Solve -5*l - z = -8*l for l.
1
Suppose 98 = -5*z - 37. Let q be 2/(-9) - 60/z. Solve -q = -3*x - 14 for x.
-4
Let u(s) = -s - 1. Let y(i) = 5*i + 8. Let t(w) = 6*u(w) + y(w). Let j = -9 + 7. Let b be t(j). Solve -b = -d + 3*d for d.
-2
Let u be (45/6)/5 + (-9)/(-6). Solve u*v - 8 = 5*v for v.
-4
Let x be (-2)/(-10) + (-86)/5. Let h = -12 - x. Solve 2*q = h*q + 15 for q.
-5
Suppose 0 = -7*k - 0. Solve k = r + 2 for r.
-2
Suppose t + 30 = -2*t. Let b = 13 - 31. Let g = t - b. Solve -3*w = -w - g for w.
4
Let u be 153/85 - (-2)/10. Solve -u = 3*i - 2*i for i.
-2
Let p = 5 + -5. Let j(t) = p*t**2 + t**3 + 0*t**2 - t**2. Let d be j(1). Solve -6 = 2*k - d*k for k.
-3
Suppose 0 = 4*h - h - 4*k - 6, -2*h + 4 = 4*k. Suppose -h*t = t - 9. Suppose -3*p + 31 = -2*s, 4*p - 3*s - 39 = t. Solve -2*b + p - 3 = 0 for b.
3
Let t = -6 + 4. Let y be t*(-2)/(-4) + 1. Suppose -3*a + 3*f + 1 + 8 = 0, y = 3*a + 4*f - 16. Solve 2*n = a*n - 8 for n.
4
Suppose 8 = -2*d + 2. Let o(m) = -m**3 - 2*m**2 + m - 1. Let z be o(d). Let y be -6*(z/(-2) - -1). Solve 4*v = 25 - y for v.
4
Suppose 5*u + 8 = -w, 0*w - 5*w + 20 = -5*u. Suppose -v - w*v = 0. Solve v = -3*m + 4*m for m.
0
Let b(m) = -m**3 - 8*m**2 - 7*m + 3. Let a = 10 - 17. Let f be b(a). Solve -f*g = -0*g + 9 for g.
-3
Let f be (-2)/((0 + 1)*-1). Solve -f*z - 3 = -z for z.
-3
Let b(a) = 2*a**2 + 20*a + 4. Let q be b(-10). Solve -q*v + 10 - 2 = 0 for v.
2
Let h be 0*1/2 - (-24)/8. Solve 4*p = 1 + h for p.
1
Let s = -12 - -16. Let b be s/14 - 36/(-21). Solve -3*d + b = -4 for d.
2
Let r(h) be the second derivative of h**5/20 - 5*h**4/12 - 5*h**3/6 + 2*h**2 - h. Let a be r(6). Let y(t) = 2*t - 7. Let c be y(5). Solve -2 = -c*x + a for x.
4
Let m be -2 - -2*3/(-6). Suppose -3*k + 0*k - 15 = 0. Let x = m - k. Solve -4*j + 18 = x for j.
4
Suppose -4*x = x + 50. Let m = x + 13. Let s be -2 + 5 + 1/(-1). Solve -m*l - 5 = -s*l for l.
-5
Suppose 0 = 9*t - 4*t. Solve -2*q + 2 + 2 = t for q.
2
Suppose -4*m = -16, 5*h - 12 = h - 3*m. Suppose -o = -x + 2*o - 5, -5*o = x - 19. Suppose h = -f - x*f + 15. Solve 0 = f*g - 5*g + 2 for g.
1
Let n be 3/2*(-12 - 0). Let w = n + 29. Let v(p) = -p**2 + 11*p + 3. Let t be v(w). Solve 0 = t*d + d - 4 for d.
1
Let u(v) = -2*v - 4*v - v - 5 + v**2 - 2*v**2. Let n be u(-5). Suppose -11 = -n*m + 9. Solve 20 = m*l + l for l.
4
Let h(j) = j**3 + j - 5. Let t be h(0). Let v be 27/5 + 2/t. Solve 3*y + 2*y = -v for y.
-1
Let v(x) = -x**2 + 0 + 5 + 8*x - 2. Let g be v(8). Let j = -1 + g. Solve j*t - 6*t = 12 for t.
-3
Let t(b) = -b**3 - 6*b**2 + 9*b + 17. Let i be t(-7). Solve -4*o + 5*o + i = 0 for o.
-3
Suppose j + 5 = 2*j. Suppose j*d + 0*d = 0. Solve d = g - 1 for g.
1
Suppose 29 = 5*a + 19. Suppose -4*k - 5*t = -41, a*k = -0*k - 4*t + 28. Solve -3*w + k = 1 for w.
1
Let n = 4 + -4. Suppose -25 = 5*f, 3*f = m - n*f - 15. Solve -r + 0 + 5 = m for r.
5
Let k(y) be the second derivative of -y**4/12 + 5*y**3/6 - 2*y**2 + 2*y. Let x be k(3). Solve -x*i = -i - 4 for i.
4
Suppose -2*t + 10 + 0 = 0. Suppose -3*a + 4*a - 6 = -3*c, c - 30 = -t*a. Solve 0*z - 3*z - a = 0 for z.
-2
Suppose -2*u - u + 29 = 5*t, 2*u - 2*t - 14 = 0. Solve 4*m = 2*m + u for m.
4
Let w = 6 + -2. Suppose -l + w*n = 1, -3*l = -4*l - 4*n + 7. Solve 0*k = l*k + 9 for k.
-3
Let k be (-110)/(-2) + 0 + 0. Suppose u - k = -4*u. Suppose m = u - 1. Solve -q + m = q for q.
5
Suppose -2*p - 2*k + 4 = 0, -k + 2*k = -5*p + 18. Suppose 0 = 2*g + g - 3. Let s be g*(-1)/2*-4. Solve -x + s = p for x.
-2
Let d(f) = -f**3 + 10*f**2 + 3. Let a be d(10). Let p be (0 + (-18)/8)*-4. Solve p - a = 2*n for n.
3
Let d be 3 + (-1)/(1/2). Suppose -d = n - 4. Suppose 0 = -2*k + 3*k + 3*s + 8, 4*k - n*s = 28. Solve y = 2*y - k for y.
4
Let v(f) = 2*f**3 - 2*f + 2. Let y be v(3). Suppose -3*k - 2*k = y. Let u be (k/(-3) + -3)*45. Solve -4*c = -c - u for c.
5
Suppose -5*y - y + 72 = 0. Solve 0 = -4*m + 7*m + y for m.
-4
Let h(y) = -y**3 - 18*y**2 - 18*y - 14. Let k be h(-17). Solve -k*z - 5 = 7 for z.
-4
Let k(q) be the second derivative of q**